Metrizability of CHART groups
arXiv:2210.01631 · doi:10.1016/j.topol.2023.108408
Abstract
For compact Hausdorff admissible right topological (CHART) group , we prove . This equality is well known for compact topological groups. This implies the criteria for the metrizability of CHART groups: if is first-countable (2013, Moors, Namioka) or is Fréchet (2013, Glasner, Megrelishvili), or has countable -character (2022, Reznichenko) then is metrizable. Under the continuum hypothesis (CH) assumption, a sequentially compact CHART group is metrizable. Namioka's theorem that metrizable CHART groups are topological groups extends to CHART groups with small weight.