Dugaan terkait dengan Hukum Kolmogorov 0-1 (untuk acara)

8

Biarkan menjadi ruang probabilitas. Dugaan:(Ω,F,P)

Misalkan kita memiliki acara st , atau . Terdapat rangkaian acara yang independen stA1,A2,... Anσ(An,An+1,...)P(A)=01B1,B2,...

τAn:=nσ(An,An+1,...)=nσ(Bn,Bn+1,...):=τBn

Apakah ini benar?


Saya pikir ada fungsi st adalah independen sehingga kita dapat memilih . Benarkah? Kenapa / Kenapa tidak? Jika tidak, bagaimana lagi saya bisa membuktikan atau menyangkal dugaan di atas? Jika itu benar, saya pikir itu bisa dibuktikan dengan memodifikasi bukti UU 0-1 Kolmogorov (untuk acara).f:NNAf(n)Bn=Af(n)


Mungkin salah satu dari rangkaian set ini independen:

An

A2n,A2n+1

A3n,A3n+1,A3n+2

Amn,Amn+1,Amn+2,...,Amn+(m1)

Saya pikir kita memilikinya

τAn=τAmn+i:=nσ(Amn+i,Am(n+1)+i,...)

di mana dan .mNi{0,1,2,...,m1}


Sepertinya kita memerlukan , jika ada, untuk memenuhi kondisi berikut:f(n)

(**)σ(Af(n),Af(n+1)...)σ(An,An+1,...)

yang saya kira benar jika (dan hanya jika?)f(n)n .


Kandidat lain yang mungkin untuk :f(n) (asumsikan variabelnya adalah st puas. Jika perlu, atau juga.)f:NN()f(n)n

  1. i=0maini

  2. 2n,3n,...

  3. i=1mbicin

  4. tn,tn ( saya kirat>e1/e )

  5. i=1mbicin,i=1mbicin

  6. linear combination of trigonometric functions,linear combination of trigonometric functions

  7. Some linear combination of the above,Some linear combination of the above


Dengan asumsi dugaan itu benar , saya kira itu tidak perlu untuk menemukan yang berfungsi untuk semua urutan kemungkinan peristiwa karena tersebut bahkan mungkin tidak ada.f(n)A1,A2,...f(n)


Untuk menyangkal dugaan : Saya kira kita harus menunjukkan bahwa urutan yang independen berarti tail tidak akan pernah sama dengan tail karena tail akan menjadi trivial oleh Kolmogorov 0-1 Law (untuk acara).BnBnAnBnP

Sesuatu yang mungkin membantu: kita dapat menunjukkan bahwa atau dan tidak independen, tetapi saya tidak yakin bahwa dugaan tersebut ditolak karena kami dapat membangun beberapa yang terlihat seperti: Anσ(Af(n),Af(n+1),...),P(A)=01nN,Af(n),Af(n+1),...Bn

  1. Bn=An+1An
  2. Bn=AnAn1,A0=
  3. Bn=mAmn
  4. Bn=mAmn
  5. B2n=mAmn,B2n+1=mAmn
  6. Bn=lim supmAmn
  7. Bn=lim infmAmn
  8. B2n=lim supmAmn,B2n+1=lim infmAmn

Bukan untuk mengatakan tentu saja bahwa salah satu dari mereka 's memuaskan tapi itu tidak perlu dalam bentuk .BnτAn=τBnBnAf(n)


Borel-Cantelli:

  1. Jika . Karenanya independen.nP(An)<0=P(lim supAn)=P(lim supAmn) mNBm=lim supAmn

  2. Jika , maka mungkin ekstensi Borel-Cantelli ini ? Tidak yakin saya memahaminya atau bagaimana itu akan membantu. Saya tidak berpikir kita dapat menyimpulkan apa pun jika kita memiliki .nP(An)=P(lim supAn)

  3. Lalu ada kasus tetapi kondisi sebelumnya tidak terpenuhi.nP(An)=

