Bourbaki

Exercise 5, Appendix 2

General Topology, IX, p. 126

a) Let GG be a complete group, such that every neighbourhood of ee contains an open subgroup of GG. For a sequence (xn)(x_n) of points of GG to be multipliable, it is necessary and sufficient that lim⁡n→∞xn=e\lim_{n \to \infty} x_n = e.

b) Let GG be a complete group, such that every neighbourhood of ee contains a distinguished open subgroup of GG. For a family (xi)i∈I(x_i)_{i \in I} of points of GG to be multipliable, it is necessary and sufficient that lim⁡xi=e\lim x_i = e following the filter of the complements of the finite subsets of II (use IX, p. 126, Exer. 3).

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.