如何证明这个关于良序集的命题？ 第1页
1
lljpcz 网友的相关建议:
手机打字，凑合一下
在omega_{1}上定义一个等价关系，两个序数等价当且仅当加法意义下相差一个整数
用omega_{1}，模掉这个等价关系。可以证明，每个等价类良序同构于omega，从而可数。具体的操作是把等价类的最小元映到0，其余数类似。
另一方面，可以证明，等价类和没有“前继”的序数一一对应。所以只需要求等价类的个数。
反设等价类至多可数，那么omega_{1}是可数个可数集合的并，从而可数，矛盾。
1
相关话题
数学系哪门课最难学？在你看来，数学中有哪些大学课程会被下放给非数学系学生？为什么？
求指教一道数列方程组问题如何做？
怎么求lnsinx在0到pi/2的积分啊？
曲线 cosx + cosy = cos(x + y) 有什么性质？
学数学是什么感觉？
一道初三数学几何题。目前用arctan和tan的无脑计算可以求出来，请问还有其他方法吗？向量？或其它？
如何反驳此人证明0.9循环不为1？
如何看待 Atiyah 对六维球面 S^6 上没有复结构的证明？
如何看待哈佛大学数学教授姚鸿泽认为分析，几何和拓扑当初学不应当过于纠结细节，而应当快速进入核心内容？
相关的话题
数学中有哪些条件看似很弱却能推出很强的定理的例子？学习数学，意义何在？
微积分之后，现代数学有哪些新的革命性工具？近年来物理理论没有突破，是不是微积分不够用了？
高斯的博士论文是不是太简单了？
400 级地震和 13 亿分贝，哪个能量更大？
怎么用特征根法和不动点法求数列的通项公式？
什么叫「具有扎实的数学基础」？
数学专业的学生的毕业论文是怎样的？
数学 PhD 有很多内容要学习吗？
点集拓扑为什么要这样定义？具有几何意义吗？
数学专业为什么没有那么多劝退贴？
数学对于编程有多重要？
1和0.999...是两个不同的数字，在数学上却是相等的，是不是有悖论？
线性空间的对偶空间和优化里的拉格朗日对偶有什么关系？
什么是实数？
民科是否很少攻击数学？
怎样理解任何有限集都是紧集？
如何通俗易懂地解释遗传算法？有什么例子？
现在流传的数学高考卷是假的吧？
数学中那些充满构造性的证明是怎样想到的，有没有可以遵循的一般性的数学思想方法？
明末清初的传教士为什么都知道数学天文历法自然科学？他们是某些个例还是普遍现象？
请业内人士聊聊韦东奕现在的科研状况，能不能获得菲尔兹奖？
如何避免完美主义倾向，以应用的方式/目的学习各类理论？
小学数学为什么不从集合论学起？
数学是绝对真理吗？
本人高中生，对数学很感兴趣，求推荐一下大学数学应该看的书和方法？
何为分析方法、代数方法、几何方法、拓扑方法？
如果Ramanujan，Grothendieck这类喜欢自创体系的数学家在清华北大就读，会否被埋没？
在 UCLA 陶哲轩手下读博是什么感受？
有没有反三角函数的「和差角公式」？