1. Introduction
Throughout this article,
stands for the set of all
matrices over the field of complex numbers,
stands for the conjugate transpose of
,
stands for the rank of
,
stands for the identity matrix of order
m, and
stands for a columnwise partitioned matrix consisting of two submatrices
A and
B. We introduce the concepts of generalized inverses of a matrix. For an
, the Moore–Penrose generalized inverse of
A is defined to be the unique matrix
that satisfies the four Penrose equations
A square matrix
is said to be group invertible if and only if there exists a matrix
that satisfies the following three matrix equations
In such a case, the matrix
X, called the group inverse of
A, is unique and is denoted by
. For more basic results and facts concerning generalized inverses of matrices and their properties, we refer the reader to the three references [
1,
2,
3].
Since that the Moore–Penrose inverse and the group inverse of a matrix are defined from unique solutions of two different groups of matrix equations, the expressions of the two generalized inverses are not necessarily the same. Thus they have different performances and properties. In this case, algebraists are interested in the relationships of the two generalized inverses, as well as their possible equalities. On the other hand, algebraists are interested in mixed operations of the two generalized inverses, such as, , , , , etc. As one subject in this regard, this note considers establishing expansion formulas for calculating the mixed operations using a series of known results and facts related to ranks, ranges, and generalized inverses of matrices. As applications, the author constructs and classifies some groups of matrix equalities involving the above mixed operations, and derives necessary and sufficient conditions for them to hold.
3. Equalities composed of the mixed operations of the Moore–Penrose inverses and group inverses of a matrix
We first give a family of range equalities for mixed operations of the Moore–Penrose inverses and group inverses of a matrix.
Theorem 3.1.
Let with and define
Then the following range equalities
hold for
Proof. Follows from (2.6), (2.7), (2.20), and (2.21). □
Let in Lemmas 2.8 and 2.9, we first obtain the following results.
Theorem 3.2. Let Then we have the following results.
- (a)
-
The following rank equalities hold:
Consequently, the following implications hold:
- (b)
Under the condition the following rank equalities
hold. Hence,
- (c)
Under the condition the following equalities hold:
Theorem 3.3.
Let Then the following rank equality holds:
If then the following rank equalities hold:
Proof. Note that and are idempotent matrices by definition, and , , hold by definition. In these cases, applying (2.24) to the differences , , and and simplifying by Lemma 2.5, (2.6), (2.7), (2.20) and (2.21). □
In what follows, we show how to establish expansion formulas for calculating the mixed operations of the Moore–Penrose and group inverses of a matrix.
Theorem 3.4. Let with Then we have the following results.
- (a)
The following equalities always hold:
- (b)
The following equalities always hold:
- (c)
The following equalities always hold:
- (d)
The following equalities always hold:
- (e)
The following equalities always hold:
- (f)
The following equalities always hold:
Proof. The two equalities in (3.27) follow from (2.18) and (3.23) by replacing A with . Pre- and post-multiplying the two equalities with A and simplifying leads to (3.28). Pre- and post-multiplying the two equalities with and simplifying leads to (3.29).
By (2.23),
which is equivalent to (3.33) by the basic fact:
if and only if
. Pre- and post-multiplying both sides of (3.33) with
A and simplifying leads to (3.30). Replacing
A with
and
in (3.30), respectively, and noting that
,
,
, and
under
we obtain (3.31) and (3.32). Pre- and post-multiplying both sides of (3.31) and (3.32) with
A and simplifying leads to (3.34) and (3.35).
Replacing A with in (3.30)–(3.32) and simplifying results in (3.36)–(3.38). Pre- and post-multiplying both sides of (3.36)–(3.38) with and simplifying leads to (3.39)–(3.41).
Replacing A with in (3.36) and simplifying by and yields the first equality in (3.42). Substituting (3.30) in the second term in (3.42) leads to the second equality in (3.42). Replacing A with in (3.42) and simplifying yields the first equality in (3.43). Substituting (3.36) in the second term in (3.43) leads to the second equality in (3.43). Eqs. (3.44)–(3.46) can be inductively established by similar steps.
Replacing A with in (3.42)–(3.46) and simplifying by and under leads to (3.47)–(3.51).
Replacing A with in (3.47)–(3.51) and simplifying by and under leads to (3.52)–(3.56). □
As applications, we give the following two groups of results on equalities composed of mixed operations of the Moore–Penrose and group inverses of a matrix.
Theorem 3.5. Let with Then the following 8 conditions are equivalent:
- (a)
- (b)
- (c)
- (d)
- (e)
- (f)
- (g)
- (h)
Proof. The equivalences of (a)–(e) follow from (2.1) and (2.16). Substituting (3.27) and (3.30) into leads to , which is also equivalent to , thus establishing the equivalence of (a) and (f).
Pre- and post-multiplying both sides of (f) with and respectively, and simplifying leads to (g).
Note that
and
under
. In this case, we find from (2.23) that
Setting the left hand side of the equalities equal to zero results in the equivalence of (g) and (h). □
Theorem 3.6. Let with Then the following 10 conditions are equivalent:
- (a)
- (b)
- (c)
- (d)
- (e)
- (f)
- (g)
- (h)
- (i)
- (j)
Proof. The equivalence of (a) and (j) follows from (3.21).
The equivalence of (b) and (j) follows from (3.26) and the rule .
Replacing A with in (a) and noting and (2.20) and (2.21) leads to the equivalence of (c) and (j).
By the rule , we rewrite the matrix equality in (d) as , which is also equivalent to by (2.16), thus establishing the equivalence of (a) and (d).
Taking the group inverses of both sides of the equality in (c) and applying the rule leads to the equality in (e).
By (3.37) and (3.38), the equality in (f) is equivalent to . Pre- and post-multiplying both sides of the equality with and , respectively, and simplifying leads to , thus establishing the equivalence of (a) and (f) through the the fifth and the seventh equalities in (3.21).
Notice from (3.27) and (3.28) that and hold. Then, (g) is equivalent to (j) by (2.1), (2.16), and (3.26).
By (3.42) and (3.47), the equality in (h) is equivalent to
Pre- and post-multiplying both sides of the equality with and , respectively, and simplifying leads to , thus establishing the equivalence of (a) and (h) through the the third and fifth equalities in (3.21).
Taking the group inverses of both sides of the equality in (f) and applying the rule leads to the equality in (i), and the vas versa, thus establishing the equivalence of (f) and (i). □
Theorem 3.7.
Let with Then the following equalities always hold:
Proof. It is easy to verify that
and
are two idempotent matrices. In this case, applying (2.24) to the difference
, we obtain
where by Lemma 2.5, (2.5)–(2.7), and (2.19)–(2.21),
Substituting these rank equalities into (3.61) results in , i.e., , which is further equivalent to (3.57) by the second equality in (2.1). Replacing A with in (3.57) and applying the second equality in (2.1) leads to (3.58). Pre- and post-multiplying both sides of two equalities in (3.57) and (3.58) with A and , respectively, leads to (3.59) and (3.60). □
Finally, the author points out that numerous matrix expansion equalities and equivalent facts analogous to these in Theorem 3.4 can be constructed and classified by induction. As applications of these expansion equalities, it is possible to establish and characterize a wide range of equivalent facts related to matrix equalities that are composed of a matrix and its generalized inverses. As some concrete examples in this regard, the author proposes the following equivalent facts:
and leaves their verifications for the reader.