Networks on free topological groups (Q484290)

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.