4
$\begingroup$

I am looking for a nice counterexample of the statement: if $\mathbb{E}(X | Y, Z) = f(Y)$ for a measurable function $f$ implies that $X$ is independent of $Z$ given $Y$, i.e. $X \perp Z | Y$.

Any help is appreciated.

$\endgroup$

1 Answer 1

3
$\begingroup$

Let $Z$ and $T$ be independent uniform on $\{-1, 1\}$, $Y = 0$ and $X = T(Z + 1)$.

Then $\mathbb E(X | Y, Z = 1) = \mathbb E(2T | Y, Z = 1) = 0$ and $\mathbb E(X | Y, Z = -1) = \mathbb E(0 | Y, Z = 1) = 0$, but $P(X = 2 | Z = 1, Y = 0) = \frac{1}{2} \neq 0 = P(X = 2 | Z = -1, Y = 0)$.

$\endgroup$
6
  • 2
    $\begingroup$ I don't follow $\mathbb{E}(X|Y, Z) = 0$ -- I calculate that it is uniform on $\{-1.5, 1.5\}$. $\endgroup$
    – hunter
    Commented Jun 25 at 16:17
  • 1
    $\begingroup$ I agree with @hunter, this conditional expectation is $\mathbb{E}[X \mid Y,Z] = \frac{3}{2} Z$ $\endgroup$ Commented Jun 25 at 16:23
  • $\begingroup$ Yes, sorry, we need zero expectation from component independent of $Z$, not from $Z$ itself. Updated. $\endgroup$
    – mihaild
    Commented Jun 25 at 16:31
  • $\begingroup$ @mihaild Thank you very much, this looks correct to me. To hunter? $\endgroup$ Commented Jun 25 at 16:42
  • 1
    $\begingroup$ yes looks great! $\endgroup$
    – hunter
    Commented Jun 25 at 17:30

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .