所有集合的势都可比较大小吗？为什么？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
设待比较的两非空集合为 与 ，空集无需讨论.
以 的子集 为 的某子集 的指标集，若存在，则记为：
显然有单射
则由这样的集合构成的集族记为 ，于是对任意上升的链 都有上界 ，相对应地有 有上界 ，则由 Zorn 引理，分别存在极大元 和 ：
- 当 ，则存在满射 ， ， 为常值映射；
- 当 ，则必有 ，故存在单射 . 否则，若 ，但 ，则分别选取 ， ，且令 ，于是存在比极大元 和 的更大的集合 与 满足： ，这与极大元的定义矛盾.
1
相关话题
小学数学为什么不从集合论学起？如何直观地理解群论？
哪个瞬间让你觉得学数学真有用？
既然一条直线的面积是零，那么一个由无数条线组成的几何图形为什么会有面积？
如何证明Q[³√5]是域？
以数学史的观点来看，集合论是如何成为数学基础的？
小数点后可以有无数位，为什么两个物体仍可以相互接触？
为什么需要对唯一性进行证明？
当我们说一个定理可以推出另一个定理的时候, 我们在说什么?
如何理解（证明）不存在与自己的真子集等势的自然数?
前一个讨论
请问这个不等式该如何证明？
下一个讨论
《破产姐妹》里面苏菲一出场就有欢呼，为什么？
相关的话题
有理数集如何拓展到实数集的？如何让一个 5 岁小孩听懂什么是选择公理？
如何证明所谓 是一个闭集？
如何理解数学里的「若 A 不真，则 A→B 总是真的」这种蕴含关系？
为什么集合这个数学术语在麻将中没有被说明？
是否存在不可数个实数，其中任意有限多个在有理数上线性无关？
哥德尔不完备性定理宣示了逻辑的边界，是否意味着逻辑本身证明了逻辑是有缺陷的，人类如何突破逻辑的窒锢？
为什么集合这个数学术语在麻将中没有被说明？
没有基的线性空间，是否可以构造，如何构造？
为什么规定 0 的阶乘为 1？
数系从有理数扩充为实数的跨越有无产生一些问题？
曾经数学专业的你现在怎么样了？
如此证明（0，1）=【0，1】，是否正确？
如何证明集合[0, 1] × [0, 1]与集合[0, 1]等势(即存在双射）？
哥德尔不完备性定理宣示了逻辑的边界，是否意味着逻辑本身证明了逻辑是有缺陷的，人类如何突破逻辑的窒锢？
如何证明不存在集合T使对任意集合F有T中的元素与F等势?
哥德尔不完备性定理宣示了逻辑的边界，是否意味着逻辑本身证明了逻辑是有缺陷的，人类如何突破逻辑的窒锢？
数学中有哪些表面没有关系但是内在有深刻联系的问题？
如何简单清晰地解释哥德尔不完备定理？
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？
数理逻辑中集合论、模型论、证明论、可计算性理论这四大领域的内在理论联系是什么？
如何理解区间 [0, 1] 内有理数集合的长度为 0？
如何证明（0，1）不是可数集？
如何用数学的方法说明极限理论的表现力强于初等数学？
如何证明Q[³√5]是域？
数学中有哪些看起来很不可思议的知识？
多次试图学习抽象代数，但屡屡受挫，该怎么办？
如何证明这个关于良序集的命题？
下面这个集合可数吗？
（纯）数学 phd 的你们和导师 meeting 的时候都聊些什么？