Mesure extérieurement régulière

Soit μ une mesure (positive) définie sur la tribu borélienne d'un espace topologique X.

On dit[1] qu'un borélien A de X est extérieurement régulier pour μ lorsqu'il vérifie :

On dit[2] que μ est extérieurement régulière lorsque tout borélien est extérieurement régulier pour μ.

Sur un espace topologique mesuré, il est souhaitable de faire des liens entre des espaces de fonctions issus de la structure topologique, ainsi l'espace des fonctions continues à support compact, et des espaces issus de la structure mesurée, typiquement l'espace L₁. Une collection d'axiomes de régularité -dont la propriété de régularité extérieure- permettent de démontrer des résultats substantiels valables dans les espaces qui les vérifient.

Une hypothèse à la fois riche en conséquences et fréquemment vérifiée est la régularité. C'est la conjonction de la régularité extérieure et d'une deuxième condition, la régularité intérieure ; dans un tel espace, un borélien peut être mis en sandwich entre un compact qui y est contenu et un ouvert qui le contient qui l'approchent au sens de la mesure. C'est le plus souvent ce type d'approximation simultanée par dedans et par dehors qui est utilisé dans les démonstrations[8].

On peut tout de même signaler au moins une occurrence où la régularité extérieure de la mesure de Lebesgue est seule utilisée : cela se produit dans l'étude des points de dérivabilité des fonctions numériques absolument continues sur la droite réelle[9].

Sous divers jeux d'hypothèses sur la topologie de l'espace X (par exemple métrisabilité et séparabilité), la régularité extérieure est entraînée par la finitude locale de la mesure. Cela fait l'objet des sections suivantes. Les exemples regroupés ici montrent que, lorsque la finitude locale fait défaut, il est très banal de ne pas disposer d'une mesure extérieurement régulière - même sur un espace métrique compact, même sur un espace métrique mesuré sigma fini.

• La mesure de comptage sur [0, 1] (muni de sa topologie usuelle) n'est pas extérieurement régulière.
• De même, la mesure de comptage sur ℚ (muni de sa topologie usuelle) n'est pas extérieurement régulière[10].

On démontre dans un premier temps le résultat suivant[11] :

Théorème : Une mesure (positive) finie définie sur la tribu borélienne d'un espace métrique est extérieurement régulière.

Pour énoncer une généralisation de ce théorème, il est pratique de définir une mesure modérée comme une mesure définie sur un espace topologique X pour laquelle X est réunion dénombrable d'ouverts de μ-mesure finie[12]. Avec cette convention de vocabulaire, on peut écrire[13] :

Théorème : Une mesure (positive) modérée sur la tribu borélienne d'un espace métrique est extérieurement régulière.

L'hypothèse est en particulier remplie lorsque μ est localement finie et X métrique séparable[12].

En revanche, il ne suffirait pas de supposer la mesure σ-finie, comme le montre l'exemple de la mesure de comptage sur ℚ mentionné plus haut.

Même pour une mesure finie on ne peut en revanche pas conclure sans hypothèses supplémentaires à la régularité de la mesure. Il existe un exemple de mesure finie sur un espace métrique (une variante de l'ensemble de Vitali) qui est extérieurement régulière mais pas intérieurement régulière[14].

Sur la tribu borélienne d'un espace localement compact séparé, une mesure est localement finie si et seulement si c'est une mesure de Borel[15].

Mesures σ-régulières, représentation principale d'une forme linéaire positive

Soit X localement compact séparé. Étant donné une forme linéaire positive sur l'espace des fonctions numériques continues à support compact définies sur X, le théorème de représentation de Riesz assure qu'il est possible de la représenter d'une part par une mesure de Borel intérieurement régulière μ>_o(sa représentation « essentielle ») et d'autre part par une mesure de Borel extérieurement régulière μ^o(sa représentation « principale ») qui vérifie en outre une condition affaiblie de régularité intérieure : celle-ci n'est pas requise pour tous les boréliens de X mais seulement pour les ouverts. Chacune de ces représentations est unique.

Les mesures vérifiant les conditions requises dans la définition de la représentation principale sont appelées mesures σ-régulières. Elles constituent donc une classe de mesures extérieurement régulières plus large que celle des mesures régulières[19].

Lorsque μ_o et μ^o sont distinctes, la représentation principale est un exemple de mesure de Borel extérieurement régulière qui n'est pas intérieurement régulière (et, symétriquement, la représentation essentielle est une mesure de Borel qui n'est pas extérieurement régulière tout en étant intérieurement régulière). Voici un exemple de forme linéaire pour laquelle cela se produit[20] :

On considère un ensemble non dénombrable I, qu'on munit de la topologie discrète, puis on pose X = I × ℝ.

Pour f fonction continue à support compact sur X, on pose :

${\displaystyle \Lambda (f)=\sum _{i\in I}\left(\int _{-\infty }^{+\infty }f(i,t)\,\mathrm {d} t\right).}$

Les termes sommés étant nuls sauf un nombre fini, cette définition a un sens. Pour toute mesure de Borel λ représentant Λ, on vérifie que la λ-mesure de tout ouvert contenant I × {0} est infinie. La mesure principale λ⁰ représentant Λ vérifie donc :

λ⁰(I × {0}) = +∞.

Par ailleurs, tout compact contenu dans I × {0} est de mesure nulle (un tel compact est un ensemble fini) : pour la représentation essentielle λ_o, on a donc :

λ₀(I × {0}) = 0.

La régularité extérieure interagit aussi avec la régularité intérieure vis-à-vis des fermés, une propriété moins exigeante que la régularité intérieure.

Par passage au complémentaire, l'énoncé qui suit[22] est sans difficulté :

Proposition : Une mesure finie définie sur la tribu borélienne d'un espace topologique est extérieurement régulière si et seulement si elle est intérieurement régulière vis-à-vis des fermés.

Cet énoncé trivial admet la généralisation suivante[9] (la définition de « mesure modérée » a été donnée plus haut dans cet article) :

Théorème : Une mesure (positive) modérée définie sur la tribu borélienne d'un espace topologique est extérieurement régulière si et seulement si elle est intérieurement régulière vis-à-vis des fermés.

Hors du champ d'application de ce théorème, la régularité extérieure et la régularité intérieure vis-à-vis des fermés peuvent ne plus coïncider.

• Il existe des exemples de mesures intérieurement régulières vis-à-vis des fermés (et même intérieurement régulières vis-à-vis des compacts) qui ne sont pas extérieurement régulières. Les plus simples sont les mesures de comptage sur [0, 1] ou sur ℚ déjà mentionnées plus haut[10] - mais elles ne sont pas localement finies. La mesure λ₀ sur I × ℝ évoquée plus haut est un exemple localement fini, qui est même une mesure de Borel sur un espace métrisable localement compact. Il existe aussi des exemples localement compacts, séparés et sigma-finis[23].
• Il existe aussi des exemples de mesures extérieurement régulières qui ne sont pas intérieurement régulières vis-à-vis des fermés[24].