## Borel Sets on R^n

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Define the Borel sigma-algebra on R^n as the smallest sigma-algebra containing all n-rectangles (a1, b1) x...x (an, bn).

Is it true that the Borel sigma algebra contains all sets of the form A1 x...x An, where each Ai is some Borel set in R ?

I thought this would be trivially true, but I had a lot of trouble trying to prove it, and I'm not even sure its true anymore.

If this is a well-known result, could you please refer me to a text where it has been (dis)proved ?

-

## 1 Answer

A way to prove it: 1/ any set of the form $A_1 \times \mathbb R \ldots \times \mathbb R$, where $A_1$ is Borel, or more generally a "Borel rectangle" with only one slice not equal to the whole space, is in the Borel sigma-algebra (this is essentially a 1-dimensional Borel set, and those are generated by open intervals). 2/ any product $A_1 \times \ldots \times A_n$ (with each $A_i$ Borel) is a finite intersection of sets of the above form.

Not sure I should have answered this, it may be a homework problem... I'd have just written a comment but I'm not reputable enough to do so :)

Any standard reference on measure theory will provide a proof of the result you're asking about (say, Dudley's book).

-
No, this wasn't a homework problem. I've been wondering whether B(R^n) should be defined as the smallest sigma algebra containing all rectangles, or the smallest sigma algebra containing all products of Borel sets in R. I was trying to prove that these are equivalent, and getting worried that I couldn't and I was getting stuck trying to do step 1 as you suggested. Ok, just need to try harder then... – Cosmonut Sep 15 2010 at 11:15
When considering more general sigma algebras both definitions might not coincide - the reasonable definition is the first one (smallest sigma-algebra containing the open sets, so the usual definition of Borel sigma-algebra in a topological space), while the second definition would be a good way to define the product of sigma algebras. So in that case what you wanted is to show "the Borel sigma-algebra on the product space is equal to the product of the Borel sigma-algebras". – Julien Melleray Sep 15 2010 at 12:35
Ok, done. Proved Step 1, with the standard trick of: - Consider all sets of the form A1 x R^(n-1) which belong to Borel sets of R^n, where A1 is a set in R - Showed that was a sigma algebra - Since (a, b) x R^(n-1) is in Borel sets of R^n, A1 can any Borel set of R. Thanks for the help and the addendum. – Cosmonut Sep 16 2010 at 8:44

1
@Julien: As far as I can see, this is a different problem. In general, the $\sigma$-algebra generated by rectangles may be smaller than the $\sigma$-algebra generated by products of Borel sets (i.e., the product $\sigma$-algebra), since Borel (or open) sets in the original space are not necessarily generated by intervals (assuming the the space is linearly ordered so that it at least makes sense). On the other hand, the $\sigma$-algebra generated by open sets (i.e., the Borel algebra in the product) may be larger than the product $\sigma$-algebra, since ... – Emil Jeřábek Aug 17 2011 at 11:09

1
... in general an open set need not be a countable union of rectangles (or products of Borel sets, for that matter). So we are discussing three different $\sigma$-algebras. – Emil Jeřábek Aug 17 2011 at 11:12
show 1 more comment
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 10, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9343901872634888, "perplexity_flag": "head"}