Kolmogorov extension theorem

Kolmogorov extension theorem This article is about a theorem on stochastic processes. For a theorem on extension of pre-measure, see Hahn–Kolmogorov theorem.

Na matemática, 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.[1] Conteúdo 1 Declaração do teorema 2 Explanation of the conditions 3 Implicações do teorema 4 General form of the theorem 5 História 6 Referências 7 External links Statement of the theorem Let {estilo de exibição T} denote some interval (thought of as "time"), e deixar {estilo de exibição nin mathbb {N} } . For each {displaystyle kin mathbb {N} } and finite sequence of distinct times {estilo de exibição t_{1},pontos ,t_{k}in T} , deixar {estilo de exibição não _{t_{1}dots t_{k}}} be a probability measure on {estilo de exibição (mathbb {R} ^{n})^{k}} . Suppose that these measures satisfy two consistency conditions: 1. for all permutations {estilo de exibição pi } do {estilo de exibição {1,pontos ,k}} and measurable sets {estilo de exibição F_{eu}subseteq mathbb {R} ^{n}} , {estilo de exibição não _{t_{pi (1)}dots t_{pi (k)}}deixei(F_{pi (1)}times dots times F_{pi (k)}certo)=nu _{t_{1}dots t_{k}}deixei(F_{1}times dots times F_{k}certo);} 2. for all measurable sets {estilo de exibição F_{eu}subseteq mathbb {R} ^{n}} , {displaystyle min mathbb {N} } {estilo de exibição não _{t_{1}dots t_{k}}deixei(F_{1}times dots times F_{k}certo)=nu _{t_{1}dots t_{k},t_{k+1},pontos ,t_{k+m}}deixei(F_{1}times dots times F_{k}times underbrace {mathbb {R} ^{n}times dots times mathbb {R} ^{n}} _{m}certo).} Then there exists a probability space {estilo de exibição (Ómega ,{matemática {F}},mathbb {P} )} and a stochastic process {estilo de exibição X:Ttimes Omega to mathbb {R} ^{n}} de tal modo que {estilo de exibição não _{t_{1}dots t_{k}}deixei(F_{1}times dots times F_{k}certo)= mathbb {P} deixei(X_{t_{1}}in F_{1},pontos ,X_{t_{k}}in F_{k}certo)} para todos {estilo de exibição t_{eu}in T} , {displaystyle kin mathbb {N} } and measurable sets {estilo de exibição F_{eu}subseteq mathbb {R} ^{n}} , ou seja. {estilo de exibição X} tem {estilo de exibição não _{t_{1}dots t_{k}}} as its finite-dimensional distributions relative to times {estilo de exibição t_{1}dots t_{k}} .

Na verdade, it is always possible to take as the underlying probability space {displaystyle Omega =(mathbb {R} ^{n})^{T}} and to take for {estilo de exibição X} the canonical process {displaystyle Xcolon (t,S)mapsto Y_{t}} . Portanto, an alternative way of stating Kolmogorov's extension theorem is that, provided that the above consistency conditions hold, there exists a (único) measure {estilo de exibição não } sobre {estilo de exibição (mathbb {R} ^{n})^{T}} with marginals {estilo de exibição não _{t_{1}dots t_{k}}} for any finite collection of times {estilo de exibição t_{1}dots t_{k}} . Kolmogorov's extension theorem applies when {estilo de exibição T} is uncountable, but the price to pay for this level of generality is that the measure {estilo de exibição não } is only defined on the product σ-algebra of {estilo de exibição (mathbb {R} ^{n})^{T}} , which is not very rich.

Explanation of the conditions The two conditions required by the theorem are trivially satisfied by any stochastic process. Por exemplo, consider a real-valued discrete-time stochastic process {estilo de exibição X} . Then the probability {estilo de exibição mathbb {P} (X_{1}>0,X_{2}<0)} can be computed either as {displaystyle nu _{1,2}(mathbb {R} _{+}times mathbb {R} _{-})} or as {displaystyle nu _{2,1}(mathbb {R} _{-}times mathbb {R} _{+})} . Hence, for the finite-dimensional distributions to be consistent, it must hold that {displaystyle nu _{1,2}(mathbb {R} _{+}times mathbb {R} _{-})=nu _{2,1}(mathbb {R} _{-}times mathbb {R} _{+})} . The first condition generalizes this statement to hold for any number of time points {displaystyle t_{i}} , and any control sets {displaystyle F_{i}} . Continuing the example, the second condition implies that {displaystyle mathbb {P} (X_{1}>0)= mathbb {P} (X_{1}>0,X_{2}em matemática {R} )} . Also this is a trivial condition that will be satisfied by any consistent family of finite-dimensional distributions.

Implications of the theorem Since the two conditions are trivially satisfied for any stochastic process, the power of the theorem is that no other conditions are required: For any reasonable (ou seja, consistent) family of finite-dimensional distributions, there exists a stochastic process with these distributions.

