Abstract
In this manuscript, we investigate certain conditions that imply the existence of fixed points for almost contraction mappings defined on compact metric spaces. Furthermore we introduce a criteria establishing the uniqueness of fixed points for the mentioned operators. As a result we obtain generalized results by unifying some recent related fixed point theorems on the topic.
Similar content being viewed by others
1 Introduction and Preliminaries
In nonlinear functional analysis, fixed point theory is being investigated increasingly by reason of the fact that it has a wide range of applications in fields such as economics (see e.g. [1, 2]), computer science (see e.g. [3–7]), and many others. One of the pioneering theorems in this direction is the Banach contraction mapping principle [8] which states that each contraction defined on a complete metric space X has a unique fixed point. Banach’s result is the origin and antecedents results by the fact that he not only proved the existence and uniqueness of a fixed point of a contraction, but also showed how to evaluate this point. After this celebrated result[8], a number of authors have observed various other types of contraction mappings and proved related fixed point theorems (see e.g. such as Kannan [9], Reich [10], Hardy and Rogers [11], Ćirić [12–14], Zamfirescu [15], Arshad et al. [16]). By following this trend Suzuki recently proved the following fixed point theorems:
Theorem 1 (Suzuki [17])
Let be a compact metric space and let T be a mapping on X. Assume that implies for all . Then T has a unique fixed point.
Theorem 2 (Suzuki [18])
Define a non-increasing function θ from [0,1) onto (1/2,1] by
Then for a metric space , the followings are equivalent:
-
1.
X is complete;
-
2.
Every mapping T on X satisfying the following has a fixed point: There exists such that implies for all .
In the literature Theorem 1 and Theorem 2 attracted considerable attention from many authors (see e.g. [19–23]). Notice that these theorems are inspired by Edelstein’s Theorem [24]:
Theorem 3 Let be a compact metric space and let T be a mapping on X. Assume for all with . Then T has a unique fixed point.
Motivated by these developments in this area, in this manuscript, we combine well-known results of Suzuki [17], Edelstein [24] and Berinde [25] to complement a multitude of related results from the literature. For the sake of completeness we include the results of Berinde as well:
Theorem 4 (See [25])
Let be a complete metric space and be an almost contraction, that is, a mapping for which there exist a constant and some such that
for all . Then .
Theorem 5 (See [25])
Let be a complete metric space and be an almost contraction, that is, a mapping for which there exist a constant and some such that
for all . Then has a unique fixed point.
Main Theorems
We start this section by proving the following theorem:
Theorem 6 Let T be a self mapping on a compact metric space . Assume that
for all with and . Then, T has a fixed point , that is, .
Proof Set and choose a sequence in X such that . Regarding that X is compact, without loss of generality, assume that and converge to the points z and w in X, respectively.
We claim that θ is equal to zero. To show this, assume to the contrary that . Observe that we have
We can choose in such a way that
for each . As a consequence, we have for each . Due to (3), we get for each . Accordingly, we obtain
which implies that
By taking the definition of θ into account, we conclude that . Notice that the inequality always holds. By applying the condition (3) again, we find
which is equivalent to the inequality . This contradicts with the definition of θ. Hence, we conclude that .
We next assert that T has a fixed point. We use the method of Reductio ad absurdum to show this assertion. Suppose that T has no fixed points. Since the inequality holds for each n, we derive, for every , that
Hence, we find that
for each and
Thus, we get . In other words, and converge to the same point. Due to the triangular inequality and (9), we obtain that
Hence, too converges to z.
Assume that
We use (9), (12) and the triangular inequality, we find that
This is a contradiction. Thus, either
holds for each . Then regarding (3), one of the below holds:
This is equivalent to stating that either
-
(i)
there is an infinite subset I of ℕ so that the inequality (14) holds for all , or,
-
(ii)
there is an infinite subset J of ℕ so that the inequality (15) holds for all .
We first consider the case (14). The inequality
yields that
Thus, we conclude that . For the other case in (15) we get
which implies that
Thus, we reach the conclusion again. This contradicts with the assumption that T has no fixed point. Hence, T has a fixed point. □
Corollary 7 Let T be a self mapping on a compact metric space . Assume that
for all with and . Then, T has a unique fixed point , that is, .
Proof The proof of Theorem 6 applies, mutatis mutandis, to show the existence of a fixed point. Let be a fixed point of T.
We shall prove z is the unique fixed point of T. Suppose, to the contrary that, there exists so that and . Then the inequalities and are satisfied. Due to (3), we have
which is a contradiction. Hence, z is the unique fixed point of T. □
Theorem 8 Let T be a self mapping on a compact metric space . Assume that
for all with and . Then, T has a fixed point , that is, .
Proof The proof of Theorem 6 applies, mutatis mutandis, to prove Theorem 8. □
Corollary 9 Let T be a self mapping on a compact metric space . Assume that
for all with and . Then, T has a unique fixed point , that is, .
Proof The proof of Corollary 7 applies, mutatis mutandis, to prove Corollary 9. □
Theorem 10 Let T be a self mapping on a compact metric space . Assume that
for all with and . Then, T has a fixed point , that is, .
Proof As in the proof of Theorem 6, we set and choose a sequence in X such that . Since X is compact, without loss of generality, we assume that and converge to the points z and w in X, respectively.
We aim to show that θ is equal to zero. Let assume the contrary. Recall that
It is possible to choose in such a way that
for each . Consequently, we see that for each . By (21), we derive that
for each . Then it follows that
which implies that
Hence, we find that . As a result, we conclude that when we take the definition of θ into account. Since we always have the inequality , we obtain
by applying (21). But this is equivalent to stating that . This contradicts with the definition of θ. So, we find .
We are ready to show that T has a fixed point. We shall use the method of Reductio ad absurdum again. Suppose that T has no fixed point. Since the inequality is true for each n, the expression
holds for every . In other words, we see that the inequality
is satisfied for each . Therefore, we infer that
So, we also find . Thus, the sequences and converge to the same point. By the triangular inequality, together with the inequality (27), we derive
Hence, also converges to z. Assume that
Regarding (27), (30) and the triangular inequality, we find
This is a contradiction. Thus, we have either
for each . By (21), we conclude that one of the inequalities below
is satisfied. This is equivalent to phrasing that either
-
(a)
there is an infinite subset I of ℕ so that
-
(b)
there is an infinite subset J of ℕ so that
for all holds.
Considering the case (32), we find
which yields that
Thus, we conclude that . For the other case (33), we obtain
which implies
Thus, we reach the same conclusion, that is, . This contradicts with assumption that T has no fixed point. Hence, T has a fixed point, say . □
Corollary 11 Let T be a self mapping on a compact metric space . Assume that
for all with and . Then, T has a unique fixed point , that is, .
Proof The proof of Corollary 13 follows, mutatis mutandis, from the proofs of Corollary 7, Corollary 9 and Corollary 11. Therefore T has a fixed point, say .
We need to prove z is the unique fixed point of T. Suppose, to the contrary that, there exists such that and . Then, we have and . By (21), we see that
which in turn implies that . So y is not a fixed point of T. Hence, z is the unique. □
Combining Theorem 6, Theorem 8 and Theorem 10 yields the following:
Theorem 12 Let T be a self mapping on a compact metric space . Assume that
for all . Then, T has a fixed point , that is, .
Combining Corollary 7, Corollary 9 and Corollary 11 yields the following:
Corollary 13 Let T be a self mapping on a compact metric space . Assume that
for all . Then, T has a unique fixed point , that is, .
The result below is a corollary of Theorem 6-Theorem 12:
Theorem 14 Let T be a self mapping on a compact metric space . Assume that
for all . Then, T has a fixed point , that is, .
Proof The proof of Theorem 12 follows from the proofs of the previous theorems verbatim. □
Corollary 15 Let T be a self mapping on a compact metric space . Assume that
for all . Then, T has a unique fixed point , that is, .
Proof The proof of Corollary 13 follows from the proofs of the previous theorems verbatim. □
Example 16 (cf. [17])
Let and d be the discrete metric
Each self-mapping T on X satisfying (18) has a unique fixed point. It is clear that is complete, but it is not a compact metric space. Let T be a self-mapping on X. If T has a fixed point, it is sufficient to prove that it is unique.
To show that is the unique fixed point of T, we take where . Thus the inequalities and are satisfied. Due to (18), we have
which implies that . So y is not a fixed point of T. Hence, z is the unique fixed point of T. Suppose T has no fixed point. Then, we have
Due to (18), the inequality holds. In other words, we get . Thus the image of T on the domain X consists of only one point which is clearly a unique fixed point. This is a contradiction.
Remark 17 Example 16 can be modified for Theorem 8-Theorem 10 just by replacing the condition (3) with the relevant one. It is clear that proofs are obtained by apply the necessary manipulations in Example 16.
The following theorem is a generalization of [[17], Theorem 5].
Theorem 18 Let T be a self mapping on a metric space . Suppose that there exist and a T-invariant complete subset K of X such that
for all with , and with and . Then, T has a unique fixed point , that is, .
Proof Due to Banach [8], there exists a unique fixed point . Consider
for all which implies that
In other words, for all is not a fixed point of T. Hence, u is the unique fixed point of T on X. □
Remark 19 Theorem 18 holds also if we replace one of the conditions below instead of the condition (41):
References
Border KC: Fixed Point Theorems with Applications to Economics and Game Theory. Cambridge University Press, New York; 1985.
Ok EA: Real Analysis with Economic Applications. Princeton University Press, Princeton; 2007.
Karapınar E: Generalizations of Caristi Kirk’s theorem on partial metric spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 4
Karapınar E: A note on common fixed point theorems in partial metric spaces. Miskolc Math. Notes 2011, 12(2):185–191.
Mathews, GS: Partial metric topology. Reseach Report 212, Dept. of Computer Science University of Warwick (1992)
Romaguera S, Valero O: A quantitative computational model for complete partialmetric spaces via formal balls. Math. Struct. Comput. Sci. 2009, 19(3):541–563. 10.1017/S0960129509007671
Schellekens MP: The correspondence between partial metrics and semivaluations. Theor. Comput. Sci. 2004, 315: 135–149. 10.1016/j.tcs.2003.11.016
Banach S: Sur les operations dans les ensembles abstraits et leur application aux equations itegrales. Fundam. Math. 1922, 3: 133–181.
Kannan R: Some results on fixed points. Bull. Calcutta Math. Soc. 1968, 60: 71–76.
Reich S: Kannan’s fixed point theorem. Boll. Unione Mat. Ital. 1971, 4(4):1–11.
Hardy GE, Rogers TD: A generalization of a fixed point theorem of Reich. Can. Math. Bull. 1973, 16: 201–206. 10.4153/CMB-1973-036-0
Ćirić LB: A generalization of Banach principle. Proc. Am. Math. Soc. 1974, 45: 727–730.
Ćirić LB: Coincidence and fixed points for maps on topological spaces. Topol. Appl. 2007, 154: 3100–3106. 10.1016/j.topol.2007.08.004
Ćirić L: Some new results for Banach contractions and Edelstein contractive mappings on fuzzy metric spaces. Chaos Solitons Fractals 2009, 42: 146–154. 10.1016/j.chaos.2008.11.010
Zamfirescu T: Fix point theorems in metric spaces. Arch. Math. 1972, 23: 292–298. 10.1007/BF01304884
Arshad M, Azam A, Vetro P: Some common fixed point results in cone metric spaces. Fixed Point Theory Appl. 2009., 2009: Article ID 493965
Suzuki K: A new type of fixed point theorem in metric spaces. Nonlinear Anal., Theory Methods Appl. 2009, 71(11):5313–5317. 10.1016/j.na.2009.04.017
Suzuki K: A generalized Banach contraction principle that characterizes metric completeness. Proc. Am. Math. Soc. 2008, 136: 1861–1869.
Altun I, Erduran A: A Suzuki type fixed-point theorem. Int. J. Math. Math. Sci. 2011., 2011: Article ID 736063
Doric D, Lazovic R: Some Suzuki type fixed point theorems for generalized multivalued mappings and applications. Fixed Point Theory Appl. 2011., 2011: Article ID 40
Karapınar E:Remarks on Suzuki -condition. Dynamical Systems and Methods 2012, 227–243.
Karapınar E, Tas K:Generalized -conditions and related fixed point theorems. Comput. Math. Appl. 2011, 61(11):3370–3380. 10.1016/j.camwa.2011.04.035
Singh SL, Pathak HK, Mishra SN: On a Suzuki type general fixed point theorem with applications. Fixed Point Theory Appl. 2010., 2010: Article ID 234717
Edelstein M: On fixed and periodic points under contractive mappings. J. Lond. Math. Soc. 1962, 37: 74–79. 10.1112/jlms/s1-37.1.74
Berinde V: Approximation fixed points of weak contractions using the Picard iteration. Nonlinear Anal. Forum 2004, 9(1):43–53.
Acknowledgements
The author express his gratitude to the referees for constructive and useful remarks and suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that they have no competing interests.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Karapınar, E. Edelstein type fixed point theorems. Fixed Point Theory Appl 2012, 107 (2012). https://doi.org/10.1186/1687-1812-2012-107
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1812-2012-107