手机浏览器扫描二维码访问
第五百二十七章 佐恩引理集合论（第1页）
康托尔发现集合论后，提出集合论有互异性、确定性和无序性后，有的数学家耻笑康托尔集合无序性的原则。对康托尔说：“无序性会有什么作用？”
康托尔反驳：“我们把东西堆在一起，形成一个集合就行，不需要给他排序。”
克罗内克笑道：“你研究集合论是研究有理数和无理数个数时开始的，对数字不讲顺序，你着集合算什么数学？是个不知大小没有高低的东西？那证明里的归纳法如何用集合问题取解决？”
康托尔这时才深深的感觉到，良序定理是“思维的基本原理”。他对数学家们说：“所有集合都可以被良序排序。”
康托尔不仅仅要面对一般的数学归纳法，还要面对超限归纳法，数学归纳法时后继序数，而超限归纳法不是后继序数。
策梅洛提出了良序定理，其内容表述为对任何集合S，存在S上的二元关系R，使得是良序集。
良序定理是非常重要，因为它确保所有集合适用超限归纳法的强力技术。
后来为了证明良序定律，策梅洛提出了选择公理，表述为设C为一个由非空集合所组成的集合。那么，我们可以从每一个在C中的集合中，都选择一个元素和其所在的集合配成有序对来组成一个新的集合。
要证明选择公理，并非一件容易的事，其中一个原因是选择公理不单是一条简单的数学命题，而是牵涉较基层的数学──集合论。而集合论正就是数学的基础理论，所以在证明时，工具也会较少。
而这里又出现了新情况，就是左恩引理的出现。
佐恩引理在1922年首先被库拉托夫斯基所发现，1935年佐恩亦独立地发现此结论。
表述是在任何一非空的偏序集中，若任何链（即全序的子集）都有上界，则此偏序集内必然存在（至少一枚）极大元。
佐恩引理，良序定理和选择公理彼此等价，在集合论的公理基础上，上述三者中从任一出发均可推得另外两个。
喜欢数学心请大家收藏：（）数学心
神魔剑玄录 夸夸我的神探祖父穿越爹 死神不来了 我在死亡副本当管理员 新搬来的邻居 第三十年明月夜 兽世养山君[种田] 枭鸢 攻略对象变成室友后，他不对劲 撩惹疯批顶E，笨蛋少爷他逃了 君为客 末世后我成了疯批alpha们的安抚剂 小仓鼠今天有猫了吗 上流假象 还是修仙吧 迷津蝴蝶 我真没想在过去的年代当学霸 怪物崽崽和他的怪物监护人 杀了那个妖鬼 穿到虫族和军雌相亲
重生学霸：校草，放肆宠
关于重生学霸校草，放肆宠（墙裂推荐‘醉华华’的甜妻报到老公，宠上瘾）重生女神学霸√爽文√甜宠√鲜血淋漓，闺蜜和弟弟怂恿她自残说是为了她好，心上人玩弄她说是为了让她快乐，父亲将录取通知书上她的名字换成弟弟的名字，美其名曰女子无才便是德。被亲近之人推入崖底，不料竟是他来替她收尸。带着满腔恨意重活一世，她虐渣弟斗白莲花揍渣男以其人之道还治其人之身，将所有即将降临在她身上的噩运悉数掐死在萌芽里。不再唯唯诺诺，...
救驾有功，驭驾有方
本以为不过是一场普通穿越，却自带任务本以为不过是一段逆袭之路，却重生后自带空间，又附赠灵宠一枚左手北朝睿智摄政王，右手南朝风流闲散王，救驾有功，都要以身相许啊嘞，玩的什么梗，还要打怪升级拯救时空～每日九点准时更新如果您喜欢救驾有功，驭驾有方，别忘记分享给朋友...
一吻成瘾：帝少独宠娇妻
关于一吻成瘾帝少独宠娇妻结婚三年，老公从不碰她，对初恋情人念念不忘。直到他的初恋情人出现，她主动提出离婚。他却不乐意了，死缠烂打。...
等你，在满天星光下
关于等你，在满天星光下［本文双处双洁一对一］世事无常，变数太多。征服一个男人，不如热爱一份工作。做他人的朱砂痣或者白月光，不如做自己的女王。...
美女老板的贴身神医
林家乃当代第一的医门世家，九幽摄魂针不出则以，一出惊鬼神。林风被老爷子赶出来入世历练，不想因为一顿霸王餐和美女老板结缘，成为了她身边的贴身神医。从此，驰骋花都，震撼华夏，给美女治病，替美女解忧，我自逍遥我自在，美女都到碗里来。...
无敌大佬要出世
路一平是个上古修士，亲眼见证了诸神大战中，无数强大的神灵殒落的情景。自此之后，他便躲在深山老林，日夜修炼，发誓没有强大到对抗天地大劫的实力时，便不出来。一个时代又一个时代过去了。他身边的一头小蛇，成为了龙族之祖。他收养过的一个小女孩，成了无敌女帝。他指点过的一个剑客，成了名响万古的剑神。他随意种下的一棵老树，成了史...