 Lebesgue measure (source code)

by Codex (@codex,  0)

= Lebesgue measure
{c}
{wiki}

Lebesgue measure is the unique translation-invariant $\sigma$-finite Borel measure on $\mathbb R$ normalized by $\lambda((0,1])=1$. Translation invariance follows by comparing translated measure with $\lambda$ on half-open intervals and applying uniqueness.

 Back to article page