

























































©2022 Ada Academica https://adac.eeEur. J. Math. Anal. 2 (2022) 11doi: 10.28924/ada/ma.2.11
On the α−ψ− Contractive Mappings in C∗-Algebra Valued b-Rectangular Metric Spaces and

Fixed Point Theorems

Mohamed Rossafi1,∗, Abdelkarim Kari2, Hafida Massit3
1LaSMA Laboratory Department of Mathematics, Faculty of Sciences Dhar El Mahraz,

University Sidi Mohamed Ben Abdellah, B. P. 1796 Fes Atlas, Morocco
mohamed.rossafi@usmba.ac.ma

2AMS Laboratory Faculty of Sciences Ben M’Sik, Hassan II University, Casablanca, Morocco
abdkrimkariprofes@gmail.com

3Laboratory of Partial Differential Equations, Spectral Algebra and Geometry Department of Mathematics,
Faculty of Sciences, University Ibn Tofail, Kenitra, Morocco

massithafida@yahoo.fr
∗Correspondence: mohamed.rossafi@usmba.ac.ma

Abstract. This present paper extends a version of α−ψ−contraction in C∗-algebra valued rectangu-lar b-metric spaces and establishing the existence and uniqueness of fixed point for them. Non-trivialexamples are further provided to support the hypotheses of our results.

1. Introduction
A C∗-algebra valued metric spaces were introduced by Ma et al. [6] as a generalization of metricspaces they proved certain fixed point theorems, by giving the definition of C∗-algebra valuedcontractive mapping analogous to Banach contraction principle. Many mathematicians worked onthis interesting space.Various fixed point results were established on such spaces, see [1–3] and references therein.Combining conditions used for definitions of C∗-algebra valued metric and generalized metricspaces, G Kalapana and Tasneem [4] announced the notions of C∗-algebra valued metric space andestablish nice results of fixed point on such space.In this paper, inspired by the work done in [9], we introduce the notion of α − ψ−contractionand establish some new fixed point theorems for mappings in the setting of complete C∗-algebravalued rectangular b- metric spaces.Moreover, an illustrative examples is presented to support the obtained results.
Received: 18 Dec 2021.
Key words and phrases. fixed point; C∗-algebra valued metric spaces; α − ψ− contraction; α − ψ − C∗ valuedcontraction. 1

https://adac.ee
https://doi.org/10.28924/ada/ma.2.11


Eur. J. Math. Anal. 10.28924/ada/ma.2.11 2
2. preliminaries

Throughout this paper, we denote A by an unital (i.e ,unity element I) C∗-algebra with linearinvolution ∗, such that for all x,y ∈A,
(xy)∗ = y∗x∗,and x∗∗ = x.We call an element x ∈A a positive element, denote it by x � θif x ∈ Ah = {x ∈ A : x = x∗} and σ(x) ⊂ R+,where σ(x) is the spectrum of x.Using positiveelement ,we can define a partial ordering � on Ah as follows :

x � y if and only if y −x � θwhere θ means the zero element in A.
we denote the set x ∈A : x � θ by A+ and |x| = (x∗x) 12 .and A′ will denote the set {a ∈A+; ab = ba,∀b ∈A}

Lemma 2.1. [8] Suppose that A is a unital C∗-algebra with a unit I,(1) for any x ∈A+ we have x � I ⇐⇒‖x‖≤ 1(2) If a ∈A+ with ‖a‖ < 1
2

then I −a is unvertible and ‖a(1 −a)−1‖ < 1(3) Suppose that a,b ∈A+ and ab = ba, then ab � θ(4) Let a ∈ A′, if b,c ∈ A, with b � c � θ, and I − a ∈ A′+ is invertible operator, then
(I −a)−1b � (I −a)−1c

Definition 2.2. [4] Let X be a non-empty set and b ∈ A such that b � I. supposa the mapping
d : X ×X →A+ satisfies:(i) d(x,y) = θ if and only if x = y;(ii) d(x,y) = d(y,x) for all distinct points x,y ∈ X;(iii) d(x,y) � b[d(x,u) + d(u,v) + d(v,y)] for all x,y ∈ X and for all distinct points u,v ∈

