# E(x / Y)

1. Jun 22, 2007

### DLS

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

2. Jun 23, 2007

### 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?

3. Jun 23, 2007

### DLS

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

4. Jun 23, 2007

### EnumaElish

5. Jun 23, 2007

### 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.

6. Jun 23, 2007

### 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.

#### Attached Files:

• ###### indep-proof.pdf
File size:
44.3 KB
Views:
435
7. Jun 23, 2007

### ZioX

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

8. Jun 24, 2007

### DLS

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