Conditional expected value
Given an event
Let
where
Properties
- If
partition{ π΄ π } π π = 1 thenπ πΌ β‘ [ π ] = β π π = 1 πΌ β‘ [ π β£ π΄ π ] β ( π΄ π )
Given a random variable
Let
Properties
Let
- If
andπ are independent, thenπ πΌ β‘ [ π β£ π ] = πΌ β‘ [ π ] - For any function
we haveβ : β β β πΌ β‘ [ β ( π ) π β£ π ] = β ( π ) πΌ β‘ [ π β£ π ] - Linearity:
πΌ β‘ [ π π 1 + π π 2 β£ π ] = π [ π 1 β£ π ] + π πΌ β‘ [ π 2 β£ π ] - Adamβs law:
πΌ β‘ [ π ] = πΌ β‘ [ πΌ β‘ [ π β£ π ] ] - Adamβs law with extra conditioning:
πΌ β‘ [ πΌ β‘ [ π β£ π , π ] β£ π ] = πΌ β‘ [ π β£ π ] - Projection interpretation of conditional expected value