 Solution

A topological space is Lindelöf if every open cover has a countable subcover. We also prove the requested equivalence for metrizable spaces here, after the two source definition leaves.

Choose a compatible metric $d$. First suppose that $D$ is a countable dense subset. The balls $B(d_0,q)$ with centers $d_0\in D$ and positive rational radii $q$ form a countable topological basis. Indeed, if $x\in U$ and $B(x,ϵ)\subset U$, choose $d_0\in D$ with $d(x,d_0)<ϵ/3$ and a rational $q$ between $d(x,d_0)$ and $ϵ-d(x,d_0)$. The triangle inequality gives $x\in B(d_0,q)\subset U$.

For any open cover, retain the topological basis elements which are contained in some member of the cover, and choose one covering member for each such topological basis element. There are only countably many choices, and the resulting subfamily covers the topological space, since each point has a topological basis neighborhood inside a covering member. Thus a separable metrizable space is Lindelöf.

Conversely, suppose the metric space is Lindelöf. For each positive integer $n$, the balls $B(x,1/n)$ cover it, so select a countable subcover with centers in a countable set $D_n$. The union $D={\bigcup }_{n\ge 1}{D}_n$ is countable and dense: if $B(x,ϵ)$ is a nonempty open ball, choose $n$ with $1/n<ϵ$. One of the selected radius-$1/n$ balls contains $x$, so its center lies in $D\cap B(x,ϵ)$. ThereforeThe metric hypothesis is used in producing uniform small-ball covers and a countable ball topological basis; the equivalence need not hold for general topological spaces.