手机浏览器扫描二维码访问
第五百二十七章 佐恩引理集合论（第1页）
康托尔发现集合论后，提出集合论有互异性、确定性和无序性后，有的数学家耻笑康托尔集合无序性的原则。对康托尔说：“无序性会有什么作用？”
康托尔反驳：“我们把东西堆在一起，形成一个集合就行，不需要给他排序。”
克罗内克笑道：“你研究集合论是研究有理数和无理数个数时开始的，对数字不讲顺序，你着集合算什么数学？是个不知大小没有高低的东西？那证明里的归纳法如何用集合问题取解决？”
康托尔这时才深深的感觉到，良序定理是“思维的基本原理”。他对数学家们说：“所有集合都可以被良序排序。”
康托尔不仅仅要面对一般的数学归纳法，还要面对超限归纳法，数学归纳法时后继序数，而超限归纳法不是后继序数。
策梅洛提出了良序定理，其内容表述为对任何集合S，存在S上的二元关系R，使得是良序集。
良序定理是非常重要，因为它确保所有集合适用超限归纳法的强力技术。
后来为了证明良序定律，策梅洛提出了选择公理，表述为设C为一个由非空集合所组成的集合。那么，我们可以从每一个在C中的集合中，都选择一个元素和其所在的集合配成有序对来组成一个新的集合。
要证明选择公理，并非一件容易的事，其中一个原因是选择公理不单是一条简单的数学命题，而是牵涉较基层的数学──集合论。而集合论正就是数学的基础理论，所以在证明时，工具也会较少。
而这里又出现了新情况，就是左恩引理的出现。
佐恩引理在1922年首先被库拉托夫斯基所发现，1935年佐恩亦独立地发现此结论。
表述是在任何一非空的偏序集中，若任何链（即全序的子集）都有上界，则此偏序集内必然存在（至少一枚）极大元。
佐恩引理，良序定理和选择公理彼此等价，在集合论的公理基础上，上述三者中从任一出发均可推得另外两个。
喜欢数学心请大家收藏：（）数学心
请勿开启浏览器阅读模式，否则将导致章节内容缺失及无法阅读下一章。
我是九世单传的天才幸运糖宝 无纠+番外 如果男主太晚才出现 啊，张嘴！天道又追着福宝喂饭了 君为依[重生] [综漫] 白濑捅刀失败以后 玄灵界都知道我柔弱可怜但能打 [足球同人] 带刀侍卫 群友全穿越！就我在地球 我的员工全是言情女主 [综英美] 维持人设好难 花魁夫郎[女尊] [少年漫同人] 和新一同居之后 [综漫] 除了荒神，所有人都重生了 萝莉：变成吸血姬后被魔女捡到了 穿进炮灰文，太上皇竟能读我心！ 丘比特今夜失明 对照组贴脸开大[快穿] 1635改变世界 夏夜撕咬
从野怪开始进化升级
量子转移网游九重天域第一重天域震撼开启，上线一天便迅速火爆全球。陆晨意外失去人物角色，开始从一级豺狼人进化升级？击杀更多物种，获得新天赋！获得天赋碎片，提升天赋等级！前缀品质提升，普通的，强壮的，特别强壮的基础属性一路狂飙！玩家A那野怪的前缀有两百多米那么长？！玩家B那野怪灭了我们八家公会！简直不是人？...
这一定不是我写的文（修真）
文艺版（内有崩坏，慎入）文案一个萧索的身影站在落雪山崖上，墨发青衣美人如玉，宛如一幅上好的水墨画。当你活在一个虚拟的世界里，你会如何？当你活在一个你认为是你创造的虚拟的世界里，你会如何？庄周与蝶，究竟是蝶梦庄周，还是庄周梦蝶？林晨初不清楚，成为自己小说里的人物之后他决定不论自己生活的世纪是虚幻还是真实，都要好好活下去，即使自己是一个终将与主角虐心同归与尽的反派。好吧，现在还是考虑一下究竟是把这篇复仇修真文演成种马文好呢？还是演成种田文好呢？要不演成和一般穿越女一样把古代搅的乱七八糟报复社会文吧？林晨初回头，在冰镜里看到一张无法形容的美脸蛋哈喇子流了一地ˉ﹃ˉ要不然就这么。后场（林晨初你妹的！不是说给我一个虐身虐心的酷毙了帅呆了的深沉形象么？那后三段崩坏的内心世界还有一...
遗憾弥补系统
你有没有为天龙八部中萧峰的死而感到遗憾。你有没有为海贼王中艾斯的死而感到无奈。你有没有为仙剑奇侠传中林月如赵灵儿的死痛苦过！你有没有为历史上岳飞因秦桧的诬陷而死感觉到愤怒。这一切的遗憾无奈愤怒当你拥有遗憾弥补系统之后都能改变，能够让你进入一个平行世界，去改变小说人物动漫人物游戏人物历史人物的宿命，并且在每一个平行世界习得的技能也可以带到下一个平行世界和现实世界，让宿主的遗憾减至最小。因意外获得遗憾弥补系统的凌尘，也将开始一段没有遗憾的人生（已有完本作品上古圣猿在西游无限动漫作弊器，书荒可看，天堂人品保证，绝不太监！）...
全才高手
从神秘部队‘037’退伍的王牌士兵唐朔，阴差阳错之下成为了绝色女明星的保镖。自此，各种‘麻烦’络绎不绝且看他如何从一个小保镖一步步打造出属于自己的豪门。...
祷师
两岁时，他被人遗弃在儿童福利院门口，瘦得像根豆芽菜，穿着褴褛的病号服，衣服上印着...
最强老公：独宠软萌小甜妻
他是杀伐决断的商界帝王，她是娇俏可人的软萌学生。一场错误相亲，他和她成为了户口本最亲密的人。从此，他将她捧在手心，疼宠入骨。说好的疼爱呢！她揉着酸...