Is E(A+B|C) Equal to E(A|C) + E(B|C)?

AI Thread Summary
The equation E(A+B|C) = E(A|C) + E(B|C) is verified as true under the definition of conditional expectation. The discussion clarifies that this property holds in the discrete case, where the sums of the expectations can be manipulated to show equality. The participants emphasize the importance of understanding the definitions and properties of conditional expectation to support this conclusion. The conversation confirms that the equation is not merely a homework question but a fundamental property in probability theory. Thus, E(A+B|C) indeed equals E(A|C) + E(B|C).
CantorSet
Messages
44
Reaction score
0
Hi everyone,

I have a feeling the following property is true but I can't find it stated in any textbook/online reference. Maybe it's not true... Can someone verify/disprove this equation?

E(A+B|C) = E(A|C) + E(B|C)
 
Physics news on Phys.org
CantorSet said:
Hi everyone,

I have a feeling the following property is true but I can't find it stated in any textbook/online reference. Maybe it's not true... Can someone verify/disprove this equation?

E(A+B|C) = E(A|C) + E(B|C)

Is this a homework question?

Regardless of your answer, what do you know about the definition of expectation and in particular conditional expectation?
 
If you mean E((A+B)|C) by E(A+ B|C) , yes.
 
chiro said:
Is this a homework question?

Regardless of your answer, what do you know about the definition of expectation and in particular conditional expectation?

It's not a homework question.

By definition of conditional expectation, we have in the discrete case
E(A|C=c) = \sum_{a} a P(A=a|C=c)

E(B|C=c) = \sum_{b} b P(B=b|C=c)

E((A+B)|C=c) = \sum_{a,b} (a+b) P(A=a,B=b|C=c)

It doesn't seem like the sum of the first two should equal the last. But maybe my sum formula for the last one is wrong.
 
We should be able to make progress in simplifying:
CantorSet said:
E((A+B)|C=c) = \sum_{a,b} (a+b) P(A=a,B=b|C=c)
because proving E(A+B) = E(A) + E(B) would involve dealing with a similar equation.

\sum_{a,b}(a+b) P(A=a,B=b|C=c) = \sum_{a,b}a P(A=a,B=b|C=c) + \sum_{a,b} b P(A=a,B=b|C=c)

= \sum_a \sum_b a P(A=a,B=b|C=c) + \sum_a \sum_b b P(A=a,B=b|C=c)

= \sum_a a \sum_b P(A=a,B=b|C=c) = \sum_b b \sum_a P(A=a,B=b|C=c)

= \sum_a a P(A=a|C=c) + \sum_b b P(B=b|C=c)
 
Stephen Tashi said:
We should be able to make progress in simplifying:

because proving E(A+B) = E(A) + E(B) would involve dealing with a similar equation.

\sum_{a,b}(a+b) P(A=a,B=b|C=c) = \sum_{a,b}a P(A=a,B=b|C=c) + \sum_{a,b} b P(A=a,B=b|C=c)

= \sum_a \sum_b a P(A=a,B=b|C=c) + \sum_a \sum_b b P(A=a,B=b|C=c)

= \sum_a a \sum_b P(A=a,B=b|C=c) = \sum_b b \sum_a P(A=a,B=b|C=c)

= \sum_a a P(A=a|C=c) + \sum_b b P(B=b|C=c)
Thanks.
 
I was reading a Bachelor thesis on Peano Arithmetic (PA). PA has the following axioms (not including the induction schema): $$\begin{align} & (A1) ~~~~ \forall x \neg (x + 1 = 0) \nonumber \\ & (A2) ~~~~ \forall xy (x + 1 =y + 1 \to x = y) \nonumber \\ & (A3) ~~~~ \forall x (x + 0 = x) \nonumber \\ & (A4) ~~~~ \forall xy (x + (y +1) = (x + y ) + 1) \nonumber \\ & (A5) ~~~~ \forall x (x \cdot 0 = 0) \nonumber \\ & (A6) ~~~~ \forall xy (x \cdot (y + 1) = (x \cdot y) + x) \nonumber...
Back
Top