Basis with diameter tending $0$ separable metric space

Question

I'm reading a book of Ergodic Theory and in a proof of certain result I've found a fact I don't understand how to explain. The text assures that for any separable metric space there exists a countable basis of open sets $\{U_n\}$ whose diameters satisfy $\lim_{n\rightarrow \infty} \mbox{diam} (U_n)=0$. Any idea about how to assure this property for the diameters of the countable basis? Thanks.

Answer 1

Let $\{x_n: n ∈ ω\}$ be a dense set. Let $U_{n, m} := B(x_n, \frac{1}{m})$, i.e. the open ball of radius $\frac{1}{m}$. Clearly, $\{U_{n, m}: n, m ∈ ω\}$ is a countable base. Moreover, $\{U_{n, m}: m ≥ n ∈ ω\}$ is also a countable base, and this one has diameters converging to $0$ since for every $k$ only sets $U_{n, m}$ with $n ≤ m ≤ k$ may have diameter $> \frac{2}{k}$.