Convergence in $L_1$ and Convergence of the Integrals Am I right with the following argument? (I am a bit confused by all those types of convergence.)
Let $f, f_n \in L_1(a,b)$ with $f_n$ converging to $f$ in $L_1$, meaning
$$\lVert f_n-f  \rVert_1 = \int_a^b |f_n(x)-f(x)|dx \rightarrow 0 \ , $$
Then the integral $\int_a^b f_n dx$ converges to $\int_a^b f dx$. To show this we look at$$\left| \int_a^b f_n(x) dx - \int_a^b f(x) dx \right | \leq \int_a^b | f_n(x) - f(x)| dx \rightarrow 0 \ .$$
If this is indeed true, is there something similar for the other $L_p(a,b)$ spaces, or is this something special to $L_1(a,b)$?
 A: Actually, it's neither specific to $\mathbb L^1$ nor to the involved measure space. Indeed, for each $1\leqslant p\lt \infty$, we define a norm on $\mathbb L^p$ by 
$$\lVert f\rVert_p=\left(\int_X|f(x)|^p\mathrm d\mu\right)^{1/p}.$$
And using triangular inequality, we have that $\lVert f_n-f\rVert_p\to 0$ implies $\lVert f_n\rVert_p\to \lVert f\rVert_p$.
A: $L^p(a,b)\subset L^1(a,b)$, $p\geq1$ and $a,b\in\mathbb{R}$. Then you have the same result.
A: Let $f_n \to f$ in $L^p(\Omega)$. Then, we also have that $\|f_n\|_p \to \|f\|_p$. So "something similar" holds.
As for the convergence of $\int f_n$ to $\int f$, this is generally not guaranteed by $L^p$ convergence, unless the measure of the underlying space is finite (like it is in your example).
In that case we have
$$
\left| \int_{\Omega} f_n(x) dx - \int_{\Omega} f(x)\,dx \right| = \left| \int_{\Omega} (f_n(x) dx - f(x))\,dx \right| \leq \int_{\Omega} | f_n(x) - f(x)|\, dx \leq |\Omega|^{\frac1q} \|fn-f\|_p \rightarrow 0
$$
by Hölder inequality. This is the same inequality that gives you that $L^p(\Omega) \subset L^1(\Omega)$.
