Proposition 12
Tag 0C4X, permanent. Cite it as [Bourbaki, Tag 0C4X].
General Topology, chapter IX, § 3. Metrizable groups, valued fields, normed spaces and algebras
If the series whose general term is is convergent in , then is a unit of and we have
Conversely, if and if is a unit in , then the series whose general term is is convergent and formula (7) is valid.
For each we have
If the series whose general term is is convergent and if is its sum, then tends to 0 as ; hence by passing to the limit in (8) we have ; similarly we prove that , and hence (note that this part of the argument is valid in any topological ring which has an identity element).
Conversely, if , then since , it follows that tends to 0 as ; multiplying both sides (8) on the left by and letting tend to infinity, we see that the series whose general term is converges and has as its sum.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.