The Caristi–Kirk Fixed Point Theorem from the point of view of ball spaces

We take a fresh look at the important Caristi–Kirk Fixed Point Theorem and link it to the recently developed theory of ball spaces, which provides generic fixed point theorems for contracting functions in a number of applications including, but not limited to, metric spaces. The connection becomes clear from a proof of the Caristi–Kirk Theorem given by J.-P. Penot in 1976. We define Caristi–Kirk ball spaces and use a generic fixed point theorem to reprove the Caristi–Kirk Theorem. Further, we show that a metric space is complete if and only if all of its Caristi–Kirk ball spaces are spherically complete.


Introduction
We consider a metric space (X, d) with a function f : X → X and ask for the existence of a fixed point, that is, a point x ∈ X such that f (x) = x. To simplify notation, we will write fx in place of f (x).
If the metric is an ultrametric, then ultrametric balls can serve well in the proofs of fixed point theorems, such as the Ultrametric Banach's Fixed Point Theorem [14]. This is due to their special property that if two ultrametric balls have nonempty intersection, then they are already comparable by inclusion. In contrast, metric balls in general metric spaces are not usually employed in fixed point theorems.
In the papers [7][8][9] the notions and tools used for ultrametric spaces have been taken as an inspiration for the development of a unifying approach to fixed point theorems for contracting functions, via the flexible notion of Theorem 1. (Caristi-Kirk) Take a complete metric space (X, d) and a lower semicontinuous function ϕ : X → R which is bounded from below. If a function f : X → X satisfies the Caristi condition then f has a fixed point on X.
Penot's proof of this theorem is interesting as it works with sets of the form for each x ∈ X. Note that in spite of the notation, these sets will in general not be metric balls. We call these sets Caristi-Kirk balls.
A ball space is a pair (X, B) consisting of a nonempty set X and a nonempty set B ⊆ P(X) \ {∅} of distinguished nonempty subsets B of X.
The elements B of B will be called balls, in analogy to the case of metric or ultrametric balls.
In analogy to the case of ultrametric spaces, we will call a nonempty collection N of balls in B a nest of balls (in B) if it is totally ordered by inclusion. We will say that (X, B) is spherically complete if the intersection N of each nest of balls in B is nonempty. A function f on an arbitrary ball space (X, B) is called contracting on orbits if there is a function that associates to every x ∈ X some ball B x ∈ B such that for all x ∈ X, the following conditions hold: We will say that a nest of balls N is an f -nest if N = {B x | x ∈ M } for some set M ⊆ X that is closed under f (in other words, with every ball B x it also contains the ball B fx ). The function f will be called self-contractive if in addition to (SC1) and (SC2), it satisfies: The following fixed point theorem has been proved in [7] (see also [9]), using Zorn's Lemma:

