手机浏览器扫描二维码访问
第五百二十七章 佐恩引理集合论（第1页）
康托尔发现集合论后，提出集合论有互异性、确定性和无序性后，有的数学家耻笑康托尔集合无序性的原则。对康托尔说：“无序性会有什么作用？”
康托尔反驳：“我们把东西堆在一起，形成一个集合就行，不需要给他排序。”
克罗内克笑道：“你研究集合论是研究有理数和无理数个数时开始的，对数字不讲顺序，你着集合算什么数学？是个不知大小没有高低的东西？那证明里的归纳法如何用集合问题取解决？”
康托尔这时才深深的感觉到，良序定理是“思维的基本原理”。他对数学家们说：“所有集合都可以被良序排序。”
康托尔不仅仅要面对一般的数学归纳法，还要面对超限归纳法，数学归纳法时后继序数，而超限归纳法不是后继序数。
策梅洛提出了良序定理，其内容表述为对任何集合S，存在S上的二元关系R，使得是良序集。
良序定理是非常重要，因为它确保所有集合适用超限归纳法的强力技术。
后来为了证明良序定律，策梅洛提出了选择公理，表述为设C为一个由非空集合所组成的集合。那么，我们可以从每一个在C中的集合中，都选择一个元素和其所在的集合配成有序对来组成一个新的集合。
要证明选择公理，并非一件容易的事，其中一个原因是选择公理不单是一条简单的数学命题，而是牵涉较基层的数学──集合论。而集合论正就是数学的基础理论，所以在证明时，工具也会较少。
而这里又出现了新情况，就是左恩引理的出现。
佐恩引理在1922年首先被库拉托夫斯基所发现，1935年佐恩亦独立地发现此结论。
表述是在任何一非空的偏序集中，若任何链（即全序的子集）都有上界，则此偏序集内必然存在（至少一枚）极大元。
佐恩引理，良序定理和选择公理彼此等价，在集合论的公理基础上，上述三者中从任一出发均可推得另外两个。
喜欢数学心请大家收藏：（）数学心
穿到虫族和军雌相亲 我在死亡副本当管理员 攻略对象变成室友后，他不对劲 死神不来了 神魔剑玄录 迷津蝴蝶 君为客 新搬来的邻居 撩惹疯批顶E，笨蛋少爷他逃了 小仓鼠今天有猫了吗 第三十年明月夜 怪物崽崽和他的怪物监护人 兽世养山君[种田] 杀了那个妖鬼 枭鸢 末世后我成了疯批alpha们的安抚剂 还是修仙吧 上流假象 我真没想在过去的年代当学霸 夸夸我的神探祖父穿越爹
鬼医毒妃倾天下
她，以医毒闻名的一代特工，一朝穿越成为不受宠的将军府嫡女，继母视她为眼中钉，父亲以她为不耻时刻想要她命，在这弱肉强食的世界，她势必要站在顶峰，扫除一切障碍，保她所爱之人，护她想护之人。他，神秘莫测，嗜血无情，世人皆知他杀伐果断，所到之处，寸草不生，却唯独宠她如命。一天某男媚眼如丝，夫人，夜已深，相公已暖好床，就寝吧！某女表情崩裂，邪恶一笑，刚研制的糖豆，正好缺只小白鼠。如果您喜欢鬼医毒妃倾天下，别忘记分享给朋友...
我家娘子太娇柔
一句话简介1v1轻松小甜饼，可沙雕。片段朕觉得她有句话没说错。什么？你是个狐狸精。曲流晚！！！你知道了！会勾人的那种。萧亦乔凑近曲流晚的耳朵，压低了的嗓音该死的勾人PS曲流晚穿越后成了一只狐狸，还是一只成了精的被便宜老爹扔出去报恩，并在无意间绑定了一个坑货系统。曲流晚表示既然是只...
史上最强归来
岁月长河扁舟尽头来，前世夙愿，今朝弥补，天境神君岂是终点求一世问道，终会如何？登巅？或是夭折于半路？莽莽诸天，谁又能分魂布局？长生不死？是漫漫长路追求的极限吗？武练巅峰，仙境问鼎，在山峰巅峰之上，漫天星辰，心是否如初？冲过无尽的海洋，嗅着海腥之味，道路是否改变了方向？在晨曦的照耀下，是会印衬出最初的模样，还是此时杀戮的模样？如果您喜欢史上最强归来，别忘记分享给朋友...
完美执教
重生过去畅想未来梦幻现实，再塑传奇人生！如果您喜欢完美执教，别忘记分享给朋友...
神医小农女
关于神医小农女有没有搞错？睁开眼就被悔婚，一只大公鸡当场摔死，她招谁惹谁了？望门妨，不嫁还不够，羞辱到一家集体自杀？好吧，救命这种事情不在话下，看着醒来的便宜爹，大肚子的娘。温若兰给便宜娘诊脉...
腹黑娇妻怀里来
和总裁一夜欢愉后的正确打开方式。她跑，他追。她遇到前男友纠缠，他搂着她的腰一脸好奇的问道身为现男友，我怎么不知道你有个前男友？尚浅默，众人默。前男友和同父异母的妹妹的订婚宴上，她大礼相送，引得如果您喜欢腹黑娇妻怀里来，别忘记分享给朋友...