0

In one book, the Lebesgue measure is said to possess the following properties:

1) the measure of any measurable set can be approximated from above by open sets; that is, for any measurable M

$\mu(M) = inf \{ \mu(O): M \subset O, O$ is open}

2) the measure of any measurable set can be approximated from below by compact sets; that is, for any measurable M

$\mu(M) = sup \{ \mu( C ): C \subset M, C$ is compact}

Can any one provide a very simple example of this property? I don't know much about real analysis.

nayriz
  • 281

1 Answers1

2

The most simple set should be $M = \emptyset$, which is both open and compact, so it is clear that your two statements hold.

But let me give you another simple but somewhat less trivial example: $M = [0,1)$, which is neither compact nor open. Then you get

$$\mu(M) = \inf\{\mu(O) : M \subset O, O \text{ open}\} \\ \le \inf\left\{\mu\left(\left(-\frac{1}{k},1\right)\right) : k \in \mathbb{N}\right\} = \inf\left\{1+\frac{1}{k} : k \in \mathbb{N}\right\} = 1$$

and $$ \mu(M) = \sup\{\mu(C) : M \supset C, C \text{ compact}\} \\ \ge \sup\left\{\mu\left(\left[0,1-\frac{1}{k}\right]\right) : k \in \mathbb{N}\right\} = \sup\left\{1-\frac{1}{k} : k \in \mathbb{N}\right\} = 1. $$

Combined: $$ 1 \le \mu(M) \le 1 \Rightarrow \mu(M) = 1.$$

The trick is just instead of calculating the infimum and supremum of all maps in question, one can get and upper and lower bound by calculating the infimum and supremum only for a sequence of sets, whose "limit" is $M$ (note that "limit" should be seen as a colloquial word here as it is unnecessary for our purpose to create a metric space of sets or sth. similar for a formal definition of "limit" first). If the upper and lower bounds are the same, one has successfully calculated $\mu(M)$.

PS: I am sure there exist more complicated and interesting examples, but you directly asked for a very simple one.

Keba
  • 2,485
  • 13
  • 28
  • If this answers your question, feel free to accept it. If not, please ask for further information. – Keba Mar 04 '14 at 00:11