ABSTRACT

In this paper, by using a block-operator matrix technique, we study mixed-type reverse order laws for {1,3}-, {1,2,3}- and {1,3,4}-generalized inverses over Hilbert spaces. It is shown that $\left\{{\left(AB\right)}^{\left(1,\text{3}\right)}\right\}=\left\{B^{\left(1,\text{3}\right)}{\left(AB{B}^{\left(1,\text{3}\right)}\right)}^{\left(1,\text{3}\right)}\right\}$ and $\left\{{\left(AB\right)}^{\left(1,2,i\right)}\right\}=\left\{B^{\left(1,2,i\right)}{\left(AB{B}^{\left(1,2,i\right)}\right)}^{\left(1,2,i\right)}\right\},\left(i=3,4\right)$ when the ranges of $A,B,AB$ are closed. Moreover, a new equivalent condition of $\left\{{\left(AB\right)}^{\left(1,3,4\right)}\right\}=$ $\left\{B^{\left(1,3,4\right)}{\left(AB{B}^{\left(1,3,4\right)}\right)}^{\left(1,3,4\right)}\right\}$ is given.

Keywords:

{1,2,3}-Reverse, {1,3,4}-Reverse, Reverse Order Law, Block-Operator Matrix

1. Introduction

The reverse order law of generalized inverses plays an important role in theoretic research and numerical computations in many areas, including the singular matrix problem and optimization problem. They have attracted considerable attention since the middle 1960s, and many interesting results have been studied, see [1] - [10] .

For convenience, we firstly introduce some notations. Let H and K be infinite dimensional Hilbert spaces and $B\left(H,K\right)$ be the set of all bounded linear operators from H to K and abbreviate $B\left(K,H\right)$ to $B\left(H\right)$ if $K=H$ . For an operator $A\in B\left(H,K\right)$ , $N\left(A\right)$ and $R\left(A\right)$ are the null space and the range of A, respectively. Denote by A* the adjoint of A. Recall that $A\in B\left(H,K\right)$ has a Moore-Penrose inverse if there exists an operator $G\in B\left(K,H\right)$ satisfies the following four equations, which is said to be the Moore-Penrose conditions:

$\left(1\right)AGA=A;\left(2\right)GAG=G;\left(3\right){\left(AG\right)}^{*}=AG;\left(4\right){\left(GA\right)}^{*}=GA.$

If one exists, the Moore-Penrose inverse of A is unique and it is denoted by A⁺. And let $A\left\{i,j,\cdots ,k\right\}$ denote the set of all operator $G\in B\left(K,H\right)$ which satisfy equations $\left(i\right),\left(j\right),\cdots ,\left(k\right)$ from among the above Moore-Penrose equations. Such G will be called a $\left\{i,j,k\right\}$ -inverse of A and will be denoted by $A^{\left(i,j,k\right)}$ . evidently, $A\left\{1,2,3,4\right\}=A^{+}$ when A has closed range.

For the Moore-Penrose inverse, Greville [2] gave the necessary and sufficient conditions for ${\left(AB\right)}^{+}=B^{+}{A}^{+}$ on matrix algebra, this result was extended to bounded operators on Hilbert space by Izumino [4] . Subsequently, some researcher discussed the reverse order laws of other type generalized inverses, such

as $\left(AB\right)\theta =B\theta A\theta ,\theta \subset \left\{1,2,3,4\right\}$ [5] [6] [8] [10] . The mixed-type reverse-order

laws for AB like ${\left(AB\right)}^{+}=B^{+}{\left(A^{+}AB\right)}^{+}$ and ${\left(AB\right)}^{+}={\left(A^{+}AB\right)}^{+}{A}^{+}$ were considered in [3] [4] when A and B are matrices. Motivated by this, Wang et al. [7] studied the mixed-type reverse-order laws for $A{B}^{\left(1,3\right)}$ . Yang and Liu [9] gave the

equivalent condition of $\left\{{\left(AB\right)}^{\left(1,2,i\right)}\right\}=\left\{B^{\left(1,2,i\right)}{\left(AB{B}^{\left(1,2,i\right)}\right)}^{\left(1,2,i\right)}\right\},\left(i=3,4\right)$ , by using

