如何理解（证明）不存在与自己的真子集等势的自然数? 第1页
1
lljpcz 网友的相关建议:
下面对 归纳，证明对任意自然数 和其真子集 ，不存在 到 的双射。
时，命题自动成立。
若命题对 成立而对 不成立，考虑 以及 为 到 的双射。
若 ，则 是 到其真子集 的双射，这与归纳假设矛盾。
若 ，令 ，考虑
容易验证 是 到其真子集 的双射，这与归纳假设矛盾。
1
相关话题
在集合论里，对于二元公式φ，如何证明(任意X)(存在{x∈X：φ(x,X)})？桌游卡牌上的描述，“当（该卡牌）两侧角色不为女性时”和“两侧不为女性角色时”的意思相同吗？
有界可测集测度一定有限吗，无界可测集合测度一定无限吗？反之如何？
如何证明紧致的度量空间都是第二可数空间？
环中任何一个非空子集都可以生成理想吗？
如何证明这个关于良序集的命题？
自然数和非负整数有什么区别？
为什么规定 0 的阶乘为 1？
区间 [0, 1] 内的实数，为什么我证明可以数？
康托尔著名的对角线证明？
下一个讨论
复合映射的符号f°g是怎么来的？
相关的话题
有理数集如何拓展到实数集的？请问这个一阶逻辑等值式如何理解，请举一个现实的例子?
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？
为什么集合这个数学术语在麻将中没有被说明？
如何证明集合[0, 1] × [0, 1]与集合[0, 1]等势(即存在双射）？
如何理解（证明）不存在与自己的真子集等势的自然数?
质数集P与自然数集N等势吗?
离散数学求帮忙？
自然数和非负整数有什么区别？
请问这个一阶逻辑等值式如何理解，请举一个现实的例子?
不可列个数的集合交集并集怎么定义？
如何证明实数集的不可数子集含有它自己的不可数个聚点？
这个猜实数的游戏有没有必胜策略?
有理数集如何拓展到实数集的？
有哪些不易察觉的错误证明？
为什么度量空间中聚点等同于极限点？
在集合的势的意义下，是否存在比实数集更大的全序集？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
能否求出n次对称群中置换的最大阶？
质数集P与自然数集N等势吗?
一个数介于 2 和 3 之间，那么它为无理数和有理数的概率分别为多少？
有理数集如何拓展到实数集的？
请问这个集合不是零测集有什么具体例子吗？
怎么建立复数与实数的一一对应？
设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？
我想证明自然数有穷可行吗？
设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？
如何证明实数集的不可数子集含有它自己的不可数个聚点？
请问这个集合不是零测集有什么具体例子吗？
如何证明集合[0, 1] × [0, 1]与集合[0, 1]等势(即存在双射）？