Exercise 1, § 2
Tag 02MP, permanent. Cite it as [Bourbaki, Tag 02MP].
Spectral Theories, II, p. 304
(a) For to have a countable basis, it is necessary and sufficient that have a countable basis. (If has a countable basis, then has a countable basis, hence has a countable basis.) b) For to be countable at infinity, it is necessary and sufficient that admit an open subgroup with a countable basis, or equivalently that be metrizable. (Use prop. 3 of II, p. 248.)
c) Suppose that is compact. For to be metrizable, it is necessary and sufficient that be countable, or equivalently that be isomorphic to a closed subgroup of . (A countable commutative discrete group is a quotient of )
Solution
No solution has been written yet.
Cited by
Nothing.
Cites
Nothing.