MATERIAL EN REVISIÓN

Introducción

Hasta ahora, hemos estudiado la integral de Lebesgue para funciones definidas (en c.t.p.) de $\mathbb{R}^n$. Sin embargo, quizá como analogía con la integral de Riemann, es esperable que podamos definir la integral sobre conjuntos más generales, por ejemplo rectángulos o esferas. Esto es precisamente lo que estudiaremos en esta sección.

Integración sobre subconjuntos

Si queremos integrar una función $f$ sobre un conjunto $E$, una noción bastante natural es la siguiente:

Definición. Dada una función medible $f:\mathbb{R}^n\to [-\infty, \infty]$ y un conjunto medible $E\subseteq \mathbb{R}^n$, definimos la integral de $f$ sobre $E$ (cuando tenga sentido) como: $$\int_E f \ \mathrm{d}\lambda=\int f\cdot \chi_E \ \mathrm{d}\lambda.$$ Donde $\chi_E$ es la función característica de $E$.

Ejemplo. Como un caso particular, tenemos la integral sobre todo $\mathbb{R}^n$: $$\int_{\mathbb{R}^n} f \ \mathrm{d}\lambda=\int f\chi_{\mathbb{R}^n} \ \mathrm{d}\lambda=\int f \ \mathrm{d}\lambda.$$

Observación. Si una función $f$ solamente está definida sobre c.t.p de $E$ (i.e., salvo un conjunto de medida cero), podemos convenir que:

\begin{equation*}
f\cdot\chi_E(x)=
\begin{cases}
f(x) & \text{si } x\in E\\
0 & \text{si } x\notin E
\end{cases}
\end{equation*}

Diremos que $f$ es medible sobre $E$ si la función (definida en c.t.p.) $f\cdot\chi_E$ es medible y definimos su integral como antes (siempre que tenga sentido).

Definición. Dada una función definida en c.t.p. de $E$, diremos que $f$ es integrable sobre $E$, si $f\chi_E\in L^1(\mathbb{R}^n)$, y lo denotaremos por $f\in L^1(E)$.

Ejemplo. Si $f\in L^1(\mathbb{R}^n)$ $\implies$ $f\in L^1(E)$ para cualquier $E$ subconjunto medible, pues en general $|f\chi_E|\leq |f|$ $\implies$ $\int |f\chi_E| \ \mathrm{d}\lambda\leq \int |f| \ \mathrm{d}\lambda<\infty$. O más generalmente, si $f\in L^1(F)$ y $E\subseteq F$ $\implies$ $f\in L^1(E)$. El mismo argumento funciona.

El regreso es falso. Por ejemplo la función constante $g\equiv 5$ no es $L^1(\mathbb{R}^n)$ pues $\int g \ \mathrm{d}\lambda=\infty$, sin embargo, para cualquier conjunto acotado $E$, $\int_E g \ \mathrm{d}\lambda=\int 5\chi_E \ \mathrm{d}\lambda=5\lambda(E)<\infty$.

$\triangle$

Ejemplo. Sea $f(x)=\frac{x}{|x|}.$ si $x\neq 0$ y $f(0)=0$. Entonces $$\int_{[2,3]}f \ \mathrm{d}\lambda = \int f\chi_{[2,3]} \ \mathrm{d}\lambda=\int \chi_{[2,3]} \ \mathrm{d}\lambda=\lambda([2,3])=1;$$

\begin{align*}
\int_{[-10,-5)} f \ \mathrm{d}\lambda &= \int f\chi_{[-10,-5)} \ \mathrm{d}\lambda=\int (-1)\chi_{[-10,-5)} \ \mathrm{d}\lambda \\
&=-\int \chi_{[-10,-5)} \ \mathrm{d}\lambda=-\lambda([-10,-5))=-5;
\end{align*}

\begin{align*}
\int_{(-1,1)}f \ \mathrm{d}\lambda &= \int f\chi_{(-1,1)} \ \mathrm{d}\lambda= \int (-1)\chi_{(-1,0)} \ \mathrm{d}\lambda+\int (1)\chi_{(0,1)} \ \mathrm{d}\lambda\\
&=-\lambda((-1,0))+\lambda((0,1))=0.
\end{align*}

$\triangle$

