离散数学课件：4-4 基数的概念.ppt

自然数集的定义 自然数集的定义 等势的定义 无限集 因为N与I 之间有如下一一对应: N: 0,1, 2,3, 4,5, 6,… I: 0,1,-1,2,-2,3,-3,… 无限集 设A={0, 1, 1/2, …, 1/n, …}, A?[0,1] 无限集 * * 四、基数的概念 后继集：设A是任一给定集合, A∪{A}称为A的后继集合, 简称后继, 记为A+. (一) 自然数集的定义 自然数集：设N为自然数集, 它的递归定义如下: (1)(基础)??N; (2)(归纳)如果n?N, 则n+?N(这里n+=n∪{n}); (3)(闭合)如果S?N,且S满足(1)、(2), 则S=N. 按照这个定义，自然数集的元素为： ?,?+,(?+)+, ((?+)+)+,… 即为： ?,?∪{?},?∪{?}∪{?∪{?}},… 可以简化为： ? ,{?}, {?,{?}},… 用记号:=给这些集合命名： 0:= 0+= 一般地若已给出n, 则n+1:=n+={0,1,2,…,n}. …… ?; 1:= {?} ={0}; 2:= 1+= {?,{?}}={0,1}; 3:= 2+= {?,{?},{?,{?}}}={0,1,2}; 自然数集N={0,1,2,3,…},其中除0外每一个自然数是它前一个自然数的后继。 0不是任何自然数的后继； 任何自然数的后继是唯一的； 如果n+=m+, 则n=m. 四、基数的概念 贝安诺(G. Peano)公理 (1)0?N; (2)对每一个n?N, 恰存在一个n+?N(称n+为n的后继); (3)不存在一个n?N,使n+=0; (4)如果n+=m+, 则n=m; (5)如果S?N, 且 (a)0?S; (b)如果n?S,就必有n+?S, 则S=N。 四、基数的概念 问题：所有整数的个数，一条线上所有几何点个数(即区间[a,b]上个数)，上面两个数哪个大些？ ——Cantor 从原始部落物品交换中得到启发。 在古代原始部落中，不存在比3大的数。若问他们当中的一个人有几个孩子，当孩子多于3个时，其回答是很多。 在比较一堆珠子和一堆铜币哪个多时，他们将怎么完成呢？ 他们是通过把珠子和铜币逐个比较，最后看哪堆有多余，若同时没有则两者相同。 (二) 等势 四、基数的概念 问题：所有整数的个数，一条线上所有几何点个数(即区间[a,b]上个数)，上面两个数哪个大些？ ——Cantor 对于该问题中的两个无穷大数的比较，我们也面临类似于原始部落的困难。 Cantor的解决办法与上述原始部落的方法相同：给两组元素无穷多的序列中的各个数一一配对，若最后这两组元素恰配对完毕，则认为这两个无穷大数就是相等的，若有一组还没配完，则该组就比另一组大。 正是基于这一基本设想，我们可给出对于两个集合比较其元素个数大小的方法。 四、基数的概念 等势（同浓）：设A, B是任意两个集合，若存在一个双射f : A→B, 则称A和B是等势的(或同浓的)，记为A~B。 例4.4.1验证自然数集N与非负偶数集合E={2n|n?N} 是等势的。 证： 因为N与E之间可作如下双射： f (n)=2n 所以N~E. 等势的定义 四、基数的概念 例4.4.2 设R为实数集合，S ={x|x?R?0x1}, 证明： R～S . 证： 令f : R→S f (x) =(arctan x)/?+1/2, 显然f是双射函数， 故 R～S . 四、基数的概念 定理1: 在集合族上等势关系是一个等价关系。 证： 设S为一个集合族， (1)自反性： ?A∈S, 可作恒等函数IA : A?A, IA(x)= x. 显然IA:A ? A 为一个双射函数， 故A~A. (2)对称性： ?A, B∈S, 若A~B, 即存在双射函数 f :A?B, 故B~A. 则f -1: B?A存在且也为双射， (3)传递性： ?A, B, C∈S, 若A~B且B~C, 即存在双射 f :A?B, g :B?C, 则g°f : A?C也为双射， 故A~C. 等势的性质 四、基数的概念 (三) 无限集 设A为一个集合，若A为空集或与集合{0,1,…,n-1}存在双射, 则称A为有限集，否则称A为无限集。 Nn={0,1,2, …,n-1}称为N的初始段，Nn可用于证明集合为有限集，故Nn又作为一个“标准集合”。 若A~Nn, 则集合A的“大小” 即为A中所含元素的个数n. 四、基数的概念 定理2: 自然数集合N是无限集。 无限集 证明思路： 证明N不是有限集，即证明对任何n?N，不存在从Nn到N的双射