Espace localement convexe

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

En mathématiques, un espace localement convexe est un espace vectoriel qui peut être défini à l'aide d'une famille de semi-normes. C'est une généralisation de la notion d'espace normé.

Définition[modifier | modifier le code]

Un espace vectoriel topologique E est dit localement convexe s'il vérifie l'une des deux propriétés équivalentes suivantes :

  1. il existe une famille de semi-normes telle que la topologie de E est initiale pour les applications  ;
  2. 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.

Exemples[modifier | modifier le code]

Critère de séparation[modifier | modifier le code]

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[modifier | modifier le code]

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

.

.

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é[modifier | modifier le code]

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 :

  1. E est métrisable.
  2. Tout point de E possède une base dénombrable de voisinages.
  3. La topologie de E peut être définie par une sous-famille dénombrable de semi-normes.
  4. La topologie de E peut être définie par une famille dénombrable filtrante de semi-normes.
  5. La topologie de E peut être définie par une distance invariante par translation.

Remarquons que tout espace vectoriel normé 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.

Les analogues pour p < 1 des espaces Lp avec p ≥ 1 sont métrisables par une distance invariante, mais ne sont pas localement convexes.

Espace de Fréchet[modifier | modifier le code]

Article détaillé : 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).

Note et référence[modifier | modifier le code]

  1. 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 », .

Articles connexes[modifier | modifier le code]