Must a compact topological group be metrizable? If not, is it separable?
Thanks for any help.
No. A sufficiently large power of $\mathbb T$ (or even of $\mathbb Z/2\mathbb Z$) is not metrizable and not separable.
Copyright © 2021 JogjaFile Inc.
No. A sufficiently large power of $\mathbb T$ (or even of $\mathbb Z/2\mathbb Z$) is not metrizable and not separable.