Topologie faible


Topologie faible

En mathématiques, la topologie faible d'un espace vectoriel topologique E est une topologie définie sur E au moyen de son dual topologique E' . On définit également sur E' une topologie dite faible-* au moyen de E.

Sommaire

Topologie affaiblie d'un espace normé

Définition

Soient E un espace vectoriel normé (réel ou complexe), ou plus généralement un espace vectoriel topologique, et E' son dual topologique, c’est-à-dire l'ensemble des formes linéaires continues sur E. Supposons que le dual E' de E sépare les points de E (i.e  \forall x\not= 0:\, \exists \varphi \in E', \varphi(x)\not= 0 )- on peut montrer que cette condition est vérifiée si E est un espace localement convexe séparé. On appelle alors topologie faible sur E la topologie initiale associée à la famille de toutes les formes linéaires continues sur E, c'est-à-dire la topologie la moins fine gardant continus les éléments de E' . Elle est engendrée par les ouverts de la forme φ-1(U), où φ est un élément de E' et U un ouvert du corps des scalaires.

En particulier, une suite (u_n)_{n\in\N} d'éléments de E converge faiblement vers un élément u de E lorsque :

 \forall \varphi \in E',\quad \lim_{n\rightarrow+\infty}\langle\varphi,u_n\rangle=\langle\varphi,u\rangle

Par opposition, la topologie originelle de E s'appelle topologie forte.

Exemple

Soit E l'espace des suites réelles x = (xn) de limite nulle, muni de la norme \| x\| = \sup\{ \left| x_n \right|, n \in \mathbb N\}. Un élément φ de E' peut être représenté par une suite réelle n) telle que la série \sum \varphi_n soit absolument convergente. On a alors :

\langle\varphi,x\rangle = \sum_{n=0}^\infty \varphi_n x_n

.

Pour n entier, soit en l'élément de E consistant en une suite de réels tous nuls sauf le n-ème terme qui vaut 1. Alors (e_n)_{n \in \mathbb N} constitue une suite de E qui converge faiblement vers 0 mais pas fortement.

