Open Mapping Theorem

The open mapping theorem is one of the three pillar theorems of Banach space theory, alongside the Hahn-Banach theorem and the uniform boundedness principle. It states that if a continuous linear operator between Banach spaces is surjective, then it is an open map: the image of every open set is open. This seemingly technical result has profound consequences: it guarantees that continuous bijections between Banach spaces have continuous inverses, and it ensures that equivalent norms on a Banach space generate the same topology.

The theorem is inherently infinite-dimensional. In finite dimensions, all linear operators are continuous and all bijections are homeomorphisms. In infinite dimensions, continuity and surjectivity do not automatically guarantee openness — the theorem closes this gap by leveraging the completeness of Banach spaces through the Baire category theorem.

The open mapping theorem is often called the 'bounded inverse theorem' in applied contexts, where its role is to guarantee that well-posed problems have stable solutions. But its deeper significance is topological: it reveals that the algebraic condition of surjectivity, when combined with the analytic condition of continuity and the structural condition of completeness, forces a geometric conclusion about open sets. This is the signature move of functional analysis — the deduction of geometric structure from algebraic and analytic hypotheses.