Ero sivun ”Vastatapahtuma” versioiden välillä
[katsottu versio] | [katsottu versio] |
Poistettu sisältö Lisätty sisältö
lisäys |
KLS (keskustelu | muokkaukset) muotoilua ja selvennyksiä |
||
Rivi 1:
'''Vastatapahtuma''' eli '''komplementtitapahtuma''' <ref name=ala3/> ({{k-en|complementary event}}) tai joskus vain '''vastatapaus''' <ref name=hr/> on yksi [[todennäköisyyslaskenta|
== Joukko-opillinen määritelmä == Jokainen kysymykseen tuleva tapahtuma, jolle todennäköisyys voidaan määrittää, koostuu tietystä joukosta [[satunnaisilmiö]]n [[alkeistapaus| Vastatapahtuma voidaan merkitä [[joukko-oppi|joukko-opin]] käsittein <math>\bar A = \Omega \setminus A.</math> Määritelmä tekee tapahtumasta ja vastatapahtumasta [[erilliset tapahtumat]].<ref name=kivela1/>
===
Tapahtuman alkeistapauksia voidaan kohdella joukon alkioina. Joukot, jotka jakavat perusjoukon kahteen [[Ositus|osaan]], ovat toisilleen [[Komplementti (joukko-oppi)|komplementit joukot]]. Joukon <math>A</math>komplementtijoukko <math>A^c</math> määritellään <math>A^c:=\{\omega \in \Omega;\omega \notin A\}.</math> Jos tapahtuma on tyhjä joukko, on sen vastatapahtuma perusjoukko, ja päinvastoin: <math>\Omega ^c=\empty</math> ja vastaavasti <math>\empty ^c =\Omega.</math> Nopanheitossa tapahtuman "vähintään nelonen" vastatapahtuma olisi "korkeintaan kolmonen" eli <math>\{1,2,3\}.</math> Tapahtuma ja vastatapahtuma muodostavatkin yhdessä perusjoukon: <math>\{1,2,3\} \cup \{4,5,6\} = \{1,2,3,4,5,6\}</math> luonnollisella tavalla.<ref name="hr" /><ref name="kivela1" /><ref name="sottinen" />
==
Todennäköisyys, että alkeistapaus <math>\omega</math> kuuluu perusjoukkoon <math>\Omega</math> on yksi. Samasta syystä voidaan sanoa, että alkeistapaus kuuluu varmuudella aina tapahtumaan tai vastatapahtumaan, sillä perusjoukko muodostuu niistä. Silloin on
:<math>P(A \text{ tai } \bar A)=P(A \cup \bar A)=P(A)+P(\bar A)=1.</math> <ref name=ala3/>
|