Bourbaki

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 znz^n is convergent in AA, then e−ze - z is a unit of AA and we have

(e−z)−1=∑n=0∞zn. (e - z)^{-1} = \sum_{n=0}^\infty z^n.
Conversely, if ∣∣z∣∣<1||z|| < 1 and if e−ze - z is a unit in AA, then the series whose general term is znz^n is convergent and formula (7) is valid.

For each p>0p > 0 we have

(e−z)∑n=0pzn=e−zp+1. (e - z) \sum_{n=0}^p z^n = e - z^{p+1}.
If the series whose general term is znz^n is convergent and if yy is its sum, then znz^n tends to 0 as n→+∞n \to + \infty; hence by passing to the limit in (8) we have (e−z)y=e(e - z)y = e; similarly we prove that y(e−z)=ey(e - z) = e, and hence y=(e−z)−1y = (e - z)^{-1} (note that this part of the argument is valid in any topological ring which has an identity element).

Conversely, if ∣∣z∣∣<1||z|| < 1, then since ∣∣zp+1∣∣≤∣∣z∣∣p+1||z^{p+1}|| \leq ||z||^{p+1}, it follows that zp+1z^{p+1} tends to 0 as p→+∞p \to +\infty; multiplying both sides (8) on the left by (e−z)−1(e-z)^{-1} and letting pp tend to infinity, we see that the series whose general term is znz^n converges and has (e−z)−1(e-z)^{-1} 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.

Transcribed from the printed volume. Not translated.