Théorème de représentation de Riesz (Riesz-Markov)

En analyse, le théorème de représentation de Riesz (certaines versions sont parfois dénommées théorème de Riesz-Markov) est un théorème qui « représente » certains éléments du dual de l'espace des fonctions continues à support compact définies sur un espace topologique localement compact à l'aide de mesures.

Partant d'une mesure de Borel (positive) sur un espace topologique X, on peut l'utiliser pour intégrer toutes les fonctions numériques continues à support compact. L'application ainsi définie sur l'espace vectoriel C_c(X) composé de toutes ces fonctions est une forme linéaire positive (au sens où elle envoie toute fonction à valeurs positives sur un réel positif)^[1].

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 positive sur C_c(X), et on veut savoir si elle peut être représentée comme intégrale par rapport à une mesure de Borel, et si oui si la mesure est unique.

Il en existe un grand nombre de variantes, et il s'agit plutôt aujourd'hui d'une collection de théorèmes^[2] dont quelques énoncés sont présentés ci-dessous. Les hypothèses utiles à la preuve de l'existence sont bien stabilisées d'une source à l'autre (on requiert locale compacité et séparation de X) ; il existe en revanche plusieurs variantes de technicité variable permettant d'écrire des résultats d'unicité.

Un énoncé assez général

Dans l'énoncé^[3] ci-dessous :

• la notation C_c(X) désigne l'espace vectoriel des fonctions continues à support compact définies sur X et à valeurs réelles ;
• dire qu'une forme linéaire Λ définie sur C_c(X) est « positive » signifie que pour toute f de C_c(X) à valeurs positives, Λ(f) ≥ 0 ;
• on entend par « mesure de Borel » une mesure borélienne (positive) finie sur les compacts ;
• on entend par « mesure intérieurement régulière » une mesure borélienne μ qui vérifie la condition suivante :

pour tout borélien A ⊂ X, μ(A)=Sup{μ(K) | K est compact et inclus dans A} ;

• enfin on entend par « mesure quasi-régulière » une mesure borélienne qui vérifie les deux conditions suivantes (la première est une condition de régularité extérieure, la deuxième une condition de régularité intérieure, mais qui n'est requise que pour les ouverts) :

pour tout borélien A ⊂ X, μ(A)=Inf{μ(U) | U est un ouvert contenant A},

pour tout ouvert A ⊂ X, μ(A)=Sup{μ(K) | K est compact et inclus dans A}.

Avec toutes ces conventions de vocabulaire, on peut énoncer :

Théorème : Soit X un espace topologique localement compact et séparable, et soit Λ une forme linéaire positive sur C_c(X). Il existe une mesure de Borel μ sur X qui représente Λ au sens suivant :

pour toute f appartenant à C_c(X), Λ(f) = ∫ f dμ.

De plus, il existe une et une seule mesure de Borel sur X qui représente ainsi Λ et est intérieurement régulière, et une et une seule qui est quasi-régulière.

Plusieurs auteurs soulignent que, lorsque ces deux mesures sont distinctes, la première est la plus utile^[4] ; ainsi c'est sur ses propriétés qu'est calquée une définition courante de ce qu'on appelle une mesure de Radon.

Utilisations

Il est possible de construire la mesure de Lebesgue à partir d'une théorie élémentaire d'intégration des fonctions continues en s'appuyant sur ce théorème, plutôt que de s'appuyer sur le volume des parallélépipèdes pour commencer la construction.

Notes et références

1. (en) Heinz Bauer, Measure and Integration Theory, Walter de Gruyter, coll. « De Gruyter Studies in Mathematics » (n^o 26), 2001, 230 p. (ISBN 978-3-11-016719-1, lire en ligne), p. 170.
2. (en) Charalambos D. Aliprantis et Kim C. Border, Infinite Dimensional Analysis : A Hitchhiker's Guide, Springer, 2007, 704 p. (ISBN 978-3-540-32696-0, lire en ligne), p. 487.
3. (en) H. L. Royden (de), Real Analysis, Prentice Hall, 1988, 3^e éd., 444 p. (ISBN 978-0-02-946620-9), p. 352 sous le nom de « Théorème de Riesz-Markov ».
4. Bauer 2001, p. 176 ou (en) Vladimir Bogacev, Measure Theory, Berlin, Springer (n^o 2), 2007, 575 p. (ISBN 978-3-540-34513-8 et 3-540-34513-2, lire en ligne), p. 116.

• Portail de l'analyse