Interactive Real Analysis - part of MathCS.org

Next | Previous | Glossary | Map | Discussion

Proposition 7.3.11: Equivalent Measurable Sets

Let f be a real-valued function with a measurable set as domain. Then the following are quivalent:
  1. the set { f(x) a } is measurable for all real numbers a
  2. the set { f(x) < a } is measurable for all real numbers a
  3. the set { f(x) a } is measurable for all real numbers a
  4. the set { f(x) > a } is measurable for all real numbers a

The proof is not too bad. Remember, we do not need to prove that any of these sets are measurable per se; we need to prove that if one of them is measurable then the others are, too.

So, assume that (1) is true. Then (4) must be true since it is the complement of (1), and we know that complements of measurable sets are measurable. This clearly works the other way around as well, so that (1) is equivalent to (4).

Again by considering complements we can see that (2) is equivelent to (3).

Finally we can explore the fact that unions and intersections of measurable sets are measurable together with:

{ f(x) < a } = n > 0 { f(x) a - 1/n }

to see that (1) implies (2). Similarly because:

{ f(x) a } = n > 0 { f(x) < a + 1/n }

we see that (2) implies (1). But then our proof is finished.

Next | Previous | Glossary | Map | Discussion