Metrizable separability and the Lindelöf property

ID: metrizable-separability-and-the-lindelof-property

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.

New to topics? Read the docs here!