13
Two Equal Range Operators on Hilbert - modules Ali Reza Janfada and Javad Farokhi-Ostad Sahand Communications in Mathematical Analysis Print ISSN: 2322-5807 Online ISSN: 2423-3900 Volume: 18 Number: 2 Pages: 85-96 Sahand Commun. Math. Anal. DOI: 10.22130/scma.2020.130093.821 -

Ali Reza Janfada and Javad Farokhi-Ostad - Maragheh

  • Upload
    others

  • View
    3

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Ali Reza Janfada and Javad Farokhi-Ostad - Maragheh

Two Equal Range Operators on Hilbert 𝑪∗-modules

Ali Reza Janfada and Javad Farokhi-Ostad

Sahand Communications in

Mathematical Analysis

Print ISSN: 2322-5807

Online ISSN: 2423-3900

Volume: 18

Number: 2

Pages: 85-96

Sahand Commun. Math. Anal.

DOI: 10.22130/scma.2020.130093.821

-

Page 2: Ali Reza Janfada and Javad Farokhi-Ostad - Maragheh

Sahand Communications in Mathematical Analysis (SCMA) Vol. 18 No. 2 (2021), 85-96

http://scma.maragheh.ac.ir

DOI: 10.22130/scma.2020.130093.821

Two Equal Range Operators on Hilbert C∗-modules

Ali Reza Janfada1 and Javad Farokhi-Ostad2,∗

Abstract. In this paper, number of properties, involving invert-ibility, existence of Moore-Penrose inverse and etc for modular op-erators with the same ranges on Hilbert C∗-modules are presented.Natural decompositions of operators with closed range enable us tofind some relations of the product of operators with Moore-Penroseinverses under the condition that they have the same ranges inHilbert C∗-modules. The triple reverse order law and the mixedreverse order law in the special cases are also given. Moreover, therange property and Moore-Penrose inverse are illustrated.

1. Introduction and Preliminaries

Let X ,Y be two Hilbert A-modules and T : X → Y be an operator.The general inverse of T is an operator S : Y → X such that TST = Tand STS = S. A category of generalized inversions is called Moore-Penrose inverse, precisely described in Definition 1.2, and denoted by †.Xu and Sheng [22] showed that a bounded adjointable operator betweentwo Hilbert A-modules admits a bounded Moore-Penrose inverse if andonly if it has closed range. Investigation of the closedness of range of anoperator and Moore-Penrose inverse are important in operator theory.Although, in general there is no relation between (TS)† with T † andS† except in some especial cases. If the equivalence (TS)† = S†T † issatisfied, we say the reverse order law holds. This problem, which isexpressed as “when the reverse order law hold?” was first studied byBouldin and Izumino for bounded operators between Hilbert spaces,see [1, 2, 7]. If the relationship (TSU)† = U †S†T †, is established we saythat the triple reverse order law holds. If T (SU)†V = TU †S†V we call it

2010 Mathematics Subject Classification. 47A05, 15A09.Key words and phrases. Closed range, Moore-Penrose inverse, Hilbert C∗-module.Received: 29 June 2020, Accepted: 17 December 2020.∗ Corresponding author.

85

Page 3: Ali Reza Janfada and Javad Farokhi-Ostad - Maragheh

86 A. R. JANFADA AND J. FAROKHI

mixed reverse order law. Recently, many authors such as Sharifi [18] andMohammadzadeh Karizaki [10, 12, 13] studied Moore -Penrose inverseof product of the operators with closed range in Hilbert C∗-modules anddiscussed about various cases of these laws.

Furthermore, there is no relation between (STT ∗)† and T †, (T ∗)† andS† except in some especial cases. In this paper, by using some block op-erator matrix techniques, we obtain some relation between (STT ∗)† withT †, (T ∗)† and S† when ran(T∗) = ran(STT∗) and ran(T) = ran(TT∗S∗).

This paper is organized as follows. In the remainder of this section,some preliminaries are given, which are used in the following sections.Section 2 describes the triple reverse order law and the mixed reverseorder law in the special cases and so discusses about the range propertyand Moore-Penrose inverse and invertibility of some modular operators.

Throughout the paper A is a C*-algebra (not necessarily unital). A(right) pre-Hilbert module over a C∗-algebra A is a complex linear spaceX , which is an algebraic right A-module equipped with an A-valuedinner product ⟨., .⟩ : X × X → A satisfying,

