所有集合的势都可比较大小吗？为什么？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
设待比较的两非空集合为 与 ，空集无需讨论.
以 的子集 为 的某子集 的指标集，若存在，则记为：
显然有单射
则由这样的集合构成的集族记为 ，于是对任意上升的链 都有上界 ，相对应地有 有上界 ，则由 Zorn 引理，分别存在极大元 和 ：
- 当 ，则存在满射 ， ， 为常值映射；
- 当 ，则必有 ，故存在单射 . 否则，若 ，但 ，则分别选取 ， ，且令 ，于是存在比极大元 和 的更大的集合 与 满足： ，这与极大元的定义矛盾.
1
相关话题
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？为什么逻辑学给入门者的感觉如此之乱？
数学史上有哪些问题是通过构造出一套新的理论才得以解决的？必须要构造新的理论才能解决这些问题吗？
怎么逐步学习 PDE？
如何通俗解释偏序关系和偏序理论？它们在不同学科中有哪些应用？
零测集的子集是否可测？
如何证明每一个有穷的偏序都可以延拓成一个线序？
σ-代数为什么叫代数？它有代数结构吗？
在集合论里，对于二元公式φ，如何证明(任意X)(存在{x∈X：φ(x,X)})？
数学中有哪些看起来很不可思议的知识？
前一个讨论
请问这个不等式该如何证明？
下一个讨论
《破产姐妹》里面苏菲一出场就有欢呼，为什么？
相关的话题
在集合论里，对于二元公式φ，如何证明(任意X)(存在{x∈X：φ(x,X)})？为什么规定空集是任何集合的子集，这样在数学上有什么意义？
怎么学习算法信息论?
如何证明（0，1）不是可数集？
集合论与微积分？
为什么逻辑学的排中律不是任何条件下都可使用的?
为什么数学上证明必然正难则反易——补集思想，原理出处？
为什么逻辑学的排中律不是任何条件下都可使用的?
做基础数学研究的人是怎样的研究模式呢？
零测集的子集是否可测？
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？
如何通俗地理解「韦达跳跃」，如何证明？
不可列个数的集合交集并集怎么定义？
数学大牛是怎么看待悖论和无穷的？
什么是「集合的势」？「连续统假设」的历史和研究进展是怎样的？
如何证明这个关于良序集的命题？
拓扑学能解决哪些分析学无法解决的问题？
这是一个主客观赋权模型，但我不理解数学意义，有没有帮忙解释一下的？
为什么方差要定义成平方？这么定义有什么利弊？如果把方差定义成 |X－E(X)|，这又有什么利弊？
为什么数学上证明必然正难则反易——补集思想，原理出处？
逻辑学中，前提为假而命题为真的推论如何解释？
环中任何一个非空子集都可以生成理想吗？
等词是否可以用属于来定义？
为什么数学专业书籍经常为黄色封面？
以数学史的观点来看，集合论是如何成为数学基础的？
证明数学定理的意义是什么？
数系从有理数扩充为实数的跨越有无产生一些问题？
有界可测集测度一定有限吗，无界可测集合测度一定无限吗？反之如何？
范畴论中一个范畴里两个对象之间的态射的全体为什么要是一个集合？
在离散数学中偏序关系和偏序集是什么意思？