Loven om den itererede logaritme er den begrænsende lov for sandsynlighedsteori . Sætningen bestemmer vækstrækkefølgen af divisoren af en sekvens af summer af stokastiske variable, hvorunder denne sekvens ikke konvergerer til nul, men forbliver næsten overalt i endelige grænser.
For tilfældet med en sekvens af summer af uafhængige stokastiske variable med samme fordeling med to værdier, blev sætningen bevist af A. Ya. Khinchin i 1924 [1] [2] . Den første generelle typesætning blev bevist af A. N. Kolmogorov i 1929 [3] [4] .
Lade være uafhængige identisk fordelte stokastiske variable med nul matematisk forventning og enhed varians . Lad så næsten sikkert :
hvor er den naturlige logaritme af , er den øvre grænse for , er den nedre grænse for .
Generaliseringer af Kolmogorovs itererede logaritmelov for sekvenser af uafhængige afgrænsede ulige fordelte stokastiske variabler blev undersøgt af V. Feller [5] . En generalisering for funktionel konvergens blev givet af F. Strassen [6] . Han beviste også [7] , at hvis er en sekvens af uafhængige stokastiske variable, der har samme fordeling med uendelig varians, så
Loven om den itererede logaritme ligger mellem loven om store tal og den centrale grænsesætning . Loven om store tal findes i to versioner - svag og styrket , de hævder, at summer med en divisor har tendens til henholdsvis nul i sandsynlighed og næsten sikkert :
næsten sikkert klDen centrale grænsesætning siger, at divisorsummer konvergerer til standardnormalfordelingen , og denne sekvens af summer konvergerer ikke til nogen bestemt størrelse, hverken i sandsynlighed eller næsten sikkert , men vandrer i det uendelige.
Divisoren i loven om den itererede logaritme fører til forskellige resultater for konvergens i sandsynlighed og næsten sikkert :
og har tendens til ingenting, næsten sikkert kl .Selvom værdien således vil være mindre end en given værdi med en sandsynlighed, der tenderer til én, vil den nærme sig ethvert punkt i segmentet så tæt på, som det kan lide, næsten sikkert et uendeligt antal gange .