0
$\begingroup$

In a problem I am asked to find $\Bbb P(X=1|\frac{X+Y}{2}=2)$, and $X$ and $Y$ are independent random variables. In a previous part of the problem I defined $X+Y$ to be $Z$. So I simplified the problem to look a little better saying $\Bbb P(X=1|Z=4)$ which by law of conditional probability would be $\frac{\Bbb P(X=1\cap Z=4)}{\Bbb P(Z=4)}$ Is it correct to say $\frac{\Bbb P(X=1)\Bbb P(Z=4)}{\Bbb P(Z=4)}$ In which can be simplified to $\Bbb P(X=1)$ Given that $X$ and $Y$ are independent and that $Z=X+Y$?

  • 0
    @Delip I'm wondering if the fact that $X$ and $Y$ are independent will mean that $X+Y$ which equals $Z$ is independent of X. I don't think I'm correct here which is why I'm asking.2012-10-28

3 Answers 3

2

Not quite, $X$ and $Z$ are not independent. To see this, note that $Y$ cannot be equally likely on all integers, so if $Y$ is more likely to be $a$ than $b$, then $\mathbb{P}(Z=0)$ is higher if $X=-a$ and lower if $X=-b$. So information about $X$ tells us about $Z$ and the two cannot be independent.

The term $\mathbb{P}(X=1 \cap Z=4)$ is equivalent to $\mathbb{P}(X=1 \cap Y=3)$ which are independent events. I don't think any further simplification can be done without knowing more about the relative distributions of $X$ and $Y$.

  • 0
    @Logan Thanks for the details. But note also that, as Henry's answer shows, $Z=X+Y$ and $X$ are dependent even if $Y$ and $X$ have identical uniform distribution on a finite set of integers, that is, your hypothesis of the distribution of $Y$ being nonuniform is really not necessary for the dependence to hold.2012-10-29
1

Suppose $X$ and $Y$ can each take each of the values $0,1,2,3$ independently with equal probabilities $\frac14$. Then $\Pr(X+Y=4)=\Pr(X=1,Y=3)+\Pr(X=2,Y=2)+\Pr(X=3,Y=1)=\frac{3}{16}.$

So $\Pr(X=1|Z=4) =\frac13$ but $\Pr(X=1)=\frac14$ is a counter-example to your assertions.

0

Note that $\mbox{Cov}(X, X + Y) = \mbox{Var}X + \mbox{Cov}(X, Y) = \mbox{Var} X$ since $X$ and $Y$ are independent. Hence, a nessecary condition for $X$ and $Z$ to be independent is that $\mbox{Var}X = 0$, i.e. $X$ is equal to some constant (almost surely). If $X$ is equal to a constant, then it is straight forward to check to that $X$ and $X + Y$ are independent, so your proposed assertion holds if and only if $X$ equal to some constant almost surely. So, in all but the most trivial of situations, your assertion does not hold.