En sannolikhetsfunktion i sannolikhetsteorin är en funktion som returnerar sannolikheten att en diskret slumpmässig variabel kommer att få ett visst värde. Till exempel, let är en sannolikhetsfunktion, då beräknas sannolikheten att den tar ett värde lika med 13 genom att ersätta värdet med en funktion som redan returnerar en sannolikhet, till exempel 0,5 - det betyder att sannolikheten att få talet 13 är 0,5.
Om är en skalär slumpvariabel, ges sannolikhetsfunktionen av en tabell med möjliga värden med motsvarande sannolikheter ( ); en sådan tabell kallas en " distributionsserie " [1] .
Sannolikhetsfunktionen är det vanligaste sättet att karakterisera en diskret fördelning . Den spelar samma roll som sannolikhetstätheten för en kontinuerlig stokastisk variabel (dock i den senare situationen talar vi inte om sannolikheten att realisera ett specifikt värde , utan om sannolikheten att värdet av en stokastisk variabel faller in i en given intervall, som hittas genom att integrera sannolikhetstätheten över detta intervall).
Låta vara ett sannolikhetsmått på , Det vill säga ett sannolikhetsutrymme definieras , där betecknar Borel σ-algebra på . Ett sannolikhetsmått kallas diskret om dess stöd inte är mer än countable , det vill säga det finns inte mer än en räknebar delmängd så att .
Funktionen definierad enligt följande:
där är ett diskret sannolikhetsmått , kallas sannolikhetsfunktionen . Det är viktigt att förstå här att en funktion definierad på mängder , inte siffror, medan den definieras genom , redan är en funktion definierad över siffror.
Låt ( ) vara en slumpvariabel (slumpvektor). Sedan inducerar (inducerar) det ett sannolikhetsmått på (på ), som kallas fördelningen. En slumpvariabel kallas diskret om dess fördelning är diskret. Sannolikhetsfunktionen för en diskret slumpvariabel har formen:
,eller
var är uppsättningen värden som .
Från sannolikhetens egenskaper är det uppenbart[ till vem? ] följer:
där är sannolikhetsfunktionen för vektorn , och är sannolikhetsfunktionen för storheten . Denna egenskap generaliserar uppenbarligen till slumpmässiga vektorer av dimension .
förutsatt att serien på höger sida konvergerar absolut .