手机浏览器扫描二维码访问
第五百二十七章 佐恩引理集合论（第1页）
康托尔发现集合论后，提出集合论有互异性、确定性和无序性后，有的数学家耻笑康托尔集合无序性的原则。对康托尔说：“无序性会有什么作用？”
康托尔反驳：“我们把东西堆在一起，形成一个集合就行，不需要给他排序。”
克罗内克笑道：“你研究集合论是研究有理数和无理数个数时开始的，对数字不讲顺序，你着集合算什么数学？是个不知大小没有高低的东西？那证明里的归纳法如何用集合问题取解决？”
康托尔这时才深深的感觉到，良序定理是“思维的基本原理”。他对数学家们说：“所有集合都可以被良序排序。”
康托尔不仅仅要面对一般的数学归纳法，还要面对超限归纳法，数学归纳法时后继序数，而超限归纳法不是后继序数。
策梅洛提出了良序定理，其内容表述为对任何集合S，存在S上的二元关系R，使得是良序集。
良序定理是非常重要，因为它确保所有集合适用超限归纳法的强力技术。
后来为了证明良序定律，策梅洛提出了选择公理，表述为设C为一个由非空集合所组成的集合。那么，我们可以从每一个在C中的集合中，都选择一个元素和其所在的集合配成有序对来组成一个新的集合。
要证明选择公理，并非一件容易的事，其中一个原因是选择公理不单是一条简单的数学命题，而是牵涉较基层的数学──集合论。而集合论正就是数学的基础理论，所以在证明时，工具也会较少。
而这里又出现了新情况，就是左恩引理的出现。
佐恩引理在1922年首先被库拉托夫斯基所发现，1935年佐恩亦独立地发现此结论。
表述是在任何一非空的偏序集中，若任何链（即全序的子集）都有上界，则此偏序集内必然存在（至少一枚）极大元。
佐恩引理，良序定理和选择公理彼此等价，在集合论的公理基础上，上述三者中从任一出发均可推得另外两个。
喜欢数学心请大家收藏：（）数学心
永恒大陆之命运 大明：开局气疯朱元璋，死不登基 在下潘凤，字无双 玄灵界都知道我柔弱可怜但能打 穿成商户女摆烂，竟然还要逃难！ 至尊战皇 我的徒弟不对劲 快穿之炮灰得偿所愿 译文欣赏：博伽瓦谭 混迹娱乐圈的日子 重生在宝可梦，我的后台超硬 农夫是概念神？三叶草了解一下！ 摊牌了，我爹是绝顶高手！ 哦豁！虐文炮灰不干了！ 国运：拥有多重身份的我很合理吧 新人驾到 宗门全是美强惨，小师妹是真疯批 暗无 我一枪一剑杀穿大陆 穿到八零，我自带锦鲤系统！
师娘，借个火（师娘，别玩火）
师父死了，留下美艳师娘，一堆的人打主意，李福根要怎么才能保住师娘呢？...
无敌从满级属性开始
穿越成修真世界的一个废柴，那还修你妹的真？一道七彩霞光之后，杨真直接吊炸天了！他看过的功法，直接满品满级，学都学不完！他炼制的丹药，不但起死回生，还能青春永驻！他锻造的武器，上打神王大帝，下捅黄泉幽狱，每一件都让天地颤栗，让神魔退避！我杨真从不装逼，因为我真牛的一批！一群542062672（已满）二群...
天美地艳男人是山
从农村考入大学的庾明毕业后因为成了老厂长的乘龙快婿，后随老厂长进京，成为中央某部后备干部，并被下派到蓟原市任市长。然而，官运亨通的他因为妻子的奸情发生了婚变，蓟原市急欲接班当权的少壮派势力以为他没有了后台，便扯住其年轻恋爱时与恋人的越轨行为作文章，将其赶下台，多亏老省长爱惜人才，推荐其参加跨国合资公司总裁竞聘，才东山再起然而，仕途一旦顺风，官运一发不可收拾由于庾明联合地方政府开展棚户区改造工程受到了中央领导和老百姓的赞誉。在省代会上，他又被推举到了省长的重要岗位。一介平民跃升为省长...
我的绝美御姐老婆
聚焦巅峰火爆畅销他是世界闻名的巅峰杀手，却被家族逼婚，与美女总裁住在了一起。彼此看不顺眼却又不得不同居，萧凡决定回学校散散心，可是...
极品仙师
市一高新丁黄景耀因得罪骨干教师被恶意针对，不堪受辱辞职后意外得到仙家至宝。重新执教县一高，左手录运簿册掌天下文章，可查看每一个学生学习天赋，提升天赋。右手文昌大印掌考场气运，财富官运。教师以教育水平和升学率为本，黄景耀渐渐发现他的本钱雄厚的有些令人发指，一次次撼动整个教育界，又远不止单一的教育界。...
医流武神
一代魔君，逆天重生！为复血海深仇，重回都市，掀起血雨腥风！当其锋芒展露的刹那，美女院长，萌呆萝莉，清纯校花，冷艳总裁纷至沓来！...