1
$\begingroup$

I want to show that the lebesgue measure is $\sigma$-finite on the following;

  • $C_\mathrm{open} = \{ A \subset \mathbb{R} : A\,\,\mathrm{open}\}$

  • $C_\mathrm{closed} = \{ B \subset\mathbb{R}: B\,\,\mathrm{closed}\}$.

Usually, for example for $C = \{(a,b): -\infty\leq a\leq b\leq \infty \}$ I took the interval $(-i,i)$ and used infinite unions etc to write it as half open so that I could take the lebesgue measure of it, and then saw that the lebesgue measure was $2i$ which is finite as $i<\infty$ , but in this case I dont know how to take elements of these sets?

  • 2
    What is your definition of $\sigma$-finiteness? Usually, it is defined as a property of a measure space, not a collection of sets.2012-05-20
  • 0
    Do you want to write $\Bbb R$ as countable union of open/closed sets of finite measure?2012-05-20
  • 0
    By the way, welcome to math.SE. Please consider read the FAQ to pick some LaTeX tips. Learn LaTeX is always a good thing.2012-05-20

1 Answers 1

1

Well $(-i,i)$ is open, so what you did is right: $\mathbb R = \bigcup_{i \in \mathbb N} (-i,i)$.

Similarly, $\mathbb R = \bigcup_{i \in \mathbb Z} [i, i+ 1]$.

If this is not what you asked, let me know and I'll adapt my answer.

  • 0
    Well, in my lectures, we are told 2 different sets; C={(a,b):−∞≤a≤b≤∞} and C open ={A⊂R:Aopen} so is the difference here just that if A is a subset of the reals and A is open, then every set in A takes the form of (a,b) where −∞2012-05-20
  • 0
    @Rosie Not every set in $C_{open}$ is of the form $(a,b)$. For example, $(a,b) \cup (c,d)$ is an open set not of this form. Similarly for $C_{closed}$.2012-05-20
  • 0
    You have $C \subset C_{open}$ but not $C \supset C_{open}$.2012-05-20
  • 0
    Ah thankyou! So it's still appropriate to take (-i,i) for C open like I did for C isn't it? And for C closed [-i,i] ?2012-05-20
  • 0
    @Rosie Yes to both : )2012-05-20