Open mapping theorem (functional analysis) (also known as the BanachâÂÂSchauder theorem), states that a surjective continuous linear transformation of a Banach space X onto a Banach space Y is an open mapping
In calculus, part of the inverse function theorem which states that a continuously differentiable function between Euclidean spaces whose derivative matrix is invertible at a point is an open mapping in a neighborhood of the point. More generally, if a mapping F : U â R<sup>m</sup> from an open setU ⊂ R<sup>n</sup> to R<sup>m</sup> is such that the Jacobian derivative dF(x) is surjective at every point x â U, then F is an open mapping.
The invariance of domain theorem shows that certain mappings between subsets of R<sup>n</sup> are open.