加载中…
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.

生成讲解博客的中文版本

生成AI智能校验的中文版本