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