TOPICS
Search

Singular Measure


Two complex measures mu and nu on a measure space X, are mutually singular if they are supported on different subsets. More precisely, X=A union B where A and B are two disjoint sets such that the following hold for any measurable set E,

1. The sets A intersection E and B intersection E are measurable.

2. The total variation of mu is supported on A and that of nu on B, i.e.,

 ||mu||(B intersection E)=0=||nu||(A intersection E).

The relation of two measures being singular, written as mu_|_nu, is plainly symmetric. Nevertheless, it is sometimes said that "nu is singular with respect to mu."

A discrete singular measure (with respect to Lebesgue measure on the reals) is a measure lambda supported at 0, say lambda(E)=1 iff 0 in E. In general, a measure lambda is concentrated on a subset A if lambda(E)=lambda(E intersection A). For instance, the measure above is concentrated at 0.


See also

Absolutely Continuous, Complex Measure, Lebesgue Decomposition, Lebesgue Measure

This entry contributed by Todd Rowland

Explore with Wolfram|Alpha

Cite this as:

Rowland, Todd. "Singular Measure." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/SingularMeasure.html

Subject classifications