the extremal ranks of generalized Schur complements, when A and B are matrices. The mixed-type reverse order laws of ${\left(AB\right)}^{\left(1,3,4\right)}$ were discussed on operator space over Hilbert space [5] .

In this article, we study the mixed-type reverse order laws of ${\left(AB\right)}^{\left(1,2,i\right)}$ , ${\left(AB\right)}^{\left(1,3\right)}$ and ${\left(AB\right)}^{\left(1,3,4\right)}$ over infinite Hilbert space by using a block-operator matrix technique. For given A, B, it is shown that

$\left\{{\left(AB\right)}^{\left(1,3\right)}\right\}=\left\{B^{\left(1,3\right)}{\left(AB{B}^{\left(1,3\right)}\right)}^{\left(1,3\right)}\right\}$

and

$\left\{{\left(AB\right)}^{\left(1,2,i\right)}\right\}=\left\{B^{\left(1,2,i\right)}{\left(AB{B}^{\left(1,2,i\right)}\right)}^{\left(1,2,i\right)}\right\},\left(i=3,4\right)$

when the ranges of A, B, AB are closed. We generalized the results from [7] and [9] to the case of bounded linear operators on Hilbert spaces. Moreover, a new

equivalent condition of $\left\{{\left(AB\right)}^{\left(1,3,4\right)}\right\}=\left\{B^{\left(1,3,4\right)}{\left(AB{B}^{\left(1,3,4\right)}\right)}^{\left(1,3,4\right)}\right\}$ is given.

2. Main Results

To obtain our main results, we begin with some notations and lemmas. Let $A\in B\left(H,K\right)$ with closed range. It is well known that A has the following matrix decomposition

$A=\left[\begin{array}{cc}{A}_1& 0\\ 0& 0\end{array}\right]:\left[\begin{array}{c}R\left(A^{*}\right)\\ N\left(A\right)\end{array}\right]\to \left[\begin{array}{c}R\left(A\right)\\ N\left(A^{*}\right)\end{array}\right],$ (2.1)

where $A_1$ is invertible. Also, $A^{+}$ has the form

$A^{+}=\left[\begin{array}{cc}{A}_1^{-1}& 0\\ 0& 0\end{array}\right]:\left[\begin{array}{c}R\left(A\right)\\ N\left(A^{*}\right)\end{array}\right]\to \left[\begin{array}{c}R\left(A^{*}\right)\\ N\left(A\right)\end{array}\right].$ (2.2)

The {1,2,3}- and {1,3,4}-inverse has also similarly matrix form.

Lemma 1 ( [5] ). Let $A\in B\left(H,K\right)$ have closed range. Then

$A\left\{1,3\right\}=\left\{\left[\begin{array}{cc}{A}_1^{-1}& 0\\ X_3& X_{\text{4}}\end{array}\right]:\left[\begin{array}{c}R\left(A\right)\\ N\left(A^{*}\right)\end{array}\right]\to \left[\begin{array}{c}R\left(A^{*}\right)\\ N\left(A\right)\end{array}\right]\right\}$ ,

$A\left\{1,2,3\right\}=\left\{\left[\begin{array}{cc}{A}_1^{-1}& 0\\ X_3& 0\end{array}\right]:\left[\begin{array}{c}R\left(A\right)\\ N\left(A^{*}\right)\end{array}\right]\to \left[\begin{array}{c}R\left(A^{*}\right)\\ N\left(A\right)\end{array}\right]\right\}$

and

$A\left\{1,3,4\right\}=\left\{\left[\begin{array}{cc}{A}_1^{-1}& 0\\ 0& X_4\end{array}\right]:\left[\begin{array}{c}R\left(A\right)\\ N\left(A^{*}\right)\end{array}\right]\to \left[\begin{array}{c}R\left(A^{*}\right)\\ N\left(A\right)\end{array}\right]\right\}.$

Let $A\in B\left(H,K\right)$ , $B\in B\left(L,H\right)$ and $AB\in B\left(L,K\right)$ with closed ranges. For convenience, denote by

