AbstractThe construction, from a consistent family of finite dimensional probability measures, of a probability measure on a product space when the marginal measures are perfect is shown to follow from a classical theorem due to Ionescu Tulcea and known results on the existence of regular conditional probability functions.
This chapter defines probability measures and probability spaces in a general context, as a case of the concepts introduced in Chapter 3. The axioms of probability are explained, and the important concepts of conditional probability and independence are introduced and linked to the role of product spaces and product measures.
Uniform properties of the functor Iof idempotent probability measures with compact support are studied. It is proved that this functor can be lifted to the category Unif of uniform spaces and uniformly continuous maps