所有集合的势都可比较大小吗？为什么？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
设待比较的两非空集合为 与 ，空集无需讨论.
以 的子集 为 的某子集 的指标集，若存在，则记为：
显然有单射
则由这样的集合构成的集族记为 ，于是对任意上升的链 都有上界 ，相对应地有 有上界 ，则由 Zorn 引理，分别存在极大元 和 ：
- 当 ，则存在满射 ， ， 为常值映射；
- 当 ，则必有 ，故存在单射 . 否则，若 ，但 ，则分别选取 ， ，且令 ，于是存在比极大元 和 的更大的集合 与 满足： ，这与极大元的定义矛盾.
1
相关话题
所有正方形的数量与所有长方形的数量相等吗？国内有哪些基础数学好的大学？
读基础数学的 Phd，是在国内更好，还是到老牌的国外大学（如美、法、英、俄、日等等）更好？
对于抽象代数中的这个互素后的怎么证明比较合适?
[求助]数学专业考研方向选择方法？
如何证明每一个有穷的偏序都可以延拓成一个线序？
如何证明这个关于良序集的命题？
如何证明所谓 是一个闭集？
所有集合的势都可比较大小吗？为什么？
集合相等的定义与空集的定义的矛盾如何理解？
前一个讨论
请问这个不等式该如何证明？
下一个讨论
《破产姐妹》里面苏菲一出场就有欢呼，为什么？
相关的话题
请问这个一阶逻辑等值式如何理解，请举一个现实的例子?若 A={x, x∉A}，那么 A 是 ∅ 吗？
如何让一个 5 岁小孩听懂什么是选择公理？
点集拓扑为什么要这样定义？具有几何意义吗？
已知映射f：N→N（其中N是正整数集），问以下三条是否可以相容？
Taylor公式证明是怎么想出来的？
复数是否包含实数？
如何用数学的方法说明极限理论的表现力强于初等数学？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
任取两个大于 2 的整数，其互质的概率是多少？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
n*n的棋盘填上1，2，...，n^2，使任意相邻（有公共边）格子里的数字之和不大于S，求S最小值?
高考结束，将来想学纯数，如何更好安排自己的暑假？
莱布尼茨的普遍语言是否可以实现？
有界可测集测度一定有限吗，无界可测集合测度一定无限吗？反之如何？
多次试图学习抽象代数，但屡屡受挫，该怎么办？
质数集P与自然数集N等势吗?
如何证明（0，1）不是可数集？
点集拓扑为什么要这样定义？具有几何意义吗？
证明被默认的结论对知识的发展有什么意义？
科学和数学的关系是什么?
若两个正整数互质，如何证明它们的平方也互质？
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
一个数介于 2 和 3 之间，那么它为无理数和有理数的概率分别为多少？
所有集合的势都可比较大小吗？为什么？
HoTT为什么不比集合论弱?
为什么集合的本身还可以是一个集合的元素？
复数是否包含实数？
如何证明悬链线图像是双曲余弦？
为什么逻辑学的排中律不是任何条件下都可使用的?