Lemma: Bedingte Erwartung auf Sigma-Algebra ist linear

Sei ein Wahrscheinlichkeitsraum.
Sei eine -Algebra.
Seien zwei Zufallsvariablen.

Dann gilt, dass die bedingte Erwartung linear ist. Für alle gilt also: