所有集合的势都可比较大小吗？为什么？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
设待比较的两非空集合为 与 ，空集无需讨论.
以 的子集 为 的某子集 的指标集，若存在，则记为：
显然有单射
则由这样的集合构成的集族记为 ，于是对任意上升的链 都有上界 ，相对应地有 有上界 ，则由 Zorn 引理，分别存在极大元 和 ：
- 当 ，则存在满射 ， ， 为常值映射；
- 当 ，则必有 ，故存在单射 . 否则，若 ，但 ，则分别选取 ， ，且令 ，于是存在比极大元 和 的更大的集合 与 满足： ，这与极大元的定义矛盾.
1
相关话题
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？交换环的子环是否一定是交换环？
如此证明（0，1）=【0，1】，是否正确？
数学家在知道哥德尔不完备定理后为何还继续研究数学？
能否求出n次对称群中置换的最大阶？
什么是「集合的势」？「连续统假设」的历史和研究进展是怎样的？
请问这个关于全排列的图论结论如何证明？
这是一个主客观赋权模型，但我不理解数学意义，有没有帮忙解释一下的？
以「Q.E.D」收尾证明语段，是什么梗？
n*n的棋盘填上1，2，...，n^2，使任意相邻（有公共边）格子里的数字之和不大于S，求S最小值?
前一个讨论
请问这个不等式该如何证明？
下一个讨论
《破产姐妹》里面苏菲一出场就有欢呼，为什么？
相关的话题
以数学史的观点来看，集合论是如何成为数学基础的？集合相等的定义与空集的定义的矛盾如何理解？
上帝悖论是否有解？
如此证明（0，1）=【0，1】，是否正确？
如何证明空集不是任意集合的子集？
怎样看待基础数学研究者瞧不上应用数学研究者的现象？
哥德尔不完备性定理宣示了逻辑的边界，是否意味着逻辑本身证明了逻辑是有缺陷的，人类如何突破逻辑的窒锢？
HoTT为什么不比集合论弱?
问一下，这几个群是什么群，有什么性质？
如何通俗地理解「韦达跳跃」，如何证明？
以数学史的观点来看，集合论是如何成为数学基础的？
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？
我想证明自然数有穷可行吗？
“黎曼猜想在公元2030年之前（含2030年）被证明的概率大于等于60%”这个陈述是不是命题？
“黎曼猜想在公元2030年之前（含2030年）被证明的概率大于等于60%”这个陈述是不是命题？
如何证明没有上帝？
集合相等的定义与空集的定义的矛盾如何理解？
有哪些不易察觉的错误证明？
上帝悖论是否有解？
如果一个圆的度数是361°世界会有什么影响？
如何证明 2 的平方根不是有理数？
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？
如何让一个 5 岁小孩听懂什么是选择公理？
北美基础数学 尤其是代数学博士就业前景如何？
这个猜实数的游戏有没有必胜策略?
无穷个集合的交（或者并）运算总是成立的吗？为什么？
如何反对同学这样解释无理数和有理数一样多？
怎样看待基础数学研究者瞧不上应用数学研究者的现象？
如何理解（证明）不存在与自己的真子集等势的自然数?
所有集合的势都可比较大小吗？为什么？