如何证明这个关于良序集的命题？ 第1页
1
lljpcz 网友的相关建议:
手机打字，凑合一下
在omega_{1}上定义一个等价关系，两个序数等价当且仅当加法意义下相差一个整数
用omega_{1}，模掉这个等价关系。可以证明，每个等价类良序同构于omega，从而可数。具体的操作是把等价类的最小元映到0，其余数类似。
另一方面，可以证明，等价类和没有“前继”的序数一一对应。所以只需要求等价类的个数。
反设等价类至多可数，那么omega_{1}是可数个可数集合的并，从而可数，矛盾。
1
相关话题
勒让德倍量公式如何证明？如何看待关于 1 与 0.9999… 的大小的争论？
Cauchy定理的证明是否依赖于Jordan曲线定理？
如何简洁地证明二次互反律？有哪些具体应用？
请问你见过的最强的公式是什么？
全序关系和偏序关系的区别是什么？
学数学有点钻牛角尖，总是怀疑书中推导的严谨性，各位有什么好办法吗？
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？
亚里士多德车轮悖论的正确解释是什么？
如何评价安徽大学 2019~2020 第一学期高等数学期末考试？
相关的话题
有没有可能一个数学证明是错的，然而所有人都没注意到呢？如何看待初一学生因偏科，在数学卷上答语文？
研究数学是不是必须有天赋？
最大似然估计和最小二乘法怎么理解？
是否存在一个比复数更大的数域，使得任意五次方程都有根式解？
如何理解洛朗级数？
数学是绝对真理吗？
孩子初三了，几何不好，证明题做题速度超慢，感觉无头绪，关键自己还不着急，应该怎样学习，如何突破？
代数学莫宗坚的这道题怎么做?
两幂级数柯西乘积收敛半径大于等于较小者 怎么证明呢？
矩阵思维是什么意思？
并非所有数学硕博都能从事科研，那么多数人继续读数学的理由为何？
圆周率 π 在实际工程领域最多用到了多少位？
一个天资平平，数学基础非常差的高一学生，打算日后进行纯数研究，是否应该对其进行劝退？
为什么国内做偏微分方程（PDE）的人这么多，而且招学生非常快？
学数学或物理学到 high 很刺激，是一种怎样的经历与感受？
学数学的人性格的共性特点有哪些？
如何构造一个初值，使得这个数列是发散的?
请问为什么无穷个无穷小量的乘积不一定是无穷小量？
德国与法国哪个国家数学贡献更大？
无穷个集合的交（或者并）运算总是成立的吗？为什么？
目前 x³＋y³＋z³＝42（x、y、z 均为整数）是怎么求解的？
什么情况下被积函数的原函数不能用初等函数表示？怎么判断呢？
这个极限咋算？
小偷能逃出无数个警察的包围圈吗？
有哪些形式简单却很难证明的不等式？
为什么法语的数字表达方式那么奇怪？世界上还有其它主要语种采取类似的数字逻辑吗？
有哪些有趣而著名的悖论？
请问贝祖定理（裴蜀定理）除了用辗转相除法还能怎么证?
理论物理学家爱德华·威滕做了啥贡献，以致于他获得了数学界的菲尔兹奖？