 Research
 Open Access
 Published:
Suzukitype fixed point results in metric type spaces
Fixed Point Theory and Applications volume 2012, Article number: 126 (2012)
Abstract
Suzuki’s fixed point results from (Suzuki, Proc. Am. Math. Soc. 136:18611869, 2008) and (Suzuki, Nonlinear Anal. 71:53135317, 2009) are extended to the case of metric type spaces and cone metric type spaces. Examples are given to distinguish our results from the known ones.
MSC:47H10, 54H25.
1 Introduction and preliminaries
In 2008 Suzuki proved the following refinement of Banach’s fixed point principle.
Theorem 1 ([1], Theorem 2])
Let(X,d)be a complete metric space. LetT:X\to Xbe a selfmap and{\theta}_{1}:[0,1)\to (1/2,1]be defined by
If there existsr\in [0,1)such that for eachx,y\in X,
then T has a unique fixed pointz\in Xand for eachx\in X, the sequence\{{T}^{n}x\}converges to z.
There were various extensions of Suzuki’s result, such as KikkawaSuzuki’s version of Kannan’s theorem [2] and Popescu’s version of Ćirić’s theorem [3].
Suzuki proved also the following version of Edelstein’s fixed point theorem.
Theorem 2 ([4], Theorem 3])
Let(X,d)be a compact metric space. LetT:X\to Xbe a selfmap, satisfying for allx,y\in X, x\ne ythe condition
Then T has a unique fixed point in X.
This theorem was generalized in [5].
Let E be a real Banach space with the zero vector θ. A subset P of E is called a cone if: (a) P is closed, nonempty and P\ne \{\theta \}; (b) a,b\in \mathbb{R}, a,b\ge 0, x,y\in P imply that ax+by\in P; (c) P\cap (P)=\{\theta \}. Given a cone P, we define the partial ordering ⪯ with respect to P by x\u2aafy if and only if yx\in P. We shall write x\ll y for yx\in intP, where intP stands for the interior of P and use x\prec y for x\u2aafy and x\ne y. If intP\ne \mathrm{\varnothing}, then P is called a solid cone. It is said to be normal if there is a number K>0 such that for all x,y\in E, \theta \u2aafx\u2aafy implies \parallel x\parallel \le K\parallel y\parallel. Such a minimal constant K is called the normal constant of P.
Huang and Zhang reintroduced cone metric spaces in [6] (this notion was known under various names since the mid of the 20th century, see a survey in [7]), replacing the set of real numbers by an ordered Banach space as the codomain for a metric. Cone metric spaces over normal cones inspired another generalization of metric spaces that were called metric type spaces by Khamsi [8] (see also [9–12]; note that, in fact, spaces of this kind were used earlier under the name of bspaces by Czerwik [13]). Cvetković et al.[14] and Shah et al.[15] extended Khamsi’s definition and defined cone metric type spaces as follows:
Let X be a nonempty set, E a Banach space with the solid cone P and let K\ge 1 be a real number. If the function D:X\times X\to P satisfies the following properties:

(a)
D(x,y)=0 if and only if x=y;

(b)
D(x,y)=D(y,x) for all x,y\in X;

