Dual topologique - Définition

Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.

- Définition - Dual topologique d'un espace de Hilbert - Topologies duales - Bidual (topologique)

Définition

Soit $\mathbb E$ un espace vectoriel topologique sur le corps $\mathbb K = \mathbb R$ ou $\mathbb C$ .

Le dual topologique $\mathbb {E'}$ de $\mathbb E$ est le sous-espace de $\mathbb{E} ^*$ (espace dual de E) formé des formes linéaires continues (il est immédiat que c'est bien un sous-espace vectoriel).

Si l'espace est de dimension finie le dual topologique coïncide avec le dual (algébrique) puisque dans ce cas toute forme linéaire est continue.

Par contre ceci est inexact dans le cas général. Ainsi par exemple envisageons l'espace vectoriel réel $\mathbb D$ des fonctions dérivables de l'intervalle $[0,1]$ dans $\mathbb R$ muni de la topologie de la norme uniforme $n(f)=\sup_{x \in [0,1]}|f(x)|$ . Soit alors $\quad p$ la forme linéaire définie par $\quad p(f)=f'(0)$ . Soit par ailleurs la suite $\quad (f_n)_{n>0}$ de fonctions de $\mathbb D$ définie par $\quad f_n(x)=x(1-x)^n$ . On constate facilement que $\lim_{n \to\infty}f_n=0$ (la fonction $\quad f_n$ est positive et maximale pour $\quad x=1/(n+1)$ ). Mais $\quad p(f_n)=1$ pour tout $n$ alors que $\quad p(f_n)$ devrait tendre vers $\quad p(0)=0$ si $\quad p$ était continue !

Dual topologique d'un espace de Hilbert

Nous allons prouver le résultat fondamental suivant :

Le dual topologique $\mathbb {H'}$ d'un espace de Hilbert $\mathbb H$ est l'image de $\mathbb H$ par l'isomorphisme $\quad j$ tel que l'image $\quad j(v)$ d'un vecteur $\quad v \in \mathbb H$ soit la forme linéaire définie par $\forall w \in \mathbb H, \langle j(v),w\rangle=(v|w)$ (produit scalaire).

En effet, l'application $\quad j(v)$ est clairement une forme linéaire (« en $w$ »), continue en vertu de l'inégalité de Cauchy-Schwarz.

$\quad j$ est évidemment linéaire.

Si $\quad j(v)=0$ , quel que soit $\quad w \in \mathbb H$ , $\quad(v|w)=0$ . En appliquant ceci à $\quad w=v$ on déduit $\quad v=0$ , ce qui montre que $\quad j$ est injective.

Montrons enfin que $\quad j$ est surjective. Tout d'abord $\quad j(0)=0$ . Soit à présent $\quad p$ une forme linéaire non nulle continue sur $\mathbb H$ . L'hyperplan vectoriel $\quad M$ d'équation $\quad p(v)=0$ est fermé. La théorie de la projection sur un hyperplan fermé d'un Hilbert (cf. espace de Hilbert) montre l'existence d'un vecteur unitaire $u$ orthogonal à cet hyperplan $\quad M$ et de plus $\quad H=M \oplus vect(u)$ . Tout vecteur w de $\mathbb H$ s'écrit de manière unique $\quad w=(u|w)u+w'$ avec $\quad w' \in M$ . Il en résulte que $\quad p(w)=(u|w)p(u)=(p(u)u|w)$ puisque $\quad p(w')=0$ . Ainsi $\quad j(p(u)u)=p$ .

Topologies duales

Nous allons dire quelques mots sur les topologies que l'on peut définir canoniquement dans certains cas sur le dual.

Topologie faible du dual

À tout vecteur v de $\mathbb E$ on peut faire correspondre l'application $\quad \nu _v$ de $\mathbb {E'}$ dans $\mathbb R$ définie par $\quad \nu_v(p)=|p(v)|$ .

