Very recently, Ma et al. [1] reported a generalization of the Banach contraction principle for self mappings on \(C^{*}\)valued metric spaces by defining the notion of a \(C^{*}\)valued metric space. Following this initial article, some further extension of the Banach contraction principle has been reported (see e.g. [2, 3]). In this note, we shall show that the announced fixed point results in [1–5] in the context of \(C^{*}\)valued metric spaces can be derived from the corresponding existing fixed point results in the literature.
First of all, we recall some basic definitions, which will be used later.
Suppose that A is a unital algebra with the unit e. An involution on A is a conjugate linear map a \(*: A \to A\) such that \(a^{**} = a\) and \((ab)^{*} = b^{*}a^{*}\) for all \(a, b \in A\). The pair \((A,*)\) is called a ∗algebra. A Banach ∗algebra is a ∗algebra A together with a complete submultiplicative norm such that \(\Vert a\Vert = \Vert a^{*}\Vert \) for all \(a\in A\). A \(C^{*}\)algebra is a Banach ∗algebra such that \(\Vert a\Vert =\Vert aa^{*}\Vert \).
Throughout this paper, A will denote an unital \(C^{*}\)algebra with a unit e. Set \(A_{h} = \{x\in A : x = x^{*}\}\). We call an element \(x \in A\) a positive element, denote it by \(x\in A\), a positive element if \(x\in A_{h}\) and \(\sigma(x)\subset R^{+} = [0,+\infty)\), where \(\sigma(x)\) is the spectrum of x. Using positive elements, one can define a partial ordering ⪯ on \(A_{h}\) as follows: \(x \preceq y\) if and only if \(yx \succeq\theta\), where θ means the zero element in A. From now on, by \(A^{+}\) we denote the set \(\{x \in A : x \succeq\theta\}\) and \(x = (x.x^{*})^{\frac{1}{2}}\). We say a is normal if \(a^{*} a = aa^{*}\).
A character on an abelian algebra A is a nonzero homomorphism \(\tau: A \to\Bbb{C}\). We denote by \(\Omega(A)\) the set of characters on A.
Suppose that A is an abelian Banach algebra for which the space \(\Omega(A)\) is nonempty. If \(a\in A\), we define the function â by
$$\textstyle\begin{cases} \hat{a}: \Omega(A)\to\Bbb{C},\\ \tau\mapsto\tau(a). \end{cases} $$
Clearly, the topology on \(\Omega(A)\) is the smallest one making all of the functions a continuous.
The set \(\{\tau\in\Omega(A): \tau(a) \geq\epsilon\}\) is weak^{∗} closed in the closed unit ball of \(A^{*}\) for each \(\epsilon> 0\), and weak^{∗} compact by the BanachAlaoglu theorem. Hence, we deduce that \(a \in C (\Omega(A))\).
We call â the Gelfand transform of a.
Theorem 1.1
([6], Gelfand representation)
Suppose that
A
is an abelian Banach algebra and that
\(\Omega(A)\)
is nonempty. Then the map
$$\textstyle\begin{cases} \hat{a}: A\to C (\Omega(A)),\\ a\mapsto\hat{a,} \end{cases} $$
is a normdecreasing homomorphism, and
$$r(a) = \Vert \hat{a}\Vert _{\infty}\quad(a \in A). $$
If
A
is unital, \(\sigma(a) = \sigma(\hat{a}(\Omega(A)))\), and if
A
is nonunital, \(\sigma(a) = \sigma(\hat{a}(\Omega(A)))\cup\{0\}\), for each
\(a\in A\).
Theorem 1.2
([6])
Let
A
be a unital Banach algebra generated by 1 and an element
a. Then
A
is abelian and the map
$$\textstyle\begin{cases} \hat{a}: \Omega(A)\to\sigma(a),\\ \tau\mapsto\tau(a), \end{cases} $$
is a homeomorphism.
Theorem 1.3
([6], Theorem 2.2.5)
Let
A
be a
\(C^{*}\)algebra and
\(a\in A^{+}\). Then

(1)
There exists a unique element
\(b \in A^{+}\)
such that
\(b^{2} = a\).

(2)
The set
\(A^{+}\)
is equal to
\(\{a^{*} a : a \in A\}\).

(3)
If
\(a,b\in A\)
and
\(0\leq a\leq b\), then
\(\Vert a\Vert \leq \Vert b\Vert \).
We recall the definition of \(C^{*}\)algebravalued metric.
Definition 1.1
Let X be a nonempty set. Suppose that the mapping \(d : X \times X \to\mathbb{A} \) satisfies:

(d1)
\(\theta\leq d(x, y)\) for all \(x, y \in X \) and \(d(x, y) = \theta\iff x = y\);

(d2)
\(d(x, y) = d(y, x)\) for all \(x, y \in X\);

(d3)
\(d(x, y) \leq d(x, z) + d(z, y) \) for all \(x, y, z \in X\).
Then d is called a \(C^{*}\)algebravalued metric on X and \((X,\mathbb {A}, d)\) is called a \(C^{*}\)algebravalued metric space.