Espace localement convexe

outil mathématique

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

modifier

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 l'ensemble d'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

Contre-exemples

modifier

Critère de séparation

modifier

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

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

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.

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

modifier

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

modifier
  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 », .
  2. a et b (en) Eric Schechter, Handbook of Analysis and Its Foundations, Academic Press, (lire en ligne), p. 724.

Articles connexes

modifier