Lemma 2
Tag 0EDN, permanent. Cite it as [Bourbaki, Tag 0EDN].
General Topology, chapter IX, Appendix 2. Produits infinis dans les algèbres normées
If is a finite subset of such that , one has .
Indeed, since for every subset of , one has, after (2),
since, by virtue of (1), one has , it follows that , whence the lemma.
That being so, let be a multipliable sequence in , whose product is invertible; according to th. 1 (IX, p. 79), there exists a finite subset of such that, for every finite subset of not meeting , one has
By Lemma 2, one deduces for every finite subset of not meeting , which implies that the family is summable in (IV, p. 32, th. 1).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.