Théorème de représentation de Riesz

Théorème de représentation de Riesz
Page d'aide sur l'homonymie Pour les articles homonymes, voir Théorème de Riesz.

Il existe en analyse fonctionnelle plusieurs théorèmes nommés théorème de représentation de Riesz, en l'honneur du mathématicien Frigyes Riesz.

Sommaire

Le théorème de représentation de Riesz dans les espaces de Hilbert

Ce théorème est aussi parfois appelé théorème de Fréchet-Riesz (à ne pas confondre avec le théorème de Riesz-Fréchet-Kolmogorov). Il s'apparente singulièrement au théorème de Lax-Milgram qui englobe l'énoncé ci-dessous. Pour tout vecteur y d'un espace de Hilbert H, la forme linéaire qui à x associe <y,x> est continue sur H (sa norme est égale à celle de y, d'après l'inégalité de Cauchy-Schwarz). Le théorème de Riesz énonce la réciproque : toute forme linéaire continue sur H s'obtient de cette façon[1].

Énoncé

Soient :

Alors il existe un unique y dans H tel que pour tout x de H on ait f(x)=\langle y,x\rangle.

\exists\,!\ y \in H\,, \quad \forall x\in H\,, \quad f(x) = \langle y,x\rangle

Démonstration

Unicité de y

Soient y et z deux éléments de H vérifiant f(x) = \langle y, x \rangle = \langle z, x \rangle.

Pour tout x \in H on a \langle y-z, x \rangle = 0 et en particulier \|y-z\|^2 = \langle y-z, y-z \rangle = 0 d'où y = z.

Existence de y en dimension finie

Si H est de dimension finie, l'existence se déduit de l'unicité. En effet, puisque l'application de H dans son espace dual (de même dimension sur R) qui à tout y associe la forme linéaire <y, > est R-linéaire (antilinéaire dans le cas complexe) et injective, elle est surjective.

Existence de y en dimension quelconque

Si f\equiv 0, il suffit de choisir y = 0.

Supposons f\not\equiv 0. Le noyau ker(f) de f est alors distinct de H. Or c'est un sous-espace vectoriel de H (par linéarité de f) et il est fermé (car c'est l'image réciproque du fermé {0} par l'application continue f). D'après le théorème du supplémentaire orthogonal d'un fermé dans un espace de Hilbert on en déduit que \ker(f)^\bot n'est pas réduit à {0}.

Soit donc b un vecteur non nul orthogonal à ker(f).

Pour tout x \in H, posons p_x=x-\tfrac{f(x)}{f(b)}b.

Ainsi p_x \in \ker(f) et en particulier \langle b,p_x\rangle = 0.

En développant, on obtient

0 = \left\langle b, x-{f(x) \over f(b)}b \right\rangle = \langle b, x\rangle - {f(x) \over f(b)} \| b \|^2

D'où finalement

f(x) = \tfrac{f(b)}{\|b\|^2}\langle b, x\rangle =\langle y, x \rangle

avec y = \tfrac{\overline{f(b)}}{\|b\|^2}b.

Extension aux formes bilinéaires

Énoncé

Si a est une forme bilinéaire continue sur un espace de Hilbert réel \mathcal{H} (ou une forme sesquilinéaire complexe continue sur un Hilbert complexe), alors il existe une unique application A de \mathcal{H} dans \mathcal{H} telle que, pour tout (u,v)\in \mathcal{H}\times\mathcal{H} on ait a(u,v)=\langle Au,v \rangle. De plus, A est linéaire et continue, de norme égale à celle de a.

\exists !\,A\in\mathcal{L}(\mathcal{H}),\ \forall (u,v)\in\mathcal{H}\times\mathcal{H},\ a(u,v)=\langle Au,v \rangle

Démonstration

Démontrons-le dans le cas réel (le cas complexe est analogue). Pour un vecteur fixé u de \mathcal{H}, le théorème de représentation de Riesz assure de l'existence d'un unique vecteur Au dans \mathcal{H} tel que : pour tout v\in\mathcal{H}, a(u,v)=\langle A_u,v\rangle

On pose A:u\mapsto A_u défini tel que décrit ci-dessus. Pour tous v,u1,u2 de \mathcal{H} et tout réel λ on a

\langle A(u_1+\lambda u_2),v\rangle=a(u_1+\lambda u_2,v)=a(u_1,v)+\lambda a(u_2,v)=\langle A(u_1)+ \lambda A(u_2),v\rangle

donc A est linéaire.

Soit c la norme de l'application bilinéaire continue a. Pour tous vecteurs u,v on a :

|\langle A u,v \rangle|=|a(u,v)|\le c\|u\| \|v\|.

Pour v = Au, on en déduit \|A u\|\le c\|u\|. Donc l'application linéaire A est continue, et sa norme - notons-la d - est inférieure ou égale à c.

Montrons l'inégalité inverse. Pour tous vecteurs u,v on a :

|a(u,v)|=|\langle A u,v \rangle|\le \|Au\| \|v\|\le d\|u\| \|v\|,

donc c est inférieure ou égale à d, d'où l'égalité.

Le théorème de représentation de Riesz en théorie de la mesure

