如何证明这个关于良序集的命题？ 第1页
1
lljpcz 网友的相关建议:
手机打字，凑合一下
在omega_{1}上定义一个等价关系，两个序数等价当且仅当加法意义下相差一个整数
用omega_{1}，模掉这个等价关系。可以证明，每个等价类良序同构于omega，从而可数。具体的操作是把等价类的最小元映到0，其余数类似。
另一方面，可以证明，等价类和没有“前继”的序数一一对应。所以只需要求等价类的个数。
反设等价类至多可数，那么omega_{1}是可数个可数集合的并，从而可数，矛盾。
1
相关话题
专业的数学爱好者喜欢的是数学的什么（请看问题描述）？在游戏中暴击率90，十次攻击会暴击九次吗，如果80暴击率的对手反而十次全部暴击，暴击率的意义是什么？
怎么在不公布证明的情况下让世人相信我证明了「哥猜」?
数学中为什么要定义各种空间？
没有阿拉伯数字、拉丁字母和希腊字母，古代中国的数学是什么样的情况？
根号 a（a 为正整数）不是整数，就是无理数吗？有没有可能是分数？
有哪些美丽或神奇的理科公式？
正项级数∑xn收敛，数列xn单调减少，如何证明limnXn＝0？
有一个数学很好的男朋友是一种怎样的体验?
如何证明调和级数前n项和（n大于等于2）不为整数？
相关的话题
证明数学定理的意义是什么？矩阵的指数函数到底说的是个啥？
热爱数学是一种怎样的体验？
为什么数学上一些显而易见的事情数学家们也要编个定理出来？
研究了一辈子学问却发现研究的方向错了，或当前流行的理论错了，你会有怎样的感想？你会怎样做？
怎样证明 0.999… = 1？
这道数列极限题该怎么做啊？
除了 π、e 等这些常数，还有哪些伟大的常数？他们的意义都是什么？为什么都是无理数呢？
什么是勾股定理？
请问σ-代数（sigma-algebra）的含义是什么，能否举例说明？
有限域上为什么有x的m次方=e的解的个数不超过m？
可不可以将所有无理数全都用 有理数·π 来表示？
这道复变函数的证明题怎么做？
如何系统学习机器学习？
什么是泊松过程？
有哪些看起来很简单但做起来很难的数学题？
如何理解出租车几何学？
如何证明将任意3的倍数各数位数字立方求和，重复数次后得到固定数值153?
为什么会有「男生比女生学数学更有优势」这一说法？
如何克服粗心导致的计算错误？
有哪些千年以上时间才解决的数学问题?
怎么证明：拓扑学家的曲线连通但不道路连通？
这道题解题思路是什么呢?
预测一下到今年年底本轮中美搏弈的结果大概率是什么？
学习函数方程有什么实际的意义？
如何通俗地理解概率论中的「极大似然估计法」?
我该怎么提问?
为什么中国人数理化学科成绩似乎秒杀外国人，但世界相关的（出名的）顶级的科学家几乎全是外国的？
有哪些少见却实用的求积分的经验技巧？
如何理解抽象代数的用途？