A Birkhoff-Khinchin ergodikus tétel kimondja, hogy egy mértékmegőrző dinamikai rendszer és egy, a térben ezzel a mértékkel integrálható függvény esetén szinte minden kezdeti pontra a hozzájuk tartozó időátlagok konvergálnak. Sőt, ha az invariáns mérték ergodikus , akkor szinte minden kezdőpontra ugyanaz a határérték - a függvény integrálja az adott mérték felett. Ez az elv úgy van megfogalmazva, hogy „az időbeli átlag szinte minden kezdeti pontra egyenlő a térbelivel” [1] .
Legyen mértékmegőrző leképezés, és legyen a függvény integrálható -ra vonatkoztatva . Ekkor az időátlagok valamilyen invariáns függvényhez konvergálnak :
sőt, a konvergencia a mértékben és szinte mindenhol megtörténik .
A nagy számok erős törvénye Kolmogorov alakban a Birkhoff-Khinchin tétel következményeként érhető el. Ugyanis mivel világos, hogy az eredmény nem függ a valószínűségi változók konkrét megvalósításától, feltételezhetjük, hogy a valószínűségi tér alakja
mértékkel , és a valószínűségi változók a következőképpen vannak elrendezve (a mérőszám bármelyik értékének eloszlását adja meg ). Ekkor a mérték ergodikus a bal eltolódás, az azt megőrző átalakulás tekintetében
Másrészt a függvény integrálható , és . Ezért a Cesaro-átlagok felírhatók időátlagként egy dinamikus rendszerhez :
Ezért a Birkhoff-Khinchin tétel alapján szinte biztos , hogy
Ez a következtetés a nagy számok erős törvényéből.