Maßtheorie/Existenz/Produktmaß/Fakt/Beweis
Wir beschränken uns auf den Fall von zwei -endlichen Maßräumen
und . Es seien
bzw.
jeweils Ausschöpfungen der Räume durch Teilmengen mit endlichem Maß. Die Eindeutigkeit folgt aus
Fakt,
da das Maß auf dem durchschnittsstabilen Erzeugendensystem aller Quader festgelegt ist, und die Mengen
, ,
eine Ausschöpfung des Produktraumes mit endlichem Maß bilden.
Zur Existenz. Wir ersetzen zuerst die Ausschöpfungen durch disjunkte Vereinigungen, indem wir statt betrachten. Dann bilden die
, ,
eine disjunkte Vereinigung von . Da ein Maß nach
Aufgabe
durch die Einschränkungen auf einer abzählbaren disjunkten Vereinigung eindeutig bestimmt ist, genügt es, auf jedem ein Maß zu konstruieren. D.h. wir können annehmen, dass die Maße
und
endlich
sind.
Es sei der
Produkt-Präring
auf . Nach
Fakt
gibt es auf diesem Mengensystem ein wohldefiniertes
Prämaß,
das auf den Quadern durch das Produkt der Seitenmaße gegeben ist.
Aufgrund von
Fakt kann man dieses Prämaß zu einem Maß auf der -Algebra fortsetzen.