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 , and let be a basis of F. For a function to belong to , it is necessary and sufficient that each of the numerical functions belong to .
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.