Networks on free topological groups (Q484290)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Networks on free topological groups
scientific article

    Statements

    Networks on free topological groups (English)
    0 references
    0 references
    0 references
    0 references
    6 January 2015
    0 references
    In this paper the following results are proved: a) The free topological group \(F\left( X \right)\) is a submetrizable \(\sigma\)-space (resp. a submetrizable \(\sigma\)-closed metric space) if and only if \(X\) is a submetrizable \(\sigma \)-space (resp. a submetrizable \(\sigma \)-closed metric space); b) Let \(X\) be a metrizable space and \(I\left( X \right)=\varnothing \). Then \(A(X)\) is \(csf\)-countable if and only if \(X\) is separable. The same is true for \(F(X)\); c) Let \(X\) be a stratifable space. If \(X\) is a \(k\)-space, then \(F\left( X \right)\) is \(snf\)-countable if and only if \(X\) is discrete; d) Let \(X\) be a \({{k}^{*}}\)-metrizable \(k\)-space. If \(I\left( X \right)=\varnothing \), then \(G\left( X \right)\) is of countable tightness if and only if \(X\) is an \(\aleph {}_{0}\)-space; e) Let \(X\) be a \({{k}^{*}}\)-metrizable, \(\mu \)-space. The following are equivalent: (1) \(A\left( X \right)\) is \({{\aleph }_{0}}\)-weakly first-countable; (2) \(A\left( X \right)\) is sequential; (3) \(A\left( X \right)\) is a \(k\)-space; (4) \(X\) is discrete or a \(k\)-space with a star-countable \(k\)-network consisting of compact subsets of \(X\) and \(NI\left( X \right)\) is separable; g) Let \(X\) be a \({{k}^{*}}\)-metrizable space. Then \({{F}_{4}}\left( X \right)\) is weakly first-countable if and only if \(X\) is discrete or compact; h) Let \(X\) be a \({{k}^{*}}\)-metrizable, \(\mu \)-space. The following are equivalent: (1) \(F\left( X \right)\) is \({{\aleph }_{0}}\)-weakly first-countable; (2) \(F\left( X \right)\) is sequential; (3) \(F\left( X \right)\) is a \(k\)-space; (4) \(X\) is discrete or a \(k\)-space with a countable \(k\)-network consisting of compact subsets of \(X\); (5) \({{F}_{10}}\left( X \right)\) is a \(k\)-space.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    free topological groups
    0 references
    networks
    0 references
    \(k\)-network
    0 references
    \(csf\)-countable
    0 references
    \(k\)-spaces
    0 references
    \(snf\)-countable
    0 references
    countable tightness
    0 references
    separable
    0 references
    discrete
    0 references
    \(\aleph_0\)-weakly first-countable
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references