手机浏览器扫描二维码访问
第五百二十七章 佐恩引理集合论（第1页）
康托尔发现集合论后，提出集合论有互异性、确定性和无序性后，有的数学家耻笑康托尔集合无序性的原则。对康托尔说：“无序性会有什么作用？”
康托尔反驳：“我们把东西堆在一起，形成一个集合就行，不需要给他排序。”
克罗内克笑道：“你研究集合论是研究有理数和无理数个数时开始的，对数字不讲顺序，你着集合算什么数学？是个不知大小没有高低的东西？那证明里的归纳法如何用集合问题取解决？”
康托尔这时才深深的感觉到，良序定理是“思维的基本原理”。他对数学家们说：“所有集合都可以被良序排序。”
康托尔不仅仅要面对一般的数学归纳法，还要面对超限归纳法，数学归纳法时后继序数，而超限归纳法不是后继序数。
策梅洛提出了良序定理，其内容表述为对任何集合S，存在S上的二元关系R，使得是良序集。
良序定理是非常重要，因为它确保所有集合适用超限归纳法的强力技术。
后来为了证明良序定律，策梅洛提出了选择公理，表述为设C为一个由非空集合所组成的集合。那么，我们可以从每一个在C中的集合中，都选择一个元素和其所在的集合配成有序对来组成一个新的集合。
要证明选择公理，并非一件容易的事，其中一个原因是选择公理不单是一条简单的数学命题，而是牵涉较基层的数学──集合论。而集合论正就是数学的基础理论，所以在证明时，工具也会较少。
而这里又出现了新情况，就是左恩引理的出现。
佐恩引理在1922年首先被库拉托夫斯基所发现，1935年佐恩亦独立地发现此结论。
表述是在任何一非空的偏序集中，若任何链（即全序的子集）都有上界，则此偏序集内必然存在（至少一枚）极大元。
佐恩引理，良序定理和选择公理彼此等价，在集合论的公理基础上，上述三者中从任一出发均可推得另外两个。
喜欢数学心请大家收藏：（）数学心
肥妃有福，双面王爷倾世妃 当绿茶反派男配想上位 我把皇子养歪了 我当过的炮灰都成了宠文男主[快穿] 快穿之大佬总是在撩我 [综影视同人] 炮灰终结者 [咒回同人] 全员术师 鬼灭RPG为美好的世界献上帝君 [HP同人] 隐藏在霍格沃茨当教授 忠犬影卫饲养法则 成就华流天王，从历经生死战开始 我说今夜无神，于是众神陨落 盛宠拽后：本宫就爱戏诸王 重生后她燃炸了 本座的猫儿师尊 白夜（重生） [穿书]男主他想弄死我+番外 宗门全是美强惨，小师妹是真疯批 告白未果，我决定做回低调逆袭者 BOSS伪装白莲花女主杀疯了
花都隐龙
龙踞都市，管它风雨雷电，水深海浅，我自遨游九霄，脚踏八方！...
我在虐文里暴富
金寸心穿越到虐文里，成了王府的心机通房丫鬟，刚穿过来就被赶走，身无分文还要照顾不足三岁的软团子。家里的人都是奇葩，身边的渣渣绿茶层出不穷，大家都等着看她笑话。但是，金寸心穿越自带空间，谁都靠不住，还是自己撸着袖子摆摊赚钱，养活女儿，买地买房，置办行头，在虐文里暴富了。可是，小日子刚刚过得舒坦了点，暴虐王爷追过来了，什么？就连身世也大有乾坤。...
最强长生赘婿
苏铭长生亿万年，身边的人相继离去，直到千年前，苏铭最爱的女人寿元耗尽，转世重生后，苏铭彻底疯狂了。苏铭耗费千年时光，痴傻三年，成为赘婿，只为追寻千年前的爱人。...
诱妻入怀：前夫，请温柔楚洛寒
王牌内科医生楚洛寒，结婚已有三年。却无人知道，她的丈夫就是江都第一豪门龙家大少人人闻风丧胆的枭爷。守了三年活寡，眼睁睁看着他和第三者的恩爱照片横扫荧屏，她笑了，龙枭，咱们离婚。曾经，他连正眼都不屑看她，但，呵！离婚？女人，你当我龙枭是什么？她刷刷签字，扔出婚戒，唔？一个被我使用过的工具罢了！很好！女人，你狂，看老子怎么把你抓回来！...
仙府之缘
叶晨是武国书院的一个小人物，在书阁内无意间得到一副仙府古画卷轴，从此踏上修仙之路。绿色小说网网首发。腾讯微博百里玺lanacb发布最新更新消息。...
地球前线
别紧张，如果我给你一个拯救世界的机会，你会答应吗？不答应。拯救世界这么危险，让专业的去干就好了。如果给你一身超能力，你干不干？考虑，考虑。...