See also ebooksgratis.com: no banners, no cookies, totally FREE.

CLASSICISTRANIERI HOME PAGE - YOUTUBE CHANNEL
Privacy Policy Cookie Policy Terms and Conditions
Dual topologique - Wikipédia

Dual topologique

Un article de Wikipédia, l'encyclopédie libre.

Sommaire

[modifier] Définition

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 !

[modifier] Topologies duales

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

[modifier] 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'}. 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.

[modifier] Topologie forte sur le dual d'un espace de Banach

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

\mathbb {E'} muni de cette norme (on dit "le dual fort") est également 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 Kdé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 montre que la boule unité de l'espace dual (muni de la norme de la topologie forte) est *-faiblement compacte.

[modifier] 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 Hsoit la forme linéaire définie par \quad \langle j(v),w\rangle=(v|w) (produit scalaire).
  • \quad j est évidemment linéaire.
  • Si \quad j(v)=0, quelque 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

[modifier] 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.

[modifier] 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.


aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -