手机浏览器扫描二维码访问
第五百二十七章 佐恩引理集合论（第1页）
康托尔发现集合论后，提出集合论有互异性、确定性和无序性后，有的数学家耻笑康托尔集合无序性的原则。对康托尔说：“无序性会有什么作用？”
康托尔反驳：“我们把东西堆在一起，形成一个集合就行，不需要给他排序。”
克罗内克笑道：“你研究集合论是研究有理数和无理数个数时开始的，对数字不讲顺序，你着集合算什么数学？是个不知大小没有高低的东西？那证明里的归纳法如何用集合问题取解决？”
康托尔这时才深深的感觉到，良序定理是“思维的基本原理”。他对数学家们说：“所有集合都可以被良序排序。”
康托尔不仅仅要面对一般的数学归纳法，还要面对超限归纳法，数学归纳法时后继序数，而超限归纳法不是后继序数。
策梅洛提出了良序定理，其内容表述为对任何集合S，存在S上的二元关系R，使得是良序集。
良序定理是非常重要，因为它确保所有集合适用超限归纳法的强力技术。
后来为了证明良序定律，策梅洛提出了选择公理，表述为设C为一个由非空集合所组成的集合。那么，我们可以从每一个在C中的集合中，都选择一个元素和其所在的集合配成有序对来组成一个新的集合。
要证明选择公理，并非一件容易的事，其中一个原因是选择公理不单是一条简单的数学命题，而是牵涉较基层的数学──集合论。而集合论正就是数学的基础理论，所以在证明时，工具也会较少。
而这里又出现了新情况，就是左恩引理的出现。
佐恩引理在1922年首先被库拉托夫斯基所发现，1935年佐恩亦独立地发现此结论。
表述是在任何一非空的偏序集中，若任何链（即全序的子集）都有上界，则此偏序集内必然存在（至少一枚）极大元。
佐恩引理，良序定理和选择公理彼此等价，在集合论的公理基础上，上述三者中从任一出发均可推得另外两个。
喜欢数学心请大家收藏：（）数学心
我真没想在过去的年代当学霸 上流假象 枭鸢 新搬来的邻居 第三十年明月夜 迷津蝴蝶 杀了那个妖鬼 怪物崽崽和他的怪物监护人 穿到虫族和军雌相亲 小仓鼠今天有猫了吗 君为客 夸夸我的神探祖父穿越爹 撩惹疯批顶E，笨蛋少爷他逃了 我在死亡副本当管理员 末世后我成了疯批alpha们的安抚剂 攻略对象变成室友后，他不对劲 神魔剑玄录 还是修仙吧 兽世养山君[种田] 死神不来了
全世界都不知道我多强
当梁凡从地底爬出来之后，才发现不是变秃才能变强！我要控制我自己，要是不小心一拳打爆这个星球怎么办？安静的隐藏在世俗，全世界都不知道我有多强，虽然这个世界妖魔鬼怪很变态，但苟着享受才是我要的生活啊！要是有人偏偏不想让你过得舒服呢？那就给他一拳！...
上帝使用手册
想要钱？给你。想要美女？给你。想要去修真？满足你。想要重生？满足你。然后呢？当你的任何想法都被满足，之后呢？教你如何使用上帝，从此人生不用愁！哦，差点忘了，上帝总是在来世才满足你如果您喜欢上帝使用手册，别忘记分享给朋友...
将军夫人不下堂
关于将军夫人不下堂苏倾澜和顾霆是政治联姻，朝中皆知二人从相敬如宾，到苏倾澜对顾霆有了情谊。又到十年后他为了他心中的白月光，一剑刺进了她的胸膛。苏倾澜一朝重生，决心不重蹈覆辙。顾霆，上一世你负我伤我害我，这一世，我不会让你得逞。谁知那人却出现在了自家门口，痴缠不放。苏小姐，可否嫁与小生，已恋慕你许久。许久是多久？之前不过十年，往后可堪还有几十年。...
情撩男神：甜妻，你好！
暗恋那个男人多年，爱意却始终遭到无视，她在他订婚那天下药将他睡了之后一抹嘴，一脸满足的消失了。五年后，她带着两个小家伙日子过得逍遥自在，不幸与那个睚眦必报的男人重逢，从此过上了猫捉耗子般的悲剧人...
榜一徒弟惹不起
秦禾苗因腿伤无法出门，于是在游戏里做NPC打发时间，只是她没想到，游戏玩了，老公也找到了，只是不知是赔了还是赚了。如果您喜欢榜一徒弟惹不起，别忘记分享给朋友...
穿书后赖上反派大佬
（甜宠，无虐）穿书后，赖雨果开始疯狂追求大反派墨邵庭！赖雨果怼男主女主没办法，以前眼瞎，现在眼睛好了，自然得找更优秀的男人！我和墨邵霆是天造地设的一对！墨邵霆如果您喜欢穿书后赖上反派大佬，别忘记分享给朋友...