Bourbaki

Corollary 4

Tag 07LD, permanent. Cite it as [Bourbaki, Tag 07LD].

Topological Vector Spaces, chapter III, § 1. Bornology in a topological vector space

Let EiE_i (1≤i≤n1 \leq i \leq n) and FF be locally convex spaces, and ff be a continuous multilinear map from ∏i=1nEi\prod_{i=1}^n E_i into FF. If BiB_i is a bounded subset of EiE_i, for 1≤i≤n1 \leq i \leq n, then f(∏i=1nBi)f(\prod_{i=1}^n B_i) is bounded in FF.

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.