Espace localement convexe
En mathématiques, un espace localement convexe est un espace vectoriel topologique dont la topologie peut être définie à l'aide d'une famille de semi-normes. C'est une généralisation de la notion d'espace normé.
Définition
Un espace vectoriel topologique E est dit localement convexe s'il vérifie l'une des deux propriétés équivalentes suivantes :
- il existe une famille de semi-normes telle que la topologie de E est initiale pour l'ensemble d'applications ;
- le vecteur nul possède une base de voisinages formée de convexes.
Dans ce cas, la famille de semi-normes peut toujours être choisie filtrante.
- (1) ⇒ (2)
En effet toute semi-norme p sur E est une fonction convexe et donc pour tout R > 0, l'ensemble des x de E vérifiant p(x) < R est convexe. - (2) ⇒ (1)
Soient T la topologie de E, supposée vérifier (2), et T ' celle, moins fine, définie par la famille de toutes les semi-normes sur E continues pour T.
Il s'agit de prouver qu'inversement, T ⊂ T '. Il suffit pour cela de montrer que tout T-voisinage V de 0 contient un T '-voisinage de 0.
Or pour un tel V, par continuité de l'application (λ, v) ↦ λv, il existe un réel α > 0 et un T-voisinage W de 0, que l'on peut supposer convexe d'après (2), tels que et V contient alors l'ensemble Ω défini parDe plus, Ω est voisinage de 0 (donc absorbant), convexe, et équilibré. sa jauge est donc une semi-norme continue sur E, dont la boule de centre 0 et de rayon 1⁄2 est par conséquent un T '-voisinage de 0. Or cette boule est incluse dans Ω, donc dans V.
Exemples
- Tout espace vectoriel normé est localement convexe (topologie définie par une seule semi-norme : la norme).
- La topologie faible d'un espace vectoriel topologique est localement convexe. On utilise les formes linéaires continues en module comme famille de semi-normes.
- Sur son dual topologique, les topologies forte et faible-* sont, elles aussi, définies chacune par une famille de semi-normes.
Contre-exemples
- Pour 0 < p < 1, les espaces métriques de suites ℓp et les espaces métriques de fonctions Lp ne sont pas des espaces localement convexes.
Critère de séparation
Théorème — Pour qu'un espace localement convexe défini par une famille de semi-normes soit séparé, il faut et il suffit que pour tout vecteur non nul il existe une semi-norme telle que .
En effet, un espace vectoriel topologique est séparé si et seulement si l'intersection des voisinages de 0 est réduite au singleton {0}, autrement dit si et seulement si pour tout vecteur v non nul, il existe un voisinage de 0 ne contenant pas v.
Continuité d'une fonction
Soient deux espaces localement convexes, dont les topologies sont respectivement définies par des familles de semi-normes (supposée filtrante) et (quelconque), et f une application du premier espace dans le second. La proposition suivante résulte des définitions.
Proposition —
- f est continue en un point v de E si et seulement si
.
- f est uniformément continue sur E si et seulement si
.
Par exemple (en prenant et ), toutes les semi-normes appartenant à sont uniformément continues sur E (car 1-lipschitziennes). Une semi-norme q sur E est en fait uniformément continue si et seulement si elle est continue en 0, ce qui équivaut à l'existence d'une semi-norme p ∈ et d'une constante C > 0 telles que q ≤ Cp. On en déduit un analogue pour les applications linéaires :
Proposition — Une application linéaire est uniformément continue si et seulement si elle est continue en 0, ce qui se traduit par :
.
Métrisabilité
Théorème — Soit E un espace localement convexe séparé, dont la topologie est définie par une famille de semi-normes. Les conditions suivantes sont équivalentes :
- E est métrisable.
- Tout point de E possède une base dénombrable de voisinages.
- La topologie de E peut être définie par une sous-famille dénombrable de semi-normes.
- La topologie de E peut être définie par une famille dénombrable filtrante de semi-normes.
- La topologie de E peut être définie par une distance invariante par translation.
L'équivalence entre 1, 2 et 5 est un cas particulier du théorème de Birkhoff-Kakutani sur les groupes topologiques. Montrons que 3 et 4 sont aussi équivalents à 2.
- 2 ⇒ 3 : soit une base de voisinages de 0. Chaque contient une boule de la forme , où et pour une certaine partie finie . La topologie définie par la sous-famille dénombrable est évidemment moins fine que celle de E, mais également plus fine, par construction.
- 3 ⇒ 4 : soit une suite de semi-normes définissant la topologie de E. En posant , on obtient une suite filtrante de semi-normes définissant la même topologie.
- 4 ⇒ 2 : soit une suite filtrante de semi-normes définissant la topologie de E, alors chaque point x a une base dénombrable de voisinages, de la forme .
Les analogues pour p < 1 des espaces Lp avec p ≥ 1 sont métrisables par une distance invariante, mais ne sont pas localement convexes.
Pour tout ouvert non vide l'espace des fonctions C∞ à support compact de dans est naturellement muni d'une structure localement convexe non métrisable.
Remarquons que tout espace vectoriel topologique normable est localement convexe et métrisable. Cependant la réciproque n'est pas vraie : par exemple l'espace de Schwartz est de Fréchet, en particulier localement convexe et métrisable, mais nucléaire et de dimension infinie, donc non normable. Un autre exemple d'espace localement convexe métrisable mais non normable est RN[2].
Critère de normabilité de Kolmogorov[2] (1934) —
- Un espace localement convexe est semi-normable si et seulement s'il est localement borné, c'est-à-dire si 0 possède un voisinage borné.
- Un espace vectoriel topologique est donc normable si et seulement s'il est séparé, localement convexe et localement borné.
Espace de Fréchet
Un espace de Fréchet est un espace localement convexe qui est à la fois métrisable et complet au sens des espaces uniformes, ou plus simplement : un espace localement convexe complètement métrisable (c'est-à-dire dont la topologie est induite par une distance complète).
Notes et références
- ↑ Pour une démonstration n'utilisant pas le théorème de Birkhoff-Kakutani, voir par exemple Claude Wagschal, Topologie et analyse fonctionnelle, Hermann, coll. « Méthodes », .
- ↑ a et b (en) Eric Schechter, Handbook of Analysis and Its Foundations, Academic Press, (lire en ligne), p. 724.
Articles connexes
- Espace de Banach
- Espace bornologique (de)
- Espace (DF)
- Espace LF (de)
- Espace de Montel
- Espace quasinormable (de)
- Espace réticulé (de)
- Espace de suites ℓp
- Espace tonnelé
- Topologie compacte-ouverte
v · m Convexité | |
---|---|
Géométrie convexe |
|
Interactions géométrie-analyse | |
Analyse convexe |
|
Utilisations de la convexité |
|
- Portail des mathématiques