Diskreetti satunnaismuuttuja

**Diskreetti satunnaismuuttuja**  ()  eli **diskreetti stokastinen muuttuja**  on todennäköisyyslaskennassa äärellisen tai numeroituvasti äärettömän määrän arvoja saava satunnaismuuttuja. Satunnaismuuttuja tarkoittaa satunnaisilmiön määräämää *lukua*, joka saadaan ilmiön alkeistapauksista mitallisen funktion kuvauksena. Se nähdään usein "vastakkaisena" jatkuvalle satunnaismuuttujalle, jonka arvot muodostavat reaalilukujen jatkumona ylinumeroituvasti äärettömän määrän arvoja. Äärellistä diskreettiä satunnaismuuttujaa kutsutaan yksinkertaiseksi.

Satunnaismuuttuja voi olla tyypiltään diskreettinen tai jatkuva. Esimerkiksi pilkkikilpailun tulos riippuu onnesta ja "Ahdin" tarjoamat kalat voidaan ilmaista lukumääränä (diskreettinen) tai painona (jatkuva). Painot mieletään reaaliluvuiksi ja kahden kalan painot voivat olla kuinka lähellä toisiaan hyvänsä. Siksi jatkuvan satunnaismuuttujan arvot muodostavat realilukujen joukon, joka on hyvin "tiheä". Diskreettiset arvot, jotka ovat tässä lukumääriä, sijaitsevat kokonaislukujen tapaan lukusuoralla hyppäyksen päässä toisistaan. Lukujen väliin jää siten "raot" eikä arvojoukko ole "tiheä". Esimerkiksi ihmisen pituus on tällainen satunnaismuuttuja, mikäli pituudet pyöristetään senttimetrin tarkkuuteen. Siksi arvojoukkoa kutsutaan diskreetiksi (). Satunnaismuuttujan mittaamistavan valinta ratkaisee sen numeerisen esitystavan. Satunnaismuuttujaa, jotka eivät ole pelkästään toista tyyppiä, kutsutaan sekatyyppiseksi.

Satunnaismuuttujan saamat lukuarvot muodostavat perusjoukon, jossa kaikki arvot eivät aina esiinny symmetrisesti yhtä yleisesti. Arvon yleisyys ilmaistaan todennäköisyydellä ja kaikkien arvojen todennäköisyydet muodostavat todennäköisyysjakauman. Jakauma määrittää satunnaismuuttujan täysin, joten satunnaisumuuttujat luokitellaankin jakaumiensa perusteella.

## Matemaattiset määritelmät
Satunnaismuuttuja X on mitallisen funktion kuvaus X: \Omega \rightarrow \mathbb{R}, missä määrittelyjoukko \Omega on todennäköisyysilmiön alkeistapauksien \omega muodostana perusjoukko \Omega eli *otosavaruus*, ja arvojoukkona ovat reaaliluvut. Perusjoukko sisältää kaikki satunnaisilmiön mahdolliset alkeistapaukset, mikä merkitään joukko-opissa \{\omega|\omega \in \Omega\}. Silloin alkeistapaukset ovat satunnaismuuttujan argumenttina, mikä on tapana merkitä X(\omega). Todennäköisyyslaskennassa argumentit jätetään aina pois.

Samoin kuin klassisessa todennäköisyyslaskennassakin, alkeistapauksien yhdisteet muodostavat perusjoukon osajoukkoja, joita kutsutaan tapahtumiksi. Tapahtuma A on siis joukko-opillinen käsite \{\omega: \omega \in A\}. Myös satunnaismuuttujille määritellään tapahtuma M samalla idealla eli \{\omega: X(\omega) \in M\} eli lyhyemmin kirjoitettuna X\in M, kun on huomioitu satunnaismuuttujan määrittelemä kuvaus X(\omega). Kun todennäköisyyslaskennassa määritellään todennäköisyydet kaikille perusjoukon \Omega alkeistapauksien joukoille, jotka kuuluvat perusjoukon osajoukkojen sigma-algebraan (\sigma-algebra) \mathcal{F}. Vain osajoukot A \in \mathcal{F} ovat tapahtumia. Tästä muodostuukin satunnaismuuttujan määritelmä: X on satunnaismuuttuja, jos \{\omega:X(\omega) \in M\} on tapaus (eli \{\omega:X(\omega) \in M\} \in \mathcal{F}) kaikilla Borel-joukoilla M. Kun satunnaismuuttuja määritellään näin, täyttää se mittateoreettiset kriteerit. On varsin helppo osoittaa tapauskohtaisestikin, että äärellinen eli yksinkertainen satunnaismuuttuja voidaan saada toteuttamaan mittateoreettiset kriteerit aina.

Satunnaismuuttujan määrittelevä funktio tulee olla mitallinen funktio. Nimitys juontuu siitä, että käänteiskuvalle X^{-1}(M) voidaan liittää tietty mitta eli tässä tapauksessa todennäköisyys.

## Diskreetin satunnaismuuttujan ominaisuuksia
### Todennäköisyysfunktio

Yksinkertaisen eli äärellisen diskreetin satunnaismuuttujan perusjoukko käsittää n alkeistapausta \{x_1,x_2,...,x_n\}, joista kukin esiintyy todennäköisyydellä \{p_1,p_2,...,p_n\}. Diskreetin satunnaismuuttujan todennäköisyyttä kutsutaan pistetodennäköisyydeksi. Sille on yleisesti käytössä merkinnät
:P(X=x_i)=p_i=p(x_i)=f(x_i), 
missä 0 \le p_i \le 1.

Satunnaismuuttujan arvot ja todennäköisyysfunktion arvot muodostavat yhdessä satunnaismuuttujan jakauman. Diskreetin luonteensa vuoksi nämä arvot voidaan luetella taulukossa, mutta joissakin jakaumissa todennäköisyysfunktiolle on määritelty kompakti lauseke.

