Convergence a.e and in norm implies convergence in $L^p$ for $0<p<1$

Question

We know that for $p\ge1$ , given a positive measure $\mu$ on a set $X$ if $f_n\to f$ almost everywhere, $f,f_n\in L^p(\mu)$ for all $n$, and $||f_n||_p\to ||f||_p$ as $n\to \infty$ then $||f-f_n||_p\to 0$ (See here)

Will this remain true for $0<p<1$?

The inequality we get here is $|f-f_n|^p<|f|^p+|f_n|^p$. I found this problem in big Rudin, where he suggests: By using Egorov's theorem write $X=A \cup B$ such that $\int_A |f|^p \le \varepsilon$, and $\mu(B)\le \infty$ and $f_n\to f$ uniformly on $B$ and then applying Fatou's lemma to $\int_B|f_n|^p$. This doesn't seem like a direct application of Egorov's since the space is not given to have finite measure.

Answer 1

It's an indirect application of Egorov's theorem. You first construct a situation where you can apply Egorov's theorem. Let $C_n = \{x : \lvert f(x)\rvert^p \geqslant 2^{-n}\}$. Then since $\lvert f\rvert^p$ is integrable, all $C_n$ have finite $\mu$-measure. For large enough $n$, you have

$$\int_{X\setminus C_n} \lvert f\rvert^p\,d\mu < \frac{\varepsilon}{2}.$$

There is a $\delta > 0$ such that for every measurable $E\subset X$ with $\mu(E) \leqslant \delta$ you have

$$\int_{E} \lvert f\rvert^p\,d\mu < \frac{\varepsilon}{2}.$$

Now let $B$ be a subset of $C_n$ such that $\mu(C_n \setminus B) \leqslant \delta$ and $\lvert f_n\rvert^p$ converges uniformly to $\lvert f\rvert^p$ on $B$ (by Egorov's theorem), and for $A = X\setminus B = (X\setminus C_n) \cup (C_n\setminus B)$ we have $$\int_A \lvert f\rvert^p\,d\mu < \varepsilon$$ by construction. Then use Fatou's lemma as indicated.

Answer 2

Seems it's still a direct application of Fatou's lemma:

Since $|f|^p + |f_n|^p - |f-f_n|^p \geq 0$, we can apply Fatou's lemma:

$$\int \liminf \left(|f|^p + |f_n|^p - |f-f_n|^p\right) \leq \liminf \int \left(|f|^p + |f_n|^p - |f-f_n|^p\right) $$

i.e.

$$\int 2|f|^p \leq \int 2|f|^p - \limsup\int |f-f_n|^p $$

So $\limsup\int |f-f_n|^p \leq 0$, i.e. $\lim\int |f-f_n|^p =0$