# Construct an open set of arbitrarily small measure containing $\mathbb Q\cap [0,1]$

working on a few problems on measure theory and got stuck.

1. Construct an open set of arbitrarily small measure containing $$\mathbb Q\cap [0,1]$$.
2. Construct a nowhere dense subset of $$[0,1]$$ measure arbitrarily close to 1.
3. Show that there isn't a nowhere dense set $$E\subset [0,1]$$ with $$m(E)=1$$.

I've been on these problems for a long time and cannot come up with reasonable answers to them. Any hint/help would be appreciated. (Also on general strategy of coming up with examples/counter-examples.)

• For 2., you may have a look on fat Cantor sets. Commented Oct 4, 2018 at 1:07
• What does 'nowhere dense' mean?
– Sank
Commented Oct 4, 2018 at 1:21
• @user282639 a set is nowhere dense if $\operatorname{cl}(A)^° = \emptyset$. Commented Oct 4, 2018 at 1:22
• Sorry I'm not familiar with the notation; does that indicate that the closure of $A$ is an empty set?
– Sank
Commented Oct 4, 2018 at 1:25
• It means that the closure has empty interior. That is, even when taking closure there are no open sets inside of it. One motivation for the terminology is that the complement of a nowhere dense set is a set with dense interior. See here for a quick description: en.wikipedia.org/wiki/Nowhere_dense_set . Commented Oct 4, 2018 at 1:27

Hint, which my course on (Lebesgue) measure theory exploited at every opportunity:

$$\sum_{k \geq 1}\frac{1}{2^k} = 1$$

and intuitively: if you have or construct countably many sets with measures being sufficiently small, their union will be of finite measure (and possibly as small as you want, depending on the problem).

Concretely,

Take an enumeration of $$\mathbb{Q} = \{q_n\}_{n \geq1 }$$ and an interval of length $$\frac{\varepsilon}{2^k}$$ around $$q_k$$ for each $$k$$, $$I_k = B_{q_k}(\frac{\varepsilon}{2^k})$$. Now, $$\mu(\bigcup I_k) \leq \sum_{k}\mu(I_k) = \varepsilon$$.

Another hint: think about how the (standard) proof of $$\mu(\mathcal{C}) = 0$$ with $$\mathcal{C} \subset [0,1]$$ the (standard) Cantor set goes. Changing the proportions of the amount of subdivision and intervals considered, can you come up with sets of positive (small) measure? What about their density or lack thereof?

Edit: about the last item, as mentioned in the comments, the complement of the set will $$E$$ will have measure zero. At the same time, it will have a dense (hence non empty) interior. Can you see the contradiction here? Spoiler below,

Note that since the complement has non empty interior, it contains some open interval, which in particular has positive measure. That bounds the total measure from below (which was zero), thus reaching a contradiction.

• Wow, I actually constructed the same exact set of a countable subset of $\mathbb R$ to show that any countable subset of $\mathbb R$ has measure $0$. Didn't think it could be used here as well. In terms of the hint for the nowhere dense subset, I'm not sure if I've found a direction yet.
– Sank
Commented Oct 4, 2018 at 1:24
• I didn't provide a hint for the last item :P I'm thinking about it, but my measure theory is rusty (and very rudimentary). My last comment is, as another user referenced, on 'fat Cantor sets' i.e. sets that are constructed like the Cantor set but allowing a positive (controllable and ideally small) measure. Commented Oct 4, 2018 at 1:26
• The second hint was for the problem #2 right?
– Sank
Commented Oct 4, 2018 at 1:27
• Yes, you are correct. Commented Oct 4, 2018 at 1:28
• Thanks for the help on #1 and #2!
– Sank
Commented Oct 4, 2018 at 1:29