手机浏览器扫描二维码访问
第五百二十七章 佐恩引理集合论（第1页）
康托尔发现集合论后，提出集合论有互异性、确定性和无序性后，有的数学家耻笑康托尔集合无序性的原则。对康托尔说：“无序性会有什么作用？”
康托尔反驳：“我们把东西堆在一起，形成一个集合就行，不需要给他排序。”
克罗内克笑道：“你研究集合论是研究有理数和无理数个数时开始的，对数字不讲顺序，你着集合算什么数学？是个不知大小没有高低的东西？那证明里的归纳法如何用集合问题取解决？”
康托尔这时才深深的感觉到，良序定理是“思维的基本原理”。他对数学家们说：“所有集合都可以被良序排序。”
康托尔不仅仅要面对一般的数学归纳法，还要面对超限归纳法，数学归纳法时后继序数，而超限归纳法不是后继序数。
策梅洛提出了良序定理，其内容表述为对任何集合S，存在S上的二元关系R，使得是良序集。
良序定理是非常重要，因为它确保所有集合适用超限归纳法的强力技术。
后来为了证明良序定律，策梅洛提出了选择公理，表述为设C为一个由非空集合所组成的集合。那么，我们可以从每一个在C中的集合中，都选择一个元素和其所在的集合配成有序对来组成一个新的集合。
要证明选择公理，并非一件容易的事，其中一个原因是选择公理不单是一条简单的数学命题，而是牵涉较基层的数学──集合论。而集合论正就是数学的基础理论，所以在证明时，工具也会较少。
而这里又出现了新情况，就是左恩引理的出现。
佐恩引理在1922年首先被库拉托夫斯基所发现，1935年佐恩亦独立地发现此结论。
表述是在任何一非空的偏序集中，若任何链（即全序的子集）都有上界，则此偏序集内必然存在（至少一枚）极大元。
佐恩引理，良序定理和选择公理彼此等价，在集合论的公理基础上，上述三者中从任一出发均可推得另外两个。
喜欢数学心请大家收藏：（）数学心
都市重生：我在七日世界刷神宠 开局被渣，反手投资女帝无敌 尘封的仙路 一本杂录 好运撞末日 包青天断案传奇故事汇 大清话事人 开局成为峰主，打造万古不朽仙门 神奇宝贝：开局十连抽，获得梦幻 高冷学神之攻略手册 偏偏宠上你 剑神韩友平第一部 邪灵战神 造孽啊，曹贼竟是我自己 柯南！快看，你爸爸过来了！ 春过辽河滩 沉睡千年醒来，749局找上门 跨越阶层的恋爱 在明末奋斗 仙骨
传奇篮神
一个浑浑噩噩的少年，在阳台吹风不小心掉了下去，死过一次的他，决定开始改变，故事从这里开始，他就是林浩...
影后重生：厉先生撩妻成瘾
甜宠无虐＋日更＋萌宝＋智脑一个大佬和重生来的小媳妇甜蜜日常！一个娱乐小透明凭借智脑逆袭成超级影后的故事～...
武林店小二
江湖日报讯肯麦郎连锁客栈享誉大明各府，其总部却是京城一家名为来福的小客栈。来福客栈在江湖上大名鼎鼎，即便费用高昂，上到各派掌门下到江湖游侠，都挤破脑袋想去来福客栈吃顿饭。记者有幸请到武林盟主，揭开来福客栈的秘密！来福客栈日常一幕少林方丈，你怎么吃饭不给钱啊？偶弥陀佛，出家人身无分文，这顿饭可否算作化缘？不行！武当掌门没钱吃饭，还在后院洗碗呢！你若不给钱，就去洗茅房！来福客栈日常二幕丐帮长老，瞧你样子就没钱吃饭，你来客栈干啥？听闻来福客栈可以拿东西抵押，我这里有本上乘的秘...
玄学大佬只想当咸鱼
...
我和大圣是兄弟
王虎穿越了，而且悲催的成了五指山下的一只老虎。我去，这是要做猴哥虎皮裙的节奏？王虎表示不服。作为一只21世纪穿越来的新时代老虎，怎么着也要和猴哥拜把子，做兄弟啊！此时此刻齐天大圣孙悟空被压五行山马上就满五百年，再有十年，波澜壮阔，影响三界格局的西天取经之旅就要开始，看王虎如何在其中搅动三界风云，与猴哥一起再掀万...
极品捉妖系统
万众瞩目之下，楚浩扔出一柄剑这轩辕剑你拿好，以后别在我面前装逼。这天，这地，这沧海，这宇宙，谁都无法阻止我。ps看完了？新书搜索从诡秘复苏开始不当人推荐票刷起来，让我们再次征战。...