バナッハの不動点定理
数学におけるバナッハの不動点定理（バナッハのふどうてんていり、）は、距離空間の理論において重要な役割を担う不動点定理であり、縮小写像の定理あるいは縮小写像の原理としても知られる。この定理はある自己写像の不動点の存在と一意性を保証するものであり、そのような不動点の構成法を提供するものである。1922年に初めて提唱したステファン・バナッハ（1892-1945）の名にちなむ。
"定義" ("X", "d") を距離空間とする。このとき写像 "T" : "X" → "X" が "X" 上の縮小写像であるとは、ある "q" ∈ [0, 1) が存在して、
が "X" 内のすべての "x", "y" に対して成立することをいう。
バナッハの不動点定理 ("X", "d") を空でない完備距離空間とし、"T" : "X" → "X" を縮小写像とする。このとき、"T" は "X" において唯一つの不動点（すなわち、"T"("x*") = "x*"）を持つ。この "x*" は次のように見つけられる："X" 内の任意の元 "x" に対し、数列 {"x"} を "x" = "T"("x") で定義する。このとき "x" → "x*" である。
"注意 1" 次の不等式は同値であり、を表している：
このような値 "q" はすべて "T" に対するリプシッツ定数と呼ばれる。またそれらの内で最小のものはしばしば "T" の最良リプシッツ定数（the best Lipschitz constant）と呼ばれる。
"注意 2" すべての "x" ≠ "y" に対して "d"("T"("x"), "T"("y")) コンパクトであるなら、この弱い仮定でも不動点の存在と一意性は保証される。実際その不動点は、コンパクト性により必ず存在する "d"("x", "T"("x")) のミニマイザーとして得られる。すると、不動点定理は "T" の反復からなる任意の列の極限として得られることが容易に分かる。
"注意 3" この定理を実際に使うとき、一般に最も難しい点は "T"("X") ⊆ "X" を満たす "X" を適切に定めることである。
任意の "x" ∈ ("X", "d") に対して列 {"x"} を "x" = "T"("x") によって定義する。バナッハによる元々の証明は、いくつかの補題を示すことで完成される：
補題 1 すべての "n" ∈ N に対して、"d"("x", "x") ≤ "qd"("x", "x") が成り立つ。
"証明" 帰納法によって証明される。基本となる "n=1" の場合は、
より従う。ある "k" ∈ N に対して成立すると仮定すると、次が成り立つ。
数学的帰納法より、すべての "n" ∈ N に対して補題は示される。
補題 2 {"x"} は ("X", "d") におけるコーシー列で、"X" 内のある極限 "x*" に収束する。
"証明" "m", "n" ∈ N を、"m" > "n" を満たすものとする。このとき次が成り立つ。
ε > 0 を任意とする。"q" ∈ [0, 1) であることより、十分大きな "N" ∈ N に対して次が成り立つ。
したがって "m", "n" を十分大きな数とすれば、次が得られる。
ε > 0 が任意であることより、列 {"x"} はコーシー列であることが分かる。
補題 3 "x*" は "T" の不動点である。
"証明" 再帰的な関係 "x" = "T"("x"") の両辺の極限を取る：
"T" は縮小写像なので、連続である。したがって、極限を写像の内側で取ることが出来る：
したがって、"x*" = "T"("x*") である。
補題 4 "x*" は "T" の ("X", "d") 内における唯一つの不動点である。
"証明" "y" も "T"("y") = "y" を満たす不動点であるとする。このとき
が成り立つ。"q" ∈ [0, 1) であることに注意すると、この不等式は 0 ≤ (1−"q")"d"("x*", "y") ≤ 0 を意味する。したがって "d"("x*", "y") = 0 であり、正定値性から "x*" = "y" が成り立つ。
つづいて近年 Journal of Fixed Point Theory and its Applications に掲載されたより簡単な証明を紹介する（参考文献を参照）。
三角不等式より、"X" 内のすべての "x", "y" に対して、次が成り立つ。
これを "d"("x", "y") について解くことで、次の「基本縮小不等式」（Fundamental Contraction Inequality）が得られる。
"x" と "y" がいずれも不動点であるなら、この不等式は "d"("x", "y") = 0、すなわち "x" = "y" を意味し、"T" は高々一つの不動点しか持たないことが分かる。"T" をそれ自身と "n" 回合成することで、写像 "T" を定義する。帰納的に、この写像は定数 "q" についてリプシッツ条件を満たすことに注意されたい。あとは "X" 内の任意の "x" に対して列 {"T"("x")} がコーシー列であることを示し、したがって "X" のある点 "x*" に収束することを示せばよい。その点は上述のように明らかに "T" の不動点である。基本縮小不等式において "x" と "y" をそれぞれ "T"("x") と "T"("x") に置き換えると、次の成立が分かる。
"q" < 1 なので、最後の表現は "n", "m" → ∞ に対してゼロに収束し、このことは {"T"("x")} がコーシー列であることを意味する。"m" → ∞ に対しては、第一の証明で現れた次の不等式が得られる。
これは {"T"("x")} が "x*" に収束する収束率を与えるものである。
この結果の直接的な帰結によって、逆函数定理の証明が与えられる。
バナッハの縮小原理にはいくつかの逆が存在する。以下の結果は、Czesław Bessaga が1959年に示したものである：
"f" : "X" → "X" を、各反復 "f" が唯一つの不動点を持つような抽象的な集合の写像とする。このとき "q" ∈ (0, 1) とすると、"X" 上のある完備距離が存在して、"f" は縮小写像となり、"q" はその縮小定数となる。
実際、このような種類の逆を得る上では非常に弱い仮定で十分である。例えば、"f" : "X" → "X" を唯一つの不動点 "a" を持つT1空間上の写像で、"X" 内の各 "x" に対して "f"("x") → "a" が成り立つものとする。このとき、"X" 上の距離で、それに関して "f" が縮小定数 1/2 についてバナッハの縮小原理の条件を満たすようなものが存在する。この場合、その距離は実際には超距離である。
応用上の興味が注がれるような多くの一般化が、直接的な系として存在する。"T" : "X" → "X" を空でない完備距離空間上の写像とする。
しかし多くの応用において、不動点の存在と一意性は、"T" を縮小写像にする距離を適切に選ぶことで、標準的なバナッハの不動点定理によって直接的に示される。実際、Bessaga による上述の結果では、そのような距離を見つけることが強く推奨されている。さらなる一般化については、記事無限次元空間における不動点定理を参照されたい。
異なる類の一般化は、距離空間の概念の適切な一般化によって生じる。例えば、距離の概念に対する公理の定義を弱めることなどで生じる。 それらの内のいくつかは、例えば計算機科学におけるプログラム意味論などで、応用例を持つ。