Mesure localement finie

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

Une mesure (positive) définie sur la tribu borélienne d'un espace topologique X est dite localement finie si tout point de X a un voisinage de mesure finie[1].

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[2].

Références[modifier | modifier le code]

  1. Laurent Schwartz, Analyse : Calcul intégral, t. III,‎ 1993 (ISBN 2705661632[à vérifier : isbn invalide]), p. 183. Cette source ne pose aucune restriction particulière (séparation notamment) sur l'espace topologique X.
  2. Heinz Bauer (de), Measure and integration theory, Walter de Gruyter,‎ 2001 (ISBN 9783110167191), p. 170