Notación. Por lo general, denotaremos la integrales sobre un intervalo $I\subseteq \mathbb{R}$ con extremos $a<b$ como $$\int_a^bf \ \mathrm{d}\lambda=\int_a^bf(x) \ \mathrm{d}x$$ Observa que el tipo de intervalo (abierto, semicerrado, etc.) es irrelevante pues los extremos de un intervalo son conjuntos de medida cero.

Para ilustrar, las integrales del ejemplo anterior se reescribirían como: $\int_2^3f \ \mathrm{d}\lambda$; $\int_{-10}^{-5}f \ \mathrm{d}\lambda$; $\int_{-1}^1f \ \mathrm{d}\lambda$ respectivamente.

Propiedades de la integral sobre subconjuntos

Las siguientes propiedades son todas consecuencias sencillas de la definición y sus análogos para la integral en todo $\mathbb{R}^n$. Omitimos la demostración.

Proposición. Sean $A,B\in \mathcal{L}$ . Entonces:

1. Si $f,g\in L^1(A)$ y $a,b\in \mathbb{R}$, entonces $$\int_A af+bg \ \mathrm{d}\lambda=a\int_A f \ \mathrm{d}\lambda+b\int_A g \ \mathrm{d}\lambda.$$
2. Si $f=g$ en c.t.p. sobre $A$ y $f\in L^1(A)$ entonces $g\in L^1(A)$ con $$\int_A f \ \mathrm{d}\lambda=\int_A g \ \mathrm{d}\lambda.$$
3. Si $f\in L^1(A),L^1(B)$ y $\lambda(A\cap B)=0$ entonces $$\int_{A\cup B} f \ \mathrm{d}\lambda=\int_A f \ \mathrm{d}\lambda+\int_B f \ \mathrm{d}\lambda.$$
4. (Monotonía sobre funciones).) Si $f,g\in L^1(A)$ y $f\leq g$ entonces $$\int_A f \ \mathrm{d}\lambda \leq \int_A g \ \mathrm{d}\lambda.$$
5. (Monotonía sobre conjuntos). Si $f\in L^1(B)$ con $f\geq 0$ y $A\subseteq B$ entonces $f\in L^1(A)$ y $$\int_A f \ \mathrm{d}\lambda\leq \int_B f \ \mathrm{d}\lambda.$$
6. (Desigualdad del triángulo). $f\in L^1(A)$ $\iff$ $|f|\in L^1(A)$. Además $$ \left| \int_A f \ \mathrm{d}\lambda \right| \leq \int_A |f| \ \mathrm{d}\lambda.$$
7. (Convergencia monótona). Sea $0\leq f_1\leq f_2 \leq \dots$ una sucesión creciente de funciones medibles y no negativas sobre $A$. Entonce $\lim_{k\to \infty} f_k$ es medible con $$\lim_{k\to \infty} \int_A f_k \ \mathrm{d}\lambda=\int_A \lim f_k \ \mathrm{d}\lambda.$$
8. (Convergencia dominada). Sea $\{ f_k \}_{k=1}^{\infty} $ una sucesión de funciones medibles sobre $A$ tales que existe $g\in L^1(A)$ con: $$|f_k(x)|\leq g(x)$$ Para casi todo $x\in A$. Entonces $\lim f_k$ es integrable sobre $A$ con $$\lim_{k\to \infty} \int_A f_k \ \mathrm{d}\lambda=\int_A \lim f_k \ \mathrm{d}\lambda.$$

Proposición (Aditividad numerable de la integral). Sean $E_1,E_2,\dots$ conjuntos medibles disjuntos y $E=\bigcup_{k=1}^{\infty}E_k$. Sea $f:E\to [-\infty,\infty]$ medible sobre $E$. Supongamos adicionalmente que ocurre alguna de las dos siguientes:

• $f\geq 0$.
• $f\in L^1(E)$.

Entonces $$\int_E f \ \mathrm{d}\lambda=\sum_{k=1}^{\infty}\int_{E_k} f \ \mathrm{d}\lambda.$$

Demostración. Para el primer caso:

\begin{align*}
\int_E f \ \mathrm{d}\lambda &= \int f\chi_E \ \mathrm{d}\lambda \\
&= \int \sum_{k=1}^{\infty} f\chi_{E_k} \ \mathrm{d}\lambda \\
&= \sum_{k=1}^{\infty} \int f\chi_{E_k} \ \mathrm{d}\lambda\\
&= \sum_{k=1}^{\infty} \int_{E_k} f \ \mathrm{d}\lambda
\end{align*}

