手机浏览器扫描二维码访问
第五百二十七章 佐恩引理集合论（第1页）
康托尔发现集合论后，提出集合论有互异性、确定性和无序性后，有的数学家耻笑康托尔集合无序性的原则。对康托尔说：“无序性会有什么作用？”
康托尔反驳：“我们把东西堆在一起，形成一个集合就行，不需要给他排序。”
克罗内克笑道：“你研究集合论是研究有理数和无理数个数时开始的，对数字不讲顺序，你着集合算什么数学？是个不知大小没有高低的东西？那证明里的归纳法如何用集合问题取解决？”
康托尔这时才深深的感觉到，良序定理是“思维的基本原理”。他对数学家们说：“所有集合都可以被良序排序。”
康托尔不仅仅要面对一般的数学归纳法，还要面对超限归纳法，数学归纳法时后继序数，而超限归纳法不是后继序数。
策梅洛提出了良序定理，其内容表述为对任何集合S，存在S上的二元关系R，使得是良序集。
良序定理是非常重要，因为它确保所有集合适用超限归纳法的强力技术。
后来为了证明良序定律，策梅洛提出了选择公理，表述为设C为一个由非空集合所组成的集合。那么，我们可以从每一个在C中的集合中，都选择一个元素和其所在的集合配成有序对来组成一个新的集合。
要证明选择公理，并非一件容易的事，其中一个原因是选择公理不单是一条简单的数学命题，而是牵涉较基层的数学──集合论。而集合论正就是数学的基础理论，所以在证明时，工具也会较少。
而这里又出现了新情况，就是左恩引理的出现。
佐恩引理在1922年首先被库拉托夫斯基所发现，1935年佐恩亦独立地发现此结论。
表述是在任何一非空的偏序集中，若任何链（即全序的子集）都有上界，则此偏序集内必然存在（至少一枚）极大元。
佐恩引理，良序定理和选择公理彼此等价，在集合论的公理基础上，上述三者中从任一出发均可推得另外两个。
喜欢数学心请大家收藏：（）数学心
小仓鼠今天有猫了吗 兽世养山君[种田] 枭鸢 第三十年明月夜 怪物崽崽和他的怪物监护人 我在死亡副本当管理员 上流假象 新搬来的邻居 还是修仙吧 君为客 末世后我成了疯批alpha们的安抚剂 迷津蝴蝶 穿到虫族和军雌相亲 我真没想在过去的年代当学霸 撩惹疯批顶E，笨蛋少爷他逃了 夸夸我的神探祖父穿越爹 神魔剑玄录 死神不来了 杀了那个妖鬼 攻略对象变成室友后，他不对劲
女帝逼婚敌国皇叔
一生守护。她是二十一世纪的强悍灵魂，是让人闻风丧胆的佣兵女魔头，是最年轻的指挥官，是神是魔，亦正亦邪。许是前世活得太肆意妄为，所以老天罚她穿到了花名在外的西华国六公主身上，为了一个男人远嫁东昌。大婚前清白被毁，大婚当日被夫君羞辱与画像拜堂，被嬷嬷逼着验身。面对欺负，邪魅一笑，利剑劈画像，掌掴严嬷嬷，不惧恶名。他是手段铁血，杀伐果决的战神皇叔，征战四方，威名赫赫，受世人敬仰。初见没想到东昌国的战神皇叔是这般仙姿绝色，早知我便嫁你了，本宫还未踏进这端王府的门，是否可以反悔？公主应唤我一声皇叔。若我不愿呢？世人嫌她，厌她，笑她，只有他对她宠爱有加，信任始终。他是她的光和救赎，也是她心中小心翼翼的挚爱。各国风起云涌，权谋算计，既然世人容不下她，她便颠覆了这天下。她率百万大军兵临城下，只为逼婚云薄瑾，你可愿娶我？天下纷乱复杂，因他，她改变了主意。陪他热血征战，拨乱反正，只为百姓士民，安堵乐业。农不易亩，市不回肆。但愿人长久，千里共同途。如果您喜欢女帝逼婚敌国皇叔，别忘记分享给朋友...
拒爱总裁
一夜激情，醒后他说得第一个字就是滚。谁知再次见面，无耻的男人却霸王硬上弓，要她成为他的私人暖炉。他是不言苟笑的商业帝王，禁欲冷情，无人能引得他动容分毫。她被他宠上天，成为人人艳羡的贺家少夫人，可当他的前女友出现的那一刻，她被贬得一文不值。当她自愿离场时，霸道的男人却钳住她的手，没有我的允许，谁敢放你走？...
山村里的世界怪物
注本书不属于快节奏的爽文类型，是属于尽可能在轻松欢乐的剧情中，以种田经营类类形式，展现出一个被主角影响后的世界。在山村里，叶虫鸣过着悠闲快乐的生活。暗地里，他用着怪物之身在外面四处搅风搅雨。因为他，万千男儿为了捕捉‘触手怪’，而在大海上拼搏奋斗。因为他，无数冒险者以及女权斗士们，进入了被凶残怪物掌控的神奇国度。叶虫鸣每次的计划，都会明确其发展方向。但是局势的变化总会出现意外，最终演变成了荒诞的剧情作品风格轻松搞笑，适于吐槽。如果您喜欢山村里的世界怪物，别忘记分享给朋友...
我用阴阳师颠覆火影
早死再不斩为何逃过一劫？五秒卡卡西为何不再缺蓝？平凡普通人频频变强，又是何人所为？阴阳界妖怪屡现忍界，背后究竟是谁？这一切的一切，是忍者的进步还是阴阳师的崛起？我是源右止，带着阴阳师系统，颠覆了整个忍界。如果您喜欢我用阴阳师颠覆火影，别忘记分享给朋友...
火影之第二人格
穿越到火影忍者世界，龙夜居然发现自己成为了金手指老爷爷一般的存在！对象还是宇智波二柱子！为了获得真正的解脱，龙夜决心化身宇智波夜，在研究解脱方法的同时，顺便教导（调教）一下二柱子～～～（欢迎加入火影之第二人格书友群，群聊号码590421274）如果您喜欢火影之第二人格，别忘记分享给朋友...
漫漫仙路奇葩多
寻仙音，得长生，悟天道，秀云之巅，霞光满天闯龙宫，下幽冥，登神界，排空巨浪，魑魅魍魉。到目前为止画风还很正常，然而林小哥儿拿着写作番天印读作板砖的法宝默然无语观师傅，这跟说好的不一样啊（摔！本人已完本430万的前作，搭配食用效果更加。节操保证。真的，有节操，з」∠书友群601457410如果您喜欢漫漫仙路奇葩多，别忘记分享给朋友...