Locally finite measure


In mathematics, a locally finite measure is a measure for which every point of the measure space has a neighbourhood of finite measure.

Definition

Let be a Hausdorff topological space and let Σ be a σ-algebra on X that contains the topology T. A measure/signed measure/complex measure μ defined on Σ is called locally finite if, for every point p of the space X, there is an open neighbourhood Np of p such that the μ-measure of Np is finite.
In more condensed notation, μ is locally finite if and only if

Examples

  1. Any probability measure on X is locally finite, since it assigns unit measure to the whole space. Similarly, any measure that assigns finite measure to the whole space is locally finite.
  2. Lebesgue measure on Euclidean space is locally finite.
  3. By definition, any Radon measure is locally finite.
  4. The counting measure is sometimes locally finite and sometimes not: the counting measure on the integers with their usual discrete topology is locally finite, but the counting measure on the real line with its usual Borel topology is not.