Locally finite measure

Summary

In mathematics, a locally finite measure is a measure for which every point of the measure space has a neighbourhood of finite measure.[1][2][3]

DefinitionEdit

Let   be a Hausdorff topological space and let   be a  -algebra on   that contains the topology   (so that every open set is a measurable set, and   is at least as fine as the Borel  -algebra on  ). A measure/signed measure/complex measure   defined on   is called locally finite if, for every point   of the space   there is an open neighbourhood   of   such that the  -measure of   is finite.

In more condensed notation,   is locally finite if and only if

 

ExamplesEdit

  1. Any probability measure on   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.

See alsoEdit

ReferencesEdit

  1. ^ Berge, Claude (1963). Topological Spaces. p. 31. ISBN 0486696537.
  2. ^ Steen, Lynn Arthur; Seebach, J. Arthur (1978). Counterexamples in Topology. p. 22.
  3. ^ Gemignani, Michael C. (1972). Elementary Topology. p. 228. ISBN 0486665224.