Measure theory MOC

Locally finite measure

Let be a Hausdorff topological space and a measure space at with least as fine as a Borel algebra, i.e. . Then is locally finite iff every has a neighbourhood such that is finite. #m/def/measure

Properties

• Local finite measure of a compact set is finite

#state/develop | #lang/en | #SemBr