Todennäköisyysfunktio on todennäköisyysteoriassa funktio, joka palauttaa todennäköisyyden , että diskreetti satunnaismuuttuja saa tietyn arvon. Esimerkiksi Olkoon on todennäköisyysfunktio, jolloin todennäköisyys, että se saa arvon 13, lasketaan korvaamalla arvo funktiolla , joka jo palauttaa todennäköisyyden, esimerkiksi 0,5 - tämä tarkoittaa, että todennäköisyys saada numero 13 on 0,5.
Jos on skalaarinen satunnaismuuttuja, todennäköisyysfunktio annetaan mahdollisten arvojen taulukolla vastaavien todennäköisyyksien kanssa ( ); tällaista taulukkoa kutsutaan " jakaumasarjaksi " [1] .
Todennäköisyysfunktio on yleisimmin käytetty tapa karakterisoida diskreetti jakauma . Sillä on sama rooli kuin jatkuvan satunnaismuuttujan todennäköisyystiheydellä ( jälkimmäisessä tilanteessa emme kuitenkaan puhu tietyn arvon toteutumisen todennäköisyydestä , vaan todennäköisyydestä, että satunnaismuuttujan arvo osuu tiettyyn intervalli, joka saadaan integroimalla todennäköisyystiheys tälle välille).
Antaa olla todennäköisyysmitta , eli todennäköisyysavaruus on määritelty , jossa tarkoittaa Borelin σ-algebraa päällä . Todennäköisyysmittaa kutsutaan diskreetiksi , jos sen tuki ei ole enempää kuin laskettavissa , eli ei ole enempää kuin laskettavissa oleva osajoukko siten, että .
Toiminto määritellään seuraavasti:
jossa on diskreetti todennäköisyysmitta , kutsutaan todennäköisyysfunktioksi . Tässä on tärkeää ymmärtää, että funktio, joka on määritetty joukoille , ei numeroille, vaikka se määritellään kautta , on jo numeroiden yli määritetty funktio.
Olkoon ( ) satunnaismuuttuja (satunnaisvektori). Sitten se indusoi (indusoi) todennäköisyysmitan (on ) , jota kutsutaan jakaumaksi. Satunnaismuuttujaa kutsutaan diskreetiksi, jos sen jakauma on diskreetti. Diskreetin satunnaismuuttujan todennäköisyysfunktiolla on muoto:
,tai
missä on arvojoukko, joka .
Todennäköisyyden ominaisuuksista on selvää[ kenelle? ] seuraavasti:
missä on vektorin todennäköisyysfunktio ja suuren todennäköisyysfunktio . Tämä ominaisuus ilmeisesti yleistyy mittasuhteiden satunnaisiin vektoreihin .
edellyttäen, että oikeanpuoleinen sarja suppenee ehdottomasti .