1
$\begingroup$

Under the topic of Metric spaces in my measure theory book I came across this definition that says: "Denote by $B$ the $\sigma$-ring generated by the class of all the open sets of X. The sets of $B$ are called Borel-sets."

"Note that $B$ coincides with the $\sigma$-algebra generated by the open sets of X."

I saw a nice example about a sigma-algebra being generated, but this note I don't really get, also maybe because I'm not sure how to generate a sigma-ring.

Thanks for any hint or tip!

$\endgroup$

1 Answer 1

1
$\begingroup$

Let $B$ denote the $\sigma$-ring generated by the open sets and $C$ the $\sigma$-algebra generated by them. Obviously $B \subseteq C$, it suffices to show that $X \in B$, as a $\sigma$-ring containing the base set is a $\sigma$-algebra. But $X$ is open.

$\endgroup$
3
  • $\begingroup$ thanks, that made it more clear. One follow up: what do you mean by $\sigma$-ring containing the "base set" is a $\sigma$- algebra. what is meant by base set. $\endgroup$
    – uhoenig
    Commented Oct 7, 2013 at 17:04
  • 1
    $\begingroup$ A $\sigma$-algebra on a set $X$ is ... I didn't find a better name for $X$ $\endgroup$
    – martini
    Commented Oct 7, 2013 at 17:10
  • $\begingroup$ oh my bad. all good :) $\endgroup$
    – uhoenig
    Commented Oct 7, 2013 at 17:11

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .