On a class of linear maps and their positive invertibility (Q4375227)

Let \(X\) and \(Y\) be separable locally convex topological spaces, \(E\) a subspace of \(X\). The author considers the class \(\Omega\) of linear maps \(T_{\alpha}: E \rightarrow Y\) (with domain of definition \(D(T_{\alpha})=E\) and taking values in \(Y\)) of the form \(T_{\alpha}=B-A_{\alpha}\) under the assumption that \(\Omega\) contains at least one bijective map \(T\) which is standard. Note, that \(\Omega\) contains Hadamard-correct maps. The author considers the following properties (\(T_{\beta}\) is a standard map): 1) \(T^{-1}_{\beta} T_{\alpha} = I - L_{\alpha,\beta}\) 2) \(T_{\alpha} T^{-1}_{\beta} =I -R_{\alpha,\beta}\), where \(I\) is the identity operator, \(L_{\alpha, \beta}: E \rightarrow E, R_{\alpha, \beta}: Y \rightarrow Y\) are linear. The author calls the map \(T_{\alpha} \in \Omega\) left (right) almost Fredholm if it satisfies 1) (2)). \textbf{Theorem}. Suppose that \(T_{\alpha}, T_{\beta}, T_{\gamma}\) are maps in \(\Omega\) such that \(T_{\alpha} \leq T_{\beta} \leq T_{\gamma}.\) 1) If \(T_{\gamma}\) is positively invertible, \(\rho(R_{\alpha, \beta})<1\), then \(T_{\alpha}, T_{\beta}\) are positively invertible and \(0 \leq T^{-1}_{\alpha} \leq T^{-1}_{\beta} \leq T^{-1}_{\gamma}.\) 2) If \(T_{\alpha}, T_{\gamma}\) are positively invertible then \(T_{\beta}\) is also positively invertible. Moreover \(\rho(R_{\beta, \gamma})<1\).