A ‘generalized metric space’ is a semimetric space which does not satisfy the triangle inequality, but which satisfies a weaker assumption called the quadrilateral inequality. After reviewing various related axioms, it is shown that Caristi’s theorem holds in complete generalized metric spaces without further assumptions. This is noteworthy because Banach’s fixed point theorem seems to require more than the quadrilateral inequality, and because standard proofs of Caristi’s theorem require the triangle inequality.
MSC: 54H25, 47H10.
Keywords:fixed points; contraction mappings metric spaces; semimetric spaces; generalized metric spaces; Caristi’s theorem
In an effort to generalize Banach’s contraction mapping principle, which holds in all complete metric spaces, to a broader class of spaces, Branciari  conceived of the notion to replace the triangle inequality with a weaker assumption he called the quadrilateral inequality. He called these spaces ‘generalized metric spaces’. These spaces retain the fundamental notion of distance. However, as we shall see, the quadrilateral inequality, while useful in some sense, ignores the importance of such things as the continuity of the distance function, uniqueness of limits, etc. In fact it has been asserted (see, e.g., ) that for an accurate generalization of Banach’s fixed point theorem along the lines envisioned by Branciari, one needs the quadrilateral inequality in conjunction with the assumption that the space is Hausdorff.
We begin by discussing the relationship of Branciari’s concept to the classical axioms of semimetric spaces. Then we show that Caristi’s fixed point theorem holds within Branciari’s framework without any additional assumptions. This is possibly surprising. All proofs of Caristi’s theorem that the writers are aware of rely in some way on use of the triangle inequality. (In contrast, it has been noted that the proof of the first author’s fundamental fixed point theorem for nonexpansive mappings does not require the triangle inequality; see .)
2 Semimetric spaces
In the absence of relevant examples, it is not clear whether Branciari’s concept of weakening the triangle inequality will prove useful in analysis. However, the notion of assigning a ‘distance’ between each two points of an abstract set is fundamental in geometry. According to Blumenthal [, p.31], this notion has its origins in the late nineteenth century in axiomatic studies of de Tilly . In his 1928 treatise , Karl Menger used the term halb-metrischer Raume, or semimetric space, to describe the same concept. We begin by summarizing the results of Wilson’s seminal paper  on semimetric spaces.
Definition 1 Let X be a set and let be a mapping satisfying for each :
I. , and ;
II. . Then the pair is called a semimetric space.
In such a space, convergence of sequences is defined in the usual way: A sequence is said to converge to if . Also, a sequence is said to be Cauchy (or d-Cauchy) if for each there exists such that . The space is said to be complete if every Cauchy sequence has a limit.
With such a broad definition of distance, three problems are immediately obvious: (i) There is nothing to assure that limits are unique (thus the space need not be Hausdorff); (ii) a convergent sequence need not be a Cauchy sequence; (iii) the mapping need not even be continuous. Therefore it is unlikely there could be an effective topological theory in such a setting.
With the introduction of the triangle inequality, problems (i), (ii), and (iii) are simultaneously eliminated.
VI. (Triangle inequality) WithXanddas in Definition 1, assume also that for each ,
Definition 2 A pair satisfying Axioms I, II, and VI is called a metric space.a
In his study , Wilson introduces three axioms in addition to I and II which are weaker than VI. These are the following.
III. For each pair of (distinct) points , there is a number such that for every ,
IV. For each point and each , there is a number such that if satisfies , then for every ,
V. For each , there is a number such that if satisfy , then for every ,
Obviously, if Axiom V is strengthened to , then the space becomes metric. Chittenden  has shown (using an equivalent definition) that a semimetric space satisfying Axiom V is always homeomorphic to a metric space.
Axiom III is equivalent to the assertion that there do not exist distinct points and a sequence such that as . Thus, as Wilson observes, the following is self-evident.
Proposition 1In a semimetric space, Axiom III is equivalent to the assertion that limits are unique.
For , let . Then Axiom III is also equivalent to the assertion that X is Hausdorff in the sense that given any two distinct points , there exist positive numbers and such that . This suggests the presence of a topology.
Definition 3 Let be a semimetric space. Then the distance function d is said to be continuous if for any sequences , and .
Remark Some writers call a space satisfying Axioms I and II a ‘symmetric space’ and reserve the term semimetric space for a symmetric space with a continuous distance function (see, e.g., ; cf. also [10,11]). Here we use Menger’s original terminology.
A point p in a semimetric space X is said to be an accumulation point of a subset E of X if, given any , . A subset of a semimetric space is said to be closed if it contains each of its accumulation points. A subset of a semimetric space is said to be open if its complement is closed. With these definitions, if X is a semimetric space with a continuous distance function, then is an open set for each and and, moreover, X is a Hausdorff topological space .
We now turn to the concept introduced by Branciari.
Definition 4 ()
Let X be a nonempty set, and let be a mapping such that for all and all distinct points , each distinct from x and y:
(iii) (quadrilateral inequality).
Then X is called a generalized metric space (g.m.s.).
Proposition 2If is a generalized metric space which satisfies Axiom III, then the distance function is continuous.
Proof Suppose that satisfy and , where . Also assume that for n arbitrarily large, and . In view of Axiom III, we may also assume that for n sufficiently large, . Then
Together these inequalities imply
Thus . □
Therefore if a generalized metric space satisfies Axiom III, it is a Hausdorff topological space. However, the following observation shows that the quadrilateral inequality implies a weaker but useful form of distance continuity. (This is a special case of Proposition 1 of .)
Proposition 3Suppose that is a Cauchy sequence in a generalized metric spaceXand suppose . Then for all . In particular, does not converge topif .
Proof We may assume that . If for arbitrarily large n, it must be the case that . So, we may also assume that for all n. Also, for infinitely many n; otherwise, the result is trivial. So, we may assume that and for all with . Then, by the quadrilateral inequality,
Since is a Cauchy sequence, . Therefore, letting in the above inequalities,
We now come to Branciari’s extension of Banach’s contraction mapping theorem. Although in his proof Branciari makes the erroneous assertion that a g.m.s. is a Hausdorff topological space with a neighborhood basis given by
with the aid of Proposition 3, Branciari’s proof carries over with only a minor change. The assertion in  that the space needs to be Hausdorff is superfluous, a fact first noted in . See also the example in .
Theorem 1 ()
Let be a complete generalized metric space, and suppose that the mapping satisfies for all and fixed . Thenfhas a unique fixed point , and for each .
It is possible to prove this theorem by following the proof given by Branciari up to the point of showing that is a Cauchy sequence for each . Then, by completeness of X, there exists such that . But , so . In view of Proposition 3, .
3 Caristi’s theorem
We now turn to a proof of Caristi’s theorem in a complete g.m.s.
Theorem 2 (cf. Caristi )
Let be a complete g.m.s. Let be a mapping, and let be a lower semicontinuous function. Suppose that
Thenfhas a fixed point.
Typically, proofs of Caristi’s theorem (and there have been many) involve assigning a partial order ⪯ to X by setting , and then either using Zorn’s lemma or the Brézis-Browder order principle (see Section 4). However, the triangle inequality is needed for these approaches in order to show that is transitive. The proof we give below is based on Wong’s modification  of Caristi’s original transfinite induction argument . (Recall that if M is a metric space, a mapping is said to be lower semicontinuous (l.s.c.) if given and a net in M, the conditions and imply .)
Proof of Theorem 2 Let . Then
This proves that is a Cauchy sequence. If f were continuous, one could immediately conclude that there exists such that . (The quadrilateral inequality is not needed in this case, but it is necessary for Cauchy sequences to have unique limits.)
Let Γ denote the set of countable ordinals. For , , we use to denote the cardinality of the set
Now let , let , and suppose that the net has been defined so that
(i) for all ;
(ii) if is a limit ordinal, then the net converges to ;
(iii) if and , then .
If , define . If and , then and by the quadrilateral inequality,
Thus if , by the inductive assumption,
Otherwise, . If , . If , then and we have
Finally, if , we can write (here order 3 is needed!)
Now suppose β is a limit ordinal. We claim that is a Cauchy net. If not, there exists and a strictly increasing sequence in such that and . This leads to the contradiction
Therefore is a Cauchy net and, since X is complete, it is possible to take .
Since β is a limit ordinal, the cardinality of is infinite for all . Consequently, since φ is lower semicontinuous,
Therefore a net has been defined satisfying (i), (ii), and (iii) for all . Let denote the set of limit ordinals in Γ. If f has no fixed point, the net is strictly decreasing. This is a contradiction because is uncountable and any strictly decreasing net of real numbers must be countable. □
4 Another approach
We now examine an easy proof of Caristi’s original theorem based on Zorn’s lemma. (A more constructive proof which uses the Brézis-Browder order principle is given in .)
Theorem 3Let be a complete metric space. Let be a mapping, and let be a lower semicontinuous function. Suppose that
Thenfhas a fixed point.
Proof Introduce the Brøndsted partial order on X by setting . Let I be a totally ordered set, and let be a chain in . Then . Therefore is decreasing. Since φ is bounded below, . This implies ; hence is a Cauchy net. Since X is complete, there exists such that . Thus for ,
Therefore for each , so x is an upper bound for the chain . By Zorn’s lemma, has a maximal element . But condition (C) implies , so it must be the case that . □
The above argument fails in the setting of Theorem 2 because it is not possible to show that is transitive in a g.m.s. In a metric space, transitivity follows directly from the triangle inequality. A way to circumvent this difficulty is to only consider points of X that are limits of nontrivial Cauchy sequences. The proof of Theorem 2 implies that nontrivial Cauchy sequences exist. So, let
Now let x, y, and z be three distinct points in , and let be a Cauchy sequence converging to z. Then, by the quadrilateral inequality,
Letting and applying Proposition 3, we see that . Therefore is a metric space. In the proof of Theorem 3 . To show that , it is necessary to show that . Assume that . Then is a Cauchy sequence. So, let .
This leads to the contradiction . The other alternative is that there exists a periodic point. This is impossible because
Remark In view of Proposition 3, it seems reasonable to introduce the following definition.
Definition 5 A point p in a generalized metric space X is said to be an accumulation point of a subset E of X if some infinite Cauchy sequence in E converges to p. A set E in X is said to be closed if it contains all of its accumulation points.
Observe that with convergence defined as above, is a Cauchy sequence and .
The authors declare that they have no competing interests.
All authors contributed equally and significantly in writing this paper. All authors read and approved the final manuscript.
We thank a referee for pointing out some oversights in the original draft of this manuscript. The research of N. Shahzad was partially supported by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, Saudi Arabia.
The term ‘metric space’ for spaces satisfying Axioms I, II, and VI is apparently due to Hausdorff .
Menger, K: Untersuchungen über allgemeine Metrik. Math. Ann.. 100, 75–163 (1928). Publisher Full Text
Wilson, WA: On semimetric spaces. Am. J. Math.. 53(2), 361–373 (1931). Publisher Full Text
Hicks, TL, Rhoades, BE: Fixed point theory in symmetric spaces with applications to probabilistic spaces. Nonlinear Anal., Theory Methods Appl.. 36(3), 331–344 (1999). Publisher Full Text
Miheţ, DL: A note on a paper of T. L. Hicks and B. E. Rhoades: ‘Fixed point theory in symmetric spaces with applications to probabilistic spaces’ [Nonlinear Anal. 36 (1999), no. 3, Ser. A: Theory Methods, 331-344; MR1688234]. Nonlinear Anal.. 65(7), 1411–1413 (2006). Publisher Full Text
Wong, CS: On a fixed point theorem of contractive type. Proc. Am. Math. Soc.. 57(2), 283–284 (1976). Publisher Full Text
Brézis, H, Browder, FE: A general principle on ordered sets in nonlinear functional analysis. Adv. Math.. 21(3), 355–364 (1976). Publisher Full Text