(i) ⟨x, x⟩ ≥ 0, and ⟨x, x⟩ = 0 iff x = 0,(ii) ⟨x, y + λz⟩ = ⟨x, y⟩+ λ⟨x, z⟩,(iii) ⟨x, ya⟩ = ⟨x, y⟩a,(iv) ⟨y, x⟩ = ⟨x, y⟩∗,

for all x, y, z ∈ X , λ ∈ C, a ∈ A. A pre-Hilbert A-module X is calleda Hilbert A-module if it is complete with respect to the norm ∥x∥ =

∥⟨x, x⟩∥12 . Left Hilbert A-modules are defined in a similar way. For

example, every C∗-algebra A is a left Hilbert A-module with respect tothe inner product ⟨x, y⟩ = x∗y, and every inner product space is a leftHilbert C-module.

Suppose that X and Y are Hilbert A-modules. Then L(X ,Y) is theset of all maps T : X → Y for which there is a map T ∗ : Y → X suchthat ⟨Tx, y⟩ = ⟨x, T ∗y⟩ for all x ∈ X , y ∈ Y. It is known that anyelement T of L(X ,Y) must be a bounded linear operator, which is alsoA-linear in the sense that T (xa) = (Tx)a for all x ∈ X and a ∈ A [9,Page 8]. We use the notations L(X ) in place of L(X ,X ), and ker(·) andran(·) for the kernel and the range of operators, respectively.

Suppose that X is a Hilbert A-module and Y is a closed submoduleof X . We say that Y is orthogonally complemented if X = Y ⊕ Y⊥,where Y⊥ := {y ∈ X : ⟨x, y⟩ = 0 for all x ∈ Y} denotes the orthogonalcomplement of Y in X . The reader is referred to [9] for more details.

Recall that a closed submodule in a Hilbert module is not necessar-ily orthogonally complemented; however, Lance [9] proved that certainsubmodules are orthogonally complemented as follows.

Page 4: Ali Reza Janfada and Javad Farokhi-Ostad - Maragheh

TWO EQUAL RANGE OPERATORS ON HILBERT C∗-MODULES 87

Theorem 1.1 ([9, Theorem 3.2]). Let X , Y be Hilbert A-modules andT ∈ L(X ,Y) have closed range. Then

(i) ker(T) is orthogonally complemented in X , with complementran(T∗).

(ii) ran(T) is orthogonally complemented in Y, with complementker(T∗).

(iii) The map T ∗ ∈ L(Y,X ) has closed range.

Definition 1.2. Let T ∈ L(X ,Y). The Moore-Penrose inverse T † of Tis an element in L(Y,X ) which satisfies:

(a) T T †T = T ,(b) T † T T † = T †,(c) (T T †)∗ = T T †,(d) (T † T )∗ = T †T .

Motivated by these conditions T † is unique and T †T and T T † areorthogonal projections, in the sense that they are selfadjoint idempotentoperators. Clearly, T is Moore-Penrose invertible if and only if T ∗ isMoore-Penrose invertible, and in this case (T ∗)† = (T †)∗. The followingtheorem is known.

Theorem 1.3 ([22, Theorem 2.2]). Suppose that T ∈ L(X ,Y). Thenthe Moore-Penrose inverse T † of T exists if and only if T has closedrange.

By Definition 1.2, we have

ran(T) = ran(TT†),ker(T) = ker(T†T),

ran(T†) = ran(T†T) = ran(T∗),ker(T†) = ker(TT†) = ker(T∗),

and by Theorem 1.1, we have

X = ker(T)⊕ ran(T†) = ker(T†T)⊕ ran(T†T),

Y = ker(T†)⊕ ran(T) = ker(TT†)⊕ ran(TT†).

A matrix form of a bounded adjointable operator T ∈ L(X ,Y) can beinduced by some natural decompositions of Hilbert C∗-modules. Indeed,if M and N are closed orthogonally complemented submodules of X andY, respectively, and X = M⊕M⊥, Y = N ⊕N⊥, then T can be writtenas the following 2× 2 matrix

T =

[T1 T2

T3 T4

](1.1)

