カリスティの不動点定理

カリスティの不動点定理（カリスティのふどうてんていり、）あるいはカリスティ＝カークの不動点定理（Caristi-Kirk fixed-point theorem）と呼ばれる定理は、数学において、バナッハの不動点定理を完備距離空間からそれ自身への写像に対して一般化するものである。カリスティの不動点定理は、（1974,1979）の "ε"-を少し変えたものである。また、カリスティの定理の結論が距離完備性と同値であることは Weston (1977) によって示された。元々の結果は、数学者ジェームス・カリスティとによるものである。
定理の内容.
("X", "d") を完備距離空間とする。"T" : "X" → "X" と "f" : "X" → [0, +∞) を "X" から非負の実数への下半連続函数とする。"X" 内のすべての点 "x" に対して、次が成り立つことを仮定する。
このとき "T" は "X" 内に不動点、すなわち "T"("x"0) = "x"0 を満たす点 "x"0 を持つ。