所有集合的势都可比较大小吗？为什么？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
设待比较的两非空集合为 与 ，空集无需讨论.
以 的子集 为 的某子集 的指标集，若存在，则记为：
显然有单射
则由这样的集合构成的集族记为 ，于是对任意上升的链 都有上界 ，相对应地有 有上界 ，则由 Zorn 引理，分别存在极大元 和 ：
- 当 ，则存在满射 ， ， 为常值映射；
- 当 ，则必有 ，故存在单射 . 否则，若 ，但 ，则分别选取 ， ，且令 ，于是存在比极大元 和 的更大的集合 与 满足： ，这与极大元的定义矛盾.
1
相关话题
下面这个集合可数吗？麻生公开课教材问题如果a, b是两个相等的实数，那么a=0.是否正确？
可以认为0到2之间的实数，是0到1之间的实数个数的两倍吗？
比1大的数多还是比0大的数多？
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？
为什么方差要定义成平方？这么定义有什么利弊？如果把方差定义成 |X－E(X)|，这又有什么利弊？
S={x|x∉x}，因为不存在x满足x∉x，所以S为空集，还是{Ø}?
如何证明没有上帝？
如何证明这个关于良序集的命题？
整数和偶数真的是「一样多」的吗？（我知道康托尔那套，但这个表述真的正确吗？）？
前一个讨论
请问这个不等式该如何证明？
下一个讨论
《破产姐妹》里面苏菲一出场就有欢呼，为什么？
相关的话题
一个数介于 2 和 3 之间，那么它为无理数和有理数的概率分别为多少？设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？
如何证明没有上帝？
若 A={x, x∉A}，那么 A 是 ∅ 吗？
数学中有哪些表面没有关系但是内在有深刻联系的问题？
如何证明悬链线图像是双曲余弦？
这是一个主客观赋权模型，但我不理解数学意义，有没有帮忙解释一下的？
站在一个无穷大的围棋/五子棋盘上的任意格点上，能够看到的格点都放上黑棋，黑棋占格点比例多少？
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
莱布尼茨的普遍语言是否可以实现？
如何证明这个关于良序集的命题？
所有集合的势都可比较大小吗？为什么？
为什么不可数个互不相同的集合之并集可以是可数集?
S={x|x∉x}，因为不存在x满足x∉x，所以S为空集，还是{Ø}?
下面这个集合可数吗？
如何证明一个实数的所有代表元（有理数Cauchy列）组成的集合不可数？
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？
自然数0 的现实意义是什么？
小数点后可以有无数位，为什么两个物体仍可以相互接触？
麻生公开课教材问题如果a, b是两个相等的实数，那么a=0.是否正确？
如何证明空集不是任意集合的子集？
为什么规定 0 的阶乘为 1？
如何证明不存在集合T使对任意集合F有T中的元素与F等势?
任取两个大于 2 的整数，其互质的概率是多少？
为什么会有数学家反对对无穷集合使用排中律？
任取两个大于 2 的整数，其互质的概率是多少？
有界可测集测度一定有限吗，无界可测集合测度一定无限吗？反之如何？
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？
我想证明自然数有穷可行吗？