如何理解（证明）不存在与自己的真子集等势的自然数? 第1页
1
lljpcz 网友的相关建议:
下面对 归纳，证明对任意自然数 和其真子集 ，不存在 到 的双射。
时，命题自动成立。
若命题对 成立而对 不成立，考虑 以及 为 到 的双射。
若 ，则 是 到其真子集 的双射，这与归纳假设矛盾。
若 ，令 ，考虑
容易验证 是 到其真子集 的双射，这与归纳假设矛盾。
1
相关话题
离散数学求帮忙？为什么度量空间中聚点等同于极限点？
是否任一无穷集合都能分成两个等势的不交集合之并？
是否有可能在复数域上建立一个与加法、乘法相容的全序关系？
已知一个函数在实数域内连续，并且为周期函数，如何证明它在实数域内一致连续？
上帝悖论是否有解？
为什么规定空集是任何集合的子集，这样在数学上有什么意义？
环中任何一个非空子集都可以生成理想吗？
如何反对同学这样解释无理数和有理数一样多？
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？
下一个讨论
复合映射的符号f°g是怎么来的？
相关的话题
有理数集和无理数集哪个大，为什么？ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
为什么集合的本身还可以是一个集合的元素？
能否求出n次对称群中置换的最大阶？
为什么会有数学家反对对无穷集合使用排中律？
为什么会有数学家反对对无穷集合使用排中律？
为什么规定空集是任何集合的子集，这样在数学上有什么意义？
模糊层次分析法的三角模糊值含意？
站在一个无穷大的围棋/五子棋盘上的任意格点上，能够看到的格点都放上黑棋，黑棋占格点比例多少？
零测集的子集是否可测？
我想证明自然数有穷可行吗？
以数学史的观点来看，集合论是如何成为数学基础的？
如何解决这个图的特征值问题？
环中任何一个非空子集都可以生成理想吗？
如何证明集合[0, 1] × [0, 1]与集合[0, 1]等势(即存在双射）？
偏序集与完备格？
为什么数学教材里，学生首先学习的就是算术，却不学习作为基础的集合与逻辑？
为什么集合这个数学术语在麻将中没有被说明？
交换环的子环是否一定是交换环？
如何分配砝码使天平尽可能平衡？
请问如何把所有自然数均分成三类？
这个猜实数的游戏有没有必胜策略?
在离散数学中偏序关系和偏序集是什么意思？
如何把微信群/QQ群构造成一个阿贝尔群？
怎么建立复数与实数的一一对应？
所有正方形的数量与所有长方形的数量相等吗？
不可列个数的集合交集并集怎么定义？
如何证明一个实数的所有代表元（有理数Cauchy列）组成的集合不可数？
正整数和正整数中的偶数哪个多（如何证明）？
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？