2 Das d -dimensionale Lebesgue-Maß
10. Satz Es existiert genau eine
σ
-additive Abbildungλ
d: B
d→ [0, ∞ ]
mit∀ a
i≤ b
i: λ
d([a
1, b
1] × · · · × [a
d, b
d]) =
Y
di=1
(b
i− a
i).
Diese erf¨ullt
λ
d(a + Q(A)) = λ(A)
f¨ur alle
a ∈ R
d,A ∈ B
d und alle orthogonalen AbbildungenQ : R
d→ R
d.Beweis. Siehe Meintrup, Sch¨affler (2005, Anhang A.1) 200/1
11. Definition
λ
d gem. Satz 10 heißt Lebesgue-Maß aufB
doder
d
-dimensionales Lebesgue-Maß.12. Bemerkung Definiere
Ω := [0, 1]
bzw.[0, 1[,
A := { A ∩ Ω : A ∈ B
1} , P (A) := λ
1(A), A ∈ A,
U (ω) := ω, ω ∈ Ω.
Dann ist
(Ω, A, P )
ein W’raum und es giltU ∼ U (Ω)
. Siehe Definition IV.25.201/1