en.wikipedia.org

Montel space - Wikipedia

️Mon Jan 01 1990

From Wikipedia, the free encyclopedia

In functional analysis and related areas of mathematics, a Montel space, named after Paul Montel, is any topological vector space (TVS) in which an analog of Montel's theorem holds. Specifically, a Montel space is a barrelled topological vector space in which every closed and bounded subset is compact.

A topological vector space (TVS) has the Heine–Borel property if every closed and bounded subset is compact. A Montel space is a barrelled topological vector space with the Heine–Borel property. Equivalently, it is an infrabarrelled semi-Montel space where a Hausdorff locally convex topological vector space is called a semi-Montel space or perfect if every bounded subset is relatively compact.^{[note 1]} A subset of a TVS is compact if and only if it is complete and totally bounded. A Fréchet–Montel space is a Fréchet space that is also a Montel space.

A separable Fréchet space is a Montel space if and only if each weak-* convergent sequence in its continuous dual is strongly convergent.^[1]

A Fréchet space $X$ is a Montel space if and only if every bounded continuous function $X\to c_{0}$ sends closed bounded absolutely convex subsets of $X$ to relatively compact subsets of $c_{0}.$ Moreover, if $C^{b}(X)$ denotes the vector space of all bounded continuous functions on a Fréchet space $X,$ then $X$ is Montel if and only if every sequence in $C^{b}(X)$ that converges to zero in the compact-open topology also converges uniformly to zero on all closed bounded absolutely convex subsets of $X.$ ^[2]

Sufficient conditions

[edit]

Semi-Montel spaces

A closed vector subspace of a semi-Montel space is again a semi-Montel space. The locally convex direct sum of any family of semi-Montel spaces is again a semi-Montel space. The inverse limit of an inverse system consisting of semi-Montel spaces is again a semi-Montel space. The Cartesian product of any family of semi-Montel spaces (resp. Montel spaces) is again a semi-Montel space (resp. a Montel space).

Montel spaces

The strong dual of a Montel space is Montel. A barrelled quasi-complete nuclear space is a Montel space.^[1] Every product and locally convex direct sum of a family of Montel spaces is a Montel space.^[1] The strict inductive limit of a sequence of Montel spaces is a Montel space.^[1] In contrast, closed subspaces and separated quotients of Montel spaces are in general not even reflexive.^[1] Every Fréchet Schwartz space is a Montel space.^[3]

Montel spaces are paracompact and normal.^[4] Semi-Montel spaces are quasi-complete and semi-reflexive while Montel spaces are reflexive.

No infinite-dimensional Banach space is a Montel space. This is because a Banach space cannot satisfy the Heine–Borel property: the closed unit ball is closed and bounded, but not compact. Fréchet Montel spaces are separable and have a bornological strong dual. A metrizable Montel space is separable.^[1]

Fréchet–Montel spaces are distinguished spaces.

In classical complex analysis, Montel's theorem asserts that the space of holomorphic functions on an open connected subset of the complex numbers has this property.^{[citation needed]}

Many Montel spaces of contemporary interest arise as spaces of test functions for a space of distributions. The space $C^{\infty }(\Omega )$ of smooth functions on an open set $\Omega$ in $\mathbb {R} ^{n}$ is a Montel space equipped with the topology induced by the family of seminorms^[5] $\|f\|_{K,n}=\sup _{|\alpha |\leq n}\sup _{x\in K}\left|\partial ^{\alpha }f(x)\right|$ for $n=1,2,\ldots$ and $K$ ranges over compact subsets of $\Omega ,$ and $\alpha$ is a multi-index. Similarly, the space of compactly supported functions in an open set with the final topology of the family of inclusions $\scriptstyle {C_{0}^{\infty }(K)\subset C_{0}^{\infty }(\Omega )}$ as $K$ ranges over all compact subsets of $\Omega .$ The Schwartz space is also a Montel space.

Every infinite-dimensional normed space is a barrelled space that is not a Montel space.^[6] In particular, every infinite-dimensional Banach space is not a Montel space.^[6] There exist Montel spaces that are not separable and there exist Montel spaces that are not complete.^[6] There exist Montel spaces having closed vector subspaces that are not Montel spaces.^[7]

Barrelled space – Type of topological vector space
Bornological space – Space where bounded operators are continuous
Heine–Borel theorem – Subset of Euclidean space is compact if and only if it is closed and bounded
LB-space
LF-space – Topological vector space
Nuclear space – A generalization of finite-dimensional Euclidean spaces different from Hilbert spaces

^ ^a ^b ^c ^d ^e ^f Schaefer & Wolff 1999, pp. 194–195.
^ Lindström 1990, pp. 191–196.
^ Khaleelulla 1982, pp. 32–63.
^ "Topological vector space". Encyclopedia of Mathematics. Retrieved September 6, 2020.
^ Hogbe-Nlend & Moscatelli 1981, p. 235
^ ^a ^b ^c Khaleelulla 1982, pp. 28–63.
^ Khaleelulla 1982, pp. 103–110.

Edwards, Robert E. (1995). Functional Analysis: Theory and Applications. New York: Dover Publications. ISBN 978-0-486-68143-6. OCLC 30593138.
Hogbe-Nlend, Henri (1977). Bornologies and Functional Analysis: Introductory Course on the Theory of Duality Topology-Bornology and its use in Functional Analysis. North-Holland Mathematics Studies. Vol. 26. Amsterdam New York New York: North Holland. ISBN 978-0-08-087137-0. MR 0500064. OCLC 316549583.
Hogbe-Nlend, Henri; Moscatelli, V. B. (1981). Nuclear and Conuclear Spaces: Introductory Course on Nuclear and Conuclear Spaces in the Light of the Duality "topology-bornology". North-Holland Mathematics Studies. Vol. 52. Amsterdam New York New York: North Holland. ISBN 978-0-08-087163-9. OCLC 316564345.
Jarchow, Hans (1981). Locally convex spaces. Stuttgart: B.G. Teubner. ISBN 978-3-519-02224-4. OCLC 8210342.
Khaleelulla, S. M. (1982). Counterexamples in Topological Vector Spaces. Lecture Notes in Mathematics. Vol. 936. Berlin, Heidelberg, New York: Springer-Verlag. ISBN 978-3-540-11565-6. OCLC 8588370.
Köthe, Gottfried (1983) [1969]. Topological Vector Spaces I. Grundlehren der mathematischen Wissenschaften. Vol. 159. Translated by Garling, D.J.H. New York: Springer Science & Business Media. ISBN 978-3-642-64988-2. MR 0248498. OCLC 840293704.
Köthe, Gottfried (1979). Topological Vector Spaces II. Grundlehren der mathematischen Wissenschaften. Vol. 237. New York: Springer Science & Business Media. ISBN 978-0-387-90400-9. OCLC 180577972.
Lindström, Mikael (1990-01-01). "A note on Fréchet-Montel spaces" (PDF). Proceedings of the American Mathematical Society. 108 (1). American Mathematical Society (AMS): 191–196. doi:10.1090/s0002-9939-1990-0994780-8. ISSN 0002-9939.{{cite journal}}: CS1 maint: date and year (link)
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. Vol. 53. Cambridge England: Cambridge University Press. ISBN 978-0-521-29882-7. OCLC 589250.
Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM. Vol. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
Schechter, Eric (1996). Handbook of Analysis and Its Foundations. San Diego, CA: Academic Press. ISBN 978-0-12-622760-4. OCLC 175294365.
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.
"Montel space", Encyclopedia of Mathematics, EMS Press, 2001 [1994]