这样的数学归纳法是否成立？ 第1页

这种「反向归纳法」是不合法的。下面举一个简单的反例：

设 的断言是： 是无理数。 很显然，当 时， 成立；假若 时，命题成立，则 时，因 ，这是有理数与无理数之和，也是无理数，所以命题也成立。于是，如果这归纳法合法，可以断言 对所有 成立，但是，很清楚这是荒谬的！

请注意：数学归纳法研究的关于自然数 的命题，总是对有限的 （尽管它可以任意地大）进行断定的，切勿草率地推广到 的场合，因为：

无穷大不是任何自然数的后继 ，或者说，无穷大根本就不是自然数。

这个问题很深刻，具体分析请查阅 公理的有关内容。

附带说一句，即使是通常的正向归纳法，也不能推广到 的情形，你只要稍微改造一下上述反例就可以很轻松地得到一个新的反例。

一般没有“当 时命题成立”这种叙述的定义，所以为了完善定义比较好的方法是考虑所有命题在等价关系下的商集，并为之赋予拓扑，使得 ， ， ， 分别是连续映射（其中任意二者连续则其他均连续）。在这样的条件下原题目是定义良好的。
已知 恒成立，并且 ，求证 .
因为 对任意 成立，因此

综上命题得证

一个例子是，考虑有穷可加的有限测度空间 上的单变元命题 ，定义运算 ，可以注意到这样的加法具有交换律和结合律，同时 ， .其中 表示假命题（的等价类）
因此，全体命题构成了群。
通过规定 ，全体命题具有了距离结构，成为距离拓扑空间。

例如，当 时，对于命题 ，因为 ，所以有 成立，直观上就是这个命题随着 增大越来越正确。但是注意到 ，所以 ，虽然有 但是 ，所以不会因为归纳法产生矛盾。