Definition

A Montel space is a Hausdorff EE in which every closed is compact. Equivalently, every bounded subset of EE has compact closure. Both clauses matter: relative compactness of bounded sets is the compactness condition, while barreledness supplies the uniform-boundedness behavior expected of the space. Compactness and boundedness refer to the given locally convex topology; changing that topology can therefore change whether the same underlying is Montel.

Structural consequences

Every Montel space is complete and reflexive as a : the canonical map into the strong bidual is a topological isomorphism. Bounded sets have strong compactness properties, so bounded nets possess convergent subnets after taking closure. These results combine the semi-Montel compactness condition with barreledness Schaefer–Wolff, Chapter IV, §6.

Examples and non-examples

Finite-dimensional Hausdorff locally convex spaces are Montel. The S(Rn)\mathcal S(\mathbb R^n) and standard spaces of smooth functions are fundamental infinite-dimensional examples; more generally, are Montel. No infinite-dimensional is Montel, because its closed unit ball is bounded but is compact only in finite dimension.

Conventions and nearby notions

A semi-Montel space is a locally convex space in which every bounded set is relatively compact, without the barreledness requirement. Some sources fold completeness or additional separation assumptions into their terminology; the definition here follows the standard Hausdorff, barreled formulation. Montel spaces should not be confused with Montel families of holomorphic functions, although the compactness principle behind the names is closely related.

References
  1. Helmut H. Schaefer and Manfred P. Wolff, Topological Vector Spaces, 2nd ed., Springer, 1999. Springer DOI record. Relevant: Chapter IV, §6 on Montel and Schwartz spaces.
  2. François Trèves, Topological Vector Spaces, Distributions and Kernels, Academic Press, 1967; Dover reprint, 2006. Dover publisher record. Relevant: Chapter 34 on Montel spaces.