所有集合的势都可比较大小吗？为什么？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
设待比较的两非空集合为 与 ，空集无需讨论.
以 的子集 为 的某子集 的指标集，若存在，则记为：
显然有单射
则由这样的集合构成的集族记为 ，于是对任意上升的链 都有上界 ，相对应地有 有上界 ，则由 Zorn 引理，分别存在极大元 和 ：
- 当 ，则存在满射 ， ， 为常值映射；
- 当 ，则必有 ，故存在单射 . 否则，若 ，但 ，则分别选取 ， ，且令 ，于是存在比极大元 和 的更大的集合 与 满足： ，这与极大元的定义矛盾.
1
相关话题
A是不可列集合，B是将A分割成两个不可列集合的实数的集合，证明B非空且为开集？这样的数学归纳法是否成立？
如何证明集合[0, 1] × [0, 1]与集合[0, 1]等势(即存在双射）？
站在一个无穷大的围棋/五子棋盘上的任意格点上，能够看到的格点都放上黑棋，黑棋占格点比例多少？
下面这个集合可数吗？
为什么逻辑学给入门者的感觉如此之乱？
数系从有理数扩充为实数的跨越有无产生一些问题？
整数和偶数真的是「一样多」的吗？（我知道康托尔那套，但这个表述真的正确吗？）？
如果一个圆的度数是361°世界会有什么影响？
Taylor公式证明是怎么想出来的？
前一个讨论
请问这个不等式该如何证明？
下一个讨论
《破产姐妹》里面苏菲一出场就有欢呼，为什么？
相关的话题
如何证明 2 的平方根不是有理数？不可列个数的集合交集并集怎么定义？
有理数集和无理数集哪个大，为什么？
请问这个集合不是零测集有什么具体例子吗？
环中任何一个非空子集都可以生成理想吗？
数系从有理数扩充为实数的跨越有无产生一些问题？
什么是「集合的势」？「连续统假设」的历史和研究进展是怎样的？
是否存在不可数个实数，其中任意有限多个在有理数上线性无关？
零测集的子集是否可测？
有哪些不易察觉的错误证明？
交换环的子环是否一定是交换环？
σ-代数为什么叫代数？它有代数结构吗？
一个数介于 2 和 3 之间，那么它为无理数和有理数的概率分别为多少？
复数是否包含实数？
问一个很严肃的问题，中国当代哲学水平到底怎样？
如何证明每一个有穷的偏序都可以延拓成一个线序？
上帝悖论是否有解？
为什么集合的本身还可以是一个集合的元素？
为什么数学专业书籍经常为黄色封面？
Taylor公式证明是怎么想出来的？
求问学抽象代数的大佬，如果f(x)的次数为n，那么分裂域E/F的次数为什么是n!，分裂域的次数是什么?
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？
A是不可列集合，B是将A分割成两个不可列集合的实数的集合，证明B非空且为开集？
如何证明紧致的度量空间都是第二可数空间？
数理逻辑中集合论、模型论、证明论、可计算性理论这四大领域的内在理论联系是什么？
在集合的势的意义下，是否存在比实数集更大的全序集？
高考结束，将来想学纯数，如何更好安排自己的暑假？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
什么是图形的面积？
如何理解（证明）不存在与自己的真子集等势的自然数?