MATERIAL EN REVISIÓN

Introducción

Anteriormente definimos la integral de una función medible no negativa general, sin embargo, comentamos que existían dificultades técnicas a la hora de ver que $\int (f+g)\mathrm{d}\lambda =\int f\mathrm{d}\lambda +\int g\mathrm{d}\lambda$ (algo bastante deseable a la hora de integrar).

En esta entrada enunciaremos y probaremos el Teorema de la Convergencia Monótona de Lebesgue, una de las herramientas más importantes en teoría de integración. Veremos también algunas de sus consecuencias, entre ellas la linealidad de la integral.

El teorema de la convergencia monótona

{Teorema (de Convergencia Monótona de Lebesgue). Sea $\{f_k{\}}_{k=1}^{\mathrm{\infty }}$ una sucesión creciente de funciones medibles no negativas sobre ${\mathbb{R}}^n$: $$0\le f_1\le f_2\le f_3\dots$$
Entonces $$\underset{k\to \mathrm{\infty }}{lim}\int f_k\mathrm{d}\lambda =\int \left(\underset{k\to \mathrm{\infty }}{lim}{f}_k\right)\mathrm{d}\lambda$$

Demostración. Definamos $f=\underset{k\to \mathrm{\infty }}{lim}{f}_k$. Observa que $f$ está bien definida pues en cada punto es el límite de una sucesión creciente y es medible al ser límite de funciones medibles.

Claramente $f_k\le f$ $\mathrm{\forall }k$, de donde $\int f_k\mathrm{d}\lambda \le \int f\mathrm{d}\lambda$ $\mathrm{\forall }k$, es decir, la sucesión ${\int f_k\mathrm{d}\lambda }_{k=1}^{\mathrm{\infty }}$ es creciente, por lo que su límite existe (y es igual a su supremo, posiblemente $\mathrm{\infty }$). Tomando supremos se sigue:

$$\underset{k\to \mathrm{\infty }}{lim}\int f_k\mathrm{d}\lambda =\underset{k}{sup}\int f_k\mathrm{d}\lambda \le \int f\mathrm{d}\lambda .$$
Veamos la desigualdad opuesta. Para ello es suficiente probar que para cada núemro real $c<\int f\mathrm{d}\lambda$ se tiene $c\le \underset{k\to \mathrm{\infty }}{lim}\int f_k\mathrm{d}\lambda$. Fijemos entonces algún $c<\int f\mathrm{d}\lambda$. Por definición de $\int f\mathrm{d}\lambda$, existe alguna función simple $s\in S$ tal que $0\le s\le f$ y $c<\int s\mathrm{d}\lambda$.

Al ser una función simple, $s$ admite una representación de la forma: $$s=\sum _{j=1}^m{\alpha }_j{\chi }_{A_j},$$ donde $0<{\alpha }_j<\mathrm{\infty }$ y los conjuntos $A_j$ son medibles ajenos. Dado $\epsilon <min({\alpha }_1,\dots ,{\alpha }_m)$, consideremos la función simple: $$s_{\epsilon }=\sum _{j=1}^m({\alpha }_j-\epsilon ){\chi }_{A_j}$$ Claramente $s_{\epsilon }\in S$ y podemos escoger $\epsilon$ suficientemente pequeño tal que $c<\int s_{\epsilon }\mathrm{d}\lambda$: Esto es obvio si alguno de los $A_j$ tiene medida infinita. Si todos los $A_j$ son de medida finita, esto es consecuencia de la continuidad de $\int s_{\epsilon }\mathrm{d}\lambda =\sum _{j=1}^m({\alpha }_j-\epsilon )\lambda (A_j)$ respecto a $\epsilon$.

Reemplazando a $s$ por $s_{\epsilon }$ de ser necesario, podemos entonces asumir que $s$ satisface:

• $0\le s\le f$,
• Si $f(x)>0⟹s(x)<f(x)$,
• $c<\int s\mathrm{d}\lambda$.

Definamos ahora los conjuntos $$E_k=\{x|f_k(x)\ge s(x)\}.$$

Estos son medibles (pues la función $f_k-s$ es medible). Como las $f_k$ son crecientes, claramente $$E_1\subseteq E_2\subseteq E_3\subseteq \dots$$
Más aún, notemos que $$\bigcup _{k=1}^{\mathrm{\infty }}{E}_k={\mathbb{R}}^n.$$ Pues dado $x\in {\mathbb{R}}^n$, si $s(x)=0$, claramente $s(x)\le f_k(x)$ $\mathrm{\forall }k$, de donde $x\in E_k$ para todo $k$. Si $s(x)>0$ $⟹$ $f(x)>0$ $⟹$ $f(x)>s(x)$. Como $f_k(x)\uparrow f(x)$, existe algún $N$ tal que $f_N(x)>s(x)$ $⟹$ $x\in E_N$.

En particular, para cualquier $A\subseteq {\mathbb{R}}^n$ medible, se tiene $(A\cap E_1)\subseteq (A\cap E_2)\subseteq \dots$ y $A=\bigcup _{k=1}^{\mathrm{\infty }}(A\cap E_k)$, de donde, por monotonía de la medida de Lebesgue: $$\lambda (A)=\underset{k\to \mathrm{\infty }}{lim}\lambda (A\cap E_k).$$

Ahora, usando que ${\chi }_{A\cap B}={\chi }_A{\chi }_B$, tenemos: $$f_k\ge f_k{\chi }_{E_k}\ge s_k{\chi }_{E_k}=\sum _{j=1}^m{\alpha }_j{\chi }_{A_j\cap E_k}$$ $$⟹\int f_k\mathrm{d}\lambda \ge \sum _{j=1}^m{\alpha }_j\lambda (A_j\cap E_k).$$
Haciendo tender $k⟶\mathrm{\infty }$ concluimos finalmente: $$\underset{k\to \mathrm{\infty }}{lim}\int f_k\mathrm{d}\lambda \ge \underset{k\to \mathrm{\infty }}{lim}(\sum _{j=1}^m{\alpha }_j\lambda (A_j\cap E_k))=\sum _{j=1}^m{\alpha }_j\lambda (A_j)=\int s\mathrm{d}\lambda >c.$$ Lo que completa la demostración.

Corolario. Si $f,g:{\mathbb{R}}^n\to [0,\mathrm{\infty }]$, entonces son funciones medibles no negativas, entonces: $$\int (f+g)\mathrm{d}\lambda =\int f\mathrm{d}\lambda +\int g\mathrm{d}\lambda .$$

Demostración. Como ya sabemos, podemos encontrar sucesiones crecientes en $S$ , digamos $\{s_k{\}}_{k=1}^{\mathrm{\infty }}$ y $\{t_k{\}}_{k=1}^{\mathrm{\infty }}$, tales que $$s_k\uparrow f\text{y}{t}_k\uparrow g$$ De donde claramente $$(s_k+t_k)\uparrow f+g$$
Por el teorema de la convergencia monótona, aplicado a las sucesiones $\{s_k{\}}_{k=1}^{\mathrm{\infty }}$, ${t_k}_{k=1}^{\mathrm{\infty }}$, $\{s_k+t_k{\}}_{k=1}^{\mathrm{\infty }}$ podemos concluir:

$$\begin{array}{rl}\int (f+g)\mathrm{d}\lambda & =\underset{k\to \mathrm{\infty }}{lim}\int (s_k+t_k)\mathrm{d}\lambda \\ & =\underset{k\to \mathrm{\infty }}{lim}(\int s_k\mathrm{d}\lambda +\int t_k\mathrm{d}\lambda )\\ & =\underset{k\to \mathrm{\infty }}{lim}(\int s_k\mathrm{d}\lambda )+\underset{k\to \mathrm{\infty }}{lim}(\int t_k\mathrm{d}\lambda )\\ & =\int f\mathrm{d}\lambda +\int g\mathrm{d}\lambda .\end{array}$$

Pues ya sabemos que $\int (s+t)\mathrm{d}\lambda =\int s\mathrm{d}\lambda +\int t\mathrm{d}\lambda$ si $s,t\in S$.

Corolario. Si $f_1,f_2,f_3\dots$ es una sucesión de funciones medibles no negativas en ${\mathbb{R}}^n$, entonces $$\int \sum _{k=1}^{\mathrm{\infty }}{f}_k\mathrm{d}\lambda =\sum _{k=1}^{\mathrm{\infty }}\int f_k\mathrm{d}\lambda .$$

Demostración. Como las $f_k$ son no negativas, la sucesión de sumas parciales $$P_N=\sum _{k=1}^N{f}_k.$$ Es una sucesión creciente de funciones medibles no negativas. Así que su límite $$\sum _{k=1}^{\mathrm{\infty }}{f}_k.$$ Existe y es una función medible (en cada punto es el límite de una sucesión creciente de números).

Como $f_k\ge 0$ $⟹$ $\int f_k\mathrm{d}\lambda$ para toda $k$, de modo que la sucesión de sumas parciales de integrales $\sum _{k=1}^N\int f_k\mathrm{d}\lambda$ es creciente y por lo tanto tiene un límite (posiblemente extendido): $$\sum _{k=1}^{\mathrm{\infty }}\int f_k\mathrm{d}\lambda .$$

Por el teorema de la convergencia monótona y el primer corolario:

$$\begin{array}{rl}\int \sum _{k=1}^{\mathrm{\infty }}{f}_k\mathrm{d}\lambda & =\underset{N\to \mathrm{\infty }}{lim}\int \sum _{k=1}^N{f}_k\mathrm{d}\lambda \\ & =\underset{N\to \mathrm{\infty }}{lim}\sum _{k=1}^N\int f_k\mathrm{d}\lambda \\ & =\sum _{k=1}^{\mathrm{\infty }}\int f_k\mathrm{d}\lambda \end{array}$$

Más adelante…

Veremos que, en general, las hipótesis del teorema de la convergencia monótona no se pueden «relajar mucho». Sin embargo, siempre podemos dar un estimado (desigualdad) con respecto a límites e integrales: El Lema de Fatou.

Tarea moral