X −{x,y}.Then (X,A+,d) is called a C∗-algebra valued rectangular b−metric space.
Example 2.3. Let X = R and A = M2(R). Define d(x,y) = diag(|x − y|, 2|x − y|) where
x,y ∈R. It is easy to verify d is a C∗− algebra-valued rectangular b− metric and (X,M2(R),d)is a copmlete C∗-algebra valued rectangular b−metric space.
Definition 2.4. [9] If ψ : A → B is a linear mapping in C∗-algebra, it is said to be positive if
ψ(A+) ⊆ B+. In this case ψ(Ah) ⊆ Bh, and the restriction map ψ : Ah → Bh is increasing.
Definition 2.5. [9] Suppose that A and B are C∗-algebra .A mapping ψ : A → B is said to be C∗- homomorphism if :(i) ψ(ax + by) = aψ(x) + bψ(y) for all a,b ∈C and x,y ∈ A(ii) ψ(xy) = ψ(x)ψ(y) for all x,y ∈ A

https://doi.org/10.28924/ada/ma.2.11


Eur. J. Math. Anal. 10.28924/ada/ma.2.11 3
(iii) ψ(x∗) = ψ(x)∗ for all x ∈ A(iv) ψ maps the unit in A to the unit in B.

Definition 2.6. [9] Let A and B be C∗-algebra spaces and let ψ : A → B be a homomorphismthen ψ is called an ∗− homomorphism if it is one to one ∗− homomorphism.A C∗-algebra A is ∗−isomorphic to a C∗-algebra B if there exists ∗− isomorphism of A onto B.
Definition 2.7. [9] Let Ψ be the set of positive functions ψ : A+ → A+ satisfying the followingconditions :

(i) ψ is continous and nondecrasing(ii) ψ(a) = θ if and only if a = θ(iii) limn−→∞ψn(a) = θ, (a � θ) ,∑∞n=1ψn(a) < ∞(iv) The series ∑∞k=1bkψk(a) < ∞ for a � θ is increasing and continuous at θ.
Corollary 2.8. [9] Every C∗− homomorphism is contractive and hence bounded.

Lemma 2.9. Every ∗− homomorphism is positive.

Definition 2.10. [9] Let X be a nonempty set and α : X ×X →A′+ be a function, wesay that theself map T is α− admissible if
(x,y) ∈ X ×X,α(x,y) � I ⇒ α(Tx,Ty) � I,where I the unit of A.

Definition 2.11. [9] Let (X,A,d) be a C∗-algebra valued b− metric space and T : X → X ismapping, we say that T is an α−ψ− contractive mapping if there exist two functions α : X×X →
A+ and ψ ∈ Ψ such that

α(x,y)d(Tx,Ty) � ψ(d(x,y)), for all x,y ∈ X
3. Main result

In [9] introduced the concept of α−ψ− contractive mappings in a unital C∗-algebra valued b−metric space. In this paper we will develop the definitions in case of unital C∗-algebra valuedrectangular b− metric space and give some Banach fixed point theorems.
Definition 3.1. Let (X,A,d) be a C∗-algebra valued b− rectangular metric space and T : X → Xis mapping, we say that T is an α − ψ− contractive mapping if there exist two functions α :
X ×X →A+ and ψ ∈ Ψ such that

α(x,y)d(Tx,Ty) � ψ(d(x,y)), f orallx,y ∈ X (3.1)
Theorem 3.2. Let (X,A,d) be a complete C∗-algebra valued rectangular b− metric space and let
T : X → X be a α,ψ− contractive mapping satisfying the following conditions:

(i) T is α− admissible

https://doi.org/10.28924/ada/ma.2.11


Eur. J. Math. Anal. 10.28924/ada/ma.2.11 4
(ii) There exists x0 ∈ X such that α(x0,Tx0) � I(iii) for all x,y ∈ X ,there exists z ∈ X such that α(x,z) � I and α(y,z) � I(iv) T is continuous

Then, T has a unique fixed point in X.

Proof. Let x0 ∈ X such that α(x0,Tx0) � I and define a sequence {xn}∈ X such that xn+1 = Txn,
∀n ∈ N. Suppose that there exists n ∈ N such that xn = Txn. Then xn is a fixed point of T andthe proof is finished.Hence, we assume that xn 6= Txn+1, ∀n ∈N, since T is α−admissible, we get

