0

I saw a proof on proofwiki but couldn't understand it. I only know the bare basics of topology (closed, open, limit points, neighbourhoods). Is there a simple proof for this?

J. W. Tanner
  • 60,406
Bill
  • 4,417

1 Answers1

3

Assume we have an uncountable discrete space. If you have a discrete topological space, every subset is closed and open, so the closure of a subset is itself. So if you have a dense subset, then it must be the whole space, but the space is uncountable. (I am going off of the definition: a space is separable iff it has a countable dense subset).

Countable
  • 1,042