Abstract
In this paper we generalize the notion of \(C^{*}\)valued contraction mappings, recently introduced by Ma et al., by weakening the contractive condition introduced by them. Using the new notion of \(C^{*}\)valued contractive type mappings, we establish a fixed point theorem for such mappings. Our result generalizes the result by Ma et al. and those contained therein except for the uniqueness.
Similar content being viewed by others
1 Introduction and preliminaries
Let \((X,d)\) be a metric space. A mapping \(T:X\rightarrow X \) is said to be a contraction if \(\exists \alpha\in(0,1) \) such that
One of the most important tools used for the existence of solutions of many nonlinear problems arising in physics and engineering sciences is the Banach fixed point theorem which asserts that every contraction on a complete metric space has a unique fixed point. This theorem is also known as the Banach contraction principle (BCP), and it first appeared in its explicit form in Banach’s PhD Thesis [1]. The strength of BCP lies in the fact that the underlying space is a quite general, complete metric space, while the conclusion is very strong, including even error estimates. Note that a mapping \(T:X\rightarrow X\) satisfying (1) is uniformly continuous on X. Therefore, the Banach contraction condition forces the mapping T to be continuous. Given a mapping \(T : X \rightarrow X\) and \(x \in X\), the sequence of points \(\mathcal{O}_{T}(x)= \{x,Tx,T^{2}x,\dots\}\) is called the orbit of x with respect to T. Hicks and Rhoades [2] showed that if a mapping \(T:X\rightarrow X\) satisfies the following contractive condition
for some \(h\in(0,1)\) and every \(y\in\mathcal{O}_{T}(x)\), then T has a fixed point. Note that the contractive condition (2) is weaker than condition (1). Moreover, condition (2) does not force the mapping T to be continuous [2]. In contrast to the Banach contraction principle, the Hicks and Rhodes theorem [2] does not guarantee the uniqueness of the fixed point of T.
Recently, Ma et al. [3] introduced the notion of \(C^{*}\)valued metric spaces and, analogous to the Banach contraction principle, established a fixed point theorem for \(C^{*}\)valued contraction mappings. In this paper, we first introduce the notion of continuity in the context of \(C^{*}\)valued metric spaces and show that a \(C^{*}\)valued contraction map is continuous with respect to our notion of continuity. Then we introduce a \(C^{*} \)valued contractive type condition and establish a fixed point theorem analogous to the results presented in [2]. We also show that a \(C^{*}\)valued contractive type map need not be continuous in the context of \(C^{*}\)valued metric.
We now recollect some basic definitions, notations, and results that will be used subsequently. For details, we refer to [4, 5]. An algebra \(\mathbb{A}\) together with a conjugate linear involution map \(*: \mathbb{A}\rightarrow\mathbb{A}\), defined by \(a\mapsto a^{*}\) such that for all \(a,b \in\mathbb{A}\) we have \((ab)^{*}=b^{*}a^{*}\) and \((a^{*})^{*}=a \), is called a ∗algebra. Moreover, if \(\mathbb{A}\) contains an identity element \(1_{\mathbb{A}}\), then the pair \((\mathbb{A},*)\) is called a unital ∗algebra. A unital ∗algebra \((\mathbb{A},*)\) together with a complete sub multiplicative norm satisfying \(\a^{*} \=\a \\) for all \(a\in\mathbb {A}\) is called a Banach ∗algebra. A \(C^{*}\)algebra is a Banach ∗algebra \((\mathbb{A}, *)\) such that \(\a^{*}a \=\a \^{2}\) for all \(a\in\mathbb{A} \). An element \(a \in\mathbb{A}\) is called a positive element if \(a=a^{*}\) and \(\sigma(a)\subset\mathbb{R_{+}}\), where \(\sigma(a)=\{\lambda \in\mathbb{R} : \lambda Ia \mbox{ is noninvertible} \}\). If \(a\in\mathbb{A}\) is positive, we write it as \(a \succeq 0_{\mathbb{A}}\). Using positive elements, one can define a partial ordering on \(\mathbb{A}\) as follows: \(b \succeq a\) if and only if \(ba\succeq0_{\mathbb{A}}\). Each positive element a of a \(C^{*}\)algebra \(\mathbb{A}\) has a unique positive square root. Subsequently, \(\mathbb{A}\) will denote a unital \(C^{*}\)algebra with the identity element \(1_{\mathbb{A}}\). Further, \(\mathbb{A}_{+}\) is the set \(\{ a\in\mathbb{A}:a\succeq0_{\mathbb{A}} \}\) of positive elements of \(\mathbb{A}\) and \((a^{*}a)^{1/2}= a \). Using the concept of positive elements in \(\mathbb{A}\), a \(C^{*}\)algebravalued metric space is defined in the following way.
Definition 1.1
[3]
Let X be a nonempty set. A \(C^{*}\)algebravalued metric on X is a mapping \(d: X \times X \rightarrow\mathbb{A} \) satisfying the following conditions:

