Proposition 7
Tag 08QZ, permanent. Cite it as [Bourbaki, Tag 08QZ].
Integration, IV, p. 24, § 3. LP spaces
For a function to belong to , it is necessary and sufficient that, for every , there exist a continuous function with compact support such that .
In other words, the functions in are the limits of sequences of continuous functions with compact support, for the topology of convergence in mean of order .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.