未知用户-目的:熟悉常见的两类集合的势,掌握其基本性质.pptVIP

未知用户-目的:熟悉常见的两类集合的势,掌握其基本性质.ppt

  1. 1、本文档共32页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  5. 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  6. 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  7. 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  8. 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
未知用户-目的:熟悉常见的两类集合的势,掌握其基本性质

目的:熟悉常见的两类集合的势,掌握其 基本性质。 重点与难点:可数集合的性质,连续势的 性质。;第3讲 势的定义 --可数集合与连续势 ; 证明:假设 是一个无穷集,任取 ,因 无穷,故 亦无穷,因此又可以从 中任取一个元素 ,显然 ,假如已从 中取出 个元素 ,则由 是无穷集知 仍是无穷集,从而可从中取出一个元素 ,由归纳法知可从 中取出互不相同得元素;排成一无穷序列: ,显然 是 的可数子列。证毕。;定理3 可数集合的无穷子集仍是可数的。 证明:假设 是可数集, 是 的无穷子集,由定理2, 含可数子集 ,于是 ,但 ,故 ,从而 也是可数的。证毕。 ;定理4 设 是可数集, 是有限集或可数 集,则 可数。 证明:由于 有限或可数,故 有限或可数,所以 可以写成 ,或 ,又因 可数,从而 可以写成 ,将 按如下方法排列:当 时,将 排成 ; 当 将 排成 无论哪种情形, 显然都是可数的。 证毕。 ;定理5 有限个或可数个有限集或可数集的 并仍是有限集或可数集。 证明:不妨假设 是一列有限或可数集(有限个集合情形证明相仿)。将 中元素排列成 ,(如果 是有限集,则排列成 )。于是 表示 中的;第 个元素,记 ,则对任意自然数 ,满足 的数组 必为有限个,首先按 从小到大的顺序进行编号,即将 编为 对每个 ,将 重新写成 ;即按第一个下标 从小到大的顺序排列,应该注意的是 中可能含一些重复的元素,暂且将重复元素留着,最后将 排成 在上述序列中,去掉重复元素,则剩下的是有限集或可数集。证毕。 ;第3讲 势的定义 --可数集合与连续势 ; 定理6 。 证明:记 ,显然 是可数集,故 可数;同理每个 也可数,从而 可数,于是;是可数的,即 。证毕。 定理6告诉我们,尽管有理数全体在数 轴上处处稠密,然而,它和自然数集却是对等的,这与我们的直觉是多么不同! ;第3讲 势的定义 --可数集合与连续势 ; 前面已经看到,可数集是无穷集中势最小者,下面的命题指出,任一无穷集并上一个可数集不影响它的势。 ; 命题1 假设 是无穷集, 是可数集 或有限集,则 。 证明:由 可数或有限知 也可数或有限,且 ,故不妨假设 与 不相交。由定理2知 含可数子集,不妨记为 ,则 仍可数,于是 与 ; 对等,又 与自身对等,不妨设 是 与 的1-1对应, 是 到自身的恒等映射,则令 ,易知 是 ;的1-1对应,从而 。证毕。 二.无限集的特征 问题2: 有限集与无限

文档评论(0)

jdy261842 + 关注
实名认证
文档贡献者

分享好文档!

1亿VIP精品文档

相关文档