In mathematics, the Kolmogorov extension theorem (also known as Kolmogorov existence theorem, the Kolmogorov consistency theorem or the Daniell-Kolmogorov theorem) is a theorem that guarantees that a suitably "consistent" collection of finite-dimensional distributions will define a stochastic process. It is credited to the English mathematician Percy John Daniell and the Russian mathematician Andrey Nikolaevich Kolmogorov.
Statement of the theorem Let T {\displaystyle T} denote some interval (thought of as "time"), and let n ∈ N {\displaystyle n\in \mathbb {N} } . For each k ∈ N {\displaystyle k\in \mathbb {N} } and finite sequence of distinct times t 1 , … , t k ∈ T {\displaystyle t_{1},\dots ,t_{k}\in T} , let ν t 1 … t k {\displaystyle \nu _{t_{1}\dots t_{k}}} be a probability measure on ( R n ) k . {\displaystyle (\mathbb {R} ^{n})^{k}.} Suppose that these measures satisfy two consistency conditions: 1. for all permutations π {\displaystyle \pi } of { 1 , … , k } {\displaystyle \{1,\dots ,k\}} and measurable sets F i ⊆ R n {\displaystyle F_{i}\subseteq \mathbb {R} ^{n}} ,
ν t π ( 1 ) … t π ( k ) ( F π ( 1 ) × ⋯ × F π ( k ) ) = ν t 1 … t k ( F 1 × ⋯ × F k ) ; {\displaystyle \nu _{t_{\pi (1)}\dots t_{\pi (k)}}\left(F_{\pi (1)}\times \dots \times F_{\pi (k)}\right)=\nu _{t_{1}\dots t_{k}}\left(F_{1}\times \dots \times F_{k}\right);}
2. for all measurable sets F i ⊆ R n {\displaystyle F_{i}\subseteq \mathbb {R} ^{n}} , m ∈ N {\displaystyle m\in \mathbb {N} }
… excerpt ends here. Continue reading the full article.
