如何证明这个关于良序集的命题？ 第1页
1
lljpcz 网友的相关建议:
手机打字，凑合一下
在omega_{1}上定义一个等价关系，两个序数等价当且仅当加法意义下相差一个整数
用omega_{1}，模掉这个等价关系。可以证明，每个等价类良序同构于omega，从而可数。具体的操作是把等价类的最小元映到0，其余数类似。
另一方面，可以证明，等价类和没有“前继”的序数一一对应。所以只需要求等价类的个数。
反设等价类至多可数，那么omega_{1}是可数个可数集合的并，从而可数，矛盾。
1
相关话题
为什么文科生要学数学，高中数学有什么用？证明在方程 20X^2-19Y^2=2019 中X与Y没有整数解?
有哪些有趣的概率问题？
为什么正态分布公式中会有 π 呢？ π 为什么应用得地方那么多，应该怎么理解 π ？
如何证明e为无理数?
微积分之后，现代数学有哪些新的革命性工具？近年来物理理论没有突破，是不是微积分不够用了？
参加 2021 年丘成桐大学生数学竞赛是什么体验？如何评价今年的竞赛？
如何理解西安 8 岁神童自创奥数解题公式？
逻辑学中，前提为假而命题为真的推论如何解释？
有界可测集测度一定有限吗，无界可测集合测度一定无限吗？反之如何？
相关的话题
请问，一加一为啥等于二？救救娃吧！?这个数学题咋解?
股市之中百分之九十的散户都是在亏钱，那从概率角度来看，我是否大概率能赢散户的钱?
目前数学界有多少种运算方式?
在集合的势的意义下，是否存在比实数集更大的全序集？
为什么手机计算器上50%+50%=0.75?
环中任何一个非空子集都可以生成理想吗？
学数学的最后都从事了什么样的工作？是否如传言中的不赚钱。？
为什么随便在计算器上按个数，然后多次按 cos 键，结果总是趋近于 0.73几？
有理数的开方，是否能取遍实数？ 换句话说，是否存在无理数，不是某有理数的开方？
为什么负负得正，正正不能得负？
「微积分」的建立和发展经过了哪些阶段，它的研究对其它学科产生了什么影响？
勒让德多项式的意义？
你最喜欢的一句数学界的名言是什么？
不同国家和制度的数学PhD成才率（永久学术职位）是多少？有多大差别？
想成为数学家或物理学家应该怎么做？
请问开集和闭集如何理解？
一个数减去各位数字之和需要多少次减为 0？
请问这两个在表达方式上很相似的结论是否有相通的地方（感觉他们证明方法也很像）？
有没有一种可能，现代数学系统都是错误的？
高维情况有没有叉乘运算？怎么计算？
如何评价用户 @TravorLZH？
有哪些玩游戏时能使用的高等数学知识？
数学中有哪些明明是暴力破解还给人美感的证明？
设r是有单位元的非零环若r是有限环，则r的素理想是极大理想如何证明？
有什么办法可以喜欢上数学？主要是不想以一种强迫的方式去学它了。？
为什么不能直接把哥德巴赫猜想作为一个公理？
请问如何求这两个数列的通项公式？
单调的环境下永生能让人变成傻子吗？
你见过什么复杂到让你目瞪口呆的公式？