- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
* 【形式三】 无限多个元素分成有限组,至少有一组包含无限多个元素。 证明(反证法) 将无穷多个元素分为有限个集合,假设这有限个集合中的元素的个数都是有限个,则有限个有限数相加,所得的数必是有限数,这就与题设产生矛盾,所以,假设不成立,故必有一个集合含有无穷多个元素。 * 对于有限集合,其中不同元素的个数如何计数? 对图书馆的藏书,我们可以逐本地清点。 对于人口普查,人可以逐个地登记。 …… 这些做法的实质是使这些集合的元素和正整数集的一个子集的元素建立起一一对应关系。 * 定义3-9 设有集合 A,B,如果存在一个双射函数 f : A ? B,则称 A 与 B 有相同的基数,或称 A 与 B 等势,记作 A ~ B。 注: 当 A ~ B 时,双射 f : A ? B 可能不止一个,但只须有一个存在就足以证明 A 和 B 同基。 对于有限集,A ~ B 指它们的元素个数相同。 如果 A = B,则 A ~ B。反之不一定成立。 例如 设 Nodd = {1, 3, 5, 7, …},可定义函数 f : N ? Nodd,对于任意 n ? N,f(n) = 2n - 1。 显然,f 是 N ? Nodd 的双射,所以 N ~ Nodd。 一、集合的同基 * 定理3-11 集合族 S 上的等势关系“ ~ ” 是一个等价关系。 证明:(1) ?A ? S,因为恒等函数 IA 是一个 A ? A 的双射,故有 A ~ A,即“ ~ ” 是自反的。 (2) ?A, B ? S,若 A ~ B,则存在一个双射 f : A ? B。 因为 f –1 是一个 B ? A 的双射,故有 B ~ A,即 “ ~ ” 是对称的。 (3) ?A, B, C ? S,若 A ~ B 且 B ~ C,则存在双射 f : A ? B 和双射 g : B ? C。 因为 g ? f 是一个 A ? C 的双射,故有 A ~ C,即“ ~ ” 是可传递的。 综上所述,等势关系“ ~ ”是集合族 S 上的一个等价关系。 * 注: 等势关系“ ~ ” 导致 S 的一个等价分划,其中的每一个等价类称作基数类。 凡属于同一基数类的集合必有相同的基数,称作同基。 定义3-10 如果集合 A 与集合 Nm = {1, 2, …, m}(m 为某一正整数)属于同一基数类,则称 A 为有限集,且 #A = m。? 是有限集。不是有限集的集合称为无限集。 有限集的基数就是该集合中元素的个数。 无限集中最简单的一种是可数集。 * 1. 可数集的概念 定义3-11 如果集合 A ~ N,则称 A 是可数集,如果 A 是无限集但不是可数集,则称 A 是不可数集。有限集和可数集统称为可计数集。 注:可数集的基数记作 “ ?0 ”(Aleph),读作 “ 阿列夫零”。 例1 设 Ne = {2n | n ? N},即 Ne = {2, 4, 6, 8, 10, …}, 定义函数 f : N ? Ne,对任意 n ? N,f(n) = 2n, 1 2 3 4 5 6 … ? ? ? ? ? ? 2 4 6 8 10 12 … f 是一双射,所以 Ne ~ N,#Ne = #N,Ne 是可数集。 二、可数集 * 对应关系的函数表达式如下: f 是一双射,所以 I ~ N,#I = #N,I 是可数集。 所有正有理数的集合 Q+,所有负有理数的集合 Q- 和所有有理数的集合 Q 都是可数集。(证明见后) 因此 #N = #Ne = #I = #Q = ?0。 0 1 -1 2 -2 3 -3 … ? ? ? ? ? ? ? 1 2 3 4 5 6 7 … 例2 整数集 I 是可数集。 在整数集 I 和正整数集 N 之间可定义元素的对应关系如下: * 2. 可数集的性质 定理3-12 集合 A 为可数集的充分必要条件是它的元素可排成无重复的枚举:A = {a1, a2, …, an, …}。 证明:充分性 设集合 A 的元素可排成无重复的枚举:A = {a1, a2, …, an, …}。 令 f : A ? N,f (an) = n。 显然 f 是从 A 到 N 的双射。故 A 是可数集。 必要性:设集合 A 为可数集,则由定义知,存在双射 f : A ? N。 于是 f –1 是 N ? A 的一个双射。 从而 A 的元素可排成
原创力文档


文档评论(0)