2013
Metrization criteria for compact groups in terms of their dense subgroups
FUNDAMENTA MATHEMATICAE
- ,
- Volume
- 221
- Number
- 2
- First page
- 161
- Last page
- 187
- Language
- English
- Publishing type
- Research paper (scientific journal)
- DOI
- 10.4064/fm221-2-3
- Publisher
- POLISH ACAD SCIENCES INST MATHEMATICS-IMPAN
According to Comfort, Raczkowski and Trigos-Arrieta, a dense subgroup D of a compact abelian group G determines G if the restriction homomorphism (G) over cap -> (D) over cap of the dual groups is a topological isomorphism. We introduce four conditions on D that are necessary for it to determine G and we resolve the following question: If one of these conditions holds for every dense (or G(delta)-dense) subgroup D of G, must G be metrizable? In particular, we prove (in ZFC) that a compact abelian group determined by all its G(delta)-dense subgroups is metrizable, thereby resolving a question of Hernandez, Macario and Trigos-Arrieta. (Under the additional assumption of the Continuum Hypothesis CH, the same statement was proved recently by Bruguera, Chasco, Dominguez, Tkachenko and Trigos-Arrieta.) As a tool, we develop a machinery for building G(delta)-dense subgroups without uncountable compact subsets in compact groups of weight omega(1) (in ZFC). The construction is delicate, as these subgroups must have non-trivial convergent sequences in some models of ZFC.
- Link information
- ID information
-
- DOI : 10.4064/fm221-2-3
- ISSN : 0016-2736
- eISSN : 1730-6329
- Web of Science ID : WOS:000325118100003