不動点のソースを表示

{{出典の明記|date=2015年10月}}
[[file:Fixed Point Graph.png|thumb|right|不動点を三つ持つ関数]]
[[数学]]において[[写像]]の'''不動点'''（ふどうてん）あるいは'''固定点'''（こていてん、{{lang-en|''fixed point'', ''fixpoint''}}）とは、その[[写像]]によって自分自身に写される点のことである。

== 定義 ==
''x'' が写像 ''f'' の不動点であるとは、''f''(''x'') = ''x'' が成り立つときに言い、かつそのときに限る。たとえば ''f'' が実数全体で

:<math>\ f(x) = x^2 - 3 x + 4</math>

によって定義される函数ならば、''f''(2) = 2 であるから、2 はこの函数 ''f'' の不動点である。

どんな写像でも不動点を持つわけではなく、たとえば ''f'' が実数全体で ''f''(''x'') = ''x'' + 1 によって定義される函数ならば、どんな実数 ''x''も ''x'' = ''x'' + 1 を満たすことはないから、これは不動点を持たない。函数のグラフを考えれば、不動点とは直線 ''y'' = ''x'' 上にある点 (''x'', ''f''(''x'')) のことであり、同じことだが ''f'' のグラフと直線 ''y'' = ''x'' との共有点のことであると言うことができる。''f''(''x'') = ''x'' + 1 の例でいえば、この函数のグラフと直線 ''y'' = ''x'' は互いに[[平行]]であって、共有点を持たない。

有限回の[[反復関数|反復]]で元の値に戻ってくる点は[[周期点]]として知られる。不動点は周期が 1 に等しい周期点である。

== 吸引的不動点 ==

[[Image:Cosine fixed point.svg|250px|thumb| ''x''<sub>''n''+1</sub> = cos&thinsp;''x''<sub>''n''</sub> で定義される数列 (''x''<sub>''n''</sub>)<sub>''n''</sub> の、初期値 ''x''<sub>1</sub> = &minus;1 に関する[[不動点反復]]の様子。]]

像 ''f'' の'''吸引的不動点'''（きゅういんてきふどうてん、{{lang|en|''attractive fixed point''}}）とは、''f'' の不動点 ''x''<sub>0</sub> で、''x''<sub>0</sub> の十分近くにある定義域内の任意の値 ''x'' について[[反復関数]]列

:<math>x,\ f(x),\ f(f(x)),\ f(f(f(x))), \ldots</math>

が ''x''<sub>0</sub> に[[収束]]するものをいう。どのくらい近ければ「十分近く」であるかは場合によっては微妙な問題である。

自然[[余弦関数]]（「自然」というのは単位が &deg; ではなく[[ラジアン]]であるという意味） はちょうどひとつだけの吸引的な不動点を持つ。この場合「十分近く」というのはとてもゆるい基準であって、ためしに例えば函数電卓でもって好きな実数を入力して cos ボタンを繰り返し押してみれば<ref>これがうまくいくのは伝統的な、いわゆる「数式通り」方式でない函数電卓である。<!--RPNではどうなんでしょう誰か書いて--></ref>、瞬く間に不動点である約 0.73908513 に収束してしまう。つまりそこがグラフと直線 ''y'' = ''x'' が交差する点である。
これは[[ドッティ数]]と呼ばれる。

必ずしも全ての不動点が吸引的であるわけではなく、たとえば ''x'' = 0 は函数 ''f''(''x'') = 2''x'' の不動点だが、0 以外の値ではどれもこの函数の反復によって急速に発散してしまう。しかしながら、函数 ''f'' が不動点 ''x''<sub>0</sub> の適当な開近傍で連続的微分可能かつ |''f''&prime;(''x''<sub>0</sub>)| &lt; 1 であるならば、吸引性は保証される。

吸引的不動点はより広い数学的概念である[[アトラクター]]の特別の場合である。吸引的不動点はそれが[[リアプノフ安定]]であるとき、'''安定不動点''' {{lang|en|(''stable fixed point'')}} であるといわれる。また、不動点が'''中立安定不動点''' {{lang|en|(''neutrally stable fixed point'')}} であるとは、それがリアプノフ安定だが吸引的でないときにいう。二階[[線型微分方程式|斉次線型微分方程式]]の中心は中立安定不動点の例である。

== 不動点の存在定理 ==

数学の異なる分野で、特定の条件を満たす写像が少なくとも一つの不動点を持つというような、不動点の存在を保証する定理がいくつか存在する。そのような[[不動点定理]]は、一般論において有益な視座を与えてくれる最も基本的な定性的な結果のひとつとして利用される。

