所有集合的势都可比较大小吗？为什么？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
设待比较的两非空集合为 与 ，空集无需讨论.
以 的子集 为 的某子集 的指标集，若存在，则记为：
显然有单射
则由这样的集合构成的集族记为 ，于是对任意上升的链 都有上界 ，相对应地有 有上界 ，则由 Zorn 引理，分别存在极大元 和 ：
- 当 ，则存在满射 ， ， 为常值映射；
- 当 ，则必有 ，故存在单射 . 否则，若 ，但 ，则分别选取 ， ，且令 ，于是存在比极大元 和 的更大的集合 与 满足： ，这与极大元的定义矛盾.
1
相关话题
如何证明没有上帝？如何让一个 5 岁小孩听懂什么是选择公理？
对于抽象代数中的这个互素后的怎么证明比较合适?
为什么基础数学学科很少出现论文大量造假或者导师压榨学生促使其跳楼之类的事件？
收敛的有理系数幂级数个数可数么？
交换环的子环是否一定是交换环？
模糊层次分析法的三角模糊值含意？
HoTT为什么不比集合论弱?
如何通俗解释偏序关系和偏序理论？它们在不同学科中有哪些应用？
读基础数学的 Phd，是在国内更好，还是到老牌的国外大学（如美、法、英、俄、日等等）更好？
前一个讨论
请问这个不等式该如何证明？
下一个讨论
《破产姐妹》里面苏菲一出场就有欢呼，为什么？
相关的话题
“等价”就是重言等值，“推出”就是重言蕴涵吗？为什么数学专业书籍经常为黄色封面？
环中任何一个非空子集都可以生成理想吗？
费根鲍姆常数是什么？
复数是否包含实数？
莱布尼茨的普遍语言是否可以实现？
已知一个函数在实数域内连续，并且为周期函数，如何证明它在实数域内一致连续？
如何通俗地理解「韦达跳跃」，如何证明？
如何通俗解释偏序关系和偏序理论？它们在不同学科中有哪些应用？
为什么规定 0 的阶乘为 1？
数理逻辑中集合论、模型论、证明论、可计算性理论这四大领域的内在理论联系是什么？
数理逻辑中集合论、模型论、证明论、可计算性理论这四大领域的内在理论联系是什么？
“黎曼猜想在公元2030年之前（含2030年）被证明的概率大于等于60%”这个陈述是不是命题？
如何通俗解释偏序关系和偏序理论？它们在不同学科中有哪些应用？
请问这个集合不是零测集有什么具体例子吗？
逻辑学中，前提为假而命题为真的推论如何解释？
证明被默认的结论对知识的发展有什么意义？
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？
等词是否可以用属于来定义？
哥德尔不完备性定理宣示了逻辑的边界，是否意味着逻辑本身证明了逻辑是有缺陷的，人类如何突破逻辑的窒锢？
证明数学定理的意义是什么？
如何证明所谓 是一个闭集？
证明角的三分之一，怎么证明？
有哪些不易察觉的错误证明？
为什么集合这个数学术语在麻将中没有被说明？
如何理解（证明）不存在与自己的真子集等势的自然数?
网络上哪有数理逻辑的课程?
如何理解数学里的「若 A 不真，则 A→B 总是真的」这种蕴含关系？
假如数学没有了自然数的概念及其性质会怎样？
比1大的数多还是比0大的数多？