Il est immédiat que $ν v$ est une semi-norme sur $\mathbb {E'}$ . On considère une famille finie J de semi-normes. On définit la semi-norme $p_J(x) = \sup_{i \in J}\ p_i(x)$ . Cette famille de semi-normes $p J$ est filtrante. La topologie définie par cette famille de semi-normes s'appelle topologie faible du dual. Muni de cette topologie, $\mathbb {E'}$ est un espace localement convexe. Comme conséquence du théorème de Hahn-Banach, la topologie définie ci-dessus est séparée.

Topologie forte sur le dual d'un espace normé

Si $\mathbb E$ est un espace vectoriel normé, on peut définir une norme duale $\| . \|'$ sur $\mathbb{E'}$ par

$\mathbb {E'}$ muni de cette norme (on dit "le dual fort") est un espace de Banach.

En effet soit $\quad p_n$ une suite de Cauchy de $\mathbb {E'}$ .

Pour tout $v \in \mathbb E$ la suite $\quad p_n(v)$ est une suite de Cauchy de $\mathbb K$ ( puisque $\quad |p_m(v)-p_n(v)|\le \|p_m-p_n\| \|v\|$ ). Il en résulte la définition d'une fonction $\quad p$ de $\mathbb E'$ dans $\quad K$ définie par $\quad p(v)=\lim_{n \to \infty}p_n(v)$ .

est une forme linéaire (algébrique): démonstration immédiate ("passage à la limite")

est continue:

et comme toute suite de Cauchy est bornée, il existe $\quad \lambda >0$ tel que

pour tout

. D'où

, ce qui montre que p est continue en 0 et donc continue sur

Le théorème de Banach-Alaoglu-Bourbaki affirme que la boule unité de l'espace dual d'un espace de Banach, muni de la norme de la topologie forte, est *-faiblement compacte.

Bidual (topologique)

Alors que la notion purement algébrique du bidual ne présente aucune ambiguïté, il en est tout autrement pour les notions topologiques. En effet selon la topologie retenue sur le dual les formes linéaires sur ce dual pourront être ou non continues.

Bidual d'un espace de Banach et réflexivité

Dans le cas d'un espace de Banach E, on qualifie en général de bidual le dual du dual muni de la topologie forte, noté $E''$ .

Il existe une application naturelle de E dans son bidual, l'application d'évaluation

qui constitue une injection isométrique. Lorsque J est une bijection, l'espace E est dit réflexif.

Par exemple, pour $1 < p < \infty$ , l'espace $l p$ des suites $(x n)$ telles que $\sum_{n=0}^\infty \left| x_n \right|^p$ converge, est réflexif. Son dual est l'espace des suites $(y n)$ telles que $\sum_{n=0}^\infty \left| y_n \right|^q$ converge, avec ${1 \over p} + {1 \over q}=1$ .

Par contre, l'espace $c 0$ des suites de limite nulle n'est pas réflexif. Son dual est l'espace $l 1$ des suites $(x n)$ telles que $\sum_{n=0}^\infty \left| x_n \right|$ converge, et dont le dual est $l^\infty$ , espace des suites bornées.

- Définition - Dual topologique d'un espace de Hilbert - Topologies duales - Bidual (topologique)

Des chercheurs ont intercepté et décodé "facilement" des messages sous-marins depuis les airs ✈️

Voici pourquoi les femmes ressentent plus de douleur chronique que les hommes 🧐

Un immense iceberg se détache et révèle ce surprenant écosystème caché depuis des siècles 🦑

Un colibri imite une chenille pour survivre: découvrez cette stratégie étonnante 🐦

Cette forme de vie géante ne ressemble à rien d'autre de connu 🌎

Recherche: cette nouvelle molécule se montre terriblement efficace contre la calvitie 🔬

Des tardigrades génétiquement modifiés pour survivre... sur le Soleil ☀️

Or, cuivre... pourquoi ces métaux précieux se trouvent dans les zones de subduction ? 🌋

Une avancée majeure dans la supraconductivité à haute température 🌡️

Les chimpanzés fabriquent leurs outils comme des ingénieurs 🛠️

Mach 16: des surprises physiques découvertes dans les vols hypersoniques 🚀

Des scientifiques ont réussi à filmer la séparation des brins de l'ADN 🧬

Comment 13 degrés peuvent transformer une foule en chaos ? 🚶‍♂️

Découverte: les phoques savent évaluer la quantité d'oxygène dans leur sang 🤿

Les trous noirs pourraient-ils protéger la vie dans l'Univers ? 🌱

Implants mammaires en silicone: une toxicité remise en question

Découverte d'un "broyeur d'étoiles" dans notre galaxie 🌀

Neandertal et Sapiens: une collaboration inattendue il y a 100 000 ans 🤝

Que sont ces sphères noires découvertes sur Mars ? 🔴

Découverte: les champignons contre... la grippe 🍄

Découverte inédite: voici comment notre cerveau attache les souvenirs entre eux 🖇️

Découverte: les requins émettent des sons ! 🦈

Des scientifiques inventent un ciment qui aspire le CO2 🌎

Comment le cerveau décode le temps: du récit aux réseaux neuronaux 🕰️

Horloge atomique dans son smartphone et GPS 1000 fois plus précis ⏱️

L'ocytocine: l'hormone de l'amour ou simple mythe ? 💕

Cette nouvelle méthode permettrait d'identifier une vie extraterrestre inattendue 👽

Une araignée géante filmée dans les abysses de l'Antarctique 🕷️

Trois familles d'objets planétaires identifiées dans le Système Solaire externe 🔭

Découverte d'une griffe géante à 2 doigts appartenant à une nouvelle espèce de dinosaure 🦖

Un nouvelle technologie de vaisseaux nucléaires pour explorer le Système solaire 🚀

Votre cerveau se consomme lui-même pour rechercher de l'énergie, pendant un exercice intense 🏃

Des vestiges organiques découverts sur Mars 🧐

Pourquoi les armes nucléaires sont-elles si difficiles et dangereuses à produire ? 💥

MRAM: la mémoire informatique du futur enfin là ? ⚡

Vidange d'un lac glaciaire: la catastrophe du Sikkim en 2023 expliquée 🌊

Qu'est-ce qui a bien pu creuser ces tunnels il y a plusieurs millions d'années ? ⛏️

Les secrets biologiques de Maria Branyas Morera, la supercentenaire 🕰️

Exploiter la rotation terrestre pour produire de l'électricité: l'énergie verte de demain ? ⚡

Que nous apprennent ces émissions radioactives de météorites lunaires et martiennes ? ☢️

La Chine dévoile un processeur quantique fiable à 99.9% 🚀

Voici les emblématiques espèces éteintes que la science pourrait bientôt ressusciter 🦣

Un poisson de 15 millions d'années incroyablement préservé 🐟

Existence démontrée d'un lien entre muscles, cerveau et fertilité 💪

Prévision météo: une petite IA surclasse les plus gros supercalculateurs 🌤️

Cette fosse commune révèle une histoire de violence extrême et de respect ⚔️

Cette nouvelle cellule solaire dure 10 fois plus longtemps 🌞

Des poulets aux plumes de dinosaures: une expérience génétique étonnante 🐔

Vidéo: une pieuvre chevauche un requin, une rencontre marine insolite 🐙

Une explication aux magnétars à faible champ 🧲

Page générée en 0.122 seconde(s) - site hébergé chez Contabo
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
A propos - Informations légales
Version anglaise | Version allemande | Version espagnole | Version portugaise