所有集合的势都可比较大小吗？为什么？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
设待比较的两非空集合为 与 ，空集无需讨论.
以 的子集 为 的某子集 的指标集，若存在，则记为：
显然有单射
则由这样的集合构成的集族记为 ，于是对任意上升的链 都有上界 ，相对应地有 有上界 ，则由 Zorn 引理，分别存在极大元 和 ：
- 当 ，则存在满射 ， ， 为常值映射；
- 当 ，则必有 ，故存在单射 . 否则，若 ，但 ，则分别选取 ， ，且令 ，于是存在比极大元 和 的更大的集合 与 满足： ，这与极大元的定义矛盾.
1
相关话题
如何理解数学里的「若 A 不真，则 A→B 总是真的」这种蕴含关系？收敛的有理系数幂级数个数可数么？
在集合的势的意义下，是否存在比实数集更大的全序集？
证明数学定理的意义是什么？
为什么规定 0 的阶乘为 1？
对于抽象代数中的这个互素后的怎么证明比较合适?
逻辑学中，前提为假而命题为真的推论如何解释？
零测集的子集是否可测？
所有集合的势都可比较大小吗？为什么？
如何通俗解释偏序关系和偏序理论？它们在不同学科中有哪些应用？
前一个讨论
请问这个不等式该如何证明？
下一个讨论
《破产姐妹》里面苏菲一出场就有欢呼，为什么？
相关的话题
问一下，这几个群是什么群，有什么性质？如何证明Q[³√5]是域？
P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？
数理逻辑中集合论、模型论、证明论、可计算性理论这四大领域的内在理论联系是什么？
如何让一个 5 岁小孩听懂什么是选择公理？
在集合的势的意义下，是否存在比实数集更大的全序集？
莱布尼茨的普遍语言是否可以实现？
A是不可列集合，B是将A分割成两个不可列集合的实数的集合，证明B非空且为开集？
在集合的势的意义下，是否存在比实数集更大的全序集？
A是不可列集合，B是将A分割成两个不可列集合的实数的集合，证明B非空且为开集？
质数集P与自然数集N等势吗?
怎么学习算法信息论?
为什么不可数个互不相同的集合之并集可以是可数集?
请问这个集合不是零测集有什么具体例子吗？
怎么建立复数与实数的一一对应？
如何直观地理解群论？
有哪些看起来高大上实际上非常容易证明的数学命题？
如何证明悬链线图像是双曲余弦？
为什么集合的本身还可以是一个集合的元素？
n*n的棋盘填上1，2，...，n^2，使任意相邻（有公共边）格子里的数字之和不大于S，求S最小值?
数学上有「从理论上根本无法证明」的东西么？
假如数学没有了自然数的概念及其性质会怎样？
求问学抽象代数的大佬，如果f(x)的次数为n，那么分裂域E/F的次数为什么是n!，分裂域的次数是什么?
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
数学证明费了这么大劲把这些东西证明出来，对一个人的人生、对我们身处其中的这个世界，到底有什么影响呢？
数学大牛是怎么看待悖论和无穷的？
收敛的有理系数幂级数个数可数么？
如何把微信群/QQ群构造成一个阿贝尔群？
如何证明下面的集合论问题？
微积分的哲学基础是什么？