Saya belum benar-benar melihat buku-buku probabilitas menghitung ekspektasi bersyarat, kecuali untuk -gebra yang dihasilkan oleh variabel acak diskrit. Mereka hanya menyatakan keberadaan harapan bersyarat, beserta sifat-sifatnya, dan membiarkannya begitu saja. Saya menemukan ini sedikit mengecewakan dan saya mencoba menemukan metode untuk menghitungnya. Inilah yang menurut saya "seharusnya".
Biarkan menjadi ruang probabilitas dengan a -gebra. Misalkan menjadi variabel acak. Tujuan kami adalah untuk menghitung .
Perbaiki , kita perlu menghitung . Biarkan menjadi seperti . Intuition mengatakan bahwa adalah perkiraan untuk nilai , asalkan tentu saja itu yang sekarang kita asumsikan.
Intuisi juga mengatakan bahwa, jika kita dapat menemukan peristiwa yang lebih kecil , dengan , dan , maka adalah pendekatan yang lebih baik dari daripada .
Karenanya, pendekatan yang optimal haruslah E [\ xi | M] di mana M \ in \ mathscr {G} , dengan \ omega \ dalam M , dan dengan properti minimum . Properti minimum sini hanya jika A \ di \ mathscr {G} dengan \ omega \ A , maka M \ subseteq A .
Tetapi ada dua masalah:
(i) Apakah seperti itu ada? Jika paling banyak dapat dihitung, ini sepele. Jadi, mari kita asumsikan bahwa memang dapat dihitung.
(ii) Bagaimana jika , maka tidak ditentukan! Dalam hal ini kita akan menganggap bahwa kita dapat menghasilkan urutan peristiwa , sehingga dan .
Intuisi mengatakan itu,
Sebagai pemeriksaan realitas, Teorema Konvergensi Monoton menyiratkan, Kontinuitas dalam ukuran menyiratkan, Dengan demikian, batas kami adalah dari bentuk tak tentu " ", yang adalah apa yang kita inginkan.
1) Apakah perhitungan ini dengan benar menghitung ekspektasi bersyarat?
2) Apa beberapa asumsi pada ruang probabilitas untuk menampung ini?
sumber
Jawaban:
Ini tidak menjawab pertanyaan tetapi memberikan semacam "contoh tandingan". Tidak cukup, tetapi tidak mengatasi masalah potensial yang dapat terjadi ketika menggunakan intuisi Anda untuk memperkirakan perkiraan bersyarat.
Buku oleh Brezniak, "Proses Stochastic Dasar", menghitung latihan ekspektasi bersyarat berikut melalui definisi formal. Saya redid contohnya menggunakan 'metode perkiraan' seperti yang ditanyakan dalam posting asli.
Perhatikan contoh berikut. dengan standar ukuran Lebesgue.Ω=[0,1] μ
Tentukan variabel acak, dan. Kami akan menghitung . Dengan , harapan bersyarat harus sama dengan . Namun, acara adalah himpunan , yang berukuran nol, dan tidak terdefinisi.ξ(ω)=2ω2 η(ω)=1−|2ω−1| E[ξ|η] ω∈Ω E[ξ|η](ω) E[ξ|η=η(ω)] (η=η(ω)) {ω,1−ω} [ξ|η=η(ω)]
Jadi kami akan memperkirakan acara . Pilih kecil , dan buat acara . Peristiwa mendekati , dan mendekati dalam batas saat kami mengecilkan . Selanjutnya, .A={ω,1−ω} ε>0 Aε=[ω−ε,ω+ε]∪{1−ω} Aε A A ε μ(Aε)=2ε
Kami menghitung, dalam batasnya, Tapi ini jawaban yang salah!
Namun , jika kita memperkirakan dengan lalu, Yang merupakan jawaban yang tepat!Bε=[ω−ε,ω+ε]∪[1−ω−ε,1−ω+ε]
Mengapa satu pendekatan berhasil dan yang lainnya tidak? Jelasnya, pada aproksimasi pertama, set aproksimasi bukan milik -gebra yang dihasilkan oleh . Dalam perkiraan kedua, set perkiraan memang milik .Aω σ ξ Bω σ(ξ)
sumber