所有集合的势都可比较大小吗？为什么？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
设待比较的两非空集合为 与 ，空集无需讨论.
以 的子集 为 的某子集 的指标集，若存在，则记为：
显然有单射
则由这样的集合构成的集族记为 ，于是对任意上升的链 都有上界 ，相对应地有 有上界 ，则由 Zorn 引理，分别存在极大元 和 ：
- 当 ，则存在满射 ， ， 为常值映射；
- 当 ，则必有 ，故存在单射 . 否则，若 ，但 ，则分别选取 ， ，且令 ，于是存在比极大元 和 的更大的集合 与 满足： ，这与极大元的定义矛盾.
1
相关话题
如何证明集合[0, 1] × [0, 1]与集合[0, 1]等势(即存在双射）？A是不可列集合，B是将A分割成两个不可列集合的实数的集合，证明B非空且为开集？
交换环的子环是否一定是交换环？
如何证明f(A∩B) ⊆ f(A)∩f(B) 而不是f(A∩B) = f(A)∩f(B) ？
数学家是怎样思考问题的？
设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？
请问这个集合不是零测集有什么具体例子吗？
是否有可能在复数域上建立一个与加法、乘法相容的全序关系？
等词是否可以用属于来定义？
如何证明这个关于良序集的命题？
前一个讨论
请问这个不等式该如何证明？
下一个讨论
《破产姐妹》里面苏菲一出场就有欢呼，为什么？
相关的话题
离散数学色里的哈斯图怎么画？是否有可能在复数域上建立一个与加法、乘法相容的全序关系？
在集合论里，对于二元公式φ，如何证明(任意X)(存在{x∈X：φ(x,X)})？
请问这个一阶逻辑等值式如何理解，请举一个现实的例子?
“等价”就是重言等值，“推出”就是重言蕴涵吗？
如何看待法国著名数学家、2002 年菲尔兹奖得主 Laurent Lafforgue 宣布加入华为？
为什么规定 0 的阶乘为 1？
如何证明每一个有穷的偏序都可以延拓成一个线序？
为什么国内做偏微分方程（PDE）的人这么多，而且招学生非常快？
点集拓扑为什么要这样定义？具有几何意义吗？
1×0＝0 是因为 0 乘以任何数字都等于 0，还是因为 1 乘任何数字都等于那个数？
数学大牛是怎么看待悖论和无穷的？
下面这个集合可数吗？
数学中有哪些看起来很不可思议的知识？
为什么集合这个数学术语在麻将中没有被说明？
不可列个数的集合交集并集怎么定义？
如何分配砝码使天平尽可能平衡？
没有基的线性空间，是否可以构造，如何构造？
一个数介于 2 和 3 之间，那么它为无理数和有理数的概率分别为多少？
n! 和 n²，哪个更大呢？
请问这个一阶逻辑等值式如何理解，请举一个现实的例子?
质数集P与自然数集N等势吗?
这样的数学归纳法是否成立？
在集合的势的意义下，是否存在比实数集更大的全序集？
若两个正整数互质，如何证明它们的平方也互质？
数理逻辑中集合论、模型论、证明论、可计算性理论这四大领域的内在理论联系是什么？
设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？
在离散数学中偏序关系和偏序集是什么意思？
麻生公开课教材问题如果a, b是两个相等的实数，那么a=0.是否正确？
在集合论里，对于二元公式φ，如何证明(任意X)(存在{x∈X：φ(x,X)})？