Bourbaki

Remark 1

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

General Topology, chapter X, § 3. Special function spaces

If ∑n=0∞∥un∥<+∞\sum_{n=0}^{\infty} \|u_n\| < +\infty, then ∑n=0∞∣un(x)∣≤∑n=0∞∣un∣<+∞\sum_{n=0}^{\infty} |u_n(x)| \leq \sum_{n=0}^{\infty} |u_n| < +\infty for each x∈Xx \in X; in other words, for each x∈Xx \in X the series with general term un(x)u_n(x) is absolutely convergent in the space YY. The converse is false. To avoid all confusion we shall sometimes say that the series with general term unu_n is normally convergent, meaning that the series with general term ∥un∥\|u_n\| is convergent. A series can be uniformly convergent in XX without being normally convergent; this is the case, for example, for the series (un)(u_n) in the space B(R,R)\mathscr{B}(\mathbf{R}, \mathbf{R}), defined as follows: un(x)=(1/n)sin⁡xu_n(x) = (1/n) \sin x if x∈[nπ,(n+1)π]x \in [n\pi, (n+1)\pi], un(x)=0u_n(x) = 0 otherwise.

When YY is a normed algebra (Chapter IX, § 3, no. 7) over a non-discrete valued field KK, then B(X;Y)\mathscr{B}(X; Y) is a KK-algebra, and the norm ∥u∥\|u\| is compatible with the algebra structure, since

∥uv∥=sup⁡x∈X∥u(x)v(x)∥≤sup⁡x∈X∥u(x)∥⋅∥v(x)∥≤sup⁡x∈X∥u(x)∥⋅sup⁡x∈X∥v(x)∥=∥u∥⋅∥v∥. \|uv\| = \sup_{x \in X} \|u(x)v(x)\| \leq \sup_{x \in X} \|u(x)\| \cdot \|v(x)\| \leq \sup_{x \in X} \|u(x)\| \cdot \sup_{x \in X} \|v(x)\| = \|u\| \cdot \|v\|.
Thus B(X;Y)\mathscr{B}(X; Y) is now a normed algebra over KK.

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.