6
$\begingroup$

Suppose that $X$ and $Y$ are Banach spaces. Is $\{f\in B(X,Y):f\ \text{has a left inverse}\}$ an open subset of $B(X,Y)$?

$\endgroup$
5
  • 4
    $\begingroup$ In fact, both the set of left and right inverses in B(X,Y) are open sets. The set of surjective operators as well -- while, of course the injective operators do not make an open set, unless it's empty. $\endgroup$ Aug 20, 2014 at 15:22
  • 1
    $\begingroup$ @Pietro Would you please explain why the set of injective operators is not necessarily open? $\endgroup$
    – Aurora
    Aug 20, 2014 at 19:00
  • 1
    $\begingroup$ Just think to Id/n... $\endgroup$ Aug 20, 2014 at 19:41
  • 2
    $\begingroup$ If $X=Y$ is of finite dimension, injective operators are surjective. One thus needs infinite dimensional spaces to have the set of injectivions not open. Anyway, the "right" question would be not for injections but for monohomomorphisms, i.e., injections with closed range (surjections between Banach spaces are always epihomomorphisms, i.e. open). $\endgroup$ Aug 21, 2014 at 12:13
  • $\begingroup$ What is the topology on $B(X,Y)$? The norm topology? Or the (weaker) "strong topology" (induced by $Y^X$, with $X$ viewed as discrete)? $\endgroup$
    – YCor
    Nov 25, 2022 at 12:58

1 Answer 1

11
$\begingroup$

Yes. Let $U=\{A\in B(X,Y);\text{there is }B\in B(Y,X)\text{ so that }BA=I_X\}$. (You probably want to have the left inverse in $B(Y,X)$. Otherwise you can get counterexamples from compact injections.)

Take any $A\in U$. Then there is $B\in B(Y,X)$ so that $BA=I_X$. Suppose $C\in B(X,Y)$ satisfies $\|C\|\leq\frac12\|B\|^{-1}$. Then $B(A+C)=I_X+BC\in B(X,X)$. Now $\|BC\|\leq\|B\|\cdot\|C\|\leq\frac12$, so $I_X+BC$ has a continuous inverse by Neumann series. Since $(I_X+BC)^{-1}B(A+C)=I_X$, the operator $A+C$ has a continuous left inverse. Therefore $A$ is an interior point of $U$.

The same argument with obvious modifications shows that the set of right invertible operators is open.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.