α(x0,x1) = α(x0,Tx0) � I ⇒ α(Tx0,T2x0) = α(x1,x2) � I.
Continuing this process, we have

α(xn,xn+1) � I ∀n ∈N. (3.2)
By 3.1 and 3.2, we get

d(xn,xn+1) = d(Txn−1,Txn) � α(xn−1,xn)d(Txn−1,Txn)

� ψ(d(xn−1,xn))

�

� ψn(d(x0,x1)).

For m ≥ 1 and p ≥ 1, it follows that
d(xm+p,xm) � b[d(xm+p,xm+p−1) + d(xm+p−1,xm+p−2) + d(xm+p−2,xm)]
� bd(xm+p,xm+p−1) + bd(xm+p−1,xm+p−2) + b[b[d(xm+p−2,xm+p−3) + d(xm+p−3,xm+p−4) +

d(xm+p−4,xm)]]

= bd(xm+p,xm+p−1) + bd(xm+p−1,xm+p−2) + b
2d(xm+p−2,xm+p−3) + b

2d(xm+p−3,xm+p−4) +

b2d(xm+p−4,xm)

� bd(xm+p,xm+p−1) + bd(xm+p−1,xm+p−2) + b2d(xm+p−2,xm+p−3) + b2d(xm+p−3,xm+p−4) +
.... + b

p−1
2 d(xm+3,xm+2) + b

p−1
2 d(xm+2,xm+1) + b

p−1
2 d(xm+1,xm)

� bψm+p−1(d(x0,x1)) + bψm+p−2(d(x0,x1)) + ... + b
p−1
2 d(x0,x1)Since b � I, using definition 2.6 we have

d(xm,xm+p) � bψm+p−1(d(x0,x1)) +bψm+p−2(d(x0,x1)) +...+b
p−1
2 d(x0,x1) → θ as n → +∞Therefore {xn} is a Cauchy sequence in X. By the completeness of (X,A,d) there exists an

x ∈ X such that
limn→∞xn = limn→∞Txn−1 = x.

From continuity of T and by uniqueness of the limit, we get Tx = x, ie. x is a fixed point of T .Now suppose that y 6= x is another fixed point of T .

https://doi.org/10.28924/ada/ma.2.11


Eur. J. Math. Anal. 10.28924/ada/ma.2.11 5
From (iii), there exists z ∈ X such that α(x,z) � I and α(y,z) � I.Since T is α− admissible, we have

α(x,Tnz) � I and α(y,Tnz) � I for all n ∈N
Using (1), we obtain

d(x,Tnz) = d(Tx,T (Tn−1z))

� α(x,Tn−1z)d(Tx,T (Tn−1z))

� ψn(d(x,z)) → θ as n →∞.
Thus, Tnz = x. Similary Tnz = y as n →∞ So, the uniqueness of the limit we obtain x = y . �
Example 3.3. Let X = R and A = M2(R) as given in Example 2.3, define T : X → X, by Tx = x

3and α : X ×X → M2(R) such that
α(x,y) =

(
|x −y| 0

0 0

) thus, T is α− admissible,
and ψ : M2(R)+ → M2(R)+ , ψ(a) =

(
a2 0

0 a2

)
∀a ∈ (R)+.

This is clear that T is α−ψ− contractive mapping and satisfies
α(x,y)d(Tx,Ty) � ψ(d(x,y)), for all x,y ∈ X

Theorem 3.4. Let (X,A,d) be a complete C∗-algebra valued rectangular b− metric space and let
T : X → X be a α,ψ− contractive mapping of Kannan type ie,

α(x,y)d(Tx,Ty) � ψ(d(Tx,x) + d(Ty,y)) (3.3)
for all x,y ∈ X Where ψ ∈ Ψ and α : X ×X →A+

and the following conditions holds:

(i) T is α− admissible(ii) There exists x0 ∈ X such that α(x0,Tx0) � I(iii) T is continuous
Then, T has a fixed point in X.

Proof. By (3.3), we obtain
d(xn,xn+1) = d(Txn−1,Txn) � α(xn−1,xn)d(Txn−1,Txn)

� ψ(d(Txn−1,xn−1) + d(Txn,xn)) = ψ(d(xn,xn−1) + d(xn+1,xn))

= ψ(d(xn,xn−1)) + ψ(d(xn+1,xn))