== 収束性 ==
収束の形式的な定義は以下のように述べることができる。(''p''<sub>''n''</sub>)<sub>0&le;''n''&lt;&infin;</sub> を ''p'' に収束し、任意の ''n'' について ''p''<sub>''n''</sub> &ne; 0 なる数列とする。正の定数 ''&lambda;'' と ''&alpha;'' で
:<math>\lim_{n\to\infty}\frac{|{p}_{n+1}-p|}{|{p}_{n}-p|^\alpha} =\lambda </math>
を満たすものが存在するならば、(''p''<sub>''n''</sub>)<sub>0&le;''n''&lt;&infin;</sub> は ''p'' に ''&alpha;'' のオーダーで、漸近誤差定数 ''&lambda;'' で収束する。

函数 ''f''(''x'') = ''x'' の不動点 ''p'' の収束性の判定に有用なリストが存在する<ref>Numerical Analysis, 8th Edition, Burden and Faires, Section 2.4 Error Analysis for Iterative Methods </ref>
。
# 最初に ''f''(''p'') = ''p'' であることを調べる。
# 一次収束について確認する。まず |''f''&prime;(''p'')| を求めて、
#* 0 &lt; |''f''&prime;(''p'')| &le; 1 ならば 一次収束する。 
#* 1 &lt; |''f''&prime;(''p'')| ならば発散する。
#* 0 =  |''f''&prime;(''p'')| ならば少なくとも一次収束するがもっとよいオーダーかもしれないので二次収束について確認する。
# 二次収束について確認する。まず |''f''&prime;&prime;(''p'')| を求めて、
#* |''f''&prime;&prime;(''p'')| &ne; 0 ならば、二次収束し ''f''&prime;&prime;(''p'') は連続である。
#* |''f''&prime;&prime;(''p'')| = 0 ならば、二次収束よりもさらに何かよい収束性を示す。
#* |''f''&prime;&prime;(''p'')| が存在しないならば、一次収束よりはよいが二次までは行かない収束をする。

== 応用 ==
多くの分野で、平衡や安定性は不動点の言葉で記述することができる基本概念である。たとえば、[[経済学]]で[[ゲーム理論|ゲーム]]の[[ナッシュ均衡]]はそのゲームの[[最適応答|最適応答対応]]の不動点である。

[[コンパイラ]]において不動点計算は、しばしばコードの[[最適化 (情報工学)|最適化]]を行うことが求められるプログラム解析全般にわたって用いられる。すべてのウェブページの[[ページランク]]の値からなるベクトルは[[ワールド・ワイド・ウェブ|WWW]] のリンク構造から導かれる[[線型変換]]の不動点である。

論理学者[[ソール・クリプキ]]は自身の有力な真理の理論において不動点を活用した。彼が示したのは、「真理」を語が新たに発生しない言語の断片から再帰的に定義して、新たに矛盾のない文章が獲得される過程が停止するまで続ける（これは可算無限回の段階を踏むことになるかもしれない）ことによって、人は如何にして部分的に定められた真理を叙述するかということであった（「この文は間違っている」というような問題のある文に対しては曖昧にしたままである）。つまり、言語 L に対して L&prime; を、L 内の各文 ''S'' に対して「''S'' は正しい」という文を L に付け加えることによって生成される言語とする。L&prime; が L と一致するときが不動点に到達したときである。この点にあっても、「この文は間違っている」といったような文の真偽は定められていないまま残っている。そしてクリプキに従えば、この理論はそれ自身の真理の叙述を含む自然言語にとって適したものであるというのである。

== 関連項目 ==
<div style="-moz-column-count:3; column-count:3;">  
*[[固有ベクトル]]
*[[平衡点]]
*[[アトラクター]]
*[[安定理論]]
*[[停留点]]
<!--*[[メビウス変換#不動点|メビウス変換の正規形]]-->
*[[不変量]]
*[[不動点コンビネータ]]
*[[冪等]]
*[[不動点定理]]
*[[最小不動点]]/[[最大不動点]]
*[[ニールセン理論]]
</div>

== 参考文献 ==
{{reflist}}

== 外部リンク ==
* [http://math.fullerton.edu/mathews/a2001/Animations/RootFinding/FixedPoint/FixedPoint.html Animations for Fixed Point Iteration]
* [http://www.osaka-ue.ac.jp/zemi/nishiyama/math2010j/fixed_j.pdf エレガントな不動点作図法]

{{DEFAULTSORT:ふとうてん}}
[[Category:不動点|*]]
[[Category:力学系]]
[[Category:ゲーム理論]]
[[Category:数学に関する記事]]