small fixes

This commit is contained in:
Josia Pietsch 2023-06-07 03:35:56 +02:00
parent b3c5648406
commit cc6f7fd381
Signed by untrusted user who does not match committer: josia
GPG key ID: E70B571D66986A2D

View file

@ -50,7 +50,7 @@ We want to derive some properties of conditional expectation.
If $X \ge 0$, then $\bE[X | \cG] \ge 0$ a.s.
\end{theorem}
\begin{proof}
Let $W $ be a version of $\E[X | \cG]$.
Let $W $ be a version of $\bE[X | \cG]$.
Suppose $\bP[ W < 0] > 0$.
Then $G \coloneqq \{W < -\frac{1}{n}\} \in \cG$
For some $n \in \N$, we have $\bP[G] > 0$.
@ -88,7 +88,7 @@ We want to derive some properties of conditional expectation.
Take some $G \in \cG$.
We know by (b) % TODO REF
that $\be[Z_n \One_G] = \bE[X_n \One_G]$.
that $\bE[Z_n \One_G] = \bE[X_n \One_G]$.
The LHS increases to $\bE[Z \One_G]$ by the monotone
convergence theorem.
Again by MCT, $\bE[X_n \One_G]$ increases to