I was just refreshing my topology basics and started wondering about this.I do hope my question is mathematically sound. Anyway my question is whether every topological space has non-trivial dense sets or nowhere dense sets or for that matter even separable sets?? Does the presence of such sets affect the geometry of a space in any manner?? Does this question make sense in the first place??I wasn't able to get a clear picture.
Also as an exercise, I was trying to prove that if $A$ is nowhere dense in a metric space $(X,d)$ then this is equivalent to saying that every non-empty open set in $X$ has a non-empty open subset disjoint from $A$.
I was thinking along these lines if suppose $\exists \ U$ open in $X$ such that $\forall \ V$ open in $U$, $V \cap U \neq \phi$ . Then this means for every $x$ and some $\epsilon$ such that $B(\epsilon ,x) \subset U $ we have $B(\epsilon ,x) \cap A \neq \phi$ . Now if $x_1$ belongs to this intersection, then I can find $B(\epsilon_1, x_1) \subset B(\epsilon ,x)$ and further $B(\epsilon_1, x_1) \cap A \neq \phi$ and this can go on. Ultimately I feel that this shows that there has to be an open ball $B(\epsilon_n , x_n)$ contained in $A$. Is this line of thinking going to work??Or is there any other way??