Discrete subsets of topological groups (Q1897227): Difference between revisions

It is proved that if a topological group contains an infinite totally bounded subset, then it contains a nonclosed discrete subset. This result gives, in particular, a positive answer to a question of \textit{E. K. van Douwen} [Topology Appl. 34, 69-91 (1990; Zbl 0696.22003)]. Another proof was given by the reviewer [Bul. Acad. Ştiinţe Repub. Mold. Mat. 1991, No. 3, 67-69 (1991)]; see also \textit{K. P. Hart} and \textit{J. van Mill} [J. Pure Appl. Algebra 70, 73-80 (1991; Zbl 0727.22002)]. Problem: Construct in the ZFC a countable nondiscrete group, all of whose discrete subsets are closed.