第五百二十七章佐恩引理（集合论）第1页_数学必修二电子课本最新章节

趣书网 > 数学必修二电子课本 手机版 加入书架章节目录小说详情

手机浏览器扫描二维码访问

第五百二十七章佐恩引理（集合论）（第1页）

康托尔发现集合论后，提出集合论有互异性、确定性和无序性后，有的数学家耻笑康托尔集合无序性的原则。对康托尔说：“无序性会有什么作用？”

康托尔反驳：“我们把东西堆在一起，形成一个集合就行，不需要给他排序。”

克罗内克笑道：“你研究集合论是研究有理数和无理数个数时开始的，对数字不讲顺序，你着集合算什么数学？是个不知大小没有高低的东西？那证明里的归纳法如何用集合问题取解决？”

康托尔这时才深深的感觉到，良序定理是“思维的基本原理”。他对数学家们说：“所有集合都可以被良序排序。”

康托尔不仅仅要面对一般的数学归纳法，还要面对超限归纳法，数学归纳法时后继序数，而超限归纳法不是后继序数。

策梅洛提出了良序定理，其内容表述为对任何集合S，存在S上的二元关系R，使得是良序集。

良序定理是非常重要，因为它确保所有集合适用超限归纳法的强力技术。

后来为了证明良序定律，策梅洛提出了选择公理，表述为设C为一个由非空集合所组成的集合。那么，我们可以从每一个在C中的集合中，都选择一个元素和其所在的集合配成有序对来组成一个新的集合。

要证明选择公理，并非一件容易的事，其中一个原因是选择公理不单是一条简单的数学命题，而是牵涉较基层的数学──集合论。而集合论正就是数学的基础理论，所以在证明时，工具也会较少。

而这里又出现了新情况，就是左恩引理的出现。

佐恩引理在1922年首先被库拉托夫斯基所发现，1935年佐恩亦独立地发现此结论。

表述是在任何一非空的偏序集中，若任何链（即全序的子集）都有上界，则此偏序集内必然存在（至少一枚）极大元。

佐恩引理，良序定理和选择公理彼此等价，在集合论的公理基础上，上述三者中从任一出发均可推得另外两个。

喜欢数学心请大家收藏：()数学心

热门小说推荐

上辈子靠着演戏绿茶扮可怜，被粉丝疯狂打投出道的曲渡边，一朝穿越，变成了大周朝母妃早逝的小皇子。不仅只剩下3天寿命，还绑定了个[疾病模拟器]延长寿命。增加寿命的方法有三： 1.每日练武签到，增加寿命一天。 2.体验疾病，书写论文提交系统，帮助系统存档升级，增加寿命三月。 3.结交好友，使其好感度达到六十，增加寿命一年。曲渡边深谙一点，获得好感度，锦上添花不如雪中送炭。快冻死的小太监？捞！便宜的皇帝爹、尚书家不受宠的小公子、后宫寂寞无聊的诸位太妃、独苗苗侯府公子、敌国质子…… 曲渡边化身孝(？)子/挚友/陪聊/陪玩/知己，慢慢增长的寿命值叫他无比欣慰。 [疾病模拟器]更是躲避恐怖夺嫡浪潮的神器！为了彻底退出夺嫡斗争，曲渡边不惜在战场上浪了一把，接回了和亲的长公主阿姐，然后将自己模拟成武功尽废、双目失明的废物。以后就可以美滋滋躺在这个可以护他一辈子的军功上，安安稳稳渡过一生了。这波赚翻！奈何—— 东厂厂公眼神阴鸷：“咱家的命是小殿下救回来的，给咱家查，到底是谁在战场上下的手！” 新进状元面带病容：“我一生筹谋，只为了心中明主，明主既暗，我不愿授官。” 如今镇北大将军的小侯爷：“皇权倾轧至此，殿下何必心存善念？” 不问世事的养母：“我儿受此劫难，本宫若再不闻不问，堪为人母？！” 后宫太妃们聚在慈宁宫，哀怨的红眼眶叫皇帝有苦难言。一时间，皇子们人人自危，京城谋算翻涌，人心惶惶。只想平安渡过的曲渡边：“……” 救、救命啊！！ #他们都想让我登基，而我只想安稳活命:（# “塞外寒飞雁，长歌曲渡边。” 封面画师@:渠文...