Mesure localement finie
Cet article est une ébauche concernant les mathématiques.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
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 modifier
- Laurent Schwartz, Analyse : Calcul intégral, t. III, Hermann, (ISBN 978-2-7056-6163-2), p. 183. Cette source ne pose aucune restriction particulière (séparation notamment) sur l'espace topologique .
- Heinz Bauer, Measure and integration theory, Walter de Gruyter, , 230 p. (ISBN 978-3-11-016719-1, lire en ligne), p. 170
