第3讲势的定义--可数集合与连续势ppt课件

1、目的：熟习常见的两类集合的势，掌握其 根本性质。重点与难点：可数集合的性质，延续势的 性质。一可数集合 定义 凡是与自然数对等的集称为可数集或可列集，凡与R1对等的集称为具有延续势。可数集性质： 定理2 任何无穷集都包含一个可数子集。 证明：假设 是一个无穷集，任取 ，因 无穷，故 亦无穷，因此又可以从 中任取一个元素 ，显然 ，假设已从 中取出 个元素 ，那么由 是无穷集知 仍是无穷集，从而可从中取出一个元素 ，由归纳法知可从 中取出互不一样得元素MMMx 1nM1nx1xM1xM 2x12xx MMniix1niixM1排成一无穷序列： ，显然 是 的可数子列。证毕。,21nxxx,21n

2、xxxM定理定理3 3 可数集合的无穷子集仍是可数的。可数集合的无穷子集仍是可数的。 证明：假设证明：假设 是可数集，是可数集， 是是 的无的无穷子集，由定理穷子集，由定理2 2， 含可数子集含可数子集 ，于，于是是 ，但，但 ，故，故 ，从而从而 也是可数的。证毕。也是可数的。证毕。 M2M1MM1MMM2MMM12MM 11M定理定理4 4 设设 是可数集，是可数集， 是有限集或可数是有限集或可数 集，那么集，那么 可数。可数。 证明：由于证明：由于 有限或可数，故有限或可数，故 有限有限或可数，所以或可数，所以 可以写成可以写成 ，或或 ，又因，又因 可数，从而可数，从而 可以写可以写成

3、成 ，将，将 按如下方法陈列：按如下方法陈列：当当 时，将时，将 排成排成 BAABBBAA1iibABAB,21nbbbA1iiaBAniibAB1当 将 排成无论哪种情形， 显然都是可数的。证毕。,2121mnaaabbb1iibAB,2211nnbababaBABA定理定理5 5 有限个或可数个有限集或可数集的有限个或可数个有限集或可数集的 并仍是有限集或可数集。并仍是有限集或可数集。 证明：无妨假设证明：无妨假设 是一列是一列有限或可数集有限个集合情形证明相有限或可数集有限个集合情形证明相仿。将仿。将 中元素陈列成中元素陈列成 ，假设假设 是有限集，那么陈列成是有限集，那么陈列成 。于

