In this paper, we present an extension of the so-called classical Sherman-Morrison-Woodbury (for short SMW) formula for bounded homogeneous generalized inverse in Banach spaces. Some particular cases and applications will be also considered. Our results generalize the results of many authors for finite dimensional matrices and Hilbert space operators in the literature.
It is well known the Sherman-Morrison-Woodbury (for short SMW) formula gives an explicit form for the inverse of matrices of the form A + Y G Z * :
( A + Y G Z * ) − 1 = A − 1 − A − 1 Y ( G − 1 + Z * A − 1 Y ) − 1 Z * A − 1 , (1)
where A and G be n × n and r × r nonsingular matrices with r ≤ n . Also, let Y and Z be n × r matrices such that G − 1 + Z * A − 1 Y is invertible. The SMW formula (1) is valid only if the matrices A and G − 1 + Z * A − 1 Y are invertible. Over the years, Generalizations (see [
Let X and Y be Banach spaces, and B ( X , Y ) be the Banach space consisting of all bounded linear operators from X to Y. For A ∈ B ( X , Y ) , let N ( A ) (resp. R ( A ) ) denote the kernel (resp. range) of A. It is well known that for A ∈ B ( X , Y ) , if N ( A ) and R ( A ) are topologically complemented in the spaces X and Y, respectively, then there exists a linear projector generalized inverse A + ∈ B ( Y , X ) defined by A + A x = x , x ∈ N ( A ) c and A + y = 0, y ∈ R ( A ) c , where N ( A ) c and R ( A ) c are topologically complemented subspaces of N ( A ) and R ( A ) , respectively. In this case, A + A is the projection from X onto N ( A ) c along N ( A ) and A A + is the projection from Y onto R ( A ) c along R ( A ) . But, in general, we know that not every closed subspace in a Banach space is complemented, thus, the linear generalized inverse A + of A may not exist. In this case, we may seek other types of generalised inverses for T. Motivated by the ideas of linear generalized inverses and metric generalized inverses (cf. [
The objectives of this paper are concerned with certain extensions of the so called Sherman-Morrison-Woodbury formula to operators between some Banach spaces. We consider the SMW formula in which the inverse is replaced by bounded homogeneous generalized inverse. More precisely, let X , Y be Banach spaces, and we denote the set of all bounded linear operators from X into Y by B ( X , Y ) and by B ( X ) when X = Y . Let T ∈ B ( X ) , G ∈ B ( Y ) , and U ∈ B ( Y , X ) , V ∈ B ( X , Y ) such that A h and G h exist, In the main part of this paper, we will develop some conditions under which the Sherman-Morrison-Woodbury formula can be represented as
( T + U G V ) h = T h − T h U ( G h + V T h U ) h V T h ,
where T h is a bounded homogeneous generalized inverse of T. As a consequence, some particular cases and applications will be also considered. Our results generalize the results of many authors for liner operator generalized inverses.
In this section, we recall some concepts and basic results will be used in this paper. We first present some facts about homogeneous operators. Let X , Y be Banach spaces. Denote by H ( X , Y ) the set of all bounded homogeneous operators from X to Y. Equipped with the usual linear operations for H ( X , Y ) , and for T ∈ H ( X , Y ) , the norm is defined by ‖ T ‖ = sup { ‖ T x ‖ | ‖ x ‖ = 1 , x ∈ X } . then similar to the space of bounded linear operators, we can easily prove that ( H ( X , Y ) , ‖ ⋅ ‖ ) is a Banach space. For a bounded homogeneous operator T ∈ H ( X , Y ) , we always assume that D ( T ) = X .
Definition 2.1 ( [
T ( x + z ) = T ( x ) + T ( z ) , ∀ x ∈ X , ∀ z ∈ M .
For a homogeneous operator T ∈ H ( X , X ) , if T is quasi-additive on R ( T ) , then we will simply say T is a quasi-linear operator.
Definition 2.2 ( [
P ( x + z ) = P ( x ) + P ( z ) = P ( x ) + z ,
then we call P is a quasi-linear projector.
The following concept of bounded homogeneous generalized inverse is also a generalization of bounded linear generalized inverse.
Definition 2.3 ( [
T T h T = T , T h T T h = T h ,
then we call T h is a bounded homogeneous generalized inverse of T .
Definition 2.3 was first given in paper [
In this section, we mainly study the SMW formula for bounded homogeneous generalized inverses of a bounded linear operator in Banach spaces. In order to prove our main theorems, we first need to present some lemmas. The following result is well-known for bounded linear operators, we can generalize it to bounded homogeneous operators as follows.
Lemma 3.1 ( [
The following result is well-known for bounded linear operators, we generalize it to the bounded homogeneous operators and metric projections in the following form.
Lemma 3.2. Let A ∈ H ( X ) . Let L ⊂ X be a subspace and P L be the quasi-linear projection from X onto L .
1) P L A = A if and only if R ( A ) ⊂ L ;
2) If A is quasi-additive on L , then A P L = A if and only if N ( P L ) ⊂ N ( A ) .
Proof. Here, we only prove (1), and (2) can be proved in the same way. On the one hand, if P L A = A , then R ( A ) = R ( P L A ) ⊂ R ( P L ) = L . On the other hand, for any x ∈ X , since, R ( A ) ⊂ L , we can get that ( A − P L A ) x = ( I − P L ) A x = 0 , thus, P L A = A . This completes the proof. ,
Lemma 3.3. Let A ∈ H ( X , Y ) such that A h exists. Then R ( A h A ) = R ( A h ) and N ( A A h ) = N ( A h ) .
Proof. Since A h = A h A A h , we have
R ( A h A ) ⊂ R ( A h ) = R ( A h A A h ) ⊂ R ( A h A ) .
So, R ( A h A ) = R ( A h ) . Similarly, we also have
N ( A A h ) = N ( A h A A h ) = N ( A h ) ⊂ N ( A A h ) .
Therefore, N ( A A h ) = N ( A h ) . ,
Theorem 3.4. Let T ∈ B ( X ) , G ∈ B ( Y ) , and U ∈ B ( Y , X ) , V ∈ B ( X , Y ) such that T h and G h exist, also, let S = T + U G V ∈ B ( X ) and C = G h + Math_123# such that S h and C h exist. Suppose that S h is quasi-additive on R ( T ) and R ( U ) , if
R ( T h ) ⊂ R ( S h ) , N ( T h ) ⊂ N ( S h ) , N ( G h ) ⊂ N ( U ) , N ( C h ) ⊂ N ( G ) . (2)
Then T ¯ h = T h − T h U ( G h + V T h U ) h V T h .
Proof. From (2) and Lemma 3.3,
R ( T h ) ⊂ R ( S h ) = R ( S h S ) , R ( I X − T T h ) = N ( T T h ) = N ( T h ) ⊂ N ( S h ) . (3)
Then, using Lemma 3.2, we obtain
T h = S h S T h , S h ( I − T T h ) = 0.
Note that S h is quasi-additive on R ( T ) , thus, we have S h = S h T T h , and then
T h U = S h S T h U = S h S T h U − S h T T h U + S h T T h U = S h ( S − T ) T h U + S h U .
Similarly, by Lemma 3.2, and also note that U ∈ B ( Y , X ) , then, from N ( G h ) ⊂ N ( U ) , we get U = U G G h . Now, Since S h is also quasi-additive on R ( U ) and S − T = U G V , thus
T h U = S h ( S − T ) T h U + S h U = S h U G V T h U + S h G G U = S h U G C . (4)
Now using Lemma 3.2 again, also note that N ( C h ) ⊂ N ( G ) and (4), we get
S h U G = S h U G C C h = T h U C h . (5)
Now, using (5), by simple computation, we can obtain
( T + U G V ) h = S h T T h = S h ( S − U G V ) T h = T h − T h U C h V T h = T h − T h U ( G h + V T h U ) h V T h .
This completes the proof. ,
In above Theorem 3.4, if C and G are all invertible, we have the following result.
Corollary 3.5. Let T ∈ B ( X ) , G ∈ B ( Y ) , and U , V ∈ B ( Y , X ) such that T h and G − 1 exist, also, let S = T + U G V ∈ B ( X ) and C = G − 1 + V T h U ∈ H ( X ) such that S h and C − 1 exist. Suppose that S h is quasi-additive on R ( T ) and R ( U ) , if
R ( T h ) ⊂ R ( S h ) , R ( T h ) ⊂ R ( S h ) . (6)
Then, S h = T h − T h U ( G h + V T h U ) h V T h .
Furthermore, if A is invertible and G = I Y in Corollary 3.5, then we also have the following result.
Corollary 3.6 ( [
( A + U V ) − 1 = A − 1 − A − 1 U ( I Y + V A − 1 U ) − 1 V A − 1 . (7)
Proof. Since A − 1 exists, then, from Lemma 3.1, we see I X + A − 1 U V is invertible if and only if I Y + V A − 1 U is invertible. Now, using the equality A + U V = A ( I X + A − 1 U V ) , we see A + U V is invertible if and only if I X + A − 1 U V is invertible. The formula (7) can be obtained by some simple computations. ,
Theorem 3.7. Let T ∈ B ( X ) , G ∈ B ( Y ) , and U ∈ B ( Y , X ) , V ∈ B ( X , Y ) such that T h and G h exist, also, let S = T + U G V ∈ B ( X ) and C = G h Math_187# such that S h and C h exist. Suppose that T h and S h are quasi-additive on R ( T ) and R ( U ) . If any of the following conditions holds:
i) N ( T h T ) ⊂ N ( V ) , N ( C h C ) ⊂ N ( U ) , R ( V ) ⊂ R ( G h ) ,
ii) N ( G h ) ⊂ N ( U ) , R ( V ) ⊂ R ( C h C ) , R ( U ) ⊂ R ( T T h ) ,
then S h = T h − T h U ( G h + V T h U ) h V T h .
Proof. For convenience, set Γ = T h − T h U ( G h + V T h U ) h V T h , we will show that S h = Γ . Here, we only give the proof under the assumption (i). Another can be proved similarly. Note that, if N ( T h T ) ⊂ N ( V ) , N ( C h C ) ⊂ N ( U ) , R ( V ) ⊂ R ( G h ) then by Lemma 3.2, we have
V ( I − T h T ) = 0 , U ( I − C h C ) = 0 , ( I − G h G ) V = 0.
Consequently, we obtain
Γ S = ( T h − T h U ( G h + V T h U ) h V T h ) ( T + U G V ) = T h T + T h U G V − T h U ( G h + V T h U ) h V T h T − T h U ( G h + V T h U ) h V T h U G V = T h + T h U ( G h + V T h U ) h V T h = T h T + T h U ( I − C h C ) G V − T h U C h ( I − G G ) V = T h T .
Similarly, we can also check that S Γ = T T h . Thus, we have
Γ S Γ = T h T Γ = Γ , S Γ S = T T h S = S .
From Definition 2.3, we have Γ = S h This completes the proof. ,
If we let G = I Y and assume that I Y + V T h U is invertible in Theorem 3.7, then we can get the following result.
Corollary 3.8. Let T ∈ B ( X ) , U ∈ B ( Y , X ) and V ∈ B ( X , Y ) such that T h exists. Suppose that T h is quasi-additive on R ( T ) . If I Y + V T h U ∈ H ( Y ) is invertible and N ( T ) ⊂ N ( V ) , R ( U ) ⊂ R ( T ) then ( T + U V ) h = T h − T h U ( I Y + V T h U ) − 1 V T h and
‖ ( T + U V ) h − T h ‖ ≤ ‖ T h U ‖ ‖ V T h ‖ 1 − ‖ V T h U ‖ .
In this paper, we develop conditions under which the so-called Sherman-Morrison-Woodbury formula can be represented by the bounded homogeneous generalized inverse. More precisely, we will develop some conditions under which the Sherman-Morrison-Woodbury formula holds for the bounded homogeneous generalized inverse in Banach space. Note that this is the first related results about nonlinear generalized inverse. As a result, our results generalize the results of many authors for finite dimensional matrices and Hilbert space operators in the literature.
The author is supported by China Postdoctoral Science Foundation (No. 2015M582186), the Science and Technology Research Key Project of Education Department of Henan Province (No. 18A110018), Henan Institute of Science and Technology Postdoctoral Science Foundation (No. 5201029470209).
Cao, J.B. (2017) The SMW Formula for Bounded Homogeneous Generalized Inverses with Applications. Journal of Applied Mathematics and Physics, 5, 1703-1709. https://doi.org/10.4236/jamp.2017.59143