Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

My question is relatively simple: what is a product $\sigma$-algebra? And why they are important?

Can anyone suggest any links of intuitive (possibly with simple figures) explanations? Or, maybe someone can explain it. Thanks.

share|cite|improve this question
up vote 3 down vote accepted

They are important because they are necessary for the most correct statements of the Tonelli and Fubini theorems.

I'm not sure there is a natural way of thinking about it. Do you have an intuition for how open sets in $X \times Y$ look when you know what basic open sets in $X$ and $Y$ look like? Even though basic open sets in $X \times Y$ are "rectangles", there can still be "open disks" in $X \times Y$.

The situation for $\sigma$-algebras is similar, but even uglier. That is the product $\sigma$-algebra $\mathbb E \otimes \mathbb F$ on $X \times Y$ when $(X,\mathbb E)$ and $(Y,\mathbb F)$ are measurable spaces is the smallest $\sigma$-algebra containing $\{A \times B \subseteq X\times Y \mathrel| A \in\mathbb E,\thinspace B \in \mathbb F\}$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.