Cette construction que vous décrivez n'est pas entièrement générale. En fait, il caractérise des séries chronologiques strictement stationnaires. Vous voyez que c'est invariant. Cet opérateur est essentiellement un opérateur de décalage.S
À titre de comparaison, voici la définition habituelle des processus, disons en temps discret:
Définition Un processus stochastique est une séquence de cartes Borel mesurables sur un espace de probabilité . ( Ω , F , μ ){Xt}(Ω,F,μ)
Maintenant, pour ce que vous décrivez, vous avez une carte Borel mesurable fixe . Il est la mesure sous - jacente qui évolue selon . La carte induit une nouvelle "mesure push-forward" (dans le langage de la théorie des mesures) sur en prenant juste des préimages: définissez une mesure par S SX:Ω→RnSSμ SΩμS
A∈F↦μSPr(S−1(A)).
Ainsi, le vecteur aléatoire est par construction. Ils induisent la même mesure push-forward sur . Faites cela avec pour chaque et vous avez votre série chronologique. X ∘ S R n S t tX:(Ω,F,μS)→RnX∘SRnStt
Quant à votre question sur , inspecter la preuve pour l'autre direction devrait clarifier cela --- c'est-à-dire que toute série temporelle strictement stationnaire doit nécessairement prendre cette forme pour certains , et .( Ω , F , P r ) X Sω(Ω,F,Pr)XS
Le point fondamental est que, d'un point de vue général, un processus stochastique est une mesure de probabilité sur l'ensemble de ses réalisations possibles. Cela se voit, par exemple, dans la construction de Wiener du mouvement brownien; il a construit une mesure de probabilité sur . Donc, en général, un est un chemin d'échantillonnage et compose de tous les chemins d'échantillonnage possibles. ω ΩC[0,∞)ωΩ
Par exemple, prenez les deux processus que vous avez nommés ci-dessus. Ils sont strictement stationnaires, si disons que les innovations sont gaussiennes. (Toute série temporelle stationnaire de covariance entraînée par des innovations gaussiennes est strictement stationnaire.) La construction commencerait alors en prenant comme l'ensemble de toutes les séquences, l' algèbre générée par les cartes de coordonnées, et la mesure appropriée. Pour le processus de bruit blanc (2), n'est qu'une mesure de produit sur un produit infini.F σ P r P rΩFσPrPr
Référence Cette caractérisation / construction par décalage de séries chronologiques strictement stationnaires est mentionnée dans la théorie asymptotique de White pour économétriciens .