所有集合的势都可比较大小吗？为什么？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
设待比较的两非空集合为 与 ，空集无需讨论.
以 的子集 为 的某子集 的指标集，若存在，则记为：
显然有单射
则由这样的集合构成的集族记为 ，于是对任意上升的链 都有上界 ，相对应地有 有上界 ，则由 Zorn 引理，分别存在极大元 和 ：
- 当 ，则存在满射 ， ， 为常值映射；
- 当 ，则必有 ，故存在单射 . 否则，若 ，但 ，则分别选取 ， ，且令 ，于是存在比极大元 和 的更大的集合 与 满足： ，这与极大元的定义矛盾.
1
相关话题
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？可以认为0到2之间的实数，是0到1之间的实数个数的两倍吗？
以「Q.E.D」收尾证明语段，是什么梗？
为什么规定空集是任何集合的子集，这样在数学上有什么意义？
数学上，「数」是怎么定义的？
P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？
关于哥德巴赫猜想，有人从哥德尔定理考虑过可证性吗？
是否任一无穷集合都能分成两个等势的不交集合之并？
如何通俗解释偏序关系和偏序理论？它们在不同学科中有哪些应用？
这是一个主客观赋权模型，但我不理解数学意义，有没有帮忙解释一下的？
前一个讨论
请问这个不等式该如何证明？
下一个讨论
《破产姐妹》里面苏菲一出场就有欢呼，为什么？
相关的话题
如何证明Q[³√5]是域？自然数和非负整数有什么区别？
如何证明R1可测函数覆盖的区域是可测的？
为什么集合的本身还可以是一个集合的元素？
N为自然数集，（N×N）×（N×N）是不是可数集？如果是，它到N的双射函数是什么？如果不是，它和什么等势？
做基础数学研究的人是怎样的研究模式呢？
集合相等的定义与空集的定义的矛盾如何理解？
如何证明 2 的平方根不是有理数？
如何通俗地理解「韦达跳跃」，如何证明？
为什么集合这个数学术语在麻将中没有被说明？
这个猜实数的游戏有没有必胜策略?
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？
等词是否可以用属于来定义？
数学中有哪些表面没有关系但是内在有深刻联系的问题？
如此证明（0，1）=【0，1】，是否正确？
数学中有哪些看起来很不可思议的知识？
有哪些看起来高大上实际上非常容易证明的数学命题？
数学大牛是怎么看待悖论和无穷的？
是否存在不可数个实数，其中任意有限多个在有理数上线性无关？
费根鲍姆常数是什么？
为什么集合这个数学术语在麻将中没有被说明？
曾经数学专业的你现在怎么样了？
我想证明自然数有穷可行吗？
有理数集如何拓展到实数集的？
无竞赛经历的大一下数院学生，想自学些知识。大家有什么推荐么(有人推荐拓扑和抽代)，最好能给出书名。？
如何证明每一个有穷的偏序都可以延拓成一个线序？
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
为什么我会感觉用数学归纳法证明很low？而用其他证明方法就显得很高大上？
数学中有哪些看起来很不可思议的知识？
为什么数学上一些显而易见的事情数学家们也要编个定理出来？