 Research
 Open Access
Metric fixed point theory: a brief retrospective
 William A Kirk^{1}Email author
 Received: 22 October 2015
 Accepted: 9 November 2015
 Published: 24 November 2015
Abstract
These remarks are based on a talk the writer gave at the 11th International Conference in Fixed Point Theory and Applications, held at Galatasaray University in Istanbul, Turkey, July 2024, 2015. They represent selected thoughts on a career in research, largely devoted to metric fixed point theory, that has spanned over 50 years.
Keywords
 Banach Space
 Nonexpansive Mapping
 Point Theory
 Common Fixed Point
 Fixed Point Theory
1 Introduction
This is not intended to be a review of ‘metric fixed point theory’ from its inception, but rather an overview of the emergence of the theory as I experienced it over the past 50 years.
As many know, in 1965 I published a paper that had a clear impact on the development of ‘metric’ fixed point theory. In these remarks I will discuss how this paper emerged, as well as the early days of my research and selected topics that I have studied throughout the years. I was trained as a geometer. However, my very earliest research had a fixed point theory component. I then ventured into functional analysis, and later became interested in the logical underpinnings of certain aspects of the theory. Later my research largely came full circle back to the study of fixed point theory in geodesic spaces.

K Goebel, WA Kirk, Topics in metric fixed point theory. Cambridge Studies in Advanced Mathematics, 28. Cambridge University Press, Cambridge, 1990. viii+244 pp.

MA Khamsi, WA Kirk, An introduction to metric spaces and fixed point theory. Pure and Applied Mathematics (New York). WileyInterscience, New York, 2001. x+302 pp.

WA Kirk, N Shahzad, Fixed point theory in distance spaces. Springer, Cham, 2014. xii+173 pp.
The present discussion will involve only some aspects of metric fixed point theory as it has developed over the years. The questions of what has been accomplished is clear; what remains to be done is less clear. It is perhaps noteworthy that this year (2015) marks the 25th anniversary of the appearance of the GoebelKirk book and the 50th anniversary of the appearance of my 1965 fixed point theorem on nonexpansive mappings (discussed below).
I first turn to some of the history of fixed point theory conferences.
2 Conferences
The Istanbul conference was the 11th in a series of conferences entitled ‘Fixed Point Theory and its Applications’. This series is devoted mainly to metric and functional analytic aspects of the theory. It is noteworthy that the inaugural conference in this series was 26 years ago. Since then, conferences in this series have been held every 24 years throughout the world.

France (Marseille, 1989) [JeanBernard Baillon, Michel Théra],

Canada (Halifax, 1991) [S Swaminathan, KK Tan],

Spain (Seville, 1995) [Universidad de Sevilla, José María Ayerbe, et al.],

Poland (Kazimierz Dolny, 1997) [K Goebel, S Prus, T Sękowski, A Stachura],

Israel (Haifa, 2001) [Simeon Reich],

Spain (Valencia, 2003) [Jesús Garcia Falset, Enrique Llorens Fuster],

Mexico (Guanajuato, 2005) [Helga Fetter Nathansky, Berta Gamboa de Buen],

Thailand (Chiang Mai, 2007) [S Dhompongsa, Suthep Suantai, Bancha Panyanak],

Taiwan (Changhua, 2009) [Lai Jiu Lin],

Romania (ClujNapoca, 2012) [Adrian Petruşel, et al.],

Turkey (Istanbul, 2015) [Erdal Karapinar].
Fortunately I have been able to attend (and give talks) at each of the above conferences. As far as I know only two others, Kazimierz Goebel and Brailey Sims, can say this as well.
It will be apparent from the remarks below that in the early days more well established topologists promoted fixed point theory as an independent discipline and expanded the scope of their conferences accordingly. My first introduction to a conference devoted exclusively to fixed point theory, in fact probably the very first such conference, was 40 years ago. This was a seminar on ‘Fixed Point Theory and its Applications’ held in Halifax, Nova Scotia, June 912, 1975. This seminar was sponsored jointly by the Canadian Mathematical Congress and Dalhousie University. Geometrical aspects of fixed point theory were emphasized, although some topological and analytical aspects were also discussed. In 1975 there were so few people working in fixed point theory that at that time the theory had not separated into two branches  ‘metric’ and ‘topologicalorder theoretic’. It is not clear to me just how or when this separation occurred, but I think over time so many people began working fixed point theory a single conference devoted to all aspects of the theory had become unmanageable.
Throughout the discussion I will mention the names of several mathematicians, some likely unknown to younger mathematicians today. However in many ways these people had an impact on development metric fixed point theory.

Felix Browder (Chicago),

KimPeu Chew (Malayasia),

MM Day (Illinois),

Michael Edelstein (Dalhousie),

Andrzej Granas (Montreal),

LA Karlovitz (Maryland),

WA Kirk (Iowa),

V Lakshmikantham (Arlington, TX),

Anthony ToMing Lau (Alberta),

HeinzOtto Peitgen (Bonn),

WV Petryshyn (Rutgers, NJ),

J Reinermann (Aachen, Germany),

R Schöneberg (Aachen, Germany),

S Swaminathan (Dalhousie) (the conference organizer),

Kok Keong Tan (Dalhousie),

Chi Song Wong (Windsor).
Among the main speakers at this conference were Felix Browder,^{1} MM Day, A Granas, and V Lakshmikantham.

Fixed point theory and its applications. Proceedings of the seminar held at Dalhousie University, Halifax, N. S., June 912, 1975. Edited by Srinivasa Swaminathan. Academic Press [Harcourt Brace Jovanovich, Publishers], New YorkLondon, 1976. xiii+216 pp.

J Alexander (College Park),

JC Becker (West Lafayette),

H Bell (Cincinnati),

DG Bourgin (Houston),

RF Brown (Los Angeles),

