Kolmogorovs tvåseriesats i sannolikhetsteorin ställer ett tillräckligt villkor för konvergens med sannolikhet en av en serie oberoende stokastiska variabler . Kolmogorovs tvåseriesats kan användas för att bevisa den starka lagen om stora tal .
För att en serie oberoende slumpvariabler ska konvergera med sannolikhet ett räcker det att två serier konvergerar samtidigt: och . Om dessutom , så är detta villkor också nödvändigt. |
Om , då konvergerar enligt Kolmogorov-Khinchins konvergenssats . Men genom antagande konvergerar serien, så serien konvergerar också .
För att bevisa nödvändigheten använder vi följande metod för "symmetrisering". Tillsammans med sekvensen, överväga en sekvens av slumpvariabler oberoende av den som har samma fördelning som .
Sedan, om serien konvergerar , då konvergerar serien , och därav serien . Men också . Därför, enligt Kolmogorov-Khinchins konvergenssats .
Nästa . Därför, enligt Kolmogorov-Khinchins konvergenssats , konvergerar serien med sannolikhet ett , och följaktligen konvergerar serien också .
Så från konvergensen av serien (under antagandet följer att både serier och konvergerar.