where, T1 ∈ L(M,N ), T2 ∈ L(M⊥,N ), T3 ∈ L(M,N⊥) and T4 ∈L(M⊥,N⊥). Note that PM denotes the projection corresponding toM.

Page 5: Ali Reza Janfada and Javad Farokhi-Ostad - Maragheh

88 A. R. JANFADA AND J. FAROKHI

In fact T1 is the restriction of PNTPM onM , or briefly T1 = PNTPM,and semilarly,

T2 = PNT (1−PM), T3 = (1−PN )TPM, T4 = (1−PN )T (1−PM).

The interested reader, can be referred for more details to [13].Recall that if T ∈ L(X ,Y) has closed range, then TT † = Pran(T) and

T †T = Pran(T∗).

Lemma 1.4 ([13, Corollary 1.2]). Suppose that T ∈ L(X ,Y) has closedrange. Then T has the following matrix decomposition with respect to theorthogonal decompositions of closed submodules X = ran(T∗) ⊕ ker(T)and Y = ran(T)⊕ ker(T∗):

T =

[T1 00 0

]:

[ran(T∗)ker ker(T)

]7→

[ran(T)ker(T∗)

],

where T1 is invertible. Moreover

T † =

[T−11 00 0

]:

[ran(T)ker(T∗)

]7→

[ran(T∗)ker(T)

].

Definition 1.5 ([17, Definition 2.1]). Let X be a Hilbert A-modules.An operator T ∈ L(X ) is called EP if ran(T) and ran(T∗) have the sameclosure.

Obviously, by this definition we have TT † = T †T , whenever T † exists.For further information, the interested reader is referred to [5], [6] andthe references therein. Some characterizations and related results of EPoperator can be found in [8, 11]

2. Main Results

In this section, we obtain valuable results about invertibility of oper-ators, for which, we use the matrix form of operators and special tech-niques. In the next discussion we shall use the following result.

Lemma 2.1 ([14, Corollary 2.4]). Suppose that T ∈ L(X ,Y) has closedrange. Then (TT ∗)† = (T ∗)†T †.

In the following theorem, we state the triple reverse order law forespecial operators.

Theorem 2.2. Suppose X , Y, Z are Hilbert A-modules, the opera-tors S ∈ L(X ,Y), T ∈ L(Y,Z) have closed ranges and (ker(T∗T))⊥ =ran(S). Then

(T ∗TS)† = S†T †(T ∗)†.

Proof. By Theorem 3.2 in [12] and previous Lemma, the desired resultfollows. □

Page 6: Ali Reza Janfada and Javad Farokhi-Ostad - Maragheh

TWO EQUAL RANGE OPERATORS ON HILBERT C∗-MODULES 89

Theorem 2.3. Suppose that T ∈ L(X ,Y) and S ∈ L(Y,X ) have closedranges and ran(T∗) = ran(STT∗) and ran(T) = ran(TT∗S∗). Then

(i) The restriction of TT ∗S∗STT ∗ on ran(T) is invertible,(ii) STT † = T †TSTT †,

Moreover, if T †TS = T †TSTT † then(iii) (STT ∗)(STT ∗)† = STT †S†,(iv) ST has a closed range and (ST )†ST = T †S†ST .

Proof. (i) The operator T has the following matrix form with re-spect to the orthogonal sum of submodules:

T =

[T1 00 0

]:

[ran(T∗)ker(T)

]→

[ran(T)ker(T∗)

],

where T1 is invertible. Also S has the form[S1 S2

S3 S4

]:

[ran(T)ker(T∗)

]→

[ran(T∗)ker(T)

].

Since ran(T) = ran(TT∗S∗), then TT † = (TT ∗S∗)(TT ∗S∗)†.According to calculation the Moore-Penrose inverse of displayof the matrix forms of operators as in [19] and [3], we have[

T1 00 0

] [T−11 00 0

]=