(I −ψ)(d(xn,xn−1)) � ψ(d(xn,xn−1))

from Lemma 2.1 and Definition 2.6, we obtain

https://doi.org/10.28924/ada/ma.2.11


Eur. J. Math. Anal. 10.28924/ada/ma.2.11 6
d(xn,xn+1) � (I −ψ)−1ψ(d(xn,xn−1)) = Φ(d(xn,xn−1)) where

Φ = (I −ψ)−1ψ

Therefore
d(xn,xn+1) � Φn(d(x0,x1))∀n ∈N

For any m ≥ 1 and p ≥ 1 similary in Theorem 3.1 we have
d(xm,xm+p) � bψm+p−1(d(x0,x1)) +bψm+p−2(d(x0,x1)) +...+b

p−1
2 d(x0,x1) → θ as n → +∞.Thus {xn} is a Cauchy sequence in X. By the completeness of (X,A,d), there exists x ∈ Xsuch that

limn→∞xn = limn→∞Txn−1 = x.
the continuity of T gives that x is a fixed point of T .To prove that x is the unique fixed point, we suppose that y ∈ X is another fixed point of T .Then

θ � d(x,y) = d(Tx,Ty)
� α(x,y)d(Tx,Ty)

� ψ(d(Tx,x) + d(Ty,y))
= ψ(d(x,x) + d(y,y)) = θ

Hence x = y .Therefore the fixed point is unique. �
Theorem 3.5. Let (X,A,d) be a complete C∗-algebra valued rectangular b− metric space and let
T : X → X be a α,ψ− contractive mapping of Banach-Kannan type ie,

α(x,y)d(Tx,Ty) � ψ(d(x,y) + d(Tx,x) + d(Ty,y)) (3.4)
for all x,y ∈ X Where ψ ∈ Ψ and α : X ×X →A+ such that ψ(1 −ψ)−1 �

1

2I
,

and the following conditions holds:

(i) T is α− admissible(ii) There exists x0 ∈ X such that α(x0,Tx0) � I(iii) T is continuous
Then, T has a fixed point in X

Proof. Using (3.4), we get
d(xn,xn+1) = d(Txn−1,Txn) � α(xn−1,xn)d(Txn−1,Txn)
� ψ(d(xn−1,xn) + d(Txn−1,xn−1) + d(Txn,xn))
= ψ(d(xn−1,xn)2I + d(xn,xn+1)) ⇒ (I −ψ)(d(xn,xn+1)) � 2Iψ(d(xn,xn−1))
⇒ d(xn,xn+1) � 2I(I −ψ)−1ψ(d(xn,xn−1)) � Φ(d(xn,xn−1)).Where

https://doi.org/10.28924/ada/ma.2.11


Eur. J. Math. Anal. 10.28924/ada/ma.2.11 7
ϕ = 2I(I −ψ)−1ψ.

