Open mapping theorem

GPTKB entity

Statements (16)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appliesTo gptkb:Banach_spaces
gptkbp:category theorems in functional analysis
gptkbp:field functional analysis
https://www.w3.org/2000/01/rdf-schema#label Open mapping theorem
gptkbp:provenBy gptkb:Stefan_Banach
gptkbp:relatedTo gptkb:closed_graph_theorem
bounded inverse theorem
gptkbp:state If a surjective continuous linear operator exists between Banach spaces, it is an open map
gptkbp:usedIn analysis
operator theory
partial differential equations
gptkbp:yearProposed 1931
gptkbp:bfsParent gptkb:Banach–Steinhaus_theorem
gptkb:Banach_spaces
gptkbp:bfsLayer 5