FR Cohen (De Kalb),

G de Cecco (Lecce),

K Delinic (Heidelberg),

A Dold (Heidelberg),

J Dugundgi (Los Angeles),

W End (Heidelberg),

H Engl (Linz),

D Erle (Dortmund),

E Fadell (Madison),

CC Fenske (Giessen),

M Feshbach (Evanston),

G Fournier (Sherbrooke),

FB Fuller (Pasedena),

H Glover (Columbus),

K Goebel (Lublin),

DH Gottleib (West Lafayette),

B Halpern (Bloomington),^{2}

KA Hardie (Rondebosch),

SY Husseini (Madison),

J Jawoworski (Bloomington),^{3}

RP Jerrard (Coventry),

WA Kirk (Iowa City),

RJ Knill (New Orleans),

J Matkowski (BielskoBiata),

M Nakaoka (Osaka),

J Pak (Detroit),

HO Peitgen (Bonn),

WV Petryshyn (New Brunswick),

C Prieto (Heidelberg),

M Prieto (Heidelberg),

D Puppe (Heidelberg),

J Reinermann (Aachen),

H Schirmer (Ottawa),

R Schöneberg (Aachen),

W Singhof (Köln),

V Stallbohm (Aachen),

H Steinlein (Müchen),

H Ulrich (Heidelberg),

E Vogt (Heidelberg),

F Wille (Kassel),

TJ Wilmore (Durham).
‘Irregular convex sets with the fixed point property for nonexpansive mappings’
Let X be a Banach space and let \(C\subset X\) be a convex closed and bounded set. It is known that the fixed point property for nonexpansive mappings depends strongly on some ‘nice’ geometrical properties of the set C (such as, e.g., uniform convexity, normal structure). The aim of this lecture is to show examples of singularities occurring in this field. The examples of sets having f.p.p. which do not satisfy all known and commonly used regularity conditions are given. One of the constructions shows a decreasing sequence \(C_{n}\) of closed convex subsets of \(\ell^{1}\) such that \(C_{2n+1}\) has and \(C_{2n}\) does not have the fixed point property. The intersection of all the \(C_{n}\)’s may or may not have the fixed point property up to our choice.

K Goebel, T Kuczumow, Irregular convex sets with fixedpoint property for nonexpansive mappings. Colloq. Math. 40 (1978/79), no. 2, 259264.
‘Fixed point theorems for nonexpansive mappings in Banach spaces’
Let E denote a real Banach space and \(D\subset E\). A mapping \(T:D\rightarrow E\) is said to be nonexpansive if \(\Vert TxTy \Vert \leq \Vert xy\Vert \), \(x,y\in D\). It has been known since 1967 that a firm link exists between the fixed point theory for nonexpansive mappings and mapping theory for accretive mappings. (A mapping \(f:D\rightarrow E\) is called accretive if \(\forall u,v\in D\), \(\langle f ( u ) f ( v ) ,j\rangle\geq0\) for some \(j\in J ( uv ) \) where \(J:E\rightarrow2^{E^{\ast}}\) denotes the normalized duality mapping defined by \(j\in J ( x ) \Leftrightarrow \langle x,j\rangle=\Vert x\Vert ^{2}=\Vert j\Vert ^{2}\), \(x\in E\).) A technique due to Felix Browder combined with a result of RH Martin, Jr. directly implies the following. Theorem. Suppose E has the property: (i) bounded closed convex subsets of E have the common fixed point property with respect to commuting families of nonexpansive mappings. Then every continuous accretive mapping \(f:E\rightarrow E\) which satisfies \(\Vert f ( x ) \Vert \rightarrow\infty\) as \(\Vert x\Vert \rightarrow\infty\) is surjective. R Schöneberg and the speaker have recently shown that condition (i) may be weakened to (ii): Closed balls in E have the fixed point property with respect to nonexpansive selfmappings. Recent results of Karlovitz and Goebel show that (ii) may hold while (i) fails.

WA Kirk, R Schöneberg, Zeros of maccretive operators in Banach spaces. Israel J. Math. 35 (1980), no. 12, 18.

JC Alexander,

Felix Browder,

Robert F Brown,

Edward Fadell,

Gilles Fournier,

Lech Gorniewicz,

Jean Pierre Gossez,

Benjamin Halpern,

George Isac,

Jan Jaworowski,

WA Kirk,

Enrique Lami Dozo,

Mario Martelli,

Silvio Massa,

Roger D Nussbaum,^{4}

HeinzOtto Peitgen,

Walter Petryshyn,

William O Ray,

BE Rhoades,

Helga Schirmer,

Robert Sine,

Sankatha P Singh,

Heinrich Steinlein.

Fixed point theory. Proceedings of a Conference held at the Université de Sherbrooke, Sherbrooke, Que., June 221, 1980. Edited by Edward Fadell and Gilles Fournier. Lecture Notes in Mathematics, 886. Springer, Berlin, 1981. xii+511 pp.

