導入 以下はバナッハの不動点定理(縮小写像の原理)のwikipediaからの引用である。 定義 (X, d) を距離空間とする。このとき写像 T : X → X が X 上の縮小写像であるとは、ある q ∈ [0, 1) が存在して、 {\displaystyle d(T(x),T(y))\leq qd(x,y)} が X 内のすべての x, y に対して成立することをいう。 バナッハの不動点定理 (X, d) を空でない完備距離空間とし、T : X → X を縮小写像とする。このとき、T は X において唯一つの不動点(すなわち、T(x*) = x*)を持つ。この x* は次のように見つけら…