所有集合的势都可比较大小吗？为什么？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
设待比较的两非空集合为 与 ，空集无需讨论.
以 的子集 为 的某子集 的指标集，若存在，则记为：
显然有单射
则由这样的集合构成的集族记为 ，于是对任意上升的链 都有上界 ，相对应地有 有上界 ，则由 Zorn 引理，分别存在极大元 和 ：
- 当 ，则存在满射 ， ， 为常值映射；
- 当 ，则必有 ，故存在单射 . 否则，若 ，但 ，则分别选取 ， ，且令 ，于是存在比极大元 和 的更大的集合 与 满足： ，这与极大元的定义矛盾.
1
相关话题
数学中有哪些表面没有关系但是内在有深刻联系的问题？所有集合的势都可比较大小吗？为什么？
σ-代数为什么叫代数？它有代数结构吗？
为什么不可数个互不相同的集合之并集可以是可数集?
怎么建立复数与实数的一一对应？
若 A={x, x∉A}，那么 A 是 ∅ 吗？
上帝悖论是否有解？
如何反对同学这样解释无理数和有理数一样多？
假如数学没有了自然数的概念及其性质会怎样？
证明的定义是什么？证明的意义是什么？
前一个讨论
请问这个不等式该如何证明？
下一个讨论
《破产姐妹》里面苏菲一出场就有欢呼，为什么？
相关的话题
你研究的数学领域有哪些重要但不出名的猜想？是否存在某些问题不能用有限步骤解决？
整数和偶数真的是「一样多」的吗？（我知道康托尔那套，但这个表述真的正确吗？）？
“等价”就是重言等值，“推出”就是重言蕴涵吗？
为什么不可数个互不相同的集合之并集可以是可数集?
微积分的哲学基础是什么？
怎么学习算法信息论?
如何证明（0，1）不是可数集？
是否有可能在复数域上建立一个与加法、乘法相容的全序关系？
多次试图学习抽象代数，但屡屡受挫，该怎么办？
复数是否包含实数？
怎么学习算法信息论?
为什么需要对唯一性进行证明？
“黎曼猜想在公元2030年之前（含2030年）被证明的概率大于等于60%”这个陈述是不是命题？
如何证明紧致的度量空间都是第二可数空间？
环中任何一个非空子集都可以生成理想吗？
如何理解（证明）不存在与自己的真子集等势的自然数?
如何理解数学里的「若 A 不真，则 A→B 总是真的」这种蕴含关系？
上帝悖论是否有解？
如何理解（证明）不存在与自己的真子集等势的自然数?
如何证明所谓 是一个闭集？
不可列个数的集合交集并集怎么定义？
已知映射f：N→N（其中N是正整数集），问以下三条是否可以相容？
HoTT为什么不比集合论弱?
数学证明费了这么大劲把这些东西证明出来，对一个人的人生、对我们身处其中的这个世界，到底有什么影响呢？
为什么规定空集是任何集合的子集，这样在数学上有什么意义？
哪个瞬间让你觉得学数学真有用？
如何证明下面的集合论问题？
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？
零测集的子集是否可测？