所有集合的势都可比较大小吗？为什么？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
设待比较的两非空集合为 与 ，空集无需讨论.
以 的子集 为 的某子集 的指标集，若存在，则记为：
显然有单射
则由这样的集合构成的集族记为 ，于是对任意上升的链 都有上界 ，相对应地有 有上界 ，则由 Zorn 引理，分别存在极大元 和 ：
- 当 ，则存在满射 ， ， 为常值映射；
- 当 ，则必有 ，故存在单射 . 否则，若 ，但 ，则分别选取 ， ，且令 ，于是存在比极大元 和 的更大的集合 与 满足： ，这与极大元的定义矛盾.
1
相关话题
零测集的子集是否可测？如何证明紧致的度量空间都是第二可数空间？
HoTT为什么不比集合论弱?
为什么逻辑学的排中律不是任何条件下都可使用的?
如何证明所谓 是一个闭集？
数学上有「从理论上根本无法证明」的东西么？
环中任何一个非空子集都可以生成理想吗？
逻辑学中，前提为假而命题为真的推论如何解释？
有界可测集测度一定有限吗，无界可测集合测度一定无限吗？反之如何？
S={x|x∉x}，因为不存在x满足x∉x，所以S为空集，还是{Ø}?
前一个讨论
请问这个不等式该如何证明？
下一个讨论
《破产姐妹》里面苏菲一出场就有欢呼，为什么？
相关的话题
如何证明 2 的平方根不是有理数？如何证明每一个有穷的偏序都可以延拓成一个线序？
HoTT为什么不比集合论弱?
请问这个集合不是零测集有什么具体例子吗？
有没有什么和“数学归纳法名字中虽然有归纳两字，却不是归纳推理，而是演绎推理”类似的数学例子呀？
有没有什么和“数学归纳法名字中虽然有归纳两字，却不是归纳推理，而是演绎推理”类似的数学例子呀？
如何用数学的方法说明极限理论的表现力强于初等数学？
为什么需要对唯一性进行证明？
范畴论中一个范畴里两个对象之间的态射的全体为什么要是一个集合？
A是不可列集合，B是将A分割成两个不可列集合的实数的集合，证明B非空且为开集？
为什么集合这个数学术语在麻将中没有被说明？
这是一个主客观赋权模型，但我不理解数学意义，有没有帮忙解释一下的？
P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？
在离散数学中偏序关系和偏序集是什么意思？
为什么集合的本身还可以是一个集合的元素？
如何理解数学证明中的容易验证？
什么是博弈论语义学？
为什么数学专业书籍经常为黄色封面？
已知映射f：N→N（其中N是正整数集），问以下三条是否可以相容？
什么是博弈论语义学？
模糊层次分析法的三角模糊值含意？
高考结束，将来想学纯数，如何更好安排自己的暑假？
有理数集如何拓展到实数集的？
所有正方形的数量与所有长方形的数量相等吗？
能否求出n次对称群中置换的最大阶？
逻辑学中，前提为假而命题为真的推论如何解释？
如何用数学的方法说明极限理论的表现力强于初等数学？
环中任何一个非空子集都可以生成理想吗？
为什么方差要定义成平方？这么定义有什么利弊？如果把方差定义成 |X－E(X)|，这又有什么利弊？
为什么集合这个数学术语在麻将中没有被说明？