所有集合的势都可比较大小吗？为什么？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
设待比较的两非空集合为 与 ，空集无需讨论.
以 的子集 为 的某子集 的指标集，若存在，则记为：
显然有单射
则由这样的集合构成的集族记为 ，于是对任意上升的链 都有上界 ，相对应地有 有上界 ，则由 Zorn 引理，分别存在极大元 和 ：
- 当 ，则存在满射 ， ， 为常值映射；
- 当 ，则必有 ，故存在单射 . 否则，若 ，但 ，则分别选取 ， ，且令 ，于是存在比极大元 和 的更大的集合 与 满足： ，这与极大元的定义矛盾.
1
相关话题
逻辑学中，前提为假而命题为真的推论如何解释？离散数学色里的哈斯图怎么画？
数学证明费了这么大劲把这些东西证明出来，对一个人的人生、对我们身处其中的这个世界，到底有什么影响呢？
读基础数学的 Phd，是在国内更好，还是到老牌的国外大学（如美、法、英、俄、日等等）更好？
如何通俗解释偏序关系和偏序理论？它们在不同学科中有哪些应用？
如此证明（0，1）=【0，1】，是否正确？
1×0＝0 是因为 0 乘以任何数字都等于 0，还是因为 1 乘任何数字都等于那个数？
交换环的子环是否一定是交换环？
可以认为0到2之间的实数，是0到1之间的实数个数的两倍吗？
如何证明这个关于良序集的命题？
前一个讨论
请问这个不等式该如何证明？
下一个讨论
《破产姐妹》里面苏菲一出场就有欢呼，为什么？
相关的话题
如何证明f(A∩B) ⊆ f(A)∩f(B) 而不是f(A∩B) = f(A)∩f(B) ？为什么规定 0 的阶乘为 1？
如何证明每一个有穷的偏序都可以延拓成一个线序？
没有基的线性空间，是否可以构造，如何构造？
区间 [0, 1] 内的实数，为什么我证明可以数？
证明数学定理的意义是什么？
怎么学习算法信息论?
已知映射f：N→N（其中N是正整数集），问以下三条是否可以相容？
如何证明这个关于良序集的命题？
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
为什么集合的本身还可以是一个集合的元素？
在集合论里，对于二元公式φ，如何证明(任意X)(存在{x∈X：φ(x,X)})？
环中任何一个非空子集都可以生成理想吗？
有界可测集测度一定有限吗，无界可测集合测度一定无限吗？反之如何？
数学上有「从理论上根本无法证明」的东西么？
自然数0 的现实意义是什么？
如何通俗解释偏序关系和偏序理论？它们在不同学科中有哪些应用？
是否任一无穷集合都能分成两个等势的不交集合之并？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
不可列个数的集合交集并集怎么定义？
为什么规定空集是任何集合的子集，这样在数学上有什么意义？
为什么方差要定义成平方？这么定义有什么利弊？如果把方差定义成 |X－E(X)|，这又有什么利弊？
北美基础数学 尤其是代数学博士就业前景如何？
以「Q.E.D」收尾证明语段，是什么梗？
为什么度量空间中聚点等同于极限点？
为什么规定空集是任何集合的子集，这样在数学上有什么意义？
在集合论里，对于二元公式φ，如何证明(任意X)(存在{x∈X：φ(x,X)})？
为什么集合这个数学术语在麻将中没有被说明？
已知映射f：N→N（其中N是正整数集），问以下三条是否可以相容？
如何简单清晰地解释哥德尔不完备定理？