数学的帰納法

数学的帰納法（すうがくてききのうほう、テンプレート:Lang-en-short）は自然数に関する命題P(n) が全てのn に対して成り立っている事を証明するための、次のような証明手法である。

1. P(1) が成り立つ事を示す。
2. 任意の自然数 k に対して、P(k) ⇒ P(k + 1) が成り立つ事を示す。
3. 以上の議論から任意の自然数 n について P(n) が成り立つ事を結論づける。

上で1.と2.から3.を結論づける所が数学的帰納法に当たる。自然数に関するペアノの公理の中に、ほぼ等価なものが含まれている。

なお、数学的「帰納」法という名前がつけられているが、数学的帰納法を用いた証明は、帰納ではなく演繹である。2. により次々と命題の正しさが"伝播"されていき、任意の自然数に対して命題が証明されていく様子が帰納のように見えるためこのような名前がつけられたにすぎない。

直観的説明

高校の教科書等の初等的な解説書ではドミノ倒しに例えて数学的帰納法を説明しているものも多い。 P(n)を「n枚目のドミノが倒れる」の意味だとすれば、上の論法は以下のようになる：

1. 1枚目のドミノが倒れる事を示す。
2. 任意の自然数 k に対して、「k 枚目のドミノが倒れる ⇒ k+1 枚目のドミノが倒れる」を示す。
3. 以上の議論から全てのドミノが倒れる事が結論づけられる。

数学的帰納法が成り立つ直観的理由は以下の通りである。まず1.より

(a) P(1)

が正しい事が分かる。次に k = 1, 2, ...に対して2. を適用する事で、

(b) P(1) ⇒ P(2),

(c) P(2) ⇒ P(3),

…

が分かる。(a), (b)より、P(2) が成り立ち、この事実と(c)を組み合わせる事によりP(3)が従う。以下同様に P(5), P(6), …も従い、結局3.の

全ての自然数n に対しP(n) が成り立つ

が結論づけられる。

ただし、以上の議論はあくまで数学的帰納法が成り立つ理由の直観的説明であって、1., 2. と 3. の間にはギャップがある。詳しくは後述の「数学的帰納法の形式的な取り扱い」の項目を参照されたい。

バリエーション

数学的帰納法には次のようなバリエーションもあり、場合によってはこれらを用いる必要がある。これらのバリエーションの正しさは、上で述べた標準的な形の数学的帰納法を用いて示すことができる。

1以外から始める

変数変換によって明らかなように、変数nが表す範囲はn → n + 1という操作で閉じていれば {1, 2, ... } である必要はなく、0を自然数に含めることにしたり、あるいは任意の整数 m に関する {m, m+1, ...} という範囲でもよいことになる。

+1以外

例えば n → n + 1 ではなく、n → n + 2 で証明し、開始点が P(2) であれば、全ての正の偶数で証明できる。バリエーションとしては、P(2) から n → n + 2 で偶数を証明し、P(1) から n → n + 2 で奇数を証明し、よって全ての自然数で成立するという証明方法もある。他にも、P(0) から n → n + 1 と n → n - 1 を両方証明し、全ての整数で成立することを証明するというのもある。

先立つすべての結果を用いる

仮定として P(k) だけでなく P(0) から P(k - 1) までのすべて（もしくは一部）を用いる。これを完全帰納法（テンプレート:Lang-en-short、これは同じく完全帰納法と訳される perfect induction とは別物）もしくは累積帰納法（テンプレート:Lang-en-short）という。

任意の自然数 k をとったとき、k より小さなすべての自然数 m に対して P(m) が真であれば、P(k) も真である。

よって任意の自然数 n について P(n) は真である。

背理法を組み合わせたもの

無限降下法とは、次のような証明のパターンのことである。

P(n) が成立しないような自然数 n が存在すると仮定し、その中で最小のものを k とする。次に、与えられた設定からP(k - 1) も成り立たないことを示す。これはkの取り方に矛盾するから、そもそも P(n) が成立しないような自然数 n は存在しない。すなわち、すべての自然数 n に対して P(n) が成り立つ。

この議論と次に述べる「先立つすべての結果を用いる」形の数学的帰納法の正しさは自然数全体の集合 N が通常の大小関係 < によって整列されていることによる。< が N 上の整列順序であることは、最初に述べた標準的な形の数学的帰納法を用いることで証明される。

より一般の集合への拡張

数学的帰納法は自然数に関する論法だが、自然数以外の集合に対しても、集合の元を適切に順序づける事で数学的帰納法を適応できる事がある。 例えば N × N 上に辞書式順序

