Definice:
- je množina elementárních jevů
- je prostorem jevů, pokud
- je pravděpodobnost pokud
- Pro po svou disjunktní jevy Příklady: Diskrétní, spojitý, geometrický
Základní pravidla pro počítání s pravděpodobností
Nezávislost náhodných jevů
Definice: Jevy jsou nezávislé pokud .
Jevy v množině jsou nezávislé, pokud platí konečnou platí .
Definice: Pro definujeme podmíněnou pravděpodobnost při jako
Zjevně tedy platí .
Také platí
Věta: (O úplné pravděpodobnosti) Mějme jako rozklad , pak .
Bayesův vzorec: Mějme rozklad pak