Measuring Disjoint Sets with Lebesgue Outer Measure

[e(ho0n3]

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?

 

[johnson12]

for (i) let d = d(X,Y), and O = \bigcup_{x\in X}(x - d,x+d) so O\bigcap Y = empty set, and X \subseteq O then since O is measurable we get:

m(X\cup Y) = m((X\cup Y)\cap O) + m((X\cup Y)\cap O^{c}) = m(X) + m(Y).

 

[e(ho0n3]

I thought of that exact same argument. Thanks. Any ideas on (ii)?