$\{\begin{array}{l}{H}_1=R\left(B\right)\cap N\left(A\right),\\ H_2=R\left(B\right){\Theta }^{\perp }{H}_1,\\ H_3=N\left(B^{*}\right)\cap N\left(A\right),\\ H_4=N\left(B^{*}\right){\Theta }^{\perp }{H}_3,\end{array}$ $\{\begin{array}{l}{K}_1=R\left(AB\right)\\ K_2=R\left(A\right){\Theta }^{\perp }R\left(AB\right)\end{array}$ ,

and

$L_1=B^{+}\left(H_1\right),L_2=R\left(B^{*}\right){\Theta }^{\perp }{L}_1.$

then

$H=H_1\oplus H_2\oplus H_3\oplus H_4$ , $K=K_1\oplus K_2\oplus N\left(A^{*}\right)$

and

$L=L_1\oplus L_2\oplus N\left(B\right)$ .

Under these space decomposition, we get two useful representations of operators $A\in B\left(H,K\right)$ and $B\in B\left(L,K\right)$ .

Lemma 2 ( [9] [10] ). Let $A\in B\left(H,K\right)$ , $B\in B\left(L,K\right)$ such that $R\left(A\right),R\left(B\right)$ and $R\left(AB\right)$ are closed.

If $AB\ne 0$ , the following statements hold,

(1) When $H_1\ne \left\{0\right\}$ , A and B have the matrix form as follows, respectively,

$A=\left[\begin{array}{cccc}0& A_{12}& 0& A_{14}\\ 0& 0& 0& A_{24}\\ 0& 0& 0& 0\end{array}\right]:\left[\begin{array}{c}{H}_1\\ H_2\\ H_3\\ H_4\end{array}\right]\to \left[\begin{array}{c}{K}_1\\ K_2\\ N\left(A^{*}\right)\end{array}\right],$ (2.3)

$B=\left[\begin{array}{ccc}{B}_{11}& B_{12}& 0\\ 0& B_{22}& 0\\ 0& 0& 0\\ 0& 0& 0\end{array}\right]:\left[\begin{array}{c}{L}_1\\ L_2\\ N\left(B\right)\end{array}\right]\to \left[\begin{array}{c}{H}_1\\ H_2\\ H_3\\ H_4\end{array}\right],$ (2.4)

where $A_{11}$ , $B_{11}$ , $B_{22}$ are invertible and $A_{22}$ is surjective.

(2) When $H_1=\left\{0\right\}$ ,

$A=\left[\begin{array}{ccc}{A}_{12}& 0& A_{14}\\ \text{0}& 0& A_{24}\\ \text{0}& 0& 0\end{array}\right]:\left[\begin{array}{c}{H}_2\\ H_3\\ H_4\end{array}\right]\to \left[\begin{array}{c}{K}_1\\ K_2\\ N\left(A^{*}\right)\end{array}\right],$ (2.5)

$B=\left[\begin{array}{cc}{B}_{22}& 0\\ 0& 0\\ 0& 0\end{array}\right]:\left[\begin{array}{c}{L}_2\\ N\left(B\right)\end{array}\right]\to \left[\begin{array}{c}{H}_2\\ H_3\\ H_4\end{array}\right],$ (2.6)

where $A_{12}$ , $B_{22}$ are invertible and $A_{24}$ is surjective.

Theorem 3. Let $A\in B\left(H,K\right)$ , $B\in B\left(L,H\right)$ such that $R\left(A\right),R\left(B\right)$ and $R\left(AB\right)$ are closed. Then

$\left\{{\left(AB\right)}^{\left(1,2,3\right)}\right\}=\left\{B^{\left(1,2,3\right)}{\left(AB{B}^{\left(1,2,3\right)}\right)}^{\left(1,2,3\right)}\right\}$ .

Proof If $AB=0$ , then $\left(AB\right)\left\{1,2,3\right\}=\left\{0\right\}$ , the result holds. So assume that $AB\ne 0$ . Next, we divide the proof into two cases.

Case 1. $H_1\ne \left\{0\right\}$ .

In this case, A, B have matrix forms (2.3) and (2.4), respectively. This implies that

$AB=\left[\begin{array}{ccc}0& A_{12}{B}_{22}& 0\\ 0& 0& 0\\ 0& 0& 0\end{array}\right]:\left[\begin{array}{c}{J}_1\\ J_2\\ N\left(B\right)\end{array}\right]\to \left[\begin{array}{c}{K}_1\\ K_2\\ N\left(A^{*}\right)\end{array}\right].$ (2.7)

Using Lemma 1, we get

$B^{\left(\text{123}\right)}=\left[\begin{array}{cccc}{B}_{11}^{-1}& -B_{11}^{-1}{B}_{12}{B}_{22}^{-1}& 0& 0\\ 0& B_{22}^{-1}& 0& 0\\ F_{31}& F_{32}& 0& 0\end{array}\right]:\left[\begin{array}{c}{H}_1\\ H_2\\ H_3\\ H_4\end{array}\right]\to \left[\begin{array}{c}{L}_1\\ L_2\\ N\left(B\right)\end{array}\right],$ (2.8)

and

${\left(AB\right)}^{\left(123\right)}=\left[\begin{array}{ccc}{M}_{11}& 0& 0\\ B_{22}^{-1}{A}_{12}^{-1}& 0& 0\\ M_{31}& 0& 0\end{array}\right]:\left[\begin{array}{c}{K}_1\\ K_2\\ N\left(A^{*}\right)\end{array}\right]\to \left[\begin{array}{c}{L}_1\\ L_2\\ N\left(B\right)\end{array}\right].$ (2.9)

where $F_{31},F_{32},M_{11},M_{31}$ are arbitrary. Combining formulae (2.7) with (2.8), it is easy to get

$AB{B}^{\left(\text{123}\right)}=\left[\begin{array}{cccc}0& A_{12}& 0& 0\\ 0& 0& 0& 0\\ 0& 0& 0& 0\end{array}\right]:\left[\begin{array}{c}{H}_1\\ H_2\\ H_3\\ H_4\end{array}\right]\to \left[\begin{array}{c}{K}_1\\ K_2\\ N\left(A^{*}\right)\end{array}\right].$

Using Lemma 1 again, we have

${\left(AB{B}^{\left(\text{123}\right)}\right)}^{\left(\text{123}\right)}=\left[\begin{array}{ccc}{G}_{11}& 0& 0\\ A_{12}^{-1}& 0& 0\\ G_{31}& 0& 0\\ G_{41}& 0& 0\end{array}\right]:\left[\begin{array}{c}{K}_1\\ K_2\\ N\left(A^{*}\right)\end{array}\right]\to \left[\begin{array}{c}{H}_1\\ H_2\\ H_3\\ H_4\end{array}\right],$ (2.10)

where $G_{i1},i=1,3,4$ are arbitrary. By direct computation, it is clearly from (2.8) and (2.10) that

$B^{\left(123\right)}{\left(AB{B}^{\left(\text{123}\right)}\right)}^{\left(\text{123}\right)}=\left[\begin{array}{ccc}{P}_{11}& 0& 0\\ B_{22}^{-1}& 0& 0\\ P_{31}& 0& 0\end{array}\right]:\left[\begin{array}{c}{K}_1\\ K_2\\ N\left(A^{*}\right)\end{array}\right]\to \left[\begin{array}{c}{L}_1\\ L_2\\ N\left(B\right)\end{array}\right],$ (2.11)

where $P_{11}=B_{11}^{-1}{G}_{11}-B_{11}^{-1}{B}_{12}{B}_{22}^{-1}{A}_{12}^{-1}$ , $P_{31}=F_{31}{G}_{11}+F_{32}{A}_{12}^{-1}$ . Thus, by the arbitrariness of $G_{11},F_{31},F_{32}$ , it follows from fromulae (2.9) and (2.11) that

$\left\{{\left(AB\right)}^{\left(1,2,3\right)}\right\}=\left\{B^{\left(1,2,3\right)}{\left(AB{B}^{\left(1,2,3\right)}\right)}^{\left(1,2,3\right)}\right\}$

holds.

Case 2 $H_1=\left\{0\right\}$ . Obviously, $L_1=\left\{0\right\}$ . Consequently, $H=H_2\oplus H_3\oplus H_4$ and $L=L_2\oplus N\left(B\right)$ . By Lemma 2, $A,B$ have matrix forms (2.5) and (2.6), respectively. This follows that

$AB=\left[\begin{array}{cc}{A}_{12}{B}_{22}& 0\\ 0& 0\\ 0& 0\end{array}\right]:\left[\begin{array}{c}{L}_2\\ N\left(B\right)\end{array}\right]\to \left[\begin{array}{c}{K}_1\\ K_2\\ N\left(A^{*}\right)\end{array}\right].$ (2.12)

By Lemma 1, we get

$B^{\left(\text{123}\right)}=\left[\begin{array}{ccc}{B}_{22}^{-1}& 0& 0\\ F_{21}& 0& 0\end{array}\right]:\left[\begin{array}{c}{H}_2\\ H_3\\ H_4\end{array}\right]\to \left[\begin{array}{c}{L}_2\\ N\left(B\right)\end{array}\right],$ (2.13)

and

${\left(AB\right)}^{\left(123\right)}=\left[\begin{array}{ccc}{B}_{22}^{-1}{A}_{12}^{-1}& 0& 0\\ M_{21}& 0& 0\end{array}\right]:\left[\begin{array}{c}{K}_1\\ K_2\\ N\left(A^{*}\right)\end{array}\right]\to \left[\begin{array}{c}{L}_2\\ N\left(B\right)\end{array}\right].$ (2.14)

where $F_{21},M_{21}$ are arbitrary. Combining formulae (2.12) with (2.13),

$AB{B}^{\left(\text{123}\right)}=\left[\begin{array}{ccc}{A}_{12}& 0& 0\\ 0& 0& 0\\ 0& 0& 0\end{array}\right]:\left[\begin{array}{c}{H}_2\\ H_3\\ H_4\end{array}\right]\to \left[\begin{array}{c}{K}_1\\ K_2\\ N\left(A^{*}\right)\end{array}\right].$

Again from Lemma 1,

${\left(AB{B}^{\left(\text{123}\right)}\right)}^{\left(\text{123}\right)}=\left[\begin{array}{ccc}{A}_{12}^{-1}& 0& 0\\ Q_{21}& 0& 0\\ Q_{31}& 0& 0\end{array}\right]:\left[\begin{array}{c}{K}_1\\ K_2\\ N\left(A^{*}\right)\end{array}\right]\to \left[\begin{array}{c}{H}_2\\ H_3\\ H_4\end{array}\right],$

where $Q_{21},Q_{31}$ are arbitrary. By direct computation, it is clearly that

$B^{\left(123\right)}{\left(AB{B}^{\left(\text{123}\right)}\right)}^{\left(\text{123}\right)}=\left[\begin{array}{ccc}{B}_{22}^{-1}{A}_{12}^{-1}& 0& 0\\ F_{21}{A}_{12}^{-1}& 0& 0\end{array}\right]:\left[\begin{array}{c}{K}_1\\ K_2\\ N\left(A^{*}\right)\end{array}\right]\to \left[\begin{array}{c}{L}_2\\ N\left(B\right)\end{array}\right].$ (2.15)

Thus, from fromulae (2.14) and (2.15), it is clear that

$\left\{{\left(AB\right)}^{\left(1,2,3\right)}\right\}=\left\{B^{\left(1,2,3\right)}{\left(AB{B}^{\left(1,2,3\right)}\right)}^{\left(1,2,3\right)}\right\}$

also holds in this case. The proof is completed.

From the relationship of {1,2,3}-inverse and {1,2,4}-inverse, we can obtain the following result without proof.

Corollary 4. Let $A\in B\left(H,K\right)$ , $B\in B\left(L,H\right)$ such that $R\left(A\right),R\left(B\right)$ and $R\left(AB\right)$ are closed. Then

$\left\{{\left(AB\right)}^{\left(1,2,4\right)}\right\}=\left\{B^{\left(1,2,4\right)}{\left(AB{B}^{\left(1,2,4\right)}\right)}^{\left(1,2,4\right)}\right\}$ .

Similar to the proof of Theorem 3, we also can get the following result.

Theorem 5. Let $A\in B\left(H,K\right)$ , $B\in B\left(L,H\right)$ such that $R\left(A\right),R\left(B\right)$ and $R\left(AB\right)$ are closed. Then

$\left\{{\left(AB\right)}^{\left(1,3\right)}\right\}=\left\{B^{\left(1,3\right)}{\left(AB{B}^{\left(1,3\right)}\right)}^{\left(1,3\right)}\right\}$ .

In [5] , the author gave a necessary and sufficient condition of

$\left\{{\left(AB\right)}^{\left(1,3,4\right)}\right\}=\left\{B^{\left(1,3,4\right)}{\left(AB{B}^{\left(1,3,4\right)}\right)}^{\left(1,3,4\right)}\right\}$ . Next, we give a new equivalent condition

of the mixed-type reverse order law for ${\left(AB\right)}^{\left(134\right)}$ .

Theorem 6. Let $A\in B\left(H,K\right)$ , $B\in B\left(L,H\right)$ such that $R\left(A\right),R\left(B\right)$ and $R\left(AB\right)$ are closed. If $AB\ne 0$ , the following statements are equivalent,

(1) $\left\{{\left(AB\right)}^{\left(1,3,4\right)}\right\}=\left\{B^{\left(1,3,4\right)}{\left(AB{B}^{\left(1,3,4\right)}\right)}^{\left(1,3,4\right)}\right\}$ ;

(2) $R\left(B{B}^{*}{A}^{*}\right)\subset R\left(A^{*}\right).$

Proof We divide the proof into two cases.

Case 1. $H_1\ne \left\{0\right\}$ . Using Lemma 2, A, B have matrix forms (2.3) and (2.4), respectively. The operator AB has the matrix decomposition (2.7). Then

$A^{*}=\left[\begin{array}{ccc}0& 0& 0\\ A_{12}^{\ast }& 0& 0\\ 0& 0& 0\\ A_{14}^{\ast }& A_{24}^{\ast }& 0\end{array}\right]:\left[\begin{array}{c}{K}_1\\ K_2\\ N\left(A^{*}\right)\end{array}\right]\to \left[\begin{array}{c}{H}_1\\ H_2\\ H_3\\ H_4\end{array}\right]$ (2.16)

and

$B{B}^{*}{A}^{*}=\left[\begin{array}{ccc}{B}_{12}{B}_{12}^{\ast }{A}_{12}^{\ast }& 0& 0\\ B_{22}{B}_{12}^{\ast }{A}_{12}^{\ast }& 0& 0\\ 0& 0& 0\\ 0& 0& 0\end{array}\right]:\left[\begin{array}{c}{K}_1\\ K_2\\ N\left(A^{*}\right)\end{array}\right]\to \left[\begin{array}{c}{H}_1\\ H_2\\ H_3\\ H_4\end{array}\right]$ (2.17)

by direct computation from (2.3) and (2.4). Therefore, comparing (2.16) with (2.17), it is natural that $R\left(B{B}^{*}{A}^{*}\right)\subset R\left(A^{*}\right)$ if and only if $B_{12}{B}_{12}^{\ast }{A}_{12}^{\ast }=0$ . So $R\left(B{B}^{*}{A}^{*}\right)\subset R\left(A^{*}\right)$ if and only if $B_{12}=0$ since $A_{12}$ is invertilbe.

On the other hand, it follows from Lemma 1 that

$B^{\left(\text{134}\right)}=\left[\begin{array}{cccc}{B}_{11}^{-1}& -B_{11}^{-1}{B}_{12}{B}_{22}^{-1}& 0& 0\\ 0& B_{22}^{-1}& 0& 0\\ 0& 0& F_{33}& F_{34}\end{array}\right]:\left[\begin{array}{c}{H}_1\\ H_2\\ H_3\\ H_4\end{array}\right]\to \left[\begin{array}{c}{L}_1\\ L_2\\ N\left(B\right)\end{array}\right],$ (2.18)

and

${\left(AB\right)}^{\left(134\right)}=\left[\begin{array}{ccc}0& M_{12}& M_{13}\\ B_{22}^{-1}{A}_{12}^{-1}& 0& 0\\ 0& M_{32}& M_{33}\end{array}\right]:\left[\begin{array}{c}{K}_1\\ K_2\\ N\left(A^{*}\right)\end{array}\right]\to \left[\begin{array}{c}{L}_1\\ L_2\\ N\left(B\right)\end{array}\right].$ (2.19)

where $F_{33},F_{34},M_{ij},\left(i=1,3,j=2,3\right)$ are arbitrary.

Combining formulae (2.7) with (2.18), it is easy to get

$AB{B}^{\left(\text{134}\right)}=\left[\begin{array}{cccc}0& A_{12}& 0& 0\\ 0& 0& 0& 0\\ 0& 0& 0& 0\end{array}\right]:\left[\begin{array}{c}{H}_1\\ H_2\\ H_3\\ H_4\end{array}\right]\to \left[\begin{array}{c}{K}_1\\ K_2\\ N\left(A^{*}\right)\end{array}\right]$ .

Using Lemma 1 again, we have

${\left(AB{B}^{\left(\text{134}\right)}\right)}^{\left(\text{134}\right)}=\left[\begin{array}{ccc}0& G_{12}& G_{13}\\ A_{12}^{-1}& 0& 0\\ 0& G_{32}& G_{33}\\ 0& G_{42}& G_{43}\end{array}\right]:\left[\begin{array}{c}{K}_1\\ K_2\\ N\left(A^{*}\right)\end{array}\right]\to \left[\begin{array}{c}{H}_1\\ H_2\\ H_3\\ H_4\end{array}\right].$ (2.20)

where $G_{ij}\left(i=1,3,4,j=2,3\right)$ are arbitrary. By direct computation, it is clearly from (2.18) and (2.20) that

$B^{\left(134\right)}{\left(AB{B}^{\left(\text{134}\right)}\right)}^{\left(\text{134}\right)}=\left[\begin{array}{ccc}-B_{11}^{-1}{B}_{12}{B}_{22}^{-1}{A}_{12}^{-1}& B_{11}^{-1}{G}_{12}& B_{11}^{-1}{G}_{13}\\ B_{22}^{-1}{A}_{12}^{-1}& 0& 0\\ 0& F_{33}{G}_{32}+F_{34}{G}_{42}& F_{33}{G}_{33}+F_{34}{G}_{43}\end{array}\right].$ (2.21)

Comparing (2.21) with (2.19), we have

$\left\{{\left(AB\right)}^{\left(1,3,4\right)}\right\}=\left\{B^{\left(1,3,4\right)}{\left(AB{B}^{\left(1,3,4\right)}\right)}^{\left(1,3,4\right)}\right\}$

if and only if $-B_{11}^{-1}{B}_{12}{B}_{22}^{-1}{A}_{12}^{-1}=0$ , that is, $B_{12}=0$ . Therefore, $\left\{{\left(AB\right)}^{\left(1,3,4\right)}\right\}=$ $\left\{B^{\left(1,3,4\right)}{\left(AB{B}^{\left(1,3,4\right)}\right)}^{\left(1,3,4\right)}\right\}$ if and only if $R\left(B{B}^{*}{A}^{*}\right)\subset R\left(A^{*}\right)$ .

Case 2 $H_1=\left\{0\right\}$ . Then A, B have matrix forms (2.5) and (2.6), respectively. By similarly discussing to case 1 and case 2 in the proof of Theorem 3.2, it is easy

to get that $\left\{{\left(AB\right)}^{\left(1,3,4\right)}\right\}=\left\{B^{\left(1,3,4\right)}{\left(AB{B}^{\left(1,3,4\right)}\right)}^{\left(1,3,4\right)}\right\}$ and $R\left(B{B}^{*}{A}^{*}\right)\subset R\left(A^{*}\right)$ al-

ways hold in this case.

So the proof is completed.

Acknowledgements

This subject is supported by NSF of China (No. 11501345) and the Natural Science Basic Research Plan of Henan Province (No. 152300410221).

Cite this paper

Zhang, H.Y. and Lu, F.L. (2017) Mixed-Type Reverse Order Laws for Generalized Inverses over Hilbert Space. Applied Mathematics, 8, 637-644. https://doi.org/10.4236/am.2017.85050

References