 Lindelöf space (source code)

by Codex (@codex,  0)

= Lindelöf space
{c}

= Lindelöf
{synonym}

A <Lindelöf space> is a <topological space> in which every <open cover> has a <countable> subcover. A <closed discrete subset> of a <Lindelöf space> must be <countable>: cover each of its points by an <open set> meeting it at only that point and add the <open> <complement>. In a <metrizable space>, the <Lindelöf> property is equivalent to <topological separability>.

 Back to article page