folgender ohne topolo- gische Voraussetzungen auskommender Satz über die Fortsetzung von Maßen auf das Produkt abzählbar vieler meßbarer Räume und die Existenz zufälliger Folgen.

Es sei (Ω_n, \({\mathfrak{A}}\)_n)_n ∈ ℕ eine Folge beliebiger meßbarer Räume und Ω = \(\Omega =\prod _{n\ge 1}{\Omega }_{n}\) sowie \({\mathfrak{A}}\) = \({\otimes }_{n\ge 1}{{\mathfrak{A}}}_{n}.\). Weiterhin mögen auf (Ω₁, \({\mathfrak{A}}\)₁) das Wahrscheinlich keitsmaßP₁und für jedes n > 1 ein Wahrscheinlichkeitskern K_n vom Produkt \((\displaystyle {\prod }_{i=1}^{n-1}{\Omega }_{i},{\otimes }_{i=1}^{n-1}{{\mathfrak{A}}}_{i})\)nach (Ω_n, \({\mathfrak{A}}\)_n) gegeben sein. Dann existiert auf (Ω, \({\mathfrak{A}}\)) genau ein Wahrscheinlichkeitsmaß P, so daß die Gleichung\begin{eqnarray}\begin{array}{l}P({\{{\omega }_{j})}_{j\ge 1}\in \Omega :{\omega }_{1}\in {A}_{1},\ldots, {\omega }_{n}\in {A}_{n}\})\\\qquad ={P}_{n}({A}_{1}\times \ldots \times {A}_{n})\end{array}\end{eqnarray}für jedes n ∈ ℕ und alle A_i ∈ \({\mathfrak{A}}\)_i, i = 1,..., n erfüllt ist, wobei die rechte Seite durch\begin{eqnarray}{P}_{n}({A}_{1}\times \ldots \times {A}_{n}):=\mathop{\int }\limits_{{A}_{1}}\mathop{\int }\limits_{{A}_{2}}\ldots \mathop{\int }\limits_{{A}_{n}}{k}_{n}({\omega }_{1},\ldots {\omega }_{n-1},d{\omega }_{n})\ldots {k}_{2}({\omega }_{1},d{\omega }_{2}){P}_{1}(d{\omega }_{1})\end{eqnarray}definiert ist. Weiterhin existiert eine Folge (X_n)_n∈ℕ von auf \((\Omega, {\mathfrak{A}},P)\)definierten Zufallsvariablen mit\begin{eqnarray}P(\{\omega \in \Omega :{X}_{1}(\omega )\in {A}_{1},\ldots, {X}_{n}(\omega )\in {A}_{n}\})={P}_{n}({A}_{1}\times \ldots \times {A}_{n})\end{eqnarray}für alle n ∈ ℕ und alle A_i ∈ \({{\mathfrak{A}}}_{i}\), i = 1,…,n.