如何证明这个关于良序集的命题？ 第1页
1
lljpcz 网友的相关建议:
手机打字，凑合一下
在omega_{1}上定义一个等价关系，两个序数等价当且仅当加法意义下相差一个整数
用omega_{1}，模掉这个等价关系。可以证明，每个等价类良序同构于omega，从而可数。具体的操作是把等价类的最小元映到0，其余数类似。
另一方面，可以证明，等价类和没有“前继”的序数一一对应。所以只需要求等价类的个数。
反设等价类至多可数，那么omega_{1}是可数个可数集合的并，从而可数，矛盾。
1
相关话题
证明数学定理的意义是什么？作为老教师，你对新入职的年轻教师有什么建议？作为曾经的学生，你喜欢什么样的老师？
数理逻辑中集合论、模型论、证明论、可计算性理论这四大领域的内在理论联系是什么？
一道概率问题，求病毒不会全部灭绝的概率？
10000⁴ 和 4¹⁰⁰⁰⁰，怎样比较大小？
如何用数学语言描述数列Xn不是单调数列?
有哪些一看就会，一做就错的数学题？
为什么数学专业要学计算机？
证明「哥德巴赫猜想」到底有多难？
三进制为何比二进制更好？
相关的话题
有哪些违背直觉的数学问题？数学领域如今是否还会提出新的猜想?
同时掷三枚硬币，落地后出现三阳、三阴、两阳一阴、两阴一阳的概率相同吗？
身份证号不会用完吗？
度量拓扑对应度量如果不满足交换律，那么这个“度量”是否还能诱导相同的拓扑?
算子代数是一门怎样的数学分支？学习算子代数需要怎样的基础？
拓扑学能解决哪些分析学无法解决的问题？
极坐标下的二重积分，二次积分下每次积分的几何意义是什么？
如何理解数学证明中的容易验证？
如何评价hEzo？
哥德尔不完备定理动摇了数学的基础吗？
数学类研究的科研经费用在哪里？
如何真正从本质上理解数学?
1＋aⁿ 为什么大于或等于 1＋na？
如果黎曼猜想以后被xx人证明了，那以后会被叫做黎曼定理还是xx定理呢？
如何通俗地讲解「仿射变换」这个概念？
如何找到一个10项的非负整数数列，使该数列的任意不超过3项的和不重复，并使数列的最大项最小，并证明?
如何看待哔哩哔哩拜年祭中出现的莫比乌斯环，和相关的物理问题？
想学计算机系却报错志愿进了数学系，该怎么办？
如果放开一个质量为负数的物质会出现什么？
数学系的鄙视链是什么？
虚数在物理中有什么应用吗？
人工智能领域有哪些精妙的数学原理？
把围棋棋盘上下边和左右边连起来，变成面包圈，下棋策略会有什么变化？
高中数学的符号怎么在电脑上打出来，比如说数列的an，函数e的x次方等等？
对「数学就是为了刷掉那 70% 的人」有什么感悟或亲身体会吗？
如何证明n是2的幂?
圆内任取三点/四点在同一半圆内的概率是多少？
如何看待清华大学丘成桐数学科学领军人才培养计划？
你所见过的被引用次数最多的文献是哪本？