Lindelöf-rum

Ett topologiskt rum $(X,\mathcal{T})$ säges vara ett Lindelöf-rum om varje framställning av mängden $X$ som en union av öppna mängder, kan reduceras till en framställning av $X$ som en union av uppräkneligt många öppna mängder:

$X = \bigcup_{i\in I} A_i \quad \Longrightarrow \quad X = \bigcup_{n=1}^\infty A_{i_n}, \qquad A_i,A_{i_n} \in \mathcal{T}.$

Se även

• Kompakt