Why is the following true? (Conditional expectation)

65 Views Asked by At

In the book I'm reading, it says, :

consider a gambler who plays a sequence of fair games. Let Xi be the amount the gambler wins on the ith game (Xi is negative if the gambler loses), and let Zi be the gambler’s total winnings at the end of the ith game. Because each game is fair, E[Xi] = 0 and E[ Zi+1 |X1,X2,...,Xi]=Zi +E[Xi+1]= Zi.

Since game is fair, E[Xi] = 0 is clear to me.

Intuitively, E[ Zi+1 |X1,X2,...,Xi]=Zi +E[Xi+1]= Zi makes sense as winnings after i+1th game is simply the sum of earnings till ith game, plus expected earning in i+1th round. But how do I formally prove this? Note that this proves Zi is a martingale.