手机浏览器扫描二维码访问
第五百二十七章 佐恩引理集合论（第1页）
康托尔发现集合论后，提出集合论有互异性、确定性和无序性后，有的数学家耻笑康托尔集合无序性的原则。对康托尔说：“无序性会有什么作用？”
康托尔反驳：“我们把东西堆在一起，形成一个集合就行，不需要给他排序。”
克罗内克笑道：“你研究集合论是研究有理数和无理数个数时开始的，对数字不讲顺序，你着集合算什么数学？是个不知大小没有高低的东西？那证明里的归纳法如何用集合问题取解决？”
康托尔这时才深深的感觉到，良序定理是“思维的基本原理”。他对数学家们说：“所有集合都可以被良序排序。”
康托尔不仅仅要面对一般的数学归纳法，还要面对超限归纳法，数学归纳法时后继序数，而超限归纳法不是后继序数。
策梅洛提出了良序定理，其内容表述为对任何集合S，存在S上的二元关系R，使得是良序集。
良序定理是非常重要，因为它确保所有集合适用超限归纳法的强力技术。
后来为了证明良序定律，策梅洛提出了选择公理，表述为设C为一个由非空集合所组成的集合。那么，我们可以从每一个在C中的集合中，都选择一个元素和其所在的集合配成有序对来组成一个新的集合。
要证明选择公理，并非一件容易的事，其中一个原因是选择公理不单是一条简单的数学命题，而是牵涉较基层的数学──集合论。而集合论正就是数学的基础理论，所以在证明时，工具也会较少。
而这里又出现了新情况，就是左恩引理的出现。
佐恩引理在1922年首先被库拉托夫斯基所发现，1935年佐恩亦独立地发现此结论。
表述是在任何一非空的偏序集中，若任何链（即全序的子集）都有上界，则此偏序集内必然存在（至少一枚）极大元。
佐恩引理，良序定理和选择公理彼此等价，在集合论的公理基础上，上述三者中从任一出发均可推得另外两个。
喜欢数学心请大家收藏：（）数学心
我在死亡副本当管理员 穿到虫族和军雌相亲 还是修仙吧 上流假象 攻略对象变成室友后，他不对劲 夸夸我的神探祖父穿越爹 我真没想在过去的年代当学霸 怪物崽崽和他的怪物监护人 新搬来的邻居 杀了那个妖鬼 撩惹疯批顶E，笨蛋少爷他逃了 兽世养山君[种田] 枭鸢 末世后我成了疯批alpha们的安抚剂 迷津蝴蝶 死神不来了 君为客 神魔剑玄录 小仓鼠今天有猫了吗 第三十年明月夜
农女逆袭：携手王爷来致富
关于农女逆袭携手王爷来致富宋伊人奋斗了半辈子拥有了想要的生活，却突发心脏病离开人世。再次醒来，她变成不知哪个朝代同名同姓的贫穷农家女。亲爹下落不明，亲妈懦弱可欺，还有一个病娇小弟。更悲催的是...
阴夫凶猛
公车上被占便宜之后，竟然多了一个鬼老公。…点击星星收藏，不要逃↑↑↑↑↑↑↑↑［求收藏，求推荐，求钻石，求打赏，摸爬打滚的求］［不要因为书名或者简介不喜欢就急着离开，点开看一下嘛，又不会少块肉！］微博正常的神经病本尊httpweibocom3169540944p...
快穿王者：男神，跪下唱征服
在这个农药纷飞的年代，颜小沫已经跌倒在这个坑里爬不上来了。一朝进入农药系统，各种帅哥任你撩。系统颜小沫，你喜欢哪款帅哥？颜小沫当然是吓猴蹲啦！系统（惊吓）为何？颜小沫此人有肌肉，还会脱衣服，更重要的是还眼瞎。农药众男神不服了，纷纷在峡谷草丛脱了衣服。颜小沫李白哥哥，赵云哥哥，韩信哥哥你们要干啥？（ps根据王者荣耀故事改编，如有雷同，算我借鉴的。）...
三国开局就送大礼包
叮，抽奖系统绑定成功，您有大礼包一份。打开。关平激动道。叮，恭喜宿主获得霸王之勇，李广神射，空间农场一座。...
傲气凌神
苍玄庭，自小便是家族的废物，然而一场意外的遭遇彻底改变了他的命运！撕天神决，尊者之心，九层空间！为他打开了一扇成为强者的大门。从一个任人宰割的蝼蚁，到整个三千世界的最巅峰！且看苍玄庭如何一步登天，傲气凌神！...
湾区之王
中国人，在这圈子里绝对不可能取得成功！你柔弱得就好像小鹿斑比，根本无法形成对抗！你有头脑有智慧，但缺乏天赋。陆恪但，我有系统。手持系统，我要站上巅峰舞台，建立属于我的王朝！如果您喜欢湾区之王，别忘记分享给朋友...