Let be a Banach Space and is invertible if there is some such that Space of invertible linear maps Proposition invertible is a bijection and is continuous is a bijection Inversion Theorem is injective and surjective Note that we need both in general, unlike the final dimensional spaces.