De axioma's van de kansrekening zijn enkele door de Russische wiskundige Kolmogorov geformuleerde axioma's om een strenge onderbouwing te geven aan de kansrekening. Gedurende lange tijd werd kansrekening bedreven op grond van experimenten met een eindig aantal even waarschijnlijke uitkomsten. Op tamelijk gekunstelde wijze werden situaties die op deze wijze niet direct konden worden beschreven, zo gemodelleerd dat zij toch in dit raamwerk pasten. Meer en meer leidde dit tot onoverkomelijke moeilijkheden in de theorie. Kolmogorov publiceerde in 1933 in het Duits het leerboek Grundbegriffe der Wahrscheinlichkeitsrechnung, uitgegeven door het Springer-Verlag in Heidelberg. Daarin doorbrak hij de impasse door een axiomatische aanpak van de kansrekening voor te stellen.
Kansruimte
Bij kansrekening is er altijd sprake van een verzameling van uitkomsten, die niet leeg is, en een verzameling van een aantal gegeven deelverzamelingen daarvan, van gebeurtenissen. Op de gegeven gebeurtenissen is een kans , van 'Probabilitas', gedefinieerd. De verzameling kan worden gezien als de verzameling van de mogelijke uitkomsten van een kansexperiment. wordt daarom de uitkomstenruimte genoemd en de elementen van uitkomsten. Over het algemeen kan niet iedere deelverzameling van als gebeurtenis optreden. De verzameling van deelverzamelingen die wel als gebeurtenis kunnen optreden is . Om te garanderen dat allerlei met een of meer gebeurtenissen samenhangende deelverzamelingen van ook tot de gebeurtenissen behoren, wordt geëist dat een σ-algebra is. De kans moet voldoen aan de volgende voorwaarden, de zogenaamde axioma's van Kolmogorov:
- Voor iedere gebeurtenis geldt: . Een kans is niet negatief.
- . De totale kans is genormeerd op een.
- Voor een rij gebeurtenissen , die onderling disjunct zijn, dus met voor , geldt:
- In woorden: voor een rij of aftelbare verzameling gebeurtenissen die niet tegelijkertijd kunnen optreden, kan de kans dat een van deze gebeurtenissen optreedt worden berekend als de som van de kansen op de afzonderlijke gebeurtenissen.
Een dergelijk drietal heet kansruimte en is een bijzonder geval van een maatruimte. De maat van de gehele ruimte is 1, zo'n maat wordt een kansmaat genoemd.
is een deelverzameling van de machtsverzameling van en wordt ook een familie van deelverzamelingen van Ω genoemd.
Voorbeelden
Voorbeeld 1
Bij eenmaal gooien met een dobbelsteen is de uitkomstenruimte, de verzameling mogelijke uitkomsten . Voor de gebeurtenissen kunnen hier alle deelverzamelingen van worden genomen. De kans op een van de ogenaantallen 1 tot en met 6, dus de kans op heel , is 1. De gebeurtenis 'de uitkomst is even' is en de gebeurtenis 'de uitkomst is 1 of 5 is '. Beide gebeurtenissen zijn disjunct, dus is de kans op gelijk aan de som van de kansen op elk afzonderlijk:
Bij een zuivere dobbelsteen zal de kans op elk van de gebeurtenissen dezelfde zijn, dus gelijk aan 1/6. Voor de hiervoor genoemde gebeurtenissen geldt dan:
Voorbeeld 2
In het geval van drie mogelijke uitkomsten 1, 2 en 3, , zijn er vijf mogelijke verzamelingen gebeurtenissen :
- bevat alle deelverzamelingen van . Alle uitkomsten kunnen worden onderscheiden.
- , bevat singleton , maar niet en , zodat de uitkomsten 2 en 3 niet kunnen worden onderscheiden.
- , hetzelfde met singleton
- , hetzelfde met singleton
- , bevat geen van de drie singletons, dus bestaat alleen uit de lege verzameling en de gehele uitkomstenruimte. Het experiment maakt geen onderscheid tussen de drie uitkomsten.
Het model kan in de laatste vier gevallen worden vereenvoudigd door dienovereenkomstig de uitkomstenruimte te verkleinen tot een of twee uitkomsten. Vervolgens wordt het kansmodel geheel bepaald door de kansen op de afzonderlijke uitkomsten.
Eigenschappen
Opmerking: In de verzamelingenleer is gedefinieerd:
Uit bovenstaande axioma's kunnen de volgende eigenschappen worden afgeleid:
- , dus is
- als paarsgewijs disjuncte gebeurtenissen zijn, en , dan geldt
- Dit volgt uit het tweede en het derde axioma samen.
- als en gebeurtenissen zijn, geldt
- want en zijn disjunct, zodat
- en zijn ook disjunct
- vanwege en
- zodat en