Does E[X] = 0 Imply That E[Y/X] = 0?

  • Thread starter Thread starter areslagae
  • Start date Start date
AI Thread Summary
E[X] = 0 does not imply that E[Y/X] = 0, even when Y is independent of X. The relationship E[Y/X] = E[Y]E[1/X] indicates that additional information about the distributions of X and Y is necessary to determine the outcome. If X is symmetric and E[X] = 0, it raises questions about the existence of E[1/X], particularly if 0 is a possible value for X. The symmetry of the PDF of X around zero suggests that E[1/X] could also be symmetric, but this is contingent on excluding zero from the possible values of X. Thus, without further constraints, the assertion remains unresolved.
areslagae
Messages
11
Reaction score
0
E[x] = 0 => e[y/x] = 0 ? (division, not cond prob)

I have E[X] = 0.

Does this imply that E[Y/X] = 0, for Y independent of X?

 
Last edited:
Physics news on Phys.org
Write out the joint distribution, find the required marginal distribution, and check. (No, you don't need to know the specific forms of the distributions.)
 
areslagae said:
I have E[X] = 0.

Does this imply that E[Y/X] = 0, for Y independent of X?
If Y is independent of X, then E(Y/X) = E(Y)E(1/X), so you really don't know what the result is unless you have more information about the distributions of X and Y.
 
Okay, my old eyes may be guilty of misreading the OP.

Does E[Y/X] mean

<br /> E[\frac Y X]<br />

(Y divided by X)

or is it

<br /> E[Y \mid X]<br />

(expected value of Y GIVEN X)?

My response was made under the assumption that a conditional expectation was desired. If that is not the case, I'm not sure any other answer could possibly be more incomplete or incorrect than mine.
 
I actually mean division.

So, if E[X] = 0, does E[Y/X] = 0 follow, for Y independent of X?

Additionally, I have that X is symmetric.

Intuitively, it seems that this does hold.

E[Y/X] = E[Y] E[1/X] (X and Y are independent)

So, it remains to be shown that, if E[X]=0, and X is symmetric, then E[1/X]=0.

Is this trivial? Since the PDF of X is symmetric around 0, the PDF of 1/X will be symmetric around zero. Is this argument correct?
 
Last edited:
If you exclude an interval around 0 for possible values of X, then the symmetry will work. However if 0 is a possible value for X, E(1/X) may not exist.
 
Last edited:
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top