Satunnaismuuttujien riippuvuus

Satunnaismuuttujien riippuvuus eli stokastinen riippuvuus  on todennäköisyyslaskennassa nimitys ilmiölle, jossa kahden satunnaismuuttujan saamat arvot ovat joko osittain tai kokonaan verrannollisia tai muuten riippuvaisia toistaan. Yleisessä tapauksessa toisistaan riippuvia satunnaismuuttujia voi olla useita. Satunnaismuuttujien riippuvuus voi olla seurausta niiden yhteisistä taustamekanismeista, joka vaikuttaa satunnaismuuttujien saamiin arvoihin. Näiden mekanismien yhteisvaikutus on siten osittainen eli stokastinen riippuvuus. Jos kaksi satunnaismuuttujaa ovat riippumattomia, ei niiden arvoihin vaikuta mitään yhteisiä mekanismeja. Jos kaksi satunnaismuuttujaa ovat täysin riippuvia toisistaan, määrää toisen satunnaismuuttujan arvo täysin toisen satunnaismuuttujan arvon, ja päinvastoin. Tätä riippuvuutta kutsutaan funktionaaliseksi riippuvuudeksi. Satunnaismuuttujien riippuvuus on ilmiönä sukua tapahtumien riippuvuudelle.

Satunnaismuuttujien välisen riippuvuuden mallintaminen vaatii niiden yhteisjakauman tarkastelua. Tällöin yhteisjakaumasta erotetaan eri satunnaismuuttujien suhteen ehdolliset reunajakaumat. Reunajakaumien avulla voidaan riippuvuuden laatua ja määrää mallintaa.

Tapahtumien riippumattomuus 

Kahden tapahtuman riippumattomuus tarkoittaa sitä, ettei tapahtumien todennäköisyydet riipu toisistaan. Merkitään tapahtumia  ja  ja lasketaan tapahtuman "tapahtuu A, kun tapahtuu myös B" ehdollinen todennäköisyys (merkitään ). Vertailun vuoksi, lasketaan myös tapahtuman  todennäköisyys. Tapahtumat ovat toistaan riippumattomia, mikäli ehdollinen todennäköisyys ja kokonaistodennäköisyys ovat samat. Tapahtumalla  ei ole silloin vaikutusta tapahtuman  todennäköisyyteen. Yhtäsuuruudet tulisivat olla samat kummallakin tavalla ajateltuna eli
 ja 
Mikäli edelliset todennäköisyydet eivät ole yhtäsuuret, ovat tapahtumat riippuvia toistaan.

Kun tapahtumat ovat riippumattomia toisistaan, voidaan tapahtuma "molemmat tapahtuu" (eli ) laskea
  (riippumattomien tapahtumien kertolaskusääntö)
Useamman riippumattoman tapahtuman todennäköisyys lasketaan vastaavasti
 

Riippumattomuuden testaamiseen löytyy työläs keino. Jos halutaan varmistaa, ovatko kolme tapahtumaa riippumattomia keskenään, tulee testit tehdä pareittain ja kaikki kolme yhdessä. Seuraavat yhdistelmät tulisi tällöin toteutua:

Riipumattomuus toteutuu vastavasti useammalle tapahtumalle.

Satunnaismuuttujien riippuvuus

Riippumattomuus 
Satunnaismuuttujat  ja  ovat riippumattomia, jos yhden satunnaismuuttujan saama arvo ei vaikuta toiseen (muihin) satunnaismuuttujan arvoihin ollenkaan ja näin on myös toisen (muiden) satunnaismuuttujan suhteen. Satunnaismuuttujat ovat riippumattomia, mikäli kaikilla tapahtumien  ja  yhdistelmillä satunnaismuuttujien väliset ehdolliset todennäköisyydet ovat samat kuin todennäköisyydet a priori. Silloin 
 ja 

Tällöin diskreettien satunnaismuuttujien kaikki yksittäiset tapahtumat tulisivat olla riippumattomia keskenään eli pistetodennäköisyyksillä 
 
eli käyttäen pistetodennäköisyysfunktion merkintöjä

tai vaihtoehtoisesti diskreettien ja jatkuvien satunnaismuuttujien kaikki tapahtumat tulisivat olla vastaavasti riippumattomia keskenään

eli kertymäfunktiolla esitettynä
 
Tämä on kunkin yksittäisen satunnaismuuttujan jakauman ja niiden yhteisjakauman välinen yhtäsuuruusehto.

Jatkuvien satunnaismuuttujien tapaukessa sama pätee niiden tiheysfunktioille
  
ja niiden kertymäfunktiolle diskreetin tapauksen tapaan.

