# nLab paracompact spaces satisfying the countable chain condition are Lindelöf

## Statement

Recall that a topological space $X$ is paracompact if every open cover has a refinement by a locally finite open cover. Further a space is called Lindelöf if every open cover has a countable sub-cover.

###### Theorem

Assuming the axiom of choice:

Every paracompact space $X$ satisfying the countable chain condition is Lindelöf.

###### Proof

The proof goes by contradiction: Assume there is an open cover $\{U_i\}_{i\in I}$ with no countable subcover. Let $\{U_j\}_{j\in J}$ be a locally finite refinement, which again must not be countable. This is to say that each point possesses an open neighborhood so small that it is only an element of finitely many $U_j$‘s. Inductively (using Zorn's lemma) construct a maximal system $\{V_\lambda\}_{\lambda \in \Lambda}$ of pairwise disjoint opens being contained in at most finitely many $U_j$’s. Due to maximality $\bigcup_{\lambda\in\Lambda} V_\lambda$ is dense. This fact implies by the countable chain condition that $\Lambda$ is countable. Moreover it implies that each $U_j$ intersects at least one $V_\lambda$. But this is to say that there are at most countably many $U_j$’s. This is a contradiction.

### Implications

• a metric space has a $\sigma$-locally discrete base

• Nagata-Smirnov metrization theorem

• a second-countable space has a $\sigma$-locally finite base: take the the collection of singeltons of all elements of a countable cover of $X$.

• second-countable spaces are separable: use the axiom of countable choice to choose a point in each set of a countable cover.

• separable spaces satisfy the countable chain condition: given a dense set $D$ and a family $\{U_\alpha : \alpha \in A\}$, the map $D \cap \bigcup_{\alpha \in A} U_\alpha \to A$ assigning $d$ to the unique $\alpha \in A$ with $d \in U_\alpha$ is surjective.

• separable spaces are weakly Lindelöf: given a countable dense subset and an open cover choose for each point of the subset an open from the cover.

• Lindelöf spaces are trivially also weakly Lindelöf.

• a space with a $\sigma$-locally finite base is first countable: obviously, every point is contained in at most countably many sets of a $\sigma$-locally finite base.

• a first-countable space is obviously Fréchet-Urysohn.

• a Fréchet-Uryson space is obviously sequential.

• a sequential space is obviously countably tight.

Last revised on April 3, 2020 at 15:37:40. See the history of this page for a list of all contributions to it.