$X$ top space with countable basis $B = \{B_n\}_{n\in \mathbb{N}}$. Then exists countable subset $D\subseteq X$, $\overline{D} = X$

78 Views Asked by At

Let $X$ be a topological space with a countable basis $B = \{B_n\}_{n\in \mathbb{N}}$. Show that exists a countable subset $D\subseteq X$ such that $\overline{D} = X$.

Well, I've thought a lot about this question and this is what I've come up, but I think I'm cheating:

We all know that $X\subseteq X$ and that $\overline{X} = X$, and also every element of $x$ is contained in a basis element. So, since $X = \bigcup_{x\in X} \{x\} \subseteq \bigcup_{x\in X} B_x = X$, so taking $D = X$, we have that $D\subseteq X, \overline{D} = X$ and $D$ is countable. I don't think this is right, and this only works for $D = X$.

Could somebody help me?

2

There are 2 best solutions below

2
On BEST ANSWER

Hint: Choose any element $q_n\in B_n$ for each $n\in\mathbb{N}$. Show that $Q=\{q_n \mid n\in\mathbb{N}\}$ is a dense subset of $X$.

0
On

Letting that $q_{n}\in B$ for each $n=1,2,...$ It suffices to prove that for every nonempty open set $G$, there is some $n_{0}$ such that $q_{n_{0}}\in G$. Choose some $p\in G$, since $\{B_{n}\}$ is a basis, some $n_{0}$ is such that $p\in B_{n_{0}}\subseteq G$. Hence $q_{n_{0}}\in G$.