Konstruksi yang Anda gambarkan ini tidak sepenuhnya umum. Bahkan itu mencirikan seri waktu stasioner ketat. Anda melihat bahwa itu adalah shift-invariant. Operator ini pada dasarnya adalah operator shift.S
Sebagai perbandingan, inilah definisi umum dari, katakanlah waktu diskrit, proses:
Definisi Proses stokastik adalah urutan dari peta terukur Borel pada ruang probabilitas . ( Ω , F , μ ){Xt}(Ω,F,μ)
Sekarang untuk apa yang Anda gambarkan, Anda memiliki peta terukur Borel tetap . Ini ukuran yang mendasari yang berkembang menurut . Peta menginduksi "ukuran maju-maju" baru (dalam bahasa ukur-teoritik) di dengan hanya mengambil preimage: tentukan ukuran dengan S S Ω μ SX:Ω→RnSSΩμS
A∈F↦μSPr(S−1(A)).
Jadi vektor acak adalah oleh konstruksi. Mereka menginduksi ukuran push-forward yang sama pada . Lakukan ini dengan untuk setiap dan Anda memiliki deret waktu Anda.X:(Ω,F,μS)→RnX∘SRnStt
Adapun pertanyaan Anda tentang , memeriksa bukti untuk arah lain harus mengklarifikasi ini --- yaitu setiap seri waktu stasioner harus mengambil formulir ini untuk beberapa , , dan .ω(Ω,F,Pr)XS
Titik dasarnya adalah bahwa, dari sudut pandang umum, proses stokastik adalah ukuran probabilitas pada set kemungkinan realisasi. Ini terlihat dalam, misalnya, konstruksi Wiener tentang gerak Brown; ia membangun ukuran probabilitas pada . Jadi secara umum, adalah jalur sampel dan terdiri dari semua jalur sampel yang mungkin. C[0,∞)ωΩ
Misalnya, ambil dua proses yang Anda sebutkan di atas. Mereka benar-benar diam, jika katakanlah inovasi adalah Gaussian. (Setiap kovarians-stasioner seri waktu didorong oleh inovasi Gaussian ketat stasioner.) Konstruksi kemudian akan mulai dengan mengambil menjadi himpunan semua urutan, yang -algebra dihasilkan oleh koordinat peta, dan ukuran yang tepat. Untuk proses white noise (2), hanyalah ukuran produk pada produk tanpa batas.ΩFσPrPr
Referensi Karakterisasi / konstruksi ini dengan menggeser deret waktu stasioner yang ketat disebutkan dalam White's Asymptotic Theory for Econometricians .