Otos (empiirinen) jakaumafunktio matemaattisessa tilastossa on approksimaatio teoreettisesta jakaumafunktiosta , joka on rakennettu käyttämällä sen otosta.
Olkoon jakaumafunktion antaman satunnaismuuttujan generoima näytekokoinen . Oletetaan, että missä ovat riippumattomia satunnaismuuttujia , jotka on määritelty jollekin alkeistulosten avaruudelle . Anna . Määritellään funktio seuraavasti:
,missä on tapahtuman ilmaisin , on Heaviside-funktio . Siten funktion arvo pisteessä on yhtä suuri kuin niiden näyteelementtien suhteellinen tiheys, jotka eivät ylitä arvoa . Funktiota kutsutaan satunnaismuuttujan otosjakaumafunktioksi tai empiiriseksi otantafunktioksi, ja se on funktion approksimaatio . On Kolmogorovin lause , jossa todetaan, että , funktio konvergoi tasaisesti , ja osoittaa lähentymisnopeuden. Jokaiselle positiiviselle on satunnaismuuttuja arvolla .
jossa , ja on näyteelementtien lukumäärä yhtä suuri kuin . Erityisesti, jos kaikki otoksen elementit ovat erillisiä, niin .
Tämän jakauman matemaattinen odotus on:
.Näin ollen otoskeskiarvo on näytejakauman teoreettinen keskiarvo. Samoin otosvarianssi on otosjakauman teoreettinen varianssi .