Nonlinear functional analysis and its applications. Proceedings of the NATO Advanced Study Institute held in Maratea, April 22May 3, 1985. Edited by SP Singh. NATO Advanced Science Institutes Series C: Mathematical and Physical Sciences, 173. D Reidel Publishing Co., Dordrecht, 1986. xii+418 pp.
Later I attended conferences sponsored by the International Federation of Nonlinear Analysts, an organization founded by V Lakshmikantham.^{5} All of these conferences had sessions devoted exclusively to fixed point theory. The IFNA conferences that I attended were: The Second World Congress, Athens, Greece, July 1996; The Third World Congress, Catania, Italy, July 2000; The Fourth World Congress, Orlando, Florida, July 2004.
3 Early work  geodesic geometry
I received my PhD degree at the University of Missouri in 1962 under the supervision of Leonard M Blumenthal.^{6} As a result I turned to geometry as I began my research career. Soon after accepting my first appointment at UC Riverside I became fascinated by a class of geodesic spaces introduced by the geometer Herbert Busemann.^{7}
A Gspace R in the sense of Busemann (The Geometry of Geodesics, Academic Press, New York, 1955) is a metric space which is (i) finitely compact (or proper, i.e., bounded closed sets are compact), (ii) metrically convex, and for which (iii) prolongation is locally possible and unique.
A mapping φ of a Gspace R onto itself is called a local isometry if for every \(p\in R\) there exists a number \(\eta_{p}>0\) such that ψ maps the open ball \(U ( p;\eta_{p} ) \) isometrically onto the ball \(U ( \varphi ( p ) ;\eta _{p} ) \). The following fact is almost immediate.
A locally isometric mapping of a Gspace onto itself is a motion (surjective isometry) if and only if it is onetoone (bijective).
This led Busemann to pose the following problem (see p.405, (27) of Busemann’s book).
Problem
Find conditions, in particular conditions applying to an ordinary cylinder, under which a noncompact Gspace has the property that every locally isometric mapping of the space onto itself is a motion.

WA Kirk, On locally isometric mappings of a Gspace on itself, Proc. Amer. Math. Soc. 15 (1964), 584586.
In this paper I first proved the following ‘fixed point’ result.
Theorem 1
A locally isometric mapping of a Gspace onto itself which has a fixed point is a motion.
The group of motions of a Gspace is said to be transitive if given any two points of the space there is a motion of the space that maps one into the other. Busemann had noted that among twodimensional Gspaces, it is known that the cylinder (and torus) with a Minkowskian metric has a transitive group of motions.
Therefore the following simple application of Theorem 1 provides an affirmative answer to Busemann’s problem.
Theorem 2
If a Gspace R has a transitive group of motions then every locally isometric mapping of R onto itself is a motion.
Proof
Let ϕ be a locally isometric mapping of R onto itself, let \(p\in R\), and let ψ be a motion of R such that \(\psi\circ\phi ( p ) =p\). Then by Theorem 1 \(\psi\circ\phi\) is a motion and hence onetoone. This trivially implies ϕ is onetoone; hence a motion. □
The proceedings paper was submitted in March, 1963 and it appeared in print in August, 1964. (At that time such a lapse between submission and publication was typical.)
4 Nonexpansive mappings in Banach spaces
Here is a statement of my 1965 fixed point result.
Theorem 3
Let K be a bounded closed convex subset of a reflexive Banach space, and suppose that K has normal structure. Then every nonexpansive mapping \(T:K\rightarrow K\) has at least one fixed point.
There is a little history associated with this theorem. While at UC Riverside (where I proved Theorem 3) a colleague of mine, Hajimu Ogawa, with whom I had discussed my theorem, attended a lecture given by Felix Browder at UC Berkeley. When Ogawa returned he told me that Browder had announced a theorem that sounded very similar to the one I had told him about. I sent Browder a preprint of my paper and he immediately replied that we had indeed hit upon the same idea. He said he would refer to my paper in a footnote to his paper (which he did), and that his paper was scheduled to appear soon in the Proceedings of the National Academy of Sciences. Browder’s theorem was the same as mine except that he assumed that the space was uniformly convex and therefore he was able to drop the normal structure assumption.
My paper had already been accepted by the American Mathematical Monthly, but it had languished for some time awaiting publication. I showed Browder’s letter to my Department Chair, F Burton Jones.^{8} Later I found out that Jones called the Managing Editor of the Monthly (FA Ficken) and that Ficken apparently had arranged to expedite publication of my paper. It turned out that my paper and Browder’s appeared simultaneously in 1965 avoiding any question of priority. Subsequently, Browder and I discovered that Dietrich Göhde of Leipzig (East Germany at that time) had also proved that uniformly convex Banach spaces have the fixed point property for nonexpansive mappings. Remarkably, Göhde’s paper also appeared in 1965. Regarding the three proofs, my proof and Browder’s were quite similar, both relying on an application of Zorn’s lemma, while Göhde’s was somewhat more constructive.

FE Browder, Nonexpansive nonlinear operators in a Banach space, Proc. Nat. Acad. Sci. U.S.A. 54 (1965), 10401044.

D Göhde, Zum Prinzip der kontraktiven Abbildung. (German) Math. Nachr. 30 (1965), 251258.

