Bourbaki

Proposition 9

Tag 08RA, permanent. Cite it as [Bourbaki, Tag 08RA].

Integration, chapter IV, § 3. LP spaces

— Let F be an n-dimensional vector space over R\mathbf{R}, and let (ek)1≤k≤n(e_k)_{1 \leq k \leq n} be a basis of F. For a function f=∑k=1nekfkf = \sum_{k=1}^n e_k f_k to belong to LFp\mathscr{L}_F^p, it is necessary and sufficient that each of the numerical functions fkf_k belong to Lp\mathscr{L}^p.

This follows at once from Cors. 1 and 2 of Th. 4.

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.