# Open subsets of the space of linear operators

If we have a Banach space $X$ and we consider the space $L(X,X)$ of linear operators. Now we have the operator norm here and this induces a metric, which in turn induces the topology. Since this is a metric space, we have the notion of open sets. So how would one show that a certain subspace is open? I'm having difficulty seeing what the open balls look like.

So the question from Folland says that: if $T$ is invertible, and $||S-T||\leq||T^{-1}||^{-1}$, then S is invertible. He then concludes that the set of Invertible Operators is open. I dont see how this follows, could someone explain please?

• It's hard to see what an open ball looks like in infinite dimension. For an example, the set of invertible operators in $L(X,X)$ is open. – Silvia Ghinassi Nov 23 '15 at 4:33
• Thats exactly what i want to show but im not sure that im looking at it from the right way, the topology generated by metric balls way. – Atherton Nov 23 '15 at 4:37
• Even though we can't really visualize it, the definition of open set stays the same: you need to show that there exists some positive number $r$ such that if $T$ is invertible and $\|S-T\|<r$ then $S$ is invertible as well. This is just saying that around any element of the open set there exists an open ball which is all contained in the open set. – Silvia Ghinassi Nov 23 '15 at 4:39
• ok ill get cracking now – Atherton Nov 23 '15 at 4:51
• Just to make sure that what im doing is right. Lets take $T,S\in L(X,X)$, with $T$ invertible. Then(im not sure about this inequality as it relies on $||-T||=||T||$) look at $||S-T||\leq ||S||+||T||$ but the things on the right were $||S||=inf\{c: ||Tx|| \leq c||x||\}$ for all x. Hence, $||S-T||\leq ||S||+||T|| \leq \alpha +\beta$ where $\alpha$ and $\beta$ are the corresponding infimums. Hence, we show that there exists an $r=\alpha+\beta$ such that $||S-T||\leq r$. – Atherton Nov 23 '15 at 5:17

Writing $S = T + W = T (I + T^{-1} W)$. It suffices to show $I + T^{-1} W$ is invertible, where $\|T^{-1} W\| \le \|T^{-1}\| \|W\| < 1$. Write $(I + T^{-1} W)^{-1}$ as a series...
Where the norms on the right are taken in $X$ and if $X = \mathbb{R}^n$, then $L(X)$ is isomorphic to $\mathbb{R}^{n^2}$(as we are just looking at matricies), with the "taxicab norm". With this norm the balls will look a lot like boxes. But we could easily choose another matrix norm and get another shape for the open sets. And this is only for the finite dimensional case, when we get to the infinite dimensional case, we have a lot more possibilities for operator norms. Also in the infinite dimensional case, there are topologies that are not induced by norms, for example the weak toplogy, which will have open sets that look different as well.
• Unless otherwise specified, the norm for $L(X,X)$, where $X$ is a Banach space, is the operator norm. – Robert Israel Nov 23 '15 at 6:00