×

Caristi’s fixed point theorem and selections of set-valued contractions. (English) Zbl 0916.47044

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. 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. 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. 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\).
Reviewer: C.Fenske (Gießen)

MSC:

47H10 Fixed-point theorems
54H25 Fixed-point and coincidence theorems (topological aspects)
47H04 Set-valued operators
03E25 Axiom of choice and related propositions
Full Text: DOI

References:

[1] Abian, A., A fixed point theorem equivalent to the axiom of choice, Arch. Math. Logik, 25, 173-174 (1985) · Zbl 0615.04008
[2] Bell, H., Review of “Proceedings of the Seminar on Fixed Point Theory and Its Applications”, Math. Rev., 57 (1976)
[3] Boyd, D. W.; Wong, J. S.W., On nonlinear contractions, Proc. Amer. Math. Soc., 20, 458-464 (1969) · Zbl 0175.44903
[4] Brøndsted, A., On a lemma of Bishop and Phelps, Pacific J. Math., 55, 335-341 (1974) · Zbl 0248.46009
[5] F. E. Browder, On a theorem of Caristi and Kirk, in; F. E. Browder, On a theorem of Caristi and Kirk, in · Zbl 0379.54016
[6] Brunner, N., Topologische Maximalprinzipien, Z. Math. Logik Grundlagen Math., 33, 135-139 (1987) · Zbl 0639.49006
[7] Büber, T.; Kirk, W. A., A constructive proof of a fixed point theorem of Soardi, Math. Japon., 41, 233-237 (1995) · Zbl 0824.54025
[8] Caristi, J., Fixed point theorems for mappings satisfying inwardness conditions, Trans. Amer. Math. Soc., 215, 241-251 (1976) · Zbl 0305.47029
[9] Covitz, H.; Nadler, S. B., Multi-valued contraction mappings in generalized metric spaces, Israel J. Math., 8, 5-11 (1970) · Zbl 0192.59802
[10] Daffer, P. Z.; Kaneko, H.; Li, W., On a conjecture of S. Reich, Proc. Amer. Math. Soc., 124, 3159-3162 (1996) · Zbl 0866.47040
[11] Daneš, J., A geometric theorem useful in nonlinear functional analysis, Boll. Un. Mat. Ital., 6, 369-375 (1972) · Zbl 0236.47053
[12] Daneš, J., Equivalence of some geometric and related results of nonlinear functional analysis, Comment. Math. Univ. Carolin., 26, 443-454 (1985) · Zbl 0656.47050
[13] Downing, D.; Kirk, W. A., A generalization of Caristi’s theorem with applications to nonlinear mapping theory, Pacific J. Math., 69, 339-345 (1977) · Zbl 0357.47036
[14] Downing, D.; Kirk, W. A., Fixed point theorems for set-valued mappings in metric and Banach spaces, Math. Japon., 22, 99-112 (1977) · Zbl 0372.47030
[15] Dugundji, J.; Granas, A., Fixed Point Theory I (1982), Polish Scientific Publishers: Polish Scientific Publishers Warsaw · Zbl 0483.47038
[16] Ekeland, I., On the variational principle, J. Math. Anal. Appl., 47, 324-353 (1974) · Zbl 0286.49015
[17] Fuchssteiner, B., Iterations and fixpoints, Pacific J. Math., 68, 73-80 (1977) · Zbl 0339.26007
[18] Gajek, L.; Zagrodny, D., Geometric variational principle, (Przeworska-Rolewicz, D., Different Aspects of Differentiability (1995)), 55-71 · Zbl 0858.49007
[19] Guillerme, J., Coincidence theorems in complete spaces, Rev. Mat. Apl., 15, 43-61 (1994) · Zbl 0840.54032
[20] Hille, E.; Phillips, R. S., Functional Analysis and Semigroups. Functional Analysis and Semigroups, American Mathematical Society Colloquium Publications, 31 (1957), American Mathematical Society: American Mathematical Society Providence · Zbl 0078.10004
[21] Jachymski, J. R., On Reich’s question concerning fixed points of multimaps, Boll. Un. Math. Ital A (7), 9, 453-460 (1995) · Zbl 0863.54042
[22] Jachymski, J. R., Fixed point theorems in metric and uniform spaces via the Knaster-Tarski principle, Nonlinear Anal., 32, 225-233 (1998) · Zbl 0901.54026
[23] J. R. Jachymski, Some consequences of the Tarski-Kantorovitch ordering theorem in metric fixed point theory, Quaestiones Math.; J. R. Jachymski, Some consequences of the Tarski-Kantorovitch ordering theorem in metric fixed point theory, Quaestiones Math. · Zbl 0924.47040
[24] Kada, O.; Suzuki, T.; Takahashi, W., Nonconvex minimization theorems and fixed point theorems in complete metric spaces, Math. Japon., 44, 381-391 (1996) · Zbl 0897.54029
[25] Khamsi, M. A.; Misane, D., Compactness of convexity structures in metric spaces, Math. Japon., 41, 321-326 (1995) · Zbl 0824.54026
[26] Kirk, W. A., Caristi’s fixed point theorem and metric convexity, Colloq. Math., 36, 81-86 (1976) · Zbl 0353.53041
[27] Kirk, W. A.; Caristi, J., Mapping theorems in metric and Banach spaces, Bull. Acad. Polon. Sci., 23, 891-894 (1975) · Zbl 0313.47041
[28] Kneser, H., Eine direkte Ableitung des Zornschen lemmas aus dem Auswahlaxiom, Math. Z., 53, 110-113 (1950) · Zbl 0037.31902
[29] Mańka, R., Some forms of the axiom of choice, Jbuch. Kurt-Gödel-Ges., 1, 24-34 (1988) · Zbl 0687.04002
[30] Mańka, R., Turinici’s fixed point theorem and the axiom of choice, Rep. Math. Logic, 22, 15-19 (1988) · Zbl 0687.04003
[31] Mizoguchi, N.; Takahashi, W., Fixed point theorems for multivalued mappings on complete metric spaces, J. Math. Anal. Appl., 141, 177-188 (1989) · Zbl 0688.54028
[32] Nadler, S. B., Multi-valued contraction mappings, Pacific J. Math., 30, 475-488 (1969) · Zbl 0187.45002
[33] Pasicki, L., A short proof of the Caristi theorem, Comment. Math. Prace Mat., 20, 427-428 (1978) · Zbl 0396.54038
[34] Penot, J.-P., A short constructive proof of Caristi’s fixed point theorem, Publ. Math. Pau, 10, 1-3 (1976)
[35] Penot, J.-P., The drop theorem, the petal theorem and Ekeland’s variational principle, Nonlinear Anal., 10, 813-822 (1986) · Zbl 0612.49011
[36] Reich, S., Fixed points of contractive functions, Boll. Un. Mat. Ital., 5, 26-42 (1972) · Zbl 0249.54026
[37] Smithson, R. E., Fixed points of order preserving multifunctions, Proc. Amer. Math. Soc., 28, 304-310 (1971) · Zbl 0238.06003
[38] Takahashi, W., Existence theorems generalizing fixed point theorems for multivalued mappings, (Baillon, J.-B.; Théra, M., Fixed Point Theory and Applications. Fixed Point Theory and Applications, Pitman Research Notes in Mathematics, 252 (1991), Longman: Longman Harlow), 397-406 · Zbl 0760.47029
[39] Turinici, M., Maximal elements in ordered topological spaces, Bull. Greek Math. Soc., 20, 141-148 (1979) · Zbl 0452.54024
[40] Wong, C. S., On a fixed point theorem of contractive type, Proc. Amer. Math. Soc., 57, 283-284 (1976) · Zbl 0329.54042
[41] Yu-Qing, C., On a fixed point problem of Reich, Proc. Amer. Math. Soc., 124, 3085-3088 (1996) · Zbl 0874.47027
[42] Zermelo, E., Neuer Beweis für die Möglichkeit einer Wohlordnung, Math. Ann., 65, 107-128 (1908) · JFM 38.0096.02
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.