Jos satunnaismuuttujia on kolme, tutkitaan näiden riippumattomuuksia samaan tapaan kuin kolmen tapahtuman riippumattomuuksia. Tällöin tutkitaan riippumattomuus pareittain ja lopuksi kolmistaan. Kun kaikissa neljässä tapauksessa satunnaismuuttujat ovat riippumattomia, ovat kaikki satunnaismuuttujat keskenään riippumattomia. Jos tutkitaan  satunnaismuuttujan riippumattomuutta, käydään läpi kaikki mahdolliset kombinaatiot. Niitä on  kappaletta.

Funktionaalinen riippuvuus 
Funktionaalinen riippuvuus viittaa täydelliseen riippuvuuteen, jossa kahden satunnaismuuttujan tapauksessa toisen arvon tunteminen mahdollistaa toisen arvon laskemisen. Tämä voidaan ilmaista yhtälöllä . Lineaarinen riippuvuus voidaan kirjoittaa lineaarikombinaationa .

Useamman satunnaismuuttujan tapauksessa yksi satunnaismuuttuja määräytyy täysin, kun muiden arvot saadaan ensin käyttöön. Riippuvuuden laatu voi vaihdella suuresti. Yleisin käytetty riippuvuus on lineaarinen, jossa lineaarikombinaatio
 
liittää satunnaismuuttujien arvot toisiinsa. Tämän yleistys on mikä tahansa funktionaalinen riippuvuus

Stokastinen riippuvuus 
Satunnaismuuttujan riippuvuus voi olla osittaista siinä mielessä, ettei se ole täysin riippumatonta mutta ei myöskään täysin funktionaalisen riippuvaista. Tälle kiinnostavalle välimuodolle voidaan antaa nimeksi stokastinen riippuvuus, jossa sana stokastinen korostaa satunnaisuuden läsnäoloa.

Riippuvuuden määrä 
Kahden satunnaismuuttujan riippuvuutta voidaan mitata käyttämällä kovarianssia ja korrelaatiota.

Kovarianssi 

Kahden satunnaismuuttujan  ja  riippuvuutta voidaan mitata laskemalla niiden välinen kovarianssi  Kovarianssin ja riippuvuuden välistä suhdetta voidaan valaista tutkimalla satunnaismuuttujan arvojen poikkeamista sen odotusarvosta. Satunnaismuuttujan  ja sen odotusarvon  erotus eli poikkeama on  Poikkeama saa tasapuolisesti sekä positiivisia että negatiivisia arvoja. Poikkeamien summasta tulee keskimäärin nolla, joten poikkeamien odotusarvo yleisesti aina nolla. 

Kun kummankin satunnaismuuttujan poikkeamat kerrotaan keskenään , on tulos riippumattomassa tapauksessa nolla. Mikäli satunnaismuuttujat riippuvat toisistaan, voi riippuvuus olla positiivista tai negatiivista. Riippuvuus on positiivista, kun sekä  että  poikkeavat positiiviseen suuntaan yhdessä ja molemmat negatiiviseen suuntaan yhdessä. Poikkeamien tulo on tällöin aina positiivinen, koska tulontekijät ovat samanmerkkisiä. Jos  poikkeaa positiiviseen suuntaan, kun  poikkeaa negatiiviseen suuntaan, on poikkeamien tulo negatiivinen. Sama tulos saadaan, kun ne poikkeavat päinvastaisiin suuntiin.

Yleistäen voidaan sanoa, että kun , ovat satunnaismuuttuja riippuvia. Riippumattomuudelle sen sijaan ei riitä, että  sillä tunnetaan tapauksia, jossa funktionaalinen riippuvuus aiheuttaa kovarianssille nolla-arvon. Kovarianssin arvon suuruus ei kerro, onko riippuvuus suurta vai pientä, sillä kovarianssin arvo riippuu myös satunnaismuuttujien varianssista. Riippuvuuden mittamiseen käytetäänkin korrelaatiota.

Korrelaatio 

Kovarianssin  arvosta voidaan päätellä luotettavasti vain riippuvuuden suunta. Riippuvuuden määrä selviää, kun kovarianssin arvosta puhdistetaan kummankin satunnaismuuttujan keskihajonnan vaikutus. Keskihajonta  on arvoltaan varianssin  neliöjuuri eli . Korrelaation  arvo lasketaan

Korrelaation arvot vaihtelevat nyt suljetulla välillä  eikä niillä ole mittayksikköä. Kun  on riippuvuus lineaarista, kun  voi riippuvuuden todeta olevan stokastista. Arvosta nolla ei taaskaan voi vetää johtopäätöksiä siitä, että satunnaismuuttujat ovat riippumattomia. Sen vaihtoehdon mahdollisuutta voi tarkistaa käyttäen ehdollista todennäköisyyslaskentaa.

Lähteet 

Todennäköisyyslaskenta