所有集合的势都可比较大小吗？为什么？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
设待比较的两非空集合为 与 ，空集无需讨论.
以 的子集 为 的某子集 的指标集，若存在，则记为：
显然有单射
则由这样的集合构成的集族记为 ，于是对任意上升的链 都有上界 ，相对应地有 有上界 ，则由 Zorn 引理，分别存在极大元 和 ：
- 当 ，则存在满射 ， ， 为常值映射；
- 当 ，则必有 ，故存在单射 . 否则，若 ，但 ，则分别选取 ， ，且令 ，于是存在比极大元 和 的更大的集合 与 满足： ，这与极大元的定义矛盾.
1
相关话题
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？曾经数学专业的你现在怎么样了？
既然一条直线的面积是零，那么一个由无数条线组成的几何图形为什么会有面积？
为什么规定空集是任何集合的子集，这样在数学上有什么意义？
为什么集合这个数学术语在麻将中没有被说明？
是否任一无穷集合都能分成两个等势的不交集合之并？
是否任一无穷集合都能分成两个等势的不交集合之并？
点集拓扑为什么要这样定义？具有几何意义吗？
请问这个集合不是零测集有什么具体例子吗？
离散数学色里的哈斯图怎么画？
前一个讨论
请问这个不等式该如何证明？
下一个讨论
《破产姐妹》里面苏菲一出场就有欢呼，为什么？
相关的话题
什么是博弈论语义学？数理逻辑中集合论、模型论、证明论、可计算性理论这四大领域的内在理论联系是什么？
数学大牛是怎么看待悖论和无穷的？
如何证明f(A∩B) ⊆ f(A)∩f(B) 而不是f(A∩B) = f(A)∩f(B) ？
不可列个数的集合交集并集怎么定义？
范畴论中一个范畴里两个对象之间的态射的全体为什么要是一个集合？
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？
我想证明自然数有穷可行吗？
范畴论中一个范畴里两个对象之间的态射的全体为什么要是一个集合？
逻辑学中，前提为假而命题为真的推论如何解释？
交换环的子环是否一定是交换环？
如何证明（0，1）不是可数集？
如何通俗地理解「韦达跳跃」，如何证明？
有哪些不易察觉的错误证明？
为什么会有数学家反对对无穷集合使用排中律？
复数是否包含实数？
这样的数学归纳法是否成立？
数学上，「数」是怎么定义的？
为什么数学教材里，学生首先学习的就是算术，却不学习作为基础的集合与逻辑？
这是一个主客观赋权模型，但我不理解数学意义，有没有帮忙解释一下的？
数学中有哪些看起来很不可思议的知识？
如果一个圆的度数是361°世界会有什么影响？
整数和偶数真的是「一样多」的吗？（我知道康托尔那套，但这个表述真的正确吗？）？
桌游卡牌上的描述，“当（该卡牌）两侧角色不为女性时”和“两侧不为女性角色时”的意思相同吗？
如何证明每一个有穷的偏序都可以延拓成一个线序？
如何证明f(A∩B) ⊆ f(A)∩f(B) 而不是f(A∩B) = f(A)∩f(B) ？
请问这个关于全排列的图论结论如何证明？
如何理解区间 [0, 1] 内有理数集合的长度为 0？
点集拓扑为什么要这样定义？具有几何意义吗？
小数点后可以有无数位，为什么两个物体仍可以相互接触？