Todennäköisyyksien summa tulee aina olla yksi:
:\sum_{i=1}^n p_i=1. 

### Kertymäfunktio

Todennäköisyyslaskennassa halutaan usein laskea todennäköisyyksiä tapahtumille, jotka ovat muotoa \{X \le a\}, \{X > a\} tai \{a  Näiden kaikkien todennäköisyydet voidaan esittää pelkästään todennäköisyyksien P(X \le a) avulla. Diskreetin satunnaisfunktion kertymäfunktio eli jakaumafunktio määritetään
:F(x)=P(X \le x) = \sum_{x_i \le x} p_i = p_1+p_2+...+p_k, 
Todennäköisyysfunktion arvot eli pistetodennäköisyydet voidaan laskea kahden kertymäfunktion arvon avulla
:p(x_i)=F(x_i)-F(x_{i-1}).
Diskreetin satunnaismuuttujan kertymäfunktiolla F(x) on seuraavia omainaisuuksia:
* Sen arvoalue: 0 \le F(x) \le 1, \, x \in \mathbb{R}
* F(x) on oikealta jatkuva porrasfunktio 
* F(x) on ei-vähenevä funktio 
* Raja-arvo on olemassa: \lim_{x \to +\infty}F(x)=1
* Raja-arvo on olemassa: \lim_{x \to -\infty}F(x)=0

### Tunnuslukuja

Äärellisen ja diskreetin satunnaismuuttujan odotusarvo merkitään ja määritellään
:E[X]=\sum_{i=1}^n p_ix_i. 
Äärettömän ja diskreetin satunnaismuuttujan odotosarvo ei välttämättä ole äärellisenä olemassa. Yleensä ääretön summa lukuja kasvaa yli kaikkien rajojen, koska silloin pienetkin termit kasvavat äärettömän suureksi summaksi. Siksi odotusarvo on olemassa vain, kun se suppenee itseisesti eli
:\sum_{i=1}^\infty |p_i x_i| =\sum_{i=1}^\infty p_i|x_i| 
Odostusarvoa kutsutaan satunnaismuuttujan ensimmäiseksi momentiksi. Muut momentit ovat
:E[X^2]=\sum_{i=1}^n p_ix_i^2 (toinen momentti)
:E[X^3]=\sum_{i=1}^n p_ix_i^3 (kolmas momentti) jne.

Näissäkin ääretön summa on olemassa, jos se suppenee itseisesti. Satunnaismuuttujan varianssi merkitään ja määritellään
:Var(X)=E[(X-\mu)^2] = E[X^2] - (E[X])^2 = \sigma^2, missä \mu=E(X) 
ja sama erilaisilla summakaavoilla
:Var(X)=\sum_{i=1}^n (x_i - \mu)^2 p_i = \sum_{i=1}^n x_i^2 p_i - \mu^2 = \sum_{i=1}^n x_i(x_i-1)p_i +\mu-\mu^2, 

missä itseinen suppeneminen on äärettömien summien lisäehtona. Satunnaismuuttujan keskihajonta on varianssin neliöjuuri
:D(X)= \sqrt{Var(X)} = \sigma 

## Diskreetin satunnaismuuttujan jakauma
Tunnettuja diskreettien satunnaismuuttujien jakaumia on lukuisia. Niissä käsitellään useimmiten lukumääriä ja niiden esiintymisen todennäköisyyksiä. Alla on muutama yleisesti tunnettuja esimerkkejä satunnaismuuttujista, jotka kuvaavat lukumääriä.

* Diskreetti tasainen jakauma kuvaa satunnaismuuttujia, joiden pistetodennäköisyydet ovat kaikki samansuuruiset. Tällainen tilanne on esimerkiksi, kolikonheitossa, jossa kruuna ja klaava ovat yhtä todennäköiset, nopanheitossa, jossa kukin silmäluku esiintyy yhtä todennäköisesti.
* Bernoullin jakauma kuvaa kaksiarvoista satunnaismuuttujaa, jollainen on esimerkiksi yhden kerran suoritettu kolikonheitto. Nyt todennäköisyydet eivät ole yhtäsuuret. Nopanheitossa tulee tarkastella tilannetta, jossa joko tulee "kuutonen" tai tulee "jokin muu" silmäluku.
* Binomijakauma (toistokoe) kuvaa toistojen aikana sattuneiden onnistumisten lukumääriä, kun onnistumisen todennäköisyys tunnetaan etukäteen. Tällainen on useaan kertaan suoritettu nopanheitto, jossa yritetään saada "kuutosia".
* Geometrinen jakauma kuvaa epäonnistumisten lukumäärää ennen kuin saadaan ensimmäinen onnistuminen. Tällainen tilanne syntyy on taas nopanheitossa, kun yritetään heittoja toistamalla saada "kuutonen" kerran.
* Hypergeometrinen jakauma kuvaa onnistumisten määrää, kun vaihtoehdoista poimitaan tietyn suuruinen otos. Esimerkiksi lotossa se kuvaa "oikeita" arvauksia, kun oikeita on seitsemän ja arvauksia on myös seitseman (otanta ilman takaisinpanoa).
* Negatiivinen binomijakauma kuvaa lukumäärää, jota tulee toistaa ennen kuin onnistutaan halutun monta kertaa. Jakauman lukumääräksi tosin ilmoitetaan tähän tulokseen pääsemiseen vaadittavien epäonnistumisten lukumäärä.
* Poissonin jakauma kuvaa sattuvien tapahtuien lukumäärää vakioaikavälillä (Poisson-prosessin insidenssien lukumäärä).

## Lähteet

## Aiheesta muualla
*