# Teorema da extensão de Kolmogorov

Em matemática, o teorema da extensão de Kolmogorov (também conhecido como teorema da existência de Kolmogorov ou teorema da consistência de Kolmogorov) é um teorema que garante que uma coleção adequadamente "consistente" de distribuições de dimensões finitas definirá um processo estocástico. Recebe este nome em homenagem ao matemático russo Andrei Kolmogorov.

## Afirmação

Considere que $T$ denota algum intervalo (pensado como "tempo") e que $n\in \mathbb {N}$. Para cada $k\in \mathbb {N}$ e uma sequência finita de tempos distintos $t_{1},...,t_{k}\in T$, considere $v_{t_{1}...t_{k}}$a medida de probabilidade em $(\mathbb {R} ^{n})^{k}$. Suponha que estas medidas satisfaçam duas condições de consistência:
1. Para todas as permutações $\pi$ de $\{1,...,k\}$ e conjuntos mensuráveis $F_{i}\subseteq \mathbb {R} ^{n}$,
    $\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. Para todos os conjuntos mensuráveis $F_{i}\subseteq \mathbb {R} ^{n}$, $m\in \mathbb {N}$
    $\nu _{t_{1}\dots t_{k}}\left(F_{1}\times \dots \times F_{k}\right)=\nu _{t_{1}\dots t_{k}t_{k+1},\dots ,t_{k+m}}\left(F_{1}\times \dots \times F_{k}\times \underbrace {\mathbb {R} ^{n}\times \dots \times \mathbb {R} ^{n}} _{m}\right).$
Então, há um espaço de probabilidade $(\Omega ,{\mathcal {F}},\mathbb {P} )$ e um processo estocástico $X:T\times \Omega \rightarrow \mathbb {R} ^{n}$, tal que
    $\nu _{t_{1}\dots t_{k}}\left(F_{1}\times \dots \times F_{k}\right)=\mathbb {P} \left(X_{t_{1}}\in F_{1},\dots ,X_{t_{k}}\in F_{k}\right)$
para todo $t_{i}\in T$, todo $k\in \mathbb {N}$ e para os conjuntos mensuráveis $F_{i}\subseteq \mathbb {R} ^{n}$, isto é, $X$ tem $v_{t_{1}...t_{k}}$ como suas distribuições de dimensões finitas relativas aos tempos $t_{1},...,t_{k}$.
Na verdade, é sempre possível tomar $\Omega =(\mathbb {R} ^{n})^{T}$ como espaço de probabilidade subjacente e assumir para $X$ o processo canônico $X:(t,Y)\mapsto Y_{t}$. Por isso, uma forma alternativa de afirmar o teorema da extensão de Kolmogorov é dizer que, garantida a aplicação das condições de consistência descritas acima, há uma (única) medida $\nu$ em $(\mathbb {R} ^{n})^{T}$ com marginais $\nu _{t_{1}\dots t_{k}}$ para qualquer coleção finita de tempos $t_{1},...,t_{k}$. O teorema da extensão de Kolmogorov se aplica quando $T$ é incontável, mas o preço a se pagar para este nível de generalidade é que a medida $\nu$ é definida apenas na sigma-álgebra produto de $(\mathbb {R} ^{n})^{T}$, o que não é muito valioso.

## Explicação

As duas condições exigidas pelo teorema são trivialmente satisfeitas por qualquer processo estocástico. Por exemplo, considere um processo estocástico de valores reais e tempo discreto $X$. Então, a probabilidade $\mathbb {P} (X_{1}>0,X_{2}<0)$ pode ser computada como $\nu _{1,2}(\mathbb {R} _{+}\times \mathbb {R} _{-})$ ou como $\nu _{2,1}(\mathbb {R} _{-}\times \mathbb {R} _{+})$. Assim, para que as distribuições de dimensões finitas sejam consistentes, deve-se aplicar que $\nu _{1,2}(\mathbb {R} _{+}\times \mathbb {R} _{-})=\nu _{2,1}(\mathbb {R} _{-}\times \mathbb {R} _{+})$. A primeira condição generaliza esta afirmação óbvia a ponto dela se aplicar para qualquer número de pontos de tempo $t_{i}$ e quaisquer conjuntos de controle $F_{i}$.
Continuando o exemplo, a segunda condição implica que $\mathbb {P} (X_{1}>0)=\mathbb {P} (X_{1}>0,X_{2}\in \mathbb {R} )$. Esta também é uma condição trivial que será satisfeita por qualquer família consistente de distribuições de dimensões finitas.

## Implicações

