Lebesgue Measure

Definition (Lebesgue measure (891))

The Lebesgue Measure, mm, is defined as the special case of the Lebesgue-Stieltjes Measure where F:R→RF:\mathbb{R}\to \mathbb{R} is defined as F(x)=x∀x∈RF(x)=x\quad\forall x \in\mathbb{R}

Definition (Lebesgue measure (437))

The Lebesgue Measure, λ\lambda is the restriction of the Lebesgue Outer Measure, λ∗\lambda^{*}, to the σ-algebra of Lebesgue measurable sets i.e. λ(A)=λ∗(A), ∀A∈M(λ∗)\lambda(A)=\lambda^{*}(A), \ \forall A\in\mathcal{M}(\lambda^{*})we generally define the Lebesgue measure in the 1D sense as λ([a,b])=b−a\lambda([a,b])=b-a

Remark

The Lebesgue measure is σ-finite.

Linked from