カリスティの不動点定理
カリスティの不動点定理(カリスティのふどうてんていり、英: Caristi fixed-point theorem)あるいはカリスティ=カークの不動点定理(Caristi-Kirk fixed-point theorem)と呼ばれる定理は、数学において、バナッハの不動点定理を完備距離空間からそれ自身への写像に対して一般化するものである。カリスティの不動点定理は、イヴァール・エクランド(英語版)(1974,1979)の ε-変分原理(英語版)を少し変えたものである。また、カリスティの定理の結論が距離完備性と同値であることは Weston (1977) によって示された。元々の結果は、数学者ジェームス・カリスティとウィリアム・アーサー・カーク(英語版)によるものである。