En la segunda igualdad usamos $\chi_E=\sum_{k=1}^{\infty} \chi_{E_k}$, consecuencia de que los $E_k$ son ajenos. La tercera igualdad es debido a que la integral conmuta con sumas de funciones positivas.

Para el segundo caso, notemos que, similarmente al caso anterior: $$\sum_{k=1}^{\infty} \int |f|\chi_{E_k} \ \mathrm{d}\lambda=\int \sum_{k=1}^{\infty} |f|\chi_{E_k} \ \mathrm{d}\lambda=\int |f|\chi_{E} \ \mathrm{d}\lambda=\int_E |f| \ \mathrm{d}\lambda<\infty.$$

Lo que garantiza que podemos intercambiar sumas con integrales [ENLACE]:

$$\sum_{k=1}^{\infty} \int_{E_k} f \ \mathrm{d}\lambda=\sum_{k=1}^{\infty} \int f\chi_{E_k} \ \mathrm{d}\lambda=\int \sum_{k=1}^{\infty} f\chi_{E_k} \ \mathrm{d}\lambda=\int_E f \ \mathrm{d}\lambda.$$
Como queríamos probar.

$\square$

Continuidad absoluta

Veamos ahora un resultado «de continuidad» para la integral de funciones en $L^1$. En general, nos dice que «la integral sobre conjuntos pequeños es uniformemente pequeña» o alternativamente, que una función $L^1$ no puede acumular su «masa» sobre conjuntos arbitrariamente pequeños.

Teorema (Continuidad absoluta respecto al dominio). Sea $f\in L^1(\mathbb{R}^n)$ y $\varepsilon>0$. Entonces existe $\delta>0$ tal que si $E\in \mathcal{L}$ es medible con $\lambda(E)<\delta$ entonces $$\left| \int_E f \ \mathrm{d}\lambda \right|<\varepsilon.$$

Demostración. Supongamos primero que $f\geq 0$. Por definición, existe una función simple $s\in S$ tal que $0\leq s \leq f$ y $$\int s \ \mathrm{d}\lambda > \int f \ \mathrm{d}\lambda-\frac{\varepsilon}{2}.$$

Como $s$ es simple, en particular es acotada (sólo toma una cantidad finita de valores), así que existe $C>0$ tal que $$s(x)\leq C \ \ \ \forall x\in \mathbb{R}^n.$$

Luego:

\begin{align*}
\int_E f \ \mathrm{d}\lambda &= \int_E s \ \mathrm{d}\lambda + \int_E (f-s) \ \mathrm{d}\lambda \\
&\leq \int_E C \ \mathrm{d}\lambda+\int_{\mathbb{R}
^n} (f-s) \ \mathrm{d}\lambda \\
&\leq \int_E C \ \mathrm{d}\lambda+\int_{\mathbb{R}
^n} f \ \mathrm{d}\lambda – \int_{\mathbb{R}
^n} s \ \mathrm{d}\lambda \\
&< C\lambda(E)+\frac{\varepsilon}{2}.
\end{align*}

Así que si tomamos cualquier $E$ con $\lambda(E)< \frac{\varepsilon}{2C}=\delta$ se cumple lo buscado.

El caso general se sigue del caso no negativo aplicado a $|f|$ y la desigualdad del triángulo.

$\square$

Más adelante…

Veremos la relación que existe entre la integral de Riemann y la integral de Lebesgue. Veremos que la integral de Lebesgue es una generalización de la integral de Riemann. Esto nos permitirá usar todas las herramientas conocidas de la integral de Riemann (cuando apliquen) como el teorema fundamental del cálculo para evaluar integrales.

Tarea moral

• Sea $f$ una función definida (en c.t.p.) sobre $E$. Demuestra que las siguientes son equivalentes:
  • $f$ es medible sobre $E$.
  • Para cada $t\in [-\infty, \infty]$, $f^{-1}([-\infty,t])\cap E\in \mathcal{L}$.
  • Para cualquier $B\in \mathcal{B}$ conjunto de Borel, $f^{-1}(B)\cap E\in \mathcal{L}$.
• Sea $E$ un conjunto medible. Sea $f$ una función medible sobre $E$. Supongamos que existe $M>0$ tal que $\{x\in E \ | \ f(x)>M \}$ es nulo.
  • Prueba que si $\lambda(E)<\infty$, entonces $f\in L^1(E)$.
  • ¿Se cumple lo anterior si $\lambda(E)=\infty$?