Results 1 to 2 of 2

Math Help - Borel set

  1. #1
    MHF Contributor Siron's Avatar
    Joined
    Jul 2011
    From
    Norway
    Posts
    1,250
    Thanks
    20

    Borel set

    How does one show the following ( \mathcal{R} denotes the one-dimensional Borel-set):
    \mathcal{R} = \sigma(\mathcal{A})
    with \mathcal{A}=\{]a,b]|a,b \in \mathbb{Q}, a < b\}\cup {\emptyset}

    I know that \mathcal{R}= \sigma(\{]a,b]|-\infty<a\leq b<\infty\}) so I think \mathcal{A} \subseteq \mathcal{R} and if I can show that \mathcal{A} is a \pi- systeme it follows by the \pi-\lambda theorem that \sigma(\mathcal{A})\subset \mathcal{R}.

    I could do the reverse implication the same way but then I need to prove that \{]a,b]|-\infty<a\leq b<\infty\} \subset \sigma(\mathcal{A}), but I'm struggling with this implication.

    Anyone?
    Thanks in advance.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Super Member
    Joined
    Dec 2012
    From
    Athens, OH, USA
    Posts
    712
    Thanks
    297

    Re: Borel set

    Hi,
    The attachment answers your problem. I just noticed you used ]a,b] for the set {x : a < x <= b}; I used (a,b] for the same set.

    Borel set-mhfborelsets.png
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Borel sets
    Posted in the Differential Geometry Forum
    Replies: 5
    Last Post: March 3rd 2011, 04:54 PM
  2. Borel sets
    Posted in the Differential Geometry Forum
    Replies: 0
    Last Post: October 31st 2010, 11:14 AM
  3. Borel measurable
    Posted in the Advanced Statistics Forum
    Replies: 0
    Last Post: September 30th 2010, 06:34 AM
  4. borel set
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: April 10th 2010, 03:03 PM
  5. borel measurability
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: May 27th 2008, 10:22 AM

Search Tags


/mathhelpforum @mathhelpforum