Topological properties of the group of the null sequences valued in an abelian topological group (Q284616)

Let \(X\) be a Hausdorff abelian topological group. The group of all \(X\)-valued null sequences endowed with the uniform topology is denoted by \(\mathfrak{F}_0(X)\) and \(X\) is called \textit{maximally almost periodic} (MAP) if \(\widehat{X}\) separates the points of \(X\), where \(\widehat{X}\) means the group of all continuous characters of \(X\). For a MAP abelian topological group \((X,\tau)\), let \(\tau^{+}\) be the smallest group topology on \(X\) for which the elements of \(\widehat{X}\) are continuous and set \(X^{+}:=(X,\tau^{+})\). For a topological property \(\mathcal P\) and a topological space \(X\), \({\mathcal P}(X)\) means the set of all subspaces of \(X\) with \(\mathcal P\). We say that a MAP abelian topological group \(X\) \textit{respects} a topological property \(\mathcal P\) if \({\mathcal P}(X)={\mathcal P}(X^{+})\). In this paper, the author considers various topological properties which are preserved under taking the operator \(X\mapsto\mathfrak{F}_0(X)\). He also investigates the theory of properties respected by topological groups and generalizes some of known results. Indeed, he obtains the following: (1) Let \(X\) be an abelian topological group. Then (i) \(X\) is an \((E)\)-space if and only if \(\mathfrak{F}_0(X)\) is an \((E)\)-space, (ii) \(X\) is a strictly angelic space if and only if \(\mathfrak{F}_0(X)\) is strictly angelic, (iii) \(X\) is an \(\check{S}\)-space if and only if \(\mathfrak{F}_0(X)\) is an \(\check{S}\)-space. (2) Let \(X\) be a complete MAP abelian topological group. Then the following are equivalent: (i) \(X\) respects compactness and \(X^{+}\) is a \(\mu\)-space; (ii) \(X\) respects countable compactness and \(X^{+}\) is a \(\mu\)-space; (iii) \(X\) respects pseudocompactness and \(X^{+}\) is a \(\mu\)-space; (iv) \(X\) respects functional boundedness. Hence, if (i)-(iv) hold, then \(X\) respects convergent sequences and sequential compactness as well. (3) Let \(X\) be a locally compact abelian group. Then the following are equivalent: (i) \(X\) is totally disconnected; (ii) \(\mathfrak{F}_0(X)\) embeds into the product of a family of locally compact abelian groups; (iii) \(\mathfrak{F}_0(X)\) is a nuclear group; (iv) \(\mathfrak{F}_0(X)\) is a Schwartz group; (v) \(\mathfrak{F}_0(X)\) respects compactness; (vi) \(\mathfrak{F}_0(X)\) has the Schur property; (vii) \(\mathfrak{F}_0(X)\) respects countable compactness; (viii) \(\mathfrak{F}_0(X)\) respects sequential compactness; (ix) \(\mathfrak{F}_0(X)\) respects pseudocompactness; (x) \(\mathfrak{F}_0(X)\) respects functional boundedness. Moreover, every functionally subset of \(\mathfrak{F}_0(X)^{+}\) is relatively compact in \(\mathfrak{F}_0(X)\).