Bourbaki

Corollary 2

Tag 0EDI, permanent. Cite it as [Bourbaki, Tag 0EDI].

General Topology, chapter IX, Appendix 2. Produits infinis dans les algèbres normées

If (xn)(x_n) is a multipliable sequence whose product is invertible in AA, any sequence (xnk)k∈N(x_{n_k})_{k \in \mathbf{N}} extracted from (xn)(x_n) ((nkn_k) being a strictly increasing sequence of integers) is multipliable.

This is what the criterion of th. 1 (IXIX, p. 79) immediately shows.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Translated with machine help, not yet reviewed by a person.