BCLC
sumber
1
Mungkin bukti berdasarkan konstruksi, di mana ? B1=A1,B2=A2A1,
jbowman
1
Bagi saya dugaan ini tampaknya tidak mungkin benar kecuali jika Anda menambahkan kondisi tambahan, atau maksud Anda bahwa penyelesaian kedua aljabar setuju (yang berlaku hampir sepele). Namun saya tidak dapat melihat contoh penghitung. σ
P.Windridge
1
Bagaimanapun saya pikir Anda bisa mulai dengan pertanyaan (sederhana): "Biarkan menjadi ruang probabilitas. Misalkan adalah -algebra yang dihasilkan dan itu atau untuk peristiwa apa pun . Apakah ada urutan peristiwa independen in dengan tail -algebra ?(Ω,F,P)GFσP(A)=01AGB1,B2,FσG
P.Windridge
2
A -aljabar dihitung secara signifikan jika ada st . Sangat mudah untuk menemukan contoh-contoh di mana tail -gebra tidak terhitung dihasilkan. σGF1,F2,G=σ(F1,F2,)σ
P.Windridge
2
Secara lebih umum, sub- -jabar dari aljabar yang dihasilkan -jabar yang cukup besar mungkin tidak dengan sendirinya dihasilkan! Sebenarnya, lihat Latihan 1.1.18 di math.mit.edu/~dws/175/prob01.pdfσσ
P.Windridge

Jawaban:

7

Jika Anda ingin peristiwa yang independen dalam cara yang menarik (bukan hanya karena atau ) maka dugaan itu salah.BnP(Bn)=0P(Bn)=1

Ini adalah contoh yang bagus. Misalkan adalah ruang probabilitas kaya yang sesuai. (Ω,F,P)

Misalkan menjadi -null, yaitu . Ambil , sehingga ekor -gebra adalah .AFPP(A)=0Ai=AσG={,A,Ac,Ω}

Perhatikan bahwa khususnya terbatas.G

Sekarang, misalkan adalah urutan peristiwa yang independen dengan dibatasi dari dan . Maka tail -algebra tidak terhitung dihasilkan. (Lihat mis. Latihan 1.1.18 http://math.mit.edu/~dws/175/prob01.pdf , yang menggunakan argumen seperti yang saya uraikan di atas- sembarang yang dihasilkan -trivial -algebra memiliki sebuah atom dengan massa , tetapi tidak memiliki atom semacam itu).B1,B2,P(Bn)01σHPσ1H

Jadi, terbatas, tetapi bahkan tidak terhitung.GH


Sunting 2: jika Anda menerimaP(Bn)=0 maka Anda dapat mereplikasi setiap yang dihasilkan -trivial -algebra. Secara lebih rinci, anggap bahwa dihasilkan oleh peristiwa . Jika adalah -trivial maka semuanya independen, berdasarkan menjadi nol (atau menjadi nol). Sekarang buat konstruksi segitiga untuk peristiwa : , , . PσGE1,E2,GFGPEnEncBB1,1=E1B2,1=E1,B2,2=E2,,Bk,j=Ej1jk

Maka adalah urutan yang dapat dihitung (dengan pengurutan alami untuk indeks) peristiwa independen yang ekornya -gebra adalah .(Bk,j)σG

Jadi, di sini saya pikir adalah pertanyaan kunci: misalkan adalah -trivial tail -algebra (berasal dari peristiwa non-nol yang mungkin bergantung). Bisakah direalisasikan sebagai ekor -gebra untuk beberapa peristiwa nol?GPσGσ

Sunting 1: Area abu-abu adalah apa yang terjadi jika Anda menerima , meskipun itu tampaknya bukan tekanan dari pertanyaan awal.P(Bn)0

P.Wridge
sumber
Terima kasih P. Wridge, tapi saya tidak yakin saya mengerti. 1 Jika kita memasukkan atau , dugaan itu (sepele?) Benar? 2 Apakah yang Anda coba buktikan di Edit 2? Jika demikian, apakah sama dengan ? Saya mengedit OP untuk stenoP(Bn)=01GτAn
BCLC
Saya membaca latihan. ? H=τBn
BCLC
Hai BCLC, (1) Saya mengatakan bahwa jika kita memasukkan maka dugaan tersebut benar untuk semua pilihan peristiwa yang memiliki ekor "bagus" -algebra (di mana "Bagus" di sini berarti dihasilkan secara signifikan). (2) Ya dan adalah . NB latihan yang ditautkan menggunakan " " untuk apa yang seharusnya menjadi Anda , dan " " menunjukkan urutan kandidat dari menghasilkan acara (digunakan untuk mendapatkan kontradiksi.P(Bn)=0A1,A2,σG=τ(An)Hτ(Bn)AnBnBn
P.Windridge
Saya tidak yakin saya mengikuti. Hanya dari asumsi, 's independen? Ai
BCLC
Dalam Latihan 1.1.18 dari math.mit.edu/~dws/175/prob01.pdf , adalah peristiwa independen, yang harus Anda anggap sebagai dalam dugaan Anda. Itukah yang kamu tanyakan? AiBi
P.Windridge