バナッハの不動点定理のソースを表示

[[数学]]における'''バナッハの不動点定理'''（バナッハのふどうてんていり、{{Lang-en-short|Banach fixed-point theorem}}）は、[[距離空間]]の理論において重要な役割を担う[[不動点定理]]であり、'''縮小写像の定理'''あるいは'''縮小写像の原理'''としても知られる。この定理はある自己写像の[[不動点]]の存在と一意性を保証するものであり、そのような不動点の構成法を提供するものである。1922年に初めて提唱した[[ステファン・バナッハ]]（1892-1945）の名にちなむ<ref>http://www.emis.de/journals/BJMA/tex_v1_n1_a1.pdf</ref>。

== 内容 ==
''定義'' (''X'', ''d'') を距離空間とする。このとき写像 ''T'' : ''X'' → ''X'' が ''X'' 上の[[縮小写像]]であるとは、ある ''q'' ∈ [0, 1) が存在して、

:<math>d(T(x),T(y)) \le q d(x,y)</math>

が ''X'' 内のすべての ''x'', ''y'' に対して成立することをいう。

<blockquote>'''バナッハの不動点定理''' (''X'', ''d'') を空でない[[完備距離空間]]とし、''T'' : ''X'' → ''X'' を縮小写像とする。このとき、''T'' は ''X'' において唯一つの不動点（すなわち、''T''(''x*'') = ''x*''）を持つ。この ''x*'' は次のように見つけられる：''X'' 内の任意の元 ''x''<sub>0</sub> に対し、数列 {''x<sub>n</sub>''} を ''x<sub>n</sub>'' = ''T''(''x''<sub>''n''−1</sub>) で定義する。このとき ''x<sub>n</sub>'' → ''x*'' である。</blockquote>

''注意 1'' 次の不等式は同値であり、{{仮リンク|収束率|label=収束のスピード|en|rate of convergence}}を表している：

:<math>
\begin{align}
d(x^*, x_n) &\leq \frac{q^n}{1-q} d(x_1,x_0), \\
d(x^*, x_{n+1}) &\leq \frac{q}{1-q} d(x_{n+1},x_n), \\
d(x^*, x_{n+1}) &\leq q d(x^*,x_n).
\end{align}
</math>

このような値 ''q'' はすべて ''T'' に対する[[リプシッツ連続|リプシッツ定数]]と呼ばれる。またそれらの内で最小のものはしばしば ''T'' の最良リプシッツ定数（the best Lipschitz constant）と呼ばれる。

''注意 2'' すべての ''x'' ≠ ''y'' に対して ''d''(''T''(''x''),&nbsp;''T''(''y''))&nbsp;<&nbsp;''d''(''x'',&nbsp;''y'') が成立することは、一般には不動点の存在を保証する上で十分ではない。実際、写像 ''T'' : [1, ∞) → [1, ∞), ''T''(''x'')&nbsp;=&nbsp;''x''&nbsp;+&nbsp;1/''x'' には不動点が存在しない。しかし ''X'' が[[コンパクト空間|コンパクト]]であるなら、この弱い仮定でも不動点の存在と一意性は保証される。実際その不動点は、コンパクト性により必ず存在する ''d''(''x'',&nbsp;''T''(''x'')) のミニマイザーとして得られる。すると、不動点定理は ''T'' の反復からなる任意の列の極限として得られることが容易に分かる。

''注意 3'' この定理を実際に使うとき、一般に最も難しい点は ''T''(''X'') ⊆ ''X'' を満たす ''X'' を適切に定めることである。

== 証明 ==
=== バナッハによる証明 ===

任意の ''x''<sub>0</sub> ∈ (''X'', ''d'') に対して列 {''x<sub>n</sub>''} を ''x<sub>n</sub>'' = ''T''(''x''<sub>''n''−1</sub>) によって定義する。バナッハによる元々の証明は、いくつかの補題を示すことで完成される：

<blockquote>'''補題 1''' すべての ''n'' ∈ '''N''' に対して、''d''(''x''<sub>''n''+1</sub>, ''x<sub>n</sub>'') ≤ ''q<sup>n</sup>d''(''x''<sub>1</sub>, ''x''<sub>0</sub>) が成り立つ。</blockquote>

''証明'' 帰納法によって証明される。基本となる ''n=1'' の場合は、

