所有集合的势都可比较大小吗？为什么？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
设待比较的两非空集合为 与 ，空集无需讨论.
以 的子集 为 的某子集 的指标集，若存在，则记为：
显然有单射
则由这样的集合构成的集族记为 ，于是对任意上升的链 都有上界 ，相对应地有 有上界 ，则由 Zorn 引理，分别存在极大元 和 ：
- 当 ，则存在满射 ， ， 为常值映射；
- 当 ，则必有 ，故存在单射 . 否则，若 ，但 ，则分别选取 ， ，且令 ，于是存在比极大元 和 的更大的集合 与 满足： ，这与极大元的定义矛盾.
1
相关话题
正整数和正整数中的偶数哪个多（如何证明）？在集合论里，对于二元公式φ，如何证明(任意X)(存在{x∈X：φ(x,X)})？
读基础数学的 Phd，是在国内更好，还是到老牌的国外大学（如美、法、英、俄、日等等）更好？
环中任何一个非空子集都可以生成理想吗？
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？
1×0＝0 是因为 0 乘以任何数字都等于 0，还是因为 1 乘任何数字都等于那个数？
当今世界数学已经发展到本科生难以理解的地步了吗？
如何证明R1可测函数覆盖的区域是可测的？
质数集P与自然数集N等势吗?
哪个瞬间让你觉得学数学真有用？
前一个讨论
请问这个不等式该如何证明？
下一个讨论
《破产姐妹》里面苏菲一出场就有欢呼，为什么？
相关的话题
对于抽象代数中的这个互素后的怎么证明比较合适?这是一个主客观赋权模型，但我不理解数学意义，有没有帮忙解释一下的？
为什么逻辑学的排中律不是任何条件下都可使用的?
小数点后可以有无数位，为什么两个物体仍可以相互接触？
如何证明下面的集合论问题？
环中任何一个非空子集都可以生成理想吗？
是否存在某些问题不能用有限步骤解决？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
为什么集合的本身还可以是一个集合的元素？
为什么会有数学家反对对无穷集合使用排中律？
是否存在某些问题不能用有限步骤解决？
已知映射f：N→N（其中N是正整数集），问以下三条是否可以相容？
环中任何一个非空子集都可以生成理想吗？
为什么基础数学学科很少出现论文大量造假或者导师压榨学生促使其跳楼之类的事件？
康托尔著名的对角线证明？
所有集合的势都可比较大小吗？为什么？
数理逻辑中集合论、模型论、证明论、可计算性理论这四大领域的内在理论联系是什么？
国内有哪些基础数学好的大学？
以数学史的观点来看，集合论是如何成为数学基础的？
如此证明（0，1）=【0，1】，是否正确？
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
正整数和正整数中的偶数哪个多（如何证明）？
哥德尔不完备性定理宣示了逻辑的边界，是否意味着逻辑本身证明了逻辑是有缺陷的，人类如何突破逻辑的窒锢？
无竞赛经历的大一下数院学生，想自学些知识。大家有什么推荐么(有人推荐拓扑和抽代)，最好能给出书名。？
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？
请问0除0是无解还是无限个解?
怎么学习算法信息论?
做基础数学研究的人是怎样的研究模式呢？
质数集P与自然数集N等势吗?
既然一条直线的面积是零，那么一个由无数条线组成的几何图形为什么会有面积？