WA Kirk, A fixed point theorem for mappings which do not increase distances. Amer. Math. Monthly 72 (1965), 10041006.
I have been more adept at identifying open problems than solving them. In the early days interest in metric fixed point theory was tied exclusively to the theory of Banach spaces. More abstract theories had yet to emerge.
The first problem I identified involved the necessity of ‘normal structure’ in the fundamental existence theorem for nonexpansive mappings in weakly compact sets. It was shown early on that the answer is negative. A second problem that arose early (see [2]) was whether a commutative family of nonexpansive mappings under the assumption of Theorem 3 always has a common fixed point. This was answered in the affirmative a few years later, independently, by TeckCheong Lim^{9} and RE Bruck^{10} [3, 4].
5 The 1995 Seville workshop
In my talk at the Seville conference [5], the third in the present metric series, I mentioned a number of open problems in Banach space fixed point theory, many of which remain open to this day.
It is gratifying to see that some people are still working on these problems despite the somewhat understandable tendency of people to shy away from such problems out of concern that they might be too difficult. However, over the years there has been progress, some of which I summarize below. We say that a Banach space satisfies FPP (resp. weak FPP) if every bounded closed convex (resp. weakly compact convex) subset of X has the fixed point property for nonexpansive selfmappings. We only mention progress on problems discussed in [5] subsequent to the survey of GoebelKirk [6].
Question (IV)
Can either \(\ell_{1}\) or \(c_{0}\) be renormed so that the resulting space has the FPP?
Question (VI)
In [7] T Domínguez Benavides proved that any reflexive space can be so renormed. (See also [8].)
Question (XIV)
Suppose X is a Banach space which has the property that a closed convex subset K of X has the fixed point property for nonexpansive mappings ⇔ K is bounded. Is X a Hilbert space?
This question has been answered. In [9] it is shown that every unbounded closed convex subset of \(c_{0}\) fails to satisfy the FPP. Earlier it had been shown [10] that a bounded closed convex subset K of \(c_{0}\) has the FPP ⇔ K is weakly compact. The fact that \(c_{0}\) has the weak FPP is of course a very deep and fundamental result of B Maurey [11].
However, as far as I know, the following question remains open to this day.
Question (XV)
Does there exist an unbounded closed convex subset of a Banach space which has the fixed point property for nonexpansive mappings?
Question (XVI)
If both X and Y have the FPP, does \(X\oplus _{p}Y \) have the FPP?
Question (XVIII)
When is the fixed point set of a nonexpansive mapping in \(X\oplus_{p}Y\) a nonexpansive retract of \(X\oplus_{p}Y\)?
The origin of these questions go back to 1968 [12]. Since then there have been a number of partial results, but the basic problems seem to remain open. For more recent discussions of these questions, including their fundamental differences and some positive results, we refer to [13] and [14].
6 Logical foundations
My interest in foundations, and specifically the Axiom of Choice, was stimulated by two events. One was the fact that B Fuchssteiner [15] had recently proved that my 1965 theorem on fixed points of nonexpansive mappings, which made explicit use of the Axiom of Choice via Zorn’s lemma, did in fact have a proof wholly within the basic axioms of ZermeloFraenkel. The other was a brief conversation I had with the Polish mathematician Roman Mańka. This conversation involved the relationship between a wellknown variational principle due to Ivar Ekeland and Caristi’s theorem. In the discussion below \(\mathbb{R}\) denotes the set of real numbers and \(\mathbb{R}^{+}=(0,\infty)\). Recall that if X is a metric space, a mapping \(\varphi:X\rightarrow\mathbb{R}^{+}\) is said to be (sequentially) lower semicontinuous (l.s.c.) if given any sequence \(\{ x_{n} \} \) in X, the conditions \(x_{n}\rightarrow x\) and \(\varphi ( x_{n} ) \rightarrow r\) imply \(\varphi ( x ) \leq r\).
Theorem 4
(E) (Ekeland, 1974 [16])
Theorem 5
(C) (Caristi, 1976 [17])
It is easy to see that (E) ⇔ (C) in the usual sense. (See KirkShahzad, Chapter 9, for the details.) However, these two results are not logically equivalent. In particular the implication (C) ⇒ (E) invokes the Axiom of Choice (AC). In fact, N Brunner [18] has shown that any proof of (E) requires at least the basic axioms of ZermeloFraenkel (ZF) plus a form of the Axiom of Choice called the Axiom of Dependent Choices (DC), whereas R Mańka has shown in [19] that (C) holds wholly within (ZF). So from a purely logical point of view the two theorems are not equivalent. (DC) is strictly weaker than (AC) but somewhat stronger than the Axiom of Countable Choice. The Axiom of Dependent Choices (DC), sometimes called the ‘Axiom of inductive definition of sequences’,^{11} appears to be essential for the development of the foundations of functional analysis at least in the separable case (see, for example, the discussions in [20, 21]).
In [22] Hiam Brézis and Felix Browder derived Ekeland’s theorem from an order principle which requires only ZFDC. They then obtained Caristi’s theorem as in the implication (E) ⇒ (C) described in KirkShahzad. Hence Choice is invoked at this step. However, in GoebelKirk it is shown that Caristi’s theorem can be derived directly from the order principle of Brézis and Browder without recourse to Ekeland’s theorem.
It is interesting that to this day Caristi’s theorem continues to be ‘extended and/or generalized’. Indeed, according to MathSciNet, Caristi’s name appears in the titles of over 100 papers. For a very recent extension, see Du [23]. Also it would be a huge undertaking to see how many of the literally dozens of generalizations and/or extensions of Caristi’s theorem can be obtained without at least assuming (DC). At the same time many ‘extensions’ of Caristi’s theorem turn out to be rather immediate consequences of Caristi’s theorem.^{12} There is another fact that is of some interest. It has been known from the outset that the validity of Caristi’s theorem characterizes metric completeness (see [24]). The same is not true of Banach’s contraction mapping theorem. For an elaborate exposition on this topic, see [25].
In this paper we will work in a fixed background model of ZermeloFraenkel set theory. In general we will not use the axiom of choice unless necessary. If a result does use the axiom of choice we will mark it by (∗).
On the other hand, nonstandard approaches are extremely powerful and are frequently employed to this day. See for example, the recent paper of Avigad and Iovino [27].
The general Axiom of Choice: Suppose \(\mathcal{F}=\{A_{\alpha}\} _{\alpha \in I}\) is a collection of sets with no restriction placed on the index set I. Thus I may be very large, especially uncountable. The Axiom of Choice states that there is a function \(f:\mathcal{F}\rightarrow \bigcup_{\alpha\in I}A_{\alpha}\) such that \(f(A_{\alpha})\in A_{\alpha}\) for each \(\alpha\in I\). Such a function f is called a choice function. Knowing that such a function exists, it is now possible to define the Cartesian product \(\prod_{\alpha\in I}A_{\alpha}\) to be the collection of all such choice functions. (For a more detailed discussion, see Appendix A3 in KhamsiKirk; also Moore [28].)
The recent paper of Gregoriades [29] is also of interest in this regard. Versions of some of the ideas found in [29] can also be found in a paper I published with my student Tekamül Büber^{13} over 20 years ago.
Several minimization principles are proved in BüberKirk [30] that do not require the full Axiom of Choice. In particular, Lemma 1 of [30] implies the following minimization principle, called the Brouwer Reduction Theorem. (This is stated as Corollary 2 in [30].)
Theorem 6
Let X be a topological space which has a countable base, let Γ be a family of nonempty closed subsets of X, and suppose every descending sequence in Γ is bounded below by a member of Γ. Then Γ has a minimal element.
The central purpose of [30] was to prove that a fundamental theorem of MA Khamsi [31] about commutative families of nonexpansive mappings requires (in the separable case) only (DC) rather than the full Axiom of Choice. However, another consequence of the above theorem might be of independent interest. To this aim, we need some more definitions. If \(( M,d ) \) is a metric space, a family of closed subsets Σ of M which contains ∅ and M and is closed under intersections is called a convexity structure. A convexity structure is said to be countably compact if every countable family in Σ has nonempty intersection when each of its finite subfamilies has that property.
The following is an application of Theorem 6.
Theorem 7
Suppose \(( M,d ) \) is a bounded metric space which possesses a countably compact convexity structure Σ which contains the closed balls of M, and suppose the proximinal sets in Σ relative to some fixed point \(p\in M\) are separable. Let Γ be any family of nonempty subsets of Σ which is closed under nonempty intersections. Then Γ has a minimal element.
7 Some bizarre thoughts  transfinite iterations
Despite the constructive approach of the preceding section, nonconstrucive approaches can also be quite interesting  yielding even bizarre results. For a survey of early results in this direction we refer to Kirk [32].
We begin with the notion of an ultranet (or universal net). The definition is simple. A net \(\{ x_{\alpha} \} \) in a set S is an ultranet if given any subset G of S, either \(\{ x_{\alpha } \} \) is eventually in G or eventually in \(S\backslash G\). Two facts are of paramount importance regarding ultranets. (1) An ultranet in a compact topological space always converges, and (2) every net has a subnet that is an ultranet. We refer to KirkShahzad, Section 9.5 for further discussion and citations.
The following transfinite iteration process is described in [33]; see also [34]. Let Γ be the set of all countable ordinals. Think of Γ as a collection of nets. It is possible to associate with each limit ordinal \(\alpha= \{ \gamma\in\Gamma :\gamma <\alpha \} \) a fixed subnet \(\{ \beta_{\mu ( \alpha ) }:\mu ( \alpha ) \in M_{\alpha} \} \) of α which is an ultranet.
 (a)
