- Research
- Open Access
- Published:
A note on fixed point results in complex-valued metric spaces
Journal of Inequalities and Applications volume 2015, Article number: 33 (2015)
Abstract
In this paper, we prove that the fixed point results in the context of complex-valued metric spaces can be obtained as a consequence of corresponding existing results in the literature in the setting of associative metric spaces. In particular, we deduce that any complex metric space is a special case of cone metric spaces with a normal cone.
1 Introduction and preliminaries
The notion of complex-valued metric spaces was introduced by Azam et al. [1], as a generalization of metric spaces to investigate the existence and uniqueness of fixed point results for mappings satisfying a rational inequalities. Following this paper, a number of authors have reported several fixed point results for various mapping satisfying a rational inequalities in the context of complex-valued metric spaces; see e.g. [1–3] and the related references therein.
The aim of this short note is to emphasize that the complex-valued metric space is an example of the cone metric space that was introduced in [4–6] under the name K-metric and K-normed spaces and re-introduced by Huang and Zhang [7]. It is well known that if the cone is normal then the corresponding cone metric associates a metric. There are some other approaches to induce a metric from cone metric; see e.g. [8–16]. As a consequence of these observations, we notice that fixed point results in the context of complete complex-valued metric spaces can be deduced the corresponding fixed point results on (associative) complete metric space. Based on the discussion above, for our purpose, we first prove the existence of common fixed point theorems for multi-valued mapping in the context of complete metric space. Then we derive the main results of the recent paper of Ahmad et al. [2] as corollaries of our results.
For the sake of completeness we recollect some basic definitions and fundamentals results on the topic in the literature. We mainly follow the notions and notations of Azam et al. in [1].
Let ℂ be the set of complex numbers and \(z_{1},z_{2}\in \mathbb{C}\). Define a partial order ≾ on ℂ as follows:
It follows that
if one of the following conditions is satisfied:
- (h1):
-
\(\operatorname{Re}(z_{1})=\operatorname{Re}(z_{2})\); \(\operatorname{Im}(z_{1})<\operatorname{Im}(z_{2})\),
- (h2):
-
\(\operatorname{Re}(z_{1})<\operatorname{Re}(z_{2})\); \(\operatorname{Im}(z_{1})=\operatorname{Im}(z_{2})\),
- (h3):
-
\(\operatorname{Re}(z_{1})<\operatorname{Re}(z_{2})\); \(\operatorname{Im}(z_{1})<\operatorname{Im}(z_{2})\),
- (h4):
-
\(\operatorname{Re}(z_{1})=\operatorname{Re}(z_{2})\); \(\operatorname{Im}(z_{1})=\operatorname{Im}(z_{2})\).
In particular, we shall write \(z_{1} \precnsim z_{2}\) if \(z_{1} \neq z_{2}\) and one of (h1), (h2), and (h3) is satisfied. Further we write \(z_{1} \prec z_{2}\) if only (h3) is satisfied. Note that
where \(|\cdot|\) represents the modulus or magnitude of z, and
Definition 1
[1]
Let X be a nonempty set. A function \(d:X \times X\to \mathbb{C}\) is called a complex-valued metric on X, if it satisfies the following conditions:
- (b1):
-
\(0 \precsim d(x,y)\) for all \(x,y\in X\) and \(d(x,y) = 0\), if and only if \(x = y\),
- (b2):
-
\(d(x,y) = d(y,x)\), for all \(x,y\in X\),
- (b3):
-
\(d(x,y) \precsim d(x,z) + d(y,z)\), for all \(x,y,z\in X\).
Furthermore, the pair \((X,d)\) is called a complex-valued metric space.
Let \(\{x_{n}\}\) be a sequence in X and \(x\in X\). If for every \(c\in \mathbb{C}\), with \(0\prec c\) there is \(n_{0}\in \mathbb{N}\) such that for all \(n > n_{0}\), \(d(x_{n},x) \prec c\), then \(\{x_{n}\}\) is said to be convergent, \(\{x_{n}\}\) converges to x and x is the limit point of \(\{ x_{n}\}\). We denote this by \(\lim_{n}x_{n} = x\), or \(x_{n}\to x\), as \(n\to\infty\). If for every \(c\in \mathbb{C}\) with \(0\prec c\) there is \(n_{0}\in \mathbb{N}\) such that for all \(n > n_{0}\), \(d(x_{n}, x_{n+m})\prec c\), then \(\{x_{n}\}\) is called a Cauchy sequence in \((X, d)\). If every Cauchy sequence is convergent in \((X, d)\), then \((X, d)\) is called a complete complex-valued metric space.
Lemma 2
[1, Lemma 2, Azam et al.]
Let \((X, d)\) be a complex-valued metric space and let \(\{x_{n}\}\) be a sequence in X. Then \(\{x_{n}\}\) converges to x if and only if \(|d(x_{n},x)|\to0\) as \(n\to\infty\).
Lemma 3
[1, Lemma 3, Azam et al.]
Let \((X, d)\) be a complex-valued metric space and let \(\{x_{n}\}\) be a sequence in X. Then \(\{x_{n}\}\) is a Cauchy sequence if and only if \(|d(x_{n},x_{n+m})|\to0\) as \(n\to\infty\).
Let E be a real Banach space. A subset P of E is called a cone, if the followings hold:
- (a1):
-
P is closed, nonempty, and \(P \neq\{0\}\),
- (a2):
-
\(a, b \in \mathbb{R}\), \(a,b\geq0\), and \(x, y \in P\) imply that \(ax+by\in P\),
- (a3):
-
\(x \in P\) and \(-x \in P\) imply that \(x = 0\).
Given a cone \(P\subset E\), we define a partial ordering ≤ with respect to P by \(x \leq y\), if \(y - x \in P\). We write \(x < y\) to indicate that \(x \leq y\) but \(x\neq y\), while \(x \ll y\) stands for \(y - x \in \operatorname{int} P\), where intP denotes the interior of P.
The cone P is called normal, if there exist a number \(K\geq1\) such that \(0 \leq x \leq y\) implies \(\|x\| \leq K\|y\|\), for all \(x, y \in E\). The least positive number satisfying this, called the normal constant [7, 17].
In this paper, E denotes a real Banach space, P denotes a cone in E with \(\operatorname{int} P\neq\emptyset\), and ≤ denotes a partial ordering with respect to P. For more details on the cone metric, we refer e.g. to [7, 17, 18].
Definition 4
[7]
Let X be a nonempty set. A function \(d:X \times X\to E\) is called a cone metric on X, if it satisfies the following conditions:
- (b1):
-
\(d(x,y) \geq0\) for all \(x,y\in X\) and \(d(x,y) = 0\), if and only if \(x = y\),
- (b2):
-
\(d(x,y) = d(y,x)\), for all \(x,y\in X\),
- (b3):
-
\(d(x,y) \leq d(x,z) + d(y,z)\), for all \(x,y,z\in X\).
Then \((X,d)\) is called a cone metric space.
The following definitions and lemmas have been taken from [7, 18].
Definition 5
Let \((X,d)\) be a cone metric space and \(\{x_{n}\}_{n\in \mathbb{N}}\) be a sequence in X and \(x\in X\). If for all \(c \in E\) with \(0\ll c\), there is \(n_{0} \in \mathbb{N}\) such that for all \(n > n_{0}\), \(d(x_{n}, x_{0})\ll c\), then \(\{x_{n}\}_{n\in \mathbb{N}}\) is said to be convergent and \(\{x_{n}\}_{n\in \mathbb{N}}\) converges to x and x is the limit of \(\{x_{n}\}_{n\in \mathbb{N}}\).
Definition 6
Let \((X,d)\) be a cone metric space and \(\{x_{n}\}_{n\in \mathbb{N}}\) be a sequence in X. If for all \(c \in E\) with \(0\ll c\), there is \(n_{0} \in \mathbb{N}\) such that for all \(m,n > n_{0}\), \(d(x_{n},x_{m})\ll c\), then \(\{x_{n}\}_{n\in \mathbb{N}}\) is called a Cauchy sequence in X.
Definition 7
Let \((X,d)\) be a cone metric space. If every Cauchy sequence is convergent in X, then X is called a complete cone metric space.
Definition 8
Let \((X,d)\) be a cone metric space. A self-map T on X is said to be continuous, if \(\lim_{n\rightarrow\infty}x_{n}=x\) implies \(\lim_{n\rightarrow\infty}T(x_{n})=T(x)\) for all sequences \(\{x_{n}\}_{n\in \mathbb{N}}\) in X.
Lemma 9
Let \((X,d)\) be a normal cone metric space and P be a cone. Let \(\{x_{n}\}_{n\in \mathbb{N}}\) be a sequence in X. Then \(\{x_{n}\}_{n\in \mathbb{N}}\) converges to x, if and only if
Lemma 10
Let \((X,d)\) be a normal cone metric space and \(\{x_{n}\}_{n\in \mathbb{N}}\) be a sequence in X. If \(\{x_{n}\}_{n\in \mathbb{N}}\) is convergent, then it is a Cauchy sequence.
Lemma 11
Let \((X,d)\) be a cone metric space and P be a cone in E. Let \(\{x_{n}\}_{n\in \mathbb{N}}\) be a sequence in X. Then \(\{x_{n}\}_{n\in \mathbb{N}}\) is a Cauchy sequence, if and only if \(\lim_{m,n\rightarrow\infty }d(x_{m},x_{n}) = 0\).
2 Main result
In this section, we represent our main results. First of all, we represent some simple observations. Let \((X,d_{\mathbb{C}})\) be a complex-valued metric space. Now, we define the following set:
It is apparent that \(\mathcal{P}_{\mathbb{C}}\subset \mathbb{C}\). Note that \((\mathbb{C},|\cdot|)\) is a real Banach space.
Lemma 12
\(\mathcal{P}_{\mathbb{C}}\) is a normal cone in a real Banach space \((\mathbb{C},|\cdot|)\).
Proof
Precisely, \(\mathcal{P}_{\mathbb{C}}\) is nonempty, closed and \(\mathcal {P}_{\mathbb{C}}\neq(\mathbf{0}_{\mathbb{C}})\). Also for all \(\alpha,\beta\in \mathbb{R}^{+}\) and \(p,q\in\mathcal{P}_{\mathbb{C}}\) we have \(\alpha p+\beta q\in\mathcal{P}_{\mathbb{C}}\) and \(\mathcal {P}_{\mathbb{C}}\cap(-\mathcal{P}_{\mathbb{C}})=(\mathbf{0}_{\mathbb{C}})\). Also the normality of \(\mathcal{P}_{\mathbb{C}}\) is apparent. □
Lemma 13
Any complex-valued metric space \((X,d_{\mathbb{C}})\) is a cone metric space.
Proof
For all \(p,q\in \mathbb{C}\) define
⫅ defines a partial ordered on ℂ and one can easily verify that \((X,d_{\mathbb{C}})\) is a cone metric space with respect to ⫅. □
Lemma 14
The partial ordered ⫅ defined in Lemma 13 is equivalent to ≲.
Proof
Assume \(p=p_{1}+ip_{2}\) and \(q=q_{1}+iq_{2}\). \(p \subseteqq q\), if and only if \(q-p\in\mathcal{P}_{\mathbb{C}}\), if and only if \(q_{1}-p_{1}\geq0\), \(q_{2}-p_{2}\geq0\). In other words, \(\operatorname{Re}(p)\leq \operatorname{Re}(q)\), \(\operatorname{Im}(p)\leq \operatorname{Im}(q)\), if and only if \(p\lesssim q\). □
Lemma 15
A sequence \(\{x_{n}\}\) in \((X,d_{\mathbb{C}})\) is convergent according to the concept of complex-valued metric space if and only if \(\{x_{n}\}\) is convergent according to the concept of a cone metric space.
Proof
Let \(\{x_{n}\}\) be sequence in X. Sequence \(\{x_{n}\}\) converges to \(x\in X\) according to the concept of complex-valued metric space if and only if \(|d(x_{n},x)|\to0\) as \(n\to\infty\) if and only if \(\{x_{n}\}\) converges to x according to the concept of a cone metric space by considering ℂ as the Banach space endowed with the cone \(\mathcal{P}_{\mathbb{C}}\) (see Lemma 9). □
Finally, we recall some fundamental definition for multi-valued mappings and related metric spaces. Let \((X,d)\) be a metric space. Let \(\mathcal{P}(X)= \{ Y\mid Y\subset X \}\) and \(P(X):= \{ Y\in\mathcal{P} ( X ) \mid Y\neq\emptyset \}\). Let us define the gap functional \(D:P(X)\times P(X)\rightarrow \mathbb{R}_{+}\cup\{+\infty\}\), as
In particular, if \(x_{0}\in X\), then \(D ( x_{0},B ) :=D ( \{ x_{0} \} ,B ) \).
We denote by \(\mathcal{C}(X)\) the family of all nonempty closed subsets of X and \(\mathcal{CB}(X)\) the family of all nonempty closed and bounded subsets of X. A function \(\mathcal{H}:\mathcal{CB}(X)\times \mathcal{CB}(X)\rightarrow{}[0,\infty)\) defined by
is said to be the Hausdorff metric on \(\mathcal{CB}(X)\) induced by the metric d on X where \(D(x,A)=\inf\{d(x,y):y\in A\}\) for each \(A\in \mathcal{CB}(X)\). A point v in X is a fixed point of a map T if \(v=Tv\) (when \(T:X\rightarrow X\) is a single-valued map) or \(v\in Tv\) (when \(T:X\rightarrow\mathcal{P}(X)\) is a multi-valued map). We say that T has an endpoint if there exists \(v\in X\) such that \(Tv=\{v\}\). The set of fixed points of T is denoted by \(\mathcal{F}(T)\) and the set of common fixed points of two multi-valued mappings T, S is denoted by \(\mathcal{F}(T,S)\).
Definition 16
For two multi-valued mappings \(T,S:X\to\mathcal{CB}(X)\), we say that T, S satisfy the common approximate endpoint property if there exists a sequence \(\{x_{n}\}\subset X\) such that
Definition 17
For two mappings \(T,S:X\to X\), we say that T, S have a common approximate fixed point if there exists a sequence \(\{x_{n}\}\subset X\) such that
Throughout the paper, we assume that \(\{a,b,c,d,e\} \subset[0,1)\).
The following is the fundamental theorem of this paper.
Theorem 18
Let \((X,d)\) be a complete metric space and let \(T,S:X\to\mathcal {CB}(X)\) be two multi-valued functions such that for each \(x,y\in X\),
where \(a+b+c+2d+2e<1\). Then T, S have a unique endpoint, if and only if they satisfy the common approximate endpoint property.
Proof
If T, S have a unique endpoint then they precisely satisfy the common approximate endpoint property. Conversely, suppose that T, S satisfy the common approximate endpoint property, then there exists a sequence \(\{x_{n}\}\) such that \(\lim_{n\to\infty}\mathcal{H}(\{x_{n}\},Tx_{n})=\lim_{n\to\infty }\mathcal{H}(\{x_{n}\},Sx_{n})=0\). We claim that \(\{x_{n}\}\) is a Cauchy sequence. For convenience suppose that \(\alpha_{n}=\mathcal{H}(\{ x_{n}\},Tx_{n})\) and \(\beta_{n}=\mathcal{H}(\{x_{n}\},Sx_{n})\); we have
It means that
In other words,
Since \(a+c<1\) we have \(d(x_{n},x_{m})\to0\) as \({n,m\to\infty}\). Thus, \(\{x_{n}\}\) is a Cauchy sequence. Since \((X,d)\) is complete metric space, it converges to some \(z\in X\). Also we have
By taking the limit on both sides of (2.1) we have \(\mathcal {H}(\{z\},Tz)=0\) and so \(Tz=\{z\}\). By a similar argument we deduce that \(Sz=\{z\}\). □
Theorem 19
Let \((X,d)\) be a complete metric space and let \(T,S:X\to\mathcal {CB}(X)\) be two multi-valued functions such that for each \(x,y\in X\),
where \(a+b+c+2d+2e<1\). Then T, S have a unique endpoint, if and only if they satisfy the common approximate endpoint property.
Proof
By Theorem 18 since
we conclude the desired result. □
Theorem 20
Let \((X,d)\) be a complete metric space and let \(f,g:X\to X\) be two multi-valued functions such that for each \(x,y\in X\),
where \(a+b+c+2d+2e<1\). Then f, g have a common fixed point.
Proof
Let \(x_{0}\in X\) be arbitrary and let \(x_{2n-1}=fx_{2n-2}\) and \(x_{2n}=gx_{2n-1}\). We have
It means that
Also
It means that
Now taking \(\lambda=\max \{\frac{a+d}{1-b-d},\frac {a+e}{1-a-e} \}<1\) we conclude that for each \(n\in \mathbb{N}\)
By a standard technique, one can show that \(\{x_{n}\}\) is Cauchy. Since \((X,d)\) is a complete metric space, there exists \(u\in X\) such that \(x_{n} \to u\).
We claim that \(fu=u\). By the triangle inequality, we have
Letting \(n\to\infty\) in the inequality above, we get
Analogously, we derive that \(gu=u\). Hence, we conclude that u is the common fixed point of f and g. □
Corollary 21
Let \((X,d)\) be a complete metric space and let \(f,g:X\to X\) be two multi-valued functions such that for each \(x,y\in X\),
where \(a+b +2d+2e<1\). Then f, g have a unique common fixed point.
Proof
By following the lines in the proof of Theorem 20 we get that f and g have a common fixed point, say \(u \in X\). We shall show that u is the unique common fixed point of f and g. Suppose, on the contrary, that u and v are distinct common fixed points of f and g. Hence, we have
which implies that
Since \(a<1\), \(d(u,v)=0 \), which is a contradiction. Hence, u is the unique common fixed point of f and g. □
Theorem 22
Let \((X,d)\) be a complex-valued metric space and let \(f,g:X\to X\) be two functions and a, b, c, d, e be such that \(a+b+c+2d+2e<1\). Let
for all \(x,y\in X\). Then f, g have a unique common fixed point.
Proof
Taking \(\rho(x,y)=|d(x,y)|\), \((X,\rho)\) is a complete metric space and applying Theorem 20 we conclude that f and g have a common fixed point. As in the proof of Corollary 21, uniqueness of the common fixed point of f and g can be derived easily by reductio ad absurdum. □
The following results, the main results of Ahmad et al. [2], can be considered as a consequence of Theorem 20.
Theorem 23
Let \((X,d)\) be a complex-valued metric space and let \(f,g:X\to X\) be two functions and a, b, c, d, e be such that \(a+b+c+2d+2e<1\). Let
for all \(x,y\in X\). Then f, g have a unique common fixed point.
Proof
We have \(a+b+c+d+e< a+b+c+2d+2e<1\) and
By Theorem 20 we conclude that f and g have a common fixed point. Uniqueness can be derived easily verbatim as in the proof of Corollary 21. □
Remark 24
By Theorem 20, one can derive the other results in [2] but we prefer not to list these here.
In what follows we state a theorem that is just a variation of Theorem 20.
Corollary 25
Let \((X,d)\) be a complete metric space and let \(f,g:X\to X\) be two multi-valued functions such that for each \(x,y\in X\),
where \(a+b+c+2d+2e<1\). Then f, g have a unique common fixed point.
Proof
By following the lines in the proof of Theorem 20, one can easily observe that
Therefore, f, g have a common approximate fixed point. Thus taking \(Tx=\{fx\}\) and \(Sx=\{gx\}\) in Theorem 18 we conclude that T, S satisfy the common approximate endpoint property and so f, g have a unique common fixed point. □
References
Azam, A, Fisher, B, Khan, M: Common fixed point theorems in complex-valued metric spaces. Numer. Funct. Anal. Optim. 32, 243-253 (2011). doi:10.1080/01630563.2011.533046
Ahmad, J, Azam, A, Saejung, S: Common fixed point results for contractive mappings in complex valued metric spaces. Fixed Point Theory Appl. 2014, Article ID 67 (2014). doi:10.1186/1687-1812-2014-67
Ozturk, M: Common fixed point theorems satisfying contractive type conditions in complex valued metric spaces. Abstr. Appl. Anal. 2014, Article ID 598465 (2014)
Kantorovich, LV: The majorant principle and Newton’s method. Dokl. Akad. Nauk SSSR 76, 17-20 (1951)
Vandergraft, JS: Newton’s method for convex operators in partially ordered spaces. SIAM J. Numer. Anal. 4, 406-432 (1967)
Zabreiko, PP: K-Metric and K-normed spaces: survey. Collect. Math. 48(4-6), 825-859 (1997)
Huang, LG, Zhang, X: Cone metric spaces and fixed point theorems of contractive mappings. J. Math. Anal. Appl. 332, 1468-1476 (2007)
Du, W-S: A note on cone metric fixed point theory and its equivalence. Nonlinear Anal. 72(5), 2259-2261 (2010)
Abdeljawad, T, Karapınar, E: A gap in the paper ‘A note on cone metric fixed point theory and its equivalence’ [Nonlinear Anal. 72(5), (2010), 2259-2261]. Gazi Univ. J. Sci. 24(2), 233-234 (2011)
Khamsi, MA: Remarks on cone metric spaces and fixed point theorems of contractive mappings. Fixed Point Theory Appl. (2010). doi:10.1155/2010/315398
Amini-Harandi, A, Fakhar, M: Fixed point theory in cone metric spaces obtained via the scalarization method. Comput. Math. Appl. 59, 3529-3534 (2010)
Feng, Y, Mao, W: The equivalence of cone metric spaces and metric spaces. Fixed Point Theory 11(2), 259-264 (2010)
Jankovic, S, Kadelburg, Z, Radenovic, S: On cone metric spaces: a survey. Nonlinear Anal., Theory Methods Appl. 74(7), 2591-2601 (2011)
Farajzadeh, AP: On the scalarization method in cone metric spaces. Positivity 18, 703-708 (2014). doi:10.1007/s11117-013-0271-3
Agarwal, RP, Alsulami, H, Karapınar, E, Khojasteh, F: Remarks on some recent fixed point results in quaternion-valued metric spaces. Abstr. Appl. Anal. 2014, Article ID 171624 (2014)
Kadelburg, Z, Radenovic, S, Rakocevic, V: A note on the equivalence of some metric and cone metric fixed point results. Appl. Math. Lett. 24(3), 370-374 (2011)
Rezapour, S, Haghi, RH: Some notes on the paper ‘Cone metric spaces and fixed point theorems of contractive mappings’. J. Math. Anal. Appl. 345, 719-724 (2008)
Khojasteh, F, Razani, A, Moradi, S: A fixed point of generalized \(T_{F}\)-contraction mappings in cone metric spaces. Fixed Point Theory Appl. 2011, Article ID 14 (2011). doi:10.1186/1687-1812-2011-14
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 article. All authors read and approved the final manuscript.
Rights and permissions
Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.
About this article
Cite this article
Al-Mezel, S.A., Alsulami, H.H., Karapınar, E. et al. A note on fixed point results in complex-valued metric spaces. J Inequal Appl 2015, 33 (2015). https://doi.org/10.1186/s13660-015-0550-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-015-0550-6
MSC
- 46T99
- 47H10
- 54H25
- 54C30
Keywords
- contraction mapping
- cone metric spaces
- quaternion-valued metric space
- complex-valued metric space
- fixed point