Bourbaki

Corollary 2

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

General Topology, chapter IX, Appendix 0. Infinite products in normed algebras

If (xn)(x_n) is a multipliable sequence whose product is a unit of AA, then every subsequence (xnk)k∈N(x_{n_k})_{k \in \mathbf{N}} of (xn)(x_n) [(nk)(n_k) being a strictly increasing sequence of integers] is multipliable.

This follows immediately from the criterion of Theorem 1.

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

Cited by

Nothing.

Cites

Transcribed from the printed volume. Not translated.