Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Suppose $E$ is a nowhere dense set. For simplicity, assume it is in $R$. Is it true that the Lebesgue measure of $\overline{E}-E$ is zero? I.e., $m(\overline{E}-E)=0$.

The statement is not true in general. If $E$ is allowed to be open then take the complement of a fat cantor set.

This is also not the same set as what is often defined to be the boundary. If $\overline{E}-E^o$ is the boundary of a set, then fat cantor sets have positive measure boundaries.

share|improve this question
    
Looks like an answer rather than a question. –  Ilya Jun 28 '12 at 16:35
add comment

1 Answer 1

up vote 2 down vote accepted

Let $P$ be a closed nowhere dense set in $\mathbb R$ with positive measure and let $E$ be a countable subset of $P$ that is dense in $P.$ For example, $E$ could be the set of endpoints of the complementary open intervals for $P.$ Then $m(\overline{E}-E)=m(P)$ is positive.

share|improve this answer
    
Thanks! Is it possible for $E$ to have positive measure? –  nayrb Jun 28 '12 at 16:56
    
I suppose you could construct a fat cantor set "inside" so that the complement is dense in $E$. –  nayrb Jun 28 '12 at 17:05
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.