所有集合的势都可比较大小吗？为什么？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
设待比较的两非空集合为 与 ，空集无需讨论.
以 的子集 为 的某子集 的指标集，若存在，则记为：
显然有单射
则由这样的集合构成的集族记为 ，于是对任意上升的链 都有上界 ，相对应地有 有上界 ，则由 Zorn 引理，分别存在极大元 和 ：
- 当 ，则存在满射 ， ， 为常值映射；
- 当 ，则必有 ，故存在单射 . 否则，若 ，但 ，则分别选取 ， ，且令 ，于是存在比极大元 和 的更大的集合 与 满足： ，这与极大元的定义矛盾.
1
相关话题
A是不可列集合，B是将A分割成两个不可列集合的实数的集合，证明B非空且为开集？国内有哪些基础数学好的大学？
关于哥德巴赫猜想，有人从哥德尔定理考虑过可证性吗？
高考结束，将来想学纯数，如何更好安排自己的暑假？
如何理解区间 [0, 1] 内有理数集合的长度为 0？
“等价”就是重言等值，“推出”就是重言蕴涵吗？
如何用数学的方法说明极限理论的表现力强于初等数学？
HoTT为什么不比集合论弱?
如何证明 2 的平方根不是有理数？
当今世界数学已经发展到本科生难以理解的地步了吗？
前一个讨论
请问这个不等式该如何证明？
下一个讨论
《破产姐妹》里面苏菲一出场就有欢呼，为什么？
相关的话题
是否存在不可数个实数，其中任意有限多个在有理数上线性无关？有哪些不易察觉的错误证明？
什么是「集合的势」？「连续统假设」的历史和研究进展是怎样的？
如何分配砝码使天平尽可能平衡？
小数点后可以有无数位，为什么两个物体仍可以相互接触？
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？
有理数集如何拓展到实数集的？
n! 和 n²，哪个更大呢？
环中任何一个非空子集都可以生成理想吗？
如何理解数学证明中的容易验证？
在离散数学中偏序关系和偏序集是什么意思？
桌游卡牌上的描述，“当（该卡牌）两侧角色不为女性时”和“两侧不为女性角色时”的意思相同吗？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
N为自然数集，（N×N）×（N×N）是不是可数集？如果是，它到N的双射函数是什么？如果不是，它和什么等势？
假如数学没有了自然数的概念及其性质会怎样？
有理数集和无理数集哪个大，为什么？
在集合的势的意义下，是否存在比实数集更大的全序集？
数理逻辑中集合论、模型论、证明论、可计算性理论这四大领域的内在理论联系是什么？
在数学证明中，假设一个微元epsilon的思路是怎么来的？
在数学中，为什么我们要视悖论为洪水猛兽？这难道不是在歧视悖论吗？
离散数学求帮忙？
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
Taylor公式证明是怎么想出来的？
是否任一无穷集合都能分成两个等势的不交集合之并？
请问0除0是无解还是无限个解?
整数和偶数真的是「一样多」的吗？（我知道康托尔那套，但这个表述真的正确吗？）？
叶戈罗夫定理的逆定理该怎么证明？
莱布尼茨的普遍语言是否可以实现？
在集合论里，对于二元公式φ，如何证明(任意X)(存在{x∈X：φ(x,X)})？
原命题与逆否命题真假性一定相同吗？