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.[1][2]
Definition
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
Examples
- 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.
- Lebesgue measure on Euclidean space is locally finite.
- By definition, any Radon measure is locally finite.
- 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 also
- Inner regular measure – borel measure which its value on a borel set is determined as the infimum of the measure of its open supersetPages displaying wikidata descriptions as a fallback
- Strictly positive measure
References
- v
- t
- e
- Absolute continuity of measures
- Lebesgue integration
- Lp spaces
- Measure
- Measure space
- Measurable space/function
- Atomic
- Baire
- Banach
- Besov
- Borel
- Brown
- Complex
- Complete
- Content
- (Logarithmically) Convex
- Decomposable
- Discrete
- Equivalent
- Finite
- Inner
- (Quasi-) Invariant
- Locally finite
- Maximising
- Metric outer
- Outer
- Perfect
- Pre-measure
- (Sub-) Probability
- Projection-valued
- Radon
- Random
- Regular
- Saturated
- Set function
- σ-finite
- s-finite
- Signed
- Singular
- Spectral
- Strictly positive
- Tight
- Vector
- Carathéodory's extension theorem
- Convergence theorems
- Decomposition theorems
- Egorov's
- Fatou's lemma
- Fubini's
- Hölder's inequality
- Minkowski inequality
- Radon–Nikodym
- Riesz–Markov–Kakutani representation theorem
For Lebesgue measure |
---|