《离散数学-4-4基数的概念.ppt》由会员分享，可在线阅读，更多相关《离散数学-4-4基数的概念.ppt（10页珍藏版）》请在三一办公上搜索。
1、第三章 集合与关系,4-4 基数的概念授课人：李朔Email:,一、后继集,比较两个集合的“大小”，确定有限集和无限集的概念，首先需要引进自然数集合。定义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)称极小性质，它指明了自然数系统的最小性，即自然数系统是
2、满足公理1)和2)的最小集合。当然，自然数集亦可不从0开始，这只需定义为1则自然数集就从1开始。,2、等势,从上述定义可以看到，任意一个自然数可看作是一个集合的名。此外，从实际生活中我们知道任意自然数，例如3这个概念是从观察许多只含三个元素的集合的共同特点而加以抽象概括出来的，这个共同特点就是体现于这些被观察的任意一个集合的元素都可与集合,中元素存在一一对应，且其任意两个集合的元素之间也存在一一对应。由此可见，“对应”是集合之间进行比较的一个非常重要的概念。定义4-4.2 给定两个集合P与Q，如果我们对P中每个不同元素，与Q中每个不同元素，可以分别两两成对，那么我们说P的元素与Q的元素间存在着
3、一一对应。例如，2，4，6，8，2n，与1，3，5，2n-1，之间存在着一一对应的。,2、等势,定义4-4.3 当且仅当集合A的元素与集合B的元素之间存在着一一对应，集合A与集合B称为是等势的(或称同浓的)。记作AB。例题1 验证自然数集N与非负偶数集合M是等势的。证明：因为N与M的元素之间可作一一对应的映射，即f(n)2n例题2 设P为实数集合，S是P的子集，即SP，且 Sx|xPOxl，证明 SP证明：令f：PS f(x)显然f的值域是S，且f是双射函数。,2、等势,定理4-4.1 在集合族上等势关系是一个等价关系。证明 设集合族为Sa)对任意AS，必有AA。b)若A，BS，如果AB，必有
4、BA。c)若A，B，CS，如果AB且BC，必有AC。,3、有限集和无限集,定义4-4.4 如果有一个从集合0，1，g一1到A的双射函数，那么称集合A是有限的；如果集合A不是有限的，则它是无限的。定理4-4.2 自然数集合N是无限的。证明 设n是N的任意元素，f是任意的从0，1，n-1到N的函数。设k1+maxf(0)，f(1)，f(n-1)，那么kN，但对每一个x0，1，n-1，有f(x)k。因此f不能是满射函数，即f也不是双射函数。因为n和f都是任意的，故N是无限的。对于有限集的大小概念很易理解，对于无限集的度量要考虑到集合的等势关系。,4、基数,设有集合A，一切与该集合等势的集合，其元素之间可以一一对应，若以此作为度量标准，我们可有如下定义。定义4-4.5 集合A中元素的个数称为集合A的基数，记为KA(或)从基数的定义可以看到，有限集合的基数就是其元素的个数。这里约定空集的基数为0。例如，A(a，b，c)，B，C桌、灯泡，教室，因为ARC，即KAKBKC。KAA，B，C，*可以看到，如果两个集合能够建立双射函数，则两集合元素间必一一对应，从基数的定义可以知道，该两集合应具有相同的基数。,4、基数,例题3 证明区间0,1与(0,1)基数相同。证明：设集合 定义函数f：0,1(0,1)，使得 则f是0,1到(0,1)上的双射。,本课小结,自然数集等式有限集与无限集基数,
