Questa costruzione che descrivi non è del tutto generale. In effetti caratterizza serie storiche rigorosamente stazionarie. Vedi che è invariante a turni. Questo operatore è essenzialmente un operatore a turni.S
Per fare un confronto, ecco la solita definizione di, diciamo tempo discreto, processi:
Definizione Un processo stocastico è una sequenza di mappe misurabili di Borel su uno spazio di probabilità . ( Ω , F , μ ){Xt}(Ω,F,μ)
Ora, per quello che stai descrivendo, hai una mappa misurabile fissa di Borel . È la misura sottostante che si evolve secondo . La mappa induce una nuova "misura push-forward" (nel linguaggio teorico-misura) su semplicemente prendendo pre-immagini: definire una misura di S S Ω μ SX:Ω→RnSSΩμS
A∈F↦μSPr(S−1(A)).
Quindi il vettore casuale è per costruzione. Inducono la stessa misura push-forward su . Fatelo con per ogni e hai il tuo serie storiche.X:(Ω,F,μS)→RnX∘SRnStt
Per quanto riguarda la tua domanda su , l'ispezione della prova per l'altra direzione dovrebbe chiarire questo --- cioè ogni serie temporale strettamente stazionaria deve necessariamente assumere questa forma per alcuni , e .ω(Ω,F,Pr)XS
Il punto di base è che, da un punto di vista generale, un processo stocastico è una misura di probabilità sull'insieme delle sue possibili realizzazioni. Questo si vede, ad esempio, nella costruzione di Wiener del moto browniano; ha costruito una misura di probabilità su . Quindi, in generale, un è un percorso di campionamento e costituito da tutti i possibili percorsi di campionamento. C[0,∞)ωΩ
Ad esempio, prendi i due processi che hai nominato sopra. Sono rigorosamente stazionari, se diciamo che le innovazioni sono gaussiane. (Qualsiasi serie temporale stazionaria basata sulla covarianza guidata dalle innovazioni gaussiane è rigorosamente stazionaria.) La costruzione inizierebbe quindi prendendo come l'insieme di tutte le sequenze, the -algebra generata da mappe coordinate e la misura appropriata. Per il processo del rumore bianco (2), è solo una misura del prodotto su un prodotto infinito.ΩFσPrPr
Riferimento Questa caratterizzazione / costruzione per turno di serie temporali rigorosamente stazionarie è menzionata nella teoria asintotica di White per economisti .