Processing math: 100%

Sunday, June 2, 2013

1.27

Since E_1 and E_2 are compact sets in \mathbb{R}^d, certainly E_2 \backslash E_1 is a bounded and measurable. For any t > 0, The sets (E_2 \backslash E_1) \cap \overline{B_{t}(0)} are also bounded and measurable. For simplicity's sake, from here on out, let's say:

S_t = (E_2 \backslash E_1) \cap \overline{B_{t}(0)} Define f(t) = m(S_t). If I can prove f is a continuous function, we're done --(by the intermediate value theorem).

Side note: Notice the function g(t) = \alpha t^d is continuous, but not uniformly continuous. (\dagger)

Let 0 \leq \tau < t. Notice |f(t) - f(\tau)| = |m(S_t) - m(S_\tau)|.

Certainly, S_\tau \subset S_t, thus:.

|m(S_t) - m(S_\tau)| = m(S_t) - m(S_\tau) = m(S_t \backslash S_\tau) Now, notice that (S_t \backslash S_\tau) \subset \overline{B_t(0)} \backslash \overline{B_\tau(0)} so: m(S_t \backslash S_\tau) \leq m(\overline{B_t(0)} \backslash \overline{B_\tau(0)}) \leq \alpha(d)\big(t^d - \tau^d) where \alpha(d) = \frac{\pi^{\frac{d}{2}}}{\Gamma(\frac{d}{2} + 1)}, the volume of the d-dimensional unit ball. (Recall we proved the relation between B_1 and B_t in problem 6 of this chapter.) Thus, by \dagger, |t - \tau| < \delta \Rightarrow \alpha(d)\big(t^d - \tau^d) \leq \epsilon(t) Therefore, f is a continuous function, and by the IVT, given any c with a < c < b, we can find a t^* > 0 such that m(E) = m\big(E_1 \cup S_{t^*}\big) = c, where E_1 \cup S_{t^*} is compact (by construction).

1 comment: