Bourbaki

Proposition 7

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

Integration, IV, p. 24, § 3. LP spaces

For a function f\mathbf{f} to belong to LFp\mathscr{L}_\mathbf{F}^p, it is necessary and sufficient that, for every ε>0\varepsilon > 0, there exist a continuous function gg with compact support such that Np(f−g)≤εN_p(\mathbf{f} - g) \leq \varepsilon.

In other words, the functions in LFp\mathscr{L}_\mathbf{F}^p are the limits of sequences of continuous functions with compact support, for the topology of convergence in mean of order pp.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Cites

Nothing.

Transcribed from the printed volume. Not translated.