Theorem 2. Every self-contractive function on a spherically complete ball space has a fixed point.
Take any function ϕ : X → R. We define the ball space induced by ϕ to be (X, with B x defined as in (1). If ϕ is lower semicontinuous and bounded from below, then we will call (X, B ϕ ) a Caristi-Kirk ball space of (X, d). We wish to show how the Caristi-Kirk Theorem can be deduced from Theorem 2. To this end, we prove in Sect. 4 that a function satisfying the Caristi Condition (CC) is self-contractive in the ball space induced by ϕ (even if ϕ is not lower semicontinuous). Then the Caristi-Kirk Theorem will follow from Theorem 2 together with the following result, which we will prove in Sect. 3: Proposition 3. Let (X, d) be a metric space. Then the following statements are equivalent: Note that it is in general not true that the ball space consisting of all nonempty closed metric balls of a complete metric space is spherically complete. Passing to Caristi-Kirk balls instead remedies this deficiency.
In Sect. 4 we will also show that the Caristi-Kirk Theorem implies the Banach Fixed Point Theorem. More precisely, we prove: Theorem 4. Take a metric space (X, d) and assume that for every continuous ϕ : X → R bounded from below, its Caristi- Kirk ball Then f has a fixed point on X.
Finally, let us mention that Caristi's original theorem and the Caristi-Kirk Theorem discussed here have been the subject of many papers in the literature. Several of them are listed in the references of, e.g., [2,6]. A recurring question is whether the theorems can be proven without the use of transfinite induction, Zorn's Lemma, or even the axiom of choice (see [10] and the discussion in [3], [4, pages 55-56], [6] together with the literature cited therein). While the first two are avoided in [12] and also in [2,6], the axiom of choice, or at least the axiom of dependent choice, is still present (cf. [6,Section 3]).
In this connection, we should point out that the generic fixed point theorems in the theory of ball spaces are making essential use of Zorn's Lemma. In fact, in this way Zorn's Lemma has provided an elegant replacement of transfinite induction which was used before for the proof of theorems in valuation theory (see [14]).
Another task mentioned in [6] is to avoid defining a partial order in the proof of the Caristi-Kirk Theorem. This is achieved in [2,6] and also in the present paper. As we will point out in Remark 6, the partial order is implicit whenever the Caristi-Kirk balls are used, which are partially ordered by inclusion. However, working with these balls directly is more natural than the detour of defining the partial order explicitly.

A modification of Penot's proof of the Caristi-Kirk Theorem
We start by working out the basic properties of the Caristi-Kirk balls B x that have been defined in (1).

Lemma 5.
Take a metric space (X, d) and any function ϕ : X → R. Let the sets B x be defined as in (1). Then the following assertions hold. Further, if z ∈ B y , then For the proof of assertion 4), observe that the complement {y ∈ X | d(x, y) + ϕ(y) > ϕ(x)} of B x is the preimage of the open subset (ϕ(x), ∞) of R under the function d(x, Y ) + ϕ(Y ). Whenever ϕ is lower semicontinuous, then so is d(x, Y ) + ϕ(Y ) and this preimage is open in X.
For the proof of the Caristi-Kirk Theorem, start with any x 1 ∈ X and construct a sequence (x n ) n∈N by induction as follows. Suppose that the members x i are already constructed for 1 ≤ i ≤ n such that a) (ϕ(x i )) i≤n is strictly decreasing, b) (B xi ) i≤n is strictly decreasing w.r.t. inclusion. If B xn is a singleton, then by parts 1) and 3) of Lemma 5, B xn = {x n , fx n } with x n = fx n . Then we have found a fixed point, and we stop. Otherwise, we choose some x n+1 ∈ B xn \ {x n } such that Here the infimum exists because we are dealing with a subset of the reals bounded from below. From Lemma 5 we obtain that ϕ(x n+1 ) < ϕ(x n ) and B xn+1 B xn . So a) and b) hold for n + 1 in place of n. In this way, if we do not stop at some n having found a fixed point, we obtain a sequence (x n ) n∈N for which the sequences (ϕ(x n )) n∈N and (B xn ) n∈N are strictly decreasing.
For every x ∈ B xn+1 we have, using that B xn+1 ⊂ B xn and (3): This shows that the diameter sup{d(x, y) | x, y ∈ B xn+1 } of B xn+1 is not larger than 2 n . Therefore, as (X, d) is complete and the sets B xn are closed by part 4) of Lemma 5, the intersection n∈N B xn contains exactly one element z. Then z ∈ B xn and thus fz ∈ B z ⊆ B xn for all n ∈ N by parts 2) and 3) of Lemma 5. Hence fz ∈ n∈N B xn = {z}, showing that fz = z. Remark 6. In his original proof, Penot uses the partial order x ≤ y :⇔ d(x, y) ≤ ϕ(x) − ϕ(y). However, this is not necessary, and we have eliminated the explicit use of this partial order. In fact, it is encoded in the partial order of the Caristi-Kirk balls. Indeed, parts 1) and 2) of Lemma 5 show that Apart from the fact that the proofs in [2,6] do not explicitly use the partial order, the major difference between these proofs and Penot's original proof as well as the above modification is that Penot shows that the diameters of the sets B xn converge to 0 and from this deduces without much technical effort that their intersection contains exactly one element which is equal to its image under f .

