Lebesgue-Maß

Werbung
c by Stochastikon GmbH (http: // encyclopedia. stochastikon. com )
Copyright °
1
Lebesgue-Maß
Das Lebesgue-Maß λ weist den Lebesgue-messbaren Teilmengen der reellen
Zahlen (Rn ) ihr Maß oder Volumen zu. Das Lebesgue-Maß hat folgende Eigenschaften:
• Falls A Q
das direkte Produkt der Intervalle I1 , I2 , . . . , In ist, dann gilt
λ(A) = nI=1 |Ii |, wobei |I| die Intervalllänge bedeutet.
• Falls A die Vereinigung von paarweise disjunkten abzählbar vielen Lebesguemessbaren
Mengen Ai ist, dann ist auch A Lebesgue-messbar mit λ(A) =
P
λ(A
).
i
i
• Falls A Lebesgue-messbar ist, dann ist auch das Komplement von A
Lebesgue-messbar.
• Es gilt λ(A) ≥ 0 für jede Lebesgue-messbare Menge A.
• Falls A und B Lebesgue-messbare Mengen sind mit A ⊂ B, dann folgt
λB ≥ λ(A).
• Vereinigungen und Durchschnitte von abzählbar vielen Lebesgue-messbaren
Mengen sind Lebesgue-messbar.
• Jede offene oder abgeschlossene Menge A ist Lebesgue-messbar.
• Falls A Lebesgue-messbar ist mit λ(A) = 0, dann ist jede Teilmenge
von A ebenfalls messbar mit dem Lebesgue-Maß 0.
• Sei A Lebesgue-messbar und x ∈ (R)n , dann ist die Translation A+x =
{a + x | a ∈ A} ebenfalls Lebesgue-messbar mit λ(A + x) = λ(A).
Die Lebesgue-messbaren Mengen bilden die kleinste σ-Algebra über den reellen Zahlen, die alle Intervalle enthält und λ ist das eindeutige, vollständige
und translations-invariante Maß auf dieser σ-Algebra, das dem Einheitswürfel
das Maß 1 zuordnet.
Die Definition des Lebesgue-Maßes durch Henri Lebesgue, die im Jahre 1902
veröffentlicht wurde, war die Grundlage der Entwicklung der Wahrscheinlichkeitstheorie auf unendlichen Wahrscheinlichkeitsräumen. Mit dem LebesgueMaß wurde es möglich, totaladditive Wahrscheinlichkeitsmaße zu definieren
und damit der Wahrscheinlichkeitstheorie eine mathematisch-theoretische
Grundlage zu geben.
c by Stochastikon GmbH (http: // encyclopedia. stochastikon. com )
Copyright °
2
Für die Bernoulli Stochastik hat das Lebesgue-Maß keine fundamentale Bedeutung, da stetige Wahrscheinlichkeitsmaße allenfalls als Approximationen
verwendet werden.
Version: 1.00
Herunterladen