Lebesgue-Maß

Das Lebesgue-Maß ist das übliche verwendete Maß im euklidischen Raum. Das Lebesgue-Maß wird verwendet um geometrischen Objekten einen Inhalt (Volumen,Fläche..) zuzuordnen und es ist das zentrale Objekt, um das Lebesgue-Integral zu definieren. Das Lebesgue-Maß von einfache gemetrische Objekte ist einfach deren Volumen (im 3-dimensionalen), bzw Fläche oder Länge (für zwei- bzw ein-dimensionale Objekte). Das Maß ist jedoch viel allgemeiner als der naive Inhaltbegriff, es erlaubt auch komplizierten (aber nicht allen!) Mengen einen wohldefinierten Wert als Inhalt zuzuorden.

Genaugenommen ist das Lebesque-Maß eigentlich der richtige Begriff für Volumen und Flächeninhalt. Dieses Konzept steht als Endprodukt einer ganzen Reihe von Ideen, die versuchten den Begriff Volumen mathematisch exakt zu fassen. Erst mit dem Lebesgue-Maß kann dieser Prozess als abgeschlossen gelten.

Konstruktion des Lebesgue-Maß

Eine mögliche Definition des Lebesgue-Maß ist die Konstruktion von Caratheodory. Für eine gegebene Menge B definiert man

$\lambda ^{*}(B):=inf\{vol(M)|M{\mbox{ ist abzaehlbare Vereinigung von Produkten von Intervallen und M ist eine Teilmenge von B}}\}$

Hier ist vol(M) das Volumen von M. Da dies nur aus Produkten von Intervallen besteht lässt sich das Volumen einfach als Produkt der einzelnen Seitenlängen berechnen.

Eine Menge A ist Lebesgue-messbar wenn für alle Mengen B gilt:

$\lambda ^{*}(B)=\lambda ^{*}(A\cap B)+\lambda ^{*}(B-A)$

Die Lebesgue-messbaren Mengen bilden eine Sigma-Algebra und für diese definiert man das Lebesgue-Maß

$\lambda (A)=\lambda ^{*}(A)$

Es gibt sowohl messbare als auch nichtmessbare Mengen. Die nichtmessbaren Mengen gelten aber als Ausnahmefall, tatsächlich ist es nicht möglich eine nichtmessbare Menge einfach hinzuschreiben. Jede Definiton einer solchen ist nicht konstruktiv und benötigt das Auswahlaxiom. (Ein Paradoxon, das auf nichtmessbaren Mengen beruht ist das Banach-Tarski-Paradoxon) In diesem Sinn kann man als Faustregel davon ausgehen, dass alle in der Realität auftauchenden Mengen Lebesgue-messbar sind.

Nullmenge

Mengen, deren Lebesgue-Maß 0 (obwohl die Mengen nicht leer sind) ist, bezeichnet man als Nullmengen. Zum Beispiel ist jede abzählbare Menge eine Nullmenge. Nullmengen kann man sich gewissermaßen als nebelartige Gebilde vorstellen, die keine vernünftiges Volumen haben.

siehe auch: Maßtheorie