Borel-Lebesgue-Maß/R^n/Einführung/Textabschnitt

Aus Wikiversity


Satz  

Der sei mit der -Algebra der Borel-Mengen versehen.

Dann gibt es auf genau ein (-endliches) Maß

das für alle Quader

den Wert

besitzt.

Die Aussage gilt auch für (achsenparallele) Quader mit offenen bzw. abgeschlossenen Intervallen als Seiten.

Beweis  

Für ist dies der Inhalt von Fakt. Für folgt dies aus Fakt, angewendet auf das -fache Produkt von mit sich selbst.



Definition  

Das eindeutig bestimmte Maß auf , das für jeden Quader der Form den Wert besitzt, heißt Borel-Lebesgue-Maß auf .

Bemerkung  

Das Borel-Lebesgue-Maß ordnet also jeder Borel-Menge eine reelle Zahl oder das Symbol zu. Die Quader bilden dabei die Grundkörper, denen auf eine besonders einfache Weise ein Maß zugeordnet wird, wodurch das gesamte Maß festgelegt wird. Für eine beliebige messbare Menge ist dabei gegeben als das Infimum von über alle abzählbaren Überpflasterungen von mit Quadern (so war eben das äußere Maß definiert, mit dessen Hilfe wir den Fortsetzungssatz für Maße aufstellen konnten). Es gibt kein allgemeines Verfahren, für gegebene Mengen (beispielsweise Flächenstücke, Körper) ihr Maß (ihren Flächeninhalt, ihr Volumen) effektiv zu bestimmen. Eine wichtige Technik ist die Integration von Funktionen in einer und in mehreren Variablen.