The measure-theoretic approach to stochastic processes starts with a probability space and defines a stochastic process as a family of functions on this probability space. No entanto, in many applications the starting point is really the finite-dimensional distributions of the stochastic process. The theorem says that provided the finite-dimensional distributions satisfy the obvious consistency requirements, one can always identify a probability space to match the purpose. In many situations, this means that one does not have to be explicit about what the probability space is. Many texts on stochastic processes do, na verdade, assume a probability space but never state explicitly what it is.

The theorem is used in one of the standard proofs of existence of a Brownian motion, by specifying the finite dimensional distributions to be Gaussian random variables, satisfying the consistency conditions above. As in most of the definitions of Brownian motion it is required that the sample paths are continuous almost surely, and one then uses the Kolmogorov continuity theorem to construct a continuous modification of the process constructed by the Kolmogorov extension theorem.

General form of the theorem The Kolmogorov extension theorem gives us conditions for a collection of measures on Euclidean spaces to be the finite-dimensional distributions of some {estilo de exibição mathbb {R} ^{n}} -valued stochastic process, but the assumption that the state space be {estilo de exibição mathbb {R} ^{n}} is unnecessary. Na verdade, any collection of measurable spaces together with a collection of inner regular measures defined on the finite products of these spaces would suffice, provided that these measures satisfy a certain compatibility relation. The formal statement of the general theorem is as follows.[2] Deixar {estilo de exibição T} be any set. Deixar {estilo de exibição {(Ômega _{t},{matemática {F}}_{t})}_{tin T}} be some collection of measurable spaces, and for each {displaystyle tin T} , deixar {displaystyle tau _{t}} be a Hausdorff topology on {displaystyle Omega _{t}} . For each finite subset {displaystyle Jsubset T} , definir {displaystyle Omega _{J}:=prod_{tin J}Ômega _{t}} .

For subsets {displaystyle Isubset Jsubset T} , deixar {estilo de exibição pi _{EU}^{J}:Ômega _{J}to Omega _{EU}} denote the canonical projection map {displaystyle omega mapsto omega |_{EU}} .

For each finite subset {displaystyle Fsubset T} , suppose we have a probability measure {mostre o estilo dele _{F}} sobre {displaystyle Omega _{F}} which is inner regular with respect to the product topology (induced by the {displaystyle tau _{t}} ) sobre {displaystyle Omega _{F}} . Suppose also that this collection {estilo de exibição {dentro _{F}}} of measures satisfies the following compatibility relation: for finite subsets {displaystyle Fsubset Gsubset T} , nós temos isso {mostre o estilo dele _{F}=(pi_{F}^{G})_{*}dentro _{G}} Onde {estilo de exibição (pi_{F}^{G})_{*}dentro _{G}} denotes the pushforward measure of {mostre o estilo dele _{G}} induced by the canonical projection map {estilo de exibição pi _{F}^{G}} .

Then there exists a unique probability measure {mostre o estilo dele } sobre {displaystyle Omega _{T}} de tal modo que {mostre o estilo dele _{F}=(pi_{F}^{T})_{*}dentro } for every finite subset {displaystyle Fsubset T} .

As a remark, all of the measures {mostre o estilo dele _{F},dentro } are defined on the product sigma algebra on their respective spaces, que (as mentioned before) is rather coarse. A medida {mostre o estilo dele } may sometimes be extended appropriately to a larger sigma algebra, if there is additional structure involved.

Note that the original statement of the theorem is just a special case of this theorem with {displaystyle Omega _{t}= mathbb {R} ^{n}} para todos {displaystyle tin T} , e {mostre o estilo dele _{{t_{1},...,t_{k}}}=nu _{t_{1}dots t_{k}}} por {estilo de exibição t_{1},...,t_{k}in T} . The stochastic process would simply be the canonical process {estilo de exibição (pi_{t})_{tin T}} , defined on {displaystyle Omega =(mathbb {R} ^{n})^{T}} with probability measure {displaystyle P=mu } . The reason that the original statement of the theorem does not mention inner regularity of the measures {estilo de exibição não _{t_{1}dots t_{k}}} is that this would automatically follow, since Borel probability measures on Polish spaces are automatically Radon.

This theorem has many far-reaching consequences; for example it can be used to prove the existence of the following, among others: movimento browniano, ou seja, the Wiener process, a Markov chain taking values in a given state space with a given transition matrix, infinite products of (inner-regular) probability spaces. History According to John Aldrich, the theorem was independently discovered by British mathematician Percy John Daniell in the slightly different setting of integration theory.[3] References ^ Øksendal, Bernt (2003). Stochastic Differential Equations: An Introduction with Applications (Sixth ed.). Berlim: Springer. p. 11. ISBN 3-540-04758-1. ^ Tao, T. (2011). An Introduction to Measure Theory. Pós Graduação em Matemática. Volume. 126. Providência: Sociedade Americana de Matemática. p. 195. ISBN 978-0-8218-6919-2. ^ J. Aldrich, But you have to remember PJ Daniell of Sheffield, Electronic Journal for History of Probability and Statistics, Volume. 3, número 2, 2007 External links Aldrich, J. (2007) "But you have to remember P.J.Daniell of Sheffield" Electronic [email protected] for History of Probability and Statistics December 2007. Categorias: Theorems regarding stochastic processes