##  [Open Mapping Theorem](/open-mapping-theorem-0) 

 Definition

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

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

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

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

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

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

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

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

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.