手机浏览器扫描二维码访问
第五百二十七章 佐恩引理集合论（第1页）
康托尔发现集合论后，提出集合论有互异性、确定性和无序性后，有的数学家耻笑康托尔集合无序性的原则。对康托尔说：“无序性会有什么作用？”
康托尔反驳：“我们把东西堆在一起，形成一个集合就行，不需要给他排序。”
克罗内克笑道：“你研究集合论是研究有理数和无理数个数时开始的，对数字不讲顺序，你着集合算什么数学？是个不知大小没有高低的东西？那证明里的归纳法如何用集合问题取解决？”
康托尔这时才深深的感觉到，良序定理是“思维的基本原理”。他对数学家们说：“所有集合都可以被良序排序。”
康托尔不仅仅要面对一般的数学归纳法，还要面对超限归纳法，数学归纳法时后继序数，而超限归纳法不是后继序数。
策梅洛提出了良序定理，其内容表述为对任何集合S，存在S上的二元关系R，使得是良序集。
良序定理是非常重要，因为它确保所有集合适用超限归纳法的强力技术。
后来为了证明良序定律，策梅洛提出了选择公理，表述为设C为一个由非空集合所组成的集合。那么，我们可以从每一个在C中的集合中，都选择一个元素和其所在的集合配成有序对来组成一个新的集合。
要证明选择公理，并非一件容易的事，其中一个原因是选择公理不单是一条简单的数学命题，而是牵涉较基层的数学──集合论。而集合论正就是数学的基础理论，所以在证明时，工具也会较少。
而这里又出现了新情况，就是左恩引理的出现。
佐恩引理在1922年首先被库拉托夫斯基所发现，1935年佐恩亦独立地发现此结论。
表述是在任何一非空的偏序集中，若任何链（即全序的子集）都有上界，则此偏序集内必然存在（至少一枚）极大元。
佐恩引理，良序定理和选择公理彼此等价，在集合论的公理基础上，上述三者中从任一出发均可推得另外两个。
喜欢数学心请大家收藏：（）数学心
暗无 摊牌了，我爹是绝顶高手！ 快穿之炮灰得偿所愿 国运：拥有多重身份的我很合理吧 混迹娱乐圈的日子 哦豁！虐文炮灰不干了！ 在下潘凤，字无双 大明：开局气疯朱元璋，死不登基 我一枪一剑杀穿大陆 玄灵界都知道我柔弱可怜但能打 永恒大陆之命运 我的徒弟不对劲 穿成商户女摆烂，竟然还要逃难！ 农夫是概念神？三叶草了解一下！ 穿到八零，我自带锦鲤系统！ 至尊战皇 新人驾到 重生在宝可梦，我的后台超硬 译文欣赏：博伽瓦谭 宗门全是美强惨，小师妹是真疯批
世界第一宠：财迷萌宝，超难哄
本书又名你是我戒不掉的甜秦南御第一次遇见纪微甜，丢了重要信息。秦南御第二次遇见纪微甜，丢了相亲对象。秦南御第三次遇见纪微甜，丢了人如果有人问他，最厌恶的异性类型是什么样的，他会毫不犹...
开挂
不牛逼不拉风的低端业余玩家甄浪，被班花拒绝后，偶然得到一块来历神秘的智能芯片。从此，一个游戏界的传奇诞生了。那神一样的操作妖一样的走位魔一样的意识，令无数高端玩家失声惊呼挂了吧？事实证明，甄浪注定是泡不到班花的男人。因为，千姿百态的系花院花校花，风情各异的美女老师女神主播，纷纷闯进了他的生活火爆...
武炼巅峰
武之巅峰，是孤独，是寂寞，是漫漫求索，是高处不胜寒逆境中成长，绝地里求生，不屈不饶，才能堪破武之极道。凌霄阁试炼弟子兼扫地小厮杨开偶获一本无字黑书，从此踏上漫漫武道。...
天美地艳男人是山
从农村考入大学的庾明毕业后因为成了老厂长的乘龙快婿，后随老厂长进京，成为中央某部后备干部，并被下派到蓟原市任市长。然而，官运亨通的他因为妻子的奸情发生了婚变，蓟原市急欲接班当权的少壮派势力以为他没有了后台，便扯住其年轻恋爱时与恋人的越轨行为作文章，将其赶下台，多亏老省长爱惜人才，推荐其参加跨国合资公司总裁竞聘，才东山再起然而，仕途一旦顺风，官运一发不可收拾由于庾明联合地方政府开展棚户区改造工程受到了中央领导和老百姓的赞誉。在省代会上，他又被推举到了省长的重要岗位。一介平民跃升为省长...
混在日本女校的高手
为了躲避一个美女疯狂的纠缠，叶权宇在好友的帮助下偷偷来到日本，光荣地成为了圣樱花女子高中的第一名男学生，原本只想平静读完高中的他，面对一群萌萌的少女，生活又怎么可能平静得了？交流群号2746792欢迎大家前来交流吐槽！...
苏狂
下载客户端，查看完整作品简介。...