Trivial measure

From Wikipedia, the free encyclopedia

In mathematics, specifically in measure theory, the trivial measure on any measurable space (X, Σ) is the measure μ which assigns zero measure to every measurable set: μ(A) = 0 for all A in Σ.

[edit] Properties of the trivial measure

Let μ denote the trivial measure on some measurable space (X, Σ).

• μ is never a strictly positive measure, regardless of (X, Σ), since every measurable set has zero measure.
• Since μ(X) = 0, μ is always a finite measure, and hence a locally finite measure.
• μ is an invariant measure (and hence a quasi-invariant measure) for any measurable function f : X →X.
• If X is an infinte-dimensional Hilbert space and Σ is the Borel σ-algebra on X, then μ is the only measure on (X, Σ) that is locally finite and invariant under all translations of X. See the article There is no infinite-dimensional Lebesgue measure.
• If X is any topological space with its Borel σ-algebra, then μ trivially satisfies the condition to be a regular measure.
• If X is a Hausdorff topological space with its Borel σ-algebra, then μ trivially satisfies the condition to be an inner regular measure. Hence, μ is also a Radon measure. In fact, it is the vertex of the pointed cone of all non-negative Radon measures on X.
• If X is Euclidean space Rⁿ with its usual σ-algebra and n-dimensional Lebesgue measure λⁿ, μ is a singular measure with respect to λⁿ: simply decompose Rⁿ as A = Rⁿ \ {0} and B = {0} and observe that μ(A) = λⁿ(B) = 0.