离散数学基数地概念.pptVIP

第三章 集合与关系 4-4 基数的概念 授课人：李朔 Email:chn.nj.ls@ 一、后继集 比较两个集合的“大小”，确定有限集和无限集的概念，首先需要引进自然数集合。 定义4-4.1 给定集合A的后继集定义为集合： A+=A∪ {A} 若A为空集φ ，则后继集为φ+,(φ+)+, ((φ+)+)+,…这些集合可写成如下形式： φ∪{φ}, φ∪{φ}∪{φ∪{φ}}, φ∪{φ}∪{φ∪{φ}} ∪{φ∪{φ}∪{φ∪{φ}}}… 简化为：{φ}、{φ,{φ}}、{φ,{φ},{φ∪{φ}}}… 若若命名集合φ为0，那么 φ+=0+={φ}=1，1+= {φ,{φ}}=2 2+={φ,{φ},{φ∪{φ}}}…… 一、自然数集 这样就得到自然数集合{0,1,2,3,…}，这个集合亦能概括成如下公理形式(G.Peano皮亚诺公理)： (1) ； (2) 若 ，则 ； (3) 如果子集 具有性质： ① ，② 若 ，有 ， 则S = N。 性质3)称极小性质，它指明了自然数系统的最小性，即自然数系统是满足公理1)和2)的最小集合。?当然，自然数集亦可不从0开始，这只需定义为1则自然数集就从1开