:<math>d(x_{1+1}, x_1) = d(x_2, x_1) = d(T(x_1), T(x_0)) \leq qd(x_1, x_0)</math>

より従う。ある ''k'' ∈ '''N''' に対して成立すると仮定すると、次が成り立つ。

:<math>\begin{align}
d(x_{(k + 1) + 1}, x_{k + 1}) &= d(x_{k + 2}, x_{k + 1}) \\
&= d(T(x_{k + 1}), T(x_k)) \\
&\leq q d(x_{k + 1}, x_k) \\
&\leq q q^kd(x_1, x_0) & \text{Induction Hypothesis}\\
& = q^{k + 1}d(x_1, x_0).
\end{align}</math>

[[数学的帰納法]]より、すべての ''n'' ∈ '''N''' に対して補題は示される。

<blockquote>'''補題 2''' {''x<sub>n</sub>''} は (''X'', ''d'') における[[コーシー列]]で、''X'' 内のある極限 ''x*'' に収束する。</blockquote>

''証明'' ''m'', ''n'' ∈ '''N''' を、''m'' > ''n'' を満たすものとする。このとき次が成り立つ。

:<math>\begin{align}
d(x_m, x_n) &\leq d(x_m, x_{m-1}) + d(x_{m-1}, x_{m-2}) + \dots + d(x_{n+1}, x_n) & \text{Triangle Inequality} \\
& \leq q^{m-1}d(x_1, x_0) + q^{m-2}d(x_1, x_0) + \dots + q^nd(x_1, x_0)  & \text{Lemma 1}\\
&= q^n d(x_1, x_0) \sum_{k=0}^{m-n-1} q^k \\
&\leq q^n d(x_1, x_0) \sum_{k=0}^\infty q^k \\
& = q^n d(x_1, x_0) \left ( \frac{1}{1-q} \right ) & \text{Geometric Series}
\end{align}</math>

ε > 0 を任意とする。''q'' ∈ [0, 1) であることより、十分大きな ''N'' ∈ '''N''' に対して次が成り立つ。

:<math>q^N < \frac{\varepsilon(1-q)}{d(x_1, x_0)}.</math>

したがって ''m'', ''n'' を十分大きな数とすれば、次が得られる。

:<math>d(x_m, x_n)  \leq q^n d(x_1, x_0) \left ( \frac{1}{1-q} \right ) < \left (\frac{\varepsilon(1-q)}{d(x_1, x_0)} \right ) d(x_1, x_0) \left ( \frac{1}{1-q} \right ) = \varepsilon.</math>

ε > 0 が任意であることより、列 {''x<sub>n</sub>''} はコーシー列であることが分かる。

<blockquote>'''補題 3''' ''x*'' は ''T'' の[[不動点]]である。</blockquote>

''証明'' 再帰的な関係 ''x<sub>n</sub>'' = ''T''(''x''<sub>''n''−1</sub>'') の両辺の極限を取る：

:<math> \lim_{n\to\infty} x_n = \lim_{n\to\infty} T(x_{n-1})</math>

''T'' は縮小写像なので、連続である。したがって、極限を写像の内側で取ることが出来る：

:<math>\lim_{n\to\infty} x_n = T\left(\lim_{n\to\infty} x_{n-1} \right). </math> 

したがって、''x*'' = ''T''(''x*'') である。

<blockquote>'''補題 4''' ''x*'' は ''T'' の (''X'', ''d'') 内における唯一つの不動点である。</blockquote>

''証明'' ''y'' も ''T''(''y'') = ''y'' を満たす不動点であるとする。このとき

:<math>0 \leq d(x^*, y) = d(T(x^*), T(y)) \leq q d(x^*, y)</math>

が成り立つ。''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'' に対して、次が成り立つ。

:<math>\begin{align}
d(x,y) &\le d(x,T(x)) + d(T(x),T(y)) + d(T(y),y) \\
&\le  d(x,T(x)) + q d(x,y) + d(T(y),y).
\end{align}</math>

これを ''d''(''x'', ''y'') について解くことで、次の「基本縮小不等式」（Fundamental Contraction Inequality）が得られる。

:<math>d(x,y) \le \frac{d(T(x), x) + d(T(y),y)}{1-q}.</math>

