27
$\begingroup$

Let $E$ be an open set in $[0,1]^n$ and $m$ be the Lebesgue measure.

Is it possible that $m(E)\neq m(\bar{E})$, where $\bar{E}$ stands for the closure of $E$?

  • 4
    @Matt, @Sivaram: On a related note: If you write $E_{\varepsilon}$ for Sivaram's set and take $E = \bigcap E_{1/n}$ then you'll get a dense null set of second Baire category (of course no longer open) and the complement will be a meager set of full measure. This construction shows that genericity in the sense of Baire and genericity in the sense of "with probability $1$" can be rather 'orthogonal' notions. There are two famous papers in ergodic theory, one by Rohlin and one by Halmos, with the respective titles "In general, a transformation is [is not] mixing" playing with exactly this issue.2011-03-20

2 Answers 2

19

Yes, this is possible. Already in dimension $1$. If you take a modified Cantor set $C$ in $[0,1]$, that is a nowhere dense compact subset of positive measure $\alpha \gt 0$. Its complement $E = [0,1] \smallsetminus C$ is open, has measure $1 - \alpha$ and its closure is all of $[0,1]$ by density. In higher dimensions simply take the product $E^n$.

Another way of doing it is to enumerate the rationals in $[0,1]$ and taking $E = [0,1] \cap \bigcup_{n=1}^{\infty} (q_{n} - \frac{\varepsilon}{2^{n+1}}, q_{n} + \frac{\varepsilon}{2^{n+1}})$. Then $\mu(E) \leq \sum_{n=1}^{\infty} 2 \cdot \frac{\varepsilon}{2^{n+1}} = \varepsilon$, so for $\varepsilon \lt 1$ the set $E$ will be open and dense in $[0,1]$ but not all of $[0,1]$ and its closure will be all of $[0,1]$ again.

Added: (in view of Davide's comment below). Note that there is a modified Cantor set $C_\alpha \subset [0,1]$ of any measure $0 \lt \alpha \lt 1$. Its complement $E_{\alpha} = [0,1] \smallsetminus C_\alpha$ is open and dense in $[0,1]$ and has measure $1-\alpha$ and by scaling this shows that for every pair of positive numbers $0 \lt a \lt b$ there is an open set $E_a$ of measure $\mu(E_a) = a$ whose closure $\overline{E_a}$ has measure $\mu(\overline{E_a}) = b$. I leave it as an easy exercise to construct an open set of measure $a \gt 0$ whose closure has infinite measure.

  • 2
    Yes, that's not too hard to achieve from what I say here if $b$ is finite. Just scale the interval $[0,1]$ to $[0,b]$ and take $\alpha = b-a$ (and of course you want $a \gt 0$). If $b$ is infinite, partitioning $[0,\infty)$ into $[n,n+1]$ and choosing fat Cantor sets of appropriate measure will do. Anyway: thanks for pointing it out!2011-12-29
9

If you remove a fat Cantor set (that is, a nowhere dense positive measure closed subset) from $[0,1]$ you obtain a dense open subset of $[0,1]$ whose measure is $< 1$. So the answer to your question is yes.

  • 0
    @Theo: Indeed! Best wishes,2011-03-20