MATERIAL EN REVISIÓN

Introducción

Hasta ahora, sólo hemos definido la integral para funciones medibles no negativas. En esta entrada veremos que la definición se puede extender a funciones medibles más generales (no necesariamente $\ge 0$) heredando muchas de sus propiedades. Definiremos también el concepto de integrabilidad (o función $L^1$) que será una hipótesis esencial en muchos de nuestros desarrollos más adelante.

Definición. Sea $f:{\mathbb{R}}^n\to [-\mathrm{\infty },\mathrm{\infty }]$ una función medible, con parte positiva y negativa $f_{+}$ y $f_{-}$ respectivamente. Definimos la integral de $f$ como

$$\int f\mathrm{d}\lambda =\int f_{+}\mathrm{d}\lambda -\int f_{-}\mathrm{d}\lambda .$$

Siempre que este número esté bien definido.

Si $\int f_{+}\mathrm{d}\lambda$ y $\int f_{-}\mathrm{d}\lambda$ son ambas finitas, entonces decimos que $f$ es integrable.

Notación. Denotaremos a la clase de funciones integrables como $L^1({\mathbb{R}}^n,\mathcal{L},\lambda )$, $L^1({\mathbb{R}}^n)$ , o simplemente $L^1$.

Observaciones.

• La definición tiene sentido (siempre que $\int f_{+}\mathrm{d}\lambda -\int f_{-}\mathrm{d}\lambda$ exista), pues si $f$ es medible entonces $f_{+}$ y $f_{-}$ son medibles no negativas por lo que admiten integrales bien definidas.
• Si $f\ge 0$, la nueva definición es consistente con la definición de integral para funciones medibles no negativas, pues en este caso $f=f_{+}$ y $f_{-}=0$.
• A diferencia de las funciones no negativas, no todas las funciones medibles admiten una integral.
• Si $f\in L^1({\mathbb{R}}^n)$, entonces $\int f_{+}\mathrm{d}\lambda -\int f_{-}\mathrm{d}\lambda$ es un número real. En general, enfocaremos nuestro análisis en las funciones en $L^1$ pues es un espacio lo «suficientemente general» y con propiedades más «manejables».
• Más adelante veremos que conviene pensar a $L^1$ como un conjunto de clases de equivalencia, identificando funciones que son «casi iguales» en cierto sentido, aunque de momento es mejor pensar que $f\in L^1$ es un atajo notacional para decir que $f$ es integrable.

Veamos primero un par de Lemas que facilitarán nuestro estudio de las funciones integrables.

Lema. Si $f:{\mathbb{R}}^n\to [0,\mathrm{\infty }]$ es una función medible no negativa con integral finita $0\le \int f\mathrm{d}\lambda <\mathrm{\infty }$, entonces $I=\{x\in {\mathbb{R}}^n|f(x)=\mathrm{\infty }\}$ es de medida cero.

Demostración. Supongamos por el contrario que $\lambda (I)>0$. Consideremos la sucesión de funciones simples: $$s_k=k{\chi }_I\mathrm{\forall }k\in {\mathbb{R}}^n$$
Claramente $s_k\le f$ para toda $k$, de donde $$\int f\mathrm{d}\lambda \ge \int s_k\mathrm{d}\lambda =k\lambda (I).$$
Como $k\lambda (I)⟶\mathrm{\infty }$ cuando $k⟶\mathrm{\infty }$, la única posibilidad es $\int f\mathrm{d}\lambda =\mathrm{\infty }$ lo cual es una contradicción.

Proposición (desigualdad del triángulo). Si $f\in L^1$ es una función medible y con integral bien definida, entonces $$|\int f\mathrm{d}\lambda |\le \int |f|\mathrm{d}\lambda .$$
Además $f\in L^1$ $⟺$ $|f|\in L^1$.

Demostración. Notemos que $|f|=f_{+}+f_{-}$. Como $f_{+}$, $f_{-}$ son medibles no negativas (y ya establecimos la aditividad para el caso de funciones no negativas): $$\int |f|\mathrm{d}\lambda =\int f_{+}\mathrm{d}\lambda +\int f_{-}\mathrm{d}\lambda .$$
Evidentemente $\int f_{+}\mathrm{d}\lambda \le \int f_{+}\mathrm{d}\lambda$ y $-\int f_{-}\mathrm{d}\lambda \le \int f_{-}\mathrm{d}\lambda$, por lo que $$\int f\mathrm{d}\lambda =\int f_{+}\mathrm{d}\lambda -\int f_{-}\mathrm{d}\lambda \le \int f_{+}\mathrm{d}\lambda +\int f_{-}\mathrm{d}\lambda =\int |f|\mathrm{d}\lambda .$$

Similarmente $$-\int f\mathrm{d}\lambda =\int f_{-}\mathrm{d}\lambda -\int f_{+}\mathrm{d}\lambda \le \int f_{+}\mathrm{d}\lambda +\int f_{-}\mathrm{d}\lambda =\int |f|\mathrm{d}\lambda .$$

Por lo que $$|\int f\mathrm{d}\lambda |\le \int |f|\mathrm{d}\lambda .$$

Si $f\in L^1$ $⟹$ $\int f_{+}\mathrm{d}\lambda ,\int f_{-}\mathrm{d}\lambda <\mathrm{\infty }$ $⟹$ $\int |f|\mathrm{d}\lambda =\int f_{+}\mathrm{d}\lambda +\int f_{-}\mathrm{d}\lambda <\mathrm{\infty }$ por lo que $|f|\in L^1$. Inversamente si $\int f\mathrm{d}\lambda \in L^1$, como $f_{+},f_{-}\le |f|$ $⟹$ $\int f_{+}\mathrm{d}\lambda ,\int f_{-}\mathrm{d}\lambda \le \int |f|\mathrm{d}\lambda <\mathrm{\infty }$ por lo que $f\in L^1$.

