手机浏览器扫描二维码访问
第五百二十七章 佐恩引理集合论（第1页）
康托尔发现集合论后，提出集合论有互异性、确定性和无序性后，有的数学家耻笑康托尔集合无序性的原则。对康托尔说：“无序性会有什么作用？”
康托尔反驳：“我们把东西堆在一起，形成一个集合就行，不需要给他排序。”
克罗内克笑道：“你研究集合论是研究有理数和无理数个数时开始的，对数字不讲顺序，你着集合算什么数学？是个不知大小没有高低的东西？那证明里的归纳法如何用集合问题取解决？”
康托尔这时才深深的感觉到，良序定理是“思维的基本原理”。他对数学家们说：“所有集合都可以被良序排序。”
康托尔不仅仅要面对一般的数学归纳法，还要面对超限归纳法，数学归纳法时后继序数，而超限归纳法不是后继序数。
策梅洛提出了良序定理，其内容表述为对任何集合S，存在S上的二元关系R，使得是良序集。
良序定理是非常重要，因为它确保所有集合适用超限归纳法的强力技术。
后来为了证明良序定律，策梅洛提出了选择公理，表述为设C为一个由非空集合所组成的集合。那么，我们可以从每一个在C中的集合中，都选择一个元素和其所在的集合配成有序对来组成一个新的集合。
要证明选择公理，并非一件容易的事，其中一个原因是选择公理不单是一条简单的数学命题，而是牵涉较基层的数学──集合论。而集合论正就是数学的基础理论，所以在证明时，工具也会较少。
而这里又出现了新情况，就是左恩引理的出现。
佐恩引理在1922年首先被库拉托夫斯基所发现，1935年佐恩亦独立地发现此结论。
表述是在任何一非空的偏序集中，若任何链（即全序的子集）都有上界，则此偏序集内必然存在（至少一枚）极大元。
佐恩引理，良序定理和选择公理彼此等价，在集合论的公理基础上，上述三者中从任一出发均可推得另外两个。
喜欢数学心请大家收藏：（）数学心
新搬来的邻居 攻略对象变成室友后，他不对劲 神魔剑玄录 杀了那个妖鬼 上流假象 穿到虫族和军雌相亲 死神不来了 迷津蝴蝶 君为客 我在死亡副本当管理员 我真没想在过去的年代当学霸 夸夸我的神探祖父穿越爹 还是修仙吧 撩惹疯批顶E，笨蛋少爷他逃了 末世后我成了疯批alpha们的安抚剂 枭鸢 第三十年明月夜 小仓鼠今天有猫了吗 怪物崽崽和他的怪物监护人 兽世养山君[种田]
撩妹兵王在都市
简介彪悍兵王周天回归都市，美女纷纷暗送秋波！能力越大，责任越大，他不羁的外表之下，心底热血未冷，当昔日兄弟有难，组织召唤，他再次出征，一双铁拳，再战天下！如果您喜欢撩妹兵王在都市，别忘记分享给朋友...
夺来的美人，诈死也逃不掉
关于夺来的美人，诈死也逃不掉宋萧萧那张明艳夺目的脸坏事的很，就连戴着面纱都不管用，躲了十几年，还是被新登基的五州君主给盯上。要知道她可是定亲了的。萧煜衡没用，照夺不误。...
美漫从港片开始
陈浩南手持血饮狂刀，施展神功风神腿，从街头砍到巷尾，一战成名！青年督察刘杰辉，左手麒麟臂，右手排云掌，绰号不哭死神，专治极恶！超级警察陈家驹，拼死救助神秘小孩，得超凡力量，飞龙再生！神勇女警程小东，拜师逍遥老人，修习北冥神功，威震武林，风靡万千！不一样的港片，不一样的漫威，故事从力王开始如果您喜欢美漫从港片开始，别忘记分享给朋友...
路过你的倾城时光
关于路过你的倾城时光圣诞那晚听说妹妹把会所的少东家靳言惹毛了我二话不说拎把刀就冲了进去没想到这挺身而出的冲动，成为了我英勇献身的开始他是本色集团总裁的独子，人帅歌好舞也棒，要肌肉有肌肉，要长腿有长腿我是本色娱乐会所里默默无闻的小虾米，吧台是我阵地，水果刀是我武器天雷勾动地火，有时候只是一点就着的距离恶少恋上才女，是谁上辈子拯救了银河系？—靳言，你的出现...
重生日本当神明
警告番剧向的东西，请用正确姿式食用简介主角乃是一名习武有成者，无意间铸成一粒金丹的同时，意外穿越占据了一名RB学生的身体。随着他在那个国家越呆越久，认识了一些人，有了女朋友，也引了极大的混乱吐槽第五版的简介，想死的感觉，书名默默流泪感谢如果您能看这堆字，十分感谢，希望能让您满意，爱你，么么哒魔蝎小说...
等你，在满天星光下
关于等你，在满天星光下［本文双处双洁一对一］世事无常，变数太多。征服一个男人，不如热爱一份工作。做他人的朱砂痣或者白月光，不如做自己的女王。...