## Product Measures

We continue as yesterday, considering the two -finite measure spaces and , and the product measure space .

Last time we too a measurable set and defined the functions and . We also showed that

That is, for every measurable we can define the real number

I say that this function is itself a -finite measure, and that for any measurable rectangle we have . Since measurable rectangles generate the -ring , this latter condition specifies uniquely.

To see that is a measure, we must show that it is countably additive. If is a sequence of disjoint sets then we calculate

where we have used the monotone convergence theorem to exchange the sum and the integral.

We verify the -finiteness of by covering each measurable set by countably many measurable rectangles with finite-measure sides. Since the sides’ measures are finite, the measure of the rectangle itself is the product of two finite numbers, and is thus finite.

We call the measure the “product” of the measures and , and we write . We thus have a -finite measure space that we call the “cartesian product” of the spaces and .

Professor Armstrong,

I think that Feynman’s path integrals of quantum field theory might provide the kind of product measures that we were discussing although I am not so sure how rigorous they are considered to be mathemnatically. I wished to email this note to you, but I could not figure out where to find your email. It is probably not posted.

Comment by Hamid | July 25, 2010 |

They’re completely unrigorous, mathematically; that’s the whole issue with them! The path-integral is a wonderful

heuristic, that can beinterpretedin many cases to give a mathematically-sensible statement.But in general there is no known coherent analogue of something like Lebesgue measure on function spaces — no way to “integrate over all paths” as the plain reading of the path-integral formulation suggests. Finding a universally-applicable interpretation of the path-integral heuristic instead of problem-specific ad hoc methods is the single greatest puzzle of mathematical physics.

Comment by John Armstrong | July 25, 2010 |

[...] of . Now if we have a measure on and Lebesgue measure on the Borel sets, we can define the product measure on . Since we know and are both measurable, we can investigate their measures. I assert [...]

Pingback by The Measures of Ordinate Sets « The Unapologetic Mathematician | July 26, 2010 |

[...] and Iterated Integrals Let and be two -finite measure spaces, and let be the product measure on [...]

Pingback by Double and Iterated Integrals « The Unapologetic Mathematician | July 27, 2010 |

[...] We continue our assumptions that and are both -finite measure spaces, and we consider the product space [...]

Pingback by Fubini’s Theorem « The Unapologetic Mathematician | July 28, 2010 |

I can suggest to see the following papers where can be found constructions of partial analogs of Lebesgue measure on some function spaces. There are

1) Baker, R., “Lebesgue measure” on $R\sp \infty$. Proc. Amer.

Math. Soc., 113(4) (1991), 1023–1029.

2) Baker, R., “Lebesgue measure” on $\Bbb R\sp \infty$. II.Proc. Amer. Math. Soc., 132(9), (2004), 2577–2591

3) Pantsulaia,G., On ordinary and Standard Lebesgue Measures on $R^{\infty}$, Bull. Polish Acad. Sci.73(3) (2009), 209-222.

4) Pantsulaia,G., On a standard product of an arbitrary family of sigma-finite Borel measures with domain in Polish spaces, Theory Stoch. Process, vol. 16(32), 2010, no 1, p.84-93.

Comment by Gogi Pantsulaia | December 17, 2010 |