(x, y) > (x′, y′) ≡ (x > x′) または (x=x′ かつ y > y′)

を入れる事で N × N 上でも数学的帰納法が使える。

数学的帰納法の例

下記命題を P(n) とし、これが、任意の自然数 n について成立することを数学的帰納法を用いて証明する。

<math>1 + 2 + \cdots + n = \frac{n(n + 1)}{2}</math>

まず、下記 P(1) は右辺を計算することで、正しいことが確かめられる。

<math>1 = \frac{1(1+1)}{2}</math>

次に、任意の自然数 k をとる。P(k) は下記の通りであり、成立すると仮定する。

<math>1 + 2 + \cdots + k = \frac{k(k+1)}{2}</math>

P(k + 1) は下記の通りであり、P(k) が成立することを使用すると、P(k + 1) も成立する。

<math>1 + 2 + \cdots + k + (k+1) = (1 + 2 + \cdots + k) + (k+1) = \frac{k(k+1)}{2} + (k+1) = \frac{(k+1)(k+2)}{2}</math>

以上から、数学的帰納法により、任意の自然数 n について命題 P(n) が成立する。

数学的帰納法の形式的な取り扱い

数学的帰納法の原理を説明する前に、まず前述した直観的説明のどこにギャップがあったのかを説明する。前述の説明では、まず我々は P(1) を結論づけ、次に(a), (b)から P(2) を結論づけ、さらにそれと(c)を組み合わせる事で P(3) を結論づけ、 さらにそれと(d)を組み合わせる事で P(4) を結論づけた。 以上の議論から分かるように、P(2)を結論づける為には2ステップの推論、 P(3) を結論づけるには3ステップの推論、…、P(100) を結論づけるには100ステップの推論が必要となる。

従って有限回のステップでは有限個のn に対してしか P(n) を結論づける事ができず、 「無限個ある自然数全てに対してP(n) が成り立つ」という数学的帰納法の結論について有限の長さの証明が与えられたとはいえない。これが前述した直観的説明におけるギャップである。

そこで、ペアノ算術などの形式な体系では、数学的帰納法を証明に用いてよいことが公理として仮定されるのが普通である。つまり、形式的には、自然数の性質から数学的帰納法の正しさが証明できるのではなく、逆に自然数の本質的な性質を与える推論規則として数学的帰納法が仮定される、ということになる。

集合論における定式化

集合論の枠組みでは、数学的帰納法の原理を次のように表すことができる。

自然数の部分集合 A が空でないとき、A に属する最小の自然数が存在する。

この原理からもともとの形の数学的帰納法が導かれることは，次のようにして示せる。帰納法の仮定 1., 2. を満たす論理式 P(n) が与えられたとする。自然数の部分集合 A を A = { n ∈ N : ¬ P(n) } によって定める。この A が空集合であるということを示したい。そうでないと仮定すると、Aに属する最小の自然数 a を取ることができるが、P(0)は成り立っていることから a は0でない。従って、ある自然数 b について a = b + 1となっているが、a は A に属する最小の自然数であったということから、b ∉ A であり、P(b) は成り立つことになる。帰納法の仮定からP(a) も成り立つことになり、これは矛盾である。

逆に、「n以下の任意の自然数kについてk ∉ A」という形の命題 P(n) を考えることで、数学的帰納法から上の原理を導くことができる。

超限帰納法

上記の形で自然数について定式化された数学的帰納法は、任意の整列集合に対して次のように一般化することができる。この一般化を超限帰納法 (ちょうげんきのうほう、テンプレート:Lang-en-short)という。任意濃度の集合は選択公理と同値な整列可能定理により整列順序を持つとすることができるので、選択公理を含む公理系であれば超限帰納法は任意濃度の集合に対して成立すると主張できる。

超限帰納法

(A , ≤) を整列集合とし、P(x) を A の元 x に関する命題とする。 A は整列集合であるから "≤" について最小元を持つ。これを 、a₀ とする。もし次の2つの条件が成立するならば、任意の x ∈ A について P (x) が成り立つ。

条件1

P(a₀) は真である。

条件2

a を A の任意の元とする。 x < a を満たす A の全ての元 x について P(x) が真ならば、P(a) も真である。