If \(\alpha=\beta+1\) set \(T^{\alpha} ( x ) =T^{\beta +1} ( x ) =T\circ T^{\beta} ( x ) \).
 (b)
If α is a limit ordinal define \(T^{\alpha} ( x ) = \mathrm{weak}\mbox{}\!\lim T^{\alpha_{\xi}} ( x ) \). (Observe that \(\{ T^{\alpha_{\xi}} ( x ) \} \) is an ultranet in X. Define \(T:\alpha_{\xi}\rightarrow X\) by defining \(T ( \alpha_{\xi} ) =T^{\alpha_{\xi}} ( x ) \). It follows that \(\{ T^{\alpha _{\xi}} ( x ) \} \) is also an ultranet.)
There is curious anomaly related to the transfinite iteration procedure described above. This result is described in [34]; also see [33].
Theorem 8
Suppose K is a weakly compact subset of a Banach space and suppose \(T:K\rightarrow K\) is contractive in the sense that \(\Vert T ( x ) T ( y ) \Vert <\Vert xy \Vert \) if \(x,y\in K\), \(x\neq y\). For \(\alpha\in\Gamma\) define the mappings \(T^{\alpha}\) as in (a) and (b). Then there exists \(z\in K\) such that for each \(x\in K\), \(T^{\Gamma} ( x ) =z\).
The following remark appears to be of particular interest.
Remark 9
The above result does not assert that z is the fixed point of T. Indeed, it remain an open question to this day whether a contractive mapping of a weakly compact convex subset of a Banach space has a fixed point. However, if T does have a fixed point, then it must be the point z whose existence is assured by Theorem 8.
Let K be a subset of a Banach space X. An operator T:\(K\rightarrow K\) is said to be weakly contractive, if for every point \(x\in K\) there is a number \(C(x)\) and for any sequence \(\{x_{n}\}\) with \(\lim_{n\rightarrow \infty}x_{n}=x\) there exists a number N such that \(\Vert T ( x ) T ( x_{n} ) \Vert \leq C ( x ) \Vert xx_{n}\Vert \) for all \(n>N\). Every contractive operator is weakly contractive. The investigation of transfinite iteration processes leads to the study of the sequence space \(\Sigma ( X ) \) with Tikhonov’s topology, to the study of fundamental and uniformly fundamental nets in the space \(\Sigma ( X ) \). In Theorem 2, by using regular operators summing divergent sequences, necessary and sufficient conditions for the existence of a fixed point of a weakly contractive operator are given. In particular, if T is a contractive operator, then by a theorem of WA Kirk and S Massa [34] \(T^{\Omega} ( x ) =z\) for all \(x\in K\), and by Theorem 2, \(T(z)=z\).
8 Two problems
There are many open problems in metric fixed point theory, but two have frustrated me over the years because of their simplicity and yet seeming intractability. The first is suggested by Remark 9 in the preceding section.
Problem 10
Does a weakly compact convex subset K of a Banach space have the fixed point property for strictly contractive mappings (that is, mappings \(T:K\rightarrow K\) for which \(\Vert T ( x ) T(y) \Vert <\Vert xy\Vert \), \(x,y\in K\), \(x\neq y\))?
Problem 11
For a discussion of some of these and related problems, see [36, 37].
9 Further reflections
Throughout most of my career my research has been primarily focused on metric fixed point theory in a functional analytic setting. However, I have always had a lingering interest in geodesic spaces, and in 20032004 I published two articles [38, 39] on fixed point theory in the socalled \(\operatorname{CAT}(0)\) spaces. These papers, along with my early collaboration with R Espínola, appear to have stimulated a large amount of ongoing research in this setting. Some of this research merely takes advantage of the ‘Hilbert space’ geometry one finds in \(\operatorname{CAT}(0)\) space thus leads to the adaptation of known Hilbert space arguments with little change. However, one of the primary obstacles in branching out to \(\operatorname{CAT}(0)\) spaces is the absence of a wellunderstood ‘weak’ topology in such spaces. This has been at least partially remedied by the introduction of the notion of Δconvergence in [40]. In fact, it appears that Δconvergence may be sufficient to carry out the transfinite iteration process of Theorem 8 (see [41]). A summary of this aspect of my research is found in KirkShahzad, Chapter 9.
In reflecting on my overall career, I must call attention to my long collaboration with Kazimierz Goebel. My first encounter with Kaz was during the academic year 197172, when he visited the University of Iowa under the aegis of a Kościuszko Foundation fellowship. During this visit we introduced the often cited concept of an asymptotically nonexpansive mapping to the literature. Later, on a subsequent visit by Goebel to Iowa in 1989, we completed the manuscript for our signature book: Topics in Metric Fixed Point Theory.
Over the years I have made several visits to UMCS in Lublin, Poland, and one of the singular highlights of my career occurred during such a visit in June, 2001. Kaz Goebel arranged for me and our Australian friend, Brailey Sims, to travel with him and his colleague, Yuri Kozitsky, to the historic city Lwów (now Lviv, in Ukraine) where Stefan Banach spent most of his life. While in Lwów we had an opportunity to visit Banach’s grave, and the building that housed the famous ‘Scottish Cafe’. Brailey subsequently described this journey in an eloquent article he published in the Australian Mathematical Gazette (see [42]).
Felix Browder is regarded as the founder of a branch of analysis called ‘Nonlinear Functional Analysis’. In his book Nonlinear operators and nonlinear equations of evolution in Banach spaces (Nonlinear functional analysis (Proc. Sympos. Pure Math., Vol. XVIII, Part 2, Chicago, Ill., 1968), pp. 1308. Amer. Math. Soc., Providence, R. I., 1976) he singles out the monotone, nonexpansive, and accretive mappings for special study.
Browder was born in 1928 in Moscow. He received his PhD degree from Princeton University at the age of 20 under the supervision of Solomon Lefschetz. He spent many years at the University of Chicago, serving as Department Chair from 1971 to 1976 and again from 1979 to 1985 before moving to Rutgers University in 1986 as vice president for research. Two of his Chicago PhD students, Ronald E Bruck and Roger D Nussbbaum, are mentioned elsewhere in this article.
For an interesting brief biography of Felix Browder’s personal life, go to: http://wwwhistory.mcs.stand.ac.uk/Biographies/Browder_Felix.html.
Benjamin Halpern is well known in metric fixed point theory for introducing the Halpern iteration scheme. This scheme was alluded to numerous times in talks at the 11th ICFPTA. Also he and George Bergman introduced the notion of ‘inward’ mappings to the theory. It was this very concept that led to the discovery of Caristi’s theorem.
Jan Jawoworski (19282013) received his PhD in 1955 from the Polish Academy of Sciences under the supervision of Karol Borsuk. (Borsuk’s other students include Samuel Eilenberg and Andrzej Granas.) One of Jawoworski’s students, Sehie Park, is also well known in fixed point theory.
I call attention to a recent book: Bas Lemmens, Roger Nussbaum, Nonlinear PerronFrobenius theory. Cambridge Tracts in Mathematics, 189. Cambridge University Press, Cambridge, 2012. xii+323 pp. This book contains many applications of fixed point theory for nonexpansive mappings, especially in finite dimensional vector spaces.
V Lakshmikantham (19242012) has made many contributions to fixed point theory as well as to many other branches of nonlinear analysis. Among other things, he was Founding Editor of the journal Nonlinear Analysis  TMA in 1976, and he established the International Federation of Nonlinear Analysts (IFNA) in 1991. For a brief biography of his early life and career, see R Agarwal, S Leela, A brief biography and survey of collected works of V Lakshmikantham, Nonlinear Anal. 40 (2000), 119.
Leonard M Blumenthal (19011984) received his PhD in 1927 from the Johns Hopkins University under the supervision of the geometer Frank Morley (18601937). Morley received his BA from Cambridge in 1884 and was AMS President, 19191920. (Some trivia: One of Frank Morley’s sons was the celebrated American novelist and essayist, Christopher Morley (18901957). Another son, Frank Vigor Morley was also a mathematician and a student of GH Hardy. For more information, see http://wwwhistory.mcs.standrews.ac.uk/Biographies/Morley.html.)
Blumenthal’s interest in abstract metrics was aroused by lectures that Karl Menger gave at the Rice University in 1931. Subsequently, this interest was further stimulated and developed during a year he spent with Professor Menger at the University of Vienna. Blumenthal came to the University of Missouri in 1936.
Herbert Busemann (19051994) was born in Berlin, and he studied at universities Munich, Paris, and Rome. He defended his dissertation in University of Göttingen in 1931, where his advisor was Richard Courant. He remained in Göttingen as an assistant until 1933, when he escaped Nazi Germany to Copenhagen. He worked at the University of Copenhagen until 1936, when he left for the United States. He held temporary positions at the Institute of Advanced Studies, the Johns Hopkins University, Illinois Institute of Technology, Smith College, and eventually he became a professor in 1947 at University of Southern California. He advanced to a distinguished professorship in 1964, and continued working at USC until his retirement in 1970.
Floyd Burton Jones (19101999) was a 1935 PhD student of the topologist RL Moore at the University of Texas. Moore had introduced what is now called the ‘Moore method’ of teaching which entailed, roughly speaking, having the students discover for themselves the mainstream of the subject based only on primitive axioms. For a detailed discussion, see FB Jones, The Moore method, Amer. Math. Monthly 84 (1977), no. 4, 273278. Moore had 50 PhD students, many of whom have had a lasting impact on mathematical research. Among them (listed chronologically): Raymond Wilder, Gordon Whyburn, RH Bing, Gail Yourg, Jr., Edwin Moise, Richard Anderson, Mary Ellen Rudin, and Eldon Dyer. On the negative side, it is rumored that Moore refused to teach black students.
I have recently learned that TeckCheong (TC) Lim passed away the evening of Monday, October 20, 2014, at the age of 64, near his Burke, VA home. He was an LE Dickson Instructor at the University of Chicago, before joining the faculty of George Mason University. For more information, go to: http://www.fairfaxmemorialfuneralhome.com/obituary/TeckCheongLim/BurkeVA/1444328.
Ronald Bruck received his PhD in 1969 at the University of Chicago, under the supervision of Felix Browder. He spent most of his career at the University of Southern California, and was Department Chair there from 198590.
The Axiom of Dependent Choices (DC) may be formulated precisely as follows. (See, e.g., p.19 of H Rubin and JE Rubin, Equivalents of the Axiom of Choice II, NorthHolland, AmsterdamNew YorkOxford, 1985.) (DC) If \(R\neq\emptyset\) is a relation on a set such that \(\operatorname{Range}(R) \subseteq \operatorname{Domain} (R)\) then there is a function f with domain ω such that for all \(n\in\omega\), \(( f ( n ) ,f ( n+1 ) ) \in R\).
There is perhaps a lesson here. The name Caristi is surely one of the most well known in all of metric fixed point theory. Yet Caristi published only four related papers in mathematics. This serves as evidence that numbers of papers alone do not necessarily lead to fame.
James Caristi received his PhD from the University of Iowa in 1975 and taught for many years in the Mathematics Department at Valparaiso University in Valparaiso, Indiana. He is currently Professor and Chair of the newly formed Department of Computer and Information Sciences at Valparaiso University.
M Tekamül Büber was originally from Turkey. He arrived at the University of Iowa with an MSc in Electrical Engineering, BSc in Mathematics, and in BSc Physics from Rheinisch Westphälische Technicsche Hochschule Aachen, in Aachen, Germany. Upon arriving at Iowa he attended lectures in logic by the noted philosopher Gustav Bergmann (who also had a PhD in Mathematics). Büber received his PhD in Mathematics from University of Iowa in 1994. After teaching in a small college for two years, Büber went on to earn a Masters Degree in Electrical Engineering at Syracuse University. He subsequently worked for several companies in the US and Canada and, as of this writing, he is a Principal Engineer at Maury Microwave in Ontario, CA.
Declarations
Acknowledgements
The author thanks Naseer Shahzad for bringing recent citations [25] and [23] to his attention.
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Authors’ Affiliations
References
 Brodskiĭ, MS, Mil’man, DP: On the center of a convex set. Dokl. Akad. Nauk SSSR 59, 837840 (1948) (in Russian) Google Scholar
 Belluce, LP, Kirk, WA: Fixedpoint theorems for families of contraction mappings. Pac. J. Math. 18, 213217 (1966) MATHMathSciNetView ArticleGoogle Scholar
 Lim, TC: A fixed point theorem for families of nonexpansive mappings. Pac. J. Math. 53, 487493 (1974) MATHView ArticleGoogle Scholar
 Bruck, RE: A common fixed point theorem for a commuting family of nonexpansive mappings. Pac. J. Math. 53, 5971 (1974) MATHMathSciNetView ArticleGoogle Scholar
 Kirk, WA: Some questions in metric fixed point theory. In: Recent Advances on Metric Fixed Point Theory (Seville, 1995). Ciencias, vol. 48, pp. 7397. Univ. Sevilla, Seville (1996) Google Scholar
 Goebel, K, Kirk, WA: Classical theory of nonexpansive mappings. In: Handbook of Metric Fixed Point Theory, pp. 4991. Kluwer Academic, Dordrecht (2001) View ArticleGoogle Scholar
 Domínguez Benavides, T: A renorming of some nonseparable Banach spaces with the fixed point property. J. Math. Anal. Appl. 350(2), 525530 (2009) MATHMathSciNetView ArticleGoogle Scholar
 Domínguez Benavides, T, Phothi, S: The fixed point property under renorming in some classes of Banach spaces. Nonlinear Anal. 72(34), 14091416 (2010) MATHMathSciNetView ArticleGoogle Scholar
 Domínguez Benavides, T: The failure of the fixed point property for unbounded sets in \(c_{0}\). Proc. Am. Math. Soc. 140(2), 645650 (2012) MATHView ArticleGoogle Scholar
 Dowling, PN, Lennard, CJ, Turret, B: Weak compactness is equivalent to the fixed point property in \(c_{0}\). Proc. Am. Math. Soc. 132(6), 16591666 (2004) MATHView ArticleGoogle Scholar
 Maurey, B: Points fixes des contractions de certains faiblement compacts de \(L_{1}\) (in French) (Fixed points of the contractions of certain weakly compact subsets of \(L_{1}\)), 19801981, Exp. No. VIII. In: Seminar on Functional Analysis. École Polytech., Palaiseau (1981) Google Scholar
 Belluce, LP, Kirk, WA, Steiner, EF: Normal structure in Banach spaces. Pac. J. Math. 26, 433440 (1968) MATHMathSciNetView ArticleGoogle Scholar
 Marino, G, Pietramala, P, Xu, HK: Geometrical conditions in product spaces. Nonlinear Anal., Theory Methods Appl. 46(8), 10631071 (2001) MATHMathSciNetView ArticleGoogle Scholar
 Wiśnicki, A: On the fixed points of nonexpansive mappings in direct sums of Banach spaces. Stud. Math. 207(1), 7584 (2011) MATHView ArticleGoogle Scholar
 Fuchssteiner, B: Iterations and fixpoints. Pac. J. Math. 68, 7380 (1977) MATHMathSciNetView ArticleGoogle Scholar
 Ekeland, I: On the variational principle. J. Math. Anal. Appl. 47, 324353 (1974) MATHMathSciNetView ArticleGoogle Scholar
 Caristi, J: Fixed point theorems for mappings satisfying inwardness conditions. Trans. Am. Math. Soc. 215, 241251 (1976) MATHMathSciNetView ArticleGoogle Scholar
 Brunner, N: Topologische maximalprinzipien. Z. Math. Log. Grundl. Math. 33(2), 135139 (1987) MATHMathSciNetView ArticleGoogle Scholar
 Mańka, R: Some forms of the axiom of choice. Jahrb. KurtGödelGes. 1, 2434 (1988) Google Scholar
 van Rooij, ACM: The axiom of choice in padic functional analysis. In: pAdic Functional Analysis (Laredo, 1990). Lecture Notes in Pure and Appl. Math., vol. 137, pp. 151156. Dekker, New York (1992) Google Scholar
 Garnir, GH: Solovay’s axiom and functional analysis. In: Proceedings of the Symposium on Functional Analysis (Istanbul, 1973). Publ. Math. Res. Inst.Istanbul, vol. 1, pp. 5768. Math. Res. Inst., Istanbul (1974) Google Scholar
 Brézis, H, Browder, F: A general principle on ordered sets in nonlinear functional analysis. Adv. Math. 21(3), 355364 (1976) MATHView ArticleGoogle Scholar
 Du, WS: On Caristitype mappings without lower semicontinuity assumptions. J. Fixed Point Theory Appl. (2015). doi:10.1007/s1178401502530 Google Scholar
 Kirk, WA: Caristi’s fixed point theorem and metric convexity. Colloq. Math. 36(1), 8186 (1976) MATHMathSciNetGoogle Scholar
 Cobzaş, S: Fixed points and completeness in metric and in generalized metric spaces (2015). arXiv:1508.05173v1 [math.FA]
 Ackerman, NL: Completeness in generalized ultrametric spaces. PAdic Numb. Ultr. Anal. Appl. 5(2), 89105 (2013) MATHMathSciNetView ArticleGoogle Scholar
 Avigad, J, Iovino, J: Ultraproducts and metastability. N.Y. J. Math. 19, 713727(2013) (English summary) MATHMathSciNetGoogle Scholar
 Moore, GH: Zermelo’s Axiom of Choice: Its Origins, Development, and Influence. Studies in the History of Mathematics and Physical Sciences, vol. 8. Springer, New York (1982) MATHView ArticleGoogle Scholar
 Gregoriades, V: Choice free fixed point property in separable Banach spaces. Proc. Am. Math. Soc. 143(5), 21432157 (2015) MATHMathSciNetView ArticleGoogle Scholar
 Büber, T, Kirk, WA: Convexity structures and the existence of minimal sets. Comment. Math. Prace Mat. 35, 7181 (1995) MATHMathSciNetGoogle Scholar
 Khamsi, MA: Onelocal retract and common fixed point for commuting mappings in metric spaces. Nonlinear Anal. 27(11), 13071313 (1996) MATHMathSciNetView ArticleGoogle Scholar
 Kirk, WA: Transfinite methods in metric fixedpoint theory. Abstr. Appl. Anal. 2003(5), 311324 (2003) MATHMathSciNetView ArticleGoogle Scholar
 Kirk, WA: An iteration process for nonexpansive mappings with applications to fixed point theory in product spaces. Proc. Am. Math. Soc. 107(2), 411415 (1989) MATHMathSciNetView ArticleGoogle Scholar
 Kirk, WA, Massa, S: An ultranet technique in metric fixed point theory. In: Topics in Mathematical Analysis. Ser. Pure Math., vol. 11, pp. 539546. World Scientific, Teaneck (1989) View ArticleGoogle Scholar
 Melentsov, AA: Iterative nets of weakly contractive operators. Acta Comment. Univ. Tartu Math. 1, 912 (1996) (in Russian) MATHMathSciNetGoogle Scholar
 Goebel, K, Kirk, WA: Some problems in metric fixed point theory. J. Fixed Point Theory Appl. 4, 1325 (2008) MATHMathSciNetView ArticleGoogle Scholar
 Goebel, K: Examples for an old problem on commuting mappings. In: Fixed Point Theory and Its Applications, pp. 7175. Yokohama Publ., Yokohama (2010) Google Scholar
 Kirk, WA: Geodesic geometry and fixed point theory. In: Seminar of Mathematical Analysis (Malaga/Seville, 2002/2003). Colecc. Abierta, vol. 64, pp. 195225. Univ. Sevilla Secr. Publ., Seville (2003) Google Scholar
 Kirk, WA: Geodesic geometry and fixed point theory. II. In: International Conference on Fixed Point Theory and Applications, pp. 113142. Yokohama Publ., Yokohama (2004) Google Scholar
 Kirk, WA, Panyanak, B: A concept of convergence in geodesic spaces. Nonlinear Anal. 68(12), 36893696 (2008) MATHMathSciNetView ArticleGoogle Scholar
 Alghamdi, MA, Kirk, WA, Shahzad, N: Transfinite iterations in CAT ( 0 ) $\operatorname{CAT}(0)$ spaces. Preprint Google Scholar
 Sims, B: A mathematical pilgrimage. Aust. Math. Soc. Gaz. 28(5), 232237 (2001) MATHMathSciNetGoogle Scholar