(i)
\(0_{\mathbb{A}} \preceq d(x,y)\) for all \(x, y\in X\) and \(d(x,y)=0_{\mathbb{A}} \Leftrightarrow x=y \),

(ii)
\(d(x,y)=d(y,x)\) \(\forall x,y \in X\),

(iii)
\(d(x,y)\preceq d(x,z)+d(z,y)\) \(\forall x,y,z \in X\).
The triplet \((X,\mathbb{A},d)\) is called a \(C^{*}\)algebravalued metric space.
A sequence \(\{ x_{n} \}\) in \((X,\mathbb{A},d)\) is said to converge to \(x \in X\) with respect to \(\mathbb{A}\) if for any \(\epsilon>0\) there exists \(N \in \mathbb{N}\) such that \(\d(x_{n},x) \ < \epsilon\) for all \(n> N\). We write it as \(\lim_{n\rightarrow\infty} x_{n}=x\). A sequence \(\{ x_{n} \}\) is called a Cauchy sequence with respect to \(\mathbb{A}\) if for any \(\epsilon>0\) there exists \(N \in \mathbb{N}\) such that \(\d(x_{n},x_{m}) \ < \epsilon\) for all \(n, m > N\). The triplet \((X,\mathbb{A},d)\) is said to be a complete \(C^{*}\)valued metric space if every Cauchy sequence with respect to \(\mathbb{A}\) is convergent. Now we state the definition and result from [3], for convenience.
Definition 1.2
[3]
Let \((X,\mathbb{A}, d) \) be a \(C^{*}\)algebravalued metric space. A mapping \(T:X \rightarrow X \) is said to be a \(C^{*}\)algebravalued contraction mapping on X if there exists \(a \in\mathbb{A}\) with \(\a\ < 1\) such that
Theorem 1.3
[3]
Let \((X,\mathbb{A},d)\) be a \(C^{*}\)algebravalued complete metric space and \(T:X \rightarrow X \) satisfy (3), then T has a unique fixed point in X.
From now on, we call a \(C^{*}\)algebravalued metric and a \(C^{*}\)algebravalued metric space simply a \(C^{*}\)valued metric and a \(C^{*}\)valued metric space, respectively.
2 Main results
We begin this section by introducing the notion of continuity in the context of \(C^{*}\)valued metric spaces.
Definition 2.1
Let \((X,\mathbb{A},d)\) be a \(C^{*}\)valued metric space. A mapping \(T:X \rightarrow X\) is said to be continuous at \(x_{0}\) with respect to \(\mathbb{A}\) if given any \(\epsilon>0\) there exists \(\delta>0\) such that \(\d(Tx,Tx_{0}) \ < \epsilon\) whenever \(\d(x,x_{0}) \ < \delta\). T is said to be continuous on X with respect to \(\mathbb{A}\) if it is continuous for every \(x\in X\).
Example 2.2
Let \(\mathbb{A}=\mathbb{R}^{2}\), then \(\mathbb{A}\) is a \(C^{*}\)algebra with pointwise operations of addition, multiplication, and scaler multiplication. The norm on \(\mathbb{A}\) is defined by
where ordering on \(\mathbb{A}\) is given by
Let \(X=[0,1]\), define a \(C^{*}\)valued metric \(d:X \times X \rightarrow\mathbb{A}\) on X by
Then \(T:X\rightarrow X\), given by \(T(x)= \frac{x}{3}\), is continuous with respect to \(\mathbb{A}\) since
Remark 2.3
Note that every continuous selfmap is continuous with respect \(\mathbb{A}=\mathbb{R}\) and a \(C^{*}\)valued contraction map is continuous with respect to the \(C^{*}\)algebra \(\mathbb{A}\).
Definition 2.4
A function \(f:X \rightarrow\mathbb{A} \) is said to be Torbitally lower semicontinuous at ξ with respect to \(\mathbb{A}\) if there exist a mapping \(T:X \to X\) and a sequence \(\{ x_{n} \}\) in \(\mathcal{O}_{T}(x_{0})\), for some \(x_{0} \in X\), such that \(\lim_{n\rightarrow\infty} x_{n}=\xi\) with respect to \(\mathbb{A}\) implies
Remark 2.5
If \(\mathbb{A}=\mathbb{R}\), then our definition coincides with the usual definition of Torbitally lower semicontinuous as defined by [2].
Example 2.6
Consider the \(C^{*}\)algebra \(\mathbb{A}=\mathbb{R}^{2}\) as defined in Example 2.2. Let \(X=[1,1]\) and define \(f:X \to \mathbb{A}\) by
By taking \(T:X \to X\), \(Tx=\frac{x^{2}}{2}\), we see that, for \(\frac{1}{2} \in[1,1]\), we have
and any sequence \(\{x_{n}\}\) in X converges to 0. Further,
Thus f is Torbitally lower semicontinuous at \(x=0\).
Definition 2.7
Let \((X,\mathbb{A}, d) \) be a \(C^{*}\)valued metric space. A mapping \(T:X \rightarrow X \) is said to be a \(C^{*}\)valued contractive type mapping if \(\exists x\in X\) and \(a\in\mathbb{A}\) such that
Remark 2.8
A \(C^{*}\)valued contraction mapping is a \(C^{*}\)valued contractive type mapping, but the converse is not true as shown in the following example.
Example 2.9
Let \(X=[1,1]\) and \(\mathbb{A}=M_{2\times2}(\mathbb{R})\) with \(\ A \= \max\{ a_{1} ,  a_{2} ,  a_{3} ,  a_{4} \}\), where \(a_{i}\)’s are the entries of the matrix \(A \in M_{2\times2}(\mathbb{R})\). Then \((X,\mathbb{A},d)\) is a \(C^{*}\)algebravalued metric space, where
and partial ordering on \(\mathbb{A}\) is given as
Define a mapping \(T:X \rightarrow X \) by
Then, for \(y \in\mathcal{O}_{T}(x)\), \(x \geq0\),
Thus T is a \(C^{*}\)valued contractive type mapping. Note that T is not continuous with respect to the \(C^{*}\)algebra \(\mathbb{A}\) and hence not a \(C^{*}\)valued contraction mapping.
Before giving our main result, we prove the following lemma which is essentially extracted from the proof of Theorem 1.3.
Lemma 2.10
Let \(\mathbb{A}\) be a \(C^{*}\)algebra with the identity element \(1_{\mathbb{A}}\) and x be a positive element of \(\mathbb{A}\). If \(a \in\mathbb{A}\) is such that \(\a\ < 1\), then for \(m< n\) we have
and
Proof
Since x is a positive element of \(\mathbb{A}\), we have
Since \(\a\ < 1\) and \(m< n\), therefore \(m \longrightarrow\infty\) implies that \(n \longrightarrow\infty\). The proof of (9) follows from the fact that \(\sum_{k=m}^{n} \a^{2}\^{k} \) is a geometric series. Moreover, \(m \longrightarrow\infty\Rightarrow\a\ ^{m} \longrightarrow0\) and hence (10) follows from (9). □
We are now ready to state and prove our main result.
Theorem 2.11
Let \((X,\mathbb{A}, d)\) be a complete \(C^{*}\)valued metric space and \(T:X\rightarrow X\) be a \(C^{*}\)valued contractive type mapping. Then

