Locally compact spaces of countable core and Alexandroff compactification (Q861944)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Locally compact spaces of countable core and Alexandroff compactification |
scientific article |
Statements
Locally compact spaces of countable core and Alexandroff compactification (English)
0 references
2 February 2007
0 references
The author introduces a new cardinal invariant, the core of a locally compact \(T_2\)-space (denoted \(cor(X)\)), and states that ``locally compact spaces of countable core generalize locally compact \(\sigma\)-compact spaces in a way that is slightly exotic, but still quite natural''. A subset \(S\) of a locally compact space \(X\) is called saturated iff \(S\) is closed in \(X\) and \(S \cap P\not=\emptyset\), for every closed, non-compact subset \(P\) of \(X\). Then \(cor(X)\) is defined to be the smallest cardinal number \(\tau\) such that there exists a family \(\gamma\) of saturated subsets of \(X\) satisfying \( | \gamma | \leq\tau\) and \(\cap\gamma=\emptyset\). Among many results, the author shows that under a broad range of conditions locally compact spaces of countable core must be \(\sigma\)-compact. In particular, a locally compact space of countable core that is either normal or realcompact is \(\sigma\)-compact. The class of spaces of countable core is preserved in both directions by perfect mappings. The Alexandroff one-point compactification \(\alpha(X)=X\cup\{\infty\}\) of a non-compact locally compact space \(X\) is weakly first countable at \(\infty\) if and only if \(cor(X) = \omega\), and \(\alpha(X)\) is first countable (or Fréchet--Urysohn) at \(\infty\) if and only if \(X\) is \(\sigma\)-compact. The author shows that two spaces in the literature are non-\(\sigma\)-compact locally compact spaces of countable core. Eight problems are stated.
0 references
locally compact
0 references
Alexandroff one-point compactification
0 references
weakly first countable
0 references
\(\sigma\)-compact
0 references
Fréchet--Urysohn
0 references
pseudocompact
0 references
countably compact
0 references
compact from inside
0 references
countable core
0 references