《离散数学无穷集合及基数》由会员分享，可在线阅读，更多相关《离散数学无穷集合及基数（29页珍藏版）》请在金锄头文库上搜索。
1、1/29,第5节 无穷集合及其基数,什么是无穷集合?,无穷集合之间能否比较大小?无穷集合有什么特殊性质?,本部分内容主要是利用映射，尤其是利用双射为工具，建立可数集、不可数集，并研究它们的一些性质，从而得到无穷(限)集合的特征性质。然后将有穷集合元素的个数的概念推广到无穷集合，建立无穷集合的基数的概念。,引言,2/29,第4节 无穷集合及其基数,可数集不可数集基数及其比较康托-伯恩斯坦定理悖论与公理化集合论,主要内容：,3/29,集合的基数亦称作集合的势。 粗略的说，就是一个集合的“规模”，它的“大小”，或者更确切地说，它有多少个元素。 通俗的说，集合的势是量度集合所含元素多少的量。集合的势越
2、大，所含的元素越多。 很明显，如果集合中只有有限个元素，我们只要数一数它有多少个可以了，这时集合的基数就是其中所含元素的个数。,什么是集合的基数？,值得注意的是无限集，它所含的元素有无穷多个， 这时怎样去数？ 为了解决这个问题，我们首先从伽利略“悖论”说起。,4/29,1638年意大利的天文学家伽利略发现了下面的问题： N+=1,2,3,n,与N(2)=1,4,9,n2,这两个集合，哪一个的元素更多一些？,伽利略“悖论”,一方面，凡是N(2)的元素都是N+的元素，也就是说N(2)N+，而且由于2，3，5等元素都不在N(2)中，所以N(2)N+。这样看来，N+中的元素要比N(2)中的元素要多。,
3、5/29,但另一方面，对于N+中的每个元素都可以在N(2)中找到一个元素与之对应，这样看来，N(2)中的元素不比N+中的元素要少。 那么到底N+与N(2)中所含元素的个数是否一样呢？如果是，那么就有 部分=整体？ 然而按照传统，部分怎么能等于全体呢？这就是伽利略“悖论”，它不仅困惑了伽利略，还使许多数学家亦束手无策。,伽利略“悖论”,6/29,1874年，Cantor注意到伽利略”悖论”。 在1874年到1897年间完全解决了这个问题。 Cantor详细地分析了断定有限集合的元素多少的方法，即采用数数的方法。他认为“数数的过程”就是作“一一对应的过程”。 Cantor认为这种“一一对应”的方法
4、不仅适用于有限集，也适用于无限集。 他牢牢地抓住这个原则，抛弃了部分必定小于全体的教条，经历了大约23年之后，他才冲破了传统观念的束缚，革命性的解决了伽利略“悖论”。 Cantor认为在N+与N(2)之间存在着一一对应(即双射)，因此N+与N(2)的元素个数是相等的。,一一对应与可数集,7/29,定义4.1 设A，B是集合，若存在着从A到B的双射，就称A和B等势(或对等)，记作AB。,Cantor把自然数集N+称为可数集(或可列集)，这是因为它的元素可以一个一个的数出来。 凡是与自然数集N+等势的集合，它们的元素通过一一对应关系，也都可以一个一个的数出来，因此：,一一对应与可数集,定义4.2
5、凡是与自然数集N+等势的集合，称为可数集(或可列集)。,8/29,显然，N也是可数的。 Cantor以此为出发点，对无限集合进行考察，他发现下面的集合都是可数集：,(1) ODD = x| xN，x是奇数N,F：NODD F(n)=2n+1,（F： N+ODD F(n)=2n-1）,(2) EVEN = x| xN，x是偶数N,F：NEVEN F(n)=2n,（F： N+EVEN F(n)=2(n-1)）,(3) N(n)=x|x=mn，m，nN N,F：NN(n) F(m)= mn,一一对应与可数集,9/29,(4) NNN,一一对应与可数集,10/29,(6) ZZN,F: ZN F(n)
6、=2n (n0)F(n)=2|n|-1 (n0)的数排成一张表。显然所有的有理数都在这张表内。,一一对应与可数集,12/29,一一对应与可数集,13/29,注意：以0/1作为第一个数，按照箭头规定的顺序可以“数遍”表中所有的数。但是这个计数过程并没有建立N到Q的双射，因为同一个有理数可能被多次数到。例如1/1，2/2，3/3，都是有理数1。 为此我们规定，在计数过程中必须跳过第二次以及以后各次所遇到的同一个有理数。如1/1被计数，那么2/2，3/3，都要被跳过。表中数p/q上方的方括号内标明了这个有理数所对应的计数。 这样就可以定义双射函数f：NQ，其中f(n)是n下方的有理数。从而证明了NQ
7、。,一一对应与可数集,14/29,正是由于这一发现，使得他甚至猜想R也是可数集，并且着手去证明它。他没有得到预期的结果，却又作出了更伟大的发现。 Cantor利用它著名的对角线法，证明了0,1是不可数集，在这个基础上证明了R也是不可数的，甚至于Rn也是不可数的。,Cantor对角线法与不可数集,注：(1)如果集合X不是可数集且X不是有限集，则称X为不可数集。,(2)可数集与不可数集是对无穷集合而言的，有限集既不称作不可数集合也不称作可数集。,15/29,定理4.1 区间0,1中的所有实数构成的集合是不可数集。,证 区间0,1中每个实数，都可以写成十进制无限位小数形式0.a1a2a3a4.，其中
8、每位ai0,1,2,.,9。,约定每个有限位小数后均补以无限多0。,假定定理不成立，于是0,1中全体实数可排成一个无穷序列:a1,a2,a3,.,an,.。,Cantor对角线法与不可数集,16/29,每个ai写成十进制无限小数形式排成下表,a1=0.a11a12a13a14.a1n.a2=0.a21a22a23a24.a2n.a3=0.a31a32a33a34.a3n.an=0.an1an2an3an4.ann.,其中aij0,1,2,.,9,构造一个新的小数 b=0.b1b2b3.bn.，,显然，b0,1，但nN，ban，矛盾。,其中：若ann=5，则bn5； 若ann5，则bn=5，n=
9、1,2,3,Cantor对角线法与不可数集,17/29,这说明0,1是不可数集，从而证明了并非一切无限集合都是可数集，无限集合也是有区别的。 Cantor首次对无限集合从“定量”方面进行了深入研究，使人们深刻认识到集合N与R有本质不同。 Cantor用对角线元素来构造小数x*的方法称为Cantor对角线法。 Cantor所创造的这一方法是一个强有力的证明方法，在函数论和计算机科学中有许多应用。在计算的复杂性理论和不可判定问题中，对角线法也是为数不多的几个重要方法之一。,Cantor对角线法与不可数集,18/29,性质1 集合A为可数集的充分必要条件是A的全部元素可以排成无重复项的序列,a1,a
10、2,.,an,.,性质2 无限集A必包含可数子集。,性质3 可数集的任一无限子集也是可数集。,性质4 从可数集A中除去一个有限集M，则AM仍是可数集，即AAM。,无限集合的性质,性质5 设M是一个无穷不可数集，A为M的至多可数子集(即A有穷或可数)，则MMA。,定义4.3 凡能与自身的一个真子集对等的集合称为无穷集合，或无限集合。,19/29,如果要对任意的集合谈论它们中元素的“个数”，这就需要把有限集合里元素“个数”的概念推广到无限集合中，要求下一个定义对任何集合都适用。 集合的基数或集合的势是集合论中基本概念之一，在朴素集合论体系中讨论基数的概念，只能从几条规定或公理出发。,集合的基数,设
11、A为任意一个集合，现在规定用cardA表示A中的元素“个数”，并称cardA为集合A的基数，并再作以下五条规定：,20/29,(3) 对于自然数集合N，规定cardN=0 (读作阿列夫零)。,(4) 对于实数集合R，规定cardR= (读作阿列夫)。,(5) 将0，1，2，0， 都称作基数，其中0，1，2，称作有穷基数，而0，称作无穷基数。,(1) 对于任意的集合A和B，规定 cardA=cardB当且仅当AB。 (2) 对于任意的有限集合A，规定与A等势的自然数n为A的基数，记作cardA=n。,集合的基数,21/29,定义4.4 集合A的基数是一个符号，凡与A等势的集合都赋以同一个记号，集
12、合A的基数记为|A|，也记作cardA。 定义4.4 所谓集合的基数是指所有与该集合等势的集合所构成的集族的共同性质。(冯 诺伊曼) 定义4.4 集合的基数是集合的这样一种特性，当把集合里元素固有特点抽出，以及把各元素在集合中的次序不顾之后，仍然保留下来的特性，就叫做基数。,集合的基数,22/29,Cantor连续统猜想,Cantor猜想(连续统猜想，CH)： 在 0与之间是否还有别的基数？,定义4.5 凡与集0,1对等的集称为具有“连续统的势”的集，或简称连续统。,实数集R、无理数之集都是连续统。,1938年，K.哥德尔证明了CH对ZFC公理系统（见公理集合论)是协调的。 1963年，P.J
13、.科恩证明CH对ZFC公理系统是独立的。 这样，在ZFC公理系统中，CH是不可能判定真假的。这是20世纪60年代集合论的最大进展之一。,23/29,定义4.6 集合A的基数与集合B的基数称为是相等的，当且仅当AB。,定义4.7 ，是任意两个基数，A，B是分别以，为其基数的集。如果A与B的一个真子集对等，但A却不能与B对等，则称基数小于基数，记为。,规定当且仅当当且仅当或=。,基数及其比较,24/29,规定当且仅当存在单射f: AB。,规定当且仅当存在单射f: AB，且不存在A到B的双射。,无穷集合的基数也称超穷数，超穷数也可以比较大小。于是，像下面这些句子是有意义的：“平面上的点多还是平面上的圆多？”，“集合0,1中的数比自然数集N中的数多”，“有理数和自然数一样多。”,基数及其比较,问题：无穷基数有多少？ 有没有最大的无穷基数？,定理4.2 (康托)对任一集合M，Mn，m=n，mn。,那么，对任两个无限数，下面三个式子是否也有且仅有一个成立呢? 。,答案是肯定的。,26/29,设是一个基数为的集合，是基数为的集合。,如果=，那么，都不能成立。,若，同时成立，则从A到B的每个单射都不是满射，而从B到A的每个单射都不是满射。,
