Exercise 3.5.8

Show that a set E is nowhere-dense in R if and only if the complement of E ¯ is dense in R .

Answers

First suppose E is nowhere-dense, then E ¯ contains no nonempty open intervals meaning for every a , b R we have ( a , b ) E ¯ meaning we can find a c ( a , b ) with c E ¯ . But this is just saying c E ¯ c which implies E ¯ c is dense since for every a , b R we can find a c E ¯ c with a < c < b .

Now suppose E ¯ c is dense in R , then then every interval ( a , b ) contains a point c E ¯ c , implying that ( a , b ) E ¯ since c E ¯ and c ( a , b ) . therefore E ¯ contains no nonempty open intervals and so E is nowhere-dense by defintion 3.5.3.

User profile picture
2022-01-27 00:00
Comments