Kurs:Analysis (Osnabrück 2013-2015)/Teil III/Vorlesung 65/latex
\setcounter{section}{65}
Es ist unser Ziel zu zeigen, dass auf der Produktmenge von Maßräumen unter recht allgemeinen Voraussetzungen ein Maß definiert ist, das durch die Produktwerte auf den Quadern festgelegt ist. Dafür gehen wir den Weg über den Produkt-Präring.
\zwischenueberschrift{Produkt-Präringe}
\inputdefinition
{}
{
Es seien
\mathl{(M_1, {\mathcal P }_1) , \ldots , (M_n, {\mathcal P }_n)}{} Mengen mit darauf erklärten
\definitionsverweis {Präringen}{}{.}
Dann nennt man den von allen
\definitionsverweis {Quadern}{}{}
\mathdisp {S_1 \times \cdots \times S_n \text{ mit } S_i \in {\mathcal P }_i \text { für alle } i =1 , \ldots , n} { }
\definitionsverweis {erzeugten Präring}{}{}
den \definitionswort {Produkt-Präring}{} der
\mathbed {(M_i, {\mathcal P }_i)} {}
{i = 1 , \ldots , n} {}
{} {} {} {.}
}
\inputfaktbeweis
{Produktmenge/Endlich/Quaderbeschreibung des Produkt-Präringes/Fakt}
{Lemma}
{}
{
\faktsituation {Es seien
\mathl{(M_1, {\mathcal P }_1) , \ldots , (M_n, {\mathcal P }_n)}{} Mengen mit darauf erklärten
\definitionsverweis {Präringen}{}{.}}
\faktfolgerung {Dann besteht der
\definitionsverweis {Produkt-Präring}{}{}
aus allen endlichen
\definitionsverweis {disjunkten Vereinigungen}{}{}
von
\definitionsverweis {Quadern}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Die Quader
\mathl{S_1 \times \cdots \times S_n}{} mit
\mavergleichskette
{\vergleichskette
{ S_i
}
{ \in }{ {\mathcal P_i }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gehören zum Produkt-Präring, und damit auch endliche Vereinigungen davon. \teilbeweis {Wir müssen also zeigen, dass das angegebene Mengensystem ${\mathcal H }$
\zusatzklammer {das aus den endlichen disjunkten Vereinigungen von Quadern besteht} {} {} ein
\definitionsverweis {Präring}{}{}
ist.\leerzeichen{}}{Wir beschränken uns dabei auf den Fall von zwei Mengen
\mathkor {} {(M, {\mathcal P })} {und} {(N, {\mathcal R })} {,}
der allgemeine Fall folgt daraus durch Induktion.\leerzeichen{}}{}
{Die leere Menge ist als leerer Quader in ${\mathcal H }$ enthalten. \teilbeweis {}{}{}
{Wir diskutieren zunächst die Mengenoperationen für zwei Quader
\mathkor {} {S_1 \times T_1} {und} {S_2 \times T_2} {.}
Der Durchschnitt davon ist gleich
\mavergleichskette
{\vergleichskette
{ (S_1 \times T_1) \cap (S_2 \times T_2)
}
{ = }{ (S_1 \cap S_2) \times (T_1 \cap T_2)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
also wieder ein Quader. Für die Vereinigung gilt
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ (S_1 \times T_1) \cup (S_2 \times T_2)
}
{ =} { ((S_1 \setminus S_2) \times T_1) \uplus ((S_1 \cap S_2) \times (T_1 \cup T_2)) \uplus ((S_2 \setminus S_1) \times T_2)
}
{ } {
}
{ } {
}
{ } {
}
}
{}
{}{,}
was eine endliche disjunkte Vereinigung aus Quadern ist. Für die Differenzmenge ist
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ (S_1 \times T_1) \setminus (S_2 \times T_2)
}
{ =} { ((S_1 \setminus S_2 ) \times T_1) \uplus ((S_1 \cap S_2 ) \times (T_1 \setminus T_2) )
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ebenfalls eine endliche disjunkte Vereinigung von Quadern.}
{}
\teilbeweis {}{}{}
{Es seien nun zwei disjunkte endliche Vereinigungen von Quadern,
\mathkor {} {V_1 = \biguplus_{i \in I} Q_i} {und} {V_2 = \biguplus_{j \in J} L_j} {,} gegeben. Dann ist
\mavergleichskettealign
{\vergleichskettealign
{ V_1 \setminus V_2
}
{ =} { { \left( \biguplus_{i \in I} Q_i \right) } \setminus { \left( \biguplus_{j \in J} L_j \right) }
}
{ =} { \biguplus_{i \in I} { \left( Q_i \setminus { \left( \biguplus_{j \in J} L_j \right) } \right) }
}
{ =} { \biguplus_{i \in I} { \left( { \left( Q_i \setminus L_{j_0} \right) } \setminus { \left( \biguplus_{j \in J,\, j \neq j_0} L_j \right) } \right) }
}
{ } {
}
}
{}
{}{.}
Nach der obigen Überlegung ist
\mathl{Q_i \setminus L_{j_0}}{} für jedes $i$ eine endliche disjunkte Vereinigung von Quadern. Diese kann man zu einer disjunkten Vereinigung von kleineren Quadern über eine größere Indexmenge $I'$ zusammenfassen. Die Behauptung folgt somit durch Induktion über die Anzahl von $J$. Für die Vereinigung ist
\mavergleichskettealign
{\vergleichskettealign
{ V_1 \cup V_2
}
{ =} { { \left( \biguplus_{i \in I} Q_i \right) } \cup { \left( \biguplus_{j \in J} L_j \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}
{}{}
eine endliche Vereinigung von Quadern. Durch Induktion über die Anzahl der Quader kann man unter Verwendung der obigen Überlegung für zwei Quader zeigen, dass man dies auch als eine endliche disjunkte Vereinigung von Quadern darstellen kann.}
{}}
{}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Simple_set1.png} }
\end{center}
\bildtext {} }
\bildlizenz { Simple set1.png } {} {Oleg Alexandrov} {Commons} {PD} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Simple_set2.png} }
\end{center}
\bildtext {} }
\bildlizenz { Simple set2.png } {} {Oleg Alexandrov} {Commons} {PD} {}
Der obige Beweis beeinhaltet insbesondere, dass man jede endliche Vereinigung von Quadern als eine endliche disjunkte Vereinigung schreiben kann.
\zwischenueberschrift{Produktprämaße}
\inputfaktbeweis
{Produktmenge/Endlich/Produkt-Prämaß/Wohldefiniertheit/Eigenschaften/Fakt}
{Lemma}
{}
{
\faktsituation {Es seien
\mathl{(M_1, {\mathcal P }_1, \mu_1) , \ldots , (M_n, {\mathcal P }_n, \mu_n)}{} Mengen mit darauf erklärten
\definitionsverweis {Präringen}{}{} und
\definitionsverweis {Prämaßen}{}{.}}
\faktuebergang {Dann gelten folgende Aussagen.}
\faktfolgerung {\aufzaehlungzwei {Die für eine endliche
\definitionsverweis {disjunkte Vereinigung}{}{}
\mavergleichskettedisp
{\vergleichskette
{ V
}
{ =} { \biguplus_{i \in I} Q_i
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
von
\definitionsverweis {Quadern}{}{}
\mavergleichskette
{\vergleichskette
{ Q_i
}
{ = }{ S_{i1} \times \cdots \times S_{in}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {wobei die Seiten endliches Maß haben} {} {}
durch
\mavergleichskettedisp
{\vergleichskette
{ \mu(V)
}
{ =} { \sum_{i \in I} \mu(Q_i)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ \mu(Q_i)
}
{ = }{ \mu_1(S_{i1}) { \cdots } \mu_n (S_{in})
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
definierte Zahl ist unabhängig von der gewählten Zerlegung.
} {Es seien
\mavergleichskette
{\vergleichskette
{ \mu_i(M_i)
}
{ < }{ \infty
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {insbesondere sei dies definiert} {} {.}
Dann ist die Zuordnung
\mathl{V \mapsto \mu(V)}{} ein
\definitionsverweis {Prämaß}{}{}
auf dem
\definitionsverweis {Produkt-Präring}{}{.}
}}
\faktzusatz {}
\faktzusatz {}
}
{
\teilbeweis {}{}{}
{(1). Wir beschränken uns im Beweis auf zwei Mengen
\mathkor {} {(M, {\mathcal P } , \pi)} {und} {(N, {\mathcal R } , \rho)} {,}
die allgemeine Aussage folgt daraus durch Induktion. Seien
\mavergleichskettedisp
{\vergleichskette
{V
}
{ =} {\biguplus_{i \in I} Q_i
}
{ =} {\biguplus_{j \in J} L_j
}
{ } {
}
{ } {
}
}
{}{}{}
zwei Darstellungen einer Menge
\mavergleichskette
{\vergleichskette
{ V
}
{ \subseteq }{ M \times N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
als endliche disjunkte Vereinigung von Quadern. Wir müssen
\mavergleichskette
{\vergleichskette
{ \sum_{i \in I} \mu(Q_i)
}
{ = }{ \sum_{j \in J} \mu(L_j)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
zeigen. Für jeden Quader $Q_i$ ist insbesondere
\mavergleichskette
{\vergleichskette
{ Q_i
}
{ \subseteq }{ \bigcup_{j \in J} L_j
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Damit ist auch
\mavergleichskettedisp
{\vergleichskette
{ Q_i
}
{ =} { Q_i \cap { \left( \biguplus_{j \in J} L_j \right) }
}
{ =} { \biguplus_{j \in J} { \left( Q_i \cap L_j \right) }
}
{ } {
}
{ } {
}
}
{}{}{.}
Nach
Lemma 65.2
sind die Durchschnitte rechts selbst Quader. Damit erhalten wir eine dritte Darstellung von $V$, die beide Darstellungen verfeinert. Daher können wir gleich annehmen, dass jedes $L_j$ Teilmenge eines $Q_i$ ist. Dann ist insbesondere
\mavergleichskette
{\vergleichskette
{ Q_i
}
{ = }{ \biguplus_{j \in J_i} L_{j}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit einer gewissen Teilmenge
\mavergleichskette
{\vergleichskette
{ J_i
}
{ \subseteq }{ J
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
wobei die $J_i$ für verschiedene $i$ disjunkt sind. Es genügt also, für einen Quader
\mavergleichskettedisp
{\vergleichskette
{ Q
}
{ =} { A \times B
}
{ =} { \biguplus_{j \in J} L_j
}
{ } {
}
{ } {
}
}
{}{}{}
die Gleichheit
\mavergleichskettedisp
{\vergleichskette
{ \mu(Q)
}
{ =} { \sum_{j \in J} \mu(L_j)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
zu zeigen. Da $J$ endlich ist, sind überhaupt nur endlich viele Seiten $S_j$ aus ${\mathcal P }$ und $T_j$ aus ${\mathcal R }$ an diesen überdeckenden Quadern beteiligt. Aus diesen Seiten kann man ein Mengensystem ${\mathcal S }$ bilden, das aus allen möglichen feinsten Durchschnitten der $S_j$ und ihrer Komplemente
\mathl{A \setminus S_j}{} besteht, und ein Mengensystem ${\mathcal T }$ bilden, das aus allen möglichen feinsten Durchschnitten der $T_j$ und ihrer Komplemente
\mathl{B \setminus T_j}{} besteht. Diese Mengen sind disjunkt und seien mit
\mathbed {S_\lambda} {}
{\lambda \in \Lambda} {}
{} {} {} {,}
und
\mathbed {T_\gamma} {}
{\gamma \in \Gamma} {}
{} {} {} {,}
bezeichnet
\zusatzklammer {das bedeutet, dass wir ein \anfuehrung{Raster}{} einführen} {} {.}
Damit kann man jeden Quader $L_j$ als eine endliche disjunkte Vereinigung aus Quadern der Form
\mathl{S_\lambda \times T_\gamma}{} schreiben, und zwar als
\mavergleichskettedisp
{\vergleichskette
{L_j
}
{ =} { { \left( \biguplus_{\lambda \in \Lambda_j} S_\lambda \right) } \times { \left( \biguplus_{\gamma \in \Gamma_j} T_\gamma \right) }
}
{ =} { \biguplus_{(\lambda, \gamma) \in \Lambda_j \times \Gamma_j } S_\lambda \times T_\gamma
}
{ } {
}
{ } {
}
}
{}{}{,}
und jeder dieser Quader kommt in genau einem $L_j$ vor. Insgesamt ergibt sich
\mavergleichskettealign
{\vergleichskettealign
{\mu(Q)
}
{ =} { \pi (A) \cdot \rho (B)
}
{ =} { \pi { \left( \biguplus_{\lambda \in \Lambda} S_\lambda \right) } \cdot \rho { \left( \biguplus_{ \gamma \in \Gamma } T_\gamma \right) }
}
{ =} { { \left( \sum_{\lambda \in \Lambda} \pi (S_\lambda ) \right) } \cdot { \left( \sum_{ \gamma \in \Gamma } \rho( T_\gamma) \right) }
}
{ =} { \sum_{ (\lambda, \gamma) \in \Lambda \times \Gamma } \pi (S_\lambda) \cdot \rho (T_\gamma)
}
}
{
\vergleichskettefortsetzungalign
{ =} { \sum_{j \in J} { \left( \sum_{ (\lambda, \gamma) \in \Lambda_j \times \Gamma_j} \pi (S_\lambda ) \cdot \rho ( T_\gamma) \right) }
}
{ =} { \sum_{j \in J} { \left( \sum_{ \lambda \in \Lambda_j} \pi (S_\lambda ) \right) } \cdot { \left( \sum_{ \gamma \in \Gamma_j} \rho ( T_\gamma) \right) }
}
{ =} { \sum_{j \in J} \mu(L_j )
}
{ } {}
}{}{.}}
{}
\teilbeweis {}{}{}
{(2). Es sei
\mavergleichskette
{\vergleichskette
{ V
}
{ = }{ \biguplus_{n \in \N} V_n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine abzählbare disjunkte Vereinigung, wobei
\mathkor {} {V} {und die} {V_n} {}
endliche disjunkte Vereinigungen von Quadern sind. Wir müssen
\mavergleichskette
{\vergleichskette
{ \mu(V)
}
{ = }{ \sum_{n \in \N} \mu (V_n)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
zeigen. Dies kann man direkt auf den Fall zurückführen, wo
\mathkor {} {V=Q} {und} {V_n = Q_n} {}
Quader sind. \teilbeweis {}{}{}
{Zu einer Teilmenge
\mavergleichskettedisp
{\vergleichskette
{ T
}
{ \subseteq} { M \times N
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und zu
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
betrachten wir
\mavergleichskettedisp
{\vergleichskette
{ T(x)
}
{ =} { { \left\{ y \in N \mid (x,y) \in T \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wenn $T$ zum Produkt-Präring gehört, also eine endliche disjunkte Vereinigung von Quadern ist, so gehören diese Mengen zu ${\mathcal R }$, da sie eine endliche Vereinigung gewisser
\zusatzklammer {$N$-} {} {}Seiten dieser Quader sind. Zu einer positiven reellen Zahl $a$ kann man die Menge
\mavergleichskettedisp
{\vergleichskette
{ T^{a}
}
{ =} { { \left\{ x \in M \mid \rho( T(x) ) = a \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
betrachten. Dies Menge ist wiederum eine endliche Vereinigung von
\zusatzklammer {$M$-} {} {}Seiten der beteiligten Quader und gehört somit zu ${\mathcal P }$. Weiterhin kann
\mavergleichskette
{\vergleichskette
{ T^{a}
}
{ \neq }{ \emptyset
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nur für endlich viele Werte
\mavergleichskette
{\vergleichskette
{ a
}
{ \in }{ \R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sein, nämlich nur für die Teilsummen der Werte des Prämaßes $\rho$ der
\zusatzklammer {$N$-} {} {}Seiten der beteiligten Quader. Mit diesen Notationen gilt
\mavergleichskettedisp
{\vergleichskette
{\mu(T)
}
{ =} { \sum_{a \in \R_+} \pi ( T^{a} ) \cdot a
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
da dies für jeden Quader gilt und daraus durch Aufsummieren folgt.}
{}
\teilbeweis {}{}{}
{Sei also nun
\mavergleichskette
{\vergleichskette
{ Q
}
{ = }{ \biguplus_{n \in \N} Q_n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine abzählbare Zerlegung in Quader. Wir müssen
\mavergleichskettealign
{\vergleichskettealign
{ \mu(Q)
}
{ =} { \sum_{i \in \N} \mu(Q_i)
}
{ =} { \lim_{n \rightarrow \infty} \sum_{i = 0}^n \mu(Q_i)
}
{ =} { \lim_{n \rightarrow \infty} \mu(Q_0 \uplus \ldots \uplus Q_n)
}
{ } {
}
}
{}{}{}
zeigen. Nach Übergang zu den Komplementen in $Q$ ist dies äquivalent damit, dass
\mavergleichskettedisp
{\vergleichskette
{ \lim_{n \rightarrow \infty} \mu(T_n)
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist für
\mavergleichskette
{\vergleichskette
{ T_n
}
{ = }{ Q \setminus (Q_0 \uplus \ldots \uplus Q_n)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Es ist
\mathl{T_n \downarrow \emptyset}{,} und damit ist auch
\mathl{T_n(x) \downarrow \emptyset}{} für jedes
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Nach
Lemma 63.4
ist daher
\mavergleichskette
{\vergleichskette
{ \lim_{n \rightarrow \infty} \rho( T_n(x))
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Zu
\mavergleichskette
{\vergleichskette
{ \delta
}
{ > }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
definieren wir
\mavergleichskettedisp
{\vergleichskette
{ T_n^{ \geq \delta}
}
{ =} { { \left\{ x \in M \mid \rho (T_n(x)) \geq \delta \right\} }
}
{ =} { \bigcup_{a \geq \delta } T_n^{ a}
}
{ } {
}
{ } {
}
}
{}{}{.}
Da für jedes
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Folge
\mathl{\rho (T_n(x))}{} gegen $0$ konvergiert, schrumpft die Mengenfolge
\mathl{T_n^{ \geq \delta}}{} für jedes
\mavergleichskette
{\vergleichskette
{ \delta
}
{ > }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegen $\emptyset$. Daraus folgt, wieder mit
Lemma 63.4,
dass
\mavergleichskette
{\vergleichskette
{ \lim_{n \rightarrow \infty} \pi(T_n^{\geq \delta})
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
{}
\teilbeweis {}{}{}
{Seien nun
\mavergleichskette
{\vergleichskette
{ \delta, \epsilon
}
{ > }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegeben. Zu $\epsilon$ gibt es ein $n_0$ mit
\mavergleichskettedisp
{\vergleichskette
{ \pi(T_n^{\geq \delta})
}
{ \leq} { \epsilon
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{ n
}
{ \geq }{ n_0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Für diese $n$ hat man dann insgesamt die Abschätzung
\mavergleichskettealign
{\vergleichskettealign
{ \mu(T_n)
}
{ =} { \sum_{a \in \R_+} \pi (T_n^{a} ) \cdot a
}
{ =} { { \left( \sum_{a < \delta } \pi (T_n^{a} ) \cdot a \right) } + { \left( \sum_{\rho(N) \geq a \geq \delta } \pi (T_n^{a} ) \cdot a \right) }
}
{ \leq} { { \left( \sum_{a < \delta } \pi (T_n^{a} ) \cdot a \right) } + { \left( \sum_{\rho(N) \geq a \geq \delta } \pi (T_n^{a} ) \right) } \rho(N)
}
{ \leq} { \pi(M) \cdot \delta + \epsilon \cdot \rho(N)
}
}
{}{}{.}
Da nach Voraussetzung
\mathkor {} {\pi(M)} {und} {\rho(N)} {}
endlich sind, kann man den letzten Term durch geeignete Wahl von
\mathkor {} {\delta} {und} {\epsilon} {}
beliebig klein machen. Daher konvergiert
\mathl{\mu(T_n)}{} gegen $0$.}
{}}
{}
\inputfaktbeweis
{Maßtheorie/Existenz/Produktmaß/Fakt}
{Satz}
{}
{
\faktsituation {Es seien $n$
$\sigma$-\definitionsverweis {endliche}{}{}
\definitionsverweis {Maßräume}{}{}
\mathl{(M_1, {\mathcal A }_1, \mu_1) , \ldots , (M_n, {\mathcal A }_n, \mu_n)}{} gegeben.}
\faktfolgerung {Dann gibt es genau ein
\zusatzklammer {$\sigma$-endliches} {} {}
Maß $\mu$ auf der
\definitionsverweis {Produkt}{}{-}$\sigma$-\definitionsverweis {Algebra}{}{}
\mathl{{\mathcal A }_1 \otimes_{ } \cdots \otimes_{ } {\mathcal A }_n}{,} das für alle messbaren Quader
\zusatzklammer {deren Seiten endliches Maß besitzen} {} {}
den Wert
\mavergleichskettedisp
{\vergleichskette
{ \mu(T_1 \times \cdots \times T_n )
}
{ =} { \mu_1(T_1) { \cdots } \mu_n(T_n)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
besitzt.}
\faktzusatz {}
\faktzusatz {}
}
{
Wir beschränken uns auf den Fall von zwei $\sigma$-endlichen Maßräu\-men
\mathkor {} {(M, {\mathcal A } ,\pi)} {und} {(N, {\mathcal B } ,\rho)} {.} Es seien
\mathkor {} {M_n,\, n \in \N,} {bzw.} {N_n, \, n \in \N,} {}
jeweils Ausschöpfungen der Räume durch Teilmengen mit endlichem Maß. \teilbeweis {}{}{}
{Die Eindeutigkeit folgt aus
Satz 63.7,
da das Maß auf dem durchschnittsstabilen Erzeugendensystem aller Quader festgelegt ist, und die Mengen
\mathbed {M_n \times N_n} {}
{n \in \N} {}
{} {} {} {,}
eine Ausschöpfung des Produktraumes mit endlichem Maß bilden.}
{}
\teilbeweis {}{}{}
{Zur Existenz. \teilbeweis {}{}{}
{Wir ersetzen zuerst die Ausschöpfungen durch disjunkte Vereinigungen, indem wir
\mathl{M_n \setminus M_{n-1}}{} statt $M_n$ betrachten. Dann bilden die
\mathbed {M_i \times N_j} {}
{(i,j) \in \N \times \N} {}
{} {} {} {,}
eine disjunkte Vereinigung von
\mathl{M \times N}{.} Da ein Maß nach
Aufgabe *****
durch die Einschränkungen auf einer abzählbaren disjunkten Vereinigung eindeutig bestimmt ist, genügt es, auf jedem
\mathl{M_i \times N_j}{} ein Maß zu konstruieren. D.h. wir können annehmen, dass die Maße
\mathkor {} {\pi} {und} {\rho} {}
\definitionsverweis {endlich}{}{}
sind.}
{}
\teilbeweis {}{}{}
{Es sei ${\mathcal H }$ der
\definitionsverweis {Produkt-Präring}{}{}
auf
\mathl{M \times N}{.} Nach
Lemma 65.3
gibt es auf diesem Mengensystem ein wohldefiniertes
\definitionsverweis {Prämaß}{}{,}
das auf den Quadern durch das Produkt der Seitenmaße gegeben ist.}
{}
\teilbeweis {}{}{}
{Aufgrund von
Satz 64.7 kann man dieses Prämaß zu einem Maß auf der $\sigma$-Algebra
\mathl{{\mathcal A } \otimes {\mathcal B }}{} fortsetzen.}
{}}
{}
\inputdefinition
{}
{
Es seien
\mathl{(M_1, {\mathcal A }_1, \mu_1) , \ldots , (M_n, {\mathcal A }_n, \mu_n)}{}
$\sigma$-\definitionsverweis {endliche Maß\-räume}{}{.}
Dann nennt man das in
Lemma 65.3
und
Satz 65.4
konstruierte
\definitionsverweis {Maß}{}{}
das \definitionswort {Produktmaß}{} auf
\mathl{M_1 \times \cdots \times M_n}{.} Es wird mit
\mathl{\mu_1 \otimes_{ } \cdots \otimes_{ } \mu_n}{} bezeichnet.
}