Caristi's fixed point theorem and selections of set-valued contractions
type: Item
instance of: scholarly article
title: Caristi's fixed point theorem and selections of set-valued contractions
zbMATH Open document ID: 0916.47044
author: J. Jachymski
published in: Journal of Mathematical Analysis and Applications
publication date: 1999-07-06T00:00:00Z
review text: Let \((X,d)\) be a metric space and \(T:X\to X\) a map which need not be continuous but satisfies \(d(x,Tx)\leq\varphi(x)-\varphi(Tx)\) for some lower semicontinuous function \(\varphi:[0,\infty)\to[0,\infty)\). Caristi proved this result using transfinite induction. \textit{W. A. Kirk} [Colloq. Math. 36, 81-86 (1976; Zbl 0353.53041)] defined a partial ordering on \(X\) by \(x\leq_\varphi y\) iff \(d(x,y)\leq\varphi(x)-\varphi(y)\) in order to prove this theorem. His proof uses Zorn's lemma. \textit{F. E. Browder} [in: Fixed point theorem, Appl. Proc. Sem. Halifax 1975, 23-27 (1976; Zbl 0379.54016)] gave a constructive proof using the axiom of choice only for countable families. \textit{R. Mańka} [Rep. Math. Logic 22, 15-19 (1988; Zbl 0687.04003)] then gave a constructive proof based on Zermelo's theorem. The present author gives a simple derivation of Caristi's theorem from Zermelo's theorem in case \(T\) is continuous. On the other hand, the author describes examples of set-valued contractions which admit (not necessarily continuous) selections which satisfy the assumptions of Caristi's theorem. Finally, the author answers a question posed by W. A. Kirk by proving the following result: Let \(\eta:[0,\infty)\to[0,\infty)\) be a function satisfying \(\eta(0)=0\). Then the right hand lower Dini derivative of \(\eta\) at \(0\) (i.e., \(\liminf_{s\to t^+}[\eta(s)-\eta(t)]/[s-t]\)) vanishes if and only if there is a complete metric space \((X,d)\), a continuous and asymptotically regular mapping \(T:X\to X\) which has no fixed points and a continuous function \(\varphi:[0,\infty)\to[0,\infty)\) such that \(\eta(d(x,Tx))\leq\varphi(x)-\varphi(Tx)\) for all \(x\in X\).
reviewed by: Christian Fenske
Mathematics Subject Classification ID: 47H10
Mathematics Subject Classification ID: 54H25
Mathematics Subject Classification ID: 47H04
Mathematics Subject Classification ID: 03E25
zbMATH DE Number: 1236161
zbMATH Keywords: fixed point
zbMATH Keywords: continuous selection
zbMATH Keywords: axiom of choice
zbMATH Keywords: Zermelo theorem
zbMATH Keywords: maximality principle
zbMATH Keywords: Dini derivative
MaRDI profile type: Publication
full work available at URL: jmaa.1998.6074
OpenAlex ID: W2024028885
cites work: A fixed point theorem equivalent to the axiom of choice
cites work: On Nonlinear Contractions
cites work: On a lemma of Bishop and Phelps
cites work: Q4159947
cites work: Topologische Maximalprinzipien
cites work: Q4833938
cites work: Fixed Point Theorems for Mappings Satisfying Inwardness Conditions
cites work: Multi-valued contraction mappings in generalized metric spaces
cites work: On a conjecture of S. Reich
cites work: Q5645986
cites work: Q3803705
cites work: A generalization of Caristi's theorem with applications to nonlinear mapping theory
cites work: Q4150254
cites work: Q3941926
cites work: On the variational principle
cites work: Interations and fixpoints
cites work: Q4856077
cites work: Q4321722
cites work: Q3244654
cites work: Q4882683
cites work: Fixed point theorems in metric and uniform spaces via the Knaster-Tarski Principle
cites work: SOME CONSEQUENCES OF THE TARSKI-KANTOROVITCH ORDERING THEOREM IN METRIC FIXED POINT THEORY
cites work: Q4359066
cites work: Q4833950
cites work: Caristi's fixed point theorem and metric convexity
cites work: Q4072397
cites work: Eine direkte Ableitung des Zornschen Lemmas aus dem Auswahlaxiom
cites work: Q4205442
cites work: Q4205443
cites work: Fixed point theorems for multivalued mappings on complete metric spaces
cites work: Multi-valued contraction mappings
cites work: Q4179541
cites work: The drop theorem, the petal theorem and Ekeland's variational principle
cites work: Q5663096
cites work: Fixed Points of Order Preserving Multifunctions
cites work: Q3976098
cites work: Q3899168
cites work: On a Fixed Point Theorem of Contractive Type
cites work: On a fixed point problem of Reich
DOI: 10.1006/JMAA.1998.6074
description: scientific article; zbMATH DE number 1236161