Caristi fixed-point theorem

In mathematics, the Caristi fixed-point theorem (also known as the Caristi–Kirk fixed-point theorem) generalizes the Banach fixed point theorem for maps of a complete metric space into itself. Caristi's fixed-point theorem modifies the ε-variational principle of Ekeland (1974, 1979). The conclusion of Caristi's theorem is equivalent to metric completeness, as proved by Weston (1977). The original result is due to the mathematicians James Caristi and William Arthur Kirk.

Caristi fixed-point theorem can be applied to derive other classical fixed-point results, and also to prove the existence of bounded solutions of a functional equation.[1]

Statement of the theorem

Let (X, d) be a complete metric space. Let T : X  X and f : X  [0, +∞) be a lower semicontinuous function from X into the non-negative real numbers. Suppose that, for all points x in X,

Then T has a fixed point in X, i.e. a point x0 such that T(x0) = x0.

Notes

  1. Khojasteh, Farshid; Karapinar, Erdal; Khandani, Hassan (27 January 2016). "Some applications of Caristi's fixed point theorem in metric spaces". Fixed Point Theory and Applications. doi:10.1186/s13663-016-0501-z.
gollark: The trouble with palettes is that they don't interoperate very well. If some program wants to use X palette and is in a window in some fancy multiwindow system, oh dear, doesn't work.
gollark: Ah, quite cool.
gollark: Unfortunately, I expect half the modern web will break due to lack of JS.
gollark: Also, can it actually *run* youtube or google drive?
gollark: Ah, more useless "O" "O" "P".

References

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.