MATERIAL EN REVISIÓN
Introducción
En la entrada pasada definimos el concepto de función simple y como es que estas funciones se integran respecto a la medida de Lebesgue. En esta entrada definiremos la integral para funciones medibles más generales y veremos algunas de sus propiedades.
Integración de funciones no negativas
A modo de recordatorio, en la entrada pasada vimos un resultado interesante: Toda función medible no negativa se puede «aproximar» por una sucesión creciente de funciones simples [ENLACE]. Es entonces natural definir la integral de una función medible (y no negativa) precisamente como una aproximación de integrales de funciones simples (que ya sabemos como integrar).
Al igual que en la entrada pasada, denotaremos por $S$ al conjunto de funciones simples medibles $s$ con $0\leq s\leq \infty$.
Definición. Supongamos que $f:\mathbb{R}^n\to [0,\infty]$ es una función medible no negativa. Definimos la integral de $f$ respecto a la medida de Lebesgue como: $$\int f \ \mathrm{d}\lambda=\sup\left\{ \int s \ \mathrm{d}\lambda \ | \ s\leq f, \ s\in S \right\}.$$
Observa que la integral está bien definida para cualquier función medible no negativa al ser el supremo de un conjunto.
Otras notaciones que usaremos a menudo para denotar la integral (y que puedes encontrar en la bibliografía) son $$\int f, \ \
\int_{\mathbb{R}^n} f, \ \ \int_{\mathbb{R}^n} f \ \mathrm{d}\lambda, \ \ \int f \ \mathrm{d}x, \ \ \int_{\mathbb{R}^n} f(x) \ \mathrm{d}x.$$
Entre otras. En algunos textos, también se puede denotar como:
$$\int_{\mathbb{R}^n} \mathrm{d}\lambda \ f, \ \ \int_{\mathbb{R}^n} \mathrm{d}x \ f(x) .$$
Proposición (Propiedades de la integral de una función no negativa).
- $0\leq \int f \ \mathrm{d}\lambda \leq \infty$
- Si $0\leq c<\infty$ es una constante, $\int cf \ \mathrm{d}\lambda=c\int f \ \mathrm{d}\lambda.$
- Si $f\leq g$, entonces $\int f \ \mathrm{d}\lambda\leq \int g \ \mathrm{d}\lambda.$
- Si $\int f \ \mathrm{d} \lambda=0$ $\implies$ $Z=\{ x \ | \ f(x)>0 \}$ es un conjunto nulo.
Demostración. 1 es inmediato pues $\int f \ \mathrm{d}\lambda$ es el supremo de un conjunto de números $\geq 0$ .
Para 2. notemos simplemente que:
\begin{align*}
\int cf \ \mathrm{d}\lambda &= \sup\left\{ \int s \ \mathrm{d}\lambda \ | \ s\leq cf, \ s\in S \right\} \\
&=\sup\left\{ \int ct \ \mathrm{d}\lambda \ | \ t\leq f, \ t\in S \right\} \\
&=\sup\left\{ c\int t \ \mathrm{d}\lambda \ | \ t\leq f, \ t\in S \right\} \\
&=c \ \sup\left\{ \int t \ \mathrm{d}\lambda \ | \ t\leq f, \ t\in S \right\} \\
&= c \int f \ \mathrm{d}\lambda.
\end{align*}
Si $f\leq g$, claramente
$$\left\{ \int s \ \mathrm{d}\lambda \ | \ s\leq f, \ s\in S \right\}\subseteq \left\{ \int t \ \mathrm{d}\lambda \ | \ t\leq g, \ t\in S \right\}$$
Tomando supremos se sigue 3.
Para 4. procedamos por contradicción: Supongamos que $\lambda(Z)>0$. Para cada $k$, definamos $Z_k=\{ x \ | \ f(x)>\frac{1}{k} \}$. Entonces $Z_1\subseteq Z_2\subseteq Z_3\subseteq\dots$ es una sucesión creciente de conjuntos medibles con $$Z=\bigcup_{k=1}^{\infty} Z_k.$$ Así que por monotonía de la medida de Lebesgue: $$\lambda(Z_k)\uparrow \lambda(Z).$$ En particular, podemos encontrar un $N$ suficientemente grande tal que $\lambda(Z_N)>0$. Consideremos ahora la función $s=\frac{1}{N}\chi_{Z_N}\in S$. Notemos que $s\leq f$. Entonces por definición: $$0<\frac{1}{N}\lambda(Z_N)=\int s \ \mathrm{d} \lambda\leq \int f \ \mathrm{d} \lambda$$ Lo cual es una contradicción.
$\square$
Por analogía al caso para integrales simples, uno podría esperar que $$\int (f+g) \ \mathrm{d}\lambda=\int f \ \mathrm{d}\lambda+\int g \ \mathrm{d}\lambda.$$ Esto es de hecho cierto pero no es trivial. Por un análisis similar a los anteriores es sencillo probar que $\int (f+g) \ \mathrm{d}\lambda \geq \int f \ \mathrm{d}\lambda+\int g \ \mathrm{d}\lambda$, sin embargo, es fácil convencerse de que la desigualdad opuesta requiere mucho más trabajo.
Para afrontar dificultades como la anterior, introduciremos uno de los teoremas más fundamentales de la teoría de integración de Lebesgue: El teorema de La convergencia monótona.
Más adelante…
Enunciaremos y probaremos el Teorema de la Convergencia Monótona, una de las herramientas más importantes en la teoría de integración y veremos algunas de sus consecuencias. Como un corolario muy importante, veremos que simplifica considerablemente la demostración de que $\int (f+g) \ \mathrm{d}\lambda=\int f \ \mathrm{d}\lambda+\int g \ \mathrm{d}\lambda$.