Un espace vectoriel topologique localement convexe dans lequel tout sous-ensemble fermé et borné est compact ; équivalemment un espace où toute suite bornée possède une sous-suite convergente et les ensembles bornés sont relativement compacts.

Principe

La combinaison de la convexité locale et d'une forte compacité des ensembles bornés garantit que les propriétés de compacité séquentielle rappellent l'intuition de dimension finie, permettant des arguments de familles normales et une analyse fondée sur la compacité.

Démonstration

L'espace O(U) des fonctions holomorphes sur un ouvert U muni de la topologie de convergence uniforme sur les compacts est Montel par les théorèmes de familles normales : les suites bornées sur des compacts admettent des sous-suites convergeant uniformément sur les compacts.

Mauvaise application

Supposer que Montel implique la finitude de la dimension ou la réflexivité dans tous les cas ; il existe des exemples infiniment dimensionnels de Montel et la réflexivité est une propriété indépendante.

Conséquence

Conséquences puissantes de compacité : toute suite bornée possède des sous-suites convergentes, les duaux forts ont des propriétés utiles, et de nombreux résultats opératoires et d'approximation se simplifient parce que la précompacité remplace la simple bornitude.

Inversion

Les espaces dont les ensembles bornés ne sont pas compacts (des espaces de Banach typiques comme l^p pour p≥1) ne sont pas Montel ; la bornitude n'implique pas la relative compacité et les suites peuvent manquer de sous-suites convergentes.

Limite

Montel est une condition topologique forte, souvent impliquée par la nucléarité et le barrelé dans de nombreux exemples classiques, mais elle exclut la plupart des espaces de Banach et dépend sensiblement de la topologie choisie ; vérifier la propriété de Montel requiert en général de tester des suites ou la compacité des ensembles bornés.

Tension sémantique

Le terme évoque le théorème de Montel sur les familles normales en analyse complexe et la propriété abstraite de Montel en analyse fonctionnelle ; la tension survient lorsqu'on transpose l'intuition des espaces de fonctions holomorphes à des espaces localement convexes généraux.

Synthèse

Un espace Montel est un cadre localement convexe où bornitude et compacité coïncident pour les ensembles fermés, rendant la compacité séquentielle omniprésente et simplifiant les arguments fonctionnels qui s'appuient sur les sous-suites convergentes et la compacité.