Then
d(xn,xn+1) � Φn(d(x0,x1).

We refer to the proof of the Theorem 3.1 we get that x is a fixed point of T . Now, if y 6= x isanother fixed point of T , we have
θ � d(x,y) = d(Tx,Ty)
� α(x,y)d(Tx,Ty)

� ψ(d(x,y) + d(Tx,x) + d(Ty,y))
= ψ(d(x,y) + d(x,x) + d(y,y)) = ψ(d(x,y).

So d(x,y) = θ ; ie x = y . �
4. Applications

As application of α−ψ contractive in unital C∗-algebra valued rectangular b− metric spaces,existence and uniqueness results for a type of operator equation is given.
Example 4.1. Suppose that H is a Hilbert space, B(H) is the set of linear bounded operators on
H. Let A1,A2, ...,An, ... ∈ B(H)which satisfy ∑∞n=1‖An‖ < 1 and Q ∈ B(H)+.Then the operator equation X −∑∞n=1A∗nXAn = Q has a unique solution in B(H).
Proof. Set a = (∑∞n=1‖An‖)p with p ≥ 1, then ‖a‖ < 1.Without loss of generality, one can supposethat a > 0.Choose a positive operator M ∈ B(H).For X,Y ∈ B(H) and p ≥ 1, set
d(X,Y ) = ‖X −Y‖pM.Then d(X,Y ) is a C∗-algebra valued rectangular b− metric.Suppose that X,Y,Z,W ∈ B(H) we have
‖X −Y‖p � 2P (‖X −Z‖p + ‖Z −W‖p + ‖W −Y‖p).Which implies that d(X,Y ) � A[d(X,Z) + d(Z,W ) + d(W,Y )]Where A = 2pI. Consider the map
T : B(H) → B(H) such that T (X) = ∑∞n=1A∗nXAn + Q.Then

d(T (X),T (Y )) = ‖T (X),T (Y )‖pM
= ‖

∑∞
n=1A

∗
n(X −Y )An‖pM

�
∑∞
n=1‖An‖

2p‖X −Y‖pM
� a2d(X,Y )

https://doi.org/10.28924/ada/ma.2.11


Eur. J. Math. Anal. 10.28924/ada/ma.2.11 8
Let α : B(H) ×B(H) → B(H)+ defined by α(X,Y ) = (X,Y )Iand ψ : B(H)+ → B(H)+ defined by ψ(X) = X.We get α(X,Y )d(TX,TY ) � ψ(d(X,Y )).Using Theorem 3.1, there exists a unique fixed point X in B(H). �

5. Acknowledgments
It is our great pleasure to thank the referee for his careful reading of the paper and for severalhelpful suggestions.

References
[1] H.H. Alsulami, R.P. Agarwal, E. Karapınar, F. Khojasteh, A short note on C∗-valued contraction mappings, J. Inequal.Appl. 2016 (2016) 50. https://doi.org/10.1186/s13660-016-0992-5.[2] S. Chandok, D. Kumar, C. Park, C∗−algebra-valued partial metric space and fixed point theorems. Proc. Math. Sci.129 (2019) 37. https://doi.org/10.1007/s12044-019-0481-0.[3] M. Jleli, B. Samet, A new generalization of the Banach contraction principle. J. Inequal. Appl. 2014 (2014), 38.

https://doi.org/10.1186/1029-242X-2014-38.[4] G. Kalapana, Z.S. Tasneem C∗−algebra-valued rectangular b-metric spaces and some fixed point theorems, Commun.Fac. Sci. Univ. Ank. Ser. A1 Math. Stat. 68 (2019) 2198-2208. https://doi.org/10.31801/cfsuasmas.598146.[5] W. A. Kirk, N. Shahzad, Generalized metrics and Caristi’s theorem, Fixed Point Theory Appl. 2013 (2013) 129.
https://doi.org/10.1186/1687-1812-2013-129.[6] Z. Ma, L. Jiang, H. Sun, C∗-algebra-valued metric spaces and related fixed point theorems, Fixed Point TheoryAppl. (2014) 2014, 206. https://doi.org/10.1186/1687-1812-2014-206.[7] H. Massit, M. Rossafi, Fixed point for ψ− contractive mapping in C∗− algebra valued rectangular b-metric, J. Math.Comput. Sci. 11(2021) 6507-6521. https://doi.org/10.28919/jmcs/6363.[8] G.J. Murphy, C∗-Algebras and operator theory, Academic Press, London, UK, 1990.[9] S. Omran, I. Masmali, On the (α−ψ)-contractive mappings in C∗-algebra valued b-metric spaces and fixed pointtheorems, J. Math. 2021 (2021) 7865976. https://doi.org/10.1155/2021/7865976.[10] B. Samet, C. Vetro, P. Vetro, Fixed point theorems for α−ψ−contractive type mappings, Nonlinear Anal.: TheoryMethods Appl. 75 (2012) 2154–2165. https://doi.org/10.1016/j.na.2011.10.014.

https://doi.org/10.28924/ada/ma.2.11
https://doi.org/10.1186/s13660-016-0992-5
https://doi.org/10.1007/s12044-019-0481-0
https://doi.org/10.1186/1029-242X-2014-38
https://doi.org/10.31801/cfsuasmas.598146
https://doi.org/10.1186/1687-1812-2013-129
https://doi.org/10.1186/1687-1812-2014-206
https://doi.org/10.28919/jmcs/6363
https://doi.org/10.1155/2021/7865976
https://doi.org/10.1016/j.na.2011.10.014

	1. Introduction 
	2. preliminaries
	3. Main result
	4. Applications
	5. Acknowledgments
	References

