Abstract
Based on the concept and properties of \(C^{\ast}\)-algebras, the paper introduces a concept of \(C^{\ast}\)-algebra-valued b-metric spaces which generalizes the concept of \(C^{\ast}\)-algebra-valued metric spaces and gives some basic fixed point theorems for self-map with contractive condition on such spaces. As applications, existence and uniqueness results for a type of operator equation and an integral equation are given.
Similar content being viewed by others
1 Preliminary
As is well known, the Banach contraction mapping principle is a very useful, simple and classical tool in modern analysis, and it has many applications in applied mathematics. In particular, it is an important tool for solving existence problems in many branches of mathematics and physics.
In 1993 another axiom for semimetric spaces, which is weaker than the triangle inequality, was put forth by Czerwik [1] with a view of generalizing the Banach contraction mapping theorem. Since then, several papers have dealt with fixed point theory in such spaces [2–5]. This same relaxation of the triangle inequality is also discussed in Fagin and Stockmeyer [6], who call this new distance measure nonlinear elastic matching (NEM). The authors of that paper remark that this measure has been used, for example, in [7] for trademark shapes and in [8] to measure ice floes. Later, Xia [9] used this semimetric distance to study the optimal transport path between probability measures. Xia has chosen to call these spaces b-metric space (or quasimetric space). For details of b-metric space, one can see [10].
In [11], the authors introduced the concept of \(C^{\ast }\)-algebra-valued metric spaces. The main idea consists in using the set of all positive elements of a unital \(C^{\ast}\)-algebra instead of the set of real numbers. Obviously such spaces generalize the concept of metric spaces. In this paper, as generalization of b-metric spaces and operator-valued metric spaces [12], we introduce a new type of metric spaces, namely, \(C^{\ast}\)-algebra-valued b-metric spaces, and give some fixed point theorems for self-map with contractive condition on such spaces.
To begin with, we collect some definitions and basic facts on the theory of \(C^{\ast}\)-algebras, which will be needed in the sequel. Suppose that \(\mathbb{A}\) is an unital algebra with the unit I. An involution on \(\mathbb{A}\) is a conjugate-linear map \(a\mapsto a^{\ast}\) on \(\mathbb{A}\) such that \(a^{\ast\ast}=a\) and \((ab)^{\ast}=b^{\ast}a^{\ast}\) for all \(a,b\in\mathbb{A}\). The pair \((\mathbb{A},\ast)\) is called a ∗-algebra [13, 14]. A Banach ∗-algebra is a ∗-algebra \(\mathbb{A}\) together with a complete submultiplicative norm such that \(\|a^{\ast}\|=\|a\|\) (\(\forall a \in \mathbb{A}\)). A \(C^{\ast}\)-algebra is a Banach ∗-algebra such that \(\|a^{*}a\|=\|a\|^{2}\) (\(\forall a \in \mathbb{A}\)).
Notice that the seeming mild requirement on a \(C^{\ast}\)-algebra above is in fact very strong. It is clear that under the norm topology, \(L(H)\), the set of all bounded linear operators on a Hilbert space H, is a \(C^{\ast }\)-algebra. Furthermore, given a \(C^{\ast}\)-algebra \(\mathbb{A}\), there exists a Hilbert space H and a faithfully ∗-representation \((\pi , H)\) of \(\mathbb{A}\) such that \(\pi(\mathbb{A})\) can be made a closed \(C^{\ast}\)-subalgebra of \(L(H)\) [13].
2 Main results
Throughout this paper, by \(\mathbb{A}\) we always denote an unital \(C^{\ast}\)-algebra with a unit I. Set \(\mathbb{A}_{h}=\{x\in \mathbb{A}: x=x^{*}\}\). We call an element \(x \in\mathbb{A}\) a positive element, denote it by \(x\geq\theta\), if \(x\in\mathbb{A}_{h}\) and \(\sigma(x)\subset [0,\infty)\), where \(\sigma(x)\) is the spectrum of x. Using positive elements, one can define a partial ordering ⪯ on \(\mathbb{A}_{h}\) as follows: \(x\preceq y\) if and only if \(y-x\succeq\theta\). From now on, by \(\mathbb{A_{+}}\) we denote the set \(\{x\in\mathbb{A}: x\succeq\theta\}\) and \(|x|=(x^{\ast}x)^{\frac{1}{2}}\).
Lemma 2.1
Suppose that \(\mathbb{A}\) is a unital \(C^{\ast}\)-algebra with a unit I.
-
(1)
For any \(x\in\mathbb{A}_{+}\) we have \(x\preceq I\Leftrightarrow\| x\|\leq1\).
-
(2)
If \(a\in\mathbb{A_{+}}\) with \(\|a\|<\frac{1}{2}\), then \(I-a\) is invertible and \(\|a(I-a)^{-1} \|<1\).
-
(3)
Suppose that \(a,b\in\mathbb{A}\) with \(a,b\succeq\theta\) and \(ab=ba\), then \(ab\succeq\theta\).
-
(4)
By \(\mathbb{A}^{\prime}\) we denote the set \(\{a\in\mathbb{A}: ab=ba, \forall b\in\mathbb{A}\}\). Let \(a\in\mathbb{A}^{\prime}\), if \(b,c\in\mathbb{A}\) with \(b\succeq c\succeq\theta\), and \(I-a\in \mathbb{A^{\prime}_{+}}\) is an invertible operator, then
$$(I-a)^{-1}b\succeq(I-a)^{-1}c . $$
Notice that in a \(C^{\ast}\)-algebra, if \(\theta\preceq a,b\), one cannot conclude that \(\theta\preceq ab\). For example, consider the \(C^{\ast }\)-algebra \(\mathbb{M}_{2}(\mathbb{C})\) and set \(a=\bigl ( {\scriptsize\begin{matrix}{} 3 & 2 \cr 2 & 3 \end{matrix}} \bigr )\), \(b=\bigl ( {\scriptsize\begin{matrix}{} 1 & -2 \cr -2 & 4\end{matrix}} \bigr )\), then \(ab=\bigl ( {\scriptsize\begin{matrix}{} -1 & 2 \cr -4 & 8\end{matrix}} \bigr )\). Clearly \(a,b\in \mathbb{M}_{2}(\mathbb{C})_{+}\), while ab is not.
With the help of the positive elements in \(\mathbb{A}\), one can give the definition of a \(C^{\ast}\)-algebra-valued b-metric space.
Definition 2.1
Let X be a nonempty set, and \(A\in\mathbb{A^{\prime}}\) such that \(A\succeq I\). Suppose the mapping \(d: X \times X\rightarrow\mathbb{A}\) satisfies:
-
(1)
\(\theta\preceq d(x,y)\) for all \(x,y\in X\) and \(d(x,y)=\theta \Leftrightarrow x=y\);
-
(2)
\(d(x,y)=d(y,x)\) for all \(x,y\in X\);
-
(3)
\(d(x,y)\preceq A [d(x,z)+d(z,y) ]\) for all \(x,y,z\in X\).
Then d is called a \(C^{\ast}\)-algebra-valued b-metric on X and \((X,\mathbb{A},d)\) is a \(C^{\ast}\)-algebra-valued b-metric space.
Definition 2.2
Let \((X,\mathbb{A},d)\) be a \(C^{\ast }\)-algebra-valued b-metric space. Suppose that \(\{x_{n}\}\subset X\) and \(x\in X\). If for any \(\varepsilon>0\) there is N such that for all \(n>N\), \(\|d(x_{n},x)\|\leq\varepsilon\), then \(\{x_{n}\}\) is said to be converge with respect to \(\mathbb{A}\), and \(\{x_{n}\}\) converges to x and x is the limit of \(\{x_{n}\}\). We denote it by \(\lim_{n\rightarrow \infty}x_{n}=x\).
If for any \(\varepsilon>0\) there is N such that for all \(n,m>N\), \(\|d(x_{n},x_{m})\|\leq\varepsilon\), then \(\{x_{n}\}\) is called a Cauchy sequence with respect to \(\mathbb{A}\).
We say \((X,\mathbb{A},d)\) is a complete \(C^{\ast}\)-algebra-valued b-metric space if every Cauchy sequence with respect to \(\mathbb{A}\) is convergent.
Remark 2.1
If \(A=I\), then the ordinary triangle inequality condition in a \(C^{\ast}\)-algebra-valued metric space is satisfied. Thus a \(C^{\ast}\)-algebra-valued b-metric space is an ordinary \(C^{\ast}\)-algebra-valued metric space. In particular, if \(\mathbb{A}=\mathbf{C}\) and \(A=1\), the \(C^{\ast }\)-algebra-valued b-metric spaces are just the ordinary metric spaces. The following example illustrates that, in general, a \(C^{\ast }\)-algebra-valued metric space is not necessary a \(C^{\ast }\)-algebra-valued b-metric space. For details of \(C^{\ast }\)-algebra-valued metric spaces, one can see [11].
Example 2.1
Let \(X=\mathbb{R}\) and \(\mathbb{A}=M_{n}(\mathbb{R})\). Define \(d(x,y)=\operatorname{diag}(c_{1}|x-y|^{p},c_{2}|x-y|^{p},\ldots, c_{n}|x-y|^{p})\) with ‘diag’ denotes a diagonal matrix, and \(x,y\in \mathbb{R}\), \(c_{i}>0\) (\(i=1,2,\ldots, n\)) are constants and \(p>1\). It is easy to verify that \(d(\cdot,\cdot)\) is a complete \(C^{\ast}\)-algebra-valued b-metric, for proving (3) of Definition 2.1 we only need to use the following inequality:
which implies that \(d(x,y)\preceq A [d(x,z)+d(z,y) ]\) for all \(x,y,z\in X\), where \(A=2^{p}I\in\mathbb{A^{\prime}}\) and \(A\succ I\) by \(2^{p}>1\). But \(|x-y|^{p}\leq|x-z|^{p}+|z-y|^{p}\) is impossible for all \(x>z>y\) [16]. Thus \((X, M_{n}(\mathbb{R}), d)\) is not a \(C^{\ast }\)-algebra-valued metric space.
Definition 2.3
Suppose that \((X,\mathbb{A},d)\) is a \(C^{\ast}\)-algebra-valued b-metric space. We call a mapping \(T: X\rightarrow X\) a \(C^{\ast}\)-algebra-valued contractive mapping on X, if there exists a \(B\in\mathbb{A}\) with \(\|B\|<1\) such that
Theorem 2.1
If \((X,\mathbb{A},d)\) is a complete \(C^{\ast}\)-algebra-valued b-metric space and \(T:X \rightarrow X\) is a contractive mapping, there exists a unique fixed point in X.
Proof
It is clear that if \(B=\theta\), T maps the X into a single point. Thus without loss of generality, one can suppose that \(B\neq\theta\).
Choose an \(x_{0}\in X\) and set \(x_{n+1}=Tx_{n}=\cdots=T^{n+1}x_{0}\), \(n=1,2,\ldots\) . For convenience, by \(B_{0}\) we denote the element \(d(x_{1},x_{0})\) in \(\mathbb{A}\).
Notice that in a \(C^{\ast}\)-algebra, if \(a, b \in \mathbb{A_{+}}\) and \(a\preceq b\), then for any \(x\in\mathbb{A}\) both \(x^{\ast}ax\) and \(x^{\ast}bx\) are positive elements and \(x^{\ast}ax\preceq x^{\ast}bx\) [13]. Thus
For any \(m\geq1\) and \(p\geq1\), it follows that
Therefore \(\{x_{n}\}\) is a Cauchy sequence with respect to \(\mathbb {A}\). By the completeness of \((X,\mathbb{A},d)\), there exists an \(x\in X\) such that \(\lim_{n\rightarrow\infty}x_{n}=\lim_{n\rightarrow\infty}Tx_{n-1}=x\).
Since
hence, \(Tx=x\), i.e., x is a fixed point of T.
Now suppose that y (≠x) is another fixed point of T. Since
we have
It is impossible. So \(d(x,y)=\theta\) and \(x=y\), which implies that the fixed point is unique. □
Theorem 2.2
(Chatterjea-type [17])
Let \((X,\mathbb{A},d)\) be a complete \(C^{\ast}\)-algebra-valued b-metric space. Suppose that the mapping \(T: X\rightarrow X\) satisfies for all \(x,y\in X\)
where \(B\in\mathbb{A^{\prime}_{+}}\) and \(\|BA\|<\frac{1}{2}\). Then there exists a unique fixed point in X.
Proof
Without loss of generality, one can suppose that \(B\neq\theta\). Notice that \(B\in\mathbb{A^{\prime}_{+}}\), \(B (d(Tx,y)+d(Ty,x) )\) is also a positive element.
Choose \(x_{0}\in X\), set \(x_{n+1}=Tx_{n}=T^{n+1}x_{0}\), \(n=1,2,\ldots \) , by \(B_{0}\) we denote the element \(d(x_{1},x_{0})\) in \(\mathbb{A}\). Then
Using Lemma 2.1,
Since \(A,B\in\mathbb{A^{\prime}_{+}}\) with \(\|BA\|<\frac{1}{2}\) and \(A\succeq I\), we have \(I-BA\preceq I-B\) and furthermore \((I-BA)^{-1}\in \mathbb{A^{\prime}_{+}}\) with \(\|(I-BA)^{-1}BA\|<1\) by Lemma 2.1. Therefore,
where \(t=(I-BA)^{-1}BA\).
For any \(m\geq1\) and \(p\geq1\), it follows that
This implies that \(\{x_{n}\}\) is a Cauchy sequence with respect to \(\mathbb{A}\). By the completeness of \((X,\mathbb{A},d)\), there exists \(x\in X\) such that \(\lim_{n\rightarrow\infty}x_{n}=x\), i.e., \(\lim_{n\rightarrow\infty}Tx_{n-1}=x\). Since
This is equivalent to
Then
This implies that \(Tx=x\), i.e., x is a fixed point of T. Now if y (≠x) is another fixed point of T, then
i.e.,
Since \(\Vert B(I-B)^{-1}\Vert <1\),
This means that
Therefore the fixed point is unique and the proof is complete. □
Theorem 2.3
(Kannan-type [18])
Let \((X,\mathbb{A},d)\) be a complete \(C^{\ast}\) algebra-valued b-metric space. Suppose that the mapping \(T: X\rightarrow X\) satisfies
where \(B\in\mathbb{A^{\prime}_{+}}\) and \(\|B\|<\frac{1}{2}\). Then there exists a unique fixed point in X.
Proof
Without loss of generality, one can suppose that \(B\neq\theta\). Notice that \(B\in\mathbb{A^{\prime}_{+}}\), \(B (d(Tx,x)+d(Ty,y) )\) is also a positive element.
Choose \(x_{0}\in X\), set \(x_{n+1}=Tx_{n}=T^{n+1}x_{0}\), \(n=1,2,\ldots \) , by \(B_{0}\) we denote the element \(d(x_{1},x_{0})\) in \(\mathbb{A}\). Then
Thus
where \(t=(I-B)^{-1}B\). For any \(m\geq1\), \(p\geq1\),
This implies \(\{x_{n}\}\) is a Cauchy sequence with respect to \(\mathbb {A}\). By the completeness of \((X,\mathbb{A},d)\), there exists \(x\in X\) such that \(\lim_{n\rightarrow\infty}x_{n}=x\), i.e., \(\lim_{n\rightarrow\infty}Tx_{n-1}=x\). Since
This is equivalent to
Then
This implies that \(Tx=x\), i.e., x is a fixed point of T. Now if y (≠x) is another fixed point of T, then
Hence, \(x=y\). Therefore the fixed point is unique and the proof is complete. □
3 Applications
As applications of contractive mapping theorem on complete \(C^{\ast }\)-algebra-valued b-metric spaces, existence and uniqueness results for a type of operator equation and integral equation are given.
Example 3.1
Suppose that H is a Hilbert space, \(L(H)\) is the set of linear bounded operators on H. Let \(A_{1}, A_{2}, \ldots, A_{n}, \ldots \in L(H)\) which satisfy \(\sum_{n=1}^{\infty}\|A_{n}\|<1\) and \(Q\in L(H)_{+}\). Then the operator equation
has a unique solution in \(L(H)\).
Proof
Set \(\alpha= ( \sum_{n=1}^{\infty}\|A_{n}\| )^{p}\) with \(p\geq 1\), then \(\|\alpha\|<1\). Without loss of generality, one can suppose that \(\alpha>0\).
Choose a positive operator \(T\in L(H)\). For \(X,Y\in L(H)\) and \(p\geq1\), set
Then \(d(X,Y)\) is a \(C^{\ast}\)-algebra-valued b-metric and \((L(H), d)\) is complete since \(L(H)\) is a Banach space. Indeed, it suffices to check the third condition of Definition 2.1 as follows.
Suppose that \(X,Y,Z\in L(H)\) and set \(U=X-Z\), \(V=Z-Y\). Using the well-known inequality
we have
which implies that
where \(A=2^{p}I\). Consider the map \(F:L(H)\rightarrow L(H)\) defined by
Then
Using Theorem 2.1, there exists a unique fixed point X in \(L(H)\). Furthermore, since \(\sum_{n=1}^{\infty}A_{n}^{\ast}XA_{n}+Q\) is a positive operator, the solution is a Hermitian operator. □
As a special case of Example 3.1, one can consider the following matrix equation, which can also be found in [19]:
where Q is a positive definite matrix and \(A_{1},\ldots, A_{m}\) are arbitrary \(n\times n\) matrices with \(\sum_{n=1}^{m}\|A_{n}\|<1\) with \(p\geq1\). Using Example 3.1, there exists a unique Hermitian matrix solution.
Example 3.2
Consider the integral equation
where E is a Lebesgue measurable set. Suppose that
-
(1)
\(F: E\times\mathbb{R}\rightarrow\mathbb{R}\) and \(g\in L^{\infty}(E)\);
-
(2)
there exists a continuous function \(\varphi:E\times E\rightarrow \mathbb{R}\) and \(k\in(0,1)\) such that
$$\bigl\vert F\bigl(t,u(s)\bigr)-F\bigl(t,v(s)\bigr)\bigr\vert \leq k\bigl\vert \varphi(t,s)\bigr\vert \bigl\vert u(s)-v(s)\bigr\vert $$for \(t\in E\) and \(u,v\in L^{\infty}(E)\);
-
(3)
\(\sup_{t\in E}\int_{E}|\varphi(t,s)|\, \mathrm{d}s\leq1\).
Then the integral equation has a unique solution \(x^{*}\) in \(L^{\infty}(E)\).
Proof
Let \(X=L^{\infty}(E)\) and \(H=L^{2}(E)\). For \(f,g\in X\) and \(p>1\), we set \(d: X\times X\rightarrow L(H)\) by
where \(\pi_{h}: H\rightarrow H\) is the multiplication operator defined by
for \(\psi\in H\). Then d is a \(C^{\ast}\)-algebra-valued b-metric by Example 2.1 and \((X, L(H), d)\) is a complete \(C^{\ast}\)-algebra-valued b-metric space by Example 2.1 in [11].
Let \(T:L^{\infty}(E)\rightarrow L^{\infty}(E)\) be
Set \(B=kI\), then \(B\in L(H)_{+}\) and \(\|B\|=k<1\). For any \(h\in H\),
Since \(\|B\|<1\), the integral equation has a unique solution \(x^{*}\) in \(L^{\infty}(E)\). □
References
Czerwik, S: Contraction mappings in b-metric spaces. Acta Math. Inform. Univ. Ostrav. 1, 5-11 (1993)
Bakhtin, IA: The contraction mapping principle in almost metric spaces. Funct. Anal., Gos. Ped. Inst. Ulianowsk 30, 26-37 (1989)
Boriceanu, M, Bota, M, Petrusel, A: Mutivalued fractals in b-metric spaces. Cent. Eur. J. Math. 8(2), 367-377 (2010)
Czerwik, S: Nonlinear set-valued contraction mappings in b-metric spaces. Atti Semin. Mat. Fis. Univ. Modena 46, 263-276 (1998)
Hussian, N, Shah, MH: KKM mappings in cone b-metric spaces. Comput. Math. Appl. 62, 1677-1684 (2011)
Fagin, R, Stockmeyer, L: Relaxing the triangle inequality in pattern matching. Int. J. Comput. Vis. 30(3), 219-231 (1998)
Cortelazzo, G, Milan, G, Vezzi, G, Zamoeroni, P: Trademark shapes description by string matching techniques. Pattern Recognit. 27(8), 1005-1018 (1994)
Mcconnell, R, Kwok, R, Curlander, J, Kober, W, Pang, S: ψ-s Correlation and dynamic time warping: two methods for tracking ice floes. IEEE Trans. Geosci. Remote Sens. 29(6), 1004-1012 (1991)
Xia, Q: The geodesic problem in quasimetric spaces. J. Geom. Anal. 19(2), 452-479 (2009)
Kirk, W, Shahzad, N: Fixed Point Theory in Distance Spaces. Springer, Cham (2014)
Ma, ZH, Jiang, LN, Sun, HK: \(C^{\ast}\)-Algebras-valued metric spaces and related fixed point theorems. Fixed Point Theory Appl. 2014, 206 (2014)
Ma, ZH, Jiang, LN, Xin, QL: Fixed point theorems on operator-valued metric space. Trans. Beijing Inst. Techol. 34(10), 1078-1080 (2014)
Murphy, GJ: C ∗-Algebras and Operator Theory. Academic Press, London (1990)
Xu, QH, Bieke, TED, Chen, ZQ: Introduction to Operator Algebras and Noncommutative L p Spaces. Science Press, Beijing (2010) (in Chinese)
Douglas, RG: Banach Algebra Techniques in Operator Theory. Springer, Berlin (1998)
Huang, HP, Xu, SY: Fixed point theorems of contractive mappings in cone b-metric spaces and applications. Fixed Point Theory Appl. 2013, 112 (2013)
Chatterjea, SK: Fixed-point theorems. C. R. Acad. Bulgare Sci. 25, 727-730 (1972)
Kannan, R: Some results on fixed point II. Am. Math. Mon. 76, 405-408 (1969)
Ran, ACM, Reurings, MCB: A fixed point theorem in partially ordered sets and some applications to matrix equations. Proc. Am. Math. Soc. 132(5), 1435-1443 (2004)
Acknowledgements
This work is supported financially by the NSFC (11371222) and by the scientific research foundation of Education Bureau of Hebei Province.
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
Ma, Z., Jiang, L. \(C^{\ast}\)-Algebra-valued b-metric spaces and related fixed point theorems. Fixed Point Theory Appl 2015, 222 (2015). https://doi.org/10.1186/s13663-015-0471-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-015-0471-6