Theorem: Bedingter Erwartungswert auf einer diskreten Zufallsvariable

Seien zwei diskrete Zufallsvariablen.
Sei mit .
Sei eine messbare Abbildung.

Den auf bedingten Erwartungswert von berechnen wir durch:

Definition: Bedingter Erwartungswert (diskret)

Seien zwei diskrete Zufallsvariablen.
Sei abzählbar mit .
Sei eine messbare Abbildung.

Als Erwartungswert von bedingt auf das Ereignis bezeichnen wir