Completely \(\omega\)-balanced topological groups (Q272873): Difference between revisions

A topological group \(G\) is \(\omega\)-balanced if and only if \(G\) admits an embedding as a subgroup into a product of metrizable topological groups (Katz's Theorem), and \(G\) is \(\omega\)-narrow if and only if \(G\) admits an embedding as a subgroup into a product of separable metrizable topological groups (Guran's Theorem). Cleary, every \(\omega\)-narrow topological group is \(\omega\)-balanced. In the present paper the notion of completely \(\omega\)-balanced topological group is introduced. For a topological group, \[ \text{\(\omega\)-narrow}\Rightarrow\text{completely \(\omega\)-balanced}\Rightarrow\text{\(\omega\)-balanced}. \] The completely \(\omega\)-balanced topological groups are characterized as those topological groups admitting a homeomorphic embedding as a subgroup into a product of strongly metrizable topological groups. As a consequence, strongly \(\delta\)-complete topological groups (i.e., topological groups admitting an embedding as a closed subgroup into a product of strongly metrizable topological groups) are proved to be precisely the completely \(\omega\)-balanced topological groups that are \(G_\delta\)-closed in their Raikov completion.