如何证明这个关于良序集的命题？ 第1页
1
lljpcz 网友的相关建议:
手机打字，凑合一下
在omega_{1}上定义一个等价关系，两个序数等价当且仅当加法意义下相差一个整数
用omega_{1}，模掉这个等价关系。可以证明，每个等价类良序同构于omega，从而可数。具体的操作是把等价类的最小元映到0，其余数类似。
另一方面，可以证明，等价类和没有“前继”的序数一一对应。所以只需要求等价类的个数。
反设等价类至多可数，那么omega_{1}是可数个可数集合的并，从而可数，矛盾。
1
相关话题
为何可以用不动点法求数列通项公式，可不可以解释一下？物理学中的微元法是一种错误的方法吗？
关于哥德巴赫猜想，有人从哥德尔定理考虑过可证性吗？
二维傅里叶变换是怎么进行的？
数学需要回归简美贴近大众吗？
有什么提高数学能力的书籍推荐吗？
世界是几维的？
你曾经看过哪些精彩的数学书？
想要学习流形的话需要哪些预备知识？
为什么两个数的公约数都是他们最大公约数的约数?
相关的话题
经历20年的科研发现一个怪现象：创新性越强的文章越难发表，而跟风之作和修修补补的文章容易发，你觉得呢？如何证明一个无理数的整数倍数的小数部分在（0，1）上均匀分布？
如何在数学试卷上调戏阅卷人？
0! = 1，1! = 1，怎么解释 1 ≠ 0？
所有数学表达式都有几何含义吗？
你认为四大棋哪个与数学（理科）关联最大？
为什么一个方程有复数解，数是一维的、二维的，还是？数学的性质特点是什么？数的维度是否暗示了能量的维度？
如何理解「梅涅劳斯定理」和「塞瓦定理」，这两个定理在实际中有什么应用？
有没有什么和“数学归纳法名字中虽然有归纳两字，却不是归纳推理，而是演绎推理”类似的数学例子呀？
如何严格证明下面这个不等式？
证明在方程 20X^2-19Y^2=2019 中X与Y没有整数解?
(-1)^(0.4) 是否等于 (-1)^(2/5)？
怎么用泰勒公式估计通项趋于零的阶以判断级数的敛散性?
石头剪刀布，已知对手只会出剪刀和布，三连平算我输，请问我的胜率有多少？
证明数学定理的意义是什么？
什么是图形的面积？
如何看待任正非说的「发展芯片光砸钱不行，还要砸物理学家数学家」？
这道题能用极坐标方程做吗？
请问 这道微积分题怎么做？
两个有理数之间一定存在一个无理数吗？
数学的所有内容都是基于一些无法证明的公理和无法定义的概念（比如集合、直线），那么数学有没有可能是假的？
如何理解代数中的极限和余极限？
如何用根号表示Sin1°?
如果函数是一种法则，那它为什么有最大值、极限，还能相加减等等？
古中国对比西方古典时期在数学、冶金、哲学、建筑学、自然科学等方面真的全面落后吗？
怎么形象地理解对偶空间（Dual Vector Space）？
如何证明T1拓扑群是T3的？
怎么建立复数与实数的一一对应？
如何评价这段对数学的看法？
你对俄罗斯和法兰西数学物理教材有哪些看法？