手机浏览器扫描二维码访问
第五百二十七章 佐恩引理集合论（第1页）
康托尔发现集合论后，提出集合论有互异性、确定性和无序性后，有的数学家耻笑康托尔集合无序性的原则。对康托尔说：“无序性会有什么作用？”
康托尔反驳：“我们把东西堆在一起，形成一个集合就行，不需要给他排序。”
克罗内克笑道：“你研究集合论是研究有理数和无理数个数时开始的，对数字不讲顺序，你着集合算什么数学？是个不知大小没有高低的东西？那证明里的归纳法如何用集合问题取解决？”
康托尔这时才深深的感觉到，良序定理是“思维的基本原理”。他对数学家们说：“所有集合都可以被良序排序。”
康托尔不仅仅要面对一般的数学归纳法，还要面对超限归纳法，数学归纳法时后继序数，而超限归纳法不是后继序数。
策梅洛提出了良序定理，其内容表述为对任何集合S，存在S上的二元关系R，使得是良序集。
良序定理是非常重要，因为它确保所有集合适用超限归纳法的强力技术。
后来为了证明良序定律，策梅洛提出了选择公理，表述为设C为一个由非空集合所组成的集合。那么，我们可以从每一个在C中的集合中，都选择一个元素和其所在的集合配成有序对来组成一个新的集合。
要证明选择公理，并非一件容易的事，其中一个原因是选择公理不单是一条简单的数学命题，而是牵涉较基层的数学──集合论。而集合论正就是数学的基础理论，所以在证明时，工具也会较少。
而这里又出现了新情况，就是左恩引理的出现。
佐恩引理在1922年首先被库拉托夫斯基所发现，1935年佐恩亦独立地发现此结论。
表述是在任何一非空的偏序集中，若任何链（即全序的子集）都有上界，则此偏序集内必然存在（至少一枚）极大元。
佐恩引理，良序定理和选择公理彼此等价，在集合论的公理基础上，上述三者中从任一出发均可推得另外两个。
喜欢数学心请大家收藏：（）数学心
怪物崽崽和他的怪物监护人 新搬来的邻居 枭鸢 上流假象 我在死亡副本当管理员 兽世养山君[种田] 我真没想在过去的年代当学霸 小仓鼠今天有猫了吗 穿到虫族和军雌相亲 还是修仙吧 迷津蝴蝶 末世后我成了疯批alpha们的安抚剂 夸夸我的神探祖父穿越爹 撩惹疯批顶E，笨蛋少爷他逃了 君为客 第三十年明月夜 死神不来了 杀了那个妖鬼 攻略对象变成室友后，他不对劲 神魔剑玄录
宿主
关于宿主以细胞形态寄生，选择宿主必须慎重。谁也没有想到文明会在战争中毁灭，我是蛮族，也是人类。...
去相亲吧，爸爸
本来杨小光是准备给四岁的女儿找个妈，却不知怎么就变成了女儿给自己找老婆。老爸，你今天的相亲对象是我同学杨小光脸色大变朵朵，你想让警察叔叔把爸爸抓起来吗？的妈妈。如果您喜欢去相亲吧，爸爸，别忘记分享给朋友...
重生之无冕之尊
李小白重生到了游戏生成的世界，被系统加身，从此开启了追寻自由和理想的不凡人生。重生于草莽之末，凭借强悍的系统迅速成长为门派争抢的香饽饽。加入太一，他要走一条不一样的道路，立下宏图大志，誓要打造出一个一流门派。邪魔四起，欲一统江湖成就千秋霸业。神兵出世，武林末日降临。他该如何在纷乱危亡的格局中坚守扞卫自己的理想，实现自己的初心。不自由毋宁死，我要我的自由，我有我的态度。生命诚可贵，爱情价更高。若为自由故，两者皆可抛。如果您喜欢重生之无冕之尊，别忘记分享给朋友...
绝世废柴狂妃
一夕穿越，首席特工竟成了丞相府的草包二小姐？毫无灵根，双腿残废，嫡姐欺辱，庶妹算计，好一个水生火热的环境！可她会怕么？明显不会！坐拥灵玉空间，手持俊美神兽，升级炼药信手拈来，看你一个不顺眼，就让你下十八层地狱！敢说她草包？那她就随便突破个武尊强者！敢说她残废？她分分钟一脚踹飞你！她嚣张行走江湖，自以为天下无敌，却不想突然来了个比她还逆天的俊美妖孽，死缠烂打，还说要吃了她解毒！喂喂喂，我是人，不是PO18脸红心跳（18wenwvip）提供绝世废柴狂妃最新章节全文免费阅读！。...
豪门禁锢：小宝贝，真甜
乖…自己坐上来…秦末看着车内的左南臣，往哪坐？传闻左南臣，暴殄嗜血，手段残暴，无情绝爱。秦末眼中的左南臣，床上饿狼，床下色狼。重生前，他对她强取豪夺，禁锢她，与世隔绝，霸占囚之。重生后，秦末哄臣大宝宝。左南臣，你让我出去玩好不好，末末给你吃。左南臣，你让我学习好不好，末末给你吃。左南臣，你给我宝宝好不好，末末给你吃。左南臣最喜欢在秦末小耳朵边，用那性感的磁性声低咛末末，叫给我听。如果您喜欢豪门禁锢小宝贝，真甜，别忘记分享给朋友...
华娱之梦
重生过去畅想未来梦幻现实，再塑传奇人生！如果您喜欢华娱之梦，别忘记分享给朋友...