Considere e um espaço métrico . O espaço de Wiener clássico é o espaço de todas as funções contínuas para todo fixado em ,
as
Em quase todas as aplicações, toma-se ou e para algum em . Por brevidade, escreve-se para ; este é um espaço vetorial. Escreve-se para o subespaço linear que consiste apenas daquelas funções que tomam valor no ínfimo do conjunto . Muitos autores se referem a como "espaço de Wiener clássico".
Propriedades do espaço de Wiener clássico
Topologia uniforme
O espaço vetorial pode ser equipado com a norma uniforme
Considerando o domínio como "tempo" e o intervalo como "espaço", uma visão intuitiva da topologia uniforme é que as duas funções estão "próximas" se pudermos "movimentar um pouco o espaço" e fazermos o gráfico de permanecer em cima do gráfico de , enquanto deixamos o tempo fixo. Isto contrasta com a topologia de Skorokhod, que nos permite "movimentar" tanto espaço, como tempo.
Separabilidade e completude
No que se refere à métrica uniforme, é um espaço tanto separável, quanto completo:
a completude é uma consequência do fato de que o limite uniforme de uma sequência de funções contínuas é contínuo.
Por ser tanto separável, como completo, é um espaço polonês.
Tightness no espaço de Wiener clássico
Lembre que o módulo de continuidade para um função é definido por
Esta definição faz sentido mesmo se não for contínua e pode-se mostrar que é contínua se e somente se seu módulo de continuidade tender a zero conforme :
conforme .
Por uma aplicação do teorema de Arzelà-Ascoli, pode-se mostrar que uma sequência de medidas de probabilidade em um espaço de Wiener clássico é tight se e somente se ambas as condições seguintes forem atendidas:
e
para todo .
Medida de Wiener clássica
Há uma medida "padrão" em , conhecida como medida de Wiener clássica (ou simplesmente medida de Wiener). A medida de Wiener tem (pelo menos) duas caracterizações equivalentes:
então a medida de Wiener clássica é a lei do processo .
Alternativamente, pode-se usar a construção do espaço de Wiener abstrato, em que a medida de Wiener clássica é a radonificação da medida gaussiana canônica de conjunto cilíndrico no espaço de Hilbert e de Cameron-Martin correspondente a .
A medida de Wiener clássica é uma medida gaussiana: em particular, é uma medida de probabilidade estritamente positiva.
Dada a medida clássica de Wiener em , a medida produto é uma medida de probabilidade em , em que denota a medida gaussiana padrão em .
Ver também
Espaço de Skorokhod, uma generalização do espaço de Wiener clássico, que permite que as funções sejam descontínuas