Proposición (Linealidad de la Integral). Supongamos que $f,g\in L^1$ y $a\in b\in \mathbb{R}$. Entonces $af+bg\in L^1$ con $$\int (f+g)\mathrm{d}\lambda =a\int f\mathrm{d}\lambda +b\int g\mathrm{d}\lambda .$$

Observación. Hay un un detalle en ésta proposición: Es posible que $af+bg$ no esté definida en todo ${\mathbb{R}}^n$ (piensa por ejemplo que $f(0)=g(0)=\mathrm{\infty }$ $⟹$ $(f-g)(0)$ no está definida). Los puntos que «pueden dar problemas» son aquellos en los que $f$ o $g$ vale $\pm \mathrm{\infty }$, sin embargo, por el lema anterior éste conjunto es de medida cero, así que $af+bg$ está bien definida salvo quizá un conjunto de medida cero. Más adelante veremos que a la hora de integrar podemos «ignorar» los conjuntos de medida cero, es decir, podemos redefinir $f$ y $g$ en un conjunto de medida cero sin afectar la integral. Por esta razón podemos suponer sin mayor problema que $f,g$ son finitas en todo ${\mathbb{R}}^n$.

Demostración. Basta probar por separado: $$\int af\mathrm{d}\lambda =\int f\mathrm{d}\lambda ,$$ $$\int (f+g)\mathrm{d}\lambda =\int f\mathrm{d}\lambda +\int g\mathrm{d}\lambda .$$

Veamos la primera parte. Podemos distinguir dos casos:

• Si $a\ge 0$, tenemos $(af{)}_{+}=a{f}_{+}$ y $(af{)}_{-}=a{f}_{-}$. Luego
  $$\begin{array}{rl}\int af\mathrm{d}\lambda & =\int a{f}_{+}\mathrm{d}\lambda –\int a{f}_{-}\mathrm{d}\lambda \\ & =a\int f_{+}\mathrm{d}\lambda –a\int f_{-}\mathrm{d}\lambda \\ & =a(\int f_{+}\mathrm{d}\lambda -\int f_{-}\mathrm{d}\lambda )\\ & =a\int f\mathrm{d}\lambda \end{array}$$
  En la segunda igualdad usamos la proposición para el caso $f\ge 0$ que ya probamos.
• Similarmente, cuando $a<0$, $(af{)}_{+}=(-a)f_{-}$ y $(af{)}_{-}=(-a)f_{+}$, tenemos
  $$\begin{array}{rl}\int af\mathrm{d}\lambda & =\int (-a)f_{-}\mathrm{d}\lambda –\int (-a)f_{+}\mathrm{d}\lambda \\ & =(-a)\int f_{-}\mathrm{d}\lambda +a\int f_{+}\mathrm{d}\lambda \\ & =a(\int f_{+}\mathrm{d}\lambda -\int f_{-}\mathrm{d}\lambda )\\ & =a\int f\mathrm{d}\lambda \end{array}$$

Veamos ahora la segunda parte. Sea $h=f+g$. Entonces $|h|\le |f|+|g|$ $⟹$ $\int |h|\mathrm{d}\lambda \le \int |f|\mathrm{d}\lambda +\int |g|\mathrm{d}\lambda <\mathrm{\infty }$ $⟹$ $|h|\in L^1$ $⟹$ $h\in L^1$ (desigualdad del triángulo).

Ahora, como podemos escribir: $$h_{+}-h_{-}=h=f+g=(f_{+}-f_{-})+(g_{+}-g_{-})$$
$$⟹h_{+}+f_{-}+g_{-}=h_{-}+f_{+}+g_{+}$$

Integrando y usando la proposición para funciones no negativas (que ya probamos)
$$⟹\int h_{+}\mathrm{d}\lambda +\int f_{-}\mathrm{d}\lambda +\int g_{-}\mathrm{d}\lambda =\int h_{-}\mathrm{d}\lambda +\int f_{+}\mathrm{d}\lambda +\int g_{+}\mathrm{d}\lambda .$$

Reordenando los términos y usando la definición concluimos:
$$\int (f+g)\mathrm{d}\lambda =\int f\mathrm{d}\lambda +\int g\mathrm{d}\lambda .$$

Corolario (Monotonía de la integral). Sean $f,g\in L^1({\mathbb{R}}^n)$ con $f\le g$. Entonces $$\int f\mathrm{d}\lambda \le \int g\mathrm{d}\lambda .$$

Demostración. Notemos que $g-f\ge 0$, y por el teorema anterior $g-f\in L^1({\mathbb{R}}^n)$. Luego:

$$0\le \int (f-g)\mathrm{d}\lambda =\int f\mathrm{d}\lambda -\int g\mathrm{d}\lambda$$
$$⟹\int g\mathrm{d}\lambda \le \int f\mathrm{d}\lambda .$$

Más adelante…

Enunciaremos y probaremos otro de los teoremas más importantes de teoría de integración: El Teorema de la Convergencia Dominada. Al igual que el Teorema de la convergencia Monótona, éste es un resultado de «intercambio de límites con integrales», pero es aplicable incluso cuando las funciones no son $\ge 0$.

Tarea Moral