Does E(X / Y) = E(X) * E(1 / Y) ?

[DLS]

If x and y are independent, does the following relation hold: E(X / Y) =
E(X) * E(1 / Y) ?
:uhh:

 

[CompuChip]

I'll assume that E is the expectation value and X, Y are stochastic variables.
Certainly, E(X Y) = E(X) E(Y) if (and only if) X and Y are independent (Meester, A Natural Introduction to Probability Theory). So you would be done if you could prove X, Y independent => X, 1/Y independent. Can you do that?

 

[DLS]

Thanks. I don't really know how to prove that for the moment. Working on it...

 

[EnumaElish]

http://en.wikipedia.org/wiki/Expected_value

 

[CompuChip]

I did find this result in the book cited before:
(Theorem 5.6.12) Let X1, ..., Xn be independent continuous random variables and let g1, ..., gn be regular functions. Then g1(X1), ..., gn(Xn) are independent random variables, under a certain definition of regularity, which I think $$y \mapsto 1/y$$ satisfies.
If you want I can replicate the proof.

 

[CompuChip]

I typed it out anyway, it's attached as PDF.

I just put in the theorem and the proof. You should check for yourself that it indeed proves the theorem (e.g., that what is proved is equivalent to your definition independence of variables) and that what you have satisfies the conditions of the theorem (that is, $$g_1: X \mapsto X$$ and $$g_2: Y \mapsto 1/Y$$ are regular according to the given definition). Finally, you should then probably show that for independent variables the identity E(XY) = E(X)E(Y) from my first post holds, by writing out some definition.

Will that help you?

 

[ZioX]

Assuming E(1/Y) exists. I'd imagine you can find cases where it doesn't exist.

 

[DLS]

That is a nice proof. Thx. It really helps.