Proof nowhere-dense of a closure's complement

  • Thread starter Thread starter thekirk
  • Start date Start date
  • Tags Tags
    Proof
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
2 replies · 3K views
thekirk
Messages
2
Reaction score
0

Homework Statement


A set E in ℝ is nowhere dense if and only if the closure of E's complement(E with a line over it) is dense in ℝ

Homework Equations


I need help proving this lemma. I'm not entirely sure where to start.

The Attempt at a Solution


I know we have to proof it two ways, backwards and forwards. For the forward, all I can think to use if the fact that the closure of E complement contains no nonempty open intervals, but I don't know where to go with that.

Any help would be appreciated.
 
Physics news on Phys.org
First, how did you define "nowhere dense"??

Second, do you know the following formula's:

[tex]cl(X\setminus E)=X\setminus int(E)~\text{and}~int(X\setminus E) = X\setminus cl(E)[/tex]

These equalities will prove to be handy. Try to prove them!

Note: cl means closure and int means interior.
 
micromass-

I have never seen that equation before.

I have nowhere dense defined as: a set E in ℝ is nowhere dense if the closure of E contains no non-empty intervals.

I will look at those equations and see what I can do. Thank you!