不動点定理

数学における不動点定理（ふどうてんていり、）は、ある条件の下で自己写像  は少なくとも 1 つの不動点 （ となる点 ）を持つことを主張する定理の総称を言う。不動点定理は応用範囲が広く、分野を問わず様々なものがある。

解析学において 
バナッハの不動点定理は、反復合成写像が不動点を持つことを保証するために満たすべき条件に関する一般的な判定法を与える。一方、ブラウワーの不動点定理は構成的な方法ではなく、「-次元ユークリッド空間における閉単位球からそれ自身への連続関数は必ず不動点をもつ」ことを述べる が、どのように不動点を求めればよいかについて何も言及しない（も参照）。

たとえば、余弦関数  は区間  において連続な  への函数であるから、不動点を持たねばならない。グラフを書けば明らかに、余弦曲線  は直線  と交わり、そこに不動点を持つ。この不動点は、数値的にはおよそ  である。

代数的位相幾何学におけるレフシェッツの不動点定理（およびニールセンの不動点定理）は、ある意味で「不動点の個数を数える方法」を示すものであるため重要である。これらは、バナッハ空間や他のさらに抽象的な空間への一般化が数多く知られており、偏微分方程式論に応用されている。詳しくは無限次元空間における不動点定理を参照されたい。

このほか、はフラクタル圧縮の分野における定理であり、多くの画像に対して、ある比較的小さな式で表される関数が存在して「どんな初期値の画像から始めても、その関数を繰り返し適用すれば、急速に目的の画像に収束する」ようにできることが証明するものである。

代数学および離散数学において 
は、完備束上の任意の単調写像は少なくとも一つの不動点（実際には「最小の不動点」）が存在することを述べる。詳しくはブルバキ・ヴィットの定理を参照されたい。この定理は静的コード解析の一つの形式である抽象解釈において応用を持つ。

ラムダ計算における共通のテーマの一つとして、「与えられたラムダ式の不動点を求める」というものがある。ラムダ式には必ず不動点が存在し、「ラムダ式を入力すると、その式の不動点が出力として得られる」という関数が不動点コンビネータである。不動点コンビネータの1つにYコンビネータがあり、これは再帰的定義を記述する際に用いられる重要なものである。不動点定理を適用する対象の関数は、論理的な観点からは同一の関数だが、その理論の展開は多岐にわたっている。プログラム言語の表示的意味論の分野では、再帰的定義の意味論を構築するために、クナスター・タルスキーの定理のある特別な場合を用いている。また、計算可能性理論においても、クリーネの再帰定理を使えば、再帰的関数を同様に定義することができる。なお、これらの各分野で用いている定理は等価ではなく、クナスター・タルスキーの定理というのは、表示的意味論で用いている定理よりもずっと強い定理である。ただし、チャーチ・チューリングのテーゼの観点では、これらの直感的な意味合いは同じであり、「再帰関数は、関数を関数にうつすある汎関数の最小の不動点として表すことができる」ということに他ならない。

ところで、初めに紹介した「関数の繰り返し適用によって不動点を求める」という手法は、集合論でも用いる手法である。では、「順序数から順序数への連続な狭義単調増加関数には、少なくとも1つの（実際には多数の）不動点が存在する」ことを述べている。また、半順序集合のには必ずいくつかの不動点が存在し、それらが、この閉包作用素に関する意味で「閉」な元である（これが、閉包作用素を先に定義する最大の理由である）。

元の個数が奇数であるような有限集合上の任意の対合は不動点を持つ。より一般に、元の有限集合上の任意の対合に対して、不動点の数と元の数の偶奇性は一致する。ドン・ザギエはこれらの観察の下でフェルマーの二平方和定理の一文証明を与えた。これは整数の三つ組の成す同じ集合上の二つの対合を記述することで成り立っており、一方はただ一つの不動点を持つことが平易にわかるもので、他方は与えられた素数 (ただし  で  のもの) を二平方和でおのおの表現したものに対する不動点を持つ。前者は奇数個の不動点を持つから後者もそうで、従って必ず所期の形の表現が存在することがわかる。

関連項目

各種の不動点定理 
 アティヤ・ボットの不動点定理
 バナッハの不動点定理
 ボレルの不動点定理
 ブラウワーの不動点定理
 カリスティの不動点定理
 : 一階述語論理の自己言及文に対する不動点定理
 
 
 角谷の不動点定理
 クリーネの不動点定理
 レフシェッツの不動点定理
 ニールセンの不動点定理
 ポワンカレ–バーコフの不動点定理: 二種類の不動点の存在を示す
 ロジャースの不動点定理
 ローヴェアの不動点定理
 シャウダーの不動点定理

脚注

参考文献

外部リンク 
Fixed Point Method（英語）

反復法
数学に関する記事