- #1
e(ho0n3
- 1,357
- 0
Homework Statement
Let X, Y be subsets of R and defined d(X, Y) = inf {|x - y| : x in X and y in Y}.
(i) Prove that if d(X, Y) > 0, then m*(X cup Y) = m*(X) + m*(Y)
(ii) Prove, without using any facts about measurability, that if X, Y are disjoint and compact, then m*(X cup Y) = m*(X) + m*(Y).
Homework Equations
m* is Lebesgue outer measure.
The Attempt at a Solution
Concerning (i), d(X, Y) > 0 implies that X and Y are disjoint right? But being disjoint is not enough to conclude that m*(X cup Y) = m*(X) + m*(Y).
Concerning (ii), since X and Y are disjoint, d(X, Y) > 0 and so part (i) applies and we're done. Since we're not supposed to use measurability, I imagine that (i) uses measurability so this isn't allowed. I guess I'm forced to work with the definition of outer measure. By monotonicity of m*, m*(X cup Y) ≤ m*(X) + m*(Y) so I only need to prove the reverse inequality. Let {U_n} and {V_n} be coverings of X and Y by open intervals. Then {W_n} = {U_n} cup {V_n} is an covering of X cup Y. By compactness, we can shrink each of {U_n}, {V_n} and {W_n} so that they are finite. Now {W_n} subseteq {U_n} cup {V_n}, so that sum L(W_n) ≤ sum L(U_n) + sum L(V_n), where L() returns the length of the interval. This is all I can think of. Any tips?