Borel $\sigma$-algebra of the real line

This page is a provisional page - see the notice at the bottom for more information

Definition

Let $(\mathbb{R},\mathcal{O})$ denote the real line considered as a topological space. Recall that the Borel $\sigma$-algebra is defined to be the $\sigma$-algebra generated by the open sets of the topology, recall that $\mathcal{J}$ is the collection of all open sets of the space. Thus:

• $\mathcal{B}(\mathbb{R}):\eq\sigma(\mathcal{O})$
  • where $\sigma(\mathcal{G})$ denotes the $\sigma$-algebra generated by $\mathcal{G}$, a collection of sets.

This is often written just as $\mathcal{B}$, provided this doesn't lead to ambiguities - this is inline with: $\mathcal{B}^n$, which we use for the Borel $\sigma$-algebra on $\mathbb{R}^n$

Other generators

Let $\mathbb{M}$ denote either the real numbers, $\mathbb{R}$, or the quotient numbers, $\mathbb{Q}$ (to save us writing the same thing for both $\mathbb{R}$ and $\mathbb{Q}$, then the following all generate $\mathcal{B}(\mathbb{R})$:

1. $\{(-\infty,a)\ \vert\ a\in\mathbb{M}\}$
2. $\{(-\infty,b]\ \vert\ b\in\mathbb{M}\}$
3. $\{(c,+\infty)\ \vert\ c\in\mathbb{M}\}$
4. $\{[d,+\infty)\ \vert\ d\in\mathbb{M}\}$
5. $\{(a,b)\ \vert\ a,b\in\mathbb{M}\}$
6. $\{[c,d)\ \vert\ c,d\in\mathbb{M}\}$
7. $\{(p,q]\ \vert\ p,q\in\mathbb{M}\}$^Suspected:
8. $\{[u,v]\ \vert\ u,v\in\mathbb{M}\}$^Suspected:
9. $\mathcal{C}$ - the closed sets of $\mathbb{R}$
10. $\mathcal{K}$ - the compact sets of $\mathbb{R}$

Proofs

• 1, 2, 3 and 4: - the collection of all open and closed rays based at either rational or real points generate the Borel sigma-algebra on R
• 5: - the open rectangles with either rational or real points generate the same sigma-algebra as the Borel sigma-algebra on R^n
• 6: - the closed-open rectangles with either rational or real points generate the same sigma-algebra as the Borel sigma-algebra on R^n
• 7: - Warning:Suspected from proof on paper of $6$
• 8: - Warning:Suspected by
• 9: - the sigma-algebra generated by the closed sets of R^n is the same as the Borel sigma-algebra of R^n
• 10: - the sigma-algebra generated by the compact sets of R^n is the same as the Borel sigma-algebra of R^n

Grade: A*

This page requires some work to be carried out

Some aspect of this page is incomplete and work is required to finish it
The message provided is:

* Tidy up the proofs section, work on resolving 7 and especially 8, also

• maybe write $\mathcal{C}:\eq\{A\in\mathcal{P}(\mathbb{R})\ \vert\ A\text{ is closed }\}$ or something to give it a more clear definition for 9 and 10 Alec (talk) 22:15, 26 February 2017 (UTC)

References

Provisional page grade: A*

This page is provisional

This page is provisional and the information it contains may change before this notice is removed (in a backwards incompatible way). This usually means the content is from one source and that source isn't the most formal, or there are many other forms floating around. It is on a to-do list for being expanded.The message provided is:

There is a crappy and ancient page:

• Borel sigma-algebra

If we split it into two:

1. This
2. Borel sigma-algebra of R^n

then get rid of it / replace with disambiguation page (means either of these two) then job done Alec (talk) 22:20, 26 February 2017 (UTC)