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