Dual Topologique

Dual topologique

Sommaire

1 Définition
2 Topologies duales
- 2.1 Topologie faible du dual
- 2.2 Topologie forte sur le dual d'un espace normé
3 Dual topologique d'un espace de Hilbert
4 Bidual (topologique)
- 4.1 Bidual d'un espace de Banach et réflexivité
5 Références
6 Bibiographie

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 !

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

A 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^[1].

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

$\|p\|=\sup_{v \in E,v \ne 0 } \frac{|p(v)|}{\|v\|}$

$\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)$ .

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

$\quad p$ est continue: $|p(v)|= \lim_{n \to \infty}p_n(v) \le \lim_{n \to \infty}\|p_n\|\|v\|$ et comme toute suite de Cauchy est bornée, il existe $\quad \lambda >0$ tel que $\quad \|p_n\|<\lambda$ pour tout $\quad n$ . D'où $|p(v)|\le \lambda \|v\|$ , ce qui montre que p est continue en 0 et donc continue sur $\mathbb E$ .

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.

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$ .

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

$J:E\rightarrow E''\qquad \forall x\in E, \,\forall \ell \in E', \, J(x)(\ell)=\ell(x)$

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.

Références

↑ Voir le cours http://people.math.jussieu.fr/~lerner/realanalysis.lerner.pdf (p54)

Bibiographie

Walter Rudin, Analyse réelle et complexe : cours et exercices [détail des éditions]

Portail des mathématiques

Ce document provient de « Dual topologique ».

Catégorie : Espace vectoriel topologique

Wikimedia Foundation. 2010.

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

Игры ⚽ Нужен реферат?

Regardez d'autres dictionnaires:

Dual topologique — Pour les articles homonymes, voir Dualité (mathématiques) et Dualité. Sommaire 1 Définition 2 Topologies duales 2.1 … Wikipédia en Français
Espace Dual — En mathématiques, l espace dual d un espace vectoriel E est l ensemble des formes linéaires sur E. La structure d un espace et celle de son dual sont très liées. La fin de cet article présente quelques résultats sur les liens entre espace dual et … Wikipédia en Français
Espace dual — Pour les articles homonymes, voir Dualité (mathématiques) et Dualité. En mathématiques, l espace dual d un espace vectoriel E est l ensemble des formes linéaires sur E. La structure d un espace et celle de son dual sont très liées. La fin de cet… … Wikipédia en Français
Groupe Topologique Compact — Un groupe topologique compact ou groupe compact est un groupe topologique G tel que l espace topologique sous jacent soit compact. Les groupes compacts sont des groupes unimodulaires, dont la compacité simplifie l étude. Ces groupes comprennent… … Wikipédia en Français
Groupe topologique compact — Un groupe topologique compact ou groupe compact est un groupe topologique G tel que l espace topologique sous jacent soit compact. Les groupes compacts sont des groupes unimodulaires, dont la compacité simplifie l étude. Ces groupes comprennent… … Wikipédia en Français
Espace Topologique — La topologie générale est une branche des mathématiques qui fournit un vocabulaire et un contexte général pour traiter des notions de limite, de continuité, dans le cadre d un continuum ou d un espace discret, voire fini. Dans ce contexte, les… … Wikipédia en Français
Structure topologique — Espace topologique La topologie générale est une branche des mathématiques qui fournit un vocabulaire et un contexte général pour traiter des notions de limite, de continuité, dans le cadre d un continuum ou d un espace discret, voire fini. Dans… … Wikipédia en Français
Espace Vectoriel Topologique — Les espaces vectoriels topologiques sont une des structures de base de l analyse fonctionnelle. Ce sont des espaces munis d une structure topologique associée à une structure d espace vectoriel. Des exemples connus d espaces vectoriels… … Wikipédia en Français
Espace vectoriel topologique — Les espaces vectoriels topologiques sont une des structures de base de l analyse fonctionnelle. Ce sont des espaces munis d une structure topologique associée à une structure d espace vectoriel, avec des relations de compatibilité entre les deux… … Wikipédia en Français
Partie bornée d'un espace vectoriel topologique — Pour les articles homonymes, voir Partie bornée. En analyse fonctionnelle et dans des domaines mathématiques reliés, une partie d un espace vectoriel topologique est dite bornée si tout voisinage du vecteur nul peut être dilaté de manière à… … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Dual Topologique

Dual topologique

Sommaire

Définition

Topologies duales

Topologie faible du dual

Topologie forte sur le dual d'un espace normé

Dual topologique d'un espace de Hilbert

Bidual (topologique)

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

Références

Bibiographie

Regardez d'autres dictionnaires:

Share the article and excerpts

Dictionnaires et Encyclopédies sur 'Academic'

Wikipédia en Français

Dual Topologique

Dual topologique

Sommaire

Définition

Topologies duales

Topologie faible du dual

Topologie forte sur le dual d'un espace normé

Dual topologique d'un espace de Hilbert

Bidual (topologique)

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

Références

Bibiographie

Regardez d'autres dictionnaires:

Share the article and excerpts

Direct link