所有集合的势都可比较大小吗？为什么？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
设待比较的两非空集合为 与 ，空集无需讨论.
以 的子集 为 的某子集 的指标集，若存在，则记为：
显然有单射
则由这样的集合构成的集族记为 ，于是对任意上升的链 都有上界 ，相对应地有 有上界 ，则由 Zorn 引理，分别存在极大元 和 ：
- 当 ，则存在满射 ， ， 为常值映射；
- 当 ，则必有 ，故存在单射 . 否则，若 ，但 ，则分别选取 ， ，且令 ，于是存在比极大元 和 的更大的集合 与 满足： ，这与极大元的定义矛盾.
1
相关话题
如何证明 2 的平方根不是有理数？曾经数学专业的你现在怎么样了？
怎么学习算法信息论?
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？
逻辑学中，前提为假而命题为真的推论如何解释？
没有基的线性空间，是否可以构造，如何构造？
读基础数学的 Phd，是在国内更好，还是到老牌的国外大学（如美、法、英、俄、日等等）更好？
莱布尼茨的普遍语言是否可以实现？
已知映射f：N→N（其中N是正整数集），问以下三条是否可以相容？
如何证明（0，1）不是可数集？
前一个讨论
请问这个不等式该如何证明？
下一个讨论
《破产姐妹》里面苏菲一出场就有欢呼，为什么？
相关的话题
如何证明下面的集合论问题？如何证明悬链线图像是双曲余弦？
如何通俗解释偏序关系和偏序理论？它们在不同学科中有哪些应用？
所有集合的势都可比较大小吗？为什么？
为什么规定空集是任何集合的子集，这样在数学上有什么意义？
证明角的三分之一，怎么证明？
区间 [0, 1] 内的实数，为什么我证明可以数？
这是一个主客观赋权模型，但我不理解数学意义，有没有帮忙解释一下的？
什么是「集合的势」？「连续统假设」的历史和研究进展是怎样的？
曾经数学专业的你现在怎么样了？
高考刚结束，有志于学习基础数学，假期想要自学一些大学数学内容，可以使用哪些书籍和习题？
如何理解（证明）不存在与自己的真子集等势的自然数?
上帝悖论是否有解？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
怎么建立复数与实数的一一对应？
为什么数学上证明必然正难则反易——补集思想，原理出处？
站在一个无穷大的围棋/五子棋盘上的任意格点上，能够看到的格点都放上黑棋，黑棋占格点比例多少？
什么是实数？
为什么规定 0 的阶乘为 1？
正整数和正整数中的偶数哪个多（如何证明）？
数学家是怎样思考问题的？
数学中有哪些看起来很不可思议的知识？
比1大的数多还是比0大的数多？
所有集合的势都可比较大小吗？为什么？
如何证明下面的集合论问题？
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？
为什么集合的本身还可以是一个集合的元素？
HoTT为什么不比集合论弱?
如何证明（0，1）不是可数集？
为什么集合的本身还可以是一个集合的元素？