Le théorème de représentation de Riesz est fondamental en théorie de la mesure, et permet entre autres une construction efficace de la mesure de Lebesgue à partir de l'intégrale de Riemann. Il est connu que l'intégrale sur un espace topologique X associée à une mesure de Borel quelconque μ est une forme linéaire positive sur l'espace vectoriel Cc(X) des fonctions réelles, continues et à support compact définies sur X. Le théorème de représentation de Riesz établit sous certaines hypothèses la réciproque de cette propriété : on se donne une forme linéaire sur Cc(X), et on veut savoir si elle correspond à l'intégrale associée à une mesure μ.

Énoncé

Soit X un espace séparé localement compact, et soit Λ une forme linéaire positive sur Cc(X). Alors il existe une tribu \mathfrak{M} contenant les boréliens, et une unique mesure μ sur \mathfrak{M} telles que :

  1. \forall f \in C_c(X), \Lambda(f) = \int f\mathrm d\mu
  2. Pour tout compact K de X, \mu(K)<\infty
  3. Pour tout E\in\mathfrak{M},
    \mu(E)=\inf \{\mu(V), E\subset V {\rm ouvert}\}
  4. Pour tout E ouvert de X ou appartenant à \mathfrak{M} et vérifiant \mu(E)<\infty,
    \mu(E)=\sup\{\mu(K), K\subset E, K \text{ compact}\}

La mesure μ est construite comme suit[3] :

  • Pour tout ouvert V de X, on pose μ(V) = sup{Λ(f)}f décrit l'ensemble des fonctions à valeurs dans [0,1] et dont le support est compact et inclus dans V.
  • Pour toute partie E de X, on pose \mu(E) = \inf\{\mu(V), E \subset V {\rm ouvert }\}
  • La tribu \mathfrak{M} est constituée des parties E de X telles que, pour tout compact K, \mu(E \cap K) = \sup\{\mu(K'), K' {\rm compact } \subset E \cap K \}

Notes et références

  1. Walter Rudin, Analyse réelle et complexe [détail des éditions] p. 77
  2. Dans le cas complexe, deux conventions coexistent (voir l'article Forme sesquilinéaire complexe) : produit scalaire \scriptstyle\langle v,w\rangle linéaire par rapport à v et semi-linéaire par rapport à w, comme dans les articles Espace préhilbertien et Espace de Hilbert, ou l'inverse, comme ici et dans l'article Dual topologique. Les formules sont à adapter en fonction de la convention choisie.
  3. Rudin, op. cit.

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorème de représentation de Riesz de Wikipédia en français (auteurs)

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

Regardez d'autres dictionnaires:

  • Theoreme de representation de Riesz — Théorème de représentation de Riesz Il existe en analyse fonctionnelle plusieurs théorèmes nommés théorème de représentation de Riesz, en l honneur du mathématicien Frigyes Riesz. Sommaire 1 Le théorème de représentation de Riesz dans les espaces …   Wikipédia en Français

  • Théorème de représentation de riesz — Il existe en analyse fonctionnelle plusieurs théorèmes nommés théorème de représentation de Riesz, en l honneur du mathématicien Frigyes Riesz. Sommaire 1 Le théorème de représentation de Riesz dans les espaces de Hilbert 1.1 Énoncé 1.2 …   Wikipédia en Français

  • Théorème de Fréchet-Riesz — Théorème de représentation de Riesz Il existe en analyse fonctionnelle plusieurs théorèmes nommés théorème de représentation de Riesz, en l honneur du mathématicien Frigyes Riesz. Sommaire 1 Le théorème de représentation de Riesz dans les espaces …   Wikipédia en Français

  • Theoreme de Riesz — Théorème de Riesz En mathématiques, et plus particulièrement en théorie des espaces vectoriels normés réels ou complexes, le théorème de Riesz établit un lien entre la notion de compacité, une propriété topologique, et celle de dimension, une… …   Wikipédia en Français

  • Théorème de riesz — En mathématiques, et plus particulièrement en théorie des espaces vectoriels normés réels ou complexes, le théorème de Riesz établit un lien entre la notion de compacité, une propriété topologique, et celle de dimension, une notion algébrique. Il …   Wikipédia en Français

  • Theoreme de Stampacchia — Théorème de Stampacchia Le théorème de Stampacchia est un théorème d analyse fonctionnelle. Sommaire 1 Énoncé 2 Démonstration 2.1 Cas général 2.2 Cas symétrique …   Wikipédia en Français

  • Théorème de stampacchia — Le théorème de Stampacchia est un théorème d analyse fonctionnelle. Sommaire 1 Énoncé 2 Démonstration 2.1 Cas général 2.2 Cas symétrique …   Wikipédia en Français

  • Theoreme de Lax-Milgram — Théorème de Lax Milgram Le théorème de Lax Milgram – des noms de Peter Lax et Arthur Milgram – est un théorème de mathématiques. Il est utilisé pour résoudre des équations différentielles partielles via la formulation faible et sert ainsi… …   Wikipédia en Français

  • Théorème de lax-milgram — Le théorème de Lax Milgram – des noms de Peter Lax et Arthur Milgram – est un théorème de mathématiques. Il est utilisé pour résoudre des équations différentielles partielles via la formulation faible et sert ainsi notamment de fondement à la… …   Wikipédia en Français

  • Theoreme spectral — Théorème spectral Un ellipsoïde en trois possède autant d axes de symétrie que l espace de dimensions. Ils sont notés ici x, y et z …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”