- 2022年5月1日
再帰性定理
- 対象
- 大学2.0年
- 前提知識
- 集合の基礎
- 写像
- 集合族の共通部分
回合成の定式化
再帰性定理とは,集合 とその元 ,写像 に対し, を で 回写したものを とする写像 の存在およびその一意性を保証するものです.つまり,写像の「 回合成」を定式化したものです.例えば, を として定義するのは厳密ではありません.「 個の を掛け合わせたもの」をうまく論理式で表すことができないからです.そこで,再帰性定理を用い, をかける写像 を 回合成することによって を定義するわけです.
回合成の概念が扱えるようになると, が証明できるので,自然数 は を で 回写したもの,という表現が可能になります.また, は,,すなわち を で 回写したもの,と定義すれば,和の定義が一丁あがりです. は,合成写像 を 回合成したもので を写せばよいのです.このように 回の合成はとてつもなく汎用性があり,種々の定義に説得力を与えます.
証明の前に,写像の集合としての定義について軽く補足しておきます.心得ている人は飛ばしてください.
集合 があり,任意の に対し, がただ一つ定まるとき,その対応を から への写像といい, などの記号を用いて とかく,こんな説明が一般的だと思います.大学一年生くらいであればこれで問題ないのですが,自然数とはなんぞやと疑問に思う人であれば,「対応」とはなんぞやと思いたくなると思います.そこで,現代数学(集合論)では,便宜的に写像を次のように定めます.
定義
写像の集合論的定義
を集合, とする.任意の に対し, を満たす がただ一つ存在するとき, を から への写像といい, とかく.また, に対して を満たすただ一つの を とかく.
という等式は の書き換えです.何でもかんでも集合として考えようという現代数学の立場です.別に「写像とは実は集合だった!」というほどのものではなく,あくまで便宜的なものです.ですので,写像は「対応」とか「規則」とか「機能」などの考え方は持ったままの方がいいと思います.
再帰性定理のステートメントおよび証明
定理
再帰性定理 I
集合 とその元 ,写像 に対し,以下を満たす写像 が一意的に存在する:
- ,
- .
とにかく証明が長いです.一旦飛ばして,再帰性定理の使い方を先に学んでその重要性を実感してから証明に戻ってくるのもいいでしょう.ちなみに I とあるのは,バージョンを表しています.というのも,再帰性定理 I だけでは扱えない関数(階乗など)が存在するので,後でバージョンアップすることになるのです.
証明
の部分集合 で
を満たすもの全体を とする( は集合の集合). だから,.ゆえに共通部分 がとれる.これは,(1) (2) を満たす のうち,包含関係に関して最小のものである.ここで,任意の に対し を満たす がただ一つ存在することを帰納法で示す.
とすると, だが((1) (2) を満たす), の最小性に矛盾.つまり .よって, を満たす は に限る.
次に を満たす がただ一つあると仮定,それを とする.ここで, を仮定.このとき が成り立つ.実際, より . ならば, だから,帰納法の仮定よりこの は に限るので, である.よって, となるが,やはり の最小性に矛盾. である.つまり, を満たす は に限る.
帰納法により, が写像 を定めることが分かった.
さて, は写像の記法で と表せるので,
- ,
- ,
を写像の記法に直すと
- ,
- ,すなわち ,
を得るので,写像 はステートメントの (1) (2) を満たす.
最後に, の一意性を証明する. がステートメントの (1) (2) を満たすとし, を 帰納法で示せばよい. だから, のとき成立. を仮定すると だから, のときも成立.題意は示された.
お疲れ様でした.
再帰性定理の使い方
実数全体 を先取りし,関数 を で定めます.再帰性定理より
を満たす写像 がただ一つ存在します. を に書き直してみると,
と表せます.これは,高校生が として数列 を定める行為と同じことです.一般項は分かりませんが,任意の自然数 に対し, が定まっていることは再帰性定理により保証されます.
次に, に対し,写像 を で定めます.再帰性定理より
を満たす写像 がただ一つ定まります.
となり,どうやら は に等しいようです.もとい,記号 で, を定義します.これが冪乗(累乗)のストリクトな定義です.再帰性定理を用いるにあたり,写像 をいちいち定義するのが面倒なので,以下のような記述で片付けてしまうことがあります:帰納的に写像 を
で定義し, を とかく.
あるいはもっと端折って,帰納的に を
で定義する,なんて書き方もあります.ここまでくると,再帰性定理をどう使っているか見えにくい部分がありますが,無駄な記号を用いずに済むのでミニマルです.
微分積分学のボルツァーノ=ワイエルシュトラスの定理の証明で面を食らった学生が多いと思います.閉区間 を二分割し, の項が無限に存在する方(両方とも無限にある場合は左の方)を とし,次に を二分割し, の項が無限に存在する方(両方とも無限にある場合は左の方)を とし,以下同様にして列 を考える,みたいなやつです.これも再帰性定理を用いています.ここで,両方とも無限にある場合は左の方を強調しました.たまに,両方とも無限にある場合はどちらでもいい
みたいな書き方をしてる証明を見受けられますが,その場合,再帰性定理を正しく使えてません.詳しくは機会があったらお話しましょう.
さて,このように, を厳密に定義しました.これで指数法則などの諸性質を初めて証明できます.