The rest of the chapter on -algebras goes through the construction of various other measurable spaces such as those on the space of 1) continuous functions, 2) functions continuous on the right, and 3) direct products of measurable spaces. The next chapter introduces methods of introducing probability measures on measurable spaces.
The way we do this is to start with a distribution function from which we derive a unique probability measure where . Here is a problem.
Let , then verify that .
Verify that where .
The proof for the following are similar: , , and .