如何证明这个关于良序集的命题？ 第1页
1
lljpcz 网友的相关建议:
手机打字，凑合一下
在omega_{1}上定义一个等价关系，两个序数等价当且仅当加法意义下相差一个整数
用omega_{1}，模掉这个等价关系。可以证明，每个等价类良序同构于omega，从而可数。具体的操作是把等价类的最小元映到0，其余数类似。
另一方面，可以证明，等价类和没有“前继”的序数一一对应。所以只需要求等价类的个数。
反设等价类至多可数，那么omega_{1}是可数个可数集合的并，从而可数，矛盾。
1
相关话题
各位积佬们这个积分有什么好的思路吗？如何构造一个数学例子来证明零知识证明可行？
如何理解 Van-Kampen 定理？
欧拉到底有多厉害？
有谁给解释一下流形以及流形正则化？
学文科会影响数学思维吗?
该怎么用数学来个别开生面的表白呢？
说数学是「自洽」的是什么意思？
数学上有哪些丑陋的公式？
挑战！ 笔算计算3^6024和7^3401哪个大？
相关的话题
数学专业大二怎么选后面的选修课？(xⁿ - 1)/(x - 1) = y² 这个不定方程蕴含了哪些知识？
在线性代数中如何用几何表示非方阵矩阵相乘？
数学天才韦东奕交女朋友了吗？
如何证明紧致的度量空间都是第二可数空间？
波是什么？什么是波？
怎么看待对数学理论、定理「有什么用」这类问题？
关于数学有什么有趣的笑话？
一个脑洞：理论上，是否有可能用一根棍子记录无限多的信息？
拓扑学（点集拓扑和代数拓扑基础）和范畴论有什么双语教材？
掷一枚不均匀的硬币，正面概率为0.7，反面的概率为0.3，如何最高效地获得一个概率为0.5的事件？
既然两个分数理论上来说可以无限接近，那么为什么还会出现无理数？
数学上有什么有名的结论是利用另一个数学分支上的知识得到的？
如何证明两个有理数平方和不能为 7？
五岁孩子对数学感兴趣，想给她讲数学发展史的故事，请问有什么书推荐呢？
1×0=0是因为0乘任何数都是0还是因为1乘任何数都是等于那个数？
为什么集合的本身还可以是一个集合的元素？
网络上哪有数理逻辑的课程?
经济学家的数学是否都很好？
五岁孩子对数学感兴趣，想给她讲数学发展史的故事，请问有什么书推荐呢？
如何看待京都大学的望月新一教授证明「ABC 猜想」，发表在其主编的期刊上？
如何理解希尔伯特空间？
两个人如何通过电话「扔硬币」？
为什么祖冲之的355/113等于3.1415929而不是3.1415926?
莱布尼茨的普遍语言是否可以实现？
正整数和正整数中的偶数哪个多（如何证明）？
现代科学领域，类似于魔角、鬼成像、上帝/天使/幽灵粒子的玄幻名词还有哪些？
一年级孩子没有提前学过数学。在学校被老师贴上反应慢的标签。是我没有提前给孩子上课，做错了吗？
什么是实数？
如何将条件收敛级数 1-1+1/2-1/2+1/3-1/3+1/4-1/4+...证其发散？