''x'' と ''y'' がいずれも不動点であるなら、この不等式は ''d''(''x'', ''y'') = 0、すなわち ''x'' = ''y'' を意味し、''T'' は高々一つの不動点しか持たないことが分かる。''T'' をそれ自身と ''n'' 回合成することで、写像 ''T<sup>n</sup>'' を定義する。帰納的に、この写像は定数 ''q<sup>n</sup>'' についてリプシッツ条件を満たすことに注意されたい。あとは ''X'' 内の任意の ''x''<sub>0</sub> に対して列 {''T<sup>n</sup>''(''x''<sub>0</sub>)} がコーシー列であることを示し、したがって ''X'' のある点 ''x*'' に収束することを示せばよい。その点は上述のように明らかに ''T'' の不動点である。基本縮小不等式において ''x'' と ''y'' をそれぞれ ''T<sup>n</sup>''(''x''<sub>0</sub>) と ''T<sup>m</sup>''(''x''<sub>0</sub>) に置き換えると、次の成立が分かる。

:<math>\begin{align}
d(T^n(x_0), T^m(x_0)) &\le \frac{d(T(T^n(x_0)), T^n(x_0)) + d(T(T^m(x_0)),T^m(x_0))}{1-q}, \\
&= \frac{d(T^n(T(x_0)), T^n(x_0)) + d(T^m(T(x_0)), T^m(x_0))}{1-q} \\
&\le \frac{q^n d(T(x_0), x_0) + q^m d(T(x_0), x_0)}{1-q} \\
&= \frac {q^n + q^m} {1-q} d(T(x_0) ,x_0).
\end{align}</math>

''q'' < 1 なので、最後の表現は ''n'', ''m'' → ∞ に対してゼロに収束し、このことは {''T<sup>n</sup>''(''x''<sub>0</sub>)} がコーシー列であることを意味する。''m'' → ∞ に対しては、第一の証明で現れた次の不等式が得られる。

:<math> d(T^n(x_0), x^*) \le \frac {q^n} {1-q} d(T(x_0) ,x_0). </math> 

これは {''T<sup>n</sup>''(''x''<sub>0</sub>)} が ''x*'' に収束する収束率を与えるものである。

== 応用 ==

* バナッハの不動点定理の標準的な応用例として、[[常微分方程式]]の解の存在と一意性に関する{{仮リンク|ピカール＝リンデレフの定理|en|Picard–Lindelöf theorem}}の証明が挙げられる。その微分方程式の求める解は、連続函数を連続函数に写す適切な積分作用素の不動点として表現される。その積分作用素が唯一つの不動点を持つことを示すためにバナッハの不動点定理が用いられる。

* バナッハの不動点定理の一つの帰結として、恒等写像の小さなリプシッツ摂動は[[リプシッツ連続|二重リプシッツ]]位相同型写像である、というものが挙げられる。Ω をあるバナッハ空間 ''E'' の開集合とし、''I'' : Ω → ''E'' を恒等（包含）写像とし、''g'' : Ω → ''E'' をリプシッツ定数 ''k'' < 1 についてのリプシッツ写像とする。このとき、次が成り立つ。
# Ω′ := (''I''+''g'')(Ω) は ''E'' の開部分集合である。正確には、''B''(''x'', ''r'') ⊂ Ω を満たす Ω 内の任意の ''x'' に対して、''B''((''I''+''g'')(''x''), ''r''(1−''k'')) ⊂ Ω′ が成り立つ; 
# ''I''+''g'' : Ω → Ω′ は二重リプシッツ位相同型写像である；
:正確には、(''I''+''g'')<sup>−1</sup> はリプシッツ定数 ''k''/(1−''k'') についてのリプシッツ写像 ''h'' に対して ''I'' + ''h'' : Ω → Ω′ と表すことが出来る。

この結果の直接的な帰結によって、[[逆函数定理]]の証明が与えられる。

== 逆 ==

バナッハの縮小原理にはいくつかの逆が存在する。以下の結果は、Czesław Bessaga が1959年に示したものである：

''f'' : ''X'' → ''X'' を、各[[反復合成写像|反復]] ''f<sup>n</sup>'' が唯一つの不動点を持つような抽象的な[[集合]]の写像とする。このとき ''q'' ∈ (0, 1) とすると、''X'' 上のある完備距離が存在して、''f'' は縮小写像となり、''q'' はその縮小定数となる。