(A1)
\(\exists x_{0} \in X \) such that the sequence \({T^{n} x}\) converges to \(x_{0}\),

(A2)
\(d(T^{n}x,x_{0}) \preceq\frac{\a\ ^{2n}}{1\a\} \d(x,Tx)^{\frac{1}{2}}\^{2} 1_{\mathbb{A}}\),

(A3)
\(x_{0}\) is a fixed point of T if and only if \(G(x)=d(x,Tx)\) is Torbitally lower semicontinuous at \(x_{0}\) with respect to \(\mathbb{A}\).
Proof
If \(\mathbb{A} = \{0_{\mathbb{A}}\}\), then there is nothing to prove. Assume that \(\mathbb{A}\ne\{0_{\mathbb{A}}\}\).
(A1): Let \(x \in X\) and consider the orbit \(\mathcal{O}_{T}(x)\). Since condition (8) holds for each element of \(\mathcal{O}_{T}(x)\) and \(\a\<1\), it follows that
Continuing in this way, one can show that
Let \(\{T^{n}x\}\) be a sequence in \(\mathcal{O}_{T}(x)\). Then, for \(m< n\), from the triangle inequality and (11) we have
using (10) of Lemma 2.10. This shows that \(\{T^{n}x\}\) is a Cauchy sequence in \(\mathcal{O}_{T}(x) \subset X\) with respect to \(\mathbb{A}\). Since \((X,\mathbb{A}, d)\) is a complete \(C^{*}\)valued metric space, there exists \(x_{0} \in X\) such that \(T^{n}x \longrightarrow x_{0}\). This completes the proof of (A1).
(A2): It follows again from the triangle inequality and (11) that
Since \(d(x,Tx)\) is a positive element of \(\mathbb{A}\), using (9) of Lemma 2.10 and letting \(m\longrightarrow \infty\), we conclude (A2).
(A3): To prove (A3), if \(Tx_{0}=x_{0}\) and \(\{x_{n}\} \) is a sequence in \(\mathcal{O}_{T}(x)\) with \(x_{n} \longrightarrow x_{0}\) with respect to \(\mathbb{A}\), then \(\G(x_{0})\ = \d(Tx_{0},x_{0})\ = 0 \le\lim\inf\G(x_{n})\\). Conversely, if G is Torbitally lower semicontinuous at \(x_{0}\), then
This implies that \(d(x_{0},Tx_{0})=0_{\mathbb{A}}\), i.e., \(x_{0} =Tx_{0}\). □
Remark 2.12
Note that:

