In Banach spaces: any surjective continuous linear operator between Banach spaces maps open sets to open sets; equivalently, a surjective bounded linear operator sends some neighborhood of zero in the domain to a neighborhood of zero in the codomain.

Principle

Surjectivity together with completeness forces images of neighborhoods to contain neighborhoods, so the operator cannot collapse open sets into lower-dimensional thin sets; completeness (Banach hypothesis) is essential for the Baire-category argument underlying the result.

Demonstration

For a surjective continuous linear operator T:X→Y between Banach spaces, there exists ε>0 such that T maps the unit ball in X to a set containing the ε-ball in Y. Practically, this underlies the bounded inverse theorem: a bijective bounded linear operator between Banach spaces has a bounded inverse.

Misapplication

Using the theorem for operators that are not surjective, not linear, or between noncomplete normed spaces: any of these failures can invalidate openness. For example, a surjective continuous linear map from an incomplete normed space need not be open.

Consequence

Ensures that surjective continuous linear maps preserve openness, yields the bounded inverse theorem as a corollary, and is a fundamental structural result used to transfer local properties through linear surjections in functional analysis.

Reversal

If an operator is not open, it may fail surjectivity or involve incomplete domains; the negation indicates collapse of neighborhoods and often reflects lack of surjectivity or the failure of completeness hypotheses.

Boundary

Hypotheses require linearity, continuity (boundedness), surjectivity, and Banach (complete normed) domain and codomain. The theorem does not hold in general for nonlinear maps or for maps between non-Banach spaces.

Semantic Tension

Closely related to the closed graph and uniform boundedness theorems: together they form the main trio of functional-analytic structural results in Banach spaces, but each addresses a distinct phenomenon—openness, closedness of graphs, and uniform norm control.

Synthesis

The Open Mapping Theorem asserts that surjective bounded linear operators between Banach spaces send open sets to open sets, a completeness-driven statement that secures neighborhood images, underpins the bounded inverse theorem, and preserves local topological structure under linear surjections.