所有集合的势都可比较大小吗？为什么？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
设待比较的两非空集合为 与 ，空集无需讨论.
以 的子集 为 的某子集 的指标集，若存在，则记为：
显然有单射
则由这样的集合构成的集族记为 ，于是对任意上升的链 都有上界 ，相对应地有 有上界 ，则由 Zorn 引理，分别存在极大元 和 ：
- 当 ，则存在满射 ， ， 为常值映射；
- 当 ，则必有 ，故存在单射 . 否则，若 ，但 ，则分别选取 ， ，且令 ，于是存在比极大元 和 的更大的集合 与 满足： ，这与极大元的定义矛盾.
1
相关话题
做基础数学研究的人是怎样的研究模式呢？有哪些不易察觉的错误证明？
数学中有哪些看起来很不可思议的知识？
数学史上有哪些问题是通过构造出一套新的理论才得以解决的？必须要构造新的理论才能解决这些问题吗？
Taylor公式证明是怎么想出来的？
数学史上有哪些问题是通过构造出一套新的理论才得以解决的？必须要构造新的理论才能解决这些问题吗？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
一个数介于 2 和 3 之间，那么它为无理数和有理数的概率分别为多少？
为什么数学专业书籍经常为黄色封面？
如何证明实数集的不可数子集含有它自己的不可数个聚点？
前一个讨论
请问这个不等式该如何证明？
下一个讨论
《破产姐妹》里面苏菲一出场就有欢呼，为什么？
相关的话题
数学家在知道哥德尔不完备定理后为何还继续研究数学？为什么我会感觉用数学归纳法证明很low？而用其他证明方法就显得很高大上？
叶戈罗夫定理的逆定理该怎么证明？
如何证明所谓 是一个闭集？
在离散数学中偏序关系和偏序集是什么意思？
如此证明（0，1）=【0，1】，是否正确？
区间 [0, 1] 内的实数，为什么我证明可以数？
是否存在不可数个实数，其中任意有限多个在有理数上线性无关？
如何证明紧致的度量空间都是第二可数空间？
问一下，这几个群是什么群，有什么性质？
如何解决这个图的特征值问题？
如何证明下面的集合论问题？
有没有什么和“数学归纳法名字中虽然有归纳两字，却不是归纳推理，而是演绎推理”类似的数学例子呀？
如何理解（证明）不存在与自己的真子集等势的自然数?
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
请问这个关于全排列的图论结论如何证明？
所有集合的势都可比较大小吗？为什么？
数学证明费了这么大劲把这些东西证明出来，对一个人的人生、对我们身处其中的这个世界，到底有什么影响呢？
无穷个集合的交（或者并）运算总是成立的吗？为什么？
当我们说一个定理可以推出另一个定理的时候, 我们在说什么?
离散数学色里的哈斯图怎么画？
HoTT为什么不比集合论弱?
所有集合的势都可比较大小吗？为什么？
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？
数学大牛是怎么看待悖论和无穷的？
有哪些不易察觉的错误证明？
麻生公开课教材问题如果a, b是两个相等的实数，那么a=0.是否正确？
费根鲍姆常数是什么？
为什么数学教材里，学生首先学习的就是算术，却不学习作为基础的集合与逻辑？
如何理解（证明）不存在与自己的真子集等势的自然数?