Capı́tulo 4

LA INTEGRAL DE LEBESGUE
EN Rn

Introducción: La integral de Riemann y la integral de Lebesgue

Nuestro objetivo es estudiar una teorı́a de integración para funciones de varias variables que
tenga aplicaciones como ya sabemos que las tiene la conocida integral de Riemann para funciones
de una variable. En el capı́tulo siguiente veremos varias modalidades de integración con interesantes
aplicaciones geométricas y fı́sicas, pero el punto de partida de todo se encuentra en este capı́tulo,
en el queremos definir una integral Z
f
A
donde A ⊆ Rn y f : A −→ R sean lo más generales posibles. La teorı́a que desarrollaremos, debida a
Lebesgue, va a tener interés incluso para funciones de una variable porque extenderemos la integral
de Riemann mediante la integral de Lebesgue que a la postre permite integrar más funciones y
tiene mejores propiedades que aquélla.
La integral de Riemann en R,
Z b
f (x)dx
a

se define de un modo muy intuitivo (particiones de [a, b], sumas inferiores y superiores, etc.) basado
en consideraciones geométricas conducentes a hallar áreas de recintos. Pero cuando se prueba la
regla de Barrow o el teorema fundamental del cálculo, la integral se convierte en una poderosa
herramienta analı́tica que tiene que ver con la derivación (resulta ser la operación inversa) y que
aporta mucha luz al análisis de las funciones:

1. Resuelve el problema de encontrar la primitiva de una función continua.

2. Permite definir nuevas funciones a partir de otras muy sencillas. Por ejemplo, una manera
muy útil y sencilla de definir la función logaritmo es mediante
Z x
1
log x = dt.
1 t

O también, funciones imprescindibles en la matemática aplicada como son la función gamma

y la función beta se definen por medio de la integral.

3. La integral sirve para comprender mejor las funciones y los espacios de funciones. Aunque
para entender bien este aspecto se necesitarán más cursos de análisis en la licenciatura, en
el capı́tulo 7 se podrá ver cómo una adecuada integral para funciones complejas resuelve el
problema de demostrar que toda función holomorfa es analı́tica.

1
2 CAPÍTULO 4. LA INTEGRAL DE LEBESGUE EN RN