ただし、"<" は a < b ⇔ ( a ≤ b ∧ a ≠ b) で定義される二項関係とする。（実際には、条件1は条件2に吸収することができる。なぜなら、条件2において a = a₀ と置けば、x < a を満たす A の元は存在しないので、「x < a を満たす A の全ての元 x について P (x ) が真」という命題は無条件に真であり、従って、P (a₀ ) が真となることが要求されるからである。ここでは分かりやすいように自然数についての数学的帰納法と整合を取った。）

証明

超限帰納法の言明が偽と仮定する。これは条件1、条件2が満たされても P (a ) が偽となる a ∈ A の元が存在することを意味する。そのような元の全ての集合を A_a とする。A は整列集合であるからその部分集合である A_a も最小元を持つ。これを b とする。

条件1から b は A の最小元ではあり得ない。従って、A_b = {x | x ∈ A ∧ x < b } と置けば、A_b は空ではない (少なくとも a₀ を含む)。 b の作り方から明らかなように、x ∈ A_b であれば、P(x) は真である。従って、条件2により P(b) は真となるが、 b ∈ A_aから P(b) は偽であり、矛盾である。従って超限帰納法の言明は真である。

整礎帰納法

無限下降列が存在しない二項関係を整礎関係という。整礎関係が定義された集合に対して次が成り立つ。これを整礎帰納法（テンプレート:Lang-en-short）という。

R を集合 A 上の整礎関係とし、P(x) を A の元 x に関する命題とする。もし次が成立するならば、任意の x ∈ A について P(x) は真である。

任意の a ∈ A をとる。x R a なる任意の A の元 x について P(x) が真ならば、P(a) も真である。

超限帰納法は整礎帰納法の特殊な場合である。特に、超限帰納法においては、任意の空でない部分集合に最小元が存在する、という性質が、整礎帰納法においては、任意の空でない部分集合に極小元が存在する、という性質に対応している。

ハゲ頭のパラドックス

数学的帰納法を意図的に誤用したジョークとして、次のようなものがある：

髪の毛が一本もない人はハゲである。ハゲの人に髪の毛を一本足してもやっぱりハゲである。よって数学的帰納法により、全ての人はハゲている。

以上のような論法の起源は、古代ギリシャの哲学者ミレトスのエウブリデス (en) が作ったとされるハゲ頭のパラドックス (Paradox of the Bald Man)に帰せられる。これは砂山のパラドックスの起源としても知られる。

前述のジョークにはさまざまなバリエーションがあるが、いずれも「少量の増加程度では大差ない。よって数学的帰納法より沢山の増加でも差はない」という誤謬を利用している。

歴史

初期の例としては、プラトンによるパルメニデス(紀元前 370年)において暗黙に帰納法を使用した証明がみられる。また数学的帰納法としての痕跡は、素数が無限個あることを示したユークリッドの証明や、バースカラ2世による "テンプレート:仮リンク" に見ることができる。通常とは逆に、パラメータとなる自然数が減少していく逐次的な論法は、砂山のパラドックスにみられる。つまり、10,000粒の砂粒が砂山を形成し、そこから一粒の砂を取り除いても砂山が残るならば、一粒だけ残った砂(或いは全ての粒を取り去った後)でもなお砂山を形成するといえる。

等差数列について暗黙に数学的帰納法を用いた証明は、紀元 1000年ごろにテンプレート:仮リンクによる "al-Fakhri" に扱われている。al-Karaji は二項定理やパスカルの三角形を示すのに数学的帰納法を用いた。

しかし、これらの古代の数学者たちは帰納法の仮定を明示することはしていない。別の似た例としては(Freudenthal が注意深く示したように、Vacca が著したものとは対立するが)、テンプレート:仮リンクが 1575年の著作 "Arithmeticorum libri duo" にて最初の n 個の奇数の和が n² に等しいことを示す際にこの技術を用いている。明示された形での数学的帰納法の原理はパスカルがその著作 "Traité du triangle arithmétique" (1655)にて与えた。フランス人フェルマーは、帰納法と関連する、無限降下法による間接的な証明をうまく使っている。帰納法の仮定はヤコブ・ベルヌーイによっても使われ、以後多少よく知られるようになった。現代的な厳密さをもち体系的な数学的帰納法の原理の扱いは 19世紀に入ってジョージ・ブール、オーガスタス・ド・モルガン、チャールズ・サンダース・パース、ジュゼッペ・ペアノ、 リヒャルト・デーデキントによって為された。

関連項目

• 帰納
• 演繹
• 自然数
• 整列集合
• 整礎関係
• 無限降下法
• 再帰

参考文献

テンプレート:Link GA

テンプレート:Link GA