実際、このような種類の逆を得る上では非常に弱い仮定で十分である。例えば、''f'' : ''X'' → ''X'' を唯一つの[[不動点]] ''a'' を持つ[[T1空間]]上の写像で、''X'' 内の各 ''x'' に対して ''f<sup>n</sup>''(''x'') → ''a'' が成り立つものとする。このとき、''X'' 上の距離で、それに関して ''f'' が縮小定数 1/2 についてバナッハの縮小原理の条件を満たすようなものが存在する<ref>{{cite journal |first=Pascal |last=Hitzler |first2=Anthony K. |last2=Seda |title=A ‘Converse’ of the Banach Contraction Mapping Theorem |journal=Journal of Electrical Engineering |volume=52 |issue=10/s |year=2001 |pages=3–6 }}</ref>。この場合、その距離は実際には[[超距離空間|超距離]]である。


== 一般化 ==

応用上の興味が注がれるような多くの一般化が、直接的な系として存在する。''T'' : ''X'' → ''X'' を空でない完備距離空間上の写像とする。
* ''T'' の何回目かの反復 ''T<sup>n</sup>'' は縮小写像であると仮定する。このとき、''T'' には唯一つの不動点が存在する。
* ''T'' は連続函数とし、''X'' 内のすべての ''x'' と ''y'' に対して
::<math>\sum\nolimits_n d(T^n(x),T^n(y))<\infty</math>
:が成り立つものとする。このとき ''T'' には唯一つの不動点が存在する{{Citation needed|date=August 2015}}。
しかし多くの応用において、不動点の存在と一意性は、''T'' を縮小写像にする距離を適切に選ぶことで、標準的なバナッハの不動点定理によって直接的に示される。実際、Bessaga による上述の結果では、そのような距離を見つけることが強く推奨されている。さらなる一般化については、記事[[無限次元空間における不動点定理]]を参照されたい。

異なる類の一般化は、[[距離空間]]の概念の適切な一般化によって生じる。例えば、距離の概念に対する公理の定義を弱めることなどで生じる<ref>{{cite book |first=Pascal |last=Hitzler |first2=Anthony |last2=Seda |title=Mathematical Aspects of Logic Programming Semantics |location= |publisher=Chapman and Hall/CRC |year=2010 }}</ref>。 それらの内のいくつかは、例えば[[計算機科学]]における[[プログラム意味論]]などで、応用例を持つ<ref>{{cite journal |first=Anthony K. |last=Seda |first2=Pascal |last2=Hitzler |title=Generalized Distance Functions in the Theory of Computation |journal=The Computer Journal |volume=53 |issue=4 |pages=443–464 |year=2010 }}</ref>。

== 関連項目 ==
* [[不動点定理]]
* [[ブラウワーの不動点定理]]
* {{仮リンク|解析函数の無限合成|en|Infinite compositions of analytic functions}}
* [[カリスティの不動点定理]]

== 注釈 ==
<references/>

== 参考文献 ==
* Banach, S. "Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales." ''Fund. Math.'' 3(1922), 133–181. [http://matwbn.icm.edu.pl/ksiazki/or/or2/or215.pdf]
* Vasile I. Istratescu, ''Fixed Point Theory, An Introduction'', D.Reidel, the Netherlands (1981).  ISBN 90-277-1224-7 See chapter 7.
* Andrzej Granas and [[:en:James Dugundji|James Dugundji]], ''Fixed Point Theory'' (2003) Springer-Verlag, New York, ISBN 0-387-00173-5.
*{{cite book|author = Kirk, William A.; Khamsi, Mohamed A.|title = An Introduction to Metric Spaces and Fixed Point Theory|year= 2001| publisher= John Wiley, New York | isbn  = 978-0-471-41825-2}}
* William A. Kirk and Brailey Sims, ''Handbook of Metric Fixed Point Theory'' (2001), Kluwer Academic, London ISBN 0-7923-7073-2.
* Palais, R. "A simple proof of the Banach contraction principle." ''J. fixed point theory appl. 2 (2007), 221–223''

{{DEFAULTSORT:はなつはのふとうてんていり}}
[[Category:位相幾何学]]
[[Category:不動点定理]]
[[Category:計量幾何学]]
[[Category:ステファン・バナフ]]
[[Category:証明を含む記事]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]