CHAPTER 10
PRODUCT MEASURES
Product measures are measures defined on the product of several measurable spaces. Fubini’s theorem gives conditions under which we can evaluate integrals with respect to product measures by computing iterated integrals. In this chapter, we present the definition of product measures and Fubini’s theorem.
10.1 Basic Concepts and Facts
Definition 10.1 (Cartesian Product). Let S1 and S2 be two sets. The Cartesian product of S1 and S2 is a set defined as
Definition 10.2 (Measurable Rectangle). Let (S1, ∑1) and (S2, ∑2) be two measurable spaces. Let S = S1 × S2 be the Cartesian product of S1 and S2. A measurable rectangle in the product space S is a product A1 × A2 for which A1 
∑1 and A2 ∑2.
Definition 10.3 (Product σ-Algebra). Let (S1, ∑1) and (S2, ∑2) be two measurable spaces. The product σ-algebra ∑ 
∑2 (∑1 
∑2 is not a Cartesian product in the usual sense.) is defined as the σ-algebra generated by all measurable rectangles in the product space S1 × S2:
Definition ...
Get Measure, Probability, and Mathematical Finance: A Problem-Oriented Approach now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