Proof of Proposition 3
First we show that (i) implies (ii). Assume that the metric space (X, d) is complete, and consider a Caristi-Kirk ball space (X, B ϕ ) of (X, d). Take a nest N of balls in B ϕ . We write For all x, y ∈ M we have that x ∈ B y or y ∈ B x because N is totally ordered by inclusion. In both cases, Since ϕ is bounded from below, there exists Let (x n ) n∈N be a sequence in M such that lim n→∞ ϕ(x n ) = r. The sequence (ϕ(x n )) n∈N is a Cauchy sequence in R (as it converges to r), hence (4) implies that (x n ) n∈N is a Cauchy sequence in (X, d). As (X, d) is complete, we obtain that (x n ) n∈N converges to some z ∈ X. We claim that z ∈ N .
Take any x ∈ M . Since ϕ is lower semicontinuous, (4). Using the continuity of d, we obtain: Therefore, z ∈ B x . As x ∈ M was arbitrary, we have that z ∈ N , as desired.
It is obvious that (ii) implies (iii). Finally we show that (iii) implies (i). Take a Cauchy sequence (x n ) n∈N in (X, d); we wish to show that it has a limit in X. We may assume that no x n is a limit of (x n ) n∈N since otherwise we are done. Define ψ : X → R ≥0 by for all x ∈ X and note that this function is continuous.
By induction, we choose a subsequence (y k ) k∈N of (x n ) n∈N with y k = x n k as follows. We set n 1 := 1. If n k is already chosen, we observe that by assumption, y k = x n k is not a limit of (x n ) n∈N and therefore ψ(y k ) > 0. On the other hand, lim n→∞ ψ(x n ) = 0 since (x n ) n∈N is a Cauchy sequence. It follows that there is some m > n k such that We choose one of such m and set n k+1 := m. Further, we set Then by construction and inequality (5), Vol. 20 (2018) Caristi-Kirk Theorem and ball spaces Page 7 of 9 107 for all k ∈ N, and ϕ is a continuous function from X to R ≥0 . Hence by assumption, the Caristi-Kirk ball space (X, B ϕ ) is spherically complete. We will use this to show that (y k ) k∈N converges to some y in (X, d). We set The inequality (6) shows that y k+1 ∈ B y k and hence B y k+1 ⊆ B y k by part 2) of Lemma 5. This shows that N is a nest of balls. By spherical completeness, there exists an element y ∈ N . It follows that for all k ∈ N. Since lim k→∞ ϕ(y k ) = 0, this shows that (y k ) k∈N converges to y in (X, d). Since (y k ) k∈N is a subsequence of (x n ) n∈N , the original Cauchy sequence (x n ) n∈N also converges to y. We have thus proved that the metric space (X, d) is complete.

Remark 7.
The idea for the definition of the function ϕ is taken from the proof of [5,Theorem 2]. In that Theorem, Kirk states that a metric space must be complete if it satisfies the Caristi-Kirk Theorem. To prove this assertion, he assumes that there is a Cauchy sequence (x n ) n∈N in (X, d) without a limit in X. He then defines a function f : X → X by setting f (x) := x m where m is the smallest natural number such that .
Consequently, f satisfies the Caristi Condition (CC) with respect to ϕ(x) = 2ψ(x). But by construction, f does not have a fixed point.

Proofs of Theorem 1 and Theorem 4
Lemma 8. Take any function ϕ : X → R and a function f : X → X that satisfies condition (CC). Then f is self-contractive in the ball space (X, B ϕ ). If in addition (X, B ϕ ) is spherically complete, then f admits a fixed point.
Take any f -nest N . Then z ∈ N implies that z ∈ B x for all B x ∈ N . Therefore, we have B z ⊆ B x for all x ∈ S, which shows that B z ⊆ N . Hence, (SC3) holds and we have proven that f is self-contractive.
The last assertion follows from Theorem 2.
Note that in the proof of the first part of this lemma we have not used that ϕ is lower semicontinuous and bounded from below. This is only needed to deduce the spherical completeness of (X, B ϕ ) from the completeness of (X, d).