En théorie de la mesure, une mesure régulière est une mesure sur un espace topologique séparé mesuré qui vérifie deux propriétés qui lient mesure et topologie.

Quelques énoncés qui posent des conditions topologiques assez couramment remplies permettent de garantir la régularité d'une mesure de Borel.

Définition

modifier

Une mesure (positive)   définie sur une tribu contenant la tribu borélienne d'un espace séparé X est dite régulière lorsqu'elle est à la fois intérieurement régulière et extérieurement régulière[1], c'est-à-dire lorsque :

  1. pour tout élément   de la tribu,   ;
  2. pour tout élément   de la tribu,  .

Variantes

modifier

Diverses sources exigent en outre d'une « mesure régulière » d'être une mesure de Borel[2].

Des conditions topologiques qui garantissent la régularité

modifier

Deux résultats assurent la régularité des mesures sur deux grandes familles d'espaces.

Théorème : sur un espace localement compact dans lequel tout ouvert est σ-compact, toute mesure de Borel est régulière[3].

La condition topologique de ce théorème peut paraître assez technique, mais elle est entraînée par des hypothèses plus familières : ainsi peut-on vérifier qu'elle sera remplie par un espace localement compact séparé à base dénombrable[4], et a fortiori par un espace métrique compact[5].

Théorème : sur un espace polonais toute mesure borélienne finie est régulière[6].

Références

modifier
  1. (en) Laurent Schwartz, Analyse : Calcul intégral, t. III, Hermann, (ISBN 978-2-7056-6163-2 et 2-705-66163-8), p. 173.
  2. Ainsi (en) Charalambos D. Aliprantis et Kim C. Border, Infinite Dimensional Analysis : A Hitchhiker's Guide, Springer, , 703 p. (ISBN 978-3-540-32696-0, lire en ligne), p. 435 ou Serge Lang, Real and Functional Analysis, Berlin, Springer, 2007 (ISBN 3540940014), p. 256-257.
  3. Walter Rudin, Analyse réelle et complexe [détail des éditions], th. 2-18, p. 48.
  4. (en) Heinz Bauer, Measure and Integration Theory, Walter de Gruyter, coll. « De Gruyter Studies in Mathematics » (no 26), , 230 p. (ISBN 978-3-11-016719-1, lire en ligne), p. 184.
  5. Schwartz 1993, p. 186. La preuve donnée par cette source ne repose pas sur le théorème mentionné ici mais sur la régularité extérieure de toute mesure finie sur un espace métrique.
  6. Aliprantis et Border 2007, p. 438.