I want to show that if O is collection of open subsets of (0,1) what is the closure of O in the associated metric space of equivalence classes? The metric associated with this collection is pseudometric which is equal to outer measure of symmetric difference of two subsets of (0,1).
question related to outer measure and pseudometric.
1
$\begingroup$
analysis
1 Answers
0
Hint: For any $E \subset (0,1)$ and $\varepsilon>0$ by definition of outer measure we can find an $O$ such that $E \subset O$ and $m^\ast(O \setminus E) < \varepsilon$.
-
0well Jacob, I started with the sequence of open sets contained in (0,1) and constructed the sequence in such a way that it goes with the conditions of nested theorm, now my only concern is that can I show this sequence to be a convergent sequence? If so then I can go to the fact of completeness through density and closure definitely. What's your opinion ? – 2012-11-14