Skip to main content
1 of 5
Iosif Pinelis
  • 128k
  • 8
  • 107
  • 229

It is unclear how you define the expression $E\left[f({\bf x})|{\bf z}_0\right]$. However, your desired conclusion is correct, provided that the functions $f$ and $g$ are assumed to be Borel measurable.

Indeed, let $X:=f(\bf x)-g(\bf x)$ and $Z:=\bf z$, so that $X$ and $Z$ are bounded random variables in $\mathbb R$ and $\mathbb R^n$, respectively, such that $$EXP(Z)=0$$ for all polynomials $P$ on $\mathbb R^n$. Since the set of all such polynomials is dense in $L^1(K)$ for any compact $K\subset\mathbb R^n$, whereas $X$ and $Z$ are bounded, we conclude that $EXh(Z)=0$ for any $h\in L^1(K)$. So, $EX\,1(Z\in B)=0$ for any Borel set $B\subseteq\mathbb R^n$, which means $E(X|Z)=0$, as desired.

Iosif Pinelis
  • 128k
  • 8
  • 107
  • 229