Sequentially compact spaces with a point-countable \(k\)-network (Q492245)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Sequentially compact spaces with a point-countable \(k\)-network |
scientific article |
Statements
Sequentially compact spaces with a point-countable \(k\)-network (English)
0 references
20 August 2015
0 references
Let \(X\) be a topological space and \(\mathcal P\) be a family of subsets of \(X\). The family \(\mathcal P\) is a \(p\)-\(k\)-network for \(X\) if for every compact \(K \subseteq X\) and \(y \in X\setminus K\) there is a finite \(\mathcal F \subseteq \mathcal P\) such that \[ x \in \left(\bigcup \mathcal F \right)^\circ \subseteq \bigcup \mathcal F \subseteq X\setminus \{y\}. \] A topological space \(X\) is called totally countably compact if every sequence of points from \(X\) contains a subsequence with compact closure. The authors prove that every Hausdorff, totally countably compact space with a point-countable \(p\)-\(k\)-network is compact metrizable. This implies the compact metrizability of sequentially compact spaces with point-countable \(k\)-networks.
0 references
totally countably compact space
0 references
sequentially compact space
0 references
metrizable space
0 references