(1)
By taking \(\mathbb{A} =\mathbb{R}\), we see that the main result of [2] follows immediately from Theorem 2.11.

(2)
Theorem 1.3 is a special case of Theorem 2.11 except for the uniqueness of a fixed point of the mapping involved.
The following example shows that our result properly generalizes Theorem 1.3.
Example 2.13
Consider the \(C^{*}\)algebra \(\mathbb{A}=\mathbb{R}^{2}\) with componentwise operations where norm and ordering are given by (4) and (5), respectively. Let \(X=[1,1]\times[1,1]\) and define the \(C^{*}\)valued metric \(d:X \times X \rightarrow\mathbb{R}^{2}\) by \(d(x,y)=(x_{1}y_{1},x_{2}y_{2})\) for all \(x=(x_{1},x_{2}),y=(y_{1},y_{2}) \in X\). Define \(T:X\rightarrow X\) by
Taking \((u_{1},u_{2}) \in X\) such that \(0 < u_{1},u_{2} <1\), we have
For any \(u_{n}=(\frac{u_{1}}{2^{n1}},\frac{u_{2}}{2^{n1}})\in \mathcal{O}_{T}((u_{1},u_{2}))\), we have
where \(a=(\frac{1}{\sqrt{2}},\frac{1}{\sqrt{2}})\). Note that \(u_{n} \rightarrow(0,0)\). Further, \(G:X\rightarrow\mathbb{A}\) defined by \(G(x)=d(x,Tx)\) is Torbitally lower semicontinuous at \((0,0)\). Therefore, all conditions of Theorem 2.11 are satisfied and \((0,0)\) is the fixed point of T. Note that Theorem 1.3 is not applicable here since T is not continuous at \((0,0)\) with respect to \(\mathbb{A}\).
3 Application
In this section we provide the existence result for an integral equation as an application of \(C^{*}\)valued contractive type mappings on complete \(C^{*}\)valued metric spaces. Let E be a Lebesgue measurable set, \(X=L^{\infty}(E)\), and \(H=L^{2}(E)\). We denote the set of all bounded linear operators on a Hilbert space H by \(L(H)\). With the usual operator norm, \(L(H)\) is a \(C^{*}\)algebra. For \(S, T \in X\), define \(d:X \times X \rightarrow L(H)\) by \(d(T,S)=\pi_{TS}\), where \(\pi_{h}:H\rightarrow H\) is the multiplication operator given by \(\pi_{h}(\phi)=h\cdot\phi\) for \(\phi\in H\). Then \((X,L(H),d)\) is a complete \(C^{*}\)valued metric space [3].
Example 3.1
Let E, X, H, and the metric d be as above. Suppose that