4、是。于是 表示表示 中的中的,21nAAAiAija,21iniiiaaaA iA,21iniiiaaaAiA第 个元素，记 ，那么对恣意自然数 ，满足 的数组 必为有限个，首先按 从小到大的顺序进展编号，即将 编为对每个 ，将 重新写成 jnjinnjinn),(ji1iiA1iijnjianjiija,1 , 12211nnnaaa即按第一个下标 从小到大的顺序陈列，应该留意的是 中能够含一些反复的元素，暂且将反复元素留着，最后将 排成在上述序列中，去掉反复元素，那么剩下的是有限集或可数集。证毕。 i1iiAija,1 , 111211312213211211nnnaaaaaaaaa 假设

5、说 表示正整数， 表示一个有限集与可数集之并的势， 表示 个可数集之并的势， 表示可数个可数集之并的势，那么定理5蕴含了以下各式：12340C0C00CC 00CC 00CC 000CCC000CCC 定理6 。 证明：记 ，显然 是可数集，故 可数；同理每个 也可数，从而 可数，于是0CQ , 3 , 2 , 1,mnmAn,1,2,3, nmAmn 1nnAnA1()nnA0) )(11nnnnAAQ是可数的，即 。证毕。 定理6通知我们，虽然有理数全体在数轴上处处稠密，然而，它和自然数集却是对等的，这与我们的直觉是多么不同！0QC 问题1：可数集合的性质与有限集合的性 质有何异同？其本质

6、差别是什么？ 前面曾经看到，可数集是无穷集中势最小者，下面的命题指出，任一无穷集并上一个可数集不影响它的势。 命题命题1 1 假设假设 是无穷集，是无穷集， 是可数集是可数集或有限集，那么或有限集，那么 。 证明：由证明：由 可数或有限知可数或有限知 也可数也可数或有限，且或有限，且 ，故无妨假设，故无妨假设 与与 不相交。由定理不相交。由定理2 2知知 含可数子集，无妨含可数子集，无妨记为记为 ，那么，那么 仍可数，于是仍可数，于是 与与 ABAABBBBA()AB AA0AA0AB0AB 对等，又 与本身对等，无妨设 是 与 的1-1对应， 是 到本身的恒等映射，那么令 ，易知 是 0A0

7、AB0A0AA0AA00)()()(AAaaAaaa当当)()()(0000AABABAAAAAA与的1-1对应，从而 。证毕。 二无限集的特征 问题2: 有限集与无限集的本质差别能否也 表达在普通的无限集？这种差别是 否正是无限集的特征？ABA命题命题2 2 是无穷集当且仅当它可以与其是无穷集当且仅当它可以与其 真子集对等。真子集对等。 证明：先证必要性，假设证明：先证必要性，假设 可数，那可数，那么结论显然，故无妨设么结论显然，故无妨设 不是可数集，由不是可数集，由定理定理2 2， 含可数子集含可数子集 ，由于，由于 非可数，所以非可数，所以 仍是无穷集，由命题仍是无穷集，由命题1 1立知

8、立知 AAA0AAA0AA000)(AAAAAA即 与其真子集 对等。 为证充分性，我们要证，假设 与其真子集对等， 必是无穷集。假假设不然， 是有限集，无妨设为 ， 与其真子集对等，记与 对等的真子集为 ， 是 与 之间的1-1对应。那么 ，留意0AAAAA12 ,nAa aaAAA120,miiiAa aamnA0()AA0A且因 是一一的，故对不同的 ， 。故 是 中 个不同的元素，于是 。然而 。这说明 。这个矛盾意味着 必是无穷集。证毕。120() (), (),(),miiiAaaa()()kjiiaa, k j()kaAmmA)(0An0()AAA 在例2中，我们曾经看到 与 是

9、不对等的，因此 是一个不可数集合，我们也知道 是最小的无穷集，所以 。有一个很有意思的问题，存不存在这样的集合 ，其势位于 与 之间？即 。Cantor首先思索了这个问题，但他未能处理。他猜测，没有这个中NAC0C1R1RN1RN0CAC间势，这就是著名的延续统假设，严厉说来，至今没有人能证明能否存在这种势，但大家普遍成认Cantor的猜测，并将此作为集合论的一条公理。人们曾经证明，这条公理与集合论的其它公理是相互独立的，换言之，无论是成认还能否认这条公理，都不会与其它公理发生冲突。三具有延续势的集合例3 只需ab那么 。 令 那么 是(a,b)到 的一个1-1对应，故 。显然当 的势均为C。

10、同样 的势也为C。 Cba),()2()(abaxtgx),(Cba),(),(,babababa时),),(aa 定理7 假设 都是势小于或等 于 的集合，且其中至少有一个的 势是 ，那么 的势是 。 证明：不失普通性，假设 ，令 ，那么 )3 , 2 , 1(iAi1iiACCA 1CC11*1*1)2(,ijjIIiAAAAA1*1*,)(iiiiiijiCACAAAjiAA知由且因此一定存在 的子集 ，使 ， 设 是 与 之间的一个11对应关系，定义 ，当 。易见 便是 和 之间的一个11对应关系，因此 。另一方面iiB), 1ii iiBA *iAiB)()(xxi), 3 , 2

11、, 1(*iAxiiiiiBA1*1和1iiB1*iiA), 011iiiiBA ，由Bernstein定理知 的势为 。证毕。 定理7实践是说，可数个势不超越 的集合之并，其势也不超越 ，用公式表示就是： 。 AA 1),01iiAACCCCCC0 以上看到的都是直线上的点集，平面内点集的势又有多大呢？我们先来看整个平面 的势。有一点是显然的，即 。问题在于 是大于 还是等于 。我们可以把 看作 ，其中的元素是数组 ，由于 与 有一样的势，故 与 有一样的势，因此只需调查 的势。假设将 与 按适当顺序排成一个新的数，便 CCR2RCR 22R2RRR),(yx 1 , 02R2 1 , 02 1 , 0 xy有能够将 与 的一个子集对等。无妨设 。显然我们可以按下述方式来陈列 ，即令 。 到 的这种对应关系是不是一对一的呢？假设 确定，对应的2 1 , 01R321321.0,.0yyyyxxxxzyx,nnyxyxyxz2211.0),(yxnnyyyxxx2121,显然也是独一确定的，但是，用小数表示一个数，其表示法不一定独一，比如1也可以表示成 ，因此，这里要作一个规定，即不允许出现只需有限个数字非零的情况，