Partant d'une mesure de Borel (positive) sur un espace topologiqueX, on peut l'utiliser pour intégrer toutes les fonctions numériques continues à supportcompact. L'application ainsi définie sur l'espace vectoriel Cc(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 Cc(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é.
la notation Cc(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 Cc(X) est « positive » signifie que pour toute f de Cc(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élienA ⊂ 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 Cc(X). Il existe une mesure de Borel μ sur X qui représente Λ au sens suivant :
pour toute f appartenant à Cc(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.