(1)
\(K:E \times E \times\mathbb{R} \rightarrow\mathbb{R} \), and let T be a selfmapping on X,

(2)
there exists a continuous function \(\phi: E\times E \rightarrow\mathbb{R}\) and \(\alpha\in(0,1)\) such that for every \(x\in X\), \(y \in\mathcal{O}_{T}(x)\), and \(t, s \in E\), we have
$$ \biglK\bigl(t,s, x(s)\bigr)  K\bigl(t, s, y(s)\bigr)\bigr \le\alpha\bigl\phi(t,s) \bigl(x(s)y(s)\bigr)\bigr. $$(12) 
(3)
\(\sup_{t\in E} \int_{E} \phi(t,s)\,ds \le1\).
Then the integral equation
has a solution.
Proof
Here \((X,L(H),d)\) is a complete \(C^{*}\)valued metric space with respect to \(L(H)\).
Let \(T:X\rightarrow X\) be
Let \(Tx=y\), then
Setting \(a= kI\), we have \(a\in L(H)_{+}\) and \(\a\=k\). Thus all the conditions of Theorem 2.11 hold and hence the conclusion. □
References
Banach, S: Sur les opérations dans les ensembles abstraits et leurs applications aux équations intégrals. Fundam. Math. 3, 133181 (1922)
Hicks, TL, Rhoades, BE: A Banach type fixed point theorem. Math. Jpn. 24, 327330 (1979)
Ma, Z, Jiang, L, Sun, H: \(C^{*}\)Algebravalued metric spaces and related fixed point theorems. Fixed Point Theory Appl. 2014, 206 (2014). doi:10.1186/168718122014206
Davidson, KR: C*Algebras by Example. Fields Institute Monographs, vol. 6 (1996)
Murphy, GJ: C*Algebras and Operator Theory. Academic Press, London (1990)
Acknowledgements
The authors are thankful to the reviewers for their useful comments and suggestions.
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 article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Batul, S., Kamran, T. \(C^{*}\)Valued contractive type mappings. Fixed Point Theory Appl 2015, 142 (2015). https://doi.org/10.1186/s1366301503933
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366301503933