Wat zijn waarschijnlijkheidsaxioma's?

De drie waarschijnlijkheidsaxioma's. CKTaylor

Een strategie in de wiskunde is om te beginnen met een paar uitspraken en vervolgens meer wiskunde op te bouwen met deze uitspraken. De beginverklaringen staan ​​​​bekend als axioma's. Een axioma is typisch iets dat wiskundig vanzelfsprekend is. Uit een relatief korte lijst van axioma's wordt deductieve logica gebruikt om andere uitspraken te bewijzen, stellingen of proposities genaamd.

Het gebied van de wiskunde dat bekend staat als waarschijnlijkheid is niet anders. Waarschijnlijkheid kan worden teruggebracht tot drie axioma's. Dit werd voor het eerst gedaan door de wiskundige Andrei Kolmogorov. Het handjevol axioma's die onderliggende waarschijnlijkheid vormen, kunnen worden gebruikt om alles af te leiden soorten van resultaten. Maar wat zijn deze kansaxioma's?

Definities en inleidingen

Om de axioma's voor waarschijnlijkheid te begrijpen, moeten we eerst enkele basisdefinities bespreken. We veronderstellen dat we een reeks uitkomsten hebben die de steekproefruimte wordt genoemd S. Deze voorbeeldruimte kan worden gezien als de universele set voor de situatie die we bestuderen. De voorbeeldruimte bestaat uit subsets die gebeurtenissen worden genoemd EN ₁, EN _twee, . . ., EN_n .

We nemen ook aan dat er een manier is om een ​​kans toe te kennen aan een gebeurtenis EN . Dit kan worden gezien als een functie die een set heeft voor een ingang, en a echt nummer als uitgang. De kans op de evenement EN wordt aangeduid met P ( EN ).

Axioma één

Het eerste axioma van waarschijnlijkheid is dat de kans op een gebeurtenis een niet-negatief reëel getal is. Dit betekent dat de kleinste kans die een kans ooit kan zijn nul is en dat deze niet oneindig kan zijn. De reeks getallen die we kunnen gebruiken, zijn reële getallen. Dit verwijst naar zowel rationale getallen, ook wel breuken genoemd, als irrationele getallen die niet als breuken kunnen worden geschreven.

Een ding om op te merken is dat dit axioma niets zegt over hoe groot de kans op een gebeurtenis kan zijn. Het axioma elimineert de mogelijkheid van negatieve kansen. Het weerspiegelt het idee dat de kleinste kans, gereserveerd voor onmogelijke gebeurtenissen, nul is.

Axioma twee

Het tweede axioma van waarschijnlijkheid is dat de waarschijnlijkheid van de gehele steekproefruimte één is. Symbolisch schrijven we P ( S ) = 1. Impliciet in dit axioma is het idee dat de steekproefruimte alles is wat mogelijk is voor ons kansexperiment en dat er geen gebeurtenissen zijn buiten de steekproefruimte.

Op zichzelf stelt dit axioma geen bovengrens voor de kansen op gebeurtenissen die niet de gehele steekproefruimte zijn. Het geeft wel aan dat iets met absolute zekerheid een waarschijnlijkheid van 100% heeft.

Axioma drie

Het derde axioma van waarschijnlijkheid gaat over elkaar uitsluitende gebeurtenissen. Als EN ₁en EN _tweezijn elkaar uitsluiten , wat betekent dat ze een leeg snijpunt hebben en we U gebruiken om de unie aan te duiden, dan P ( EN ₁IN EN _twee) = P ( EN ₁) + P ( EN _twee).

Het axioma dekt in feite de situatie met verschillende (zelfs aftelbaar oneindige) gebeurtenissen, waarvan elk paar elkaar uitsluit. Zolang dit gebeurt, waarschijnlijkheid van de unie van de gebeurtenissen is gelijk aan de som van de kansen:

P ( EN ₁IN EN _tweeIn . . . IN EN_n ) = P ( EN ₁) + P ( EN _twee) + . . . + EN_n

Hoewel dit derde axioma misschien niet zo nuttig lijkt, zullen we zien dat het in combinatie met de andere twee axioma's inderdaad behoorlijk krachtig is.

Axioma-toepassingen

De drie axioma's stellen een bovengrens voor de waarschijnlijkheid van een gebeurtenis. We duiden het complement van het evenement aan EN door EN ^C. Uit de verzamelingenleer, EN en EN ^Chebben een leeg kruispunt en sluiten elkaar uit. Verder EN IN EN ^C= S , de gehele monsterruimte.

Deze feiten, gecombineerd met de axioma's, geven ons:

1 = P ( S ) = P ( EN IN EN ^C) = P ( EN ) + P ( EN ^C) .

We herschikken de bovenstaande vergelijking en zien dat: P ( EN ) = 1 - P ( EN ^C). Omdat we weten dat kansen niet-negatief moeten zijn, hebben we nu dat een bovengrens voor de kans op een gebeurtenis gelijk is aan 1.

Door de formule opnieuw te herschikken hebben we P ( EN^C ) = 1 - P ( EN ). We kunnen uit deze formule ook afleiden dat de kans dat een gebeurtenis zich niet voordoet, één minus de kans is dat deze zich wel voordoet.

De bovenstaande vergelijking biedt ons ook een manier om de waarschijnlijkheid van de onmogelijke gebeurtenis te berekenen, aangeduid met de lege verzameling. Om dit te zien, onthoud dat de lege verzameling het complement is van de universele verzameling, in dit geval S ^C. sinds 1 = P ( S ) + P ( S ^C) = 1 + P ( S ^C), door algebra hebben we P ( S ^C) = 0.

Verdere toepassingen

Het bovenstaande zijn slechts een paar voorbeelden van eigenschappen die direct vanuit de axioma's kunnen worden bewezen. Er zijn veel meer resultaten in waarschijnlijkheid. Maar al deze stellingen zijn logische uitbreidingen van de drie axioma's van waarschijnlijkheid.