Já que as duas condições são trivialmente satisfeitas para qualquer processo estocástico, o poder do teorema consiste em que nenhuma outra condição é exigida. Para qualquer família razoável, isto é, consistente de distribuições de dimensões finitas, há um processo estocástico com estas distribuições.
A abordagem em teoria da medida aos processos estocásticos começa com um espaço de probabilidade e define um processo estocástico como uma família de funções neste espaço de probabilidade. Entretanto, em muitas aplicações, o ponto de partida consiste, na verdade, nas distribuições de dimensões finitas do processo estocástico. O teorema diz que, desde que as distribuições de dimensões finitas satisfaçam as exigências óbvias de consistência, sempre se poderá identificar um espaço de probabilidade que corresponda ao propósito. Em muitas situações, isto significa que não se precisa ser explícito quanto a qual é o espaço de probabilidade. Muitos textos em processos estocásticos de fato assumem um espaço de probabilidade, mas nunca afirmam explicitamente qual é.
O teorema é usado em uma das provas padrão da existência de um movimento browniano, ao especificar as distribuições de dimensões finitas como variáveis aleatórias gaussianas, satisfazendo as condições de consistência descritas acima. Como na maior parte das definições de movimento browniano se exige que os caminhos amostrais sejam quase certamente contínuos, usa-se o teorema da continuidade de Kolmogorov para construir uma modificação contínua do processo construído pelo teorema da extensão de Kolmogorov.

## Forma geral

O teorema da extensão de Kolmogorov dá condições para que uma coleção de medidas em espaços euclideanos consista em distribuições de dimensões finitas de algum processo estocástico com valores em $\mathbb {R} ^{n}$, mas o pressuposto de que o espaço de estados é $\mathbb {R} ^{n}$ não é necessário. Na verdade, qualquer coleção de espaços mensuráveis junto com uma coleção de medidas regulares interiores definida nos produtos finitos destes espaços seria suficiente, desde que estas medidas satisfaçam uma certa relação de compatibilidade. A afirmação formal do teorema geral é como se segue.
Considere $T$ um conjunto qualquer. Considere $\{(\Omega _{t},{\mathcal {F}}_{t})\}_{t\in T}$ alguma coleção de espaços mensuráveis e, para cada $t\in T$, $\tau _{t}$ uma topologia de Hausdorff em $\Omega _{t}$. Para cada subconjunto $J\subset T$, define-se
    $\Omega _{J}:=\prod _{t\in J}\Omega _{t}$.
Para subconjuntos $I\subset J\subset T$, considere que $\pi _{I}^{J}:\Omega _{J}\to \Omega _{I}$ denota o mapa da projeção canônica $\omega \mapsto \omega |_{I}$.
Para cada subconjunto finito $F\subset T$, suponha uma medida de probabilidade $\mu _{F}$ em $\Omega _{F}$ que é regular interior em relação à topologia produto (induzida por $\tau _{t}$) em $\Omega _{F}$. Suponha também que esta coleção $\{\mu _{F}\}$ de medidas satisfaz a seguinte relação de compatibilidade: para subconjuntos finitos $F\subset G\subset T$, temos que
    $\mu _{F}=(\pi _{F}^{G})_{*}\mu _{G}$
em que $(\pi _{F}^{G})_{*}\mu _{G}$ denota a medida imagem de $\mu _{G}$ induzida pelo mapa da projeção canônica $\pi _{F}^{G}$.
Então, há uma única medida de probabilidade $\mu$ em $\Omega _{T}$, tal que $\mu _{F}=(\pi _{F}^{T})_{*}\mu$ para todo subconjunto finito $F\subset T$.
Todas as medidas $\mu _{F},\mu$ são definidas na sigma-álgebra produto nos seus respectivos espaços. A medida $\mu$ pode algumas vezes ser estendida apropriadamente a uma sigma-álgebra maior, se houver uma estrutura adicional envolvida.
A afirmação original do teorema é apenas um caso especial deste teorema com $\Omega _{t}=\mathbb {R} ^{n}$ para todo $t\in T$ e $\mu _{\{t_{1},...,t_{k}\}}=\nu _{t_{1}...t_{k}}$ para $t_{1},...,t_{k}\in T$. O processo estocástico seria simplemente o processo canônico $(\pi _{t})_{t\in T}$, definido em $\Omega =(\mathbb {R} ^{n})^{T}$ com medida de probabilidade $P=\mu$. A razão pela qual a afirmação original do teorema não menciona a regularidade interior das medidas $\nu _{t_{1}\dots t_{k}}$ é que isto se segue automaticamente, já que medidas de probabilidades de Borel em espaços poloneses são automaticamente medidas de Radon,
Este teorema tem consequências de longo alcance. Por exemplo, pode ser usado para provar a existência de:
* Do movimento browniano, isto é, do processo de Wiener;
* De uma cadeia de Markov que assume valores em um dado espaço de estados com uma dada matriz de transição;
* Produtos infinitos de espaços de probabilidade (interiores regulares).

## História

De acordo com John Aldrich, o teorema foi independentemente descoberto pelo matemático britânico Percy John Daniell em uma configuração ligeiramente diferente da teoria da integração.