手机浏览器扫描二维码访问
第五百二十七章 佐恩引理集合论（第1页）
康托尔发现集合论后，提出集合论有互异性、确定性和无序性后，有的数学家耻笑康托尔集合无序性的原则。对康托尔说：“无序性会有什么作用？”
康托尔反驳：“我们把东西堆在一起，形成一个集合就行，不需要给他排序。”
克罗内克笑道：“你研究集合论是研究有理数和无理数个数时开始的，对数字不讲顺序，你着集合算什么数学？是个不知大小没有高低的东西？那证明里的归纳法如何用集合问题取解决？”
康托尔这时才深深的感觉到，良序定理是“思维的基本原理”。他对数学家们说：“所有集合都可以被良序排序。”
康托尔不仅仅要面对一般的数学归纳法，还要面对超限归纳法，数学归纳法时后继序数，而超限归纳法不是后继序数。
策梅洛提出了良序定理，其内容表述为对任何集合S，存在S上的二元关系R，使得是良序集。
良序定理是非常重要，因为它确保所有集合适用超限归纳法的强力技术。
后来为了证明良序定律，策梅洛提出了选择公理，表述为设C为一个由非空集合所组成的集合。那么，我们可以从每一个在C中的集合中，都选择一个元素和其所在的集合配成有序对来组成一个新的集合。
要证明选择公理，并非一件容易的事，其中一个原因是选择公理不单是一条简单的数学命题，而是牵涉较基层的数学──集合论。而集合论正就是数学的基础理论，所以在证明时，工具也会较少。
而这里又出现了新情况，就是左恩引理的出现。
佐恩引理在1922年首先被库拉托夫斯基所发现，1935年佐恩亦独立地发现此结论。
表述是在任何一非空的偏序集中，若任何链（即全序的子集）都有上界，则此偏序集内必然存在（至少一枚）极大元。
佐恩引理，良序定理和选择公理彼此等价，在集合论的公理基础上，上述三者中从任一出发均可推得另外两个。
喜欢数学心请大家收藏：（）数学心
上流假象 怪物崽崽和他的怪物监护人 新搬来的邻居 神魔剑玄录 小仓鼠今天有猫了吗 我真没想在过去的年代当学霸 第三十年明月夜 攻略对象变成室友后，他不对劲 我在死亡副本当管理员 兽世养山君[种田] 还是修仙吧 穿到虫族和军雌相亲 枭鸢 撩惹疯批顶E，笨蛋少爷他逃了 末世后我成了疯批alpha们的安抚剂 夸夸我的神探祖父穿越爹 死神不来了 杀了那个妖鬼 君为客 迷津蝴蝶
本宫有点烦
青砖绿瓦，陌上花开香染衣朱门紫殿，素手摘星霓作裳。如果您喜欢本宫有点烦，别忘记分享给朋友...
聊斋炼丹师
世界很大，妖精很多。妖精盯上我的肉，我却盯上它们的妖丹。世界很大，修行很难。有人修行一生，不过入门。而我却在嗑药。世界很大，我愿丈量。带着一个炼丹炉穿越到了一个有妖精的古代，开局就要治疗自己的绝症。我张巍，除了奋斗，别无选择。如果您喜欢聊斋炼丹师，别忘记分享给朋友...
仙界修仙
一个修仙菜鸟在仙界的奋斗史 一个未经历天劫的普通人飞升了仙界。他的成长让仙界各大势力为之侧目，恐慌不安，他收恐怖而又强大的仙兽为宠物，面对着种种阴谋诡...
让你代管火凤凰，全成女兵王了？
林锋穿越到特种兵世界，成了水木大学高材生，还有个当特战中队长的小姨龍小云？刚被小姨龍小云安排完美人生，却偷偷参加了狼牙特种兵的选拔。成绩合格，竟然被龍队宣布是作弊，林锋顿时不乐意了绑定超强兵王系统的林锋开始以自己的实力在龍姨面前证明自己。什么，范天坑来挖人？龍小云抱歉，他是作弊的成绩什么，雷战给林锋下马威？龍小云雷战，看来你是要和我比划比划了什么，我只是让大侄子林锋在部队里面吃几天苦知难而退，你却告诉我他当特战队长，成了兵王？如果您喜欢让你代管火凤凰，全成女兵王了？，别忘记分享给朋友...
你好，偏执老公！
［全文完］她上节目，当众被要求和修车工男友视频是什么让你选择了一个修车工，毁了婚约？她玩味的笑道大概是他生的好看吧。女星群嘲，当众人看见视频里男人时，傻眼了s市第一财阀集团的继承人，叱咤风云的太子爷竟然就是她的修车工！？传闻他清心寡欲，低调薄凉，又有传闻他身有隐疾，体弱多病。她他的确是有病，一日不见就得相思病。面对他人横刀夺爱，他淡漠讽刺被狮子保护过的女人，不会再爱上野狗！时光如初，爱你入骨！［美艳毒辣女主vs清冷腹黑病娇男主，爆爽宠文］九哥新书与狼共眠火热刺激连载中！...
汉墙
那一年，刘备还是个忧国忧民的个体户那一年，曹操还是个忠心为汉的有志青年那一年，刘福来了然后一切就都变了...