In functional analysis, the **open mapping theorem**, also known as the **Banach–Schauder theorem** (named after Stefan Banach and Juliusz Schauder), is a fundamental result which states that if a continuous linear operator between Banach spaces is surjective then it is an open map.

**Open mapping theorem for Banach spaces** (Rudin 1973, Theorem 2.11) — If X and Y are Banach spaces and *A* : *X* → *Y* is a surjective continuous linear operator, then A is an open map (i.e. if U is an open set in X, then *A*(*U*) is open in Y).

One proof uses Baire's category theorem, and completeness of both X and Y is essential to the theorem. The statement of the theorem is no longer true if either space is just assumed to be a normed space, but is true if X and Y are taken to be Fréchet spaces.

Proof |
---|

Suppose Let Then Since A is surjective: But Y is Banach so by Baire's category theorem - .
That is, we have - .
Let By continuity of addition and linearity, the difference and by linearity again, where we have set Our next goal is to show that Let Then by (1) we can pick so (2) is satisfied for - .
From the first inequality in (2), { s_{n} converges to some x ∈ X. By (2), the sequence As tends to y, and so _{n}Ax = y by continuity of A. Also,This shows that |

**Theorem ^{ [1] }** — Let X and Y be Banach spaces, let B

- for all ;
- ;
- ;
- Im
*T*=*Y*(i.e. T is surjective).

Furthermore, if T is surjective then (1) holds for some δ > 0

The open mapping theorem has several important consequences:

- If
*A*:*X*→*Y*is a bijective continuous linear operator between the Banach spaces X and Y, then the inverse operator*A*^{−1}:*Y*→*X*is continuous as well (this is called the bounded inverse theorem).^{ [2] } - If
*A*:*X*→*Y*is a linear operator between the Banach spaces X and Y, and if for every sequence (*x*_{n}) in X with*x*_{n}→ 0 and*Ax*_{n}→*y*it follows that*y*= 0, then A is continuous (the closed graph theorem).^{ [3] }

Local convexity of X or Y is not essential to the proof, but completeness is: the theorem remains true in the case when X and Y are F-spaces. Furthermore, the theorem can be combined with the Baire category theorem in the following manner:

**Theorem** ((Rudin 1991, Theorem 2.11)) — Let X be a F-space and Y a topological vector space. If *A* : *X* → *Y* is a continuous linear operator, then either *A*(*X*) is a meager set in *Y*, or *A*(*X*) = *Y*. In the latter case, A is an open mapping and Y is also an F-space.

Furthermore, in this latter case if N is the kernel of A, then there is a canonical factorization of A in the form

where *X* / *N* is the quotient space (also an F-space) of X by the closed subspace N. The quotient mapping *X* → *X* / *N* is open, and the mapping *α* is an isomorphism of topological vector spaces.^{ [4] }

**Open mapping theorem** (^{ [5] }) — If *A* : *X* → *Y* is a surjective closed linear operator from an complete pseudometrizable TVS X into a topological vector space Y and if at least one of the following conditions is satisfied:

- Y is a Baire space, or
- X is locally convex and Y is a barrelled space,

either *A*(*X*) is a meager set in *Y*, or *A*(*X*) = *Y*. then A is an open mapping.

**Open mapping theorem for continuous maps** (^{ [5] }) — Let *A* : *X* → *Y* be a continuous linear operator from an complete pseudometrizable TVS X into a Hausdorff topological vector space Y. If Im *A* is nonmeager in Y then *A* : *X* → *Y* is a surjective open map and Y is a complete pseudometrizable TVS.

The open mapping theorem can also be stated as

**Theorem ^{ [6] }** — Let X and Y be two F-spaces. Then every continuous linear map of X onto Y is a TVS homomorphism, where a linear map

**Theorem ^{ [7] }** — If

Webbed spaces are a class of topological vector spaces for which the open mapping theorem and the closed graph theorem hold.

- Almost open linear map
- Bounded inverse theorem
- Closed graph – a graph of a function that is also a closed subset of the product space
- Closed graph theorem
- Closed graph theorem (functional analysis) – Theorems for deducing continuity from a function's graph
- Open mapping theorem (complex analysis)
- Surjection of Fréchet spaces – A theorem characterizing when a continuous linear map between Fréchet spaces is surjective.
- Ursescu theorem – A theorem that simultaneously generalizes the closed graph, open mapping, and Banach–Steinhaus theorems.
- Webbed space – Topological vector spaces for which the open mapping and closed graphs theorems hold

In mathematics, more specifically in functional analysis, a **Banach space** is a complete normed vector space. Thus, a Banach space is a vector space with a metric that allows the computation of vector length and distance between vectors and is complete in the sense that a Cauchy sequence of vectors always converges to a well defined limit that is within the space.

**Functional analysis** is a branch of mathematical analysis, the core of which is formed by the study of vector spaces endowed with some kind of limit-related structure and the linear functions defined on these spaces and respecting these structures in a suitable sense. The historical roots of functional analysis lie in the study of spaces of functions and the formulation of properties of transformations of functions such as the Fourier transform as transformations defining continuous, unitary etc. operators between function spaces. This point of view turned out to be particularly useful for the study of differential and integral equations.

The **Hahn–Banach theorem** is a central tool in functional analysis. It allows the extension of bounded linear functionals defined on a subspace of some vector space to the whole space, and it also shows that there are "enough" continuous linear functionals defined on every normed vector space to make the study of the dual space "interesting". Another version of the Hahn–Banach theorem is known as the **Hahn–Banach separation theorem** or the hyperplane separation theorem, and has numerous uses in convex geometry.

In mathematics, a **topological vector space** is one of the basic structures investigated in functional analysis. A topological vector space is a vector space which is also a topological space, this implies that vector space operations be continuous functions. More specifically, its topological space has a uniform topological structure, allowing a notion of uniform convergence.

In functional analysis, an **F-space** is a vector space *V* over the real or complex numbers together with a metric *d* : *V* × *V* → ℝ so that

- Scalar multiplication in
*V*is continuous with respect to*d*and the standard metric on ℝ or ℂ. - Addition in
*V*is continuous with respect to*d*. - The metric is translation-invariant; i.e.,
*d*(*x*+*a*,*y*+*a*) =*d*(*x*,*y*) for all*x*,*y*and*a*in*V* - The metric space (
*V*,*d*) is complete.

In the area of mathematics known as functional analysis, a **reflexive space** is a locally convex topological vector space (TVS) such that the canonical evaluation map from *X* into its bidual is an isomorphism of TVSs. Since a normable TVS is reflexive if and only if it is semi-reflexive, every normed space *X* is reflexive if and only if the canonical evaluation map from *X* into its bidual is surjective; in this case the normed space is necessarily also a Banach space. Note that in 1951, R. C. James discovered a *non*-reflexive Banach space that is isometrically isomorphic to its bidual.

In functional analysis and related areas of mathematics, **Fréchet spaces**, named after Maurice Fréchet, are special topological vector spaces. They are generalizations of Banach spaces. All Banach and Hilbert spaces are Fréchet spaces. Spaces of infinitely differentiable functions are typical examples of Fréchet spaces, many of which are typically *not* Banach spaces.

In mathematics, the **uniform boundedness principle** or **Banach–Steinhaus theorem** is one of the fundamental results in functional analysis. Together with the Hahn–Banach theorem and the open mapping theorem, it is considered one of the cornerstones of the field. In its basic form, it asserts that for a family of continuous linear operators whose domain is a Banach space, pointwise boundedness is equivalent to uniform boundedness in operator norm.

In mathematics, the **closed graph theorem** is a basic result which characterizes continuous functions in terms of their graphs. In particular, they give conditions when functions with closed graphs are necessarily continuous. In mathematics, there are several results known as the "closed graph theorem".

In functional analysis and related areas of mathematics, **locally convex topological vector spaces** (**LCTVS**) or **locally convex spaces** are examples of topological vector spaces (TVS) that generalize normed spaces. They can be defined as topological vector spaces whose topology is generated by translations of balanced, absorbent, convex sets. Alternatively they can be defined as a vector space with a family of seminorms, and a topology can be defined in terms of that family. Although in general such spaces are not necessarily normable, the existence of a convex local base for the zero vector is strong enough for the Hahn–Banach theorem to hold, yielding a sufficiently rich theory of continuous linear functionals.

In functional analysis and related areas of mathematics, a **barrelled space** is a topological vector spaces (TVS) for which every barrelled set in the space is a neighbourhood for the zero vector. A **barrelled set** or a **barrel** in a topological vector space is a set that is convex, balanced, absorbing, and closed. Barrelled spaces are studied because a form of the Banach–Steinhaus theorem still holds for them.

In functional analysis and related areas of mathematics, a **continuous linear operator** or **continuous linear mapping** is a continuous linear transformation between topological vector spaces.

In mathematics, the **bounded inverse theorem** is a result in the theory of bounded linear operators on Banach spaces. It states that a bijective bounded linear operator *T* from one Banach space to another has bounded inverse *T*^{−1}. It is equivalent to both the open mapping theorem and the closed graph theorem.

In mathematics, particularly in functional analysis, a **webbed space** is a topological vector space designed with the goal of allowing the results of the open mapping theorem and the closed graph theorem to hold for a wider class of linear maps whose codomains are webbed spaces. A space is called webbed if there exists a collection of sets, called a *web* that satisfies certain properties. Webs were first investigated by de Wilde.

In mathematics, particularly in functional analysis and topology, **closed graph** is a property of functions. A function *f* : *X* → *Y* between topological spaces has a **closed graph** if its graph is a closed subset of the product space *X* × *Y*. A related property is **open graph**.

In functional analysis, a **topological homomorphism** or simply **homomorphism** is the analog of homomorphisms for the category of topological vector spaces (TVSs). This concept is of considerable importance in functional analysis and the famous open mapping theorem gives a sufficient condition for a continuous linear map between Fréchet spaces to be a topological homomorphism.

In functional analysis and related areas of mathematics, a **metrizable** topological vector spaces (TVS) is a TVS whose topology is induced by a metric. An **LM-space** is an inductive limit of a sequence of locally convex metrizable TVS.

**F. Riesz's theorem** is an important theorem in functional analysis that states that a Hausdorff topological vector space (TVS) is finite-dimensional if and only if it is locally compact. The theorem and its consequences are used ubiquitously in functional analysis, often used without being explicitly mentioned.

In mathematics, particularly in functional analysis and topology, the **closed graph theorem** is a fundamental result stating that a linear operator with a closed graph will, under certain conditions, be continuous. The original result has been generalized many times so there are now many theorems referred to as "closed graph theorems."

In functional analysis and related areas of mathematics, an **almost open map** between topological spacess is a map that satisfies a condition similar to, but weaker than, the condition of being an open map.

- ↑ Rudin 1991, p. 100.
- ↑ Rudin 1973, Corollary 2.12.
- ↑ Rudin 1973, Theorem 2.15.
- ↑ Dieudonné 1970, 12.16.8.
- 1 2 Narici & Beckenstein 2011, p. 468.
- ↑ Trèves 2006, p. 170
- ↑ Narici & Beckenstein 2011, p. 469.

- Adasch, Norbert; Ernst, Bruno; Keim, Dieter (1978).
*Topological Vector Spaces: The Theory Without Convexity Conditions*. Lecture Notes in Mathematics.**639**. Berlin New York: Springer-Verlag. ISBN 978-3-540-08662-8. OCLC 297140003. - Banach, Stefan (1932).
*Théorie des Opérations Linéaires*[*Theory of Linear Operations*](PDF). Monografie Matematyczne (in French).**1**. Warszawa: Subwencji Funduszu Kultury Narodowej. Zbl 0005.20901. Archived from the original (PDF) on 2014-01-11. Retrieved 2020-07-11. - Berberian, Sterling K. (1974).
*Lectures in Functional Analysis and Operator Theory*. Graduate Texts in Mathematics.**15**. New York: Springer. ISBN 978-0-387-90081-0. OCLC 878109401. - Bourbaki, Nicolas (1987) [1981].
*Sur certains espaces vectoriels topologiques*[*Topological Vector Spaces: Chapters 1–5*].*Annales de l'Institut Fourier*. Éléments de mathématique.**2**. Translated by Eggleston, H.G.; Madan, S. Berlin New York: Springer-Verlag. ISBN 978-3-540-42338-6. OCLC 17499190. - Conway, John (1990).
*A course in functional analysis*. Graduate Texts in Mathematics.**96**(2nd ed.). New York: Springer-Verlag. ISBN 978-0-387-97245-9. OCLC 21195908. - Dieudonné, Jean (1970),
*Treatise on Analysis, Volume II*, Academic Press - Edwards, Robert E. (1995).
*Functional Analysis: Theory and Applications*. New York: Dover Publications. ISBN 978-0-486-68143-6. OCLC 30593138. - Grothendieck, Alexander (1973).
*Topological Vector Spaces*. Translated by Chaljub, Orlando. New York: Gordon and Breach Science Publishers. ISBN 978-0-677-30020-7. OCLC 886098. - Jarchow, Hans (1981).
*Locally convex spaces*. Stuttgart: B.G. Teubner. ISBN 978-3-519-02224-4. OCLC 8210342. - Köthe, Gottfried (1969).
*Topological Vector Spaces I*. Grundlehren der mathematischen Wissenschaften.**159**. Translated by Garling, D.J.H. New York: Springer Science & Business Media. ISBN 978-3-642-64988-2. MR 0248498. OCLC 840293704. - Narici, Lawrence; Beckenstein, Edward (2011).
*Topological Vector Spaces*. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. - Robertson, Alex P.; Robertson, Wendy J. (1980).
*Topological Vector Spaces*. Cambridge Tracts in Mathematics.**53**. Cambridge England: Cambridge University Press. ISBN 978-0-521-29882-7. OCLC 589250. - Rudin, Walter (1973).
*Functional Analysis*. International Series in Pure and Applied Mathematics.**25**(First ed.). New York, NY: McGraw-Hill Science/Engineering/Math. ISBN 9780070542259. - Rudin, Walter (1991).
*Functional Analysis*. International Series in Pure and Applied Mathematics.**8**(Second ed.). New York, NY: McGraw-Hill Science/Engineering/Math. ISBN 978-0-07-054236-5. OCLC 21163277. - Schaefer, Helmut H.; Wolff, Manfred P. (1999).
*Topological Vector Spaces*. GTM.**8**(Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135. - Swartz, Charles (1992).
*An introduction to Functional Analysis*. New York: M. Dekker. ISBN 978-0-8247-8643-4. OCLC 24909067. - Trèves, François (2006) [1967].
*Topological Vector Spaces, Distributions and Kernels*. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322. - Wilansky, Albert (2013).
*Modern Methods in Topological Vector Spaces*. Mineola, New York: Dover Publications, Inc. ISBN 978-0-486-49353-4. OCLC 849801114.

*This article incorporates material from Proof of open mapping theorem on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.*

This page is based on this Wikipedia article

Text is available under the CC BY-SA 4.0 license; additional terms may apply.

Images, videos and audio are available under their respective licenses.

Text is available under the CC BY-SA 4.0 license; additional terms may apply.

Images, videos and audio are available under their respective licenses.