Whilst not specific to stochastic processes, the following theorem will be central to how analyse a number of stochastic processes during the course.
For random variables and ,
Illustration. Suppose is income and is age for a certain population. The idea of average (or expected) income is straight forward. So is the idea of the expected income for a given age - a conditional expectation, formed from the conditional distribution of income given age. If this conditional expectation of income is then averaged over age, we will just get the expected income in the whole population. This may seem indirect, but conditional distributions are useful for characterising populations. We shall find this simple result very useful.
Assume we have 5 people, two in their twenties who earn and per week;
and 3 in their thirties who earn , and per week.
Let denote income in pounds per week, and denote age ( denotes in twenties; denotes
in thirties) of a randomly chosen person.
So
Check this is :
For discrete variables, assuming that and have a joint distribution:
so that the marginal distribution of is
and the conditional distribution of given is
Then the conditional expectation of given is formed from this as
the value depending on the value of . Now form the expectation of this quantity with respect to the distribution of , to get:
∎
Calculate the expectation of the number of times you need to toss a fair coin until you first throw a head. Remember to condition on the outcome of the first toss.
Let be the time until the first head and be the outcome of the first throw.
If we consider an event and random variable
We interpret the right-hand side as