手机浏览器扫描二维码访问
第五百二十七章 佐恩引理集合论（第1页）
康托尔发现集合论后，提出集合论有互异性、确定性和无序性后，有的数学家耻笑康托尔集合无序性的原则。对康托尔说：“无序性会有什么作用？”
康托尔反驳：“我们把东西堆在一起，形成一个集合就行，不需要给他排序。”
克罗内克笑道：“你研究集合论是研究有理数和无理数个数时开始的，对数字不讲顺序，你着集合算什么数学？是个不知大小没有高低的东西？那证明里的归纳法如何用集合问题取解决？”
康托尔这时才深深的感觉到，良序定理是“思维的基本原理”。他对数学家们说：“所有集合都可以被良序排序。”
康托尔不仅仅要面对一般的数学归纳法，还要面对超限归纳法，数学归纳法时后继序数，而超限归纳法不是后继序数。
策梅洛提出了良序定理，其内容表述为对任何集合S，存在S上的二元关系R，使得是良序集。
良序定理是非常重要，因为它确保所有集合适用超限归纳法的强力技术。
后来为了证明良序定律，策梅洛提出了选择公理，表述为设C为一个由非空集合所组成的集合。那么，我们可以从每一个在C中的集合中，都选择一个元素和其所在的集合配成有序对来组成一个新的集合。
要证明选择公理，并非一件容易的事，其中一个原因是选择公理不单是一条简单的数学命题，而是牵涉较基层的数学──集合论。而集合论正就是数学的基础理论，所以在证明时，工具也会较少。
而这里又出现了新情况，就是左恩引理的出现。
佐恩引理在1922年首先被库拉托夫斯基所发现，1935年佐恩亦独立地发现此结论。
表述是在任何一非空的偏序集中，若任何链（即全序的子集）都有上界，则此偏序集内必然存在（至少一枚）极大元。
佐恩引理，良序定理和选择公理彼此等价，在集合论的公理基础上，上述三者中从任一出发均可推得另外两个。
喜欢数学心请大家收藏：（）数学心
请勿开启浏览器阅读模式，否则将导致章节内容缺失及无法阅读下一章。
死神不来了 新搬来的邻居 上流假象 我在死亡副本当管理员 我真没想在过去的年代当学霸 杀了那个妖鬼 攻略对象变成室友后，他不对劲 兽世养山君[种田] 末世后我成了疯批alpha们的安抚剂 还是修仙吧 穿到虫族和军雌相亲 神魔剑玄录 君为客 第三十年明月夜 迷津蝴蝶 小仓鼠今天有猫了吗 夸夸我的神探祖父穿越爹 枭鸢 撩惹疯批顶E，笨蛋少爷他逃了 怪物崽崽和他的怪物监护人
权少的头号新欢
关于权少的头号新欢你养我，好不好？第一次求他，她正值人生最绝望之际，放低了尊严，含泪相求。第二次求他，她给他跪下了。求求你，放过我们的孩子。因为，他逼她堕胎。共处了那么久，床上的温情脉脉，...
超时空犯罪集团
如果给尤里新兵穿上钢铁侠的战甲。。。如果拿阿凡达改造狂暴兽人。。。如果用恐龙替换狗狗。。。如果把皇上拿复制人换掉。。。嘿嘿！！幸福的生活还会远么？？王铮得到了尤里主基地智脑回到了十年前，收集散落到各个位面的科技，并加以改进的冒险之路！！尤里的复仇再度来袭！！－－－－－－－－－－－－－－－－－－－－－－－－－－－－－...
重生之爆款制作人
酒吧驻唱歌手余生安穿越到了一个类似地球的平行世界，发现自己居然身处在前女友和最好哥们的婚礼上。在大家充满恶意的鼓动下，他上台唱了一首粤语歌明年今日。明年今日别要再失眠，床褥都改变，如果有幸会面，或在同伴新婚的盛宴，惶惑地等待你出现结果这段唱歌视频被传到某音，瞬间引爆网络，空降各大热搜榜，于是他顺势推出明年今日的国语版十年，然后他的人气爆炸了。如果您喜欢重生之爆款制作人，别忘记分享给朋友...
太上剑帝
盘古开天辟地，结束混沌时期，开辟新时代！远古时代，神魔大战，魔族落败，始祖共工怒而触不周之山，毁神族气运！太古时代，妖魔横行，欲取代人族，称霸无尽星空！太河一役，大帝殒命，人族气运衰败，驱之西北，偏执一隅！千年后，惊世少年怀禁忌之体出世，踩踏诸界天骄，横扫九天十地！如果您喜欢太上剑帝，别忘记分享给朋友...
高台王子别撩我
关于高台王子别撩我第一次相见，神志不清的宋熙熙衣衫不整地被他压倒在KTV的沙发上。她喊他色狼，北堂宸轩咬牙切齿你说我是色狼，我连最后一步都没做彻底，看来我得好好完成才担得起这个称号！险些霸占她的身体，幸好她急中生智。第二次相见，他是威风堂堂的贵族少爷，还要拐她做女仆给他暖床？呸，她有梦中情人好吧，摔了他的宝贝摩托就跑路。第三次相见，他泳池诱惑，好吧，他的身材是很好，但是她坐怀不乱。偏偏这大少爷要和她算总账，还...
游走在晚清的乱世理工男
作为一个科学修养很深的理工男，竟然穿越了，这太匪夷所思了！但是！遇事不决，量子力学！时乎，命乎来都来了，想我殚精竭虑多少年都不一定发一篇sincere如今岂不能直接开专栏！讲讲人类最波澜壮阔的科技史看看那个三千年未有之大变局聊聊一个本来快乐简单的理工男在风雨飘摇的时代中不凡的际遇如果您喜欢游走在晚清的乱世理工男，别忘记分享给朋友...