Messbare Funktion/Auf sigmaendlichem Maßraum/Graph hat Maß null/Fakt/Beweis

Aus Wikiversity
Beweis

Die Mengen und , die beide Teilmengen des Graphen sind, sind Nullmengen in . Man kann also annehmen, dass von vornherein eine messbare Funktion

vorliegt. Ferner können wir annehmen, dass ein endliches Maß ist, da zu einer Ausschöpfung mit auch eine Ausschöpfung von ist. Wenn der Durchschnitt des Graphen mit allen das Maß hat, so auch der Gesamtgraph.  Nehmen wir nun an, dass ist. Es ist

eine disjunkte abzählbare Vereinigung, so dass mindestens einer dieser „Streifen“ ein positives Maß haben muss. Wir können durch ersetzen und daher annehmen, dass das Bild von in liegt. Wir betrachten die abzählbar unendlich vielen Verschiebungen

Diese sind paarweise disjunkt und sie liegen alle in . Wegen der Translationsinvarianz von ist auch für jedes die Abbildung

maßtreu (man betrachte die Quader, die das Produktmaß festlegen, siehe Aufgabe), und daher besitzt jede Verschiebung des Graphen das gleiche Maß wie der Graph selbst. Aus

ergibt sich ein Widerspruch.