Homepage › Solution manuals › Stephen Abbott › Understanding Analysis › Exercise 3.5.8
Exercise 3.5.8
Show that a set is nowhere-dense in if and only if the complement of is dense in .
Answers
First suppose is nowhere-dense, then contains no nonempty open intervals meaning for every we have meaning we can find a with . But this is just saying which implies is dense since for every we can find a with .
Now suppose is dense in , then then every interval contains a point , implying that since and . therefore contains no nonempty open intervals and so is nowhere-dense by defintion 3.5.3.