Bayesova teorema

Engleski statističar i filozof Thomas Bayes ( 1702-1761 ) dokazao je čuvenu teoremu teorije verovatnoće, koji po njemu nazivamo Bayesovu teoremu ili češće Bayesovu formulu. Kako bi uveli Bayesovu formulu potrebno je napraviti dekompoziciju prostora elementarnih događaja Ω na skup nepraznih, disjunktnih događaja H={Hi : i ∈ I ⊆ N} ⊆ F ( pri čemu je F uobičajena oznaka za σ-algebru na Ω, a njene elemente nazivamo događaj ) takvih da je Ω=∪i∈I Hi.
Familiju H tada nazivamo potpun sistem događaja, a događaje Hi, i ∈ I ⊆ N hipoteze.