I'm working on this problem from Munkres:
Show that every metrizable space with a countable dense subset has a countable basis.
Here's my attempt at a proof.
Let $X$ be a metrizable space with metric $d$ and a countable dense subset $A$.
Claim: $\mathscr{B} = \{B_{(a,1/n)} = \{x : d(a,x) < \epsilon = 1/n\} \forall a\in A$} is a countable basis for $X$.
This set is countable since it is in bijection with $A\times \mathbb{N}$ which is countable as a countable product of countable sets.
Now I want to prove that $\mathscr{B}$ is indeed a basis.
$1)$ Let $y \in X$ then $y \in \overline A$ (by the definition of dense) which implies $\exists$ $B_{(y,1/n)}$ s.t. $\exists$ $y'\in A$ s.t. $y' \in B_{(y,1/n)}$. But then since $y$ is within $\epsilon = 1/n$ for some $n\in\mathbb{N}$ of $y'$, $\exists$ $B_{(y',1/n)}$ which is an element of $\mathscr{B}$. Therefore since $y$ was arbitrary we know that there is a basis element containing every element of $X$.
$2)$ Now I want to show that for an element $x$ of the intersection of two arbitrary basis elements that there is a third basis element which contains $x$ that is a subset of the intersection. This is where I get stuck, any help would be appreciated.
Take two basic open sets, $B_1 = B(a_1, \frac{1}{n_1})$ and $B_2 =B(a_2, \frac{1}{n_2})$ where $a_1, a_2 \in A$. Suppose $x \in B_1 \cap B_2$. Since $B_1 \cap B_2$ is open, there exists an $n$ such that $B(x, \frac{1}{n}) \subseteq B_1 \cap B_2$. Since $A$ is dense, there exists $a_3 \in A \cap B(x, \frac{1}{2n})$. Then $x \in B(a_3, \frac{1}{2n}) \subseteq B(x, \frac{1}{n}) \subseteq B_1 \cap B_2$.