9
$\begingroup$

In non-rigorous, intuitive terms, can someone briefly define:

(i) a measurable set

(ii) a borel set

(iii) a sigma algebra

(iv) a borel sigma algebra

Im studying these concepts independently in preparation for a course in the fall and want to make sure I have a functional intuitive idea before learning them rigorously. Im not looking for references to textbooks, or textbook definitions, just a quick intuitive description from someone who is familiar.

1 Answers 1

8

A $\sigma$-algebra is, like a topology, a set of subsets of some space $X$. It's both bigger and smaller than a topology, though: smaller, because it's only required to be closed under countable unions, instead of all unions, but bigger, because it's also closed under complementation, and thus by de Morgan's law, countable intersections. So it's both the open and closed sets you'd get starting from the base of a topology if you only took countable unions but also allowed countable intersections.

A measurable set is just an element of some $\sigma$-algebra on $X$. The content comes in when you define measures, which are functions from the $\sigma$-algebra to $[0,\infty]$ that satisfy a few obvious properties of a generalization of length.

The Borel algebra on some topological space $X$ is the $\sigma$-algebra generated by its topology: take all the closed and open sets, countable unions and intersections of those, complements of those, countable unions and intersections of those, and so on. A Borel set is just an element of the Borel algebra.

Note in this case what I said about a $\sigma$-algebra being smaller than a topology does not hold at all! The Borel algebra is important specifically because it's the smallest $\sigma$-algebra containing the topology: we obviously would like to have open and closed sets of reals measurable, and to accomplish that we've got to let at least all the Borel sets be measurable as well. You can think of the Borel sets as every reasonable set; in particular the rationals are Borel in $\mathbb{R}$ with the standard topology, though they're neither closed nor open.

  • 0
    @KevinCarlson : Hope this message gets you. I read your response here with interest, seems you're well-versed on Borel sigma-algebra. Yesterday I posted a question on Borel in this link: http://math.stackexchange.com/questions/1135884/proving-two-measures-of-borel-sigma-algebra-are-equal . FYI, this problem is very important to me. It comes from the 3rd. chapter of introductory text by Richard Bass, so solution should involve no big tools such as Dynkin's. But I didn't get any simple solution. Wondering if you have time to help me? There're other responders wanting simple solutions. Thank you!2015-02-07