离散数学+高等里离散数学-课件-CHAP4.pptVIP

第四章

可数集与不可数集3/16/20251

§4.1等势如何比较两个集合中元素的多少呢？3/16/20252

等势定义：设A和B是集合，假设存在A到B的双射，那么称A与B等势，记为A~B.(可形象理解为A与B的元素一样多。)“~”是一个等价关系。(请证之?)例1自然数集N与偶自然数集E是等势的，其中定义N到E的双射?为：?(n)=2n,n∈N.3/16/20253

有限与无限定义：设Nn={0,1,?,n–1},n?1,假设集合A与Nn等势，那么称A为有限集；否那么称A为无限集。3/16/20254

无限多的自然数定理自然数集合N是无限集。证明：设n∈N，n?1,令?是从Nn到N的映射，Nn={0,1,?,n–1}，下证?不是双射。令k=1+max{?(0),?(1),?,?(n–1)},于是k∈N，但对任意x∈Nn,均有?(x)≠k,因此，?不是满射，更不是双射。由定义知，N为无限集。啊哈！这下我们知道有无限多个自然数了！3/16/20255

抽屉原理定理任何有限集均不能和其真子集等势此定理也称为抽屉原那么：假设将n+1个物体放入n个抽屉中，那么至少有一个抽屉中放了两个或两个以上的物体。抽屉原那么对无限集并不总是成立，即无限集能够与其真子集等势。这是无限集合的一个非常重要的性质。我们已经看到自然数集合等势于它的真子集，偶数集合。下面我们再给一个例子。3/16/20256

正实数和全体实数一样多令R和R+分别为实数集合和正实数集合，即R+={x∈R|x0}，显然，R+?R，即R+是R的真子集。但是R~R+证明：定义映射f如下：f(x)=ex,x∈R于是，对任意的x∈R，存在唯一的y∈R+,使y=ex=f(x)；另一方面，对任意的y∈R+,存在唯一的x=lny∈R,使f(x)=ex=elny=y,这说明f是R到R+的一个双射。因此，R~R+。3/16/20257

§4.2集合的基数3/16/20258

几个记号同有限集合中元素的个数的记法一样，集合A的基数用|A|表示。每个有限集合都与某个集合Nn={0,1,?,n–1}等势，其中n?0,N0=?。如果A~Nn,那么A中有n个元素，即|A|=n;假设A为无限集，那么用一个特殊的符号?i(读作阿列夫i，i是一个正整数)来表示它的基数。例如，对于自然数集合N，令|N|=?0(读作“阿列夫零”)。3/16/20259

如何比较集合的大小(1)假设A~B,即存在A到B的双射，那么称它们的基数相等,记为|A|=|B|。(2)假设存在A到B的单射，那么称A的基数小于或等于B的基数，记为|A|?|B|；或称A的基数大于或等于B的基数，记为|B|?|A|。(3)假设两者基数不等且|A|?|B|，那么记为|A||B|。根据集合的基数来比较它们的大小。令A、B为两个集合，那么：3/16/202510

集合大小是可比的定理设A和B为两个集合，总有|A|?|B|或者|B|?|A|。(即任意两个集合总可比较大小。〕像实数一样，任何两个基数都可以比较大小，所以有3/16/202511

等势是集合间的等价关系定理：基数之间的相等关系“=”是一个等价关系,即对任何集合A,B和C,有:(1)|A|=|A|;(2)假设|A|=|B|,那么|B|=|A|;(3)假设|A|=|B|且|B|=|C|,那么|A|=|C|.3/16/202512

基数间的≤是偏序关系定理基数之间的小于或等于关系“?”是一个偏序关系,即对任何集合A,B和C,有:(1)|A|?|A|;(2)假设|A|?|B|且|B|?|A|,那么|A|=|B|;(3)假设|A|?|B|且|B|?|C|,那么|A|?|C|.3/16/202513

几个关于基数的问题我们知道自然数有无限多个。那么自然数集合是不是就是最大集合的呢？如果自然数集合不是最大的，那么比它更大的集合是什么样的呢？是不是存在最大的基数呢？不！不存在最大的集合。山外有山，天外有天。我们的口号是：没有最大，只有更大！3/16/202514

山外青山楼外楼定理对任意集合A,均有|A||?(A)|,其中?(A)为A的幂集。证明：令f:A??(A)。f(