Support d'une mesure
Dans un espace topologique mesuré, le support d'une mesure (borélienne) est un fermé sur lequel, sauf cas pathologiques, se concentre cette mesure.
Définition
[modifier | modifier le code]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 simples
[modifier | modifier le code]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 pathologique
[modifier | modifier le code]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 pathologie
[modifier | modifier le code]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].
- C'est également le cas si la mesure est régulière.
- 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érences
[modifier | modifier le code]- (en) Lev Bukovský (sk), The Structure of the Real Line, Springer, (ISBN 978-3-0348-0005-1), 130.
- (en) Charalambos D. Aliprantis et Kim C. Border, Infinite Dimensional Analysis : A Hitchhiker's Guide, Springer, , 704 p. (ISBN 978-3-540-32696-0, lire en ligne), 441-442.
- Marc Briane et 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.