所有集合的势都可比较大小吗？为什么？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
设待比较的两非空集合为 与 ，空集无需讨论.
以 的子集 为 的某子集 的指标集，若存在，则记为：
显然有单射
则由这样的集合构成的集族记为 ，于是对任意上升的链 都有上界 ，相对应地有 有上界 ，则由 Zorn 引理，分别存在极大元 和 ：
- 当 ，则存在满射 ， ， 为常值映射；
- 当 ，则必有 ，故存在单射 . 否则，若 ，但 ，则分别选取 ， ，且令 ，于是存在比极大元 和 的更大的集合 与 满足： ，这与极大元的定义矛盾.
1
相关话题
数理逻辑中集合论、模型论、证明论、可计算性理论这四大领域的内在理论联系是什么？若两个正整数互质，如何证明它们的平方也互质？
求问学抽象代数的大佬，如果f(x)的次数为n，那么分裂域E/F的次数为什么是n!，分裂域的次数是什么?
离散数学求帮忙？
是否存在正整数a，b，c满足a²+b²=c²，当给定一个c值时，a，b有多种取值？
等词是否可以用属于来定义？
自然数0 的现实意义是什么？
集合论与微积分？
有理数集和无理数集哪个大，为什么？
[求助]数学专业考研方向选择方法？
前一个讨论
请问这个不等式该如何证明？
下一个讨论
《破产姐妹》里面苏菲一出场就有欢呼，为什么？
相关的话题
无穷个集合的交（或者并）运算总是成立的吗？为什么？为什么会有数学家反对对无穷集合使用排中律？
为什么会有数学家反对对无穷集合使用排中律？
为什么我会感觉用数学归纳法证明很low？而用其他证明方法就显得很高大上？
一些人为什么会去选数学专业？
离散数学色里的哈斯图怎么画？
没有基的线性空间，是否可以构造，如何构造？
科学和数学的关系是什么?
如何证明悬链线图像是双曲余弦？
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？
无穷个集合的交（或者并）运算总是成立的吗？为什么？
正整数和正整数中的偶数哪个多（如何证明）？
范畴论中一个范畴里两个对象之间的态射的全体为什么要是一个集合？
零测集的子集是否可测？
（纯）数学 phd 的你们和导师 meeting 的时候都聊些什么？
如何证明R1可测函数覆盖的区域是可测的？
为什么不可数个互不相同的集合之并集可以是可数集?
在集合的势的意义下，是否存在比实数集更大的全序集？
如何把微信群/QQ群构造成一个阿贝尔群？
在数学中，为什么我们要视悖论为洪水猛兽？这难道不是在歧视悖论吗？
离散数学求帮忙？
环中任何一个非空子集都可以生成理想吗？
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？
如何理解区间 [0, 1] 内有理数集合的长度为 0？
如何把微信群/QQ群构造成一个阿贝尔群？
任取两个大于 2 的整数，其互质的概率是多少？
问一下，这几个群是什么群，有什么性质？
为什么方差要定义成平方？这么定义有什么利弊？如果把方差定义成 |X－E(X)|，这又有什么利弊？
这样的数学归纳法是否成立？
“等价”就是重言等值，“推出”就是重言蕴涵吗？