- MAT-01530
- 2. Todennäköisyys
- 2.6 Tapahtumien riippumattomuus
Tapahtumien riippumattomuus¶
Tapahtumien riippumattomuudella tarkoitetaan epämuodollisesti sitä, että niiden realisoitumiset eivät vaikuta toisiinsa. Täsmällisesti riippumattomuus voidaan määritellä seuraavalla tavalla.
Määritelmä 2.6.1
Saman otosavaruuden tapahtumat \(A\) ja \(B\) ovat tilastollisesti riippumattomia (statistically independent), eli riippumattomia, jos
Muistamalla ehdollisen todennäköisyyden ja kertolaskusäännön tälle saadaan välitön seuraus.
Seuraus 2.6.2
Jos \(A, B \subseteq \Omega\) ja \(P(B)>0\), niin tapahtumat \(A\) ja \(B\) ovat riippumattomia täsmälleen silloin, kun
Riippumattomille tapahtumille siis toisen realisoituminen ei vaikuta toisen tapahtuman todennäköisyyteen, eli määritelmä vastaa arkista intuitiota riippumattomuudesta. Kaikissa tilanteissa riippumattomuudelle ei kuitenkaan välttämättä löydy selvää tulkintaa.
Esimerkki 2.6.3
Tarkastellaan nopanheittoa, missä \(\Omega = \{1, 2, 3, 4, 5, 6\}\). Olkoot tapahtumat \(A=\{1,2\}\) ja \(B=\{x \in \Omega : x = 2n, n \in \Z\}=\{2,4,6\}\), jolloin määritelmän mukaan ne ovat riippumattomia, sillä
Esimerkki 2.6.4
Osoitetaan, että jos \(A\) ja \(B\) ovat riippumattomia, niin myös \(A\) ja \(\overline{B}\) ovat riippumattomia. Oletuksen mukaan siis \(P(A\cap B)=P(A)P(B)\). Nyt tapahtumat \(A \cap \overline{B}\) ja \(A \cap B\) ovat erilliset, joten
ja täten
Siis myös tapahtumat \(A\) ja \(\overline{B}\) ovat riippumattomia.
Useamman kuin kahden tapahtuman riippumattomuus määritellään seuraavasti.
Määritelmä 2.6.5
Tapahtumat \(A_1,A_2,\ldots,A_n \subseteq \Omega\) ovat riippumattomia, jos jokaiselle näiden tapahtumien joukon osajoukolle \(\{A_{i_1},A_{i_2},\ldots,A_{i_m}\}\), \(m\leq n\) on voimassa
Esimerkki 2.6.6
Tapahtumat \(A_1\), \(A_2\) ja \(A_3\) ovat riippumattomia, jos ne ovat pareittain riippumattomia ja \(P(A_1\cap A_2\cap A_3)=P(A_1)P(A_2)P(A_3)\).
Huomautus 2.6.7
Tapahtumien riippumattomuus säilyy, jos jo(t)kin tapahtuma(t) korvataan komplement(e)illaan.
Huomautus 2.6.8
Käytännössä, jos ei ole mitään näyttöä tapahtumien riippuvuudesta, tapahtumat oletetaan lähtökohtaisesti riippumattomiksi. Tällöin siis tapahtumien leikkauksien todennäköisyys on tapahtumien todennäköisyyksien tulo.
Esimerkki 2.6.9
Tarkastellaan toistokoetta. Toistot voidaan olettaa toisistaan riippumattomiksi. Olkoon \(A\) kokeen tapahtuma, jonka esiintymistä seurataan. Tällöin
missä \(\hat{A}_i\) voi olla joko \(n\)-toistokokeen tapahtuma “\(i\):nnessä toistossa realisoituu \(A\)” tai tapahtuma “\(i\):nnessä toistossa realisoituu \(\overline{A}\)“.
Esimerkki 2.6.10
Olkoon laitteen komponenttien \(K_1, K_2, \ldots, K_m\) toiminta toisistaan riippumatonta, sekä olkoot \(A_i\), \(1 \leq i \leq m\) tapahtumat “komponentti \(K_i\) toimii aikavälin \(\Delta t\)“. Merkitään \(P(A_i)=p_i\). Laske todennäköisyys, että laite toimii aikavälin \(\Delta t\), kun laite muodostuu
- sarjaan kytketyistä komponenteista \(K_1, K_2, \ldots, K_m\),
- rinnan kytketyistä komponenteista \(K_1, K_2, \ldots, K_m\),
- alla olevan kuvan mukaisesti.
Sarjaankytkentä toimii, jos jokainen komponentti toimii. Tällöin kysytty todennäköisyys on riippumattomuuden nojalla
\[P\left(\bigcap_{i = 1}^{m}A_i\right) = P(A_1 \cap A_2 \cap \cdots \cap A_m) = P(A_1)P(A_2)\cdots P(A_m) = \prod_{i = 1}^{m}p_i.\]Rinnankytkentä toimii, jos vähintään yksi komponentti toimii. Tällöin kysytty todennäköisyys on de Morganin lain ja riippumattomuuden nojalla
\[P\left(\bigcup_{i = 1}^{m}A_i\right) = 1 - P\left(\overline{\bigcup_{i = 1}^{m}A_i}\right) = 1 - P\left(\bigcap_{i = 1}^{m}\overline{A_i}\right) = 1 - \prod_{i = 1}^{m}P(\overline{A_i}) = 1 - \prod_{i = 1}^{m}(1 - p_i).\]Nyt laite toimii, jos ylärivi toimii (tapahtuma \(A_y\)) tai alarivi toimii (tapahtuma \(A_a\)). Koska ylä- ja alarivit ovat sarjaankytkentöjä, \(P(A_y) = P(A_a) = \prod_{i = 1}^{m}p_i\). Nyt kysytty todennäköisyys on
\[P(A_y \cup A_a) = 1 - P(\overline{A_y} \cap \overline{A_a}) = 1 - \left(1 - \prod_{i = 1}^{m}p_i\right)\left(1 - \prod_{i = 1}^{m}p_i\right) = 2\prod_{i = 1}^{m}p_i - \prod_{i = 1}^{m}p_i^2.\]