2
$\begingroup$

My intuition told me E(X|X) is X. However,I get stuck when when I try to evaluate it from the definition. How do I define f(X|X) ? would it be constant? Thanks for your help.

$\endgroup$
  • 2
    $\begingroup$ What is your definition of $E[X\mid Y]$, the conditional expectation of $X$ given $Y$? $\endgroup$ – Dilip Sarwate Jan 20 '17 at 22:04
7
$\begingroup$

Your intuition is correct: if $X$ is any random variable with finite mean (not necessarily discrete or continuous!), then $E[X \mid X] = X$.

More generally, if $\mathcal{G}$ is a $\sigma$-field, then $E[X\mid\mathcal{G}] = X$ (almost surely) whenever $X$ is a $\mathcal{G}$-measurable random variable with finite mean. This can be proved from the definition of $E[X \mid \mathcal{G}]$ as the unique (up to almost everywhere equivalence) $\mathcal{G}$-measurable random variable $Y$ such that $E[X \mathbf{1}_A] = E[Y \mathbf{1}_A]$ for every $A \in \mathcal{G}$. To see why, note that if $X$ itself is $\mathcal{G}$-measurable, then certainly $E[X \mathbf{1}_A] = E[X \mathbf{1}_A]$ for all $A \in \mathcal{G}$.

The special case $E[X \mid X]$ is just $E[X \mid \mathcal{G}]$, where $\mathcal{G}$ is the $\sigma$-field generated by $X$, in which case $X$ is necessarily $\mathcal{G}$-measurable and hence $E[X \mid X] = X$ (almost surely).

$\endgroup$
  • 3
    $\begingroup$ I think the OP is trying to fit $f_{X\mid Y}(x\mid y) = \displaystyle\frac{f_{X,Y}(x,y)}{f_Y(y)}$ to the case when $Y$ is the same as $X$, and then wanting to determine $E[X\mid X]$ from the conditional density $f_{X\mid X}$. $\endgroup$ – Dilip Sarwate Jan 20 '17 at 22:11
  • $\begingroup$ @DilipSarwate you are right. I still confused about how to define fX∣X $\endgroup$ – zqzwxec11 Jan 21 '17 at 13:53
  • 1
    $\begingroup$ @zqzwxec11 The point of my answer is that you don't need to consider densities or probability mass functions to conclude that $E[X \mid X] = X$. The formula holds for all random variables with finite mean, even random variables that are neither discrete nor continuous. $\endgroup$ – Artem Mavrin Jan 22 '17 at 2:03

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.