Essa construção que você descreve não é totalmente geral. De fato, caracteriza séries temporais estritamente estacionárias. Você vê que é invariável por turno. Este operador é essencialmente um operador de turno.S
Para comparação, aqui está a definição usual de, digamos, processos em tempo discreto:
Definição Um processo estocástico é uma sequência de mapas mensuráveis de Borel em um espaço de probabilidade . ( Ω , F , μ ){Xt}(Ω,F,μ)
Agora, para o que você está descrevendo, você tem um mapa mensurável fixo Borel . É a medida subjacente que está evoluindo de acordo com a . O mapa induz uma nova "medida push-forward" (no jargão teórico da medida) em apenas com pré-imagens: defina uma medida por S S ohms u SX:Ω→RnSSΩμS
A∈F↦μSPr(S−1(A)).
Portanto, o vetor aleatório é por construção. Eles induzem a mesma medida de avanço em . Faça isso com para cada você terá suas séries temporais.X:(Ω,F,μS)→RnX∘SRnStt
Quanto à sua pergunta sobre , a inspeção da prova para outra direção deve esclarecer isso --- isto é, qualquer série temporal estritamente estacionária deve necessariamente assumir esse formato para alguns , e .ω(Ω,F,Pr)XS
O ponto básico é que, de um ponto de vista geral, um processo estocástico é uma medida de probabilidade no conjunto de suas possíveis realizações. Isso é visto, por exemplo, na construção do movimento browniano de Wiener; ele construiu uma medida de probabilidade em . Portanto, em geral, um é um caminho de amostra e consiste em todos os caminhos de amostra possíveis. C[0,∞)ωΩ
Por exemplo, considere os dois processos que você nomeou acima. Eles são estritamente estacionários, se digamos que as inovações são gaussianas. (Qualquer série temporal de covariância-estacionária impulsionada por inovações gaussianas é estritamente estacionária.) A construção começaria tomando como o conjunto de todas as seqüências, a -algebra gerada por mapas de coordenadas e a medida apropriada. Para o processo de ruído branco (2), é apenas uma medida de produto em um produto infinito.ΩFσPrPr
Referência Esta caracterização / construção por mudança de séries temporais estritamente estacionárias é mencionada na Teoria Assintótica de White para Econometristas .