Borel [ilmath]\sigma[/ilmath]-algebra of the real line

From Maths
Jump to: navigation, search
This page is a provisional page - see the notice at the bottom for more information

Definition

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

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

Other generators

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

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

Proofs

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 [ilmath]\mathcal{C}:\eq\{A\in\mathcal{P}(\mathbb{R})\ \vert\ A\text{ is closed }\} [/ilmath] or something to give it a more clear definition for 9 and 10 Alec (talk) 22:15, 26 February 2017 (UTC)

See next

See also

Notes

  1. Traditionally we use [ilmath]\mathcal{J} [/ilmath] for the topology part of a topological space, however later in the article we will introduce [ilmath]\mathscr{J} [/ilmath] in several forms, so we avoid [ilmath]\mathcal{J} [/ilmath] to avoid confusion.
  2. This means that if [ilmath]A[/ilmath] is any of the families of sets from the list, then:
    • [ilmath]\mathcal{B}(\mathbb{R})\eq\sigma(A)[/ilmath].
  3. I have proved form [ilmath]6[/ilmath] before, the order didn't matter there
  4. 4.0 4.1 Take: [math]\bigcup_{n\in\mathbb{N} }[a+\frac{\epsilon}{n},b-\tfrac{\epsilon}{n}][/math], with a little effort one can see this [ilmath]\eq(a,b)[/ilmath] - for carefully chosen [ilmath]\epsilon[/ilmath]

References

  1. 1.0 1.1 1.2 1.3 1.4 1.5 1.6 1.7 Measures, Integrals and Martingales - René L. Schilling
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:

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)