Sigmaendliche Maßräume/Produktmaß/Definition

Produkt-Maß

Es seien $(M_1,{𝒜}_1,{\mu }_1),\dots ,(M_n,{𝒜}_n,{\mu }_n)$ $\sigma$-endliche Maßräume. Dann nennt man das in Fakt und Fakt konstruierte Maß das Produktmaß auf $M_1\times \cdots \times M_n$. Es wird mit ${\mu }_1{\otimes }_{}\cdots {\otimes }_{}{\mu }_n$ bezeichnet.