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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references