版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、第四节 不可数无穷集,第一章 集合及其基数,1 不可数集的存在性(区间0,1是不可数集),证明:假设0,1是可数集,则 0,1 可以写成一个无穷 序列的形式:,数的进位制简介,十进制小数 相应于 对0,1十等分 二进制小数 相应于 对0,1二等分 三进制小数 相应于 对0,1三等分,说明:对应0,1十等分的端点有两种表示,如 0.2000000 0.1999999 (十进制小数),不可数集的存在性的另一种证明,证明:假设(0,1)是可数集,则 (0,1) 可以写成一个无穷 序列的形式: 把每个数写成正规小数(不能以0为循环节),令x=0.a1a2a3a4 其中,则得到矛盾,所以 (0,1)是不
2、可数集。,定义:与0,1区间对等的集合称为连续势集, 其势记为 , 显然:,例:1)R (0,1) 0,1 0,1) R+ (ab),2 连续势集的定义,2)无理数集为连续势集 (无理数要比有理数多得多,同理超越数要比代数数多得多),3 连续势集的性质(卡氏积),(1)有限个、可数个连续势的卡氏积仍为连续势集,1874年Cantor考虑 R 与Rn的对应关系,并企图证 明这两个集合不可能构成一一对应,过了三年, 他证明了一一对应关系是存在的,从而说明 Rn具 有连续基数 ,他当初写信给Dedekind说: “我看到了它,但我简直不能相信它”.,推论,连续势集的性质(并集),连续势集的(有限个,
3、可数个,连续势个)并仍为连续势集,4 无最大势定理,从而说明无限也是分很多层次,且不存在最大的集合.,此证为对角线方法,与(0,1) 是不可数集的证明比较。,尽管 Cantor 在1883年就证明了这个定理,但直到1899年 Cantor 才发现,这个定理本身与他给出的集合的定义有矛盾,即所谓的 Cantor 的最大基数悖论.,因此Cantor在1899年给 Dedekind 的一封信中曾指出,人们 要想不陷于矛盾的话,就不能谈论由一切集合所组成的集合.,集合悖论,证明:由于N的子集全体与特征函数全体存在一一对应关系,故2N 与0,1N对等;下证:,说明:相当于把 对应到一个三进制小数,5 可
4、数势与连续势,思考:为什么不用二进制。,Hilbert在1900年第二届国际数学家大会上将它列为二十三个难题的第一个问题。,注记: 从前面我们已经看到:,Cantor认为在 之间不存在别的基数, 即不存在这样的集合A,使得 但Cantor证明不了,这就是著名的Cantor连续统假设。,连续统假设,在Zermelo-Frankel公理集合论体系下,参见:数学与哲学张景中,数理逻辑概貌莫绍揆,ZF公理集合论体系下的连续统假设,1940年Godel证明了连续统假设的相容性 (即不能证明它不真);,1962年Stanford大学的P.J.Cohen证明了它的独立性 (即不能用其他公理证明它真);,6
5、基数的运算,对一些记号的说明,思考:如何推广 不可数个集合的 卡氏积?,第五节 半序集,第一章 集合,主讲:胡努春,1 半序集,数学三大母结构(Bourbaki学派观点): 拓扑结构(邻近关系),代数结构(运算关系), 序结构(顺序关系)(测度(长度、面积、体积),例:对实数集R有远近关系,四则运算,大小顺序,区间有长度,半序集定义,自反性:反对称性:传递性:,则称A按 成一半序集(偏序集)。,设A是一集合, 为A中的某些元素的关系 且满足:,例, 是一半序集. 是一半序集.,2 Zorn引理与选择公理,Zorn引理:设 是一偏序集,A中的 每个全序子集有上界,则A必有极大元。,选择公理:设 为一簇两两不交的 非空集簇,则存在一集B使得 是单元素集。,对选择公理的说明,利用选择公理,Banach在1924年证明了分球定理,即一个闭球U可分解成两个互不相交的集合A,B且U与A可 由相同多的有限多个互相合同的子集并成,U与B可由相同多的有限多个互相合同的子集并成;粗略来说即可把一个球U分解成两个与U具有同样体积的球A和B。(见:王世强数理逻辑与范畴论应用),选择公理的说明,通俗讲,假如有无限双鞋子,则我们有一规则,从每双鞋子中取出左脚穿的鞋子,其总体构成一集合;但若是无限双袜子,由于袜子不分左右,所以就有多种选择,要承认这种成员不确定的集合存在,就要引用选择公理。数学中许多重
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 商标法竞赛题目及答案解析
- 初中生保温知识考核试题与答案
- 橡胶物性检测测验试题与答案
- 供暖物资采购测试题及参考答案
- 2026年低压电工证题库及答案(考试题库)
- 2026年版《煤矿安全规程》考试题库及答案(含各题型)
- 左心力衰竭练习题及答案解析
- 生产环保培训考核试题及答案展示
- 食堂食品相关试题及参考答案
- 工程施工洪水安全应急预案
- 工会经审业务网络知识竞赛题库
- 检验科仪器设备管理课件教学
- 呼吸衰竭患者观察与护理
- (高清版)DB62∕T 4278.5-2023 消防安全规范 第5部分:宗教活动场所
- 2025既有建筑消防改造设计指南
- 人教版七年级劳动教育上册全册教案
- 家庭教育讲师班培训
- 重卡换电站可行性研究报告
- 犬猫产科疾病 子宫蓄脓(宠物疾病防治课件)
- 弹性力学有限元法详解
- JJF 1610-2017电动、气动扭矩扳子校准规范
评论
0/150
提交评论