Adelantemos que un primer problema de la integral Riemann es que limita el tipo de funciones que
se pueden integrar y el dominio en el que se integra. Pero, lo primero que podrı́amos pensar para
funciones de varias variables es imitar el procedimiento de Riemann. Breve y esquemáticamente
serı́a ası́:
Sea A = [a1 , b1 ] × [a2 , b2 ] × · · · × [an , bn ] lo que se llama una caja en Rn , y sea f : A −→ R.
Llamaremos partición de A a cualquier colección finita de cajas (subcajas de A) P = {B1 , . . . , BN }
tal que [
A= Bi , Bi◦ ∩ Bj◦ = ∅, ∀i 6= j.
Definimos el volumen n-dimensional de una caja como

mn (A) = (b1 − a1 ) · (b2 − a2 ) · · · (bn − an )

(que para n = 2 es el área y para n = 3 el volumen). Eligiendo puntos en cada una de las subcajas
x1 , . . . , xN , xk ∈ Bk , denotamos T = (x1 , . . . , xN ), y llamamos suma de Riemann a la expresión
N
X
S(f, P, T ) = mn (Bk )f (xk )
k=1

(lo que expresa, si n = 2 el volumen de una colección de prismas de base rectangular que se parece
al volumen que encierra el grafo de f ; hágase un dibujo para verlo).
Entonces, se dice que f es integrable Riemann en A si
Z
∃ lı́m S(f, P, T ) (= f (x)dx)
kP k→0 A

Con esfuerzo adicional se extiende la integral a algunos dominios de Rn más generales que las
cajas (que se pueden aproximar por cajas). Pero resulta una teorı́a insuficiente (aunque, como
comentaremos luego, esto no se percibı́a en los tiempos de Riemann) y además difı́cil de manejar;
los teoremas que hacen práctica esta integral (Fubini, cambio de variable, derivación bajo el signo
integral,...) tienen demostraciones engorrosas y con demasiados problemas técnicos que ocultan las
ideas.
De hecho, la teorı́a resulta insuficiente incluso en R, aunque para los propósitos del curso pasado
bastó. Aquı́ también nos podrı́amos arreglar con la integral de Riemann en Rn , y numerosos textos
de análisis de varias variables siguen funcionando con esta integral, pero con esos inconvenientes y
defectos que, en el caso de R (y en Rn todavı́a es peor), vamos a enumerar:

Defectos de la integral Riemann

1. Llamemos R = {f : [a, b] −→ R : f es integrable Riemann}. El espacio R es pequeño; se
pueden integrar pocas funciones. Por ejemplo, la función de Dirichlet

1, x ∈ R \ Q
f (x) =
0, x ∈ Q,

no es integrable Riemann en [0, 1]. Este hecho, a mediados del siglo XIX, podı́a parecer
anecdótico; incluso costaba considerar que f fuera una función. Pero a medida que empezaron
a desarrollarse ciertas ramas del análisis como el Análisis de Fourier, surgieron funciones g(x)
como lı́mite puntual de funciones muy buenas gk (x) que en cuanto a continuidad resultaban
tan malas como la función de Dirichlet, y el desarrollo de la teorı́a exigı́a que estas funciones
se pudieran integrar. Por supuesto que R contiene suficientes funciones (continuas a trozos,
monótonas a trozos) para que la integral de Riemann resulte útil en muchos contextos. Fue un
problema abierto durante mucho tiempo caracterizar exactamente la clase R en términos de
continuidad. No se pudo resolver el problema hasta la aparición de Lebesgue con su medida
y su integral.
 3

2. Los dominios de integración son pocos: solamente intervalos, en principio cerrados y acotados,
aunque luego se puede extender la integral, por pasos al lı́mite, a otros (integrales impropias).
3. Los teoremas de paso al lı́mite son insuficientes. Es fácil demostrar que si fk −→ f uniforme-
mente en [a, b], entonces
Z b Z b
fk (x)dx −→ f (x)dx.
a a
Pero, la convergencia uniforme es muy exigente y se da pocas veces en las aplicaciones.
Además, hay situaciones en las que podemos encontrarnos con lı́mites puntuales
g(x) = lı́m gk (x)
donde no cabe ni preguntarse si la integral del lı́mite es el lı́mite de las integrales puesto que g
puede ser no integrable. Por otro lado, este intercambio entre integral y lı́mite es el punto de
partida para poder derivar funciones definidas por integrales dependientes de un parámetro
como las funciones beta y gamma.

Estos inconvenientes desaparecieron con la integral de Lebesgue, a la que éste llegó en 1910
con una teorı́a en la que contribuyeron anteriormente notables matemáticos como Peano, Young,
Jordan, Borel o Cantor.
Lebesgue crea una integral que tiene sentido para, prácticamente, toda función; tiene buenos y
sencillos teoremas de paso al lı́mite, lo que hace que una vez construida sea muy fácil de manejar;
extiende a la integral de Riemann y resuelve el problema de caracterizar la clase R.

Idea de Lebesgue
La principal y simple idea de Lebesgue es trabajar con particiones en el rango de las funciones en
vez de en el dominio y remitir el problema de la integral al problema de la medida. Lo explicaremos
en R comparando con la integral Riemann. Sea una función f : [a, b] −→ R+ y supongamos que su
rango es f ([a, b]) = [α, β]. La integral de Riemann consiste en tomar particiones del intervalo [a, b],
P = {a = x0 , . . . , b = xk } y hacer el lı́mite
k
X Z b
lı́m f (xi ) · long([xi−1 , xi ) (= f (x)dx).
kP k→0 a
i=1

Pero se puede llegar al mismo resultado haciendo particiones en el rango, es decir, tomar en el
intervalo [α, β], Q = {α = y0 , . . . , β = yk } y
k
X
lı́m yi · long(f −1 ([yi−1 , yi ])),
kQk→0
i=1

donde por long(f −1 ([yi−1 , yi ])

queremos expresar la longitud o medida 1 dimensional del conjunto
−1
Ei = f ([yi−1 , yi ]).
Si hacemos un dibujo de una función buena f , veremos que Ei es una unión disjunta de intervalos
y el concepto long(Ei ) es claro: la suma de las longitudes de dichos intervalos: Pero, si f es una
función más extraña, también será extraño el conjunto Ei y, en este caso, ¿qué significa long(Ei )?
Y aquı́ llegamos al famoso problema de la medida: ¿qué subconjuntos de R se pueden medir?
(conjuntos medibles), ¿qué medida le asignamos a un conjunto medible?. Es en estas cuestiones
donde se encuentra la verdadera dificultad de la teorı́a de Lebesgue y no en la definición y manejo
de la integral. Cuando uno aclara el problema de la medida, los teoremas referentes a la integral
son mucho más fuertes que los de Riemann y sus demostraciones mucho más sencillas.
Para abordar el problema de la medida, admitamos con Lebesgue que cualquier cosa que quera-
mos llamar medida m en R junto con los conjuntos que podamos medir con esta medida deberı́an
cumplir:
4 CAPÍTULO 4. LA INTEGRAL DE LEBESGUE EN RN

1. Un intervalo [a, b] debe ser medible y su medida ser

m([a, b]) = b − a
S∞
2. Si (Ek )∞
k=1 son conjuntos medibles y disjuntos dos a dos, entonces k=1 Ek debe ser medible
y su medida cumplir
∞
[ ∞

X
m Ek = m(Ek )
k=1 k=1

3. Si E es medible, entonces E c = R \ E es medible.

4. La medida de cualquier conjunto medible debe ser un número perteneciente a [0, +∞].
5. Si E es medible, cualquier trasladado x + E es medible y
m(E) = m(x + E).

Sin duda, lo mejor serı́a que todos los subconjuntos de Rn fueran medibles, pero desgraciadamente
se prueba que no puede existir una aplicación
m : P(R) −→ [0, +∞]
verificando las propiedades anteriores. Claro que por otro lado es esto lo que hace interesante el
problema de la medida.
Una σ-álgebra en R es un subconjunto de P(R) cerrado para la complementación y para las
uniones infinitas numerables. Lebesgue demostró que existe una σ-álgebra en R, M(R) ⊂ P(R) y
una medida
m : M(R) −→ [0, +∞]
cumpliendo las propiedades anteriores. A esta medida (que se llama de Lebesgue) bien la podrı́amos
llamar longitud. Se demuestra que aunque M(R) no es P(R) contiene a muchı́simos subconjuntos
de R (los abiertos, los cerrados, las uniones numerables de cerrados, las intersecciones numerables
de abiertos, etc.) y volviendo hacia atrás, se podrá hablar de integral para aquellas funciones tales
que
f −1 ([yi−1 , yi ]) ∈ M(R),
(funciones medibles) que son también muchas porque la clase M(R) es muy amplia.
Algo parecido se puede plantear en Rn cambiando los intervalos por cajas y la longitud de
aquéllos por el volumen n-dimensional de éstas. El proceso da lugar a la medida de Lebesgue en
Rn y, como consecuencia, a la integral.
Pero aquı́ no queda todo; la idea de Lebesgue se lleva a conjuntos abstractos X, en el sentido
de que siempre que tengamos una σ-álgebra A en P(X) y una medida
µ : A −→ [0, ∞],
(aplicación cumpliendo la propiedad 2 anterior), se construye con facilidad una integral
Z
f dµ
X
con muy buenas propiedades. Este hecho ha sido fundamental en el desarrollo del Análisis y de la
Teorı́a de la probabilidad en el siglo XX.
En este curso, nos interesa llegar de forma rápida a la definición de integral en Rn y demostrar
las propiedades necesarias para hacerla manejable. Los conceptos previos de teorı́a de la medida
que se necesitan: σ-álgebras, medidas, funciones medibles, existencia de la σ-álgebra y de la medida
de Lebesgue con sus propiedades serán expuestos sin demostración (podrı́a decirse que de forma
axiomática). Es en cursos de análisis posteriores donde se desarrollará con rigor lo que aquı́ no
hagamos.
4.1. TEORÍA DE LA MEDIDA EN RN 5

4.1. Requisitos básicos de teorı́a de la medida en Rn

4.1.1. La σ−álgebra y la medida de Lebesgue en Rn
Definición 4.1.1. Una σ−álgebra en Rn es un conjunto A ⊆ P(Rn ) que verifica:

(a) ∅ ∈ A;

(b) A ∈ A =⇒ Ac ∈ A;
∞
[
(c) {Ai }∞
i=1 ⊆ A =⇒ Ai ∈ A.
i=1

Propiedades 4.1.2. Sea A una σ−álgebra en Rn ;

(a) Rn ∈ A;
m
[
(b) A1 , A2 , . . . , Am ∈ A =⇒ Ai ∈ A;
i=1
∞
\ m
\
(c) {Ai }∞
i=1 ⊆ A =⇒ Ai ∈ A, Ai ∈ A;
i=1 i=1

Ac
T
(d) A, B ∈ A =⇒ B \ A = B ∈ A.

Todas estas propiedades son muy sencillas de demostrar. Por ejemplo, para c) basta observar
que
∞ ∞
[
c \
Ai = (Ai )c .
i=1 i=1
Queremos que, al menos, sean medibles las cajas en Rn . Si llamamos

Cn = {I = [a1 , b1 ] × · · · × [an , bn ] : ai ≤ bi },

es claro que Cn no es una σ−álgebra (la unión de simplemente dos cajas no tiene porqué ser una
caja). Entonces, consideremos la σ−álgebra más pequeña que contiene a Cn .

Definición 4.1.3. Se llama σ−álgebra de Borel en Rn a la σ−álgebra más pequeña que contiene
a las cajas. Los elementos de B(Rn ) se llaman borelianos o conjuntos medibles Borel.

Notas.

1. Es fácil demostrar que tal σ−álgebra debe existir, aunque no sepamos muy bien quiénes son
sus elementos. También se demuestra, aunque esto ya es más difı́cil, que

B(Rn ) ⊂ P(Rn )

siendo el contenido estricto.

2. Todo abierto de Rn es boreliano. En efecto, es conocido de topologı́a que todo abierto de Rn

se puede poner como unión numerable de cajas. Como las cajas son borelianos y las uniones
numerables de borelianos tienen que ser borelianos (por ser B(Rn ) una σ−álgebra) se llega al
resultado.
Igualmente, todo cerrado en Rn es boreliano, al ser el complementario de una abierto.
De la misma forma, todo conjunto que sea intersección numerable de abiertos es boreliano y lo
mismo para todo conjunto que sea unión numerable de cerrados. Entonces, vamos observando
6 CAPÍTULO 4. LA INTEGRAL DE LEBESGUE EN RN

que la clase B(Rn ) es muy amplia, aunque como queda dicho en la nota anterior, no se logra
alcanzar a todos los subconjuntos de Rn .
Toda caja de la forma I = [a1 , b1 ) × · · · × [an , bn ) también será boreliano porque
∞
[ 1 1
I= [a1 , b1 − ] × · · · × [an , bn − ].
k k
k=k0

Lo mismo podemos decir si abrimos algún extremo izquierdo de los intervalos o abrimos los
dos.

3. Es fácil demostrar que si f : Rn −→ Rn es un homeomorfismo y B ∈ B(Rn ) entonces

f (B) ∈ B(Rn ).
En particular, B ∈ B(Rn ), x ∈ Rn =⇒ x + B ∈ B(Rn ).

Definición 4.1.4. Dada una σ-álgebra A, una medida positiva o, simplemente, una medida
sobre A es una aplicación
µ : A → [0, +∞] = [0, +∞) ∪ {+∞}
tal que

(a) µ(A) ∈ [0, +∞) para algún A ∈ A;

(b) dados {Ai }∞

i=1 ⊆ A disjuntos dos a dos,

∞ ∞
!
[ X
µ Ai = µ(Ai )
i=1 i=1

(µ es numerablemente aditiva ).

Nota. Como se ve, estamos operando con cantidades que pueden ser +∞ (y posteriormente apa-
recerá −∞). Incorporamos estos números a la aritmética con los siguientes convenios:
- a + (+∞) = (+∞) + a = +∞ para todo a ∈ R ∪ {+∞}.
- a + (−∞) = (−∞) + a = −∞ para todo a ∈ R ∪ {−∞}.
- 0 · (+∞) = (+∞) · 0 = 0 · (−∞) = (−∞) · 0 = 0.
- a · (+∞) = (+∞) · a = +∞, para todo a ∈ (0, +∞] (y similares).
- −∞ < a < +∞ para todo a ∈ R.
- Siguen quedando sin definir las sumas +∞ + (−∞) (y similares), y el cociente por 0.
Con esto, la serie que aparece en el enunciado del teorema anterior siempre tiene sentido.

Las siguientes propiedades se siguen con facilidad de la definición de medida.

Propiedades 4.1.5. Sea µ una medida sobre una σ-álgebra A.

(a) µ(∅) = 0;
k k
!
[ X
(b) {Ai }ki=1 ⊆ A disjuntos dos a dos =⇒ µ Ai = µ(Ai );
i=1 i=1

(c) A, B ∈ A, A ⊆ B =⇒ µ(A) ≤ µ(B);

(d) A, B ∈ A, A ⊆ B, µ(A) < ∞ =⇒ µ(B \ A) = µ(B) − µ(A);

∞ ∞
!
[ X
∞
(e) {Ai }i=1 ⊆ A =⇒ µ Ai ≤ µ(Ai );
i=1 i=1
4.1. TEORÍA DE LA MEDIDA EN RN 7

∞
!
[
(f) {Ai }∞
i=1 ⊆ A, Ai ⊆ Ai+1 para todo i =⇒ µ Ai = lı́m µ(Ai );
i→∞
i=1

∞
!
\
(g) {Ai }∞
i=1 ⊆ A, Ai ⊇ Ai+1 ∀i, µ(A1 ) < ∞ =⇒ µ Ai = lı́m µ(Ai ).
i→∞
i=1

Hay numerosos ejemplos de medidas utilizadas en Análisis matemático y en Teorı́a de la proba-

bilidad. La más importante, sin duda, es la medida de Lebesgue , que generaliza los conceptos de
longitud, área y volumen y es la que queremos manejar. El siguiente teorema no es nada elemental
y su demostración se verá en cursos superiores. En él se establece que existe una medida sobre los
borelianos que prolonga el concepto intuitivo de volumen n-dimensional para cajas.
Teorema 4.1.6. Existe una medida mn : B(Rn ) −→ [0, +∞] que cumple
n
Y
mn (I) = (bi − ai ), ∀I = [a1 , b1 ] × · · · × [an , bn ]. (∗).
i=1

Además, mn es la única medida sobre B(Rn ) que satisface (∗).

Para nuestros propósitos, nos podrı́amos quedar aquı́: esta mn es casi la medida de Lebesgue
que necesitamos. No lo es del todo porque presenta un inconveniente teórico grave (aunque no
importe mucho en el desarrollo de nuestro curso):
Se demuestra que existen B ∈ B(Rn ) con mn (B) = 0 y N ⊂ B tal que N no es boreliano (en la
terminologı́a de teorı́a de la medida, mn no es completa).
Entonces, nuestro último paso va a ser completarla. Sea

N (Rn ) = {N ⊂ Rn : ∃B ∈ B(Rn ), con mn (B) = 0, y N ⊂ B}.

Añadimos estos conjuntos a B(Rn ), definiendo

M(Rn ) = {A = A1 ∪ A2 : A1 ∈ B(Rn ), A2 ∈ N (Rn )},

y ahora extendemos mn a M(Rn ) definiendo

mn (A1 ∪ A2 ) = mn (A1 ).

No es difı́cil demostrar que mn está bien definida sobre M(Rn ) (es decir, que la definición es
consistente con diferentes representaciones de A como unión de dos conjuntos de B(Rn ) y de N (Rn ))
y que:
1. M(Rn ) es una σ-álgebra que contiene a B(Rn ) que se llama σ-álgebra de Lebesgue en Rn .
A los elementos de M(Rn ) se les llama conjuntos medibles. Se demuestra que el contenido

M(Rn ) ⊂ P(Rn )

es estricto. Es decir, hay subconjuntos de Rn que no son medibles, aunque es difı́cil encontrar
uno. Podrı́a decirse que cualquier subconjunto que aparezca en las aplicaciones de la teorı́a
será medible. Para construir un conjunto no medible hay que acudir al axioma de elección.

2. mn es una medida sobre M(Rn ). Aparte de saber como actúa sobre las cajas, se demuestra
que es invariante por traslaciones, i. e.,

mn (x + A) = mn (A), ∀A ∈ M(Rn ), ∀x ∈ Rn .

y que salvo constante multiplicativa es la única medida invariante por traslaciones que se
puede definir sobre M(Rn ) (y también sobre B(Rn )).
8 CAPÍTULO 4. LA INTEGRAL DE LEBESGUE EN RN

Otra propiedad importante que cumple la medida de Lebesgue es la siguiente:

Proposición 4.1.7. Si T : Rn −→ Rn es una aplicación lineal y B ∈ B(Rn ) entonces T (B) es

medible y
mn (T (B)) = |det T | · mn (B).

Ejercicios. Aunque no conozcamos mn explı́citamente, el hecho de saber que es medida (cumple

la definición y las propiedades antes listadas), de saber cómo actúa sobre las cajas, de saber que es
la única (salvo constante) invariante por traslaciones y la última proposición, permite conocer la
medida de muchos subconjuntos elementales de Rn . Para conocer la medida de otros subconjuntos
más complicados será importante desarrollar la teorı́a de integración. Vamos a listar varios hechos
elementales, dando una idea de la demostración para alguno de ellos y dejando los otros como
ejercicio.

1. La medida de un punto es 0.

2. La medida de un conjunto numerable es 0. En efecto, todo conjunto numerable es unión

disjunta numerable de los puntos que contiene y la medida de esta unión es la suma de las
medidas. En particular m1 (Q) = 0 o, dicho de otra manera, la longitud de Q es 0. Al ser
Q denso en R parece una especie de paradoja que hubiera chocado a matemáticos de la
antigüedad.

3. En R2 , la medida m2 (área) de una recta o trozo de recta es 0. Igualmente, en Rn la medida

de cualquier subconjunto de un subespacio (estricto) vectorial o afı́n es 0.

4. En R2 , la medida de un triángulo rectángulo es base por altura partido por dos. En efecto,
sean a y b los catetos. La medida del rectángulo es a · b; si lo dividimos en dos trozos por
la diagonal, estos trozos tienen que tener medidas iguales (¿por qué?), y de aquı́ se sigue el
resultado.

5. En R2 , descomponiendo figuras en otras más elementales, podemos llegar a obtener la medida

(área) de figuras poligonales.

6. En R2 , m2 (B((0, 0); 1)) = π (podemos poner el cı́rculo como unión numerable creciente de
polı́gonos para los que ya conocemos la medida).

7. En R2 , m2 (B((0, 0); r)) = πr2 . En efecto, el cı́rculo de radio r es el transformado del de

radio 1 por la aplicación lineal (dilatación) T (x, y) = (rx, ry), que tiene determinante r2 , y
aplicamos la última proposición.

Funciones medibles
Una vez conocidos cuáles son los subconjuntos de Rn que se pueden medir y recordando lo dicho
en la introducción, podremos hablar de integral para funciones f de Rn en R tales que

{x ∈ E; yi−1 ≤ f (x) ≤ yi } = f −1 ([yi−1 , yi ]) ∈ M(Rn ).

A estas funciones las llamaremos medibles.

Definición 4.1.8. Sea E ∈ M(Rn ); una función f : E −→ R se dice que es medible si para todo
abierto G ⊆ R, f −1 (G) ∈ M(Rn ).

Aunque parece que hemos definido algo diferente a lo comentado, no es ası́. De forma elemental,
gracias a las propiedades de σ-álgebras, se prueba lo siguiente:

Proposición 4.1.9. Sean E ∈ M(Rn ), f : E −→ R. Son equivalentes:

4.1. TEORÍA DE LA MEDIDA EN RN 9

(a) f es medible;

(b) {x ∈ E; f (x) > α} ∈ M(Rn ) para todo α ∈ R;

(c) {x ∈ E; f (x) ≥ α} ∈ M(Rn ) para todo α ∈ R;

(d) {x ∈ E; f (x) < α} ∈ M(Rn ) para todo α ∈ R;

(e) {x ∈ E; f (x) ≤ α} ∈ M(Rn ) para todo α ∈ R;

(f) {x ∈ E; α ≤ f (x) ≤ β} ∈ M(Rn ) para todo α, β ∈ R con α < β;

(g) {x ∈ E; α < f (x) < β} ∈ M(Rn ) para todo α, β ∈ R con α < β.

Las siguientes observaciones y propiedades (de fácil demostración, aunque aquı́ no las hare-
mos) nos vienen a decir que prácticamente cualquier función es medible. Se necesitan procesos
complicados para llegar a definir una función no medible.

Notas.

(a) E ∈ M(Rn ), f : E −→ R continua =⇒ f medible.

(b) Sean E ∈ M(Rn ), f : E −→ R; f es medible si y sólo si para todo B ∈ B(R), f −1 (B) ∈

M(Rn ).

(c) E ∈ M(Rn ), mn (E) = 0 =⇒ toda función f : E −→ R es medible.

(d) E ∈ M(Rn ), f : E −→ R medible, F ⊆ E, F ∈ M(Rn ) =⇒ f medible.

F
S∞
(e) Sean Ei ∈ M(Rn ) (i ∈ N), f : i=1 Ei −→ R; f es medible si y sólo si f medible para
Ei
cada i ∈ N.

Propiedades 4.1.10. Sean E ∈ M(Rn ), f, g : E −→ R medibles. Entonces:

(1) λ ∈ R −→ λf medible;

(2) f + g medible;

(3) ϕ : S ⊆ R −→ R continua, f (E) ⊆ S =⇒ ϕ ◦ f medible;

(4) f 2 , |f | medibles;

(5) f + , f − , máx{f, g}, mı́n{f, g} medibles;

(6) f g medible;

(7) 1/f : E \ f −1 (0) −→ R medible.

Ahora, va a aparecer otra idea importante en la teorı́a de Lebesgue: no nos va a suponer

ningún problema admitir que las funciones puedan tomar valores +∞ y/o −∞. Puede pensarse
que estas funciones no son naturales, pero eso es un error ya que esta clase de funciones aparecen
constantemente cuando tomamos supremos, ı́nfimos o lı́mites de funciones con valores en R.

Definición 4.1.11. Sea E ∈ M(Rn ); una función f : E −→ R ∪ {±∞} = [−∞, +∞] se dice que
es medible si:

(a) f −1 ({+∞}) ∈ M(Rn );

(b) f −1 ({−∞}) ∈ M(Rn );

10 CAPÍTULO 4. LA INTEGRAL DE LEBESGUE EN RN

(c) f −1 (G) ∈ M(Rn ) para todo abierto G ⊆ R (es decir, f medible).

f −1 (R)

Proposición 4.1.12. Sean E ∈ M(Rn ), f : E −→ [−∞, +∞]. Son equivalentes:

(i) f es medible;

(ii) {x ∈ E; f (x) > α} ∈ M(Rn ) para todo α ∈ R;

(iii) {x ∈ E; f (x) ≥ α} ∈ M(Rn ) para todo α ∈ R;

(iv) {x ∈ E; f (x) < α} ∈ M(Rn ) para todo α ∈ R;

(v) {x ∈ E; f (x) ≤ α} ∈ M(Rn ) para todo α ∈ R;

(vi) f −1 ({+∞}) ∈ M(Rn ), f −1 ({−∞}) ∈ M(Rn ), {x ∈ E; α ≤ f (x) ≤ β} ∈ M(Rn ) para todo

α, β ∈ R con α < β;

(vii) f −1 ({+∞}) ∈ M(Rn ), f −1 ({−∞}) ∈ M(Rn ), {x ∈ E; α < f (x) < β} ∈ M(Rn ) para todo
α, β ∈ R con α < β.

Para funciones con valores en [−∞, +∞], las propiedades en cuanto a medibilidad son análogas
(y también con fácil demostración) a las ya vistas para funciones reales.

Notas.

(a) Sean E ∈ M(Rn ), f : E −→ [−∞, +∞]; si f es medible, f −1 (B) ∈ M(Rn ) para todo
B ∈ B(R). El recı́proco es cierto si además f −1 ({+∞}) ∈ M(Rn ), f −1 ({−∞}) ∈ M(Rn ).

(b) E ∈ M(Rn ), mn (E) = 0 =⇒ toda función f : E −→ [−∞, +∞] es medible.

(c) E ∈ M(Rn ), f : E −→ [−∞, +∞] medible, F ⊆ E, F ∈ M(Rn ) =⇒ f medible.

F
S∞
(d) Sean Ei ∈ M(Rn ) (i ∈ N), f : i=1 Ei −→ [−∞, +∞]; f es medible si y sólo si f medible
Ei
para cada i ∈ N.

Propiedades 4.1.13. Sean E ∈ M(Rn ), f, g : E −→ [−∞, +∞] medibles. Entonces:

(1) λ ∈ [−∞, +∞] −→ λf medible;

(2) f + g medible en su dominio (que puede no ser todo E);

(3) f 2 , |f | medibles;

(4) f + , f − , máx{f, g}, mı́n{f, g} medibles;

(5) f g medible;

(6) 1/f : E \ f −1 (0) −→ R medible.

La medibilidad también respeta las operaciones de paso al lı́mite:

Propiedades 4.1.14. Sea E ∈ M(Rn ) y sean fk : E −→ R (k ∈ N) medibles; entonces:

(a) sup fk : E −→ [−∞, +∞] es medible;

k

(b) ı́nf fk : E −→ [−∞, +∞] es medible;

k
4.1. TEORÍA DE LA MEDIDA EN RN 11

(c) lı́m inf fk : E −→ [−∞, +∞] es medible;

k

(d) lı́m sup fk : E −→ [−∞, +∞] es medible.

k

(e) El conjunto de puntos A = {x ∈ E : ∃ lı́mk fk (x) ∈ [−∞, +∞]} es medible y la función

lı́m fk : A −→ [−∞, +∞] es medible.
k

Funciones simples
Estas funciones juegan un importante papel en la teorı́a de integración que vamos a desarrollar.
La definición de integral para una función simple será muy intuitiva y demostraremos que cualquier
función positiva es lı́mite de esta clase de funciones lo cual permitirá un sencillo manejo de la
integral.

Definición 4.1.15. Sea A ⊆ Rn ; la función caracterı́stica de A es la función χA : Rn → R

definida por (
1 si x ∈ A
χA (x) =
0 si x ∈
/ A.

Observación. χA es medible si y sólo si A es medible.

Definición 4.1.16. Función simple. Diremos que una función s : Rn → R es una función
simple si su rango consta de un número finito de valores no negativos, es decir, si existen λ1 ,. . . ,
λk distintos dos a dos en [0, +∞) tales que s(Rn ) = {λ1 , . . . , λk }.

Nótese que entonces se tiene

k
X
s= λi χAi ,
i=1
Sk
donde los conjuntos Ai = s−1 (λ
i ) son disjuntos dos a dos y su unión es todo el espacio, i=1 Ai =
n
R . Llamaremos a esta representación la forma canónica de s; obviamente, está unı́vocamen-
te determinada por s, aunque s pueda ponerse de muchas maneras como combinación lineal de
funciones caracterı́sticas.

Ejemplo. La función s = χA tiene por forma canónica χA = 1 · χA + 0 · χAc .

Observaciones.

(a) Toda combinación lineal, con coeficientes no negativos, de funciones caracterı́sticas (de con-
juntos disjuntos o no) es una función simple.

(b) Una función simple de forma canónica s = ki=1 λi χAi es medible si y sólo si cada conjunto
P
Ai es medible.

(c) χA · χB = χA∩B .

(b) Si A y B son disjuntos, χA∪B = χA + χB , y lo mismo ocurre para una sucesión infinita de
conjuntos disjuntos dos a dos.

Lema 4.1.17 (aproximación monótona mediante funciones simples). Sean E ∈ M(Rn ), f : E →

[0, +∞] medible. Existe una sucesión (sk ) de funciones simples medibles tales que

(a) 0 ≤ s1 (x) ≤ s2 (x) ≤ · · · ≤ sk (x) ≤ · · · ≤ f (x) ∀x ∈ E.

(b) f (x) = lı́m sk (x) ∀x ∈ E.

k→∞
12 CAPÍTULO 4. LA INTEGRAL DE LEBESGUE EN RN

Demostración. Veamos el esquema de la demostración que es totalmente constructiva. Para un

k ∈ N, dividimos el rango [0, +∞] en los intervalos disjuntos
i−1 i
[ , ), i = 1, 2, . . . , k2k , y [k, +∞].
2k 2k
Tomamos las imágenes inversas por f de estos intervalos
i−1 i i−1 i
Ek,i = f −1 ([ k
, k )) = {x ∈ E : k ≤ f (x) < k }, i = 1, 2, . . . , k2k ,
2 2 2 2
Fk = f −1 ([k, +∞]) = {x ∈ E : k ≤ f (x) ≤ +∞}.
Estos conjuntos son medibles y forman una partición disjunta del conjunto E. Construimos la
función simple medible
k2k
X i−1
sk (x) = χEk,i (x) + kχFk (x).
2k
i=1

Es bastante sencillo comprobar que estas funciones satisfacen los apartados (a) y (b).

Al utilizar este lema, escribiremos brevemente

∃(sk ) % f.

Propiedades que se verifican a.e.

En general, si E ∈ M(Rn ) y P (x) es un enunciado que puede ser cierto o falso en los puntos x
de E, diremos que P se cumple en casi todo punto de E, escrito abreviadamente P cierta en c.t.p.
de E o, P cierta a.e. en E (del inglés almost everywhere; en los textos franceses “p.p.”, presque
partout) si existe un conjunto N ∈ M(Rn ) de medida nula, mn (N ) = 0, tal que P (x) es cierto para
cada x ∈ E \ N .
Por ejemplo, la función f (x) = sen2 x es > 0 a.e. en R, porque la relación se cumple excepto en
N = {π · n ∈ Z} que, al ser un conjunto numerable, tiene medida nula.
O también,
k
lı́m = 0, a.e. x ∈ R
k→∞ 1 + k 2 x
porque sólo falla en el punto x = 0.

4.2. Integración de funciones medibles

Empezaremos definiendo la integral de Lebesgue para funciones simples. Posteriormente la
extenderemos a funciones medibles con valores en [0, +∞] y finalmente a funciones con valores en
R.

Funciones simples medibles

Pk
Definición 4.2.1. Sea s : Rn → R una función simple medible y sea s = i=1 λi χAi su forma
canónica. Llamaremos integral de s al elemento de [0, +∞] definido por
Z Z k
X
s= s(x) dx = λi mn (Ai ).
Rn Rn i=1

Diremos que s es integrable si Z

s < +∞.
Rn
4.2. INTEGRACIÓN DE FUNCIONES MEDIBLES 13

Nótese que esta suma está siempre bien definida en [0, +∞], y que está unı́vocamente deter-
minada por s. La “variable” x que aparece en la definición es una “variable muda” (o “variable
ficticia”), que puede ser útil en ocasiones para aclarar la notación, como veremos posteriormente.
Ejemplo. Si A ∈ M(Rn ), Z
χA = mn (A).
Rn

¿Qué ocurre si tenemos una función simple que no está puesta en forma canónica? Se demuestra
fácilmente el siguiente resultado previo.
Lema 4.2.2. Sea s : Rn → R una función simple medible tal que s = `j=1 aj χBj , donde los Bj
P
son conjuntos medibles disjuntos dos a dos. Entonces
Z `
X
s= aj mn (Bj ).
Rn j=1

Y a partir de aquı́ surgen sin excesivos problemas las primeras propiedades de la integral:
Propiedades 4.2.3. Sean s, t : Rn → R funciones simples medibles y λ ∈ [0, +∞). Entonces
Z Z Z
(a) (s + t) = s+ t
Rn Rn Rn
(con lo cual, si s y t son integrables, s + t resulta ser asimismo integrable).
Z Z
(b) (λ s) = λ s
Rn Rn
(con lo cual, si s es integrable, λ s es también integrable).
Z Z
(c) si s ≤ t, entonces s≤ t
Rn Rn
(con lo cual, si t es integrable, s también lo es.)

Corolario 4.2.4. Si s = ki=1 ai χAi , donde los Ai son conjuntos medibles arbitrarios y los ai ∈
P
[0, +∞), 1 ≤ i ≤ k, entonces
Z Xk
s= ai mn (Ai ).
Rn i=1

La integral sobre un subconjunto de Rn ,

siempre que sea medible, se define de forma muy
natural y sus propiedades son inmediatas a partir de las que acabamos de enunciar.
Definición 4.2.5. Dada una función simple medible s : Rn → R y un conjunto medible E ∈
M(Rn ), pondremos Z Z Z
s= s(x) dx = s χE .
E E Rn

Nótese que s χE sigue siendo una función simple medible. Además, si s = ki=1 ai χAi , donde los
P

Ai son conjuntos medibles arbitrarios y los ai ∈ [0, +∞), 1 ≤ i ≤ k, como s χE = ki=1 ai χAi ∩E ,
P
queda
Z Xk
s= ai mn (Ai ∩ E).
E i=1
Z
(En particular, mn (E) = 0 =⇒ s = 0, hecho que utilizaremos después.)
E

Propiedades 4.2.6. Sean s, t : Rn → R funciones simples medibles, E ∈ M(Rn ) y λ ∈ [0, +∞).

Entonces
14 CAPÍTULO 4. LA INTEGRAL DE LEBESGUE EN RN
Z Z Z
(a) (s + t) = s+ t.
E E E
Z Z
(b) (λ s) = λ s.
E E
Z Z
(c) si s ≤ t en E, es decir, s(x) ≤ t(x) para cada x ∈ E, entonces s≤ t.
E E
Z Z
(d) si F ∈ M(Rn ) y F ⊆ E, entonces s≤ s.
F E

Corolario 4.2.7. Si t : Rn → R es una función simple medible, entonces

Z Z 
t = sup s : s simple medible, 0 ≤ s(x) ≤ t(x) para cada x ∈ E .
E E

Funciones medibles no negativas

Definición 4.2.8. Integral de una función medible no negativa. Sean E ∈ M(Rn ),
f : E → [0, +∞] medible; se define
Z Z Z 
f= f (x) dx = sup s : s simple medible, 0 ≤ s(x) ≤ f (x) para cada x ∈ E .
E E E

Nótese que el conjunto cuyo supremo tomamos es no vacı́o, pues s = 0 figura entre las funciones a
considerar; por tanto, esta integral está bien definida y además es mayor o igual que 0 (incluyendo
la posibilidad de tomar el valor +∞). Por otra parte, cuando f es una función simple medible,
la“nueva” integral de f coincide con la “antigua”, según muestra el corolario anterior, de modo que
tenemos una extensión de la integral que habı́amos definido
Z previamente.
Se dice que f es integrable en E (o sobre E) si f < +∞.
E

Observación. Si f es una función medible no negativa integrable en E ∈ M(Rn ), entonces f < +∞

a.e. en E (o, de otro modo, mn ({x ∈ E : f (x) = +∞}) = 0).
En efecto, sea A = {x ∈ E : f (x) = +∞} y consideremos para cada k ∈ N las funciones simples
sk = kχA . Como es obvio que sk ≤ f en E, por la definición se tiene que
Z Z
km(A) = sk ≤ f < +∞, ∀k,
E E

lo cual sólo puede ser cierto si m(A) = 0.

Las siguientes propiedades las podemos calificar de inmediatas, aunque vamos a empezar a
hacer demostraciones.

Propiedades 4.2.9. Sean E ∈ M(Rn ), f, g : E → [0, +∞] medibles. Entonces:

R R
(1) f ≤ g =⇒ E f≤ E g.

(2) F ∈ M(Rn ), E ⊆ F =⇒ E f ≤ F f .
R R

R R
(3) c ∈ [0, +∞) =⇒ E (c f ) = c E f .
R
(4) f = 0 a.e. en E ⇐⇒ E f = 0.
R
(5) mn (E) = 0 =⇒ E f = 0.
4.2. INTEGRACIÓN DE FUNCIONES MEDIBLES 15

f = Rn f · χE , entendiendo f · χE definida en Rn por f · χE (x) = f (x) si x ∈ E y

R R
(6) E
f · χE (x) = 0 si x ∈
/ E.

Demostración.
(2) Sea s simple tal que s ≤ f en E, entonces
Z Z Z Z
s= sχE ≤ sχE ≤ f (∗)
E E F F

ya que
R sχE Res una simple menor o igual que f en F . Por último, tomando supremos en (∗) se sigue
que E f ≤ F f .
(4) =⇒) Si s es simple tal que s ≤ f en E y f = 0 a.e. en E, entonces s = 0 a.e. en E. Pero
X X
s= ai χAi = 0 a.e. en E =⇒ sχE = ai χAi ∩E = 0 a.e. en Rn ,

y si algún ai 6= 0 forzosamente será mn (Ai ∩ E) = 0. Por tanto,

Z X
s= ai mn (Ai ∩ E) = 0,
E
R
y tomando supremos se sigue que E f = 0.
⇐=) Denotemos A = {x ∈ E : f (x) > 0}, Ak = {x ∈ E : f (x) > 1/k}, (k ∈ N). Es fácil comprobar
que A = ∪k Ak %. Por otro lado, para cada k se tiene:
Z Z Z
1 1
mn (Ak ) = ≤ f≤ f = 0.
k Ak k Ak E

Entonces, por una propiedad de la medida, mn (A) = lı́mk mn (Ak ) = 0. Y esto significa que f = 0
a.e. en E.

R R R
Nota. Aunque es cierto asimismo que E (f + g) = E f + E g, no es sencillo probarlo directamente
a partir de la definición (dado que el supremo se comporta mal con la suma), por lo que posponemos
su demostración hasta que tengamos mejores herramientas. Una de ellas, y de las más importantes
de la teorı́a, es el teorema que viene a continuación.

Teorema 4.2.10 (de la convergencia monótona (TCM)). Sea E ∈ M(Rn ) y sean fk : E → [0, +∞]
funciones medibles (k ∈ N) de manera que

0 ≤ f1 (x) ≤ f2 (x) ≤ · · · ≤ fk (x) ≤ · · · ≤ +∞ ∀x ∈ E

(es decir, (fk ) es una sucesión monótona no decreciente). Entonces, si f (x) = lı́mk fk (x) para cada
x ∈ E, se tiene que f es una función medible no negativa cuya integral verifica
Z Z
f = lı́m fk .
E k E

Demostración. Observemos primero que

Z Z Z
fk ≤ fk+1 ≤ f =⇒ fk ≤ fk+1 ≤ f.
E E E
R R
Por tanto, { E fk }k es una sucesión creciente de números en [0, +∞] “acotada” por E f y de aquı́
Z Z
∃ lı́m fk = a ≤ f.
k E E
16 CAPÍTULO 4. LA INTEGRAL DE LEBESGUE EN RN

R
Queda por demostrar que a ≥ E f . Aplicando la definición, tendremos que demostrar que
Z
a≥ s, ∀ s simple, 0 ≤ s ≤ f en E.
E

Para esto, fijamos s simple con 0 ≤ s ≤ f en E, tomamos ε > 0 cercano a 0 y llamamos

Ek = {x ∈ E : fk (x) ≥ (1 − ε)s(x)} ∈ M(Rn ), k ∈ N}.

Estos conjuntos verifican:

E1 ⊂ · · · ⊂ Ek ⊂ Ek+1 ⊂ · · · .
En efecto, por ser (fk ) no decreciente.

E= ∞
S
k=1 Ek .
En efecto, si s(x) = 0 entonces x ∈ E1 , y si s(x) > 0, (1 − ε)s(x) < s(x) ≤ f (x) y como
f (x) = lı́m fk (x), existirá un k tal que (1 − ε)s(x) < fk (x).
P
Supongamos que s = λi χAi . Por propiedades de la integral
Z Z Z X
fk ≥ fk ≥ (1 − ε) s = (1 − ε) λi mn (Ai ∩ Ek ).
E Ek Ek

Como la medida de una unión creciente es el lı́mite de las medidas, aplicando lı́mites en la
desigualdad anterior, tendremos
Z X X Z
a = lı́m fk ≥ (1 − ε) lı́m λi mn (Ai ∩ Ek ) = (1 − ε) λi mn (Ai ∩ E) = (1 − ε) s.
k E k E

Como
R esta desigualdad la podemos obtener ∀ε > 0 suficientemente pequeño, se sigue que a ≥
E s.

Obsérvese que la demostración es correcta aunque estemos trabajando con posibles valores +∞.
La primera consecuencia de este teorema es que hace la integral operativa pues nos permite
trabajar con lı́mites en vez de supremos. En efecto, dada f medible no negativa, ∃(sk ) % f , de
donde Z Z
f = lı́m sk .
E k→∞ E

Ahora, la linealidad resulta trivial

Corolario 4.2.11. Sean E ∈ M(Rn ), f, g : E → [0, +∞] medibles. Entonces

Z Z Z
(f + g) = f+ g.
E E E

Demostración. ∃(sk ) % f y ∃(tk ) % g, de donde es inmediato que (sk + tk ) % f + g. Entonces,

Z Z Z Z Z Z
f+ g = lı́m sk + lı́m tk = lı́m (sk + tk ) = (f + g),
E E k→∞ E k→∞ E k→∞ E E

donde hemos aplicado tres veces el TCM y una vez la propiedad de linealidad de la integral para
funciones simples.

La integral de Lebesgue deja trabajar con facilidad con procesos infinitos y un ejemplo son los
tres corolarios siguientes.
4.2. INTEGRACIÓN DE FUNCIONES MEDIBLES 17

n
P∞ 4.2.12. Sea E ∈ M(R ) y sean fk : E → [0, +∞] funciones medibles (k ∈ N). Poniendo
Corolario
f = k=1 fk , se tiene que f es medible no negativa y
Z ∞ Z
X
f= fk .
E k=1 E

Demostración. Observemos primero que la función suma está bien definida porque permitimos el
valor +∞. Si llamamos
XN
SN f (x) = fk (x)
k=1

a las funciones suma parcial, entonces es obvio que la sucesión (SN f ) es creciente y que
∞
X
fk = lı́m SN (f ).
N →∞
k=1

Entonces, el resultado se sigue del TCM y de la linealidad de la integral para sumas finitas.

Corolario 4.2.13. Sea f : E → [0, +∞] una función medible, E ∈ M(Rn ) y sean Ek ∈ M(Rn ),
k ∈ N una sucesión de conjuntos disjuntos dos a dos tales que E = ∪∞
k=1 Ek . Entonces
Z ∞ Z
X
f= f.
E k=1 Ek

Demostración. Observar que

∞
X
f χE = f χEk
k=1

y aplicando el corolario anterior,

Z Z ∞ Z
X ∞ Z
X
f= f χE = f χEk = f.
E Rn k=1 Rn k=1 Ek

Corolario 4.2.14. Sea f : E → [0, +∞] una función medible, E ∈ M(Rn ) y sean Ek ∈ M(Rn ),
k ∈ N una sucesión de conjuntos tales que Ek ⊆ Ek+1 (k ∈ N) y tal que E = ∪∞
k=1 Ek . Entonces
Z Z
f = lı́m f.
E k→∞ Ek

Demostración. Basta observar que la sucesión creciente

f χE1 ≤ f χE2 ≤ · · · ≤ f χEk ≤ · · ·

tiene como lı́mite puntual a f χE y aplicar las definiciones y el TCM.

El siguiente resultado será el punto de partida para probar en el próximo párrafo el segundo
gran teorema de paso al lı́mite bajo el signo integral para la integral de Lebesgue.

Lema 4.2.15 (de Fatou). Sea E ∈ M(Rn ) y sean fk : E → [0, +∞] funciones medibles (k ∈ N).
Entonces Z Z
lı́m inf fk ≤ lı́m inf fk .
E k k E
18 CAPÍTULO 4. LA INTEGRAL DE LEBESGUE EN RN

Demostración. Denotemos, para cada k ≥ 1, gk = inf {fm : m ≥ k}. Entonces, gk ≤ fk , gk % y

por definición
lı́m inf fk = sup(gk ) = lı́m gk .
k k k

Entonces, por el TCM, Z Z

lı́m inf fk = lı́m gk .
E k k E
R R
Como gk ≤ fk se sigue que E gk ≤ E fk y
Z Z
lı́m gk ≤ lı́m inf fk .
k E k E

Uniendo la dos desigualdades, obtenemos el resultado.

Funciones medibles con valores en R

Toda función f : E −→ R, se puede poner como diferencia de dos funciones positivas; precisa-
mente
f (x) = f + (x) − f − (x), x ∈ E
y sabemos que si f es medible, también lo son f + y f − . Entonces, la manera más natural de
definir la integral de f es como la diferencia de las integrales de f + y f − que ya sabemos lo que
significan por el apartado anterior. Pero para no tener problemas en esta resta, necesitaremos que
estas integrales sean finitas, i. e., con nuestra terminologı́a que f + y f − sean integrables. Entonces,
ahora procedemos en sentido inverso: primero, definimos el concepto de función integrable y sólo
para éstas definimos la integral.

Definición 4.2.16. Sean E ∈ M(Rn ), f : E → R. Se dice que f es integrable sobre E (notación:

f ∈ L1 (E)) si es medible y Z
|f | < +∞.
E

Observación. Como |f | = f + + f − y f + ≥ 0, f − ≥ 0, entonces

Z Z Z
|f | = f+ + f−
E E E

y es Z Z Z
|f | < +∞ ⇐⇒ f +
< +∞, f − < +∞.
E E E

Definición 4.2.17. Sea E ∈ M(Rn ), f : E → R integrable; se define

Z Z Z
+
f−


f= f − ∈R .
E E E

Observación. Cuando f ≥ 0, suR“nueva”R integralRcoincideRcon la “antigua”, pues en este caso

serı́a f + = f , f − = 0, y por tanto E f + − E f − = E f + = E f “antigua”.

La integral es lineal y monótona:

Proposición 4.2.18. Sean E ∈ M(Rn ) , f , g ∈ L1 (E). Entonces

(1) f + g ∈ L1 (E) y Z Z Z
(f + g) = f+ g.
E E E
4.2. INTEGRACIÓN DE FUNCIONES MEDIBLES 19

(2) Si α ∈ R, entonces αf ∈ L1 (E) y

Z Z
(αf ) = α f.
E E
R R
(3) Si f ≤ g en E, es E f≤ E g.

Demostración. (1) Como |f + g| ≤ |f | + |g|, por las propiedades de integrales de funciones no

negativas, se sigue claramente que f + g ∈ L1 (E). Y, para la igualdad de las integrales, tengamos
en cuenta que

(f + g)+ − (f + g)− = (f + g) = f + g = (f + − f − ) + (g + − g − )

de donde
(f + g)+ + f − + g − = (f + g)− + f + + g + .
Por la linealidad para funciones no negativas se sigue que
Z Z Z Z Z Z
+ − − − +
(f + g) + f + g = (f + g) + f + g+,
E E E E E E

y basta pasar las integrales a los miembros correspondientes.

(3) Por (1) y (2) y al ser (g − f ) ≥ 0 en E, se tiene
Z Z Z
0 ≤ (g − f ) = g− f.
E E E

Proposición 4.2.19. Si E ∈ M(Rn ) , f ∈ L1 (E),

Z Z
f ≤ |f |.
E E

Demostración. Ejercicio

El siguiente es un listado de propiedades que podrı́amos llamar elementales con demostración

directa a partir de las definiciones.
Propiedades 4.2.20. Sea E ∈ M(Rn ). Entonces:

(1) f ∈ LR1 (E), FR ∈ M(Rn ), F ⊆ E =⇒ f ∈ L1 (F ), aunque nada podamos decir de la relación

entre E f y F f .

(2) f ∈ L1 (E), g : E R→ R medible,

R |g| ≤ |f | en E =⇒ g ∈ L1 (E), aunque nada podamos decir de
la relación entre E f y E g.

(3) mn (E) = 0, f : E → R cualquiera =⇒ f ∈ L1 (E), E f = 0.

R

(4) f : E → R medible, f = 0 c.t.p.E =⇒ f R∈ L1 (E),

R
1 1
R E f = 0. En consecuencia, f : E → R,
g ∈ L (E), f = g c.t.p.E =⇒ f ∈ L (E), E f = E g.

(5) E, F ∈ M(Rn ), f : E ∪ F → R, f ∈ L1 (E), f ∈ L1 (F ) =⇒ f ∈ L1 (E ∪ F ).

Nota. Por comodidad, escribiremos también f ∈ L1 (E) aunque f esté definida solamente en casi
n 1
todo punto de E, siempre
R R exista F ∈ M(R ), F ⊆ E, tal que mn (E \ F ) = 0 y f |F ∈ L (F ).
que
Pondremos entonces E f = F (f |F ); obsérvese que como consecuencia de (3), esteRvalor noR depende
de 0
R qué conjunto F se utilice0 (dentro
 de las condiciones
0
 prescritas:
0
 si F es “otro”, F f = F ∩F 0 f =
F 0 f , pues los conjuntos F \ F ⊆ E \ F , F \ F ⊆ E \ F , son de medida nula).
20 CAPÍTULO 4. LA INTEGRAL DE LEBESGUE EN RN

El siguiente resultado nos dice que con una hipótesis muy relajada (dominación por una función
ϕ) podemos intercambiar la integral con el lı́mite.

Teorema 4.2.21 (de la convergencia dominada (TCD)). Sean E ∈ M(Rn ) y fk : E → R funciones

medibles (k ∈ N) tales que

1. ∃ lı́m fk (x) = f (x), ∀x ∈ E.

R
2. ∃ϕ : E → [0, +∞] tal que E ϕ < +∞ y |fk | ≤ ϕ en E para todo k.

Entonces, se tiene que todas las funciones f , fk ∈ L1 (E) y se verifica

Z Z
f = lı́m fk .
E k E

Demostración. Como |fk | ≤ ϕ en E, tomando lı́mites tendremos que |f | ≤ ϕ en E y como ϕ es

integrable en E, fk y f lo son. Además,

|fk − f | ≤ 2ϕ =⇒ 0 ≤ 2ϕ − |fk − f |

y como existe lı́mite de 2ϕ − |fk − f | en E,

lı́m inf (2ϕ − |fk − f |) = lı́m (2ϕ − |fk − f |) = 2ϕ.

k k

Por el lema de Fatou,

Z Z Z Z  Z Z
2ϕ ≤ lı́m inf (2ϕ − |fk − f |) = lı́m inf 2ϕ − |fk − f | = 2ϕ − lı́m sup |fk − f |,
E k E k E E E k E

de donde Z Z
lı́m sup |fk − f | = 0 =⇒ ∃ lı́m |fk − f | = 0.
k E k E

Por último, usando que

Z Z Z Z
fk − f = (fk − f ) ≤ |fk − f | −→ 0, k → ∞,
E E E E

se sigue que Z Z
∃ lı́m fk = f.
k E E

Nota. Como los conjuntos de medida 0 “no cuentan”, es muy sencillo demostrar que para la validez
del teorema basta con las hipótesis

1’: ∃ lı́m fk (x) = f (x), a.e. x ∈ E.

2’: ∃ϕ ∈ L1 (E) tal que para todo k, |fk | ≤ ϕ a.e. en E.

S∞
Corolario 4.2.22. Sean (Ek )k∈N medibles disjuntos dos a dos, E = k=1 Ek y f ∈ L1 (E). Enton-
ces
Z X∞ Z
f= f.
E k=1 Ek
4.3. CÁLCULO DE INTEGRALES EN R 21

Demostración. Es claro que

∞
X N
X
f (x) = f (x)χEk (x) = lı́m f (x)χEk (x), ∀x ∈ E
N →∞
k=1 k=1

y
N
X N
X
f χEk ≤ |f |χEk ≤ |f | en E
k=1 k=1

Es decir, es la propia función |f | ∈ L1 (E)

la ϕ que sirve para la dominación. Entonces, el TCD
asegura que
Z Z X N XN Z X∞ Z
f = lı́m f (x)χEk (x) = lı́m f= f.
E N →∞ E N →∞ Ek Ek
k=1 k=1 k=1

S∞
Corolario 4.2.23. Sean (Ek )k∈N medibles con Ek ⊆ Ek+1 , ∀k, E = k=1 Ek y f ∈ L1 (E).
Entonces Z Z
f = lı́m f.
E k→∞ Ek

Demostración. Ejercicio

Notaciones. En dimensión 1, es decir, en R, la integral se denota

Z Z Z
f= f (x)dm1 (x) = f (x)dx.
E E E

En dimensión 2, Z Z ZZ
f= f (x, y)dm2 (x, y) = f (x, y)dxdy.
E E E

Y en R3 , Z Z ZZZ
f= f (x, y, z)dm3 (x, y, z) = f (x, y, z)dxdydz.
E E E

A partir de ahora, el plan hasta completar el capı́tulo es hacer esta integral operativa, es decir,
saber cómo calcular integrales en la práctica. En el caso de R el hecho básico es que la integral
de Lebesgue coincide con la integral de Riemann cuando las funciones son integrables Riemann.
Con esto y con los teoremas TCM y TCD, podremos calcular con facilidad integrales en dominios
no acotados o para funciones no acotadas. Finalmente el TCD nos permitirá derivar bajo el signo
integral, obteniendo un nuevo método para el cálculo de integrales.
En R2 y en R3 las herramienta básicas serán el teorema de Fubini, que permite hacer las
integrales como integrales iteradas, y el teorema de cambio de variable.

4.3. Cálculo de integrales en R

Comparación de las integrales de Riemann y Lebesgue
En este apartado, si f : [a, b] → R es una función integrable-Riemann en [a, b], representaremos
Z b Z
su integral de Riemann por f ; si es integrable-Lebesgue, indicaremos con f su integral de
a [a,b]
Lebesgue.

Teorema 4.3.1 (Lebesgue, 1902). Sea f : [a, b] → R acotada. Entonces

22 CAPÍTULO 4. LA INTEGRAL DE LEBESGUE EN RN

(1) si f es integrable-Riemann, es integrable-Lebesgue en [a, b] y

Z Z b
f= f.
[a,b] a

(2) f es integrable-Riemann si y sólo si el conjunto {x ∈ [a, b] : f no es continua en x} es medible

y de medida nula.

Demostración. Dada una partición P = {a = x0 < x1 < · · · < xn = b} del intervalo [a, b],
pongamos
n−1
X
u(f, P ) = Mk χ[xk−1 ,xk ) + Mn χ[xn−1 ,xn ] ,
k=1
n−1
X
`(f, P ) = mk χ[xk−1 ,xk ) + mn χ[xn−1 ,xn ] ,
k=1

donde
Mk = sup{f (x) : x ∈ [xk−1 , xk ]}
1 ≤ k ≤ n.
mk = ı́nf{f (x) : x ∈ [xk−1 , xk ]}
Obviamente, u(f, P ) y `(f, P ) son funciones integrables-Lebesgue tales que

−M ≤ `(f, P ) ≤ f ≤ u(f, P ) ≤ M

si |f | ≤ M y
Z n
X
u(f, P ) = Mk (xk − xk−1 ) = U (f, P ),
[a,b] k=1
Z Xn
`(f, P ) = mk (xk − xk−1 ) = L(f, P ),
[a,b] k=1

donde U (f, P ) [respectivamente, L(f, P )] es la suma superior de Darboux [resp., la suma inferior]
correspondiente a f y a la partición P .
(1) Sea, pues, f integrable-Riemann en [a, b]. Utilizando reiteradamente la condición de integrabi-
lidad de Riemann, encontramos una sucesión (Pn ) de particiones de [a, b] cumpliendo para cada
n ∈ N:

(i)
Pn ⊆ Pn+1 ;

(ii)
1
U (f, Pn ) − L(f, Pn ) < .
n
Con esto, para cada n ∈ N es
Z b
Rb 1 1
a f (x) dx ≤ U (f, Pn ) < L(f, Pn ) + n ≤ f (x) dx +
n
,
Za b
Rb 1 1
a f (x) dx ≥ L(f, Pn ) > U (f, Pn ) − n ≥ f (x) dx −
n
,
a

y, si abreviamos un := u(f, Pn ), `n := `(f, Pn ),

un ≥ un+1 , `n ≤ `n+1 .
4.3. CÁLCULO DE INTEGRALES EN R 23

Ası́, existen u = lı́m un , ` = lı́m `n , y será u ≥ f ≥ `. Puesto que para todo n ∈ N es |un | ≤
n n
M , |`n | ≤ M , aplicando el teorema de la convergencia dominada y las desigualdades anteriores
obtenemos Z Z b Z
u= f (x) dx = `.
[a,b] a [a,b]
R
Pero u ≥ `, luego [a,b] (u − `) = 0 obliga a que sea u = ` c.t.p. y por consiguiente u = f = ` c.t.p.,
lo que nos dice que f es integrable-Lebesgue y que
Z Z Z Z b
f= u= `= f (x) dx.
[a,b] [a,b] [a,b] a

(2) Supongamos primero que f es integrable-Riemann en [a, b] y probemos que ha de ser continua
en casi todo punto de [a, b].
Construyendo un y `n como en el apartado anterior, hemos llegado a que

lı́m un = f = lı́m `n c.t.p. [a, b],

n n

luego los conjuntos {x ∈ [a, b] : f (x) 6= lı́mnS un (x)}, {x ∈ [a, b] : f (x) 6= lı́mn `n (x)} son medibles
con medida nula. Por otra parte, el conjunto n∈N Pn es numerable, luego también de medida nula.
Por lo tanto
[
N = {x ∈ [a, b] : f (x) 6= lı́m un (x)} ∪ {x ∈ [a, b] : f (x) 6= lı́m `n (x)} ∪ Pn
n n
n∈N

es ası́ mismo medible con medida nula. Si demostramos que f es continua en cada punto x de
[a, b] \ N , quedará probado que f es continua en casi todo punto.
Ahora bien: dados x ∈ [a, b] \ N y ε > 0, puesto que

lı́m un (x) = f (x) = lı́m `n (x)

n

existirá un n tal que

f (x) − ε < `n (x) ≤ un (x) < f (x) + ε,
y como x ∈/ Pn , si Pn = {a = x0 < x1 < · · · < xk = b}, será x ∈ (xi−1 , xi ) para algún ı́ndice
i (1 ≤ i ≤ k), luego podemos encontrar δ > 0 tal que todo y con |y − x| < δ esté en (xi−1 , xi ).
Además, por ser un , `n constantes en todo el intervalo [xi−1 , xi ), siempre que |y − x| < δ podemos
poner
f (x) − ε < `n (x) = `n (y) ≤ f (y) ≤ un (y) = un (x) < f (x) + ε,
de donde se sigue
f (x) − ε < f (y) < f (x) + ε
o, equivalente,
|f (y) − f (x)| < ε
es decir, que f es continua en x.
Sea ahora f una función acotada en [a, b] por una constante C y continua en casi todo punto
de [a, b]. Veamos que f es integrable-Riemann en [a, b].
Tomemos una sucesión cualquiera (Pn ) de particiones de [a, b] tal que lı́m kPn k = 0, donde kPn k
n
indica, como es habitual, la mayor de las longitudes de los intervalos parciales correspondientes a
la partición Pn . Sea [
N = {x ∈ [a, b] : f no es continua en x} ∪ Pn .
n∈N

Por ser unión de un conjunto medible de medida nula con un conjunto numerable (también, pues,
medible con medida nula), N es medible y de medida nula.
24 CAPÍTULO 4. LA INTEGRAL DE LEBESGUE EN RN

Pongamos como antes un = u(f, Pn ), `n = `(f, Pn ). Probaremos que en cada punto x ∈ [a, b]\N
es f (x) = lı́m un (x) = lı́m `n (x).
n n
En efecto: puesto que f será entonces continua en x, dado un ε > 0 existirá un δ > 0 tal que si
y ∈ [a, b] y |y − x| < δ se verifica

f (x) − ε < f (y) < f (x) + ε.

Como lı́m kPn k = 0, existe un n0 tal que para todo n ≥ n0 es kPn k < δ. Sea, pues, n ≥ n0 y
n
Pn = {a = x0 < x1 < · · · < xk = b}. Para algún i (1 ≤ i ≤ k) será x ∈ (xi−1 , xi ) —recordemos que
x está en N y por tanto no figura en Pn — con lo cual [xi−1 , xi ] ⊆ (x − δ, x + δ) y en consecuencia

f (x) ≥ `n (x) = ı́nf f (y) ≥ f (x) − ε

y∈[xi−1 ,xi ]
f (x) ≤ un (x) = sup f (y) ≤ f (x) + ε
y∈[xi−1 ,xi ]

de manera que para cada n ≥ n0 hemos obtenido

f (x) − ε ≤ `n (x) ≤ f (x) ≤ un (x) ≤ f (x) + ε,

es decir,
lı́m `n (x) = f (x) = lı́m un (x), x ∈ [a, b] \ N.
n n

Como además |`n | ≤ C, |un | ≤ C si |f | ≤ C, y la función constante C es integrable en [a, b],

podemos aplicar el teorema de la convergencia dominada para deducir que f es integrable-Lebesgue
en [a, b] y que Z Z Z
lı́m `n = f = lı́m un .
n [a,b] [a,b] n [a,b]

Ası́, Z Z
lı́m L(f, Pn ) = lı́m `n = lı́m un = lı́m U (f, Pn )
n n [a,b] n [a,b] n

y se cumple la condición de integrabilidad de Riemann, por lo que f es ası́ mismo integrable-

Riemann (y, dicho sea de paso, su integral coincide con los lı́mites de las sumas de Darboux que
aparecen en la fórmula precedente).

En adelante, cuando hablemos de función integrable siempre entenderemos integrable-Lebesgue.

Resumiendo lo anterior, cuando integremos en intervalos cerrados y acotados una función aco-
tada y continua a.e. (normalmente, serán continuas excepto en un número finito de puntos), esta
función será integrable y como la integral coincide con la integral Riemann, podremos usar los
métodos de ésta si es el caso (regla de Barrow, partes, cambio de variable).
En otras situaciones, trataremos de usar las propiedades que hemos estudiado para la integral
de Lebesgue. Como, para nuestros propósitos, las funciones a manejar siempre serán continuas a.e.
y los dominios de integración intervalos, las otras situaciones consistirán en que los intervalos no
sean acotados y/o que las funciones no sean acotadas. Trataremos a continuación de dar unas reglas
generales.

Integración en intervalos no acotados

Por fijar ideas, supongamos que E = [a, +∞), a ∈ R. Dada una función f : E −→ R medible,
tendremos dos problemas y en este orden:
Z
1
A Saber si f ∈ L (E), es decir, si |f (x)|dx < +∞.
E
4.3. CÁLCULO DE INTEGRALES EN R 25
Z
B Calcular la integral f (x)dx.
E

El primer problema es mucho más

Z sencillo porque no hace falta calcular una integral, sólo
estimarla y tengamos en cuenta que |f (x)|dx es un concepto que siempre estará definido, sólo
E
tendremos que comprobar si es o no es +∞.
Un corolario del TCM asegura que
Z Z
|f (x)|dx = lı́m |f (x)|dx, (∗)
[a,+∞) R→+∞ [a,R]

porque |f | es medible positiva y [a, +∞) = ∪R [a, R] % (hay un problema menor: que la unión no
es numerable, pero esto se salva porque [a, +∞) = ∪Rk [a, Rk ] %, Rk % +∞ y el lı́mite cuando
R → ∞ equivale al lı́mite por sucesiones).
Una vez con (∗), si la función f es integrable en [a, R] (en muchas ocasiones será integrable
Riemann) se calcula o se estima cada integral y se halla el lı́mite.
Si la respuesta al primer problema es positiva, abordamos el segundo. Para esto, tener en cuenta,
que una vez f es integrable en E, por un corolario del TCD,
Z Z
f (x)dx = lı́m f (x)dx, (∗∗)
[a,+∞) R→+∞ [a,R]

lo que nos puede conducir

Z al cálculo
Z ∞de la integral.
Se suele escribir f (x)dx = f (x)dx.
E a

Ejemplo. Analizar la integrabilidad de f (x) = xα en el intervalo [1, +∞).

Dado R > 1, f (x) = xα es integrable (Riemann) en [1, R] y por la regla de Barrow, (si α 6= −1)
Z R
1
xα dx = (Rα+1 − 1).
1 α + 1
Tomando lı́mites cuando R → ∞,
Z R 
α +∞, si α + 1 > 0;
lı́m x dx = 1
R→∞ 1 − α+1 , si α + 1 < 0

En el caso α = −1, la integral queda log R y el lı́mite también es +∞. Por tanto xα es integrable
en [1, +∞) si y sólo si α < −1 y en este caso el valor de la integral (f es positiva) es
Z R
1
xα dx = − .
1 α+1
Obsérvese que la situación no cambia si en vez de [1, +∞) consideramos un intervalo [a, +∞) con
a > 0 cualquiera.
Aunque los recuerdos de Análisis I nos indiquen que estamos haciendo una integral impropia,
es mejor olvidar esta terminologı́a. De momento, no hay impropiedad de ninguna clase; hemos
demostrado que si α < −1, f (x) = xα es integrable en [1, +∞) y punto.
Ejemplos.
sen x
Analı́cese si es integrable en R, f (x) = x2
χ[π,+∞) .
Es claro que sólo tenemos que mirar en [π, +∞) (fuera es 0) y allı́
1
|f (x)| ≤ ∈ L1 ([π, +∞)),
x2
26 CAPÍTULO 4. LA INTEGRAL DE LEBESGUE EN RN

y, por tanto, f ∈ L1 ([π, +∞)). El valor de la integral serı́a

Z ∞ Z R
sen x sen x
dx = lı́m dx
π x2 R→+∞ π x2

que es un problema mucho más difı́cil que hasta el momento no sabemos hacer. Esto nos
ocurrirá con muchas integrales; lo que es más sencillo es conocer un valor aproximado de la
integral y con esto nos conformamos muchas veces en las aplicaciones prácticas de la teorı́a.

Estudiar la integrabilidad en R de f (x) = sen x.

Utilizamos un corolario del TCM para funciones medibles no negativas, y
Z XZ (k+1)π
| sen x|dx = | sen x|dx.
R k∈Z kπ

En cada uno de los sumandos, tenemos integrabilidad Riemann y hacemos un cambio de

variable y Barrow:
Z (k+1)π Z π
x − kπ = t π
| sen x|dx = = sen t dt = − cos t 0
= 2.
kπ dx = dt 0

Por tanto, la serie es +∞ y sen x no es integrable.

Estudiar la integrabilidad de f (x) = e−x en [0, +∞) y en R.

En [0, +∞), (como la función es positiva)
Z +∞ Z R
−x R
e dx = lı́m e−x dx = lı́m −e−x 0
= 1.
0 R→+∞ 0 R→+∞

En (−∞, 0] (que es lo mismo que (−∞, 0), pues un punto tiene medida 0 y no cuenta en la
integración),
Z 0 Z 0
−x
e dx = lı́m e−x dx = +∞.
−∞ R→+∞ −R

Por tanto, no es integrable en (−∞, 0] y tampoco en R pues es un conjunto más grande (si
hubiera salido integrable en (−∞, 0], como ya lo era en [0, +∞), lo hubiera sido en la unión
R).
sen x
Estudiar la integrabilidad de f (x) = en [0, +∞).
x
Como la función es continua en [0, π], es integrable allı́. Ası́, basta estudiar lo que ocurre en
[π, +∞). La acotación trivial
sen x 1
≤
x x
no da información, porque 1/x no es integrable en [π, +∞), pero senx x que es más pequeña
bien pudiera serlo. Entonces, procedemos de otra manera; descomponemos el intervalo en una
unión disjunta
Z +∞ ∞ Z (k+1)π
sen x X sen x
dx = dx.
π x kπ x
k=1
sen x | sen x|
Observar que, en el intervalo [kπ, (k + 1)π], se tiene la acotación x ≥ (k+1)π con lo que
Z (k+1)π Z (k+1)π
sen x 1 2
dx ≥ | sen x|dx = ,
kπ x (k + 1)π kπ (k + 1)π
4.3. CÁLCULO DE INTEGRALES EN R 27

de donde
∞ Z (k+1)π ∞
X sen x X 2
dx ≥ = +∞.
kπ x (k + 1)π
k=1 k=1

Por tanto, la función no es integrable en [π, +∞) y por ende tampoco en [0, +∞).

log x
Estudiar la integrabilidad de f (x) = en [1, +∞).
x
Se tiene la desigualdad
log x 1
≥ , x ∈ [e, +∞).
x x
log x
Como 1/x no es integrable en [e, +∞), se sigue que f (x) = tampoco lo es y, en conse-
x
cuencia, tampoco en [1, +∞)

En estos ejemplos se ve cómo hemos usado la comparación con otras funciones más sencillas
(en general, si en E tenemos que |f | ≤ |g| y g es integrable en E entonces lo es f , o si f no es
integrable, tampoco lo es g). Como consecuencia se puede establecer un criterio de comparación
con lı́mites. Mejor que dar ningún enunciado, veamos la idea: si sabemos que para dos funciones f
y g,
|f (x)|
∃ lı́m = 2 (por ejemplo),
x→+∞ |g(x)|

entonces, en un entorno de +∞, digamos [a, +∞) se tendrá que |f (x)| ≤ 3|g(x)| y de aquı́, si g es
integrable en [a, +∞), f también lo será.
Si, en otro caso, sabemos que
|f (x)|
∃ lı́m = +∞,
x→+∞ |g(x)|

entonces, existirá b tal que

|f (x)| ≥ |g(x)|, ∀x ∈ [b, +∞)

y podremos extraer consecuencias sobre integrabilidad en [b, +∞).

Ejemplos.

x2
Analizar si es integrable en R la función f (x) = .
x4 + x2 + 1
Sea g(x) = 1/x2 . Como
|f (x)|
∃ lı́m = 1,
x→+∞ |g(x)|

se sigue que f (x) ≤ 2g(x) en un cierto intervalo [a, +∞) (a > 0) y como g es integrable allı́,
también lo es f .
También
|f (x)|
∃ lı́m = 1,
x→−∞ |g(x)|

de donde f (x) ≤ 2g(x) en un intervalo (−∞, b] (b < 0). Como g es integrable allı́ (demostrar-
lo), también lo es f .
Por último, en [b, a], f es integrable (por ser continua). Y juntando los tres hechos se sigue
que f es integrable en R.
28 CAPÍTULO 4. LA INTEGRAL DE LEBESGUE EN RN

x
Estudiar la integrabilidad de f (x) = √ en [1, +∞).
+ x x2
La función adecuada para comparar es g(x) = 1/x. Es claro que

|f (x)|
∃ lı́m = 1,
x→+∞ |g(x)|

de donde 12 |g(x)| ≤ |f (x)| en un [a, +∞) (a > 1). Como g no es integrable allı́, f tampoco y
menos en [1, +∞) que es un intervalo más grande.

Integración de funciones no acotadas

Para ilustrar la situación, supongamos que sobre un intervalo (a, b] tenemos una función medible
no acotada cerca de a. Entonces, para saber si f es integrable en (a, b], tendremos presente que
como consecuencia del TCM
Z b Z b
|f (x)|dx = lı́m |f (x)|dx
a ε→0+ a+ε

y, si este valor es finito, podremos calcular la integral (como consecuencia del TCD) mediante
Z b Z b
f (x)dx = lı́m f (x)dx.
a ε→0+ a+ε

Ejemplo. Estudiemos la integrabilidad de f (x) = xα en (0, 1] (o lo que es lo mismo [0, 1], porque
un punto no cuenta).
Desde luego, si α > 0, f es continua en [0, 1] y por tanto integrable. Pero puede haber algún
valor más. Si α 6= −1,
Z 1 Z 1 
α α 1 α+1 1, si α + 1 > 0;
x dx = lı́m x dx = lı́m (1 − ε )=
0 ε→0 +
ε ε→0 α + 1
+ +∞, si α + 1 < 0.

Obsérvese que para α = −1 también sale +∞. Por tanto, xα es integrable en [0, 1] si y sólo si
α > −1.
Juntando este hecho con lo ya conocido en [1, +∞), vemos que xα nunca es integrable en [0, +∞)
(falla cerca de 0 o falla cerca de +∞).

Con el mismo esquema se prueba fácilmente que:

1. La función f (x) = (x − a)α ∈ L1 ((a, a + 1]) si y sólo si α > −1.

2. La función f (x) = (b − x)α ∈ L1 ([b − 1, b)) si y sólo si α > −1.

Por supuesto, en este último caso hay que hacer el lı́mite

Z b Z b−ε
(b − x)α dx = lı́m (b − x)α dx.
b−1 ε→0+ b−1

En [a, b] (suponiendo que los problemas están cerca de a), también usaremos a menudo la
comparación con otra función, haciendo el lı́mite
|f (x)|
lı́m .
x→a+ |g(x)|

Si este lı́mite es 1 (por ejemplo), podremos asegurar que existe un r > 0 tal que

|f (x)| ≤ 2|g(x)|, x ∈ (a, a + r]

4.3. CÁLCULO DE INTEGRALES EN R 29

y extraer consecuencias sobre la integrabilidad en (a, a + r].

O también, existe un s > 0 tal que
1
|g(x)| ≤ |f (x)|, x ∈ (a, a + s].
2
Pero mejor que enunciar una regla general, estudiemos varios casos concretos.
Ejemplos.
log x
Estudiar la integrabilidad de f (x) = √ en (0, 1).
x
1
Tomamos la función g(x) = 2/3 y comprobamos que
x
|f (x)|
lı́m = 0.
x→0+ |g(x)|
Como consecuencia |f (x)| ≤ |g(x)| en un cierto (0, r], r < 1. La función g es integrable en
(0, r] (acabamos de ver que lo es en (0, 1]); por tanto, f es integrable en (0, r] y también lo
es en [r, 1] pues allı́ no tiene problemas (es continua). Ası́, f es integrable en (0, 1) (ó (0, 1]
ó [0, 1) ó [0, 1] que da lo mismo).
1
Estudiar la integrabilidad de f (x) = en (0, 1/2).
x log x
Aquı́, la función sencilla para comparar puede ser g(x) = 1/x. Se tiene
|f (x)|
lı́m = 0,
x→0+ |g(x)|
de donde |f (x)| ≤ |g(x)| en un cierto (0, r], r < 1/2. Pero g no es integrable en (0, r] y esto
no nos informa nada sobre la integrabilidad de f . Como el lı́mite es 0 no podemos tener una
acotación a la inversa, ası́ que no resulta útil la comparación. Haremos la integral directamente
por lı́mites y la regla de Barrow,
Z 1/2 Z 1/2 Z 1/2
1 1 1
dx = − dx = lı́m − dx =
0 x log x 0 x log x ε→0 +
ε x log x
1/2
= lı́m − log(− log x) ε
= +∞.
ε→0+
Luego, no es integrable.
1
Estudiar la integrabilidad de f (x) = en (1/2, 1).
x log x
Comparamos, cerca de 1, con la función g(x) = 1/(1 − x). Se tiene
|f (x)|
lı́m = 1,
x→1− |g(x)|

de donde, ∃s ∈ (1/2, 1) tal que 21 |g(x)| ≤ |f (x)|. Como g no es integrable en (s, 1), f tampoco
y menos en (1/2, 1).
1
Estudiar la integrabilidad de f (x) = en (0, 1).
x(log x)2
La función tiene problemas (no es acotada) cerca de 0 y cerca de 1. En (0, 1/2),
Z 1/2 Z 1/2
1 1
2
dx = lı́m dx =
0 x(log x) ε→0+
ε x(log x)2
30 CAPÍTULO 4. LA INTEGRAL DE LEBESGUE EN RN

1 1/2
= lı́m − ε
= log 2 < +∞.
ε→0+ log x
Por tanto, aquı́ es integrable. Sin embargo, cerca de 1, razonando similarmente al ejemplo
anterior comparamos con la función g(x) = 1/(1 − x)2 , que no es integrable cerca de 1 y
obtenemos que f no es integrable en (1/2, 1). Luego, f no es integrable en (0, 1).

π (sen x)α
Estudiar la integrabilidad de f (x) = (x − ) en (0, π/2).
2 cos x
La función sólo tiene problemas cerca de 0, porque en π/2 donde el coseno se anula, como
cos x = sen( π2 − x) ∼ π2 − x, se sigue que f (x) tiene lı́mite cuando x → 1− y, por tanto, es
integrable en, por ejemplo, (1/2, 1) independientemente del valor de α.
En el 0, comparamos con g(x) = xα . Es claro que

|f (x)| π
lı́m = .
x→0+ |g(x)| 2

Entonces, los tamaños de |f (x)| y |g(x)| son comparables cerca de 0 (en un intervalo (0, s),
|g(x)| ≤ |f (x)| ≤ 2|g(x)|) y tendremos que f (x) es integrable en (0, s) si y sólo si lo es g y
esto último ocurre si y sólo si α > −1.

Por último, para estudiar la integrabilidad de una función con un número finito de “problemas”
en un intervalo (acotado o no), dividimos éste en tantos subintervalos como haga falta y en cada
uno de ellos tratamos de razonar como en los ejemplos anteriores.

Ejemplo. Estudiar la integrabilidad en R de la función

sen x
f (x) = .
|x4 (1 − x)|1/3

La función tiene problemas cerca de x = 0 y x = 1 y por supuesto cerca de +∞ y −∞ donde

siempre hay que estudiarlas.
En +∞, vemos que
1
|f (x)| ≤ 4 = h(x)
|x (1 − x)|1/3
y esta última h(x) es integrable cerca de +∞, comparando con g(x) = 1/|x|5/3 . Podemos entonces
asegurar que f es integrable en, digamos, [5, +∞).
En −∞, un razonamiento análogo (misma acotación y misma función para comparar) demuestra
que f es integrable en (−∞, −5].
En (1, 5), h(x) es integrable (y por tanto f también) porque se puede comparar con |1 − x|−1/3
que lo es.
En (1/2, 1) también hay integrabilidad por la misma razón.
En (0, 1/2) hay integrabilidad porque

1
|f (x)| ∼ , x → 0+ ,
x1/3
y está última función es integrable en (0, 1/2).
En (−5, 0), también se tiene
1
|f (x)| ∼ , x → 0− ,
|x|1/3
y está última función es integrable en (−5, 0).
Juntando todos los intervalos se sigue que f es integrable en R.
4.3. CÁLCULO DE INTEGRALES EN R 31

Observación
sen x
Para algunas funciones como f (x) = se da el caso de que, siendo no integrable en
x
(0, +∞),
Z R
sen x π
∃ lı́m dx = .
R→∞ 0 x 2
Rigurosamente hablando, serı́a incorrecto escribir
Z ∞
sen x π
dx =
0 x 2

pues la función no tiene integral de Lebesgue al no ser integrable. Sin embargo, en la mayorı́a de los
textos, se escribe esta integral, su valor se entiende que es el lı́mite anterior y se añade la coletilla
integral en sentido impropio.

Derivación bajo el signo integral

De todo lo anterior, deberı́a quedar claro que, bien por acotaciones directas, bien por com-
paración, es fácil establecer la integrabilidad de funciones definidas en términos de las habituales
polinómicas, trigonométricas, exponenciales, etc.. Un problema mas difı́cil es saber calcular las inte-
grales. Para esto disponemos hasta ahora de lo conocido para la integral de Riemann. Por ejemplo,
calculemos el valor de la integral Z ∞
2
xe−x sen(x2 )dx.
0

Una vez sepamos que es integrable (comprobarlo), se cumplirá

Z ∞ Z R
2 2
xe−x sen(x2 )dx = lı́m xe−x sen(x2 )dx.
0 R→∞ 0

Entre 0 y R es una integral Riemann y podemos aplicar cambio de variable y partes:

R R2
x2 = t
Z Z
2 1
xe−x sen(x2 )dx = = e−t sen tdt.
0 2xdx = dt 2 0

En esta última hacemos partes dos veces

Z R2 Z R2
−t u = sen t du = cos t −R2
e sen tdt = = − sen(R )e 2
+ e−t cos tdt =
0 dv = e−t v = −e−t 0

Z R2
u = cos t du = − sen t 2 2
= = − sen(R2 )e−R − (cos(R2 )e−R − 1) − e−t sen tdt,
dv = e−t v = −e−t 0

de donde Z R2
2 2
2 e−t sen tdt = − sen(R2 )e−R − (cos(R2 )e−R − 1).
0

Por tanto,
Z R
2 1 2 1 2
xe−x sen(x2 )dx = − sen(R2 )e−R − (cos(R2 )e−R − 1)
0 4 4
y tomando lı́mites cuando R → ∞,
Z ∞
2 1
xe−x sen(x2 )dx = .
0 4
32 CAPÍTULO 4. LA INTEGRAL DE LEBESGUE EN RN

Ahora, vamos a introducir un nuevo método, el de derivación bajo el signo integral, que la
integral de Lebesgue permite tratar con facilidad (aún se verá en la licenciatura otro gran método
para el cálculo de ciertas integrales: el cálculo de residuos con técnicas de variable compleja).
Además, los teoremas que veremos aquı́, aunque no permitan calcular integrales en términos de
funciones elementales, son imprescindibles para conocer las propiedades de derivación de funciones
definidas por integrales dependientes de un parámetro.
Aunque nos limitaremos a integrales en R, los resultados que vienen a continuación tienen
versiones análogas en Rn .
Supongamos que tenemos E ∈ M(R), un intervalo I de R y una función f de dos variables,

f : E × I −→ R 3 (x, t) −→ f (x, t).

Si, para todo t ∈ I, se tiene que f (., t) ∈ L1 (E), podemos definir

Z
F (t) = f (x, t)dx, t ∈ I,
E

y nos preguntamos qué propiedades de f hereda F . Lo primero que discutiremos es la continuidad

y lı́mites.

Teorema 4.3.2 (Versión continua del TCD). Sea t0 ∈ I. Si

1. ∃ lı́mt→t0 f (x, t) = h(x), a.e. x ∈ E.

2. ∃ϕ ∈ L1 (E) y δ > 0 tal que |f (x, t)| ≤ ϕ(x), ∀x ∈ E, ∀t ∈ (t0 − δ, t0 + δ),

entonces Z Z
lı́m f (x, t)dx = h(x)dx.
t→t0 E E
Es decir, el lı́mite se intercambia con la integral.

Demostración. Veámoslo por sucesiones. Sea tn −→ t0 . Podemos suponer que tn ∈ (t0 − δ, t0 + δ),
para todo n. Entonces la sucesión de funciones fn (x) = f (x, tn ) satisface las hipótesis del TCD:
- lı́mn→+∞ fn (x) = h(x) a.e. x ∈ E.
- |fn (x)| ≤ ϕ(x), ∀x ∈ E, ∀n ∈ N.
Por tanto, Z Z
lı́m f (x, tn )dx = h(x)dx.
n→∞ E E
Como este hecho se cumple para cualquier sucesión tn −→ t0 se sigue el resultado.

El teorema también sirve si hacemos el lı́mite en un extremo (lı́mite lateral o si hacemos lı́mites
cuando t → +∞ o −∞.

Proposición 4.3.3. Sea I = (a, b]. Si

1. ∃ lı́m f (x, t) = h(x), a.e. x ∈ E.

t→a+

2. ∃ϕ ∈ L1 (E) y δ > 0 tal que |f (x, t)| ≤ ϕ(x), ∀x ∈ E, ∀t ∈ (a, a + δ),

entonces Z Z
lı́m f (x, t)dx = h(x)dx.
t→a+ E E

Proposición 4.3.4. Sea I = (a, +∞). Si

1. ∃ lı́m f (x, t) = h(x), a.e. x ∈ E.

t→+∞
4.3. CÁLCULO DE INTEGRALES EN R 33

2. ∃ϕ ∈ L1 (E) y R > 0 tal que |f (x, t)| ≤ ϕ(x), ∀x ∈ E, ∀t ∈ (R, +∞),

entonces Z Z
lı́m f (x, t)dx = h(x)dx.
t→+∞ E E

Como ejercicio se pueden formular y demostrar las versiones análogas para lı́mites en el extremo
derecho de un intervalo o en −∞.

Observación. En numerosos casos, la función lı́mite h(x) será f (x, t0 ), es decir, tendremos

lı́m f (x, t) = f (x, t0 ), a.e. x ∈ E

t→t0

(f es continua respecto de la segunda variable en t0 para casi todo x). Entonces, con la hipótesis
de dominación, llegarı́amos a
Z Z   Z
lı́m F (t) = lı́m f (x, t)dx = lı́m f (x, t) dx = f (x, t0 ) = F (t0 ),
t→t0 t→t0 E E t→t0 E

i.e., F es continua en t0 .

Ejemplos.
+∞
x2
Z
Sea F (t) = dx
−∞ (x2 + 1)(x2 + t)
Primero, veamos cuál es el dominio de definición de F , es decir, para qué valores del parámetro
t la función que integramos es efectivamente integrable.
Si t ≥ 0,
x2 1
|f (x, t)| = 2 2
≤
(x + 1)(x + t) 1 + x2
y como esta última función es integrable en R, f (x, t) también.
√ √
Si t < 0, el integrando presenta un problema adicional en los puntos ± −t. Cerca de α = −t,
1
la función no es integrable comparando con g(x) = x−α (que no lo es), porque

|f (x, t)|
lı́m = C < +∞.
x→α |g(x)|

Luego el dominio de definición de F es el intervalo [0, +∞).

Veamos ahora que F es continua en su dominio de definición: fijado t0 ∈ I,

lı́m f (x, t) = f (x, t0 ), ∀x ∈ E = R.

t→t0

Para la dominación, observar que

1
|f (x, t)| ≤ ∈ L1 (E), ∀x ∈ E, ∀t ∈ I,
1 + x2

(tenemos mucho más que una acotación local en un (t0 − δ, t0 + δ)). Por tanto, podemos pasar
el lı́mite dentro de la integral y
lı́m F (t) = F (t0 )
t→t0

con lo que F es continua en t0 (por supuesto en 0 el lı́mite es lateral).

34 CAPÍTULO 4. LA INTEGRAL DE LEBESGUE EN RN

∞ 2
1 − e−tx
Z
Sea F (t) = dx. Es fácil demostrar que el dominio de definición de F es el
0 x2
intervalo (0, +∞). Calculemos el lı́mite lateral en 0 de F (t).
Primero vemos que
2
1 − e−tx
lı́m = 0, ∀x ∈ E = (0, +∞).
t→0+ x2
2
Para la dominación por una función integrable cerca de 0, observar que 0 < t < 1 =⇒ e−tx >
2
e−x , de donde
2 2 2
1 − e−tx 1 − e−tx 1 − e−x
= ≤ ∈ L1 (0, +∞), ∀x ∈ (0, +∞), ∀t ∈ (0, 1).
x2 x2 x2

Por tanto, podemos pasar el lı́mite dentro de la integral y

Z +∞
lı́m F (t) = 0dx = 0.
t→0+ 0

Z +∞
sen x
Calcular el lı́mite cuando t → +∞ de F (t) = e−tx
dx.
0 x
Vemos primero que el problema tiene sentido porque F (t) está bien definida en (0, +∞). En
efecto, si t > 0, la función e−tx senx x es integrable en (0, +∞) pues su único problema es cerca
de +∞ y |e−tx senx x | ≤ e−tx ∈ L1 (0, +∞).
El lı́mite puntual es
sen x
lı́m e−tx = 0, ∀x ∈ E = (0, +∞)
t→+∞ x
y para la dominación en un entorno de +∞,
sen x sen x
e−tx ≤ e−2x ∈ L1 (E), ∀x ∈ E, ∀t ∈ (2, +∞).
x x
Por tanto, pasamos el lı́mite dentro de la integral y
Z +∞
lı́m F (t) = 0dx = 0.
t→+∞ 0

Como hacer derivadas es hacer lı́mites no es de extrañar que con adecuadas hipótesis de domi-
nación podamos intercambiar la integral y la derivada.
Ahora, suponemos que I es un intervalo abierto, que
Z
F (t) = f (x, t)dx
E

está bien definida para t ∈ I, y que ∀x ∈ E la función f (x, .) : I −→ R es derivable en I.

∂f
Denotaremos esta derivada por (x, t).
∂t
Con estas premisas, tenemos:

Teorema 4.3.5. Dado t0 ∈ I, si se cumple la hipótesis de dominación

∂f
HD ∃φ ∈ L1 (E) y δ > 0 tal que (x, t) ≤ φ(x), ∀x ∈ E, ∀t ∈ (t0 − δ, t0 + δ),
∂t
entonces, F es derivable en t0 y Z
∂f
F 0 (t0 ) = (x, t0 )dx.
E ∂t
4.3. CÁLCULO DE INTEGRALES EN R 35

Demostración. Tenemos que probar que

F (t) − F (t0 )
Z
∂f
∃ lı́m = (x, t0 )dx
t→t0 t − t0 E ∂t
o, por la linealidad de la integral que
f (x, t) − f (x, t0 )
Z Z
∂f
lı́m dx = (x, t0 )dx. (∗)
t→t0 E t − t0 E ∂t

Como sabemos que el lı́mite puntual es

f (x, t) − f (x, t0 ) ∂f
lı́m = (x, t0 ), ∀x ∈ E
t→t0 t − t0 ∂t
se trata de intercambiar el lı́mite con la integral para lo que tendremos que dominar en un entorno
de t0 . Pero, utilizando el teorema del valor medio, para cada t ∈ (t0 − δ, t0 + δ), ∃tξ ∈ (t0 − δ, t0 + δ)
tal que
f (x, t) − f (x, t0 ) ∂f
= (x, tξ ) ≤ φ(x), ∀x ∈ E, ∀t ∈ (t0 − δ, t0 + δ).
t − t0 ∂t
Ası́, tenemos la hipótesis para demostrar que (∗) es cierto y queda demostrado el teorema.

Mostraremos ahora cómo la derivación bajo el signo integral permite el cálculo de nuevas inte-
grales.
Ejemplos.
Z 1
Sea F (t) = xt dx. Sabemos que F está bien definida para t ∈ (−1, +∞) y, de hecho
0
1
sabemos calcular su valor F (t) = .
t+1
Derivando bajo el signo integral (dejamos comprobar HD para el final),
Z 1
1 0
− = F (t) = xt log xdx, t ∈ (−1, +∞).
(t + 1)2 0

con lo que hemos calculado el valor de estas nuevas integrales. El ejemplo no Res muy espec-
1
tacular porque las podrı́amos haber hecho con un lı́mite (cuando ε → 0+ de ε xt log xdx y
en esta integral (Riemann) hacer integración por partes.
Para HD, fijado t0 ∈ (−1, +∞) elegimos un δ > 0 tal que t0 − δ > −1 y
∂f
(x, t) = |xt log x| ≤ |xt0 −δ log x| ∈ L1 (0, 1), ∀x ∈ (0, 1), ∀t ∈ (t0 − δ, t0 + δ).
∂t
2
1 − e−x
+∞
Z
Calcular la integral .
0 x2
Haremos algo más, calcularemos
2
+∞
1 − e−tx
Z
F (t) = dx, t > 0
0 x2

(nuestra integral es F (1)). Es claro que F (t) está bien definida en ese rango de t0 s. F (t) no
sabemos calcularla directamente, pero si derivamos bajo el signo integral
Z +∞ √
0 −tx2 π
F (t) = e dx = √ , t > 0 (1)
0 2 t
36 CAPÍTULO 4. LA INTEGRAL DE LEBESGUE EN RN

(véase la siguiente sección de la función gamma para comprobar el valor de esta última
integral). Ahora, de (1) podemos deducir que existe una constante C ∈ R tal que
√
F (t) = πt + C, t > 0. (2)

Para calcular el valor de C, tomamos lı́mites cuando t → 0+ en (2) (vimos en un ejemplo

√
anterior que F (t) → 0 cuando t → 0+ ) y sale que C = 0. Por tanto, F (1) = π.
Para justificar HD en (1), si t0 > 0, elegimos δ > 0 tal que t0 − δ > 0 y
∂f 2 2
(x, t) = e−tx ≤ e−(t0 −δ)x ∈ L1 (0, +∞), ∀x ∈ (0, +∞), ∀t ∈ (t0 − δ, t0 + δ).
∂t

Las funciones gamma y beta de Euler

Estas funciones son integrales dependientes de parámetros, no son elementales (no se pueden
expresar en términos de operaciones algebraicas de composiciones e inversas de funciones polinómi-
cas, exponenciales y trigonométricas). Aparecen frecuentemente en muchas ramas de la matemática
y sus aplicaciones. Aquı́, estudiaremos sus primeras propiedades y las utilizaremos para el cálculo
de unas cuantas integrales.
R∞
Definición 4.3.6 (Función gamma). Γ(t) = 0 xt−1 e−x dx, t > 0.

Efectivamente el dominio de definición de esta función es (0, +∞) porque xt−1 e−x cerca de 0 es

xt−1 e−x ∼ xt−1 , x → 0+

y xt−1 es integrable cerca de 0 si y sólo si t > 0. Y cerca de +∞,

xt−1 e−x
lı́m = 0, sea cual sea t ∈ R,
x→+∞ e−x/2

y como e−x/2 es integrable cerca de +∞, xt−1 e−x también. Es decir, la limitación al valor del
parámetro se debe al comportamiento cerca de 0.
El primer hecho importante de la función gamma es que es una función de clase C (∞ en (0, +∞)
que extiende el factorial de los números naturales.
Z ∞
(∞ (n
1 Γ ∈ C (0, +∞) y Γ (t) = xt−1 (log x)n e−x dx.
0
En efecto, si podemos derivar bajo el signo integral en un punto t0 > 0 tendremos,
Z ∞
0
Γ (t0 ) = xt0 −1 log xe−x dx.
0

Para conseguir HD, elegimos δ > 0 tal que t0 − δ > 0 y podemos acotar

xt0 −1 log xe−x ≤ xt0 −δ−1 log xe−x χ(0,1] (x) + xt0 +δ−1 log xe−x χ(1,+∞] (x) = φ(x)

y φ ∈ L( 0, +∞) (comprobarlo). Para las derivadas sucesivas se razona de forma similar.

2 Γ(t + 1) = tΓ(t), t > 0.

En efecto,
∞
u = xt du = txt−1
Z
Γ(t + 1) = xt e−x dx = =
0 dv = e−x dx v = −e−x
Z ∞
∞
−xt e−x 0
+t xt−1 e−x dx = tΓ(t).
0
4.3. CÁLCULO DE INTEGRALES EN R 37

3 Γ(n) = (n − 1)!.
En efecto, aplicando 2 sucesivamente

Γ(n) = (n − 1)Γ(n − 1) = (n − 1)(n − 2)Γ(n − 2) = · · · = (n − 1)(n − 2) · · · 2Γ(1)

y Z ∞
Γ(1) = e−x dx = 1.
0

4 (Fórmula de Stirling) √
Γ(x + 1) ∼ xx e−x 2πx, (x → +∞)
R1
Definición 4.3.7 (Función beta). B(u, v) = 0 xu−1 (1 − x)v−1 dx, u, v > 0.

En efecto, la expresión está bien definida para u, v > 0 pues xu−1 (1 − x)v−1 ∼ xu−1 , x → 0+ y
xu−1 (1 − x)v−1 ∼ (1 − x)v−1 , x → 1− .
La función beta cumple las siguientes propiedades:

4 B(u, v) = B(v, u), u, v > 0.

Basta hacer el cambio (1 − x) = t.
R π/2
5 B(u, v) = 2 0 (cos t)2u−1 (sen t)2v−1 dt, u, v > 0.
Hacemos el cambio x = cos2 t,
1 π/2
x = cos2 t
Z Z
u−1 v−1
x (1 − x) dx = =2 (cos t)2u−1 (sen t)2v−1 dt.
0 dx = −2 cos t sen t 0

∞
xu−1
Z
6 B(u, v) = dx.
0 (1 + x)u+v
Hacemos el cambio x = t/(1 + t) (t = x/(1 − x)), observando que cuando x → 1− , t → +∞.
Entonces,
Z 1 Z ∞
u−1 v−1 x = t/(1 + t) tu−1
x (1 − x) dx = = dt.
0 dx = dt/(1 + t)2 0 (1 + t)u+v

La relación entre las funciones beta y gamma viene dada por la siguiente fórmula. Pospondremos
su demostración hasta el uso de integrales reiteradas en la siguiente sección.
Γ(u)Γ(v)
7 B(u, v) = , u, v > 0.
Γ(u + v)
De esta fórmula se deduce claramente que
(m − 1)!(n − 1)!
8 B(m, n) = , m, n ∈ N.
(m + n − 1)!
√
9 B(1/2, 1/2) = π (se deduce inmediatamente de 5) y esto junto con 7 da Γ(1/2) = π y por la
√
recurrencia Γ(3/2) = (3/2) π, etc..
Z ∞
2 √
10 e−x dx = π/2.
0

∞ ∞
x2 = t
Z Z
−x2 1 1
e dx = = t−1/2 e−t dt = Γ(1/2).
0 dx = dt/2t1/2 2 0 2
38 CAPÍTULO 4. LA INTEGRAL DE LEBESGUE EN RN

π
11 Γ(p)Γ(1 − p) = B(p, 1 − p) = , 0 < p < 1.
sen(πp)
Se demostrará en cursos superiores con técnicas de variable compleja (residuos) que
∞
xp−1
Z
π
dx = , 0<p<1
0 1+x sen(πp)

y, por 6, esta integral es B(p, 1 − p).

4.4. Cálculo de integrales en R2 y R3

El teorema de Fubini
Nos preguntamos bajo qué hipótesis será cierto que
Z Z Z  Z Z 
f= f (x, y)dx dy = f (x, y)dy dx.
R2 R R R R

Los teoremas de Fubini y de Fubini-Tonelli que vamos a exponer en esta sección (y cuyas demostra-
ciones se verán en cursos superiores) afirman que las igualdades anteriores son ciertas con hipótesis
mı́nimas. El problema se puede plantear, en general, en Rn en los siguientes términos:
Supongamos que miramos a Rn como el espacio producto de otros dos Rp y Rq , es decir,
R = Rp × Rq (n = p + q) y sus elementos los denotamos como pares (x, y), x ∈ Rp , y ∈ Rq . La
n

pregunta es si:
Z Z Z  Z Z 
f= f (x, y)dmq (y) dmp (x) = f (x, y)dmp (x) dmq (y). (∗)
Rn Rp Rq Rq Rp

Notaciones.

(1) Sea E ⊆ Rp+q ∼

= Rp × Rq ; pondremos

πX (E) = {x ∈ Rp : ∃y ∈ Rq con (x, y) ∈ E};

πY (E) = {y ∈ Rq : ∃x ∈ Rp con (x, y) ∈ E}.

Dado x ∈ Rp , llamaremos x-sección de E al conjunto

Ex = {y ∈ Rq : (x, y) ∈ E}

(que será no vacı́o ⇐⇒ x ∈ πX (E)).

Dado y ∈ Rq , llamaremos y -sección de E al conjunto

Ey = {x ∈ Rp : (x, y) ∈ E}

(que será no vacı́o ⇐⇒ y ∈ πY (E)),

(2) Sea f : (x, y) ∈ Rp+q → f (x, y) ∈ [−∞, +∞].

Dado x ∈ Rp , llamaremos x-sección de f a la función

fx : y ∈ Rq → fx (y) = f (x, y) ∈ [−∞, +∞].

Dado y ∈ Rq , llamaremos y -sección de f a la función

fy : x ∈ Rp → fy (x) = f (x, y) ∈ [−∞, +∞].

4.4. CÁLCULO DE INTEGRALES EN R2 Y R3 39

Es inmediato comprobar que (χE )x = χEx , (χE )y = χEy .

Ejemplos. 1.- Para E = A × B con A ⊆ Rp , B ⊆ Rq (no vacı́os), x ∈ Rp , y ∈ Rq ,

( (
B si x ∈ A A si y ∈ B
πX (E) = A, πY (E) = B, Ex = , Ey = .
∅ si x ∈
/A ∅ si y ∈ /B

2.- Para p = 2, q = 1, x = (x1 , x2 ) ∈ R2 , y ∈ R, E = {(x1 , x2 , x3 ) ∈ R3 : x21 + x22 + x23 ≤ 1},

D = {(x1 , x2 ) ∈ R2 : x21 + x22 ≤ 1},

πX (E) = D, πY (E) = [−1, 1],

(h p p i
− 1 − x21 − x22 , 1 − x21 − x22 si x ∈ D
Ex = ,
∅ si x ∈
/D
(
{(x1 , x2 ) ∈ R2 : x21 + x22 ≤ 1 − y 2 } si y ∈ [−1, 1]
Ey = .
∅ si y ∈
/ [−1, 1]

Cuando tengamos funciones caracterı́sticas, f = χE , las igualdades (*), se traducen en:

Z Z
mp+q (E) = mq (Ex ) dx = mp (Ey ) dy.
Rp Rq

Esto es lo que demuestra el siguiente teorema.

Lema 4.4.1 (cálculo de medidas por secciones). Sea E ∈ M(Rp+q ). Entonces:

(1.a) Para casi todo x ∈ Rp , Ex es medible (Ex ∈ M(Rq )).

(1.b) Para casi todo y ∈ Rq , Ey es medible (Ey ∈ M(Rp )).

(2.a) La función ϕ con valores en [0, +∞] definida a.e. en Rp por

ϕ(x) = mq (Ex )

es medible.

(2.b) La función ψ con valores en [0, +∞] definida a.e. en Rq por

ψ(y) = mp (Ey )

es medible.
Z Z
(3) Se verifica mp+q (E) = ϕ= ψ; en notación más explı́cita,
Rp Rq
Z Z
mp+q (E) = mq (Ex ) dx = mp (Ey ) dy.
Rp Rq

Demostración. (Esquema). En esencia, se procede de la siguiente forma:

(i) se prueba el lema para E rectángulo ( producto cartesiano de intervalos en Rp+q ). Este paso
es inmediato.

(ii) se extiende a E = G abierto, teniendo en cuenta que G puede escribirse como unión disjunta
de una familia numerable de rectángulos.
40 CAPÍTULO 4. LA INTEGRAL DE LEBESGUE EN RN

(iii) se extiende a E medible acotado, utilizando abiertos acotados (Gk ) y cerrados (Fk ) tales que

G1 ⊇ G2 ⊇ · · · ⊇ Gk ⊇ · · · ⊇ E ⊇ · · · ⊇ Fk ⊇ · · · ⊇ F2 ⊇ F1 ,

y lı́mk mp+q (Gk \ Fk ) = 0.

(iv) se amplı́a a E medible arbitrario, mediante En = E ∩ B(0; n), sucesión no decreciente con
unión E.

Nota. Toda la dificultad del resultado que buscamos se encuentra en el lema anterior. Los pasos
siguientes son estandar en teorı́a de la medida.
Teorema 4.4.2 (de Fubini-Tonelli). Sea f : Rp+q → [0, +∞] medible. Entonces:
(1.a) Para casi todo x ∈ Rp , fx : Rq → [0, +∞] es medible.
(1.b) Para casi todo y ∈ Rq , fy : Rp → [0, +∞] es medible.
(2.a) La función ϕ con valores en [0, +∞] definida a.e. en Rp por
Z Z
ϕ(x) = fx = f (x, y) dy
Rq Rq

es medible.
(2.b) La función ψ con valores en [0, +∞] definida a.e. en Rq por
Z Z
ψ(y) = fy = f (x, y) dx
Rp Rp

es medible.
Z Z Z
(3) Se verifica f= ϕ= ψ; en notación más tradicional,
Rp+q Rp Rq
Z Z Z  Z Z 
f= f (x, y) dy dx = f (x, y) dx dy.
Rp+q Rp Rq Rq Rp

Demostración.
(i) Para f = χE , E medible, es el lema anterior.
(ii) Se pasa a f simple medible por linealidad.
(iii) Se obtiene el resultado general poniendo f como lı́mite no decreciente de funciones simples
medibles.

Teorema 4.4.3 (de Fubini, 1907). Sea f : Rp+q → R integrable, f ∈ L1 (Rp+q ). Entonces:
(1.a) Para casi todo x ∈ Rp , fx : Rq → R es medible e integrable, fx ∈ L1 (Rq ).
(1.b) Para casi todo y ∈ Rq , fy : Rp → R es medible e integrable, fy ∈ L1 (Rp ).
(2.a) La función ϕ con valores en R definida a.e. en Rp por
Z Z
ϕ(x) = fx = f (x, y) dy
Rq Rq

es integrable, ϕ ∈ L1 (Rp ).
4.4. CÁLCULO DE INTEGRALES EN R2 Y R3 41

(2.b) La función ψ con valores en R definida a.e. en Rq por

Z Z
ψ(y) = fy = f (x, y) dx
Rp Rp

es integrable, ψ ∈ L1 (Rq ).
Z Z Z
(3) Se verifica f= ϕ= ψ; es decir,
Rp+q Rp Rq
Z Z Z  Z Z 
f= f (x, y) dy dx = f (x, y) dx dy.
Rp+q Rp Rq Rq Rp

Demostración. Aplicar el teorema anterior, teniendo en cuenta que f = f + − f − .

Aplicando este teorema reiteradamente podremos calcular una integral en Rn haciendo n inte-
grales de una variable.
Corolario 4.4.4. f ∈ L1 (Rn ) =⇒
Z Z Z Z  
n−2)
f (x)dmn (x) = ... f (x1 , x2 , . . . , xn ) dx1 dx2 . . . dxn .
Rn R R R

Corolario 4.4.5 (Forma práctica del teorema de Fubini). Sea E ∈ M(Rp+q ).

(1) Si f : E → [0, +∞] medible,

Z Z Z  Z "Z #
f= f (x, y) dy dx = f (x, y) dx dy.
E πX (E) Ex πY (E) Ey

(2) Si f : E → R medible, entonces

(a) f ∈ L1 (E) si y sólo si es finita alguna de las integrales reiteradas

Z Z  Z "Z #
|f (x, y)| dy dx, |f (x, y)| dx dy.
πX (E) Ex πY (E) Ey

(b) cuando f sea integrable,

Z Z Z  Z "Z #
f= f (x, y) dy dx = f (x, y) dx dy.
E πX (E) Ex πY (E) Ey

Demostración. Basta tener cuenta que

Z Z
f= (f χE )
E Rn

y que (f χE )x = fx χEx , (f χE )y = fy χEy .

Nota. Pueden darse enunciados (más complicados de escribir) permutando coordenadas en cual-
quier orden. Ası́, por ejemplo, con notación obvia, si se tiene f : (x, y, z) ∈ E ⊆ R3 → R, E medible,
f es integrable en E si y sólo si f es medible y es finita alguna de las tres integrales reiteradas
ZZ "Z # ZZ "Z #
|f (x, y, z)| dz dx dy, |f (x, y, z)| dy dx dz,
πXY (E) E(x,y) πXZ (E) E(x,z)
ZZ "Z # Z Z Z 
|f (x, y, z)| dx dy dz, |f (x, y, z)| dy dz dx,
πY Z (E) E(y,z) πX (E) Ex

etc.
42 CAPÍTULO 4. LA INTEGRAL DE LEBESGUE EN RN

Integración mediante cambios de variable

El teorema de cambio de variable para la integral de Riemann asegura lo siguiente:
Sea f : [c, d] −→ R integrable Riemann y sea Φ : [a, b] −→ [c, d], (Φ(t) = x), una función
biyectiva tal que Φ : (a, b) −→ (c, d) es un C (1 -difeomorfismo, entonces
Z d Z b
f (x)dx = f (Φ(t))|Φ0 (t)|dt.
c a

Para la integral de Lebesgue en Rn se tiene un resultado análogo, cambiando derivada por

jacobiano.
Teorema 4.4.6. Sea Φ : Ω ⊂ Rn −→ Φ(Ω) ⊂ Rn , (Φ(x) = y), un C (1 -difeomorfismo. Entonces, si
E ⊂ Ω es medible en Rn , se sigue que Φ(E) es medible en Rn y:
1 Si f : Φ(E) −→ [0, +∞] es medible,
Z Z
f (y)dmn (y) = f (Φ(x)) |det JΦ(x)| dmn (x).
Φ(E) E

Si uno de los lados es +∞, el otro también.

2 Si f : Φ(E) −→ R ∈ L1 (Φ(E)), entonces
(f ◦ Φ) |det JΦ| ∈ L1 (E),
y se verifica Z Z
f (y)dmn (y) = f (Φ(x)) |det JΦ(x)| dmn (x).
Φ(E) E

Demostración. (Idea) Basta probar la igualdad, cuando f es una función caracterı́stica, pues por
linealidad se pasa a funciones simples, por aproximación monótona mediante simples se pasa a
funciones positivas y considerando f = f + − f − se demuestra para funciones integrables.
Se puede considerar que f = χΦ(A) , con A medible ⊂ Ω. Entonces, χΦ(A) ◦ Φ = χA , y lo que
tenemos que probar es la fórmula
Z
mn (Φ(A)) = |det JΦ| dmn . (∗)
A
En el caso particular en que Φ = T lineal, como |det JΦ(x)| = |det T |, ∀x ∈ Rn , (*) se transforma
simplemente en
mn (T (A)) = |det T |mn (A),
lo cual es cierto, por ser ésta una propiedad de la medida de Lebesgue.
En el caso general, resultados de teorı́a de la medida muestran que basta probar (*) cuando
A = I intervalo elemental y, para éstos se razona por argumentos de aproximación, teniendo en
cuenta que, localmente, toda aplicación diferenciable es, salvo traslaciones, como una aplicación
lineal (su diferencial), por la fórmula
Φ(x) = Φ(a) + dΦ(a)(x − a) + o(kx − ak).
Entonces, si I es un intervalo pequeño cerca de a,
Φ(I) = Φ(a) + dΦ(a)(I − a) + “error pequeño”
lo que implica, debido a que mn es invariante por traslaciones que
mn (Φ(I)) ∼ mn (dΦ(a)(I − a) ∼ |det JΦ(a)|mn (I).
Por último, sumando trozos pequeños se llega a la fórmula (*) para cualquier intervalo.
Una demostración que sigue este esquema puede encontrarse en el libro de A. Browder,
Mathematical Analysis. An Introduction.
4.4. CÁLCULO DE INTEGRALES EN R2 Y R3 43

Nota. Al particularizar para k = 2 e interpretando el difeomorfismo Φ como un cambio de coor-

denadas, (
x = x(u, v)
Φ ,
y = y(u, v)

si hemos de integrar una función f sobre un conjunto D y D e es la “descripción de D en términos

de las coordenadas u, v”, es decir, D −1
e = Φ (D) —con lo que Φ(D) e = D—, la fórmula del cambio
de variable se escribe en notación más “tradicional”
ZZ ZZ
∂(x, y)
f (x, y) dx dy = f (x(u, v), y(u, v)) (u, v) du dv.
D De ∂(u, v)

A veces, en la práctica, lo que se conoce es el “cambio inverso” Φ−1 ,

(
−1 u = u(x, y)
Φ ,
v = v(x, y)

es decir, las “nuevas” coordenadas u, v en función de las “antiguas” x, y. Cuando no es fácil

“despejar x, y en función de u, v”, es decir, cuando no es sencillo obtener explı́citamente Φ, puede
intentarse aprovechar que el jacobiano de Φ y el de Φ−1 son inversos, de modo que si operando
resulta que
−1
∂(u, v)
f (x, y) (x, y)
∂(x, y)
es una función fácilmente expresable en términos de u, v, es decir,
−1
∂(u, v)
f (x, y) (x, y) = g(u(x, y), v(x, y)),
∂(x, y)
para una cierta función g, entonces
ZZ ZZ
f (x, y) dx dy = g(u, v) du dv
D D
e

dado que u(x(u, v), y(u, v)) = u, v(x(u, v), y(u, v)) = v y
−1
∂(u, v) ∂(x, y)
(x(u, v), y(u, v)) = (u, v) .
∂(x, y) ∂(u, v)
Se puede desarrollar análogamente el caso k = 3.

Pueden darse teoremas de cambio de variable más generales, con condiciones menos restrictivas
sobre Φ que el ser un difeomorfismo. La propiedad importante es “la inyectividad y diferenciabilidad
en casi todo el dominio”.
Un resultado de este estilo puede verse en W. Rudin, Análisis Real y Complejo (3a ed.), Teor.
7. 26, pág. 174. Su demostración usa la teorı́a de derivación de integrales, que sobrepasa el marco
del presente curso, por lo que nos limitamos a enunciarlo.

Teorema 4.4.7. Sea Φ : U → Rk una aplicación continua en un abierto U ⊆ Rk y sea X un

subconjunto medible-Lebesgue de U en el que Φ es inyectiva y diferenciable en cada uno de sus
puntos. Si m es la medida de Lebesgue en Rk y m(Φ(U \ X)) = 0, entonces para Y = Φ(X) se tiene
Z Z
f= (f ◦ Φ) | det JΦ|
Y X

para toda función medible-Lebesgue f : Y → [0, +∞] ası́ como para toda función f ∈ L1 (Y ).
44 CAPÍTULO 4. LA INTEGRAL DE LEBESGUE EN RN

Cambios de coordenadas en el plano

Coordenadas polares.

La transformación de R2 en R2 dada por

(
x = ρ cos θ
(ρ, θ) 7→
y = ρ sen θ

es de clase C (∞ , pero no es inyectiva. Su restricción T a U = (0, +∞) × (−π, π) es un difeomorfismo

con imagen R2 \ N , donde N = {(x, 0) : x ≤ 0} = (−∞, 0] × {0} es de medida nula.
El jacobiano de la transformación vale

cos θ −ρ sen θ
= ρ.
sen θ ρ cos θ

Por tanto, dado D ∈ M(R2 ), si E = T −1 (D) y f es medible sobre D,

ZZ ZZ
f (x, y) dx dy = f (ρ cos θ, ρ sen θ) ρ dρ dθ
D E

(entendiendo con esta igualdad que las integrales tienen sentido simultáneamente y que cuando
tengan sentido han de tomar el mismo valor).
Nótese que T (E) = D \ N .

Cambios de coordenadas en el espacio (R3 )

Coordenadas cilı́ndricas.

La transformación de R3 en R3 dada por


x = ρ cos θ

(ρ, θ, z) 7→ y = ρ sen θ

z=z


es de clase C (∞ , pero no es inyectiva. Su restricción T a U = (0, +∞) × (−π, π) × R es un difeo-

morfismo con imagen R3 \ N , donde N = {(x, 0, z) : x ≤ 0, z ∈ R} = (−∞, 0] × {0} × R es de
medida nula.
El jacobiano de la transformación vale

cos θ −ρ sen θ 0
sen θ ρ cos θ 0 = ρ.
0 0 1

Por tanto, dado D ∈ M(R3 ), si E = T −1 (D) y f es medible sobre D,

ZZZ ZZZ
f (x, y, z) dx dy dz = f (ρ cos θ, ρ sen θ, z) ρ dρ dθ dz
D E

(entendiendo con esta igualdad que las integrales tienen sentido simultáneamente y que cuando
tengan sentido han de tomar el mismo valor).
4.4. CÁLCULO DE INTEGRALES EN R2 Y R3 45

Coordenadas esféricas.
La transformación de R3 en R3 dada por

x = ρ cos ϕ cos θ

(ρ, ϕ, θ) 7→ y = ρ cos ϕ sen θ

z = ρ sen ϕ


es de clase C (∞ , pero no es inyectiva. Su restricción T a U = (0, +∞) × (−π/2, π/2) × (−π, π) es

un difeomorfismo con imagen R3 \ N , donde N = {(x, 0, z) : x ≤ 0, z ∈ R} = (−∞, 0] × {0} × R es
de medida nula.
El jacobiano de la transformación vale

cos ϕ cos θ −ρ sen ϕ cos θ −ρ cos ϕ sen θ

cos ϕ sen θ −ρ sen ϕ sen θ ρ cos ϕ cos θ = −ρ2 cos ϕ.
sen ϕ ρ cos ϕ 0

Por tanto, dado D ∈ M(R3 ), si E = T −1 (D) y f es medible sobre D,

ZZZ ZZZ
f (x, y, z) dx dy dz = f (ρ cos ϕ cos θ, ρ cos ϕ sen θ, ρ sen ϕ) ρ2 cos ϕ dρ dϕ dθ
D E

(entendiendo con esta igualdad que las integrales tienen sentido simultáneamente y que cuando
tengan sentido han de tomar el mismo valor).