Deriving Expectations from Formulas: (y1,y2) Distribution

  • Thread starter Thread starter electronic engineer
  • Start date Start date
  • Tags Tags
    Formulas
AI Thread Summary
The discussion revolves around deriving expectations from a given distribution of discrete pairs (y1, y2) with specific probabilities. It is established that E{y1^2*y2^2} equals 0 because the product y1^2*y2^2 is always 0 for the specified pairs. The expectation E{y1^2} is calculated as 0.5, given the values of y1, and thus E{y1^2}*E{y2^2} results in 1/4. Participants clarify that the informal reasoning is sufficient for understanding the expectations derived from the distribution. The conversation emphasizes the importance of recognizing the behavior of the variables in calculating expectations.
electronic engineer
Messages
145
Reaction score
3
Hello,
we have the following example:

Assume that (y1,y2) are discrete valued and follow such a distribution that the pair are with probability 1/4 equal to any of the following cases: (0,1),(0,-1),(1,0),(-1,0) .


E{y1^2*y2^2}=0
E{y1^2}*E{y2^2}=1/4
I don't understand how the expectations were derived . Could anyone help?

Thanks in advanced!
 
Last edited:
Physics news on Phys.org
Hello electronic engineer! :smile:

(try using the X2 and X2 icons just above the Reply box :wink:)
electronic engineer said:
E{y1^2*y2^2}=0
E{y1^2}*E{y2^2}=1/4

easy! … y12y22 is always 0, isn't it, so its expectation must be 0

and y12 is 0 0 1 and 1 with probability 0.25 each, so its expectation is 0.5 :wink:
 
I know but I thought this is only an informal answer :)
 
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