所有集合的势都可比较大小吗？为什么？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
设待比较的两非空集合为 与 ，空集无需讨论.
以 的子集 为 的某子集 的指标集，若存在，则记为：
显然有单射
则由这样的集合构成的集族记为 ，于是对任意上升的链 都有上界 ，相对应地有 有上界 ，则由 Zorn 引理，分别存在极大元 和 ：
- 当 ，则存在满射 ， ， 为常值映射；
- 当 ，则必有 ，故存在单射 . 否则，若 ，但 ，则分别选取 ， ，且令 ，于是存在比极大元 和 的更大的集合 与 满足： ，这与极大元的定义矛盾.
1
相关话题
如何把微信群/QQ群构造成一个阿贝尔群？所有集合的势都可比较大小吗？为什么？
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？
设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？
下面这个集合可数吗？
这是一个主客观赋权模型，但我不理解数学意义，有没有帮忙解释一下的？
数系从有理数扩充为实数的跨越有无产生一些问题？
如何证明（0，1）不是可数集？
我想证明自然数有穷可行吗？
请问这个一阶逻辑等值式如何理解，请举一个现实的例子?
前一个讨论
请问这个不等式该如何证明？
下一个讨论
《破产姐妹》里面苏菲一出场就有欢呼，为什么？
相关的话题
做基础数学研究的人是怎样的研究模式呢？收敛的有理系数幂级数个数可数么？
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？
为什么集合的本身还可以是一个集合的元素？
在集合的势的意义下，是否存在比实数集更大的全序集？
为什么数学教材里，学生首先学习的就是算术，却不学习作为基础的集合与逻辑？
如何证明（0，1）不是可数集？
为什么度量空间中聚点等同于极限点？
怎么逐步学习 PDE？
所有集合的势都可比较大小吗？为什么？
问一个很严肃的问题，中国当代哲学水平到底怎样？
请问这个关于全排列的图论结论如何证明？
数学家是怎样思考问题的？
证明被默认的结论对知识的发展有什么意义？
如何证明所谓 是一个闭集？
如何证明这个关于良序集的命题？
问一下，这几个群是什么群，有什么性质？
当今世界数学已经发展到本科生难以理解的地步了吗？
整数和偶数真的是「一样多」的吗？（我知道康托尔那套，但这个表述真的正确吗？）？
请问这两个在表达方式上很相似的结论是否有相通的地方（感觉他们证明方法也很像）？
设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？
（纯）数学 phd 的你们和导师 meeting 的时候都聊些什么？
请问这两个在表达方式上很相似的结论是否有相通的地方（感觉他们证明方法也很像）？
在集合的势的意义下，是否存在比实数集更大的全序集？
数学证明费了这么大劲把这些东西证明出来，对一个人的人生、对我们身处其中的这个世界，到底有什么影响呢？
怎么学习算法信息论?
任取两个大于 2 的整数，其互质的概率是多少？
为什么集合的本身还可以是一个集合的元素？
等词是否可以用属于来定义？
科学和数学的关系是什么?