Mesure localement finie
Une mesure (positive) définie sur la tribu borélienne d'un espace topologique est dite localement finie si tout point de 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
- Laurent Schwartz, Analyse : Calcul intégral, t. III, (ISBN 2705661632[à vérifier : ISBN invalide]), p. 183. Cette source ne pose aucune restriction particulière (séparation notamment) sur l'espace topologique .
- Heinz Bauer (de), Measure and integration theory, Walter de Gruyter, (ISBN 9783110167191), p. 170