所有集合的势都可比较大小吗？为什么？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
设待比较的两非空集合为 与 ，空集无需讨论.
以 的子集 为 的某子集 的指标集，若存在，则记为：
显然有单射
则由这样的集合构成的集族记为 ，于是对任意上升的链 都有上界 ，相对应地有 有上界 ，则由 Zorn 引理，分别存在极大元 和 ：
- 当 ，则存在满射 ， ， 为常值映射；
- 当 ，则必有 ，故存在单射 . 否则，若 ，但 ，则分别选取 ， ，且令 ，于是存在比极大元 和 的更大的集合 与 满足： ，这与极大元的定义矛盾.
1
相关话题
如何证明每一个有穷的偏序都可以延拓成一个线序？如何证明（0，1）不是可数集？
为什么逻辑学的排中律不是任何条件下都可使用的?
区间 [0, 1] 内的实数，为什么我证明可以数？
问一下，这几个群是什么群，有什么性质？
是否任一无穷集合都能分成两个等势的不交集合之并？
一个数介于 2 和 3 之间，那么它为无理数和有理数的概率分别为多少？
多次试图学习抽象代数，但屡屡受挫，该怎么办？
我想证明自然数有穷可行吗？
费根鲍姆常数是什么？
前一个讨论
请问这个不等式该如何证明？
下一个讨论
《破产姐妹》里面苏菲一出场就有欢呼，为什么？
相关的话题
已知一个函数在实数域内连续，并且为周期函数，如何证明它在实数域内一致连续？如何证明集合[0, 1] × [0, 1]与集合[0, 1]等势(即存在双射）？
是否存在某些问题不能用有限步骤解决？
如何证明R1可测函数覆盖的区域是可测的？
小数点后可以有无数位，为什么两个物体仍可以相互接触？
为什么会有数学家反对对无穷集合使用排中律？
零测集的子集是否可测？
怎样看待基础数学研究者瞧不上应用数学研究者的现象？
数学家是怎样思考问题的？
如何理解区间 [0, 1] 内有理数集合的长度为 0？
为什么会有数学家反对对无穷集合使用排中律？
如何证明一个实数的所有代表元（有理数Cauchy列）组成的集合不可数？
如何证明集合[0, 1] × [0, 1]与集合[0, 1]等势(即存在双射）？
数理逻辑中集合论、模型论、证明论、可计算性理论这四大领域的内在理论联系是什么？
如何证明这个关于良序集的命题？
小数点后可以有无数位，为什么两个物体仍可以相互接触？
为什么集合这个数学术语在麻将中没有被说明？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
请问这个一阶逻辑等值式如何理解，请举一个现实的例子?
如何证明悬链线图像是双曲余弦？
如何证明不存在集合T使对任意集合F有T中的元素与F等势?
如何把微信群/QQ群构造成一个阿贝尔群？
无穷个集合的交（或者并）运算总是成立的吗？为什么？
为什么规定 0 的阶乘为 1？
5是一个已知数，设5＝x或者x＝5，这两个表达的意思在数学和语文表达正确吗？
为什么规定空集是任何集合的子集，这样在数学上有什么意义？
问一下，这几个群是什么群，有什么性质？
（纯）数学 phd 的你们和导师 meeting 的时候都聊些什么？
证明数学定理的意义是什么？
请问这个一阶逻辑等值式如何理解，请举一个现实的例子?