帰納と再帰
普通の数学における数学的帰納法や関数の再帰的定義は, その及ぶ範囲が自然数であることがほとんどです.
数学的帰納法は任意の自然数について述語が正しいことを証明する原理で, 再帰的定義は定義域が自然数全体の関数を再帰的に定義する場合によく用いられます.
集合論では, これらを順序数にまで拡張して考えます.
超眼帰納法(transfinite induction)
を順序数からなるクラスとし, 以下の3つの条件が満たされるとする.
(i)
(ii) ならば
(iii) が でない極限順序数で, 任意の について ならば
このとき, は全ての順序数からなる.
証明
を任意に取ります.
が における最小元でない場合, における最小元を取り, これを改めて とおきます( は順序数, したがって整列順序なので最小元が存在するのです).
条件 (i) より, です.
が後続順序数であるとすると, (ii) の対偶を取ることによって, その一つ前の順序数 について となりますが, これは の最小性に反します.
が でない極限順序数であるとすると, (iii) の対偶を取ることによって, で となるものが存在することになりますが, これも の最小性に反します.
以上により, なる順序数 は存在しないことが示されました.
クラスとは論理式の略記であると考えることができるので, 超眼帰納法は無限に多くの論理式についての主張だと考えることができます.
実際, 順序数のクラス を表す論理式は無数にあります.
というわけで, 超眼帰納法は, 定理というよりは定理図式(Schema)です.
実際に超眼帰納法を使うに当たっては, 次のような形が便利です.
超眼帰納法 その2
を順序数についての述語とし, 以下の3つの条件が満たされるとする.
(i) が成り立つ.
(ii) が成り立つならば が成り立つ.
(iii) が でない極限順序数で, 任意の について が成り立つならば が成り立つ.
このとき, は, 全ての順序数 について成り立つ.
証明は, 上と全く同様なので省略します.
これも, 無限に多くの述語 について考えているので, やはり定理図式です.
次の形のものも有用です.
証明は同様.
超眼帰納法 その3
を順序数についての述語とし, 以下の2つの条件が満たされるとする.
(i) が成り立つ.
(ii) 任意の に対して が成り立つならば が成り立つ.
このとき, は, 全ての順序数 について成り立つ.
ここから, いくつか用語を定義していきます.
定義域が自然数全体の集合 であるような関数を列(sequence)といいます.
また, における列とは, から への関数のことです.
列を
などと書いたりもします.
有限列とは言わずもがな, 定義域が自然数である関数のことです.
関数の定義域を順序数に拡張したものを考えることもでき, これを超眼列(transfinite sequence)といい,
などと書いたりもします.
ここで, は適当な順序数です.
-列とか, 長さが の列とか言ったりもします.
長さが の列を拡張して列の 番目の値が になるようにしたものを次のように書きます.
超眼再帰は, 次のような定理です.
を を定義域とする関数(クラスの上で考えているので厳密には集合論の世界の中での関数とは異なります)とします.
このとき, を定義域とするユニークな関数 が存在して, 任意の に対して
証明
ということを, 次で定義します.
ある列 が存在して
(i) 任意の について
(ii)
まず, 任意の に対して, (i) を満たす -列が存在することが超眼帰納法により示されます.
(極限順序数の場合には置換の公理を使います)
次に, (i) を満たす -列が一意に定まることも, 超眼帰納法により示されます.
よって, (ii) を満たす関数が一意に定まります.
この証明は, 細部をかなり省略しています.
近いうちに頑張って不備を埋めたいと思います.
最後にもう一つ, 言葉を定義しておきます.
を極限順序数とし, を非減少列とします.
ここで非減少列とは ならば が成り立つ列のことです.
このとき, 列の極限(limit)を次のように定義します.
次回は順序数の演算について書きたいのですが, 自分の超眼帰納法と超眼再帰の理解が不十分だと感じられるので, もう少し勉強して今回の内容を充実させてからにしたいと思います。