Open mapping theorem (functional analysis)
In
Classical (Banach space) form
Open mapping theorem for Banach spaces (Rudin 1973, Theorem 2.11) — If and are Banach spaces and is a surjective continuous linear operator, then is an open map (that is, if is an open set in then is open in ).
This proof uses the Baire category theorem, and completeness of both and is essential to the theorem. The statement of the theorem is no longer true if either space is just assumed to be a normed vector space, but is true if and are taken to be Fréchet spaces.
Proof
|
---|
Suppose is a surjective continuous linear operator. In order to prove that is an open map, it is sufficient to show that maps the open unit ball in to a neighborhood of the origin of
Let Then Since is surjective: But is Banach so by Baire's category theorem
That is, we have and such that Let then By continuity of addition and linearity, the difference satisfies and by linearity again, where we have set It follows that for all and all there exists some such that Our next goal is to show that Let By (1), there is some with and Define a sequence inductively as follows. Assume: Then by (1) we can pick so that: so (2) is satisfied for Let From the first inequality in (2), is a Cauchy sequence, and since is complete, converges to some By (2), the sequence tends to and so by continuity of Also, This shows that belongs to so as claimed. Thus the image of the unit ball in contains the open ball of Hence, is a neighborhood of the origin in and this concludes the proof. |
Related results
Theorem[2] — Let and be Banach spaces, let and denote their open unit balls, and let be a bounded linear operator. If then among the following four statements we have (with the same )
- for all ;
- ;
- ;
- (that is, is surjective).
Furthermore, if is surjective then (1) holds for some
Consequences
The open mapping theorem has several important consequences:
- If is a bijectivecontinuous linear operator between the Banach spaces and then the inverse operator is continuous as well (this is called the bounded inverse theorem).[3]
- If is a linear operator between the Banach spaces and and if for every sequence in with and it follows that then is continuous (the closed graph theorem).[4]
Generalizations
Local convexity of or is not essential to the proof, but completeness is: the theorem remains true in the case when and are F-spaces. Furthermore, the theorem can be combined with the Baire category theorem in the following manner:
Open mapping theorem for continuous maps[5][6] — Let be a continuous linear operator from a complete pseudometrizable TVS onto a Hausdorff TVS If is
Furthermore, in this latter case if is the kernel of then there is a canonical factorization of in the form where is the quotient space (also an F-space) of by the closed subspace The quotient mapping is open, and the mapping is an isomorphism of topological vector spaces.[7]
An important special case of this theorem can also be stated as
Theorem[8] — Let and be two F-spaces. Then every continuous linear map of onto is a TVS homomorphism, where a linear map is a topological vector space (TVS) homomorphism if the induced map is a TVS-isomorphism onto its image.
On the other hand, a more general formulation, which implies the first, can be given:
Open mapping theorem[6] — Let be a surjective linear map from a complete pseudometrizable TVS onto a TVS and suppose that at least one of the following two conditions is satisfied:
- is a Baire space, or
- is locally convexand is a barrelled space,
If is a
Nearly/Almost open linear maps
A linear map between two topological vector spaces (TVSs) is called a nearly open map (or sometimes, an almost open map) if for every neighborhood of the origin in the domain, the closure of its image is a neighborhood of the origin in [9] Many authors use a different definition of "nearly/almost open map" that requires that the closure of be a neighborhood of the origin in rather than in [9] but for surjective maps these definitions are equivalent. A bijective linear map is nearly open if and only if its inverse is continuous.[9] Every surjective linear map from locally convex TVS onto a barrelled TVS is nearly open.[10] The same is true of every surjective linear map from a TVS onto a Baire TVS.[10]
Open mapping theorem[11] — If a closed surjective linear map from a complete pseudometrizable TVS onto a Hausdorff TVS is nearly open then it is open.
Consequences
Theorem[12] — If is a continuous linear bijection from a complete Pseudometrizable topological vector space (TVS) onto a Hausdorff TVS that is a Baire space, then is a homeomorphism (and thus an isomorphism of TVSs).
Webbed spaces
Webbed spaces are a class of topological vector spaces for which the open mapping theorem and the closed graph theorem hold.
See also
- Almost open linear map– Map that satisfies a condition similar to that of being an open map.
- Bounded inverse theorem
- Closed graph– Graph of a map closed in the product space
- Closed graph theorem – Theorem relating continuity to graphs
- Closed graph theorem (functional analysis) – Theorems connecting continuity to closure of graphs
- Open mapping theorem (complex analysis) – Theorem that holomorphic functions on complex domains are open maps
- Surjection of Fréchet spaces – Characterization of surjectivity
- Ursescu theorem – Generalization of closed graph, open mapping, and uniform boundedness theorem
- Webbed space – Space where open mapping and closed graph theorems hold
References
- ^ Trèves 2006, p. 166.
- ^ Rudin 1991, p. 100.
- ^ Rudin 1973, Corollary 2.12.
- ^ Rudin 1973, Theorem 2.15.
- ^ Rudin 1991, Theorem 2.11.
- ^ a b Narici & Beckenstein 2011, p. 468.
- ^ Dieudonné 1970, 12.16.8.
- ^ Trèves 2006, p. 170
- ^ a b c Narici & Beckenstein 2011, pp. 466.
- ^ a b Narici & Beckenstein 2011, pp. 467.
- ^ Narici & Beckenstein 2011, pp. 466−468.
- ^ Narici & Beckenstein 2011, p. 469.
Bibliography
- Adasch, Norbert; Ernst, Bruno; Keim, Dieter (1978). Topological Vector Spaces: The Theory Without Convexity Conditions. Lecture Notes in Mathematics. Vol. 639. Berlin New York: OCLC 297140003.
- 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. Vol. 15. New York: Springer. OCLC 878109401.
- OCLC 17499190.
- 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. OCLC 30593138.
- OCLC 886098.
- Jarchow, Hans (1981). Locally convex spaces. Stuttgart: B.G. Teubner. OCLC 8210342.
- OCLC 840293704.
- Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. OCLC 144216834.
- Robertson, Alex P.; Robertson, Wendy J. (1980). Topological Vector Spaces. OCLC 589250.
- ISBN 9780070542259.
- OCLC 21163277.
- OCLC 840278135.
- Swartz, Charles (1992). An introduction to Functional Analysis. New York: M. Dekker. OCLC 24909067.
- OCLC 853623322.
- OCLC 849801114.
This article incorporates material from Proof of open mapping theorem on