Propriétés élémentaires

  • La convergence forte dans E implique la convergence faible. Par exemple, si E est normé :
    |\langle\varphi,u_n\rangle-\langle\varphi,u\rangle|\leq \|\varphi\|_{E'}\|u_n-u\|_{E}
  • Le dual de E pour la topologie faible est le même que le dual de E pour la topologie forte.
  • La norme de la limite faible d'une suite (un)n dans E est inférieure à la limite inférieure des normes de un. Ce résultat utilise le théorème de Hahn-Banach.
  • Le théorème de Hahn-Banach est également utilisé pour montrer que les sous-espaces vectoriels fermés de E sont les mêmes pour les deux topologies. Il en est de même plus généralement des parties fermées convexes.

Continuité des opérateurs et topologie faible

Théorème[1] — Soit E et F des espaces localement convexes séparés et T un opérateur linéaire fortement continu de E dans F. Alors T reste continu lorsque l'on munit E et F de leur topologie faible.

La réciproque est fausse en général (un opérateur peut être continu pour les topologies faibles de E et F sans être continu pour les topologies fortes) mais vraie si E et F sont des espaces de Fréchet (on peut le démontrer à l'aide du théorème du graphe fermé[2]).

Topologie faible-* du dual

Définition

Il existe sur le dual E' au moins trois topologies.

  • La topologie forte, définie par la famille de semi-norme \| \varphi \|_B = \sup \{ \left| \langle\varphi,x\rangle \right|, x \in B\}B désigne une partie bornée quelconque de E. C'est la topologie de la convergence uniforme sur les parties bornées de E. Cette topologie permet de définir le dual E'' de E' ou bidual de E. C'est l'espace vectoriel des formes linéaires continues sur E'.
  • La topologie faible de E' définie par les éléments de E'' (au même titre que la topologie faible de E est définie à partir des éléments de E').
  • Comme E s'identifie à un sous-espace vectoriel de son bidual E'', on définit une topologie sur E', a priori encore plus faible que la topologie faible et appelée topologie faible-*, par la donnée des semi-normes \| \varphi \|_A = \sup \{ \left| \langle\varphi,x\rangle \right|, x \in A\}A désigne une partie finie quelconque de E. En particulier, une suite (\varphi_n)_{n\in \mathbb{N}} d'éléments de E' converge pour la topologie faible-* vers un élément φ de E' lorsque:
 \forall x \in E,\quad \lim_{n\rightarrow+\infty}\langle\varphi_n,x\rangle=\langle\varphi,x\rangle

Les trois topologies, forte, faible et faible-* sont en général distinctes. Dans le cas d'un espace de Banach réflexif (identifiable à son bidual), les topologies faible et faible-* sont égales.

Exemple

Soit E l'espace c_0(\mathbb R) des suites réelles x = (xn) de limite nulle, muni de la norme \| x\|_\infty = \sup\{ \left| x_n \right|, n \in \mathbb N\}.

Son dual E' est l'espace l^1(\mathbb R) des suites φ = (φn) telle que la série \sum \varphi_n soit absolument convergente, muni de la norme \| \varphi \|_1 = \sum_{n=0}^\infty \left| \varphi_n \right|.

Le bidual E'' est l'espace l^\infty(\mathbb R) des suites réelles bornées u = (un) muni de la norme \| u\|_\infty = \sup\{ \left| u_n \right|, n \in \mathbb N\}.

On a \langle\varphi,x\rangle = \sum_{n=0}^\infty \varphi_n x_n et \langle u, \varphi\rangle = \sum_{n=0}^\infty \varphi_n u_n.

Considérons dans E' l'élément en dont les n-premiers termes valent \frac{1}{n} et dont tous les autres sont nuls. Ces éléments forment une suite dans E' qui ne converge pas vers 0 pour la topologie forte puisque \| e_n \|_1 = 1. Elle ne converge pas non plus vers 0 pour la topologie faible de E', puisque, si l'on prend l'élément u de E'' égale à la suite constante 1, alors \langle u, e_n \rangle = 1. Mais elle converge vers 0 pour la topologie faible-* puisque, si l'on prend un élément x quelconque de E (donc une suite de limite nulle), alors \langle e_n ,x\rangle = \frac{1}{n}\sum_{k=0}^n x_k, qui converge bien vers 0 d'après le théorème de Cesàro.

Propriétés

  • Le dual topologique de E' muni de la topologie faible-* n'est autre que E lui-même.
  • Soient E et F deux espaces munis de leur topologie faible, et soient F' et E' munis de leur topologie faible-*. Alors la transposée établit une bijection entre l'espace vectoriel des applications faiblement continues de E dans F, et l'espace vectoriel des applications faiblement-* continues de F' dans E'.

Théorème de Banach-Alaoglu

Le théorème suivant, dont une généralisation aux espaces vectoriels topologiques est le théorème de Banach-Alaoglu-Bourbaki, permet parfois de pallier l'absence de compacité pour la topologie forte dans les espaces de Banach de dimension infinie. Il est la principale justification de la définition de la topologie faible-* :

Théorème — Soit E un espace normé. Alors la boule unité fermée de E' est compacte pour la topologie faible-*.

En particulier, si E est séparable, alors la boule unité du dual est séquentiellement compacte pour la topologie faible-*. En d'autres termes, toute suite (un)n bornée de E' admet une sous-suite convergente pour la topologie faible-*.

Ce théorème permet d'en déduire une caractérisation des espaces normés réflexifs (égaux à leur biduaux). Un tel espace est nécessairement un espace de Banach.

Théorème — Soit E un espace normé. Alors E est réflexif si et seulement si sa boule unité fermée est compacte pour la topologie faible.

À extraction près, une suite bornée d'un espace de Banach réflexif converge toujours faiblement (mais pas forcément fortement). Il existe de nombreuses méthodes récentes, développées notamment pour leurs applications dans le cadre de la théorie des équations aux dérivées partielles pour étudier le défaut de compacité d'une telle suite, en particulier dans les espaces de Hilbert (principe de concentration compacité de Pierre-Louis Lions, de mesure de défaut micro-locale de Patrick Gérard et Luc Tartar).

Convergence faible et espaces de Hilbert

Par le théorème de représentation de Riesz la définition de la convergence faible d'une suite (un)n sur un espace de Hilbert H s'écrit:

 \forall v\in H,\quad \lim_{n\rightarrow\infty} \langle u_n,v\rangle=\langle u,v\rangle

Ici \langle u,v\rangle désigne le produit scalaire sur H.

L'espace H est réflexif donc d'après le théorème de Banach-Alaoglu, un borné pour la topologie forte qui est fermé pour la topologie faible est compacte pour la topologie faible. Ainsi, dans un espace de Hilbert toute suite bornée admet une sous-suite faiblement convergente.

Mentionnons cette caractérisation élémentaire mais intéressante de la convergence forte dans un espace de Hilbert.

Proposition —  Soit (un)n une suite d'éléments de H convergeant faiblement vers un élément u de H. Alors cette convergence est forte si et seulement si :

\text{(1)} \qquad \lim_{n\rightarrow +\infty} \|u_n\|_H=\|u\|

Notes

  1. Claude Wagschal, Topologie et analyse fonctionnelle, Hermann, 1995, ISBN 978-2705662431, proposition 3.18.3 p. 337 et remarque 3.18.2 p. 338
  2. Op. cit., exercice 3.18.3 p. 338

Voir aussi

Article connexe

La topologie cohérente est aussi parfois appelée topologie faible.

Bibliographie

  • Laurent Schwartz, Topologie générale et analyse fonctionnelle, Hermann, 1970
  • Haïm Brezis, Analyse fonctionnelle : théorie et applications [détail des éditions]

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Topologie faible de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Topologie générale — Topologie Pour les articles homonymes, voir Topologie (homonymie). un ruban de Möbius est une surface fermée dont le bord se réduit à un cercle. De tels objets sont des …   Wikipédia en Français

  • Topologie cohérente — La topologie cohérente est fréquemment utilisée en topologie algébrique, notamment en lien avec les limites inductives. Ce vocabulaire désigne à la fois une méthode assez générale pour construire une topologie mais aussi une topologie… …   Wikipédia en Français

  • Topologie — Pour les articles homonymes, voir Topologie (homonymie). un ruban de Möbius est une surface fermée dont le bord se réduit à un cercle. De tels objets sont des sujets étudiés par la topologie …   Wikipédia en Français

  • Topologie produit — En mathématiques, plus précisément en topologie, la topologie produit est une topologie définie sur un produit d espaces topologiques. C est de manière générale la topologie faible associée aux projections de l espace produit vers chacun de ses… …   Wikipédia en Français

  • Topologie initiale — En mathématiques, plus précisément en topologie, la topologie initiale, sur un ensemble muni d une famille d applications à valeurs dans des espaces topologiques, est la topologie la moins fine pour laquelle toutes ces applications sont continues …   Wikipédia en Français

  • Topologie forte — Soit E un espace vectoriel (réel ou complexe) muni d une norme N. La topologie forte de E est la topologie engendrée par les boules ouvertes: un ouvert de E est une réunion quelconque d intersections finies de boules ouvertes. C est donc la… …   Wikipédia en Français

  • Faible — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « Faible », sur le Wiktionnaire (dictionnaire universel) en physique interaction faible hypercharge… …   Wikipédia en Français

  • Topologie de reseau — Topologie de réseau Pour les articles homonymes, voir Topologie. Une topologie de réseau est en informatique une définition de l architecture d un réseau. Elle donne une certaine disposition des différents postes informatiques du réseau et une… …   Wikipédia en Français

  • Topologie réseau — Topologie de réseau Pour les articles homonymes, voir Topologie. Une topologie de réseau est en informatique une définition de l architecture d un réseau. Elle donne une certaine disposition des différents postes informatiques du réseau et une… …   Wikipédia en Français

  • Topologie de réseau — Pour les articles homonymes, voir Topologie. Une topologie de réseau est en informatique une définition de l architecture d un réseau. Elle donne une certaine disposition des différents postes informatiques du réseau et une hiérarchie de ces… …   Wikipédia en Français