Ouvrir le menu principal

Dans un espace topologique mesuré, le support d'une mesure (borélienne) est un fermé sur lequel, sauf cas pathologiques, se concentre cette mesure.

Sommaire

DéfinitionModifier

Le support d'une mesure borélienne (positive) sur un espace topologique est, par définition, l'intersection de tous les fermés de mesure pleine (c'est-à-dire dont le complémentaire est de mesure nulle)[1]. Certains auteurs complètent cette définition en exigeant en outre que cette intersection soit de mesure pleine – si cette condition supplémentaire n'est pas remplie, ils considèrent que la mesure n'a pas de support[2].

Comme intersection de fermés, le support est un fermé de l'espace topologique[1].

Exemples simplesModifier

Dans le cas d'une mesure de Dirac en un point a, le support est réduit au singleton {a}[3].

Soit   une mesure supposée à densité par rapport à la mesure de Lebesgue   ; on note   la densité, de sorte que  . Le support de la mesure   est alors égal au support essentiel de la fonction   par rapport à la mesure de Lebesgue[3].

Un exemple pathologiqueModifier

Soit   le premier ordinal non dénombrable,   l'espace topologique compact   et   la mesure de Dieudonné, qui est une mesure de probabilité sur  .

L'intersection des fermés de mesure non nulle se réduit à  . Pourtant   (et  \ ) : le support ne parvient pas à concentrer la mesure. Si on utilise la deuxième définition donnée plus haut, on considère que cette mesure n'a pas de support[2].

Des hypothèses qui garantissent l'absence de pathologieModifier

Le phénomène observé à la section précédente ne peut se produire que si l'espace et la mesure sont tous deux assez compliqués. En effet :

  • Si l'espace considéré est à base dénombrable, le complémentaire du support de la mesure est de mesure nulle ; il en résulte que le support peut être décrit comme étant le complémentaire du plus grand ouvert de mesure nulle.
Preuve : Soit   une base d'ouverts dénombrable de l'espace considéré. Le complémentaire du support, que la définition décrit comme réunion des ouverts de mesure nulle, est aussi la réunion des ouverts qui sont simultanément de mesure nulle et éléments de la base  . En tant que réunion dénombrable d'ensembles de mesure nulle, il est lui aussi de mesure nulle[2].
Preuve : On considère un compact inclus dans le complémentaire du support. Ce compact peut être recouvert par une famille d'ouverts de mesure nulle, donc par un nombre fini d'ouverts de mesure nulle ; il est donc lui-même de mesure nulle. Par la propriété de régularité intérieure des mesures régulières, la mesure du complémentaire du support est donc elle-même nulle[2].

RéférencesModifier

  1. a et b (en) Lev Bukovský (sk), The Structure of the Real Line, Springer, (ISBN 978-3-03480005-1), 130.
  2. a b c et d (en) Charalambos D. Aliprantis et Kim C. Border, Infinite Dimensional Analysis: A Hitchhiker's Guide, Springer, (ISBN 978-3-540-32696-0), 441-442.
  3. a et b Marc Briane & Gilles Pagès, Théorie de l'intégration, Paris, Vuibert, coll. « Les grands cours Vuibert », , 302 p. (ISBN 2-7117-8946-2), exercice 6-18, p. 92. Cette référence traite le cas plus général où λ est une mesure borélienne sur un espace métrique séparable.