Kolmogorovin lause kolmesta sarjasta

Kokeneet kirjoittajat eivät ole vielä tarkistaneet sivun nykyistä versiota, ja se voi poiketa merkittävästi 23. joulukuuta 2019 tarkistetusta versiosta . vahvistus vaatii 1 muokkauksen .

Kolmogorovin kolmen sarjan lause , nimetty Andrei Kolmogorovin mukaan, asettaa todennäköisyysteoriassa kriteerin konvergenssille todennäköisyydellä, joka on yksi äärettömästä satunnaismuuttujien sarjasta niiden todennäköisyysjakaumiin liittyvien sarjojen konvergenssin kautta . Kolmogorovin kolmen sarjan lauseella yhdistettynä Kroneckerin lemmaan voidaan todistaa suurten lukujen vahva laki .

Määritelmät

Olkoon  jokin vakio. Sitten

 on indikaattori satunnaismuuttujan arvojoukolle.

Lauseen lause

Antaa olla  sarja riippumattomia satunnaismuuttujia. Jotta sarja lähentyisi todennäköisyydellä yksi , sarjan on suppeneva mille tahansa

ja riittää, että nämä sarjat lähentyvät joillekin .

Todiste

Riittävyys

Kahden sarjan lauseen mukaan sarja konvergoi todennäköisyydellä yksi. Mutta jos , niin Borel-lemmalla - Cantelli todennäköisyydellä yksi , ja siten kaikille , paitsi ehkä äärellinen luku. Siksi sarja myös lähentyy.

välttämättömyys

Jos sarja konvergoi, silloin ja siten kaikille ei voi tapahtua enempää kuin rajallinen määrä tapahtumia . Siksi Borel-Cantelli-lemman toisessa osassa . Lisäksi sarjan konvergenssista seuraa sarjan lähentyminen . Siksi kaksisarjalauseen mukaan kukin sarja konvergoi .

Seuraus

Antaa olla  riippumattomia satunnaismuuttujia kanssa . Sitten jos

silloin sarja konvergoi todennäköisyydellä yksi.

Esimerkki

Harkitse esimerkkinä satunnaista harmonista sarjaa :

jossa " " tarkoittaa, että kunkin termin etumerkki valitaan satunnaisesti, itsenäisesti ja todennäköisyyksillä , . Valitsemalla sarjaksi, jonka jäsenet ovat yhtä suurella todennäköisyydellä, on helppo varmistaa, että se täyttää lauseen ehdot ja konvergoi todennäköisyydellä yksi. Toisaalta samanlainen sarja käänteisiä neliöjuuria satunnaisilla merkeillä:

eroaa todennäköisyydellä yksi, koska sarja eroaa.

Kirjallisuus

Linkit