(c)
D(x,z)\u2aafK(D(x,y)+D(y,z)) for all x,y,z\in X,
then D is called a cone metric type function and (X,D,K) is called a cone metric type space (CMTS).
In particular, when E=\mathbb{R} and P=[0,+\mathrm{\infty}), CMTS (X,D,K) reduces to a metric type space (MTS) of [8, 9, 12].
Of course, for K=1 we get the cone metric space (CMS) of [6], resp. the usual metric space.
Example 1 ([14])
Let B=\{{e}_{1},\dots ,{e}_{n}\} be an orthonormal basis of {\mathbb{R}}^{n} with inner product \u3008\cdot ,\cdot \u3009 and let p>0. Define
where [f] is the class of functions being equal to the function f a.e. Further, let
and let D:{X}_{p}\times {X}_{p}\to {P}_{B} be defined by
It was shown in [14] that {P}_{B} is a solid cone in {\mathbb{R}}^{n} and that ({X}_{p},{D}_{p},{2}^{p1}) is a CMTS. In particular, for n=1 we get an MTS and for p=1 a CMS.
Let (X,d) be any CMS over a normal cone with normal constant K\ge 1. Then (X,D,K) is an MTS, where D(x,y)=\parallel d(x,y)\parallel. In this case the spaces (X,d) and (X,D,K) have the same topologies (see [10], Theorem 2.7]).
If (X,{D}_{1},K) is a CMTS over a normal cone with a normal constant k\ge 1, then (X,D,Kk) is an MTS, where D(x,y)=\parallel {D}_{1}(x,y)\parallel. Similarly as above, the spaces (X,{D}_{1},K) and (X,D,Kk) have the same topologies.
Notions such as convergent and Cauchy sequences, as well as completeness, are introduced in (cone) metric type spaces in the standard way. The following obviously holds in an arbitrary (cone) metric type space:
We will sometimes need the continuity of metrictype function D in one variable:
or in two variables:
The last property always holds in the case of an MTS (X,D,K) generated by a CMS (X,d) over a normal cone, see Example 2, but not in general, as the following example shows.
Example 3 Let X=\mathbb{N}\cup \{\mathrm{\infty}\} and let D:X\times X\to \mathbb{R} be defined by
Then it is easy to see that for all m,n,p\in X, we have
Thus, (X,D,3) is a metrictype space. Let {x}_{n}=2n for each n\in \mathbb{N}. Then
that is, {x}_{n}\to \mathrm{\infty}, but D({x}_{n},1)=2\nrightarrow D(\mathrm{\infty},1) as n\to \mathrm{\infty}.
Recall that a selfmap T:X\to X is said to have the property (P) [16] if F(T)=F({T}^{n}) for each n\in \mathbb{N}, where F(T) is the set of fixed points of T.
In this paper, we extend Suzuki’s Theorems 1 and 2, as well as Popescu’s results from [3] to the case of metric type spaces and cone metric type spaces. Examples are given to distinguish our results from the known ones.
2 Results
2.1 Results in metric type spaces
Theorem 3 Let(X,D,K)be a complete MTS where D is continuous in each variable. LetT:X\to Xbe a selfmap and\theta ={\theta}_{K}:[0,1)\to (1/(K+1),1]be defined by
where{b}_{K}=\frac{1K+\sqrt{1+6K+{K}^{2}}}{4}is the positive solution of\frac{1r}{{r}^{2}}=\frac{1}{K+r}. If there existsr\in [0,1)such that for eachx,y\in X,
where
then T has a unique fixed pointz\in Xand for eachx\in X, the sequence\{{T}^{n}x\}converges to z. Moreover, T has the property (P).
Note that for K=1, Theorem 3 reduces to a special case of Theorem 2.1 by Popescu [3].
Proof First note that \theta (r)\le 1 implies that \theta (r)D(x,Tx)\le D(x,Tx) and it follows by (2.2) that
wherefrom
for each x\in X.
Let u\in X be arbitrary and form the sequence \{{u}_{n}\} by {u}_{0}=u and {u}_{n}={T}^{n}u for n\in \mathbb{N}. It follows from (2.3) that
and, by induction,
Using [12], Lemma 3.1] we conclude that \{{u}_{n}\} is a Cauchy sequence, tending to some z in the complete space X. Obviously, also T{u}_{n}={u}_{n+1}\to zn\to \mathrm{\infty}.
Let us prove now that
holds for each x\ne z. Since {u}_{n}\to z and T{u}_{n}\to z (and hence D({u}_{n},T{u}_{n})\to 0) and, by continuity of D, D({u}_{n},x)\to D(x,z)\ne 0, it follows that there exists {n}_{0}\in \mathbb{N} such that
holds for each n\ge {n}_{0}. Assumption (2.2) implies that for such n
Passing to the limit when n\to \mathrm{\infty} (and using continuity of D), we get that
It is easy to see that (2.6) follows from the previous relation.
Putting x={T}^{n1}z in (2.3), we get that
holds for each n\in \mathbb{N} (where {T}^{0}z=z). It follows by induction that
We will prove now that
for each n\in \mathbb{N}. For n=1 this relation is obvious. Suppose that it holds for some n\in \mathbb{N}. If {T}^{n}z=z, then {T}^{n+1}z=Tz and D({T}^{n+1}z,z)=D(Tz,z)\le D(Tz,z). If {T}^{n}z\ne z, then we can apply (2.6) to obtain that
Using (2.8) and the induction hypothesis, we get that
and (2.9) is proved by induction.
In order to prove that Tz=z, we suppose that Tz\ne z and consider the two possible cases.
Case I. 0\le r<{b}_{K} (and hence \theta (r)\le \frac{1r}{{r}^{2}}). We will prove first that
for n\in \mathbb{N}. For n=1 this is obvious and for n=2 it follows from (2.8). Suppose that (2.10) holds for some n\ge 2. Then
wherefrom D(z,Tz)\le \frac{K}{1r}D(z,{T}^{n}z). It follows (using (2.8)) that
Assumption (2.2) implies that
It is easy to see (using (2.8), (2.9) and the inductive hypothesis) that the last maximum is equal to D(z,Tz), i.e., D({T}^{n+1}z,Tz)\le \frac{r}{K}D(z,Tz) and relation (2.10) is proved by induction.
Now Tz\ne z and (2.10) implies that {T}^{n}z\ne z for each n\in \mathbb{N}. Hence, (2.6) and (2.8) imply that
Since D(Tz,z)\le K(D(Tz,{T}^{n}z)+D({T}^{n}z,z)), it follows from (2.10) that
There exists {n}_{1}\in \mathbb{N} such that 1r\ge {r}^{n} for n\ge {n}_{1} and 0\le r<{b}_{K}. For such n, we have that
It follows from (2.11) that
Thus, {T}^{n}z\to z and, again from (2.10), we get that D(Tz,z)\le \frac{r}{K}D(Tz,z) and D(Tz,z)=0, a contradiction.
Case II. {b}_{K}\le r<1 (and so \theta (r)=\frac{1}{K+r}). We will prove that there exists a subsequence \{{u}_{{n}_{j}}\} of \{{u}_{n}\} such that
holds for each j\in \mathbb{N}. From (2.4) we know that D({u}_{n},{u}_{n+1})\le \frac{r}{K}D({u}_{n1},{u}_{n}) holds for each n\in \mathbb{N}. Suppose that
both hold for some n\in \mathbb{N}. Then
which is impossible. Hence one of the following holds for each n:
In particular,
holds for each n\in \mathbb{N}. In other words, there is a subsequence \{{u}_{{n}_{j}}\} of \{{u}_{n}\} such that (2.12) holds for each j\in \mathbb{N}. But then assumption (2.2) implies that
Passing to the limit when j\to \mathrm{\infty} we get that D(z,Tz)\le \frac{r}{K}D(z,Tz), which is possible only if Tz=z, a contradiction.
Thus, we have proved that z is a fixed point of T. The uniqueness of the fixed point follows easily from (2.6). Indeed, if y z are two fixed points of T, then (2.6) implies that
wherefrom y=z. The property (P) follows from (2.3) (see [16]). □
SuzukiBanachtype and SuzukiKannantype fixed point results in metric type spaces (versions of [1], Theorem 2] and [2], Theorem 2.2]) are special cases of Theorem 3.
Corollary 1 Let(X,D,K)be a complete MTS where D is continuous in each variable. LetT:X\to Xbe a selfmap and\theta :[0,1)\to (1/(K+1),1]be defined by (2.1). If there existsr\in [0,1)such that for eachx,y\in X,
then T has a unique fixed pointz\in Xand for eachx\in X, the sequence\{{T}^{n}x\}converges to z. Moreover, T has the property (P).
Corollary 2 Let(X,D,K)be a complete MTS where D is continuous in each variable. LetT:X\to Xbe a selfmap and\theta :[0,1)\to (1/(K+1),1]be defined by (2.1). If there existsr\in [0,1)such that for eachx,y\in X,
then T has a unique fixed pointz\in Xand for eachx\in X, the sequence\{{T}^{n}x\}converges to z. Moreover, T has the property (P).
Corollary 3 Let(X,D,K)be a complete MTS where D is continuous in each variable. LetT:X\to Xbe a selfmap and\theta :[0,1)\to (1/(K+1),1]be defined by (2.1). If there existsr\in [0,1)such that for eachx,y\in X,
then T has a unique fixed pointz\in Xand for eachx\in X, the sequence\{{T}^{n}x\}converges to z. Moreover, T has the property (P).
Adapting [1], Example 1] we give now an example of a mapping satisfying the conditions of Theorem 3 (and having a unique fixed point) but not satisfying the respective classical (nonSuzukitype) condition in metric type spaces (see, e.g., [14], Theorem 3.4]).
Example 4 Let X=\{(0,0),(4,0),(0,4),(4,6),(6,4)\}, and let D:X\times X\to [0,+\mathrm{\infty}) be given by D(({x}_{1},{x}_{2}),({y}_{1},{y}_{2}))={({x}_{1}{y}_{1})}^{2}+{({x}_{2}{y}_{2})}^{2}. Then (X,D,2) is a metric type space (see Example 1). Let T:X\to X be given as
We will check that condition (2.2) holds true for r=8/9 and all x,y\in X. If x=y or if x,y\in \{(0,0),(4,0),(0,4)\}, it is trivially satisfied. Let x\in \{(0,0),(4,0),(0,4)\} and y\in \{(4,6),(6,4)\}. Then D(Tx,Ty)=16 and M(x,y)=52 for x=(0,0) and M(x,y)=36 for x=(4,0) or x=(0,4). Hence, in any case,
Let now x,y\in \{(4,6),(6,4)\}, x\ne y. Then D(x,y)=8 and D(x,Tx)=36 and so \theta (r)D(x,Tx)>\frac{1}{3}\cdot 36>8=D(x,y), and (2.2) is trivially satisfied. Note that in the classical variant, in this case D(Tx,Ty)=32 and M(x,y)=36, so the inequality D(Tx,Ty)\le \frac{r}{2}M(x,y) does not hold for any r<1.
The following is a metrictype version of Theorem 2.
Theorem 4 Let(X,D,K)be a compact MTS, where the function D is continuous. LetT:X\to Xbe a selfmap, satisfying for allx,y\in X, x\ne ythe condition
Then T has a unique fixed point in X.
Proof Denote \beta =inf\{D(x,Tx):x\in X\} and choose a sequence \{{x}_{n}\} in X such that D({x}_{n},T{x}_{n})\to \beta (n\to \mathrm{\infty}). Since the space X is (sequentially) compact, we can suppose that there exist v,w\in X such that {x}_{n}\to v and T{x}_{n}\to w (n\to \mathrm{\infty}). We will prove that \beta =0.
Suppose that \beta >0 and note that continuity of D implies that {lim}_{n\to \mathrm{\infty}}D({x}_{n},w)=D(v,w)={lim}_{n\to \mathrm{\infty}}D({x}_{n},T{x}_{n})=\beta. Choose {n}_{0}\in \mathbb{N} such that for all n\ge {n}_{0}
holds true. Then \frac{1}{1+K}D({x}_{n},T{x}_{n})<D({x}_{n},w) and assumption (2.13) implies that D(T{x}_{n},Tw)<\frac{1}{K}D({x}_{n},w) for n\ge {n}_{0}. Passing to the limit, we obtain that D(w,Tw)\le \frac{1}{K}\beta. If K>1, the last inequality is impossible by the definition of β. If K=1, it is possible only if D(w,Tw)=\beta (recall that we have supposed that \beta >0). But in this case \frac{1}{1+K}D(w,Tw)<D(w,Tw) and (2.13) implies that D(Tw,{T}^{2}w)<\frac{1}{K}D(w,Tw)=\beta, which is again impossible by the definition of β. Hence, in all cases we obtain a contradiction and it follows that \beta =0 and so v=w.
In order to prove that T has a fixed point, suppose that Tz\ne z for all z\in X. Then, in particular, 0<\frac{1}{1+K}D({x}_{n},T{x}_{n})<D({x}_{n},T{x}_{n}) and (2.13) implies that
It follows that
when n\to \mathrm{\infty}. Hence, {T}^{2}{x}_{n}\to v (n\to \mathrm{\infty}).
Suppose now that
both hold for some n\in \mathbb{N}. Then
which is impossible. Thus, for each n\in \mathbb{N}, either
holds true. Assumption (2.13) implies that for each n\in \mathbb{N} either
holds. In other words, there exists a sequence \{{n}_{j}\} such that D(T{x}_{{n}_{j}},Tv)<\frac{1}{K}D({x}_{{n}_{j}},v) holds for each j\in \mathbb{N}, or there exists a sequence \{{n}_{k}\} such that D({T}^{2}{x}_{{n}_{k}},Tv)<\frac{1}{K}D({x}_{{n}_{k}},v) holds for each k\in \mathbb{N}. In both cases, passing to the limit, we obtain that D(v,Tv)=0, i.e., Tv=v, a contradiction with the assumption that T has no fixed points.
It follows that there exists z\in X such that Tz=z. Uniqueness follows easily. □
2.2 Results in cone metric type spaces
In this subsection, we formulate conemetrictype versions of the results from the previous subsection.
Theorem 5 Let(X,{D}_{1},K)be a complete CMTS with the normal underlying cone P, where{D}_{1}is continuous in each variable. LetT:X\to Xbe a selfmap and\theta ={\theta}_{K}:[0,1)\to (1/(K+1),1]be defined by (2.1). If there existsr\in [0,1)such that for eachx,y\in X,
for some
then T has a unique fixed pointz\in Xand for eachx\in X, the sequence\{{T}^{n}x\}converges to z.
Proof Since the cone P is normal, without loss of generality, we can assume that the normal constant of P is k=1 and that the given norm in E is monotone, i.e. (see [17], Lemma 2.1]). Denote D(x,y)=\parallel {D}_{1}(x,y)\parallel. Then D is a (realvalued) metrictype function and the space (X,D) is compact (together with (X,{D}_{1}), see [10], Theorem 2.7]). Let us prove that the mapping T satisfies for some r\in [0,1) the condition
of Theorem 3. Suppose that \theta (r)D(x,Tx)\le D(x,y). Then \theta (r){D}_{1}(x,Tx){D}_{1}(x,y)\notin intP (indeed, if, to the contrary, \theta (r){D}_{1}(x,Tx){D}_{1}(x,y)\in intPi.e.\theta (r){D}_{1}(x,Tx)\gg {D}_{1}(x,y), it would follow that \theta (r)D(x,Tx)>D(x,y), a contradiction with the assumption). Assumption (2.14) implies that {D}_{1}(Tx,Ty)\u2aaf\frac{r}{K}u(x,y) for some
Again by the monotonicity of the norm, this means that D(Tx,Ty)\le \frac{r}{K}M(x,y), where
Hence, condition (2.15) is satisfied, and the conclusion follows. □
In a similar way, the following corollaries and the theorem can be proved.
Corollary 4 Let(X,{D}_{1},K)be a complete CMTS where{D}_{1}is continuous in each variable. LetT:X\to Xbe a selfmap and\theta :[0,1)\to (1/(K+1),1]be defined by (2.1). If there existsr\in [0,1)such that for eachx,y\in X,
then T has a unique fixed pointz\in Xand for eachx\in X, the sequence\{{T}^{n}x\}converges to z.
Corollary 5 Let(X,{D}_{1},K)be a complete CMTS where{D}_{1}is continuous in each variable. LetT:X\to Xbe a selfmap and\theta :[0,1)\to (1/(K+1),1]be defined by (2.1). If there existsr\in [0,1)such that for eachx,y\in X,
whereu(x,y)\in \{{D}_{1}(x,Tx),{D}_{1}(y,Ty)\}, then T has a unique fixed pointz\in Xand for eachx\in X, the sequence\{{T}^{n}x\}converges to z.
Corollary 6 Let(X,{D}_{1},K)be a complete CMTS where{D}_{1}is continuous in each variable. LetT:X\to Xbe a selfmap and\theta :[0,1)\to (1/(K+1),1]be defined by (2.1). If there existsr\in [0,1)such that for eachx,y\in X,
then T has a unique fixed pointz\in Xand for eachx\in X, the sequence\{{T}^{n}x\}converges to z.
Example 4 can be easily adapted to a CMTS.
Theorem 6 Let(X,{D}_{1},K)be a compact CMTS, where the function{D}_{1}is continuous. LetT:X\to Xbe a selfmap satisfying, for allx,y\in X, x\ne ythe condition
Then T has a unique fixed point in X.
Note that for K=1 the above theorem reduces to [5], Theorem 3.8].
References
Suzuki T: A generalized Banach contraction principle that characterizes metric completeness. Proc. Am. Math. Soc. 2008, 136: 1861–1869.
Kikkawa M, Suzuki T: Some similarity between contractions and Kannan mappings. Fixed Point Theory Appl. 2008., 2008:
Popescu O: Two fixed point theorems for generalized contractions with constants in complete metric spaces. Cent. Eur. J. Math. 2009, 7: 529–538. 10.2478/s1153300900192
Suzuki T: A new type of fixed point theorem in metric spaces. Nonlinear Anal. 2009, 71: 5313–5317. 10.1016/j.na.2009.04.017
Ðorić D, Kadelburg Z, Radenović S: EdelsteinSuzukitype fixed point results in metric and abstract metric spaces. Nonlinear Anal. 2012, 75: 1927–1932. 10.1016/j.na.2011.09.046
Huang LG, Zhang X: Cone metric spaces and fixed point theorems of contractive mappings. J. Math. Anal. Appl. 2007, 332(2):1468–1476. 10.1016/j.jmaa.2005.03.087
Zabrejko PP: K metric and K normed linear spaces: survey. Collect. Math. 1997, 48: 825–859.
Khamsi MA: Remarks on cone metric spaces and fixed point theorems of contractive mappings. Fixed Point Theory Appl. 2010., 2010:
Khamsi MA, Hussain N: KKM mappings in metric type spaces. Nonlinear Anal. 2010, 73: 3123–3129. 10.1016/j.na.2010.06.084
Radenović S, Kadelburg Z: Quasicontractions on symmetric and cone symmetric spaces. Banach J. Math. Anal. 2011, 5: 38–50.
Hussain N, Shah MH: KKM mappings in cone b metric spaces. Comput. Math. Appl. 2011, 62: 1677–1684. 10.1016/j.camwa.2011.06.004
Jovanović M, Kadelburg Z, Radenović S: Common fixed point results in metric type spaces. Fixed Point Theory Appl. 2011., 2011:
Czerwik S: Contraction mappings in b metric spaces. Acta Math. Inform. Univ. Ostrav. 1993, 1: 5–11.
Cvetković AS, Stanić MP, Dimitrijević S, Simić Su: Common fixed point theorems for four mappings on cone metric type space. Fixed Point Theory Appl. 2011., 2011:
Shah MH, Simić S, Hussain N, Sretenović A, Radenović S: Common fixed point theorems for occasionally weakly compatible pairs on cone metric type spaces. J. Comput. Anal. Appl. 2012, 14: 290–297.
Jeong GS, Rhoades BE:Maps for which F(T)=F({T}^{n}). Fixed Point Theory Appl. 2005, 6: 87–131.
Farajzadeh AP, AminiHarandi A, Baleanu D: Fixed point theory for generalized contractions in cone metric spaces. Commun. Nonlinear Sci. Numer. Simul. 2012, 17: 708–712. 10.1016/j.cnsns.2011.01.016
Acknowledgements
The first author gratefully acknowledges the support provided by the Deanship of Scientific Research (DSR), King Abdulaziz University during this research. The second, third and fourth authors are thankful to the Ministry of Science and Technological Development of Serbia.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally and significantly in writing this paper. All authors read and approved the final manuscript.
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
Hussain, N., Ðorić, D., Kadelburg, Z. et al. Suzukitype fixed point results in metric type spaces. Fixed Point Theory Appl 2012, 126 (2012). https://doi.org/10.1186/168718122012126
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/168718122012126
Keywords
 metric type space
 cone metric space
 normal cone
 fixed point