所有集合的势都可比较大小吗？为什么？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
设待比较的两非空集合为 与 ，空集无需讨论.
以 的子集 为 的某子集 的指标集，若存在，则记为：
显然有单射
则由这样的集合构成的集族记为 ，于是对任意上升的链 都有上界 ，相对应地有 有上界 ，则由 Zorn 引理，分别存在极大元 和 ：
- 当 ，则存在满射 ， ， 为常值映射；
- 当 ，则必有 ，故存在单射 . 否则，若 ，但 ，则分别选取 ， ，且令 ，于是存在比极大元 和 的更大的集合 与 满足： ，这与极大元的定义矛盾.
1
相关话题
麻生公开课教材问题如果a, b是两个相等的实数，那么a=0.是否正确？什么是实数？
如何证明（0，1）不是可数集？
数学中有哪些看起来很不可思议的知识？
没有基的线性空间，是否可以构造，如何构造？
哪个瞬间让你觉得学数学真有用？
为什么数学教材里，学生首先学习的就是算术，却不学习作为基础的集合与逻辑？
若两个正整数互质，如何证明它们的平方也互质？
逻辑学中，前提为假而命题为真的推论如何解释？
所有正方形的数量与所有长方形的数量相等吗？
前一个讨论
请问这个不等式该如何证明？
下一个讨论
《破产姐妹》里面苏菲一出场就有欢呼，为什么？
相关的话题
为什么数学里非要写「当且仅当」，而不是「仅当」？如何证明（0，1）不是可数集？
怎样看待基础数学研究者瞧不上应用数学研究者的现象？
请问如何把所有自然数均分成三类？
无穷个集合的交（或者并）运算总是成立的吗？为什么？
区间 [0, 1] 内的实数，为什么我证明可以数？
如何证明一个实数的所有代表元（有理数Cauchy列）组成的集合不可数？
离散数学色里的哈斯图怎么画？
上帝悖论是否有解？
如此证明（0，1）=【0，1】，是否正确？
如何理解区间 [0, 1] 内有理数集合的长度为 0？
HoTT为什么不比集合论弱?
什么是实数？
S={x|x∉x}，因为不存在x满足x∉x，所以S为空集，还是{Ø}?
所有集合的势都可比较大小吗？为什么？
零测集的子集是否可测？
如何解决这个图的特征值问题？
自然数和非负整数有什么区别？
莱布尼茨的普遍语言是否可以实现？
数系从有理数扩充为实数的跨越有无产生一些问题？
假如数学没有了自然数的概念及其性质会怎样？
数学中有哪些表面没有关系但是内在有深刻联系的问题？
为什么规定 0 的阶乘为 1？
为什么集合的本身还可以是一个集合的元素？
零测集的子集是否可测？
什么是博弈论语义学？
区间 [0, 1] 内的实数，为什么我证明可以数？
集合论与微积分？
请问这个关于全排列的图论结论如何证明？
N为自然数集，（N×N）×（N×N）是不是可数集？如果是，它到N的双射函数是什么？如果不是，它和什么等势？