Perturbation analysis of bounded homogeneous generalized inverses on Banach spaces (Q2921645)

Let \(X, Y\) be Banach spaces over the field of real numbers, and \(B(X, Y)\) be the Banach space consisting of bounded linear operators from \(X\) to \(Y\). If \(T\in B(X,Y)\), then the operator \(T^h \in H(Y,X)\) (if it exists) such that \(TT^hT = T\) and \(T^hTT^h = T^h\) is called a bounded homogeneous generalized inverse of \(T\). The authors deal with the problem what conditions on the small perturbation \(\delta T\) can guarantee that a bounded homogeneous generalized inverse \(\bar {T}^h\) of the perturbed operator \(\bar {T} = T + \delta T\) exists. Furthermore, if it exists, when does \(\bar {T}^h\) have the simplest expression \((I_X + T^h\delta T)^{-1}T^h\)? The main perturbation result of the paper for bounded homogeneous generalized inverses on Banach spaces reads as follows:NEWLINENEWLINELet \(T \in B(X, Y)\) be such that \(T^h \in B(Y,X)\) exists. Suppose that \(\delta T \in B(X, Y)\) is such that \(T^h\) is quasi-additive on \(\mathcal {R}(\delta T)\) and \(I_X+T^h\delta T\) is invertible in \(B(X,X)\). Then the following statements are equivalent:NEWLINENEWLINE(1) \(T^h(I_Y +\delta TT^h)^{-1}\) is a bounded homogeneous generalized inverse of \(\bar {T}\);NEWLINENEWLINE(2) \(\mathcal {R}(\bar {T}) \cap \mathcal {N}(T^h) = \{0\}\);NEWLINENEWLINE(3) \(\mathcal {R}(\bar {T}) = (I_Y + \delta TT^h)\mathcal {R}(T)\); NEWLINENEWLINE(4) \(\mathcal {N}(T) = (I_X + T^h\delta T)\mathcal {N}(\bar {T})\);NEWLINENEWLINE(5) \((I_Y + \delta TT^h)^{-1} \bar {T}\mathcal {N}(T) \subset \mathcal {R}(T)\).NEWLINENEWLINEFor \(T\in B(X,Y)\), the authors also discuss similar questions for the so-called quasi-linear projector generalized inverse of \(T\), i.e., a bounded homogeneous operator \(T^H\in B(Y,X)\), such that there exist a bounded linear projector \(P_{\mathcal {N}(T)}\) from \(X\) onto \(\mathcal {N}(T)\) and a bounded quasi-linear projector \(Q_{\mathcal {R}(T)}\) from \(Y\) onto \(\mathcal {R}(T)\), respectively, with the propertiesNEWLINENEWLINE(1) \(TT^HT = T\);NEWLINENEWLINE(2) \(T^HTT^H = T^H\);NEWLINENEWLINE(3) \(T^HT = I_X - P_{\mathcal {N}(T)}\);NEWLINENEWLINE(4) \(TT^H = Q_{\mathcal {R}(T)}\).