CHIC 465/565 – Environmental Epidemiology

Appendix A Miscellaneous Results

Theorem A.1.

Let X and Y be random variables with probability densities π⁢(x) and π⁢(y) respectively. The Tower Law for expectations states:

𝔼⁢(X)=𝔼⁢[𝔼⁢(X|Y)].

This the most common way that the theorem is stated, however, to make things more clear, we can make explicit the distributions over which the expectations are taken:

𝔼X⁢(X)=𝔼Y⁢[𝔼X|Y⁢(X|Y)]

Proof:

The proof of this theorem is straightforward and involves expanding the definition of the expectation:

𝔼X⁢(X) = ∫x⁢π⁢(x)⁢dx
= ∫x⁢{∫π⁢(x,y)⁢dy}⁢dx
= ∫{∫x⁢π⁢(x|y)⁢π⁢(y)⁢dy}⁢dx
= ∫{∫x⁢π⁢(x|y)⁢π⁢(y)⁢dx}⁢dy
= ∫π⁢(y)⁢{∫x⁢π⁢(x|y)⁢dx}⁢dy

Hence

𝔼X⁢(X)=𝔼Y⁢[𝔼X|Y⁢(X|Y)].

□