Es seien ( M 1 , A 1 , μ 1 ) , … , ( M n , A n , μ n ) {\displaystyle {}(M_{1},{\mathcal {A}}_{1},\mu _{1}),\ldots ,(M_{n},{\mathcal {A}}_{n},\mu _{n})} σ {\displaystyle {}\sigma } -endliche Maßräume. Dann nennt man das in Fakt und Fakt konstruierte Maß das Produktmaß auf M 1 × ⋯ × M n {\displaystyle {}M_{1}\times \cdots \times M_{n}} . Es wird mit μ 1 ⊗ ⋯ ⊗ μ n {\displaystyle {}\mu _{1}\otimes _{}\cdots \otimes _{}\mu _{n}} bezeichnet.
-endliche Maßräume.
Dann nennt man das in
Fakt
und
Fakt
konstruierte
Maß
das Produktmaß auf 
. Es wird mit 
bezeichnet.
