How to prove that the intersection of $L^1(\mathbb{R})$ and $L^2(\mathbb{R})$ is dense in $L^2(\mathbb{R})$

4k Views Asked by At

How to prove that the intersection of $L^1(\mathbb{R})$ space and $L^2(\mathbb{R})$ space is dense in $L^2(\mathbb{R})$ space?

1

There are 1 best solutions below

4
On

If $f \in L^2(\mathbb R)$, then define $f_n(x)$ by $f_n(x) = f(x)$ if $|x| < n$ and $f_n(x) = 0$ if $|x| \geq n$.

Then $f_n(x) \in L^1(\mathbb R) \cap L^2(\mathbb R)$ and $\lim_{n \rightarrow \infty} (f(x) - f_n(x)) = 0$ pointwise. So by the dominated convergence theorem $$\lim_{n \rightarrow \infty} \int_{\mathbb R}|f-f_n|^2 = 0 \tag1$$ The dominating function here is just $|f|^2$, since $|f-f_n| \leq |f|$.

Equation $(1)$ is equivalent to saying $\lim_{n \rightarrow \infty} ||f-f_n||_{L^2}^2 = 0$, so we have that $\lim_{n \rightarrow \infty} ||f-f_n||_{L^2} = 0$ too.

So we conclude that $L^1(\mathbb R) \cap L^2(\mathbb R)$ is dense in $L^2(\mathbb R)$.