Remark 1
Tag 0CDE, permanent. Cite it as [Bourbaki, Tag 0CDE].
General Topology, chapter X, § 3. Special function spaces
If , then for each ; in other words, for each the series with general term is absolutely convergent in the space . The converse is false. To avoid all confusion we shall sometimes say that the series with general term is normally convergent, meaning that the series with general term is convergent. A series can be uniformly convergent in without being normally convergent; this is the case, for example, for the series in the space , defined as follows: if , otherwise.
When is a normed algebra (Chapter IX, § 3, no. 7) over a non-discrete valued field , then is a -algebra, and the norm is compatible with the algebra structure, since
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.