所有集合的势都可比较大小吗？为什么？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
设待比较的两非空集合为 与 ，空集无需讨论.
以 的子集 为 的某子集 的指标集，若存在，则记为：
显然有单射
则由这样的集合构成的集族记为 ，于是对任意上升的链 都有上界 ，相对应地有 有上界 ，则由 Zorn 引理，分别存在极大元 和 ：
- 当 ，则存在满射 ， ， 为常值映射；
- 当 ，则必有 ，故存在单射 . 否则，若 ，但 ，则分别选取 ， ，且令 ，于是存在比极大元 和 的更大的集合 与 满足： ，这与极大元的定义矛盾.
1
相关话题
若 A={x, x∉A}，那么 A 是 ∅ 吗？数学中有哪些看起来很不可思议的知识？
怎么学习算法信息论?
是否存在正整数a，b，c满足a²+b²=c²，当给定一个c值时，a，b有多种取值？
质数集P与自然数集N等势吗?
对于抽象代数中的这个互素后的怎么证明比较合适?
请问如何把所有自然数均分成三类？
如何证明每一个有穷的偏序都可以延拓成一个线序？
已知一个函数在实数域内连续，并且为周期函数，如何证明它在实数域内一致连续？
如何简单清晰地解释哥德尔不完备定理？
前一个讨论
请问这个不等式该如何证明？
下一个讨论
《破产姐妹》里面苏菲一出场就有欢呼，为什么？
相关的话题
小学数学为什么不从集合论学起？为什么规定 0 的阶乘为 1？
证明的定义是什么？证明的意义是什么？
怎么学习算法信息论?
选择公理有哪些反直觉的应用？
集合相等的定义与空集的定义的矛盾如何理解？
请问这两个在表达方式上很相似的结论是否有相通的地方（感觉他们证明方法也很像）？
怎么建立复数与实数的一一对应？
以「Q.E.D」收尾证明语段，是什么梗？
在离散数学中偏序关系和偏序集是什么意思？
不可列个数的集合交集并集怎么定义？
所有集合的势都可比较大小吗？为什么？
怎么建立复数与实数的一一对应？
如何简单清晰地解释哥德尔不完备定理？
是否有可能在复数域上建立一个与加法、乘法相容的全序关系？
莱布尼茨的普遍语言是否可以实现？
请问这个一阶逻辑等值式如何理解，请举一个现实的例子?
当我们说一个定理可以推出另一个定理的时候, 我们在说什么?
为什么我会感觉用数学归纳法证明很low？而用其他证明方法就显得很高大上？
当我们说一个定理可以推出另一个定理的时候, 我们在说什么?
为什么逻辑学的排中律不是任何条件下都可使用的?
如何用数学的方法说明极限理论的表现力强于初等数学？
区间 [0, 1] 内的实数，为什么我证明可以数？
如何让一个 5 岁小孩听懂什么是选择公理？
如何用数学的方法说明极限理论的表现力强于初等数学？
麻生公开课教材问题如果a, b是两个相等的实数，那么a=0.是否正确？
怎么学习算法信息论?
有哪些不易察觉的错误证明？
请问这个集合不是零测集有什么具体例子吗？
如何看待法国著名数学家、2002 年菲尔兹奖得主 Laurent Lafforgue 宣布加入华为？