手机浏览器扫描二维码访问
第五百二十七章 佐恩引理集合论（第1页）
康托尔发现集合论后，提出集合论有互异性、确定性和无序性后，有的数学家耻笑康托尔集合无序性的原则。对康托尔说：“无序性会有什么作用？”
康托尔反驳：“我们把东西堆在一起，形成一个集合就行，不需要给他排序。”
克罗内克笑道：“你研究集合论是研究有理数和无理数个数时开始的，对数字不讲顺序，你着集合算什么数学？是个不知大小没有高低的东西？那证明里的归纳法如何用集合问题取解决？”
康托尔这时才深深的感觉到，良序定理是“思维的基本原理”。他对数学家们说：“所有集合都可以被良序排序。”
康托尔不仅仅要面对一般的数学归纳法，还要面对超限归纳法，数学归纳法时后继序数，而超限归纳法不是后继序数。
策梅洛提出了良序定理，其内容表述为对任何集合S，存在S上的二元关系R，使得是良序集。
良序定理是非常重要，因为它确保所有集合适用超限归纳法的强力技术。
后来为了证明良序定律，策梅洛提出了选择公理，表述为设C为一个由非空集合所组成的集合。那么，我们可以从每一个在C中的集合中，都选择一个元素和其所在的集合配成有序对来组成一个新的集合。
要证明选择公理，并非一件容易的事，其中一个原因是选择公理不单是一条简单的数学命题，而是牵涉较基层的数学──集合论。而集合论正就是数学的基础理论，所以在证明时，工具也会较少。
而这里又出现了新情况，就是左恩引理的出现。
佐恩引理在1922年首先被库拉托夫斯基所发现，1935年佐恩亦独立地发现此结论。
表述是在任何一非空的偏序集中，若任何链（即全序的子集）都有上界，则此偏序集内必然存在（至少一枚）极大元。
佐恩引理，良序定理和选择公理彼此等价，在集合论的公理基础上，上述三者中从任一出发均可推得另外两个。
喜欢数学心请大家收藏：（）数学心
怪物崽崽和他的怪物监护人 枭鸢 君为客 新搬来的邻居 夸夸我的神探祖父穿越爹 穿到虫族和军雌相亲 迷津蝴蝶 神魔剑玄录 我真没想在过去的年代当学霸 还是修仙吧 上流假象 兽世养山君[种田] 撩惹疯批顶E，笨蛋少爷他逃了 死神不来了 攻略对象变成室友后，他不对劲 末世后我成了疯批alpha们的安抚剂 第三十年明月夜 小仓鼠今天有猫了吗 我在死亡副本当管理员 杀了那个妖鬼
剑之魔法师
关于剑之魔法师这是一个很久前就写了不少的的故事，是一个少年的幻想吧，现在想把它写完，真正描绘出那个心中的理想世界，让自己不留遗憾，故事是古老的魔幻，可是竟然没这分类！...
颤抖吧，渣爹
青砖绿瓦，陌上花开香染衣朱门紫殿，素手摘星霓作裳。如果您喜欢颤抖吧，渣爹，别忘记分享给朋友...
穿书后，我成了大佬的硬核蛮妻
关于穿书后，我成了大佬的硬核蛮妻一场车祸，超级巨星林孟槐莫名穿进一本狗血小说，成了徒有其表的废柴花瓶？励志要逆转命运，手撕小三渣男，重启巅峰可这缠上来的男人是怎么回事？！方总要对我怎么负责...
傲剑凌云
这是个以剑为主的世界。 凌逍本为蜀山内门弟子，在观摩师门前辈渡劫的时候被天劫带到异界，重生于将门子弟身上。 掌握着无数这个世界奉为神级的剑技，还有这个...
拐个状元来种田
关于拐个状元来种田一朝穿越，现代白领唐可可穿到了无父无母的孤儿身上。住山洞，挖野菜，吃了上顿没下顿。唐可可挽起袖子，带领四兄妹一边斗极品虐渣渣，一边发家致富两不耽误。买房子，上私塾，一家人齐心...
周先生的险情
不过一份150块钱的意外险，周先生的险情是不是有点多？钱小姐，我被狗咬了，请拿过来取报销发票。钱楚小姐，我被鹅啄了，麻烦你来拿报销发票。楚楚，我脚被锤子砸了，来拿下报销发票。钱楚周先生，恕我直言，您这样的追求方式我不接受。周先生那我把报销发票给你送过去。钱楚特别说明大渣爷三观离家出走，胖妞妞们请知悉。爷的文爷做主，不喜欢的小盆友统统点叉退散，不必特意留言告之，新人新文，请多包涵╭╯3╰╮...