所有集合的势都可比较大小吗？为什么？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
设待比较的两非空集合为 与 ，空集无需讨论.
以 的子集 为 的某子集 的指标集，若存在，则记为：
显然有单射
则由这样的集合构成的集族记为 ，于是对任意上升的链 都有上界 ，相对应地有 有上界 ，则由 Zorn 引理，分别存在极大元 和 ：
- 当 ，则存在满射 ， ， 为常值映射；
- 当 ，则必有 ，故存在单射 . 否则，若 ，但 ，则分别选取 ， ，且令 ，于是存在比极大元 和 的更大的集合 与 满足： ，这与极大元的定义矛盾.
1
相关话题
如何证明实数集的不可数子集含有它自己的不可数个聚点？在集合的势的意义下，是否存在比实数集更大的全序集？
为什么会有数学家反对对无穷集合使用排中律？
如何理解（证明）不存在与自己的真子集等势的自然数?
怎样看待基础数学研究者瞧不上应用数学研究者的现象？
数学上，「数」是怎么定义的？
为什么数学教材里，学生首先学习的就是算术，却不学习作为基础的集合与逻辑？
如何证明（0，1）不是可数集？
交换环的子环是否一定是交换环？
数学史上有哪些问题是通过构造出一套新的理论才得以解决的？必须要构造新的理论才能解决这些问题吗？
前一个讨论
请问这个不等式该如何证明？
下一个讨论
《破产姐妹》里面苏菲一出场就有欢呼，为什么？
相关的话题
这是一个主客观赋权模型，但我不理解数学意义，有没有帮忙解释一下的？怎样看待基础数学研究者瞧不上应用数学研究者的现象？
为什么数学上证明必然正难则反易——补集思想，原理出处？
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？
数理逻辑中集合论、模型论、证明论、可计算性理论这四大领域的内在理论联系是什么？
以「Q.E.D」收尾证明语段，是什么梗？
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
收敛的有理系数幂级数个数可数么？
一个数介于 2 和 3 之间，那么它为无理数和有理数的概率分别为多少？
环中任何一个非空子集都可以生成理想吗？
如何证明实数集的不可数子集含有它自己的不可数个聚点？
下面这个集合可数吗？
无穷个集合的交（或者并）运算总是成立的吗？为什么？
如此证明（0，1）=【0，1】，是否正确？
有界可测集测度一定有限吗，无界可测集合测度一定无限吗？反之如何？
集合相等的定义与空集的定义的矛盾如何理解？
对于抽象代数中的这个互素后的怎么证明比较合适?
离散数学求帮忙？
数学上有「从理论上根本无法证明」的东西么？
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？
这样的数学归纳法是否成立？
质数集P与自然数集N等势吗?
为什么数学专业书籍经常为黄色封面？
我想证明自然数有穷可行吗？
P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？
为什么不可数个互不相同的集合之并集可以是可数集?
做基础数学研究的人是怎样的研究模式呢？
如果一个圆的度数是361°世界会有什么影响？
离散数学色里的哈斯图怎么画？
为什么数学定义一般采用如下形式：X has property P, if（条件），而不是 iff？