手机浏览器扫描二维码访问
第五百二十七章 佐恩引理集合论（第1页）
康托尔发现集合论后，提出集合论有互异性、确定性和无序性后，有的数学家耻笑康托尔集合无序性的原则。对康托尔说：“无序性会有什么作用？”
康托尔反驳：“我们把东西堆在一起，形成一个集合就行，不需要给他排序。”
克罗内克笑道：“你研究集合论是研究有理数和无理数个数时开始的，对数字不讲顺序，你着集合算什么数学？是个不知大小没有高低的东西？那证明里的归纳法如何用集合问题取解决？”
康托尔这时才深深的感觉到，良序定理是“思维的基本原理”。他对数学家们说：“所有集合都可以被良序排序。”
康托尔不仅仅要面对一般的数学归纳法，还要面对超限归纳法，数学归纳法时后继序数，而超限归纳法不是后继序数。
策梅洛提出了良序定理，其内容表述为对任何集合S，存在S上的二元关系R，使得是良序集。
良序定理是非常重要，因为它确保所有集合适用超限归纳法的强力技术。
后来为了证明良序定律，策梅洛提出了选择公理，表述为设C为一个由非空集合所组成的集合。那么，我们可以从每一个在C中的集合中，都选择一个元素和其所在的集合配成有序对来组成一个新的集合。
要证明选择公理，并非一件容易的事，其中一个原因是选择公理不单是一条简单的数学命题，而是牵涉较基层的数学──集合论。而集合论正就是数学的基础理论，所以在证明时，工具也会较少。
而这里又出现了新情况，就是左恩引理的出现。
佐恩引理在1922年首先被库拉托夫斯基所发现，1935年佐恩亦独立地发现此结论。
表述是在任何一非空的偏序集中，若任何链（即全序的子集）都有上界，则此偏序集内必然存在（至少一枚）极大元。
佐恩引理，良序定理和选择公理彼此等价，在集合论的公理基础上，上述三者中从任一出发均可推得另外两个。
喜欢数学心请大家收藏：（）数学心
[穿书]男主他想弄死我+番外 [咒回同人] 全员术师 盛宠拽后：本宫就爱戏诸王 我当过的炮灰都成了宠文男主[快穿] 重生后她燃炸了 当绿茶反派男配想上位 快穿之大佬总是在撩我 BOSS伪装白莲花女主杀疯了 [综影视同人] 炮灰终结者 本座的猫儿师尊 宗门全是美强惨，小师妹是真疯批 [HP同人] 隐藏在霍格沃茨当教授 成就华流天王，从历经生死战开始 忠犬影卫饲养法则 鬼灭RPG为美好的世界献上帝君 告白未果，我决定做回低调逆袭者 肥妃有福，双面王爷倾世妃 我把皇子养歪了 白夜（重生） 我说今夜无神，于是众神陨落
绝色女警花
丈夫因公殉职，他的远方外甥突然出现在了唐慧敏的世界，这两条本不该相交的平行线，却在一起演绎了一场徘徊反侧的人生故事...
腹黑萌宝：亿万爹地来过招
书海阁小说网免费提供作者水颜的经典小说腹黑萌宝亿万爹地来过招最新章节全文阅读服务本站更新及时无弹窗广告欢迎光临wwwshgtw观看小说一场阴谋，她被人陷害入狱。回归后，她带着萌宝换了名字，虽无依无靠，也要手撕那对狗男女。谁想，可爱的小奶包竟然是个伪装的大boss。白天在她这装乖卖萌，夜里上线化身黑客帝王叱咤风云。小的是这样，大的更加过分。日日夜夜纠缠不休。亿万总裁听说，你缺个爸。你看我如何？小萌宝爹地，再过两招再说。景夏情节虚构，请勿模仿...
薄少勿扰，娇妻很忙
搜小说免费提供作者少女鲁智深的经典小说薄少勿扰，娇妻很忙最新章节全文阅读服务本站更新及时无弹窗广告欢迎光临观看小说为了追逐那所谓的真爱，沈慕凝毁了自己原本的婚约，婚后被囚禁在黑暗的地下室，那里没有阳光，没有新鲜的空气。那天，沈慕凝说钟陵，你是来救我的？钟陵抱着身旁的女人，将一把匕首狠狠刺进了沈慕凝的心脏。再次醒来时，沈慕凝回到了19岁，那个干干净净的年岁，一切噩梦开始前夕。沈慕凝说害我的人，都该死！...
剑气惊鸿
男儿一生，当追至所极，我所求者，倾世美人倾城剑。这是一个男孩儿到男人的成长史，这也是一个剑徒到剑神的人生旅程，看他如何从一个没落的低级玄宗，一步一个脚印，依靠双母元带来的元气绝对掌控的优势，依靠超凡的领悟力和剑技‘倾城’步步崛起，成就神宗盛世。剑气惊鸿新群10977093老群116364328...
龙凰神帝
豪门弃子，三年忍辱换得一世无敌！...
永生不灭
战气凌九霄，武道镇苍穹！一个身世如迷的不屈少年，一枚父亲遗留的神奇古珠，开启一段逆乱乾坤的不朽传奇。武道极致，独步天下，天地永恒，唯我不灭！...