[T1 00 0

] [T ∗1 00 0

] [S∗1 S∗

3

S∗2 S∗

4

([T1 00 0

] [T ∗1 00 0

] [S∗1 S∗

3

S∗2 S∗

4

])†

=

[T1T

∗1 S

∗1 T1T

∗1 S

∗3

0 0

]([T1T

∗1 S

∗1 T1T

∗1 S

∗3

0 0

])†

=

[T1T

∗1 S

∗1 T1T

∗1 S

∗3

0 0

]×[S1T1T

∗1D

† 0S3T1T

∗1D

† 0

]=

[DD† 00 0

],

where, D = T1T∗1S

∗1S1T1T

∗1 + T1T

∗1S

∗3S3T1T

∗1 . Therefore,

DD† = 1ran(T).

Since D is self-adjoint, then D†D = 1ran(T). Therefore, D is

invertible and D† = D−1 on ran(T).On the other hand, since ran(T∗) = ran(STT∗), we have

(T ∗)(T ∗)† = (STT ∗)(STT ∗)†. Using the same matrix form asabove for operators T and S in the equation, we have[

T ∗1 00 0

] [(T ∗

1 )−1 0

0 0

]=

[S1 S2

S3 S4

] [T1 00 0

] [T ∗1 00 0

]

Page 7: Ali Reza Janfada and Javad Farokhi-Ostad - Maragheh

90 A. R. JANFADA AND J. FAROKHI

×([

S1 S2

S3 S4

] [T1 00 0

] [T ∗1 00 0

])†

=

[S1T1T

∗1 0

S3T1T∗1 0

]([S1T1T

∗1 0

S3T1T∗1 0

])†

=

[S1T1T

∗1 0

S3T1T∗1 0

] [D†T1T

∗1 S

∗1 D†T1T

∗1 S

∗3

0 0

]=

[S1T1T

∗1D

†T1T∗1 S

∗1 S1T1T

∗1D

†T1T∗1 S

∗3

S3T1T∗1D

†T1T∗1 S

∗1 S3T1T

∗1D

†T1T∗1 S

∗3

].

Therefore,

S1T1T∗1D

†T1T∗1 S

∗1 = 1ran(T),(2.1)

S3T1T∗1D

†T1T∗1 S

∗3 = 0.(2.2)

Hence, the matrix representation of the operator TT ∗S∗STT ∗

is:

TT ∗S∗STT ∗ =

[T1 00 0

] [T ∗1 00 0

] [S∗1 S∗

3

S∗2 S∗

4

] [S1 S2

S3 S4

[T1 00 0

] [T ∗1 00 0

].

Since the operator D = T1T∗1 (S

∗1S1 + S∗

3S3)T1T∗1 is invertible

on ran(T) and Pran(T) = TT †, according to what we discussedabove, (i) followes.

(ii) D is an invertible and positive operator, because

D = T1T∗1 S

∗1(T1T

∗1 S

∗1)

∗ + T1T∗1 S

∗3(T1T

∗1S

∗3)

∗.

Now by equation (2.2) we have

S3T1T∗1D

−1T1T∗1S

∗3 = S3

(T1T

∗1D

−1T1T∗1

) 12(T1T

∗1D

−1T1T∗1

) 12 S∗

3

=(S3(T1T

∗1D

−1T1T∗1 )

12

)(S3

(T1T

∗1D

−1T1T∗1

) 12

)∗

= 0.

Invertibility of T1T∗1D

−1T1T∗1 , implies that S3 = 0. We know

that, S3 =(1− Pran(T∗)

)SPran(T) = 0 or equivalently S3 =

(1− T †T )STT † = 0 which implies that STT † = T †TSTT †.

(iii) Using T †TS = T †TSTT †, we have Pran(T∗)S = Pran(T∗)SPran(T)

or equivalently S2 = Pran(T∗)S(1−Pran(T)) = 0. From the proofof (ii) we have S3 = 0. Since, ran(S) is closed, we get thatboth ran(S1) and ran(S4) are closed [4]. Therefore, obviously

Page 8: Ali Reza Janfada and Javad Farokhi-Ostad - Maragheh

TWO EQUAL RANGE OPERATORS ON HILBERT C∗-MODULES 91

S† =

[S†1 0

0 S†4

]is the Moore-Penrose of S =

[S1 00 S4

].

On the other hand,

STT ∗ =

[S1 00 S4

] [T1T

∗1 0

0 0

]=

[S1T1T

∗1 0

0 0

],

and we have

(a)

[S1T1T

∗1 0

0 0

] [(T ∗

1 )−1T−1

1 S†1 0

0 0

] [S1T1T

∗1 0

0 0

]=

[S1T1T

∗1 0

0 0

](b)

[(T ∗

1 )−1T−1

1 S†1 0

0 0

] [S1T1T

∗1 0

0 0

] [(T ∗

1 )−1T−1

1 S†1 0

0 0

]=

[(T ∗

1 )−1T−1

1 S†1 0

0 0

](c)

[S1T1T

∗1 0

0 0

] [(T ∗

1 )−1T−1

1 S†1 0

0 0

]=

[S1S

†1 0

0 0

].

Therefore, condition (iii) in [19, Theorem 2.1] holds. By (iii)⇒(i)of [19, Theorem 2.1], STT † = T †TSTT †.

(iv) The operators ST and T †S† have the following matrix repre-sentations

ST =

[S1 00 S4

] [T1 00 0

](2.3)

=

[S1T1 00 0

],

T †S† =

[T−11 00 0

][S†1 0

0 S†4

](2.4)

=

[T−11 S†

1 00 0

].

Since we have

STT †S†ST =

[(S1T1)T

−11 S†

1(S1T1) 00 0

]=

[S1T1 00 0

],

Page 9: Ali Reza Janfada and Javad Farokhi-Ostad - Maragheh

92 A. R. JANFADA AND J. FAROKHI

T †S†STT †S† =

[T−1S†

1 00 0

] [S1T1 00 0

] [T−1S†

1 00 0

]=

[T−11 S†

1 00 0

]

and also

(STT †S†)∗ =

[S1T1 00 0

] [T−1S†

1 00 0

]=

[S1S

†1 0

0 0

],

then we conclude T †S† satisfies conditions (a), (b), (d) of Defi-nition 1.2. Hence ST has closed range and Theorem 2.2 in [19]implies that (ST )†ST = T †S†ST .

Throughout this work, we use the matrix techniques which is simplerthan functional analysis methods to machine language. Although thedirect proof could be presented.

Remark 2.4. Direct proof of (i): Let A = TT ∗S∗STT ∗TT †|ran(T). For

any x ∈ ran(T) withAx = 0, we have TT †x = x. Hence, TT ∗S∗STT ∗x =0, which gives STT ∗x = 0. It followes from ran(T) = ran(TT∗S∗) thatker(T∗) = ker(STT∗). So, T ∗x = 0, and thus T †x = 0. Therefore,x = TT †x = 0, which implies that A is injective. Secondly, by assump-tions, ran(TT∗S∗) = ran(T), which is closed. Hence,

ran(A) = ran(TT∗S∗(TT∗S∗)∗)

= ran(TT∗S∗)

= ran(T).

This shows that A is surjective.For a direct proof of (ii) note that,

ran(STT†) = ran(STT∗)

= ran(T∗)

= ran(T†T).

Item (iii) can, also, be derived directly. By assumption, we have:T †TS = T †TSTT † = STT †. This together with (TT ∗)(TT ∗)† = TT †

and ran(T∗) = ran(STT∗) ⊆ ran(S) yields

STT ∗(T ∗)†T †S† = STT ∗(TT ∗)†S†

Page 10: Ali Reza Janfada and Javad Farokhi-Ostad - Maragheh

TWO EQUAL RANGE OPERATORS ON HILBERT C∗-MODULES 93

= STT †S†

= T †TSS†

= T †T

= STT ∗(STT ∗)†.

Now, by matrix form of EP operator in [17, Lemma 3.6] we have thefollowing corollary.

Corollary 2.5. Let T, S ∈ L(X ) be such that T and S are Moore-Penrose invertible, and T is an EP operator. Suppose that ran(T∗) =ran(STT∗) and ran(T) = ran(TT∗S). Then

(i) TT ∗S∗(TT ∗S∗)∗ is invertible,(ii) ST †T = TT †ST †T ,

Moreover, if T †TS = T †TSTT † then(iii) (STT ∗)(STT ∗)† = STT ∗(T ∗)†T †S†,(iv) ST has a closed range and (ST )†ST = T †S†ST .

Theorem 2.6. Let X be a Hilbert A-module, T ∈ L(X ) has closedrange. If ran(T)⊕ ran(T∗) = X , then T †T + TT ∗ is an invertible oper-ator.

Proof. Since ran(T) ⊕ ran(T∗) = X , we have TT † + T †T = 1, henceT †T = 1 − TT †. Let C := 1 − TT † + TT ∗ is K := 1 − TT † + (TT ∗)†,sine

KC = (1− TT † + (TT ∗)†)(1− TT † + TT ∗)

= 1− TT † + TT ∗ − TT † + TT †TT † − TT †TT ∗

+ (TT ∗)† − (TT ∗)†TT † + (TT ∗)†TT ∗

= 1− TT † + (TT ∗)† − (TT ∗)†TT † + (TT ∗)†TT ∗

= 1− TT † + (T †)∗T † − (T †)∗T †TT † + (T †)∗T †TT ∗

= 1− TT † + (T †)∗T † − (T †)∗T † + (T †)∗T †TT ∗

= 1− TT † + (T †)∗T ∗

= 1− TT † + (TT †)∗

= 1,

and

CK = (1− TT † + TT ∗)(1− TT † + (TT ∗)†)

= 1− TT † + (TT ∗)† − TT †(1− TT † + (TT ∗)†)

+ TT ∗(1− TT † + (TT ∗)†)

Page 11: Ali Reza Janfada and Javad Farokhi-Ostad - Maragheh

94 A. R. JANFADA AND J. FAROKHI

= 1− TT † + (TT ∗)† − TT † + TT † − TT †(TT ∗)†

+ TT ∗ − TT ∗TT † + TT ∗(TT ∗)†

= 1− TT † + (T ∗)†T † − TT †(T ∗)†T †

+ TT ∗ − TT ∗ + TT ∗(T ∗)†T †

= 1− TT † + (T ∗)†T † − TT †(T ∗)†T † + TT ∗(T ∗)†T †

= 1− TT † + (T ∗)†T † − TT †(T ∗)†T † + TT †

= 1 + (T ∗)†T † − TT †(T ∗)†T †

= 1 + (T ∗)†T † − (T ∗)†T †

= 1.

Then 1− TT † + TT ∗ = T †T + TT ∗ is an invertible operator. □

Consider the C∗-algebra A as a Hilbert A-module. For each a ∈ A,the operator Ta : A → A with x 7→ ax is an element of L(A). Note thatT ∗a = Ta∗ and Ta is Moore-Penrose invertible if and only if a is Moore-

Penrose invertible and in this case (Ta)† = Ta† (adapted from[10–13]).

In addition, since every C∗-algebra admits an approximate identity [15],one can easily see Ta = Tb if and only if a = b. In the following, we ex-plain how to apply the results obtained in this paper. Many researchers,including Feng, Xu, and Vosugh [21] and Niazi Moghani [16] have pro-vided similar applications in their works as solutions of equations ofoperation.

3. Conclusion

In last decades, solving matrix equations was interesting for to math-ematicians, and with the expansion of mathematical structures, mathe-maticians were keen on generalizing matrix equations in new structuresregardless of application. This process is common in the development ofmathematical science. In this regard, the results of this field of mathe-matics can be used to generalize the methods of solving matrix equationsto the context of operators. This can be seen in the research of manymathematicians. See [16, 20, 21] for example. Since the matrix space isfinite dimensional, so if we extend these equations to the space of oper-ators, then also it will be able to solve equations in infinite dimensionalcases. It may be assumed that the applied equations have a matrixrepresentation, and the generalization of equations to higher spaces isstudied merely for the abstract mathematical discussion. Therefore, inorder to show that this suspicion is false, we present here an example offunctional equations appeared in physics. The Kadomtsev-Petviashvilioperator equation vxt =

14

(vxxx + 6v2x

)x+ 3

4vyy +32 (vyvx − vxvy) as an

Page 12: Ali Reza Janfada and Javad Farokhi-Ostad - Maragheh

TWO EQUAL RANGE OPERATORS ON HILBERT C∗-MODULES 95

example, which is different from the finite case (as mentioned in [20]).The interested reader, for more detail and informations can be referredto [20, 21].

Similar to the matrix form, here too many of the solutions are foundusing general inverses, and in particular the Moore-Penrose inverse.Specifically, with the help of the results obtained in Theorem 2.3 andCorollary 2.5 and by using some block matrix technique some of thatoperator equations can be solved.

Acknowledgement: The authors are grateful to the referee forhis/her careful reading and his/her useful comments.

References

1. R. Bouldin, Closed range and relative regularity for products, J.Math. Anal. Appl., 61, (1977), pp. 397-403.

2. R. Bouldin, The product of operators with closed range, TohokuMath. J., 25(2), (1973), pp. 359-363.

3. C.Y. Deng and H.K. Du, Representations of the Moore-Penroseinverse for a class of 2 by 2 block operator valued partial matrices,Linear Multilinear Algebra, 58, (2010), pp. 15-26.

4. D.S. Djordjevic, Further results on the reverse order law for gen-eralized inverses, SIAM J. Matrix Anal. Appl., 29(4), (2007), pp.1242-1246.

5. J. Farokhi-Ostad and A.R. Janfada, Products of EP operators onHilbert C∗-Modules, Sahand Commun. Math. Anal., 10, (2018), pp.61-71.

6. J. Farokhi-Ostad and A.R. Janfada, On closed range C∗-modularoperators, Aust. J. Math. Anal. Appl., 15(2), (2018), pp. 1-9.

7. S. Izumino, The product of operators with closed range and an ex-tension of the reverse order law, Tohoku Math. J., 34(2), (1982),pp. 43-52.

8. M. Jalaeian, M. Mohammadzadeh Karizaki and M. Hassani, Con-ditions that the product of operators is an EP operator in HilbertC∗-module, Linear Multilinear Algebra, 68(10), (2020), pp. 1990-2004.

9. E.C. Lance, Hilbert C∗-Modules, LMS Lecture Note Series 210,Cambridge Univ. Press, 1995.

10. M. Mohammadzadeh Karizaki, Antisymmetric relations of opera-tors which satisfy specified conditions, Funct. Anal. Approx. Com-put., 10(3), (2018), pp. 15-20

11. M. Mohammadzadeh Karizaki and D.S. Djordjevic, CommutingC∗- modular operators, Aequationes mathematicae, 90(6), pp.1103-1114.

Page 13: Ali Reza Janfada and Javad Farokhi-Ostad - Maragheh

96 A. R. JANFADA AND J. FAROKHI

12. M. Mohammadzadeh Karizaki, M. Hassani and M. Amyari, Moore-Penrose inverse of product operators in Hilbert C∗-modules, Filo-mat, 30(13), (2016), pp. 3397-3402.

13. M. Mohammadzadeh Karizaki, M. Hassani, M. Amyari and M.Khosravi, Operator matrix of Moore-Penrose inverse operators onHilbert C∗-modules, Colloq. Math., 140, (2015), pp. 171-182.

14. M.S. Moslehian, K. Sharifi, M. Forough and M. Chakoshi, Moore-Penrose inverse of Gram operator on Hilbert C∗-modules, StudiaMath., 210(2), (2012), 189-196.

15. G.J. Murphy, C∗-algebras and operator theory, Academic PressInc., Boston, MA, 1990.

16. Z. Niazi Moghani, M. Khanehgir and M. MohammadzadehKarizaki, explicit solution to the operator equation AXD+FX∗B =C over Hilbert C∗-modules, J. Math. Anal. Appl., 10(1), (2019), pp.52-64.

17. K. Sharifi, EP modular operators and their products, J. Math. Anal.Appl., 419, (2014), pp. 870-877.

18. K. Sharifi, The product of operators with closed range in HilbertC∗-modules, Linear Algebra Appl., 435, (2011), pp. 1122-1130.

19. K. Sharifi and B. Ahmadi Bonakdar, The reverse order law forMoore-Penrose inverses of operators on Hilbert C∗-modules, Bull.Iran. Math. Soc., 42(1), (2016), pp. 53-60.

20. M. Vosough and M.S. Moslehian, Operator and Matrix Equations,Ph.d thesis, Ferdowsi University of Mashhad, (2017).

21. M. Vosough and M.S. Moslehian, Solutions of the system of opera-tor equations BXA = B = AXB = AXB via ∗-order,Electron. J.Linear Algebra, 32, (2017), pp. 172-183.

22. Q. Xu and L. Sheng, Positive semi-definite matrices of adjointableoperators on Hilbert C∗-modules, Linear Algebra Appl., 428,(2008), pp. 992-1000.

1 Department of Mathematics, Faculty of Mathematics Science and Sta-tistics, University of Birjand, Birjand 9717851367, Iran.

E-mail address: [email protected]

2 Department of Basic sciences, Birjand University of Technology, Bir-jand 9719866981, Iran

E-mail address: [email protected]