A metrizable space is separable exactly when it is Lindelöf. A countable dense subset gives a countable topological basis of balls with rational radii, hence the open-cover property. Conversely, choose countable subcovers of all radius- ball covers; their centers form a countable dense subset.
Articles by others on the same topic
There are currently no matching articles.