- 1、本文档共10页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
毕 业 论 文
题 目 关于集合可数的若干证明方法
学生姓名 学号
所在院(系) 数 学 系
专业班级 数学与应用数学专业2003级4班
指导教师
2007年 5月 22日
关于集合可数的若干证明方法
(陕西理工学院数学系数学与应用数学专业2)
指导教师:
[摘 要] 本文主要介绍了有关集合可数的五种证明方法,这些方法是:一.依据定义构造无穷序列证明集合可数;二.依据伯恩斯坦定理通过建立映射证明集合可数;三.通过集合之间取并集来证明有些集合可数;四.用数学归纳法证明集合可数;五.运用转化的思想.通过以上方法的讨论,本文对有关集合可数的证明做了一个比较全面的介绍.
[关键词] 可数集;1-1映射;无穷序列
1 引言
集合是整个数学理论的基础,可数集是实变函数中的一个最基本的概念,对后续的测度论以及Lebesgue积分的学习起着很重要的作用而且作为一类最简单的集合在数学的各个分支中也有广泛的应用.基于此判断并证明集合可数便显得尤为重要,虽然可数集合数目众多,种类繁杂,但集合可数的证明方法无分就几类.本文将主要介绍其中常用的五种方法.作者通过阅读大量的参考文献,从中搜集了大量的习题,通过认真演算,其中少数难度较大的题目之证明来自相应的参考文献,并对这些证明方法做了系统的归纳和总结.由于本文的主要内容是介绍解题方法,所以,本文会以大量的例题进行讲解说明.
2 预备知识
定义2.1[1] 设是两个集合,如果存在二者元素之间的一个对应关系,使中任意元素,通过都恰与中某一个元素对应,而中任意的元素也一定是中某一通过在中的对应元素,则我们就说和是对等的.记为.
定义2.2[2] 凡与自然数集对等的集合称为可列集.可列集与有限集统称可数集.
定理2.1[3](Cantor—Bernstein) 若,则.
定理2.2[4] 任何无穷集合必有可数子集.
基于以上两个定理,我们给出集合可数的如下两个充分条件.
定理2.3 设为任意无穷集,为一可数集,且存在满射,则可数.
证明 由已知必存在集合,使得在上的限制是一个双射,即存在集合,使得为一个双射,也就是说.又由定理2.2,必有可数子集,即存在,且,也就是说.从而由定理2.1知,又,故即可数.
定理2.4 设为任意无穷集,为一可数集,且存在单射,则可数.
证明 由已知,而显然为一双射,故.由定理2.2知必有可数子集,即存在,使得,因此由定理2.1知,即可数.
定理2.5[5] 若都是可数集合,则是可数的.
用数学归纳法不难把定理2.7的结论推广到个集合的情形,即
推论2.1[1] 若对于每一个是可数集合,则是可数集合.
下面的定理2.6我们再将结论进一步推广到可数个集合的情形.
定理2.6[6] 如果的每一个都是可数集合,则也是可数集合.
3 关于集合可数的一些证明方法
以下文中例题选自参考文献[7,8,9,10].
3.1 依据定义构造无穷序列证明集合可数
依据上面的定义无穷集合可数与可列等价,那么要证明一个无穷集合可数只要找到其元素的一个无穷序列便可.
例3.1 全体有理数构成的集合可数.
证明 由于任意有理数都可以用分数表示, 我们构造集合集合序列如下,
,
则这些所有集合的全体元素可做排列,其排列规则为排第一位,当时,排在第位,, 将上述排列中的重复元素只取其一个最简形式,便可得到一个全体有理数的无穷序列为,,故而由定义可知全体有理数构成一可数集.
例3.2 证明直线上以有理数为端点的区间全体所组成的集合可数.
证明 设直线上的全体有理点为,令,则中的元素可排列如下:
,
,
将以上排列重排成无穷序列如下:
可数.
例3.3 证明整数集可数.
证明 整数集中的元素可做如下无穷序列:
,
故整数集可数.
根据定义构造无穷序列来证明集合可数的方法关键在于构造无穷序列,而这其中是有很多技巧的,还要通过多做练习,细加揣摩,还有多注意总结前人的经验才能掌握.
3.2 依据伯恩斯坦定理通过建立映射证明集合可数
例3.4 直线上互不相交的开区间构成的集合可数.
证明 记直线上互不相交的开区间构成的集合为,建立有理数集到的映射如下,
,对于任意的,由有理数的稠密性知,存在,即存在,使得,故是一个满射,从而根据定理2.3,可数.
例3.5 若直线上的集合的任意两点间的距离大于1,则集合可数.
证明 用点将直线分成可
您可能关注的文档
- 毕业设计(论文)-VFP产品销售管理信息系统.doc
- 毕业设计(论文)-VFP工资管理系统.doc
- 毕业设计(论文)-VF企业工资管理系统设计.doc
- 毕业设计(论文)-VisualC++浏览器的设计与实现.doc
- 毕业设计(论文)-VI识别系统设计.doc
- 毕业设计(论文)-WCDMA系统研究与仿真.doc
- 毕业设计(论文)-WD采煤机可调行走箱设计.doc
- 毕业设计(论文)-web服务器的配置和管理.doc
- 毕业设计(论文)-WH212减速机壳体加工工艺及夹具设计.doc
- 毕业设计(论文)-WH公司绩效薪酬体系设计方案.doc
- 福莱特玻璃集团股份有限公司海外监管公告 - 福莱特玻璃集团股份有限公司2024年度环境、社会及管治报告.pdf
- 广哈通信:2024年度环境、社会及治理(ESG)报告.pdf
- 招商证券股份有限公司招商证券2024年度环境、社会及管治报告.pdf
- 宏信建设发展有限公司2024 可持续发展暨环境、社会及管治(ESG)报告.pdf
- 品创控股有限公司环境、社会及管治报告 2024.pdf
- 中信建投证券股份有限公司2024可持续发展暨环境、社会及管治报告.pdf
- 洛阳栾川钼业集团股份有限公司环境、社会及管治报告.pdf
- 361度国际有限公司二零二四年环境、社会及管治报告.pdf
- 中国神华能源股份有限公司2024年度环境、社会及管治报告.pdf
- 广西能源:2024年环境、社会及治理(ESG)报告.pdf
最近下载
- 机械行业“人形机器人的Optimus时刻”系列(五):触觉感知(电子皮肤),高山将越,坦途在望.pdf
- 培训教材污水处理厂运营管理方案.pptx VIP
- 纪检委处理回复函.docx
- AP微积分BC 2016年真题 (选择题+问答题) AP Calculus BC 2016 Released Exam and Answers (MCQ+FRQ).pdf VIP
- 武汉市2025届高中毕业生四月调研考试(四调)物理试卷(含答案).pdf
- 《西安事变》课件.ppt VIP
- 排水沟设计计算11.xls VIP
- 2010版中药典,中国药典2010年版.doc
- 精彩拍摄跟我来.docx
- 小学常用单词分类汇总衡水体英语字帖(含例句).pdf
文档评论(0)