Analisis Real 3 - Renato Benazic

Analisis Real III
Renato Benazic
October 29, 2017

Prefacio
Renato Benazic
Introducción
Contenido
1 Integrales Múltiples 1
1.1 La Definición de Integral sobre m-bloques . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Propiedades Básicas de la Integral sobre m-Bloques Compactos . . . . . . . . . . . . . . . 9
1.3 Conjuntos de Medida Cero . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.4 Caracterización de las Funciones Riemann Integrables . . . . . . . . . . . . . . . . . . . . 21
1.5 Integración Iterada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.6 Integrales sobre Conjuntos J-medibles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.7 Cambio de Variables en la Integral Múltiple . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2 Espacios de Medida 35
2.1 Limitaciones y desventajas de la Integral de Riemann . . . . . . . . . . . . . . . . . . . . 35
2.2 Espacios medibles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
2.3 Medidas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
2.4 Caracterización de una medida. Unicidad . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
2.5 Medidas exteriores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
2.6 Medida de Lebesgue en Rn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
2.7 Algunos Propiedades de la medida de Lebesgue en Rn . . . . . . . . . . . . . . . . . . . . 60
2.8 Algunos aspectos teóricos de la medida de Lebesgue en Rn . . . . . . . . . . . . . . . . . . 62
3 Integración Abstracta 65
3.1 Funciones medibles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
3.2 Funciones simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
3.3 Integración de funciones medibles no negativas . . . . . . . . . . . . . . . . . . . . . . . . 74
3.4 Integración de funciones medibles reales o complejas . . . . . . . . . . . . . . . . . . . . . 82
3.5 Conjuntos de medida nula . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
4 Los Espacios Lp 89
4.1 Los espacios Lp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
4.2 Los espacios Lp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
3
4.3 Completitud de los espacios Lp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
4.4 Aproximación por funciones continuas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
Capı́tulo 1
Integrales Múltiples
1.1 La Definición de Integral sobre m-bloques
Primeramente introducimos la notación necesaria. Si I ⊆ R es un intervalo acotado (es decir, del tipo
[a, b], ]a, b[, ]a, b], [a, b[ o inclusive [a] = [a, a]), el volumen unidimensional o longitud de I, se define por
vol (I) = b − a.
Decimos que B ⊆ Rm es un bloque m-dimensional o simplemente m-bloque si y sólo si B es producto

cartesiano de m intervalos I1 , . . . , Im , es decir
m
Y
B = I1 × I2 × · · · × Im = Ii .
i=1
Si todo los intervalos Ii son abiertos (resp. cerrados, acotados, compactos, etc.), diremos que el m-bloque
Ym
B= Ii es abierto (resp. cerrado, acotado, compacto, etc.). Si todos los intervalos Ii tienen la misma
i=1
m
Y
longitud, entonces B = Ii es llamado m- cubo.
i=1
Para propósitos posteriores, vamos a admitir que uno o más de los intervalos Ii pueda constar de un
Ym
sólo punto. En este caso, decimos que B = Ii es un m-bloque degenerado.
i=1
m
Y
Si B = Ii es un m-bloque acotado, el volumen m-dimensional o simplemente volumen de B,
i=1
denotado por vol (B), se define como el producto de las longitudes de los intervalos Ii , es decir
m
Y
vol (B) = vol (Ii ).
i=1
1
Análisis Real II 2
Observaciones:
1. El volumen de un m-bloque degenerado es cero.

2. Si m = 1, 2, 3 entonces el m-bloque B se denomina respectivamente intervalo, rectángulo, pa-
ralelepı́pedo y su volumen vol (B) pasa a ser llamado longitud, área y volumen, respectivamente.
m
Y
Sea B = Ii un m-bloque acotado, donde Ii es un intervalo de extremos ai , bi . Una cara (m − 1)-
i=1
dimensional o simplemente (m − 1)-cara de B es un producto cartesiano del tipo
I1 × · · · × Ik−1 × {ak } × Ik+1 × · · · × Im ó I1 × · · · × Ik−1 × {bk } × Ik+1 × · · · × Im
donde k = 1, 2, . . . m.
Para m = 1, 2, 3, una (m − 1)-cara es un extremo del intervalo, un lado del rectángulo o una cara del
paralelepı́pedo.
Es claro que toda (m − 1)-cara de un m-bloque, tiene volumen (m-dimensional) cero.
De manera análoga se definen las (m − k)-caras (k = 2, . . . , m) de un m-bloque. Las 0-caras son
llamadas vértices del m-bloque.
m
Y
Definición 1.1.1 Sea B = [a1 , bi ] un m-bloque compacto.
i=1
1. Una partición P de B es un producto cartesiano P = P1 × · · · × Pm donde Pi ∈ P([ai , bi ]),

∀ 1 ≤ i ≤ m. Denotaremos por P(B) al conjunto de todas las particiones del m-bloque compacto
B.
2. Sea P = P1 × · · · × Pm ∈ P(B). La norma de P , denotada por kP k es definida como
kP k = max{kPi k; 1 ≤ i ≤ m}
3. Sean P = P1 × · · · × Pm , Q = Q1 × · · · × Qm ∈ P(B). Decimos que Q es un refinamiento de P si y

sólo si Pi ⊆ Qi , ∀ 1 ≤ i ≤ m.
Observaciones:
1. Sea P = P1 × · · · × Pm ∈ P(B) donde
Pi = {ai = ti0 < ti1 < · · · < tiki = bi } ∈ P([ai , bi ]), (1 ≤ i ≤ m)
Si denotamos por Ijii = [tiji −1 , tiji ] (1 ≤ ji ≤ ki ) al ji -ésimo intervalo generado por Pi ∈ P([ai , bi ])
entonces
Ij11 × Ij22 × · · · × Ijmm
es un m-bloque contenido en B, al cual denotaremos por Bj1 ,...,jm y llamaremos m-subbloque
generado por P ∈ P(B). En muchas ocasiones es conveniente enumerar consecutivamente a estos
subbloques y denotarlos por Bi , con 1 ≤ i ≤ k = k1 · · · km . En cualquier caso, escribiremos

P = {Bj1 ,...,jm } ó P = {Bi } ∈ P(B) para decir que los Bj1 ,...,jm (o los Bi ) son los subbloques
generados por la partición P . Es claro que
k
X
vol (B) = vol (Bi ).
i=1
2. Si P, Q ∈ P(B) entonces P ∪ Q no necesariamente es una partición de B. En efecto, considere

P = {0, 1}×{0, 1/2, 1} y Q = {0, 1/2, 1}×{0, 1}. Es claro que P y Q son particiones de [0, 1]×[0, 1],
sin embargo P ∪ Q no es una partición de [0, 1] × [0, 1].
3. Sean P = P1 × · · · × Pm , Q = Q1 × · · · × Qm ∈ P(B), denotaremos
P + Q = (P1 ∪ Q1 ) × (P2 ∪ Q2 ) × · · · × (Pm ∪ Qm )
Es claro que P + Q ∈ P(B) y P + Q es un refinamiento común de P y Q, (es decir P ⊆ P + Q y
Q ⊆ P + Q).
m
Y
Sea B = [a1 , bi ] un m-bloque compacto y f : B → R una función acotada, denotemos
i=1
m(f ) = inf{f (x); x ∈ B} y M (f ) = sup{f (x); x ∈ B}

Es claro que m(f ) ≤ f (x) ≤ M (f ), ∀ x ∈ B.
Si P = {Bi } ∈ P(B), denotamos
mi (f ) = inf{f (x); x ∈ Bi } y Mi (f ) = sup{f (x); x ∈ Bi }
Se cumple
m(f ) ≤ mi (f ) ≤ f (x) ≤ Mi (f ) ≤ M (f ), ∀ x ∈ Bi , ∀i
La suma inferior y la suma superior de f relativa a la partición P se definen respectivamente como
X X
L(f, P ) = mi (f ) vol (Bi ) y U (f, P ) = Mi (f ) vol (Bi )
i i
Es claro que
m(f ) vol (B) ≤ L(f, P ) ≤ U (f, P ) ≤ M (f ) vol (B), ∀ P ∈ P(B)
La Integral Superior y la Integral Inferior de una función acotada f : B → R se definen respectivamente
como
Z
f (x)dx = inf{U (f, P ); P ∈ P(B)}
ZB
f (x)dx = sup{L(f, P ); P ∈ P(B)}
B
Z Z Z Z
En muchas ocasiones, denotaremos f y f en vez de f (x)dx y f (x)dx, respectivamente.
B B B B
Teorema 1.1.1 Sea B un m-bloque compacto, P, Q ∈ P(B) y f : B → R una función acotada. Si Q es

un refinamiento de P entonces L(f, P ) ≤ L(f, Q) y U (f, Q) ≤ U (f, P ).
Demostración. Sean P = P1 × · · · × Pm , Q = Q1 × · · · × Qm ∈ P(B) donde Q es un refinamiento de

P , luego P1 ⊆ Q1 , . . . , Pm ⊆ Qm . Es suficiente considerar el caso en que Q1 = P1 ∪ {t∗ }, P2 = Q2 , . . . ,
Pm = Qm .
Sabemos que un m-subbloque de la partición P es del tipo
Bi1 ,i2 ,...,im = Ii1 × Ii2 × · · · × Iim = Ii1 × Bi2 ,...,im = Ii1 × BJ
donde J = (i2 , . . . , im ).
Si P1 = {a1 = t0 < . . . < tk1 = b1 } entonces existe i ∈ {1, . . . , k1 } tal que ti−1 < t∗ < ti , luego
Q1 = {a1 = t0 < t1 < . . . < ti−1 < t∗ < ti < · · · < tkn = b1 }. De esta manera tenemos
P = {Ii1 × BJ ; 1 ≤ i1 ≤ k1 , ∀ J}
∗
Q = {Ii1 × BJ ; 1 ≤ i1 6= i ≤ k1 , ∀ J} ∪ {Bi,J = [ti−1 , t∗ ] × BJ , Bi,J
∗∗
= [t∗ , ti ] × BJ ; ∀ J}
Si denotamos
m∗i,J (f ) = inf{f (x); x ∈ Bi,J

∗
} y m∗∗ ∗∗
i,J (f ) = inf{f (x); x ∈ Bi,J }
es claro que se cumplen las siguientes desigualdades
mi,J (f ) ≤ m∗i,J (f ), m∗∗

i,J (f )
y de aquı́
∗ ∗∗
mi,J (f ) vol (Bi,J ) = mi,J (f ) vol (Bi,J ) + mi,J (f ) vol (Bi,J )
∗ ∗ ∗∗ ∗∗
≤ mi,J (f ) vol (Bi,J ) + mi,J (f ) vol (Bi,J )
Luego:
XX
L(f, P ) = mi1 ,J (f ) vol (Bi1 ,J )
i1 J
 
X X X
=  mi1 ,J (f ) vol (Bi1 ,J ) + mi,J (f ) vol (Bi,J )
J i1 6=i J
 
X X X£ ¤
≤  mi1 ,J (f ) vol (Bi1 ,J ) + m∗i,J (f ) vol (Bi,J
∗
) + m∗∗ ∗∗
i,J (f ) vol (Bi,J )
J i1 6=i J
= L(f, Q)
La otra desigualdad se demuestra de manera análoga. ¤

Corolario 1. Sean B un m-bloque compacto y f : B → R una función acotada. Se cumple
L(f, P ) ≤ U (f, Q) ∀ P, Q ∈ P(B).

Demostración. Sean P, Q ∈ P(B), sabemos que P + Q ∈ P(B) es un refinamiento común de P y Q.

Del teorema anterior se tiene:
L(f, P ) ≤ L(f, P + Q) ≤ U (f, P + Q) ≤ U (f, Q) ¤
Corolario 2. Sean B un m-bloque compacto, f : B → R una función acotada y fijemos P0 ∈ P(B).

Entonces
Z
f = inf{U (f, P ); P ∈ P(B) y P es refinamiento de P0 }
B
Z
f = sup{L(f, P ); P ∈ P(B) y P es refinamiento de P0 }
B
Demostración. Probaremos sólo la segunda igualdad, la demostración de la primera es similar. Es claro

que
A = {L(f, P ); P ∈ P(B) y P es refinamiento de P0 } ⊆ {L(f, P ); P ∈ P(B)}
Luego Z
sup A ≤ f
B
Z
Supongamos que sup A < f (Hip. Aux.) luego existe P1 ∈ P(B) tal que sup A < L(f, P1 ). Pero
B
P0 + P1 ∈ P(B) es un refinamiento de P0 , luego L(f, P0 + P1 ) ≤ sup A < L(f, P1 ) ≤ L(f, P0 + P1 ) lo cual
es absurdo. Esta contradicción prueba el resultado. ¤
Corolario 3. Sean B un m-bloque compacto y f : B → R una función acotada. Se cumple:
Z Z
L(f, P ) ≤ f≤ f ≤ U (f, P ), ∀ P ∈ P(B)
B B
Z Z
Demostración. Es suficiente probar que f ≤ f . Del Corolario 1 tenemos L(f, P ) ≤ U (f, Q),
B B
∀ P, Q ∈ P(B). Luego
Z
f = sup{L(f, P ); P ∈ P(B)} ≤ U (f, Q), ∀ Q ∈ P(B)
B
De aquı́ se sigue el resultado. ¤

Del Corolario
Z Z anterior, surge de manera natural la siguiente interrogante ¿Existe f : B → R acotada
tal que f< f ? Veamos un par de ejemplos.
B B
Ejemplo 1.1.1 Sea B = [0, 1] × [0, 1] y definamos f : B → R mediante

½
1, si (x, y) = (0, 0)
f (x, y) =
0, en otro caso
Z Z
Vamos a hallar f y f , para ello, tomemos
B B
P = {0 = t0 < t1 < · · · < tm = 1} × {0 = s0 < s1 < · · · < sn = 1} ∈ P(B)

y denotemos Bij = [ti−1 , ti ] × [sj−1 , sj ], 1 ≤ i ≤ m, 1 ≤ j ≤ n.
Por definición de f se tiene que
½
1, si i = j = 1
mij = 0, y Mij (f ) =
0, en otro caso
m X
X n
luego L(f, P ) = mij (f ) vol (Bij ) = 0. Se sigue que
i=1 j=1
Z
f = sup {L(f, P ); P ∈ P(B)} = 0
B
Por otro lado

m X
X n
U (f, P ) = Mij (f ) vol (Bij ) = vol (B11 ) = t1 s1
i=1 j=1
De aquı́ se sigue que la integral superior también es cero, en efecto, sea ² > 0, existe n ∈ N tal que
1 √
< ². Consideremos entonces la partición
n
1 1
P² = {0, , 1} × {0, , 1} ∈ P(B)
n n
Z Z Z
1
Por lo anterior U (f, P² ) = 2 < ² y de aquı́ f = 0. Por tanto, f= f = 0. ¤
n B B B
Ejemplo 1.1.2 Sea B = [0, 1] × [0, 1] y definamos f : B → R mediante

½
1, si (x, y) ∈ Q2
f (x, y) =
0, en otro caso
Z Z
Para hallar f y f , tomemos
B B
P = {0 = t0 < t1 < · · · < tm = 1} × {0 = s0 < s1 < · · · < sn = 1} ∈ P(B)

y denotemos Bij = [ti−1 , ti ] × [sj−1 , sj ], 1 ≤ i ≤ m, 1 ≤ j ≤ n. Por definición de f se sigue que
mij = 0, y Mij (f ) = 1, ∀ i, j
luego
m X
X n
L(f, P ) = mij (f ) vol (Bij ) = 0
i=1 j=1
Xm X n m X
X n
U (f, P ) = Mij (f ) vol (Bij ) = vol (Bij ) = vol (B) = 1
i=1 j=1 i=1 j=1
Se sigue que
Z
f = sup {L(f, P ); P ∈ P(B)} = 0
B
Z
f = inf {U (f, P ); P ∈ P(B)} = 1
B
Z Z
De esta manera f< f. ¤
B B
El ejemplo anteior muestra que, la suma inferior puede ser estrictamente menor que la suma superior.
Aquellas funciones cuya integral superior coincide con su integral inferior, son de relevancia para la teorı́a.
Definición 1.1.2 Sea B un m-bloque compacto y f : B → R una función acotada. Decimos que f es
Riemann integrable sobre B si y sólo si Z Z
f= f
B B
Z Z
Si f es integrable sobre B entonces la integral de Riemann sobre B, denotada por f (x)dx ó f se
B B
define como Z Z Z
f= f= f
B B B
Denotaremos por R(B) al conjunto de todas las funciones Riemann integrables sobre el m-bloque com-
pacto B.
Observación: Sea B un m-bloque compacto, f : B → R una función acotada. Si f ∈ R(B) entonces

por el Corolario 3 se tiene que
Z
L(f, P ) ≤ f ≤ U (f, P ) ∀ P ∈ P(B)
B
Teorema 1.1.2 Sea B un m-bloque compacto y f : B → R una función acotada. Se cumple f ∈ R(B)
si y sólo si dado ² > 0, existe P = P (²) ∈ P(B) tal que U (f, P ) − L(f, P ) < ².
Demostración. (⇒) Por hipótesis

Z Z Z
f= f= f
B B B
luego Z
f = inf{U (f, P ); P ∈ P(B)} = sup{L(f, P ); P ∈ P(B)}
B
Z Z
² ²
Dado ² > 0, existe P1 ∈ P(B) tal que U (f, P1 ) < f+ y existe P2 ∈ P(B) tal que f− < L(f, P2 ).
B 2 B 2
Tomando P = P1 + P2 tenemos
Z
² ² ² ²
U (f, P ) − ≤ U (f, P1 ) − < f < L(f, P2 ) + ≤ L(f, P ) +
2 2 B 2 2
Ası́, existe P ∈ P(B) tal que U (f, P ) − L(f, P ) < ².
(⇐) Dado ² > 0, por hipótesis existe P = P (²) ∈ P(B) tal que U (f, P ) − L(f, P ) < ². Por el Corolario 3
al Teorema 1.1.1 tenemos que
Z Z
0≤ f − f ≤ U (f, P ) − L(f, P ) < ²
B B
Z Z
Se sigue que f= f. ¤
B B
Existe otra caracterización de función Riemann integrable, la cual usa el concepto de oscilación.
Definición 1.1.3 Sea X ⊆ Rm y f : X → R una función acotada. La oscilación de f sobre el conjunto

X, denotada por ω(f, X) es definida como
ω(f, X) = sup{|f (x) − f (y)|; x, y ∈ X}
Proposición 1.1.3 Sea X ⊆ Rm y f : X → R una función acotada, se cumple:
1. Si mX (f ) = inf{f (x); x ∈ X} y MX (f ) = sup{f (x); x ∈ X} entonces

ω(f, X) = MX (f ) − mX (f )
2. Si Y ⊆ X entonces ω(f, Y ) ≤ ω(f, X).

3. Si X = B es un m-bloque compacto y P = {Bi } ∈ P(B) entonces
X
U (f, P ) − L(f, P ) = ω(f, Bi ) vol (Bi )
i
Demostración. 1.) Sean x, y ∈ X, cosideremos dos casos: Si f (x) ≥ f (y) entonces |f (x) − f (y)| =
f (x) − f (y) ≤ MX (f ) − mX (f ).
Si f (x) < f (y) entonces |f (x) − f (y)| = f (y) − f (x) ≤ MX (f ) − mX (f ).
En cualquier caso se tiene que |f (x) − f (y)| ≤ MX (f ) − mX (f ), ∀ x, y ∈ X, es decir
ω(f, X) ≤ MX (f ) − mX (f ).
Supongamos que ω(f, X) < MX (f ) − mX (f ) (Hip. Aux.) entonces ω(f, X) + mX (f ) < MX (f ), luego
existe un x0 ∈ X tal que ω(f, X) + mX (f ) < f (x0 ), se sigue que mX (f ) < f (x0 ) − ω(f, X), luego existe
un y0 ∈ X tal que f (y0 ) < f (x0 ) − ω(f, X). Ası́
ω(f, X) < f (x0 ) − f (y0 ) ≤ |f (x0 ) − f (y0 )| ≤ ω(f, X)
lo cual es una contradicción. La parte 2.) es evidente.

3.) De la definición y la parte 1, tenemos
X X X
U (f, P ) − L(f, P ) = Mi (f ) vol (Bi ) − mi (f ) vol (Bi ) = [Mi (f ) − mi (f )] vol (Bi )
i i i
X
= ω(f, Bi ) vol (Bi )
i
lo cual prueba el resultado. ¤

Corolario. Sea B un m-bloque compacto, f : B → R unaX función acotada. Se cumple f ∈ R(B) si y
sólo si dado ² > 0, existe P = P (²) = {Bi } ∈ P(B) tal que ω(f, Bi ) vol (Bi ) < ².
i
Demostración. Consecuencia directa del Teorema 1.1.2 y la parte 3 de la proposición anterior. ¤
Teorema 1.1.4 Si B un m-bloque compacto entonces C(B) ⊆ R(B).
Demostración. Sea f ∈ C(B) entonces f es u. c. en B, luego dado ² > 0 ∃ δ > 0 tal que si x, y ∈ B y
²
kx − yk < δ entonces |f (x) − f (y)| < .
2 vol (B)
δ
Si tomamos P = {Bi } ∈ P(B) con kP k < √ , para x, y ∈ Bi se cumple
m
m
X m
X
kx − yk2 = |xj − yj |2 ≤ kPj k2 ≤ mkP k2 < δ 2
j=1 j=1
² ²
Luego |f (x) − f (y)| < , ∀ x, y ∈ Bi lo cual implica que ω(f, Bi ) < y por lo tanto
X 2 vol (B) vol (B)
ω(f, Bi ) vol (Bi ) < ². De esta manera f ∈ R(B). ¤
i
1.2 Propiedades Básicas de la Integral sobre m-Bloques Com-

pactos
Teorema 1.2.1 Si B es un m-bloque compacto y
f: B → R
x 7 → f (x) = 1
entonces f ∈ R(B) y Z
1 = vol (B)
B
Demostración. Como f = 1 ∈ C(B), se sigue que f = 1 ∈ R(B).

Por otro lado, dado P = {Bi } ∈ P(B), se cumple

X
L(1, P ) = vol (Bi ) = vol (B).
i
Z
Se sigue que 1 = vol (B). ¤
B
Teorema 1.2.2 Si B es un m-bloque compacto, f ∈ R(B) y c ∈ R, entonces cf ∈ R(B) y

Z Z
cf = c f
B B
Demostración. Sea P = {Bi } ∈ P(B). Si c ≥ 0 entonces
mi (cf ) = inf{(cf )(x); x ∈ Bi } = c · inf{f (x); x ∈ Bi } = c · mi (f )
Análogamente Mi (cf ) = c · Mi (f ). Luego

X X
L(cf, P ) = mi (cf ) vol (Bi ) = c mi (f ) vol (Bi ) = c L(f, P )
i i
Análogamente U (cf, P ) = c U (f, P ). Por lo tanto

Z Z Z
cf = sup{L(cf, P ); P ∈ P(B)} = c · sup{L(f, P ); P ∈ P(B)} = c f = c f
B B B
Z Z Z Z
Análogamente cf = c f . Se sigue que cf ∈ R(B) y cf = c f. ¤
B B B B
Lema 1.2.1 Si B es un m-bloque compacto y f, g : B → R son funciones acotadas entonces se cumple

Z Z Z
1. (f + g) ≥ f + g.
B B B
Z Z Z
2. (f + g) ≤ f+ g.
B B B
Demostración. 1.) Sea P = {Bi } ∈ P(B). Dado x ∈ Bi se cumple
mi (f ) + mi (g) ≤ f (x) + g(x) = (f + g)(x)
luego
mi (f ) + mi (g) ≤ mi (f + g), ∀i
Por tanto
X k
X X
L(f + g, P ) = mi (f + g) vol (Bi ) ≥ mi (f ) vol (Bi ) + mi (g) vol (Bi )
i i i
= L(f, P ) + L(g, P ), ∀ P ∈ P(B)
Sean P1 , P2 ∈ P(B) y P = P1 + P2 , luego

Z
L(f, P1 ) + L(g, P2 ) ≤ L(f, P ) + L(g, P ) ≤ L(f + g, P ) ≤ (f + g)
B
Z Z Z
Se sigue que (f + g) ≥ f+ g. ¤
B B B
Teorema 1.2.3 Si B es un m-bloque compacto y f, g ∈ R(B) entonces f + g ∈ R(B) y

Z Z Z
(f + g) = f+ g
B B B
Demostración. Por hipótesis y el lema anterior

Z Z Z Z Z Z Z Z Z Z
f+ g= f+ g≤ (f + g) ≤ (f + g) ≤ f+ g= f+ g
B B B B B B B B B B
Z Z Z
Se sigue que f + g ∈ R(B) y (f + g) = f+ g. ¤
B B B
Observación: Los resultados anteriores nos dice que R(B) es un R-espacio vectorial y el operador
Γ: R(B) → R Z
f 7→ Γ(f ) = f
B
es un funcional lineal.
Teorema 1.2.4 Si B es un m-bloque compacto y f, g ∈ R(B) tales que f (x) ≤ g(x), ∀ x ∈ B entonces
Z Z
f≤ g
B B
Demostración. Sea P = {Bi } ∈ P(B). Para x ∈ Bi se cumple que mi (f ) ≤ f (x) ≤ g(x), luego
mi (f ) ≤ mi (g). Se sigue que
X X Z Z
L(f, P ) = mi (f ) vol (Bi ) ≤ mi (g) vol (Bi ) = L(g, P ) ≤ g= g, ∀ P ∈ P(B)
i i B B
Z Z
esto implica que f≤ g. ¤
B B
Observaciones:
Z
1. Si B un m-bloque compacto y f ∈ R(B) es tal que f (x) ≥ 0, ∀ x ∈ B entonces f ≥ 0.
B
2. El operador Γ : R(B) → R es monótono, es decir si f, g ∈ R(B) con f ≤ g entonces Γ(f ) ≤ Γ(g).

Definición 1.2.1 Sea X ⊆ Rm y f, g : X → R
1. El máximo de f y g, y el mı́nimo de f y g son las funciones max{f, g}, min{f, g} : X → R definidas

por
max{f, g}(x) = max{f (x), g(x)} y min{f, g}(x) = min{f (x), g(x)}, ∀ x ∈ X
2. La parte positiva de f y la parte negativa de f , denotadas respectivamente por f + , f − son las

funciones f + , f − : X → R definidas por
f + = max{f, 0} y f − = − min{f, 0}
Observaciones:
1. De las definiciones de máximo y mı́nimo se sigue directamente que:

1 1
max{f, g} = (f + g + |f − g|) y min{f, g} = (f + g − |f − g|)
2 2
luego
1 1
f+ = (f + |f |) y f− = (|f | − f )
2 2
2. f + y f − son funciones no negativas.
3. f = f + − f − .
4. |f | = f + + f − .
5. f ≥ 0 ⇒ f + = f y f − = 0.
6. f ≤ 0 ⇒ f + = 0 y f − = −f .
7. f + · f − = 0.
Lema 1.2.2 Si B es un m-bloque compacto y f : B → R una función acotada entonces se cumple
U (f, P ) − L(f, P ) = [U (f + , P ) − L(f + , P )] + [U (f − , P ) − L(f − , P )], ∀ P ∈ P(B)
Demostración. Sea P = {Bi } ∈ P(B). Afirmo que
Mi (f ) − mi (f ) = Mi (f + ) − mi (f + ) + Mi (f − ) − mi (f − )
En efecto, consideremos tres casos:

Caso 1: mi (f ) ≥ 0. En este caso tenemos que f + = f y f − = 0 y por tanto la igualdad se cumple
trivialmente.
Caso 2: Mi (f ) ≤ 0. En este caso tenemos que f + = 0 y f − = −f , por tanto nuevamente la igualdad se
cumple trivialmente.
Caso 3: mi (f ) < 0 < Mi (f ). En este caso Mi (f + ) = Mi (f ), mi (f + ) = 0, Mi (f − ) = −mi (f ) y

mi (f − ) = 0, luego
Mi (f ) − mi (f ) = Mi (f + ) + Mi (f − ) = Mi (f + ) − mi (f + ) + Mi (f − ) − mi (f − )
lo cual prueba la afirmación.
Multiplicando la igualdad por vol (Bi ) y sumando sobre i, el lema se sigue. ¤
Teorema 1.2.5 Si B es un m-bloque compacto y f : B → R es una función acotada, se tiene

f ∈ R(B) ⇐⇒ f + , f − ∈ R(B)
Demostración. (⇒) Dado ² > 0, existe un P ∈ P(B) tal que U (f, P ) − L(f, P ) < ². Por el lema
anterior
U (f + , P ) − L(f + , P ) ≤ U (f, P ) − L(f, P ) < ² y U (f − , P ) − L(f − , P ) ≤ U (f, P ) − L(f, P ) < ²
Luego f + , f − ∈ R(B).
(⇐) Si f + , f − ∈ R(B) entonces f = f + − f − ∈ R(B). ¤
Corolario. Si B es un m-bloque compacto y f, g ∈ R(B) entonces
1. |f | ∈ R(B) y ¯Z ¯ Z
¯ ¯
¯ f¯ ≤ |f |
¯ ¯
B B
2. max{f, g}, min{f, g} ∈ R(B) y

Z ½Z Z ¾ Z ½Z Z ¾
max{f, g} ≥ max f, g , min{f, g} ≤ min f, g
B B B B B B
Demostración. Como f ∈ R(B) entonces f + , f − ∈ R(B), luego |f | = f + + f − ∈ R(B). Por otro lado,
desde que −|f | ≤ f ≤ |f |, se tiene que
Z Z Z
− |f | ≤ f≤ |f |
B B B
De aquı́, el resultado se sigue. La prueba de 2) es similar. ¤
Teorema 1.2.6 Sea B un m-bloque compacto y f ∈ R(B) entonces f 2 ∈ R(B).
Demostración. Primeramente, consideremos el caso en que f (x) ≥ 0, ∀ x ∈ B. Sea P = {Bi } ∈

P(B), dado x ∈ Bi , se cumple f (x) ≤ Mi (f ), luego f 2 (x) ≤ Mi (f )2 y por tanto Mi (f 2 ) ≤ Mi (f )2 .
Análogamente mi (f 2 ) ≥ mi (f )2 . Por lo tanto
X X
U (f 2 , P ) − L(f 2 , P ) = [Mi (f )2 − mi (f 2 )] vol (Bi ) = [Mi (f ) + mi (f )][Mi (f ) − mi (f )] vol (Bi )
i i
X
≤ 2M (f ) [Mi (f ) − mi (f )] vol (Bi ) = 2M [U (f, P ) − L(f, P )], ∀ P ∈ P(B)
i
²
Dado ² > 0, como f ∈ R(B), existe P ∈ P(B) tal que U (f, P ) − L(f, P ) < . Se sigue que
2M (f )
U (f 2 , P ) − L(f 2 , P ) < ² y por lo tanto f 2 ∈ R(B).
En el caso general, tenemos
f 2 = (f + − f − )2 = (f + )2 − 2f + f − + (f − )2 = (f + )2 + (f − )2
Como f ∈ R(B) entonces f + , f − ∈ R(B) y por lo tanto (f + )2 , (f − )2 ∈ R(B). Ası́ f 2 = (f + )2 + (f − )2 ∈
R(B). ¤
Corolario. Si B es un m-bloque compacto y f, g ∈ R(B) entonces f g ∈ R(B).
1 1
Demostración. Es inmediato, puesto que f g = (f + g)2 − (f − g)2 . ¤
4 4
Observación: Si B es un m-bloque compacto entonces R(B) es un álgebra.
Definición 1.2.2 Sea X ⊆ Rm , la función caracterı́stica de X, denotada por 1X es definida por

1X : Rm → R ½
1, si x ∈ X
x 7→ 1X (x) =
0, si x ∈ Rm − X
Observación: Se cumplen los siguientes resultados
1. 1X es discontinua en x si y sólo si x ∈ ∂X.

2. Si Y ⊆ X entonces 1Y ≤ 1X .
3. 1X∪Y ≤ 1X + 1Y .
4. 1X∪Y + 1X∩Y = 1X + 1Y .
Teorema 1.2.7 Si A, B son m-bloques compactos con A ⊆ B entonces 1A ∈ R(B) y

Z
1A = vol (A)
B
Demostración. Sea P0 ∈ P(B) partición que contiene a A como subbloque. Dado P = {Bi } ∈ P(B)
refinamiento de P0 , denotemos por I al conjunto de ı́ndices i tales que Bi ⊆ A. Se cumple:
X X
L(1A , P ) = mi (1A ) vol (Bi ) = vol (Bi ) = vol (A)
i i∈I
X X
U (1A , P ) = Mi (1A ) vol (Bi ) ≥ vol (Bi ) = vol (A)
i i∈I
Se sigue que
Z
1A = sup{L(1A , P ); P ∈ P(B) y P es refinamiento de P0 } = vol (A)
B
Z
1A = inf{U (1A , P ); P ∈ P(B) y P es refinamiento de P0 } ≥ vol (A)
B
Sea A0 m-bloque compacto tal que A ⊆ A0 ⊆ B y fijemos Q0 ∈ P(B) partición que contiene a A0 como
subbloque. Dado Q = {Ci } ∈ P(B) refinamiento de Q0 , se cumple:
X X
U (1A , Q) = Mi (1A ) vol (Ci ) = vol (Ci ) ≤ vol (A0 )
i i∈J
Donde J es el conjunto de ı́ndices i tales que Ci ∩ A 6= ∅. Se sigue que

Z
vol (A) ≤ 1A ≤ vol (A0 )
B
Tomando A0 con volumen suficientemente próximo del volumen

Ã m · de A, el resultado se sigue. En efecto,
Ym Y ¸!
1 1
supongamos A = [ai , bi ], para k ∈ N definimos A0k = ai − , bi + ∩ B. Como A0k es un
i=1 i=1
k k
m-bloque compacto tal que A ⊆ A0k ⊆ B, por la desigualdad anterior tenemos
Z m µ
Y ¶
2
vol (A) ≤ 1A ≤ vol (A0k ) ≤ bi − ai + , ∀k∈N
B i=1
k
Z
Haciendo k → ∞ se llega a 1A = vol (A). ¤
B
1.3 Conjuntos de Medida Cero
Definición 1.3.1 Decimos que X ⊆ Rm tiene medida m-dimensional cero o simplemente m-medida cero,
si y sólo si para todo ² > 0, existe una familia numerable {Ck }k∈N de m-cubos abiertos y acotados tales
que
∞
[
1. X ⊆ Ck .
k=1
∞
X
2. vol (Ck ) < ².
k=1
Observaciones:
1. Todo conjunto unitario de Rm tiene m-medida cero.

2. Todo subconjunto finito de puntos de Rm tiene m-medida cero.
3. Todo subconjunto de un conjunto de m-medida cero tiene m-medida cero.
4. La unión de una familia finita de conjuntos de m-medida cero tiene m-medida cero.
5. En la definición anterior podemos reemplazar m-cubos abiertos por m-cubos cerrados, m-bloques
cerrados, m-bloques abiertos.
Proposición 1.3.1 Si {Xk }k∈N es una familia numerable de subconjuntos de Rm que tienen m-medida
∞
[
cero, entonces X = Xk tiene m-medida cero.
k=1
Demostración. Sea ² > 0, dado j ∈ Z+ (fijo, arbitrario), existe {Cj,k }k∈N colección numerable de
∞
[
m-cubos abiertos tales que Xj = Cj,k y
k=1
∞
X ²
vol (Cj,k ) < .
2j+1
k=1
Considero {Cj,k }j,k∈N colección numerable de m-cubos abiertos, la cual satisface:

∞
[
1. X ⊆ Cj,k .
j,k=1
2. Sea F ⊆ N × N conjunto finito entonces existe k0 ∈ N tal que si (j, k) ∈ F entonces j, k ≤ k0 . Luego
k0
Ãk ! k0
X X X 0 X ² ²
vol (Cj,k ) ≤ vol (Cj,k ) < j+1
<
j=1 j=1
2 2
(j,k)∈F k=1
se sigue que
∞
X ²
vol (Cj,k ) ≤ <²
2
j,k=1
Concluimos que X tiene m-medida cero. ¤

Observaciones:
1. Todo subconjunto numerable de Rm tiene m-medida cero.
2. N, Z y Q tienen medida unidimensional cero.

3. El conjunto de Cantor tiene 1-medida cero. Esto es una consecuencia directa de la propia cons-
trucción del conjunto de Cantor.
Lema 1.3.1 Sea B un m-bloque

[ acotado. Si {Cj }j∈N es una familia numerable de m-cubos abiertos y
acotados tales que B ⊆ Cj entonces
j∈N
X
vol (B) ≤ vol (Cj )
j,1
Demostración. En [
primer lugar, consideramos B m-bloque cerrado, se sigue entonces que B es com-
pacto. Como B ⊆ Cj y Cj son m-cubos abiertos, tenemos que existen j1 , . . . , jk ∈ N tales que
j∈N
k
[ k
[ k
X
B⊆ Cji . Sea D un m-bloque compacto tal que C ji ⊆ D, entonces 1B ≤ 1 k
S
! ≤ 1C . Se
ji
Cj
i=1 i=1 i=1 i i=1
sigue que
Z k Z
X k
X X
vol (B) = 1B ≤ 1C = vol (Cji ) ≤ vol (Cj )
ji
D i=1 D i=1 j,1
Si B es un m-bloque acotado cualquiera, entonces no es difı́cil ver (¡Ejercicio!) que
vol (B) = sup{ vol (A); A ⊆ B, A es un m-bloque compacto}

X
Luego si A ⊆ B es un m-bloque compacto, por la primera parte tenemos que vol (A) ≤ vol (Cj ) y
j,1
X
por la definición de supremo, tenemos vol (B) ≤ vol (Cj ). ¤
j,1
Teorema 1.3.2 Sea B un m-bloque acotado. B tiene m-medida cero si y sólo si B es degenerado.
Demostración. (⇒) Sea B un m-bloque B de m-medida cero y supongamos que B es no degenerado

(Hip. Aux.). Como vol (B) > 0 existe una colección numerable {Cj }j∈N de m-cubos abiertos tales que
[ X∞
B⊆ Cj y vol (Cj ) < vol (B), pero por el lema anterior
j∈N j=1
X
vol (B) ≤ vol (Cj ) < vol (B)
j,1
lo cual es una contradicción.

(⇐) Sea B un m-bloque degenerado. Es suficiente considerar B del tipo
B = I1 × · · · × Im−1 × {a} = B 0 × {a}
donde I1 , .·. . , Im−1 son intervalos

¸ acotados no degenerados. Dado ² > 0 para j ∈ N, consideramos
0
²0 ²0 0
Bj = B × a − j , a + j , (con ² > 0 dependiente de ² a elegir). Claramente {Bj }j∈N es una colección
2 2 [
de m-bloques cerrados tales que B ⊆ Bj y
j∈N
∞
X ∞
X ²0
vol (Bj ) = vol (B 0 ) = 2 vol (B 0 )²0
j=1 j=1
2j−1
²
Si tomamos ²0 < , concluimos que B tiene m-medida cero. ¤
2 vol (B 0 )
Corolario. Si X ⊆ Rm y p ∈ Rn entonces X × {p} ⊆ Rm+n tiene (m + n)-medida cero.

[
Demostración. Sea {Cj }j∈N colección de m-cubos cerrados tales que X ⊆ Cj , luego X × {p} ⊆
j∈N
[
(Cj × {p}). Por el teorema anterior, el cubo degenerado Cj × {p} tiene (m + n)-medida cero y de aquı́,
j∈N
el resultado se sigue. ¤
Observaciones:
1. En la categorı́a de los m-bloques degenerados, tener m-medida cero es equivalente a tener volumen
cero.
2. Las (m − k)-caras de los m-bloques tienen m-medida cero.
3. Si X ⊆ Rm tiene m-medida cero entonces int (X) = ∅. El recı́proco de este resultado es falso, en
efecto, consideremos X = [0, 1] ∩ I, es claro que int (X) = ∅, sin embargo X no tiene medida cero.
Para demostrarlo, suponga lo contrario, como se cumple
[0, 1] = ([0, 1] ∩ I) ∪ ([0, 1] ∩ Q) = X ∪ ([0, 1] ∩ Q)
entonces [0, 1] serı́a unión (disjunta) de dos conjuntos de medida cero, por tanto tendrı́a medida
cero y como [0, 1] es un 1-bloque, tendrı́a que ser degenerado, lo cual es una contradicción.
Vamos a dar un ejmplo más interesante de un conjunto de interior vacı́o y que no tiene medida cero.
Ejemplo 1.3.1 (Conjunto de Cantor que no tiene medida cero) Vamos a construir inductivamente
un conjunto compacto X ⊆ [0, 1] de interior vacı́o pero que no tiene 1-medida cero. Para ello tomemos
a ∈ ]0, 1/2[ , se cumple
X∞
1
an = − 1 < 1,
n=1
1 − a
∞
X
tomemos δ = 1 − an > 0.
n=1
Etapa 1: Del intervalo [0, 1] retiramos el intervalo abierto J1 = Ia/2 (1/2) de centro 1/2 y longitud a, y
nos quedamos con [0, 1] − J1 el cual es unión de dos intervalos cerrados, disjuntos, cada uno de longitud
1−a
. Observe que vol (J1 ) = a.
2
Etapa 2: Sean b2,1 , b2,2 los puntos medios de los dos intervalos de la Etapa 1. Consideramos J2,1 =
Ia2 /4 (b2,1 ) y J2,2 = Ia2 /4 (b2,2 ) y denotemos J2 = J2,1 ∪ J2,2 y nos quedamos con
[0, 1] − J1 − J2 = [0, 1] − (J1 ∪ J2 )
1 − a − a2
que es la unión de 4 intervalos cerrados, disjuntos, cada uno de longitud . Si denotamos por
22
vol (J2 ) a la suma de las longitudes de los dos intervalos J2,1 y J2,2 , entonces tenemos vol (J2 ) = a2 .
Prosiguiendo inductivamente, en la etapa k tenemos el conjunto

k
[
[0, 1] − J1 − · · · − Jk = [0, 1] − Jj
j=1
1 − a − a2 − · · · − ak
el cual el la unión de 2k intervalos cerrados, disjuntos, cada uno de longitud .
2k
Observe que
Jk = Jk,1 ∪ · · · ∪ Jk,2k−1 ,
ak
siendo la unión disjunta y cada Js,i tiene longitud , luego su suma, denotada por vol (Jk ), viene
2k−1
dada por vol (Jk ) = ak .
[
Definimos X = [0, 1] − Js . Por construcción X es compacto, no puede contener ningún intervalo
s∈N
(es decir int (X) = ∅) y además, afirmo que X no tiene 1-medida cero. En efecto, en primer lugar observe
que
∞
X ∞
X
vol (Js ) = as = 1 − δ.
s=1 s=1
Si X tuviera 1-medida cero (Hip. Aux.) entonces existirı́a {Cj } familia numerable de intervalos abiertos
[ ∞
X
tal que X ⊆ Cj y vol (Cj ) < δ. Pero
j∈N j=1
  Ã !
[ [ [ [
[0, 1] = X ([0, 1] − X) ⊆  Cj  Js
j∈N s∈N
Por el Lema 1.3.1:

∞
X ∞
X
1 = vol ([0, 1]) ≤ vol (Cj ) + vol (Js ) < δ + (1 − δ) = 1
j=1 s=1
lo cual es una contradicción.
Sea X un conjunto de m-medida cero y f : X → Rm ¿Bajo qué condiciones f (X) tiene m-medida
cero? Para responder esta interrogante, necesitamos una definición.
Definición 1.3.2 Sea X ⊆ Rm y f : X → Rn . Decimos que f es localmente Lipschitz

¯ en X si y sólo si
para todo x ∈ X existe Vx ⊆ Rm vecindad abierta de x tal que la restricción f ¯X∩V : X ∩ Vx → Rn es
x
Lipschitz en X ∩ Vx .
Proposición 1.3.3 Si X ⊆ Rm tiene m-medida cero y f : X → Rm es localmente Lipschitz en X

entonces f (X) tiene m-medida cero.
Demostración. Primeramente, consideremos el caso en que f es Lipschitz en X. Luego existe K > 0

tal que si x, y ∈ X entonces kf (x) − f (y)k ≤ Kkx − yk.
Como X tiene m-medida cero, dado ² > 0 existe una familia numerable {Ck }k∈N de m-cubos tales que
[∞ X∞
²
X⊆ Ck y vol (Ck ) < √ . Si `k es la longitud de la arista del m-cubo Ck entonces dados
( mK)m
k=1 k=1
y1 , y2 ∈ f (X ∩ Ck ), existen x1 , x2 ∈ X ∩ Ck tales que f (x1 ) = y1 y f (x2 ) = y2 , luego para 1 ≤ i ≤ m
tenemos √
|πi (y1 ) − πi (y2 )| ≤ ky1 − y2 k = kf (x1 ) − f (x2 )k ≤ Kkx1 − x2 k ≤ K m`k
√
Se sigue que y1 , y2 ∈ Dk donde Dk es un m-cubo cuya arista tiene longitud K m`k , es decir f (X ∩ Ck ) ⊆
Dk , ∀ k ∈ N, luego
Ã ∞
! Ã∞ ! ∞ ∞
[ [ [ [
f (X) = f X ∩ Ck = f X ∩ Ck = f (X ∩ Ck ) ⊆ Dk
k=1 k=1 k=1 k=1
Además Ã !
∞
X ∞
X ∞
X
√ √
vol (Dk ) = ( mK)m `m
k = ( mK)
m
vol (Ck ) <²
k=1 k=1 k=1
Esto prueba que f (X) tiene m-medida cero.

En el caso que¯ f es localmente Lipschitz, dado x ∈ X existe Vx ⊆ Rm vecindad
[ abierta de X tal que
la restricción f ¯X∩Vx : X ∩ Vx → R es Lipschitz en X ∩ Vx . Como X ⊆
m
Vx , por Lindelöf existen
x∈X
∞
[
x1 , x2 , . . . tales que X ⊆ Vxk . Por la primera parte f (X ∩ Vxk ) tiene m-medida cero, ∀ k ∈ N y desde
k=1
que Ã !
∞
[ ∞
[
f (X) = f X∩ Vx k = f (X ∩ Vxk )
k=1 k=1
se sigue que f (X) tiene m-medida cero. ¤

El resultado siguiente establece que la mayorı́a de funciones de Rm a Rm que conocemos conserva la
m-medida cero.
Corolario. Sea U ⊆ Rm abierto y f ∈ C 1 (U, Rm ). Si X ⊆ U tiene m-medida cero entonces f (X) tiene
m-medida cero.
Demostración. Es suficiente probar que f es localmente Lipschitz. Sea x ∈ X, existe un ² = ²x > 0 tal
que B² [x] ⊆ U . Denotemos
Kx = sup{kf 0 (y)k : y ∈ B² [x]}
Por la desigualdad del valor medio
kf (y) − f (x)k ≤ Kx ky − zk ∀ y, z ∈ B² [x]
es decir, f es localmente Lipschitz. ¤
Proposición 1.3.4 Sea U ⊆ Rm abierto y f ∈ C 1 (U, Rn ) donde m < n entonces f (U ) tiene n-medida
cero.
Demostración. Sea W = U × Rn−m ⊆ Rn y defino
g: W → Rn
(x, y) 7→ g(x, y) = f (x)
Se sigue que g ∈ C 1 (U, Rn ) y g(U × {0}) = f (U ). Por el corolario al Teorema 1.3.2 tenemos que U × {0}
tiene n-medida cero luego f (U ) = g(U × {0}) tiene n-medida cero. ¤
Observación: Si I ⊆ R es un intervalo abierto tal que [0, 1] ⊆ I y f ∈ C 1 (I, Rn ) entonces f ([0, 1]) tiene
n-medida cero, luego int (f ([0, 1])) = ∅. Se deduce que en clase C 1 no existen curvas de Peano.
1.4 Caracterización de las Funciones Riemann Integrables
En la presente sección, daremos condiciones necesarias y suficientes para que una función acotada f :
B → R, en donde B es un m-bloque compacto, sea Riemann integrable sobre B. Para ello, necesitamos
algunos resultados previos.
Sea X ⊆ Rm y f : X → R función acotada. Recordemos que la oscilación de f en X se definió como
ω(f, X) = sup{|f (x) − f (y)|; x, y ∈ X}
y satisfacı́a las siguientes propiedades:
1. Si MX (f ) = sup{f (x); x ∈ X} y mX (f ) = {f (x) : x ∈ X} entonces ω(f, X) = MX (f ) − mX (f ).

2. Si Y ⊆ X entonces ω(f, Y ) ≤ ω(f, X).
3. f ∈ R(B) si y sólo si dado ² > 0, existe P = P² = {Bi } ∈ P(B) tal que
X
U (f, P ) − L(f, P ) = ω(f ; Bi ) vol (Bi ) < ²
i
Nos proponemos definir la oscilación de una función en un punto x ∈ X

Dado x ∈ X, definimos
Ωx : ]0, +∞[ → R
δ 7 → Ωx (δ) = ω(f, X ∩ Bδ (x))
Esta función satisface las siguientes propiedades:
1. Ωx es acotada. En efecto, dado δ > 0 se tiene
Ωx (δ) = ω(f, X ∩ Bδ (x)) ≤ ω(f, X) = MX (f ) − mX (f )
2. Ωx es una función monótona creciente. En efecto dados δ1 < δ2 entonces
Ωx (δ1 ) = ω(f, X ∩ Bδ1 (x)) ≤ ω(f, X ∩ Bδ2 (x)) = Ωx (δ2 ).

Como 0 es punto de acumulación a derecha de ]0, +∞[ , tenemos
lim Ωx (δ) = inf{Ωx (δ); δ > 0} = inf{ω(f, X ∩ Bδ (x)); δ > 0}

δ→0+
Definición 1.4.1 Sea X ⊆ Rm y f : X → R una función acotada. La oscilación de f en el punto x,

denotada por ω(f, x), se define como
ω(f, x) = inf{ω(f, X ∩ Bδ (x)); δ > 0}
Teorema 1.4.1 Sea X ⊆ Rm y f : X → R una función acotada. Se cumplen las siguientes propiedades:
1. ω(f, x) ≥ 0, ∀ x ∈ X.
2. ω(f, x0 ) = 0 si y sólo si f es continua en x0 .
3. Si x ∈ int (Y ) e Y ⊆ X entonces ω(f, x) ≤ ω(f, Y ). En particular, si x ∈ int (X) entonces
ω(f, x) ≤ ω(f, X).
4. Si ω(f, x0 ) < c entonces ∃ δ > 0 tal que ω(f, x) < c, ∀ x ∈ X ∩ Bδ (x0 ).
5. Si X ⊆ Rm es cerrado (respectivamente compacto) entonces el conjunto {x ∈ X; ω(f, x) ≥ c} es
cerrado (respectivamente compacto), para todo c ≥ 0.
Demostración. 2.) (⇒) Si ω(f, x0 ) = 0 entonces inf{ω(f, X ∩ Bδ (x0 )); δ > 0} = 0, luego dado ² > 0
existe un δ > 0 tal que ω(f, X ∩ Bδ (x0 )) < ², luego |f (x) − f (y)| < ², ∀ x, y ∈ X ∩ Bδ (x0 ). En particular
si x ∈ X y kx − x0 k < δ entonces |f (x) − f (x0 )| < ². Es decir, f es continua en x0 .
²
(⇐) Dado ² > 0 existe un δ > 0 tal que si x ∈ X y kx − x0 k < δ entonces |f (x) − f (x0 )| < . Sean
3
x, y ∈ X ∩ Bδ (x0 ) entonces
2²
|f (x) − f (y)| ≤ |f (x) − f (x0 )| + |f (x0 ) − f (y)| <
3
2²
Luego ω(f, X ∩ Bδ (x0 )) ≤ < ² y esto prueba que ω(f, x0 ) = 0.
3
3.) Si x ∈ int (Y ) entonces ∃ δ > 0 tal que Bδ (x) ⊆ Y , luego
ω(f, x) ≤ ω(f, X ∩ Bδ (x)) = ω(f, Bδ (x)) ≤ ω(f, Y ). ¤
Observación: La propiedad 3.) no necesariamente se cumple si retiramos la hipótesis x ∈ int (Y ). En

efecto, sean X = R2 , Y = ] − ∞, 0] × R y f : R2 → R definida por
½
0, si x ≤ 0
f (x, y) =
1, si x > 0
Como ω(f, Bδ (0)) = sup{f (x, y); (x, y) ∈ Bδ (0)} − inf{f (x, y); (x, y) ∈ Bδ (0)} = 1, ∀ δ > 0, se cumple
ω(f, 0) = inf{ω(f, Bδ (0)); δ > 0} = 1

Por otro lado

ω(f, Y ) = sup{f (x, y); (x, y) ∈ Y } − inf{f (x, y); (x, y) ∈ Y } = 0
De esta manera ω(f, Y ) < ω(f, 0).
Teorema 1.4.2 (Lebesgue) Sea B un m-bloque compacto, f : B → R una función acotada y denotemos
Df = {x ∈ B; f es discontinua en x}
Entonces f ∈ R(B) si y sólo si Df tiene m-medida cero.
Demostración. (⇐) Sea K = ω(f, B). Dado ² > 0, existe una colección numerable de m-cubos abiertos
[∞ X∞
0 ²
0
{Cj } tales que Df ⊆ Cj y vol (Cj0 ) < .
j=1 j=1
2K
Sea x ∈ B − Df . Afirmo que existe Cx00 m-cubo abierto tal que x ∈ Cx00 y
²
ω(f, Cx00 ∩ B) <
2 vol (B)
En efecto, como f es continua en x entonces ω(f, x) = 0, luego existe un δ > 0 tal que ω(f, Bδ (x) ∩ B) <
²
. Tomando Cx00 un m-cubo abierto, centrado en x, tal que Cx00 ⊆ Bδ (x), se prueba la afirmación.
2 vol (B)
Observe que    
[∞ [ [
B = Df ∪ (B − Df ) ⊆  Cj0   Cx00 
j=1 x∈B−Df
Como B es compacto se tiene que

  Ã !
r
[ [ s
[
B⊆ Cj0  Cx00k
j=1 k=1
Consideremos P = {Bi } ∈ P(B) tal que cumple por lo menos una de las dos alternativas siguientes:
Bi ⊆ Cj0 ó Bi ⊆ Cx00k . Denotando por I = {i; Bi ⊆ Cj0 } y J = {i; Bi ⊆ Cx00k }, se cumple:
X X X
ω(f, Bi ) vol (Bi ) ≤ ω(f, Bi ) vol (Bi ) + ω(f, Bi ) vol (Bi )
i i∈I i∈J
X ² X
< K vol (Bi ) + vol (Bi )
2 vol (B)
i∈I i∈J
² ²
< K + vol (B) = ²
2K 2 vol (B)
Por lo tanto f ∈ R(B).

(⇒) Dado j ∈ N, definimos ½ ¾
1
Dj = x ∈ B; ω(f, x) ≥
j
∞
[
Claramente se tiene que Df ⊆ Dj . Es suficiente probar que Dj tiene m-medida cero, ∀ j ∈ N.
j=1
Dados j ∈ N y ² > 0, por hipótesis, existe P = {Bi } ∈ P(B) tal que
X ²
ω(f, Bi ) vol (Bi ) < .
i
j
1
Sea I = {i; Dj ∩ int (Bi ) 6= ∅}. Si x ∈ Dj ∩ int (Bi ) entonces ≤ ω(f, x) ≤ ω(f, Bi ), luego
j
1X X X ²
vol (Bi ) ≤ ω(f, Bi ) vol (Bi ) ≤ ω(f, Bi ) vol (Bi ) <
j i
j
i∈I i∈I
es decir X
vol (Bi ) < ²
i∈I
Por otro lado [ [ [

Dj ⊆ (int (Bi ) ∩ Dj ) ∪ (∂Bi ∩ Dj ) ⊆ int (Bi ) ∪ Y,
i∈I i i∈I
[
en donde Y = ∂Bi tiene m-medida cero. ¤
i
1.5 Integración Iterada
Sean B1 ⊆ Rm y B2 ⊆ Rn dos bloques compactos y f : B1 × B2 → R una función acotada. Dado x ∈ B1 ,

definimos
fx : B 2 → R
y 7→ fx (y) = f (x, y)
Observe que fx es la restricción de f al (m + n)-bloque degenerado {x} × B2 ¿Si f ∈ R(B1 × B2 ) entonces
fx ∈ R(B2 ), ∀ x ∈ B1 ?
Ejemplo 1.5.1 Consideremos la función
f : [0, 1] × [0, 1] → R 
 0, si x 6= 1/2
(x, y) 7→ f (x, y) = 1, si x = 1/2, y ∈ Q

0, si x = 1/2, y ∈ I
Claramente Df = {1/2} × [0, 1]. Como Df tiene 2-medida cero, concluimos que f ∈ R([0, 1] × [0, 1]),
pero
f1/2 : [0, 1] → R ½
1, si y ∈ Q
y 7→ f1/2 (y) =
0, si y ∈ I
se sigue que Df1/2 = [0, 1], luego f1/2 ∈
/ R([0, 1]).
Observación: Se puede probar que si f ∈ R(B1 × B2 ) entonces el conjunto {x ∈ B1 ; fx ∈ / R(B2 )}

tiene m-medida nula. Este resultado es parte importante del Teorema de Fubini. Un caso especial es el
siguiente:
Teorema 1.5.1 (Integración Iterada) Sean B1 ⊆ Rm , B2 ⊆ Rn bloques compactos y f ∈ R(B1 ×B2 ).

Para cada x ∈ B1 denotamos
fx : B 2 → R
y 7→ fx (y) = f (x, y)
Si definimos las funciones L y U como
L: B1 → R Z U: B1 → R
Z
x 7→ L(x) = fx (y)dy x 7→ U (x) = fx (y)dy
B2 B2
entonces L, U ∈ R(B1 ) y además

Z Z ÃZ ! Z
L(x)dx = f (x, y)dy dx = f
B1 B1 B2 B1 ×B2
Z Z µZ ¶ Z
U(x)dx = f (x, y)dy dx = f
B1 B1 B2 B1 ×B2
© ª © ª © ª
Demostración. Sean P1 = Bi1 ∈ P(B1 ) y P2 = Bj2 ∈ P(B2 ) entonces P = P1 × P2 = Bi1 × Bj2 ∈
P(B1 × B2 ). Se cumple
X X
L(f, P ) = mi,j (f ) vol (Bi1 × Bj2 ) = mi,j (f ) vol (Bi1 ) · vol (Bj2 )
i,j i,j
 
X X
=  mi,j (f ) vol (Bj2 ) vol (Bi1 ) (1.1)
i j
Por otro lado, si x ∈ Bi1 entonces
mi,j (f ) = inf{f (x, y); (x, y) ∈ Bi1 × Bj2 } ≤ inf{fx (y); y ∈ Bj2 } = mj (fx )
Luego
X X Z
mi,j (f ) vol (Bj2 ) ≤ mj (fx ) vol (Bj2 ) = L(fx , P2 ) ≤ fx (y)dy = L(x), ∀ x ∈ Bi1
j j B2
X
es decir mi,j (f ) vol (Bj2 ) ≤ mi (L), ∀ x ∈ Bi1 . Reemplazando en (1.1)
j
X
L(f, P ) ≤ mi (L) vol (Bi1 ) = L(L, P1 ) (1.2)
i
Análogamente
U (U, P1 ) ≤ U (f, P ) (1.3)
De (1.2) y (1.3)
L(f, P ) ≤ L(L, P1 ) ≤ U (L, P1 ) ≤ U (U, P1 ) ≤ U (f, P ), ∀ P = P1 × P2 ∈ P(B1 × B2 )
Como f ∈ R(B1 × B2 ), dado ² > 0, existe P = P² = P1 × P2 ∈ P(B1 × B2 ) tal que U (f, P ) − L(f, P ) < ²,
luego existe P1 ∈ P(B1 ) tal que U (L, P1 )−L(L, P1 ) < ² y esto implica que que L ∈ R(B1 ). Análogamente,
se demuestra que U ∈ R(B1 ).
Finalmente, usando la propiedad:
Sean A, B ⊆ R conjuntos acotados tales que, dado a ∈ A, existe b = ba ∈ B tal quwe a ≤ b, entonces
sup(A) ≤ sup(B).
En nuestro caso, para
A = {L(f, P ); P ∈ P(B1 × B2 )} y B = {L(L, P1 ); P1 ∈ P(B1 )} ,
Por (1.2) se cumple la condición anterior, luego

Z Z Z Z
f= f = sup(A) ≤ sup(B) = L(x)dx = L(x)dx
B1 ×B2 B1 ×B2 B1 B1
Análogamente. se prueba que Z Z

f≥ U(x)dx,
B1 ×B2 B1
Z Z Z
y de aquı́ se sigue que f= L(x)dx = U(x)dx. ¤
B1 ×B2 B1 B1
Observaciones:
1. Una demostración análoga muestra que

Z Z ÃZ ! Z µZ ¶
f= f (x, y)dx dy = f (x, y)dx dy
B1 ×B2 B2 B1 B2 B1
2. Si f ∈ C(B1 × B2 ) entonces fx ∈ R(B2 ), ∀ x ∈ B1 , luego

Z Z Z
fx (y)dy = fx (y) = fx (y)dy
B2 B2 B2
Por lo tanto Z µZ ¶ Z
f (x, y)dy dx = f
B1 B2 B1 ×B2
Análogamente Z µZ ¶ Z
f (x, y)dx dy = f
B2 B1 B1 ×B2
m
Y
3. Si B = [ai , bi ] y f ∈ C(B) entonces
i=1
Z Z Ã ÃZ ! !
bn b1
f= ··· f (x1 , . . . , xn )dx1 · · · dxn
B an a1
Este resultado es útil para calcular integrales de funciones continuas sobre m-bloques compactos.
√
Ejemplo 1.5.2 Sea B = [−1, 1] × [1, 4] y f : B → R definida por f (x, y) = xe y , como f ∈ C(B), por
la observación anterior:
Z Z 4 µZ 1 ¶ Z 4 µZ 1 ¶
√ √
y y
f= xe dx dy = e xdx dy = 0
B 1 −1 1 −1
1.6 Integrales sobre Conjuntos J-medibles
Hasta ahora sólo sabemos integrar sobre m-bloques compactos, en la presente sección vamos a ver que se
puede integrar sobre conjuntos más generales.
Definición 1.6.1 Sea X ⊆ Rm un conjunto acotado.
1. Decimos que X es Jordan medible o simplemente J-medible en Rm si y sólo si existe un m-bloque

compacto B con X ⊆ int (B) tal que 1X ∈ R(B).
2. Sea X un conjunto J-medible en Rm , el volumen m-dimensional de X o simplemente volumen de

X, denotado por vol (X), se define como
Z
vol (X) = 1X
B
en donde B es un m-bloque compacto tal que X ⊆ int (B).
Observaciones:
1. No es difı́cil probar que la definición de conjunto J-medible ası́ como de su volumen no dependen
de la elección del m-bloque B con la propiedad X ⊆ int (B).
2. La parte 2 de la definición anterior es una generalización del Teorema 1.2.7.
3. Denotaremos por J (Rm ) a la colección de todos los subconjuntos acotados J-medibles en Rm .
Teorema 1.6.1 Sea X ⊆ Rm un conjunto acotado. X ∈ J (Rm ) si y sólo si su frontera ∂X tiene

m-medida cero.
Demostración. Sea B un m-bloque compacto tal que X ⊆ int (B). Denotemos
D1X = {x ∈ B; 1X es discontinua en x}
Se sigue que D1X = ∂X, por lo tanto X ∈ J (Rm ) si y sólo si 1X ∈ R(B) si y sólo si D1X = ∂X tiene
m-medida cero. ¤
Observaciones:
1. Como la frontera de un m-bloque acotado es unión (finita) de m-bloques degenerados, concluimos

que los m-bloques acotados son J-medibles en Rm .
2. Las bolas abiertas y cerradas son conjuntos J-medibles en Rm .
3. Hasta ahora sólo sabı́amos calcular el volumen de m-bloques acotados, la definición anterior extiende
el cálculo del volumen a conjuntos J-medibles. Los Teoremas 1.2.7 y 1.6.1 establecen que esta es
una buena extensión. Más aún, si denotamos por F a la familia de todos los m-bloques compactos,
hemos extendido vol : F → [0, +∞[ a vol : J (Rm ) → [0, +∞[.
Proposición 1.6.2 Sea X ⊆ Rm un conjunto acotado. X ∈ J (Rm ) si y sólo si ∂X ∈ J (Rm ) y

vol (∂X) = 0.
Demostración. (⇒) Como ∂X es cerrado se tiene que ∂(∂X) ⊆ ∂X, de la hipótesis se sigue que ∂(∂X)
tiene m-medida cero y por tanto ∂X ∈ J (Rm ). Por otro lado, sea ² > 0, como ∂X tiene m-medida cero,
[ ∞
X
existe {Cj } colección numerable de m-cubos abiertos acotados tales que ∂X ⊆ Cj y vol (Cj ) < ².
j∈N j=1
Como ∂X es compacto, ∂X ⊆ C1 ∪ · · · ∪ Cs . Sea B un m-bloque compacto cuyo interior contenga a la
clausura de C1 ∪ · · · ∪ Cs , se cumple
Z Z s Z
X s
X
vol (∂X) = 1∂X ≤ 1C1 ∪···∪Cs ≤ 1Cj = vol (Cj ) < ²
B B j=1 B j=1
Se sigue que vol (∂X) = 0.

(⇐) Sea B un m-bloque compacto tal que X ⊆ int (B). Por hipótesis
Z
0 = vol (∂X) = 1∂X = inf {U (1∂X , P ); P ∈ P(B)}
B
Dado ² > 0, existe P = {Bi } ∈ P(B) tal que U (1∂X , P ) < ². Denotemos
I = {i; ∂X ∩ Bi 6= ∅}
[
claramente ∂X ⊆ Bi y además
i∈I
X X
²> Mi (1∂X ) vol (Bi ) = vol (Bi )
i i∈I
Se sigue que ∂X tiene m-medida cero y por tanto X ∈ J (Rm ). ¤

Ejercicio: Sea X ∈ J (Rm ), pruebe que vol (X) = 0 ⇐⇒ int (X) = ∅. Pruebe que el resultado es falso
si retiramos la hipótesis de ser X J-medible.
Teorema 1.6.3 Si X, Y ∈ J (Rm ) entonces

1. X ∪ Y , X ∩ Y , X − Y ∈ J (Rm ).
2. Si X ⊆ Y entonces vol (X) ≤ vol (Y ).
3. vol (X ∪ Y ) = vol (X) + vol (Y ) − vol (X ∩ Y ).
Demostración. Por hipótesis ∂X y ∂Y tienen m-medida cero.
1. Como ∂(X∪Y ) ⊆ ∂X∪∂Y , se sigue que ∂(X∪Y ) tiene m-medida cero y por lo tanto X∪Y ∈ J (Rm ).
2. Ejercicio.
3. Sea B un m-bloque compacto tal que X, Y ⊆ int (B). Sabemos que 1X∪Y + 1X∩Y = 1X + 1Y , luego
Z Z Z
vol (X ∪ Y ) + vol (X ∩ Y ) = (1X∪Y + 1X∩Y ) = 1X + 1X = vol (X) + vol (Y ) ¤
B B B
A continuación, definiremos la integral de una función acotada sobre un conjunto J-medible.

Sea X ∈ J (Rm ) y f : X → R una función acotada, consideremos B un m-bloque compacto tal que
X ⊆ int (B). Definimos la función
1X f = fX : B → R ½
f (x), x∈X
x 7→ fX (x) =
0, x∈B−X
Definición 1.6.2 Sea X ∈ J (Rm ) y f : X → R una función acotada. Decimos que f es Riemann
Integrable sobre X, lo que denotamos f ∈ R(X) si y sólo si 1X f = fX ∈ R(B), en donde B es un
m-bloque compacto tal que X ⊆ int (B). En caso afirmativo definimos
Z Z
f= fX
X B
Teorema 1.6.4 Sea X ∈ J (Rm ), f : X → R una función acotada y denotemos

Df = {x ∈ X; f es discontinua en x}
Se cumple f ∈ R(X) si y sólo si Df tiene m-medida cero.
Demostración. En primer lugar afirmo que Df ⊆ DfX ⊆ Df ∪ ∂X. En efecto: Supongamos que
Df ∩ (Rm − DfX ) 6= ∅ (Hip. Aux.) y tomemos x ∈ Df con x ∈ / DfX entonces ∃ (xk ) ⊆ X tal que
lim xk = x y lim f (xk ) 6= f (x). Como fX es continua en x entonces lim fX (xk ) = fX (x), luego
k→∞ k→∞ k→∞
lim f (xk ) = f (x) contradicción! esto prueba que x ∈ DfX . El otro contenido es análogo, y ası́ la
k→∞
afirmación está probada. Como X ∈ J (Rm ), ∂X tiene m- medida cero, luego f ∈ R(X) si y sólo si
fX ∈ R(B) si y sólo si DfX tiene m-medida cero si y sólo si Df tiene m-medida cero. ¤
Teorema 1.6.5 Dado X ∈ J (Rm ), se cumple

Z Z
1. Si f ∈ R(X) y c ∈ R entonces cf ∈ R(X) y cf = c f.
X X
Z Z Z
2. Si f, g ∈ R(X) entonces f + g ∈ R(X) y (f + g) = f+ g.
X X X
Z Z
3. Si f, g ∈ R(X) y f (x) ≤ g(x), ∀ x ∈ X entonces f ≤ g. En particular, si m ≤ f (x) ≤ M ,
X X
∀ x ∈ X entonces Z
m · vol (X) ≤ f ≤ M · vol (X)
X
4. Si f, g ∈ R(X) entonces max{f, g}, min{f, g} ∈ R(X).

5. f ∈ R(X) si y sólo si f + , f − ∈ R(X).
¯Z ¯ Z ¯Z ¯
¯ ¯ ¯ ¯
¯
6. Si f ∈ R(X) entonces |f | ∈ R(X) y ¯ f ¯ ≤ ¯ |f |. En particular ¯ f ¯¯ ≤ M (f ) · vol (X), donde
¯
X X X
M (f ) = sup{|f (x)|; x ∈ X}.
7. Si f ∈ R(X) entonces f 2 ∈ R(X).
8. Si f, g ∈ R(X) entonces f g ∈ R(X).
Z
9. Si f ∈ R(X) y vol (X) = 0 entonces f = 0.
X
Demostración. Sea B un m-bloque compacto tal que X ⊆ int (B). Desde que (f + g)X = fX + gX
(¡Ejercicio!) se sigue que si f, g ∈ R(X) entonces fX , gX ∈ R(B), luego (f + g)X = fX + gX ∈ R(B), es
decir f + g ∈ R(X). Además
Z Z Z Z Z Z Z
(f + g) = (f + g)X = (fX + gX ) = fX + gX = f+ g
X B B B B X X
Las demás son análogas. ¤

m
Observación: Si X ∈ J (R ), entonces R(X) es una R-álgebra.
Teorema 1.6.6 (Teorema del Valor Medio para Integrales) Si X ∈ J (Rm ) es conexo y f ∈ C(X)
entonces existe un x0 ∈ X tal que Z
f = f (x0 ) · vol (X)
X
Demostración. Si vol (X) = 0, por la parte 9 del teorema anterior, la igualdad es inmediata. Consi-
deremos el caso en que vol (X) > 0. Como f ∈ C(X) y X es conexo entonces f (X) es un intervalo cuyos
extremos lo denotamos por m y M , luego m ≤ f (x) ≤ M , ∀ x ∈ X, ası́
Z Z Z
m · vol (X) = m≤ f≤ M = M · vol (X)
X X X
Z Z
1 1
Se sigue que f ∈ f (X) luego existe un x0 ∈ X tal que f (x0 ) = f. ¤
vol (X) X vol (X) X
¯
Teorema 1.6.7 Sean X, Y ∈ J (Rm
). Se cumple que f ∈ R(X ∪ Y ) si y sólo si f ¯ ∈ R(X) y
¯ X
¯
f Y ∈ R(Y ). En caso afirmativo
Z Z Z Z
f+ f= f+ f
X∪Y X∩Y X Y
En particular, si int (X ∩ Y ) = ∅ entonces

Z Z Z
f= f+ f
X∪Y X Y
Demostración. Se cumple que
D ¯¯ ∪ D ¯¯ ⊆ Df ⊆ D ¯¯ ∪ D ¯¯ ∪ ∂X ∪ ∂Y
f f f f
X Y X Y
m
Como X, Y ∈ J (R ) se tiene que ∂X y ∂Y tienen m-medida cero, luego f ∈ ¯ R(X ∪ Y ) si ¯y sólo si Df
tiene m-medida cero si y sólo si D ¯¯ y D ¯¯ tienen m-medida si y sólo si f ¯X ∈ R(X) y f ¯Y ∈ R(Y ).
f f
X Y
Sea B un m-bloque compacto tal que X ∪ Y ⊆ int (B) y consideremos las funciones fX∪Y , fX∩Y :
B → R, se cumple fX∪Y + fX∩Y = fX + fY , luego
Z Z Z Z Z Z Z Z
f+ f= fX∪Y + fX∩Y = fX + fY = f+ f
X∪Y X∩Y B B B B X Y
m
Finalmente
Z como X, Y ∈ J (R ) e int (X ∩ Y ) = ∅ entonces por el ejercicio vol (X ∩ Y ) = 0, luego
f = 0 y por la parte 9 del Teorema 1.6.5 el resultado se sigue. ¤
X∩Y
Corolario 1. Si X, Y ∈ J (Rm ), Y ⊆ X, f ∈ R(X) e int (X − Y ) = ∅ entonces

Z Z
f= f
X Y
Demostración. Como X = (X − Y ) ∪ Y , (X − Y ) ∩ Y = ∅ y X − Y ∈ J (Rm ) entonces

Z Z Z
f= f+ f
X X−Y Y
Además como int (X − Y ) = ∅, por el ejercicio vol (X − Y ) = 0, luego

Z Z Z Z
f= f+ f= f ¤
X X−Y Y Y
Corolario 2. Sean X ∈ J (Rm ) y f ∈ R(X). Si U = int (X) entonces

Z Z
f= f
X U
m
Demostración. Como U = Z int (X)
Z entonces ∂U ⊆ ∂X luego U ∈ J (R ) e int (X − U ) = int (∂X) = ∅.
Luego, por el Corolario 1: f= f. ¤
X U
Observación: En virtud del corolario anterior, de ahora en adelante podemos suponer que las integrales
se realizan sobre conjuntos abiertos J-medibles.
Z
Sea X ∈ J (Rm ), se puede usar el Teorema 1.6.1 para calcular f , puesto que, por definición
Z Z X
f= fX , en donde B es un m-bloque tal que X ⊆ int (B).

X B
Ejemplo 1.6.1 Sea X = [−1, 1] × [−1, 1] − B1 (0) ∈ J (R2 ) y considero f : R2 → R definida

Z por
√ 2
y +1 2
f (x, y) = xe . Como f ∈ C(R ) entonces f ∈ C(X) ⊆ R(X), nos proponemos hallar f , para
X
ello consideremos el 2-bloque B = [−2, 2] × [−2, 2] y la función
fX : B → R ½
f (x, y), si (x, y) ∈ X
(x, y) 7→ fX (x, y) =
0, si (x, y) ∈ B − X
es decir
( √ p p
y 2 +1
fX (x, y) = xe , si − 1 ≤ x < − 1 − y 2 ó 1 − y 2 < x < 1, −1 ≤ y ≤ 1
0, (x, y) ∈ B − X
De esta manera
Z Z Z "Z √ Z #
1 − 1−y 2 √ 1 √
y 2 +1 y 2 +1
f= fX = xe dx + √ xe dx dy = 0 ¤
X B −1 −1 1−y 2
Para finalizar la sección, probaremos que existen abiertos acotados que no son J-medibles. En efecto,
sea X el conjunto de Cantor de medida positiva y denotamos Y = X × [0, 1]. Supongamos que Y tiene
2-medida cero (Hip. Aux.) denotemos B = [0, 1] × [0, 1] ⊇ Y , como ∂Y ⊆ Y , por la hipótesis auxiliar
concluimos que f = 1Y ∈ R(B). Por el teorema de la integración iterada, la función
L: [0, 1] → R
Z 1
x 7→ L(x) = fx (y)dy
0
es Riemann integrable sobre [0, 1]. Observe que para x ∈ X tenemos fx = 1 (puesto que si y ∈ [0, 1]
entonces (x, y) ∈ Y , luego 1 = fx (y) = 1Y (x, y)). Análogamente, si x ∈
/ X entonces fx = 0. Luego
Z 1 ½
1, si x ∈ X
L(x) = fx (y)dy =
0 0, si x ∈
/X
es decir L = 1X , concluimos que 1X ∈ R([0, 1]) y por tanto X = ∂X tiene 1-medida cero lo cual es una
contradicción. De esta manera Y = X × [0, 1] tiene 2-medida cero. Ahora es fácil construir un abierto
de R2 cuya frontera no tiene 2-medida cero. En efecto, sea B cualquier 2-bloque abierto que contenga a
[0, 1] × [0, 1] y sea U = B − Y . Como Y es cerrado tenemos que U es abierto y como Y ⊆ ∂U (¡Ejercicio!)
deducimos que ∂U no tiene 2-medida cero.
La existencia de abiertos acotados que no sean J-medibles es mala para la teorı́a de la integración
Z
puesto que si U es uno de tales abiertos, con la teorı́a estudiada hasta el momento la integral f no
U
necesariamente estarı́a definida, aún suponiendo que f ∈ C(U ).
1.7 Cambio de Variables en la Integral Múltiple
Del Análisis en una variable real, tenemos el siguiente resultado: Sea f ∈ C([a, b]) y g : [c, d] → R tal que
g 0 ∈ R([c, d]) y g([c, d]) ⊆ [a, b]. Entonces
Z g(d) Z d
f (x)dx = f (g(t))g 0 (t)dt
g(c) c
No es difı́cil probar que si g es inyectiva e I = ]c, d[ , entonces

Z Z
f = (f ◦ g) · |g 0 |.
g(I) I
La generalización de este resultado a integrales múltiples es la siguiente:
Teorema 1.7.1 (Cambio de coordenadas) Sea U ⊆ Rm un abierto acotado y g ∈ C 1 (U ; Rm ) inyectiva

tal que g(U ) sea acotado y det[Jg(x)] 6= 0, ∀ x ∈ U . Si f ∈ R(g(U )) entonces
Z Z
f= (f ◦ g) · | det Jg|.
g(U ) U
La demostración del teorema anterior, usando solo integral de Riemann, es muy complicada y será
pospuesta hacia el final, en donde ya tendremos a mano la integral de Lebesgue.
Se debe observar que en el Teorema de Cambio de variables, el abierto no necesariamente es J-medible.
ESto se debe al hecho que es posible definir la integral de Riemann de una función definida sobre un
abierto no necesariamente J-medible, pero para ello se requiere el manejo de particiones de la unidad.
En el cálculo, los cambios de variables más usados son:
1. Coordenadas polares: Es la función (x, y) = g(r, θ) = (r cos θ, rsen θ), en cuyo caso se tiene
Z Z
f (x, y)dxdy = f (r cos θ, rsen θ)r drdθ.
g(U ) U
2. Coordenadas cilı́ndricas: Es la función (x, y, z) = g(r, θ, z) = (r cos θ, rsen θ, z), en cuyo caso se
tiene Z Z
f (x, y, z)dxdydz = f (r cos θ, rsen θ, z)r drdθdz.
g(U ) U
3. Coordenadas esféricas: Es la función (x, y, z) = g(ρ, θ, ϕ) = (ρ cos θsen ϕ, rsen θsen ϕ, ρ cos ϕ), en
cuyo caso se tiene
Z Z
f (x, y, z)dxdydz = f (ρ cos θsen ϕ, rsen θsen ϕ, ρ cos ϕ)ρ2 sen ϕ dρdθdϕ.
g(U ) U
Capı́tulo 2
Espacios de Medida
2.1 Limitaciones y desventajas de la Integral de Riemann
La integral de Rieman tiene muchas desventajas, tantos teóricas como prácticas.

El primer inconveniente que podemos nombrar es la existencia de conjuntos abiertos acotados que no
son J-medibles. Como hemos observado en el Capı́tulo anterior,Zsi U es un conjunto abierto acotado que
no es J-medible entonces no podemos asegurar la existencia de f a pesar de que f ∈ C(U ).
U
La segunda desventaja es el hecho que funciones muy discontinuas no sean integrables. Esta desventaja
consiste en que es fácil encontrar una función muy discontinua que coincida, salvo un conjunto de medida
cero, con una función continua y, sin embargo una y otra no son equivalentes en el sentido de la integral
de Riemann. Por ejemplo, consideremos f, g : [0, 1] → R definidas por
½
1, x ∈ [0, 1] ∩ Q
f (x) = y g(x) = 0
0, x ∈ [0, 1] ∩ I
Se tiene que f = g salvo en [0, 1] ∩ Q, el cual tiene medida cero, y sin embargo g ∈ R([0, 1]) pero
f∈/ R([0, 1]).
Un tercer inconveniente, es que necesitamos integrar funciones acotadas sobre conjuntos acotados. No
podemos integrar sobre Rm .
Un cuarto inconveniente de la integral de Riemann, y quizá uno de los más importantes, es que ella
no se comporta bien con respecto al proceso del “paso al lı́mite”, esto significa que puede existir una
sucesión de funciones Riemann-integrables cuyo lı́mite puntual no lo es. Veamos más detalladamente
estos conceptos.
Sea X ⊆ Rm , denotaremos por F(X; Rn ) al conjunto de todas las funciones definidas en X y con
valores en Rn . Con las operaciones usuales de suma de funciones y producto de un número real por una
función, el conjunto F(X; Rn ) se torna un R-espacio vectorial.
Definición 2.1.1 Una sucesión de funciones en F(X; Rn ) es una función f : N → F(X; Rn ) tal que a
cada número natural k le asocia una función f (k) = fk ∈ F(X; Rn ), llamada el k-ésimo término de la
sucesión.
35
Análisis Real III 36
Notación. En sucesivo el sı́mbolo (fk ) ⊆ F (X; Rn ) significará que “(fk ) es una sucesión de funciones
en F(X; Rn )”
Sea (fk ) ⊆ F (X; Rn ), para cada x ∈ X se tiene que fk (x) ∈ Rn , para todo k ∈ N, luego (fk (x)) es
una sucesión en Rn . Si la sucesión (fk (x)) ⊆ Rn es convergente para cada x ∈ X entonces existe un
vector (que depende de x ∈ X) f (x) ∈ Rn tal que lim fk (x) = f (x). De esta manera podemos definir la
k→∞
función
f: X → Rn
x 7 → f (x) = lim fk (x)
k→∞
es decir f ∈ F(X; Rn ).
Definición 2.1.2 Sea (fk ) ⊆ F(X; Rn ) y f ∈ F (X; Rn ). Decimos que la sucesión de funciones (fk )
converge puntualmente a f , lo que escribimos fk → f si y sólo si se cumplen las dos condiciones siguientes:
1. (fk (x)) ⊆ Rn es convergente, para todo x ∈ X.

2. lim fk (x) = f (x), para todo x ∈ X.
k→∞
Ejemplo 2.1.1 Sea X el intervalo cerrado [0, 1] y consideremos la sucesión (fk ) ⊆ F(X; R) definida por
fk : X → R
x 7 → fk (x) = xk
Observe que ½
0, si 0 ≤ x < 1
lim fk (x) = lim xk =
k→∞ k→∞ 1, si x = 1
Si definimos
f: [0, 1] → R ½
0, si 0 ≤ x < 1
x 7→ f (x) =
1, si x = 1
tenemos que lim fk (x) = f (x), para todo x ∈ X, es decir fk → f . ¤
k→∞
Ejemplo 2.1.2 Sea X el intervalo cerrado [0, 1]. Como Q ∩ X es numerable, podemos escribir
Q ∩ X = {q1 , q2 , . . . , qk , . . .}.
Consideremos la sucesión (fk ) ⊆ F(X; R) y la función f ∈ F(X; R) definidas por

½ ½
1, si x ∈ {q1 , . . . , qk } 1, si x ∈ Q ∩ X
fk (x) = y f (x) =
0, si x ∈ X − {q1 , . . . , qk } 0, si x ∈ I ∩ X
Afirmo que fk → f . En efecto, sea x ∈ X. Se presentan dos casos:

Caso 1: x ∈ Q ∩ X. En este caso, existe k0 ∈ N tal que x = qk0 . Luego la sucesión (fk (x)) ⊆ R viene
dada por ½
0, si k < k0
fk (x) =
1, si k ≥ k0
De esta manera
lim fk (x) = 1 = f (x)
k→∞
Caso 2: x ∈ I ∩ X. En este caso fk (x) = 0, ∀ k ∈ N, luego
lim fk (x) = 0 = f (x)

k→∞
De los dos casos anteriores, se deduce la afirmación. Por otro lado, es claro que (fk ) ⊆ R(X) pero
f∈
/ R(X). ¤
Este mal comportamiento de la integral de Riemann con respecto al proceso del paso al lı́mite, fue
una de las razones para extender el concepto de función integrable.
Recordemos que para definir función Riemann integrable f : B → R, primero tomábamos una par-
tición del m-bloque B. La idea novedosa de Lebesgue fue la de tomar una partición del intervalo imagen
c = y0 < y1 < · · · < yn−1 < yn = d

Z
y aproximar el valor de f mediante
B
n
X yj−1 + yj ¡ ¢
vol f −1 ([yj−1 , yj ])
j=1
2
Z 1 √
Como ejemplo, vamos hallar xdx por éste método.
0
√
Para ello, observamos que el integrando f (x) = x cumple f ([0, 1]) = [0, 1], luego, consideramos la
partición (regular)
1 2 n−1
y0 = 0, y1 = , y2 = , . . . , yn−1 = , yn = 1 (n ∈ N)
n n n
se tiene
f −1 ([yj−1 , yj ]) = [yj−1
2
, yj2 ], ∀1≤j≤n
luego
¡ ¢ j2 (j − 1)2 2j − 1
vol f −1 ([yj−1 , yj ]) = yj2 − yj−1
2
= 2− =
n n2 n2
Las ´´alturas” de los rectángulos, serı́an
yj−1 + yj 2j − 1
=
2 2n
Ası́
n
X Xn n
yj−1 + yj ¡ ¢ 2j − 1 2j − 1 1 X 2
vol f −1 ([yj−1 , yj ]) = · = (4j − 4j + 1)
j=1
2 j=1
2n n2 2n3 j=1
µ ¶µ ¶ µ ¶
1 1 1 1 1 1
= 1+ 2+ − 1+ + 2
3 n n n n 2n
Ası́ Z 1 n
X
√ yj−1 + yj ¡ ¢ 1
xdx = lim vol f −1 ([yj−1 , yj ]) =
0 n→∞
j=1
2 3
El cual coincide con el valor calculado usando particiones y sumas de Riemann.
Volviendo al caso general, se puede apreciar que la principal dificultad para calcular la suma
n
X yj−1 + yj ¡ ¢
vol f −1 ([yj−1 , yj ])
j=1
2
reside en el hecho de que los conjuntos f −1 ([yj−1 , yj ]) pueden ser muy complicados y en general no se le
pueden asignar un volumen (o más generalmente, una medida).
El primer paso para solucionar este problema serı́a detectar aquellos conjuntos a los cuales se les pueda
asignar una medida (los cuales serán llamados conjuntos medibles) y luego estudiar aquellas funciones
para las cuales las preimágenes de intervalos siempre sean conjuntos medibles (estas funciones serán
llamadas funciones medibles).
2.2 Espacios medibles
Definición 2.2.1 Sea X un conjunto no vacı́o. Una colección A de subconjuntos de X es llamada

σ-álgebra en X si y sólo si satisface las siguientes propiedades:
1. X ∈ A.
2. Si A, B ∈ A entonces A − B ∈ A.
∞
[
3. Si {Ak }k∈N ⊆ A entonces Ak ∈ A.
k=1
Si A es una σ-álgebra en X entonces los elementos de A son llamados conjuntos medibles.

Decimos que el par (X, A) es un espacio medible si y sólo si X es un conjunto no vacı́o y A es una
σ-álgebra en X.
Observaciones:
1. El prefijo σ se refiere al hecho de que la condición 3) de la definición anterior se cumpla para todas
las uniones numerables de conjuntos de la colección A.
2. Si cambiamos la condición 3) por “A, B ∈ A implica que A ∪ B ∈ A” entonces A es llamada álgebra
Booleana o simplemente álgebra en X.
3. Toda σ-álgebra es un álgebra, pero el recı́proco no necesariamente es cierto.
Ejemplo 2.2.1 Sea X un conjunto no vacı́o. Si A = {∅, X} entonces (X, A) es un espacio medible. Por
otro lado si denotamos por P(X) al conjunto potencia de X entonces (X, P(X)) es también un espacio
medible. Concluimos que todo conjunto no vacı́o X admite dos σ-álgebras triviales.
Ejemplo 2.2.2 Si X = {a, b, c} y A = {∅, {a}, {b, c}, {a, b, c}} entonces (X, A) es un espacio medible.
Ejemplo 2.2.3 Sea X un conjunto no vacı́o, ∅ 6= A ⊆ X y consideremos A = {∅, A, Ac , X} entonces

(X, A) es un espacio medible. Más aún, A es la más pequeña σ-álgebra que contiene al subconjunto A.
Ejemplo 2.2.4 Los subconjuntos de R que son reuniones finitas de intervalos de la forma [a, b[, [a, +∞[
ó ] − ∞, b[, es un álgebra pero no una σ-álgebra de R.
Proposición 2.2.1 Sea (X, A) un espacio medible. Se cumple:
1. ∅ ∈ A
2. A ∈ A entonces Ac = X − A ∈ A.
3. Si A, B ∈ A entonces A ∩ B ∈ A.
4. Si A, B ∈ A entonces A∆B = (A − B) ∪ (B − A) ∈ A.
∞
\
5. Si {Ak }k∈N ⊆ A entonces Ak ∈ A.
k=1
Ã ∞
! ∞
\ [
Demostración. 5). X − Ak ∈ A, ∀ k ∈ N, luego X − Ak = (X − Ak ) ∈ A. Se sigue que
k=1 k=1
∞
\
Ak ∈ A. ¤
k=1
Observaciones:
1. Una manera equivalente de definir σ-álgebra en X es la siguiente:

Decimos que A es una σ-álgebra en X si y sólo si satisface las siguientes propiedades:
(a) X, ∅ ∈ A.
(b) Si A ∈ A entonces Ac = X − A ∈ A.
∞
[
(c) Si {Ak }k∈N ⊆ A entonces Ak ∈ A.
k=1
Queda como ejercicio para el lector mostrar la equivalencia de ambas definiciones.

2. Toda σ-álgebra es una colección de conjuntos que es cerrada con respecto al complemento, diferencia,
uniones (finitas y numerables) e intersecciones (finitas y numerables).
Existen otras operaciones entre conjuntos que serán de interés en lo sucesivo.

Definición 2.2.2 Sea X un conjunto no vacı́o y {Ak }k∈N una colección numerable de subconjuntos de
X.
1. El lı́mite superior y el lı́mite inferior de {Ak }, denotados respectivamente por lim sup{Ak } y
lim inf{Ak } se definen como
   
\∞ [∞ [∞ ∞
\
lim sup{Ak } =  Aj  y lim inf{Ak } =  Aj 
k=1 j=k k=1 j=k
2. Decimos que la colección {Ak } tiene lı́mite si y sólo si el lı́mite superior y el lı́mite inferior de
{Ak }k∈N coinciden. En este caso, denotamos por lim{Ak } al valor común.
Ejemplo 2.2.5 Sea X = N y Ak = {n ∈ N; n ≥ k}, desde que Ak+1 ⊆ Ak , se cumple:

   
∞
\ ∞
[ [∞ ∞
\
lim sup{Ak } =  Aj  = ∅ y lim inf{Ak } =  Aj  = ∅
k=1 j=k k=1 j=k
Concluı́mos que la sucesión de conjuntos dada tiene lı́mite y lim{Ak } = ∅. ¤
Proposición 2.2.2 Sea X un conjunto no vacı́o y {Ak }k∈N una colección numerable de subconjuntos de
X.
1. Si A1 ⊆ A2 ⊆ A3 ⊆ · · · entonces la colección {Ak } tiene lı́mite y

∞
[
lim{Ak } = Ak
k=1
2. Si A1 ⊇ A2 ⊇ A3 ⊇ · · · entonces la colección {Ak } tiene lı́mite y

∞
\
lim{Ak } = Ak
k=1
 
∞
\ ∞
[ ∞
[
Demostración. 1) Se cumple lim inf{Ak } =  Aj  = Ak .
k=1 j=k k=1
∞
[ [∞
Por otro lado, como A1 ⊆ A2 ⊂ A3 ⊆ · · ·, entonces Aj = Aj , luego
j=k j=1
   
∞
\ ∞
[ ∞
\ ∞
[ ∞
[
lim sup{Ak } =  Aj  =  Aj  = Aj
k=1 j=k k=1 j=1 j=1
∞
[
Concluı́mos que la sucesión de conjuntos dada tiene lı́mite y lim{Ak } = Aj . ¤
j=1
Corolario 1. Sea X unconjunto

 no vacı́o
 y {Ak }k∈N una colección numerable de subconjuntos de X.
[∞  \∞ 
Las colecciones Aj y Aj tienen lı́mite y
   
j=k j=k
k∈N k∈N
   
[∞  \∞ 
lim Aj = lim sup{Ak } y lim Aj = lim inf{Ak }
   
j=k j=k
∞
[
Demostración. Sea Bk = Aj . Se sigue que B1 ⊇ B2 ⊇ B3 ⊇ · · ·. Por la proposición anterior {Bk }
j=k
tiene lı́mite y  
∞
\ ∞
\ ∞
[
lim{Bk } = Bk =  Aj  = lim sup{Ak } ¤
k=1 k=1 j=k
Corolario 2. Sea (X, A) un espacio medible y {Ak }k∈N ⊆ A entonces lim sup{Ak } ∈ A, lim inf{Ak } ∈ A
y en caso que exista lim{Ak } ∈ A.
Demostración. ¡Ejercicio! ¤
Proposición
\2.2.3 Si X es un conjunto no vacı́o y {Ai }i∈I es una colección arbitraria de σ-álgebras en
X entonces Ai es una σ-álgebra de X.
i∈I
Para finalizar la sección, sea X un conjunto no vacı́o y consideremos F una familia cualquiera de
subconjuntos de X. Vamos a probar que existe una mı́nima σ-álgebra de X que contiene a F. En efecto,
definamos
B = {A; A es una σ-álgebra de X y F ⊆ A}
Claramente B 6= ∅. Consideremos \
σ(F) = A
A∈B
De la Proposición 2.2.3 se tiene que σ(F) es una σ-álgebra de X y F ⊆ σ(F), además, si A0 es cualquier
σ-álgebra de X que contiene a F entonces por definición A0 ∈ B, luego σ(F) ⊆ A0 , por tanto σ(F) es la
mı́nima σ-álgebra de X que contiene a F. σ(F) se llama σ-álgebra de X generada por la familia F.
Si (X, τ ) es un espacio topológico, entonces σ(τ ) es llamada σ-álgebra de Borel y sus elementos son
llamados boreleanos o conjuntos de Borel. En particular, todo conjunto abierto y todo conjunto cerrado
es un boreleano. También lo están las uniones numerables de conjuntos cerrados (Fσ ), las intersecciones
numerables de conjuntos abiertos (Gδ ) y ası́ sucesivamente. Denotaremos por B(X) al σ-álgebra de Borel
del espacio topológico (X, τ ).
2.3 Medidas
Definición 2.3.1 Sea (X, A) un espacio medible. Decimos que la función µ : A → [0, ∞] es una medida
positiva o simplemente medida si y sólo si µ es completamente
Ã ∞aditiva,
! esto significa que para toda colección
[ ∞
X
numerable y disjunta dos a dos {Ak }k∈N ⊆ A se tiene µ Ak = µ(Ak ).
k=1 k=1
Decimos que la terna (X, A, µ) es un espacio de medida si y sólo si X es un conjunto no vacı́o y A es
una σ-álgebra en X y µ : A → [0, +∞] es una medida.
Observaciones:
∞
X
1. En la definición anterior consideramos µ(Ak ) ∈ [0, +∞], es decir la suma de la serie puede ser
k=1
un número real no negativo o incluso el infinito.
2. Para evitar casos triviales, haremos siempre la suposición que existe A ∈ A tal que µ(A) < ∞.
3. Si µ(X) < ∞ decimos que µ es una medida finita.
4. Si µ(X) = 1, decimos que µ es una probabilidad sobre X.
∞
[
5. Si existe una familia numerable {Xk } ⊆ A tales que X = Xk y µ(Xk ) < ∞ entonces decimos
k=1
que µ es una medida σ-finita.
Ejemplo 2.3.1 Sea (X, A) un espacio medible, si µ : A → [0, +∞] se define como µ(A) = 0, ∀ A ∈ A
entonces µ es una medida, la cual es llamada medida nula.
Ejemplo 2.3.2 Sea (X, A) un espacio medible, si µ : A → [0, +∞] se define como µ(∅) = 0 y µ(A) = ∞,
∀ A ∈ A, A 6= ∅ entonces µ es una medida.
Ejemplo 2.3.3 Sea X un conjunto no vacı́o y P(X) su conjunto potencia. Ya sabemos que (X, P(X))
es un espacio medible. Si definimos µ : P(X) → [0, +∞] por
½
card (A), si A es finito
µ(A) =
∞, caso contrario
entonces (X, P(X), µ) es un espacio de medida. La medida µ es llamada medida de conteo.
Ejemplo 2.3.4 Sea (X, A) un espacio medible y fijemos un a ∈ X. Definimos δa : A → [0, +∞] como
½
1, si a ∈ A
δa (A) =
0, si a ∈
/A
entonces (X, A, δa ) es un espacio de medida. La medida δa es llamada medida de Dirac centrada en a.

Ejemplo 2.3.5 Sea (X, A, µ) un espacio de medida y fijemos un E ∈ A. Consideramos µE : A → [0, +∞]
definida por µE (A)¯ = µ(A ∩ E). Entonces (X,
¯ A, µE ) es un espacio de medida. ¯Más aún, si µ(E) ∈]0, ∞[,
¯ ¯ µ(A ∩ E) ¯
podemos definir µ¯¯ : A → [0, +∞] como µ¯¯ (A) = . Se sigue que µ¯¯ es una medida, la cual
E E µ(E) E
es llamada medida condicional.
Ejemplo 2.3.6 (X, A, µ) es un espacio de medida y fijemos un E ∈ A. Consideramos
AE = {E ∩ A; A ∈ A}
¯
y µE = µ¯A : AE → [0, +∞]. Entonces (E, AE , µE ) es un espacio de medida.
E
Observación: Por el momento, vamos a aceptar las siguientes reglas aritméticas al operar con el infinito:
1. a + ∞ = ∞, ∀ a ∈ R
2. ∞ + ∞ = ∞
No está definido el valor de ∞ − ∞
Teorema 2.3.1 Sea (X, A, µ) un espacio de medida. Se cumple:
1. µ(∅) = 0.
Ã n
! n
[ X
2. Si A1 , . . . , An ∈ A son disjuntos dos a dos entonces µ Ak = µ(Ak ).
k=1 k=1
3. Si A, B ∈ A y A ⊆ B entonces µ(A) ≤ µ(B).

4. Si A, B ∈ A, A ⊆ B y µ(A) < ∞ entonces µ(B − A) = µ(B) − µ(A).
5. µ(A ∪ B) + µ(A ∩ B) = µ(A) + µ(B), ∀ A, B ∈ A
Demostración. 1) Sea A ∈ A tal que µ(A) < ∞, consideramos A1 = A, A2 = A3 = · · · = ∅ entonces

{Ak } ⊆ A es una familia disjunta dos a dos y
Ã∞ ! ∞ ∞
[ X X
µ(A) = µ(A ∪ ∅) = µ Ak = µ(Ak ) = µ(A) + µ(∅)
k=1 k=1 k=2
X
Luego µ(∅) converge a cero y por tanto µ(∅) = 0.
k,2
2) Sean An+1 = An+2 = · · · = ∅, entonces {Ak } ⊆ A es una familia disjunta dos a dos y
Ã n ! Ã∞ ! ∞ n ∞ n
[ [ X X X X
µ Ak = µ Ak = µ(Ak ) = µ(Ak ) + µ(Ak ) = µ(Ak )
k=1 k=1 k=1 k=1 k=n+1 k=1
3) Como B = A ∪ (B − A), por la parte 2) se tiene
µ(B) = µ(A ∪ (B − A)) = µ(A) + µ(B − A) ≥ µ(A)
4) De la parte anterior µ(B) = µ(A) + µ(B − A) y como µ(A) < ∞ entonces µ(B − A) = µ(B) − µ(A).
5) Si µ(A ∩ B) = ∞ entonces, por 3), µ(A) = µ(B) = µ(A ∪ B) = ∞ y la igualdad se cumple trivialmente.
Consideremos entonces µ(A ∩ B) < ∞. Como se tiene la unión disjunta
A ∪ B = [A − (A ∩ B)] ∪ (A ∩ B) ∪ [B − (A ∩ B)]
las parte 2) y 4) implican
µ(A ∪ B) = µ(A − (A ∩ B)) + µ(A ∩ B) + µ(B − (A ∩ B))

= µ(A) − µ(A ∩ B) + µ(A ∩ B) + µ(B) − µ(A ∩ B)
un simple despeje conduce al resultado. ¤
Teorema 2.3.2 Sea (X, A, µ) un espacio de medida y {Ak } ⊆ A entonces

Ã∞ ! ∞
[ X
µ Ak ≤ µ(Ak ) (µ es completamente subaditiva)
k=1 k=1
k−1
[
Demostración. Sea B1 = A1 , B2 = A2 − A1 , B3 = A3 − (A1 ∪ A2 ), . . . , Bk = Ak − Aj , . . . . Se
j=1
∞
[ ∞
[
sigue que {Bk } ⊆ A es disjunta dos a dos, Bk ⊆ Ak y Bk = Ak , luego
k=1 k=1
Ã ∞
! Ã ∞
! ∞ ∞
[ [ X X
µ Ak =µ Bk = µ(Bk ) ≤ µ(Ak ) ¤
k=1 k=1 k=1 k=1
Ã ∞
!
[
Corolario. Sea (X, A, µ) un espacio de medida y {Ak } ⊆ A tales que µ(Ak ) = 0 entonces µ Ak =
k=1
0.
Teorema 2.3.3 Sea (X, A, µ) un espacio de medida y {Ak } ⊆ A, se cumplen:
1. Si A1 ⊆ A2 ⊆ · · · ⊆ Ak ⊆ · · · entonces
Ã ∞
!
[
lim µ(Ak ) = µ Ak = µ (lim{Ak })
k→∞
k=1
2. Si A1 ⊇ A2 ⊇ · · · ⊇ Ak ⊇ · · · y µ(A1 ) < ∞ entonces

Ã∞ !
\
lim µ(Ak ) = µ Ak = µ (lim{Ak })
k→∞
k=1
Demostración.
1. Consideramos B1 = A1 y Bn = An − An−1 , ∀ n ≥ 2. Se sigue que {Bn } es una colección disjunta

dos a dos de conjuntos medibles.
No es difı́cil demostrar que se cumplen:
n
[ ∞
[ ∞
[
An = Bk , ∀n≥1 y An = Bk
k=1 n=1 k=1
luego
Ã∞ ! Ã∞ ! ∞ n
Ã n !
[ [ X X [
µ An = µ Bk = µ(Bk ) = lim µ(Bk ) = lim µ Bk = lim µ(An )
n→∞ n→∞ n→∞
n=1 k=1 k=1 k=1 k=1
2. De la hipótesis se sigue que {A1 − An } ⊆ A y A1 − A2 ⊆ A1 − A3 ⊆ · · ·, de la parte 1) se sigue que

Ã∞ !
[
lim µ(A1 − Ak ) = µ (A1 − Ak )
k→∞
k=1
Por otro lado, como µ(A1 ) < ∞ entonces µ(Ak ) < ∞, ∀ k ≥ 1, luego
µ(A1 − Ak ) = µ(A1 ) − µ(Ak ), ∀k≥1
Además, por teorı́a de conjuntos:
∞
[ ∞
\
(A1 − Ak ) = A1 − Ak
k=1 k=1
Reemplazando las dos últimas igualdades en la primera y teniendo en cuenta que la intersección
tiene medida finita, llegamos a:
Ã ∞
! Ã ∞
!
\ \
µ(A1 ) − lim µ(Ak ) = lim [µ(A1 ) − µ(Ak )] = µ A1 − Ak = µ(A1 ) − µ Ak
k→∞ k→∞
k=1 k=1
de donde se sigue el resultado. ¤
Observación: Sea X = {1, 2, 3, . . .} A = P(X) y µ : A → [0, ∞] la medida de conteo. Si Ak =

∞
\
{k, k + 1, k + 2, . . .} entonces {Ak } ⊆ A, A1 ⊇ A2 ⊇ · · · ⊇ Ak ⊇ · · ·, Ak = ∅ y µ(Ak ) = ∞, ∀ k ∈ N.
k=1
Esto muestra que la hipótesis µ(A1 ) es necesaria en la parte 2) del teorema anterior.
2.4 Caracterización de una medida. Unicidad
Las σ-álgebras, en particular los borelianos, son familias que tienen muchos elementos y es imposible
describir todos ellos. Por ejemplo, ya hemos visto que si (X, τ ) es un espacio topológico, su σ-álgebra
de borel σ(τ ) contiene no solamente a los abiertos y los cerrados, sino que también a las intersecciones
numerables de abiertos (los Gδ ), las uniones numerables de cerrados (los Fδ ), las uniones e intersecciones
numerables de tales conjuntos, etc.
De esta manera, verificar que dos medidas, definidas sobre una σ-álgebra, son iguales serı́a una tarea
muy difı́cil si es que no contamos con algunos resultados de caracterización. En esta sección, estudiamos
algunos de estos resultados.
Definición 2.4.1 Sea X un conjunto no vacı́o. Una colección Λ de subconjuntos de X es llamada

λ-sistema en X si y sólo si satisface las siguientes propiedades:
1. ∅ ∈ Λ.
∞
[
2. Si {Ak }k∈N ⊆ Λ es una sucesión creciente, es decir A1 ⊆ A2 ⊆ · · · entonces Ak ∈ Λ. (Estabilidad
k=1
por uniones numerables crecientes)
3. Si A, B ∈ Λ y A ⊆ B entonces B − A ∈ Λ. (Estabilidad por diferencia propia)
Proposición 2.4.1 Sea X un conjunto no vacı́o y F ⊆ P(X), existe un mı́nimo λ-sistema Λ(F) que
contiene a F
Demostración. Definimos
B = {Λ; Λ es una λ-sistema de X y F ⊆ Λ}
Claramente P(X) ∈ B y por tanto B 6= ∅. Consideremos

\
Λ(F) = Λ
Λ∈B
No es difı́cil demostrar que Λ(F) cumple las condiciones de la Proposición. ¤

Notación: Λ(F) se llama λ-sistema de X generado por la familia F.
¿Qué relación existe entre un λ-sistema y una σ-álgebra?
En primer lugar, observamos que toda σ-álgebra es un λ-sistema (¡Ejercicio!), pero el recı́proco no es
cierto (¡Ejercicio!). Sin embargo, asumiendo algunas condiciones adicionales, el λ-sistema se torna una
σ-álgebra
Proposición 2.4.2 Sea X un conjunto no vacı́o y Λ ⊆ P(X) un λ-sistema de X. Si se cumple
1. X ∈ Λ.
2. Si A, B ∈ Λ entonces A ∩ B ∈ Λ. (Estabilidad por intersecciones finitas)
Entonces Λ es una σ-álgebra de X.
Demostración. Por i) se tiene que X ∈ Λ.

Sea A ∈ Λ entonces Ac = X − A ∈ Λ.
Antes de considerar familias numerables, primeramente veamos el caso finito. Sean A, B ∈ Λ, entonces
c
A ∪ B = (Ac ∩ B c ) ∈ Λ
n
[
Se sigue que si A1 , . . . , An ∈ Λ entonces Ak ∈ Λ.
k=1
n
[
Finalmente, sea {Ak }k∈N ⊆ Λ, consideremos Bn = Ak . Se sigue que {Bn }n∈N ⊆ Λ, B1 ⊆ B2 ⊆
k=1
B3 ⊆ . . .. Por la estabilidad de los λ-sistemas con relación a uniones numerables crecientes, se tiene que
∞
[ ∞
[
Ak = Bn ∈ Λ
k=1 n=1
Se sigue que Λ es una σ-álgebra de X. ¤

Observación: Una familia F ⊆ P(X) que satisface las dos condiciones siguientes
1. X ∈ F.
2. Si A, B ∈ F entonces A ∩ B ∈ F. (Estabilidad por intersecciones finitas)
es llamada π-sistema.
Teorema 2.4.3 Sea X un conjunto no vacı́o, si F ⊆ P(X) es un π-sistema, entonces Λ(F) = σ(F)
Demostración. Como F ⊆ σ(F) y σ(F) es un λ-sistema entonces Λ(F) ⊆ σ(F).

Recı́procamente, como Λ(F) es un λ-sistema tal que X ∈ F ⊆ Λ(F), por la Proposición 2.4.2, para
demostrar que Λ(F) es una σ-álgebra, es suficiente probar que Λ(F) es estable por intersecciones finitas.
Afirmación: Si F ∈ F y A ∈ Λ(F) entonces F ∩ A ∈ Λ(F).
En efecto, dado F ∈ F, definimos el conjunto
ΛF = {A ∈ Λ(F); A ∩ F ∈ Λ(F)}
No es difı́cil probar que ΛF es un λ-sistema (¡Ejercicio!).

Si E ∈ F entonces E ∩ F ∈ F ⊆ Λ(F), luego E ∈ ΛF . De esta manera F ⊆ ΛF y por la minimalidad
Λ(F) ⊆ ΛF , ∀ F ∈ F. De aquı́ se sigue inmediatamente la Afirmación.
Fijemos ahora B ∈ Λ(F) y consideremos el conjunto
ΛB = {A ∈ Λ(F); A ∩ B ∈ Λ(F)}
Se sigue que ΛB es un λ-sistema (¡Ejercicio!)

Observe que si F ∈ F , por la Afirmación anterior F ∩ B ⊆ Λ(F), luego F ∈ ΛB . De esta manera
F ⊆ ΛB y por la minimalidad Λ(F) ⊆ ΛB , ∀ B ∈ Λ(F).
Finalmente, si A, B ∈ Λ(F) entonces A ∈ ΛB y por tanto A ∩ B ∈ Λ(F). ¤
Corolario 1. Sea (X, A) un espacio medible y µ, ν dos medidas finitas sobre (X, A). Suponga que existe
un π-sistema F ⊆ P(X) tal que A = σ(F).
Si µ(F ) = ν(F ), ∀ F ∈ F entonces µ = ν.
Demostración. Definimos
Λ = {A ∈ A; µ(A) = ν(A)} ⊆ A
Afirmación: Λ es un λ-sistema. En efecto, es claro que ∅ ∈ Λ.

Sea {Ak }k∈N ⊆ Λ tal que A1 ⊆ A2 ⊆ · · ·. Se cumple:
Ã∞ ! Ã∞ !
[ [
µ Ak = µ(lim{Ak }) = lim µ(Ak ) = lim ν(Ak ) = ν Ak
k→∞ k→∞
k=1 k=1
∞
[
Entonces Ak ∈ Λ.
k=1
Finalmente, sean A, B ∈ Λ con A ⊆ B, por la finitud de las medidas se cumple
µ(B − A) = µ(B) − µ(A) = ν(B) − ν(A) = ν(B − A)
luego B − A ∈ Λ. La Afirmación está probada.

Como por hipótesis F ⊆ Λ, se tiene que Λ(F) ⊆ Λ. Por el Teorema 2.4.3 y la hipótesis
A = σ(F) = Λ(F) ⊆ Λ.
Por tanto Λ = A. ¤
Corolario 2. Sea (X, A) un espacio medible y µ, ν dos medidas sobre (X, A). Suponga que existe una
familia F ⊆ A que verifica las tres condiciones siguientes:
1. F es un π-sistema y σ(F) = A.
2. µ(F ) = ν(F ), ∀ F ∈ F.
∞
[
3. Existe {Fn }n∈N ⊆ F tal que F1 ⊆ F2 ⊆ · · ·, X = Fn y µ(Fn ) = ν(Fn ) < ∞.
n=1
Entonces µ = ν.
Demostración. Fijemos n ∈ N y consideremos µn , νn : A → [0, +∞] definidas por
µn (A) = µ(A ∩ Fn ), νn (A) = ν(A ∩ Fn ), ∀A∈A

Se sigue que µn y νn son medidas finitas sobre A.

Sea F ∈ F, como F ∩ Fn ∈ F, por la hip. 2. tenemos
µn (F ) = µ(F ∩ Fn ) = ν(F ∩ Fn ) = νn (F )
Por el Corolario 1 µn = νn sobre A, ∀ n ∈ N.

[∞
Sea A ∈ A, entonces A = (A ∩ Fn ), se tiene que A ∩ F1 ⊆ A ∩ F2 ⊆ · · ·, luego
n=1
µ(A) = µ(lim{A ∩ Fn }) = lim µ(A ∩ Fn ) = lim µn (A) = lim νn (A) = lim ν(A ∩ Fn )
n→∞ n→∞ n→∞ n→∞
= ν(lim{A ∩ Fn }) = ν(A)
Por tanto µ = ν. ¤
2.5 Medidas exteriores
Definición 2.5.1 Sea X 6= ∅ y consideremos su conjunto potencia P(X). Una medida exterior en X es
una función µe : P(X) → [0, +∞] que verifica las tres condiciones siguientes:
1. µe (∅) = 0.
2. P ⊆ Q ⇒ µe (P ) ≤ µe (Q).
Ã ∞
! ∞
[ X
3. Si {Pk }k∈N ⊆ P(X) entonces µe Pk ≤ µe (Pk ).
k=1 k=1
Observaciones:
1. Sea (X, A) un espacio medible, toda medida µ : A → [0, +∞] satisface las tres condiciones de la
definición anterior, sin embargo ella no es una medida exterior a menos que A = P(X).
2. Una medida exterior no necesariamente es una medida puesto que las medidas exteriores no son
necesariamente completamente aditivas.
El teorema siguiente nos dice que a toda medida se le puede asociar de manera natural una medida
exterior.
Teorema 2.5.1 Dado un espacio de medida (X, A, µ), definimos la función µ∗ : P(X) → [0, +∞] como
µ∗ (P ) = inf {µ(A); A ∈ A y P ⊆ A} , ∀ P ∈ P(X)
Entonces µ∗ es una medida exterior en X.

Demostración. No es difı́cil probar que µ∗ satisface las dos primeras condiciones de la Definición 2.5.1.
Para demostrar la tercera condición, consideremos {Pk }k∈N ⊆ P(X), dado ² > 0 para cada k ∈ N tenemos
que µ∗ (Pk ) < µ∗ (Pk ) + 2−k ², luego, por la definición de ı́nfimo, tenemos que existe Ak ∈ A con Pk ⊆ Ak
tal que µ(Ak ) < µ∗ (Pk ) + 2−k ².
[ [ [
Como Ak ∈ A y Pk ⊆ Ak entonces
k∈N k∈N k∈N
Ã ∞
! Ã ∞
! ∞ ∞ ∞
[ [ X X X
∗
µ Pk ≤µ Ak ≤ µ(Ak ) ≤ [µ∗ (Pk ) + 2−k ²] = µ∗ (Pk ) + ²
k=1 k=1 k=1 k=1 k=1
Como el ² > 0 fue arbitrario, la condición 3. se sigue. ¤

Observación: µ∗ es llamada medida exterior asociada a la medida µ.
Teorema 2.5.2 Sea (X, A, µ) un espacio de medida, sea µ∗ : P(X) → [0, +∞] su medida exterior
asociada y sea {Pk }k∈N ⊆ P(X).
1. Si P1 ⊆ P2 ⊆ P3 ⊆ · · · entonces µ∗ (lim{Pk }) = lim µ∗ (Pk )

k→∞
∗ ∗
2. µ (lim inf{Pk }) ≤ lim inf{µ (Pk )}
Demostración. 1. Por la parte 1 de la Proposición 2.2.2 tenemos

∞
[
Pk ⊆ Pj = lim{Pk }, ∀k∈N
j=1
luego µ∗ (Pk ) ≤ µ∗ (lim{Pk }), ∀ k ∈ N y por tanto
lim µ∗ (Pk ) ≤ µ∗ (lim{Pk })

k→∞
Para probar la otra desigualdad, para cada k ∈ N, por definición de ı́nfimo tenemos que existe Ak ∈ A
1
con Pk ⊆ Ak tal que µ(Ak ) < µ∗ (Pk ) + .
k
∞
\ ∞
\
Observe que Pk = Pj ⊆ Aj , ∀ k ∈ N, luego
j=k j=k
 
∞
[ ∞
[ ∞
\
lim{Pk } = Pk ⊆  Aj  = lim inf{Ak } ∈ A,
k=1 k=1 j=k
Por lo anterior, el Corolario 1 a la Proposición 2.2.2 y la parte 1 del Teorema 2.3.3, tenemos
    
\∞  ∞
\
µ∗ (lim{Pk }) ≤ µ (lim inf{Ak }) = µ lim Aj  = lim µ  Aj 
  k→∞
j=k j=k
   
∞
\ ∞
\
1
Por otro lado, µ  Aj  ≤ µ(Ak ) < µ∗ (Pk ) + , ∀ k ∈ N, luego lim µ  Aj  ≤ lim µ∗ (Pk ) y por
k k→∞ k→∞
j=k j=k
tanto
µ∗ (lim{Pk }) ≤ lim µ∗ (Pk )
k→∞
2. Sea {Pk }k∈N ⊆ P(X) familia numerable arbitraria y denotemos α = lim inf µ∗ (Pk ). Si α = +∞
entonces no hay nada que demostrar. Consideremos el caso en que α < +∞. Dado ² > 0 se tiene que
½ ¾
α + ² > sup inf {µ∗ (Pj )} ≥ inf {µ∗ (Pj )} , ∀ k ∈ N
k≥1 j≥k j≥k
Luego, dado k ∈ N, existe jk ≥ k tal que µ∗ (Pjk ) < α + ².

De otro lado, por el Corolario 1 a la Proposición 2.2.2 y la parte 1), tenemos
    
\ ∞  \∞
µ∗ (lim inf{Pk }) = µ∗ lim Pj  = lim µ∗  Pj 
  k→∞
j=k j=k
∞
\
Observe que, para cada k ∈ N se tiene que Pj ⊆ Pjk luego
j=k
 
∞
\
µ∗  Pj  ≤ µ∗ (Pjk ) < α + ², ∀k∈N
j=k
y por tanto µ∗ (lim inf{Pk }) ≤ α + ², ∀ ² > 0. De aquı́, la desigualdad se sigue. ¤
Definición 2.5.2 Sea (X, A, µ) un espacio de medida. Decimos que µ es una medida completa si y solo
si para todo A ∈ A con µ(A) = 0 se tiene que N ⊆ A entonces N ∈ A.
El siguiente teorema nos proporciona un procedimiento para construir un espacio de medida completa
a partir de una medida exterior.
Teorema 2.5.3 (Caratheodory) Sea X 6= ∅ y sea µe : P(X) → [0, +∞] una medida exterior en X.
Definimos
¯
¯
A = {A ⊆ X; µe (A ∩ P ) + µe (Ac ∩ P ) ≤ µe (P ), ∀ P ⊆ X} y µ = µe ¯¯
A
Entonces (X, A, µ) es un espacio de medida y µ es completa.
Demostración. Vamos a empezar demostrando que A es una σ-álgebra en X. Es claro que X ∈ A y

que si A ∈ A entonces Ac ∈ A.
Afirmación 1: A, B ∈ A entonces A ∩ B ∈ A. En efecto, sea P ⊆ X, por definición de A tenemos:
µe (P ) ≥ µe (A ∩ P ) + µe (Ac ∩ P ) y µe (P ) ≥ µe (B ∩ P ) + µe (B c ∩ P )
Sumando:
2µe (P ) ≥ µe (A ∩ P ) + µe (Ac ∩ P ) + µe (B ∩ P ) + µe (B c ∩ P ) (2.1)
Por otro lado
µe (A ∩ P ) ≥ µe (B ∩ A ∩ P ) + µe (B c ∩ A ∩ P )
µe (Ac ∩ P ) ≥ µe (B ∩ Ac ∩ P ) + µe (B c ∩ Ac ∩ P )
µe (B ∩ P ) ≥ µe (A ∩ B ∩ P ) + µe (Ac ∩ B ∩ P )
µe (B c ∩ P ) ≥ µe (A ∩ B c ∩ P ) + µe (Ac ∩ B c ∩ P )
Sumando las 4 desigualdades anteriores, reemplazando en (2.1) y simplificando, llegamos a
µe (P ) ≥ µe (A ∩ B ∩ P ) + µe (Ac ∩ B ∩ P ) + µe (A ∩ B c ∩ P ) + µe (Ac ∩ B c ∩ P ) (2.2)
Pero
(A ∩ B)c = Ac ∪ B c = (Ac ∩ B) ∪ (B c ∩ A) ∪ (Ac ∩ B c )
en donde la unión anterior es disjunta. De aquı́ se tiene que
µe ((A ∩ B)c ∩ P ) ≤ µe ((Ac ∩ B) ∩ P ) + µe ((B c ∩ A) ∩ P ) + µe ((Ac ∩ B c ) ∩ P )
Finalmente, reemplazando en (2.2) tenemos
µe (P ) ≥ µe (A ∩ B ∩ P ) + µe ((A ∩ B)c ∩ P )
Como P ⊆ X fue arbitrario, la Afirmación 1 está probada.

De la Afirmación 1 se sigue inmediatamente que si A, B ∈ A entonces A ∪ B ∈ A. De aquı́ se sigue
que la familia A es cerrada por intersecciones finitas y uniones finitas.
Afirmación 2: Si A, B ∈ A son disjuntos entonces µe ((A ∪ B) ∩ P ) ≥ µe (A ∩ P ) + µe (B ∩ P ), ∀ P ⊆ X.
En efecto, sea P ⊆ X, como A ∈ A, se tiene que
µe (Q) ≥ µe (A ∩ Q) + µe (Ac ∩ Q), ∀Q⊆X
Tomando Q = (A ∪ B) ∩ P y teniendo en cuenta que A ∩ B = ∅, tenemos
µe ((A ∪ B) ∩ P ) ≥ µe (A ∩ (A ∪ B) ∩ P ) + µe (Ac ∩ (A ∪ B) ∩ P ) ≥ µe (A ∩ P ) + µe (Ac ∩ B ∩ P )

= µe (A ∩ P ) + µe (B ∩ P )
lo cual prueba la Afirmación 2.

Sea {A1 , . . . , An } ⊆ A familia disjunta dos a dos, aplicando inducción a la Afirmación 2 se llega a
ÃÃ n ! ! n
[ X
µe Ak ∩ P ≥ µe (Ak ∩ P ), ∀ P ⊆ X
k=1 k=1
∞
[
Sea {Ak }k∈N ⊆ A familia disjunta dos a dos y denotemos A = Ak . Dados P ⊆ X y n ∈ N, como
k=1
n
[
Ak ∈ A, tenemos
k=1
ÃÃ n
! ! ÃÃ n
!c ! n
ÃÃ n
!c !
[ [ X [
µe (P ) ≥ µe Ak ∩P + µe Ak ∩P ≥ µe (Ak ∩ P ) + µe Ak ∩P
k=1 k=1 k=1 k=1
n
Ã n
!c
[ [
c
Como Ak ⊆ A entonces A ∩ P ⊆ Ak ∩ P , tomando medida y reemplazando en la
k=1 k=1
desigualdad anterior
n
X
µe (P ) ≥ µe (Ak ∩ P ) + µe (Ac ∩ P ), ∀n∈N (2.3)
k=1
Tomando lı́mite cuando n → ∞ y usando la subaditividad de la medida exterior se llega a

∞
Ã∞ !
X [
c
µe (P ) ≥ µe (Ak ∩ P ) + µe (A ∩ P ) ≥ µe Ak ∩ P + µe (Ac ∩ P )
k=1 k=1
= µe (A ∩ P ) + µe (Ac ∩ P ), ∀P ⊆X
∞
[
Esto prueba que A = Ak ∈ A.
k=1
Finalmente, si {Ak }k∈N ⊆ A es una familia arbitraria, entonces podemos construir una familia
∞
[ ∞
[
{Bk }k∈N ⊆ A familia disjunta dos a dos tal que Bk = Ak . Aplicando la parte anterior a la
k=1 k=1
∞
[
familia disjunta, se tiene que su unión esá en A y por tanto Ak ∈ A. Esto prueba que A es una
k=1
σ-álgebra. ¯
¯
Para probar que µ = µe ¯¯ : A → [0, +∞] es una medida, sea {Ak }k∈N ⊆ A familia disjunta dos a dos
A
∞
[
y denotemos A = Ak . Se cumple:
k=1
Ã ∞
! ∞ ∞
[ X X
µ(A) = µe (A) = µe Ak ≤ µe (Ak ) = µ(Ak )
k=1 k=1 k=1
∞
X
Para demostrar la otra desigualdad, ya sabemos (por 2.3) que µe (P ) ≥ µe (Ak ∩ P ) + µe (Ac ∩ P ),
k=1
∞
X
∀ P ⊆ X. Tomando P = A ∈ A, tenemos µ(A) ≥ µ(Ak ). De esta manera (X, A, µ) es un espacio de
k=1
medida.
Falta probar que µ es medida completa. Sea A ∈ A con µ(A) = 0. Si N ⊆ A entonces µe (N ) ≤

µe (A) = µ(A), luego, para cualquier P ⊆ X tenemos
µe (N ∩ P ) + µe (N c ∩ P ) ≤ µe (N ) + µe (P ) = µe (P ),
de donde N ∈ A. ¤
2.6 Medida de Lebesgue en Rn
En Rn vamos a construir una σ-álgebra L y una medida completa y σ-finita λ : L → [0, +∞] que tenga
las siguientes propiedades:
1. L contiene a los boreleanos de Rn , es decir B(Rn ) ⊆ L.

2. λ(B) = vol (B), ∀ B n-bloque.
3. Si K ⊆ Rn es compacto, entonces λ(K) < +∞.
El proceso que seguiremos es construir una medida exterior en Rn que “respete el volumen” y luego
aplicar el Teorema de Caratheodory.
n
Y
Sea F la familia de todos los n-bloques del tipo B = ]ai , bi ], ya sabemos que
i=1
vol (B) = (b1 − a1 ) · · · (bn − an )
Denotemos por C a la familia formada por uniones finitas de miembros de F. No es difı́cil probar que si
C, D ∈ C entonces C ∪ D, C ∩ D, C − D ∈ C.
Observación: C ∪ {Rn } es un álgebra en Rn .
m
[
Sea C ∈ C, por definición existen {B1 , . . . , Bm } ⊆ F tales que C = Bk . Sin pérdida de generalidad,
k=1
podemos tomar {B1 , . . . , Bm } ⊆ F disjuntos dos a dos y de esta manera podemos definir el volumen de
C como
m
X
vol (C) = vol (Bk )
k=1
Se puede demostrar que el volumen de C está bien definido, es decir, si {B10 , . . . , Br0 } ⊆ F es otra
r
[ m
X Xr
colección disjunta dos a dos tal que C = Bk0 entonces vol (Bk ) = vol (Bk0 ).
k=1 k=1 k=1
Queda como ejercicio para el lector demostrar las siguientes propiedades del volumen: Sean C1 , C2 ∈ C,
1. Si C1 ⊆ C2 entonces vol (C1 ) ≤ vol (C2 ).

2. vol (C1 ∪ C2 ) + vol (C1 ∩ C2 ) = vol (C1 ) + vol (C2 ).
3. vol (C1 ∪ C2 ) ≤ vol (C1 ) + vol (C2 )
Lema 2.6.1 Sea {Ck }k∈N ⊆ C tal que C1 ⊇ C2 ⊇ C3 ⊇ · · · y lim{Ck } = ∅. Entonces lim vol (Ck ) = 0.
k→∞
[
Demostración. Por definición Ck = Bjk , donde Jk es un conjunto finito de ı́ndices y {Bjk }j∈Jk ⊆ F
j∈Jk
es disjunta dos a dos.
0
Para cada k ∈ N, denotemos por Bjk al transformado de Bjk por la homotecia Hk de centro el de
Bjk y de razón ρk , donde 0 < ρk < 1. (Más especı́ficamente, denotando I² ]a] = ]a − ², a + ²], entonces
Yn Yn
B= I²m ]am ] ∈ F, luego B 0 = Hk [B] = Iρk ²m ]am ] ∈ F). Note que lim Hk [B] = B.
ρk →1−
m=1 m=1
[
Sea Ck0 = 0
Bjk , es claro que Ck0 ⊆ Ck pero no necesariamente se cumple C10 ⊇ C20 ⊇ C30 ⊇ · · ·.
j∈Jk
Para seguir trabajando con sucesiones encajantes de conjuntos, definimos
Dk = C10 ∩ C20 ∩ · · · ∩ Ck0 , ∀k∈N
La sucesión {Dk } ⊆ C satisface:
1. D1 ⊇ D2 ⊇ D3 ⊇ · · ·
2. Dk ⊆ Ck , ∀ k ∈ N.
3. Ck − Dk ⊆ (C1 − C10 ) ∪ · · · ∪ (Ck − Ck0 )
²
Dado ² > 0, para cada k ∈ N, elegimos ρk suficientemente próximo a 1 tal que vol (Ck − Ck0 ) < k ,
2
luego
Xk Xk
²
vol (Ck − Dk ) ≤ vol (Cj − Cj0 ) < j
<²
j=1 j=1
2
Por otro lado, como Dk ⊆ Ck entonces

∞
\ ∞
\
Dk ⊆ Ck = lim{Ck } = ∅
k=1 k=1
Como {Dk } son compactos encajantes, entonces existe k0 ∈ N tal que si k ≥ k0 se tiene que Dk = ∅.
Luego, para k ≥ k0 , tenemos
vol (Ck ) = vol (Ck − Dk ) < ²
es decir lim vol (Ck ) = 0. ¤
k→∞
Nuestro siguiente paso es asociar un volumen a todo abierto de Rn .

Teorema 2.6.1 Dado U ⊆ Rn abierto, existe {Bk }k∈N ⊆ F familia disjunta dos a dos, tal que
[
U= Bk .
k∈N
[
Además, si {Bk0 }k∈N ⊆ F es otra familia disjunta dos a dos, tal que U = Bk0 entonces
k∈N
∞
X ∞
X
vol (Bk ) = vol (Bk0 )
k=1 k=1
Demostración. Haremos la demostración para el caso n = 2. Definimos las colecciones

½ ¸ ¸ ¸ ¸ ¾
α α+1 β β+1
F0 = {B =]α, α + 1]×]β, β + 1]; α, β ∈ Z} , F1 = B = , × , ; α, β ∈ Z ,
2 2 2 2
en general ½ ¸ ¸ ¸ ¸ ¾
α α+1 β β+1
Fk = B = k, k × k, k ; α, β ∈ Z , ∀k∈N
2 2 2 2
Observe que se cumplen las siguientes propiedades:
• Fk ⊆ F, ∀ k ∈ N.
• Los bloques de cada Fk son disjuntos dos a dos.
1
• Si B ∈ Fk entonces vol (B) = .
22k
• Si B ∈ Fk y B 0 ∈ Fk+1 entonces B 0 ⊆ B ó B 0 ∩ B = ∅.
Definimos
F0 (U ) = {B0 ∈ F0 ; B0 ⊆ U } , F1 (U ) = {B1 ∈ F1 ; B1 ⊆ U y B1 ∩ B0 = ∅, ∀ B0 ∈ F0 (U )} ,
en general
Fk (U ) = {Bk ∈ Fk ; Bk ⊆ U y Bk ∩ Bj = ∅, ∀ Bj ∈ Fj (U ), con 1 ≤ j ≤ k − 1}
   
[ [ [ [
Afirmación: U =  B . En efecto, por construcción es obvio que  B ⊆ U .
k∈N B∈Fk (U ) k∈N B∈Fk (U )
Para demostrar el otro contenido, sea x = (x1 , x2 ) ∈ U , entonces existe r > 0 tal que Br (x) ⊆ U .
1 r
Existe k ∈ N tal que k < √ .
2 2
Existen α, β ∈ N tales que α < 2k x1 ≤ α + 1 y β < 2k x2 ≤ β + 1. Se sigue que
¸ ¸ ¸ ¸
α α+1 β β+1
x ∈ Bk = k , k × k, k ∈ Fk
2 2 2 2
Sea y = (y1 , y2 ) ∈ Bk , entonces

1 1 r2 r2
ky − xk2 = (y1 − x1 )2 + (y2 − x2 )2 < + < + = r2
22k 22k 2 2
Se sigue 
que y ∈ Br (x)
 ⊆ U . Hemos probado que existe k ∈ N y existe Bk ⊆ Fk tal que Bk ⊆ U , es decir
[ [
U⊆  B . La afirmación está probada.
k∈N B∈Fk (U )
Sean {Bk }k∈N , {Bk0 }k∈N ⊆ F familias disjunta dos a dos, tales que
[ [
Bk = U = Bk0
k∈N k∈N
h
[ k
[
Fijemos h ∈ N y consideremos B 0 = Bk0 ∈ C. Para k ∈ N, denotemos Ak = Bj ∈ C y Ck = B 0 −Ak .
k=1 j=1
Se tiene que la familia {Ck } ⊆ C cumple
∞
\
C1 ⊇ C2 ⊇ C3 ⊇ · · · y lim{Ck } = Ck = ∅
k=1
Por el Lema 2.6.1 lim vol (Ck ) = 0.

k→∞
Como B 0 = (B 0 ∩ Ak ) ∪ (B 0 ∩ Ack ) = (B 0 ∩ Ak ) ∪ Ck , se tiene que vol (B 0 ) = vol (B 0 ∩ Ak ) + vol (Ck ),
∀ k ∈ N. Por tanto vol (B 0 ) = lim vol (B 0 ∩ Ak ). Pero
k→∞
k
X
vol (B 0 ∩ Ak ) ≤ vol (Ak ) = vol (Bj ), ∀ k ∈ N
j=1
luego
h
X ∞
X
vol (Bk0 ) = vol (B ) ≤ 0
vol (Bj )
k=1 j=1
∞
X ∞
X
y como el h ∈ N fue arbitrario, tenemos vol (Bk0 ) ≤ vol (Bj ). Por simetrı́a, se obtiene la otra
k=1 j=1
desigualdad. ¤
Sea U ⊆ Rn abierto, por la primera parte del teorema anterior, existe {Bk }k∈N ⊆ F familia disjunta
dos a dos, tal que [
U= Bk .
k∈N
Definimos
∞
X
vol (U ) = vol (Bk )
k=1
La segunda parte del teorema anterior establece la buena definición del volumen de un abierto.
Queda como ejercicio para el lector demostrar las siguientes propiedades del volumen de abiertos.
1. Sean U, V ⊆ Rn abiertos. Si U ⊆ V entonces vol (U ) ≤ vol (V ).

2. vol (U ∪ V ) + vol (U ∩ V ) = vol (U ) + vol (V ), ∀ U, V ⊆ Rn abiertos.
3. Sea U ⊆ Rn abierto, con vol (U ) < ∞, dado ² > 0, existe C = C² ∈ C tal que vol (U ) < vol (C)+².
Ã∞ ! ∞
[ X
4. Si {Uk } es una colección numerable de abiertos de Rn entonces vol Uk ≤ vol (Uk ).
k=1 k=1
Aprovechando el volumen de abiertos en Rn , podemos definir una medida exterior en Rn .
Teorema 2.6.2 La función µe : P(Rn ) → [0, +∞] definida por
µe (P ) = inf { vol (U ); U ⊆ Rn es abierto tal que P ⊆ U }
es una medida exterior en Rn .
Demostración. Es claro que µe (∅) = 0 y si P ⊆ Q entonces µe (P ) ≤ µe (Q), solo falta probar la

subaditividad.
ÃSea {Pk!} ⊆ P(Rn ), si existe k ∈ N tal que µe (Pk ) = ∞ entonces se cumple trivialmente que
[∞ ∞
X
µe Pk ≤ µe (Pk ). Consideremos el caso en que µe (Pk ) < ∞, ∀ k ∈ N.
k=1 k=1
²
Dado ² > 0, existe Uk ⊆ Rn abierto con Pk ⊆ Uk tal que vol (Uk ) < µe (Pk ) + k .
Ã∞ ! 2
[∞ ∞
[ ∞
[ [ ∞
X
n
Como Uk ⊆ R es abierto, Pk ⊆ Uk y desde que vol Uk ≤ vol (Uk ), entonces
k=1 k=1 k=1 k=1 k=1
Ã ∞
! Ã ∞
! ∞ ∞
[ [ X X
µe Pk ≤ vol Uk ≤ vol (Uk ) ≤ µe (Pk ) + ²
k=1 k=1 k=1 k=1
Como el ² > 0 fue arbitrario, se tiene la subaditividad. ¤

Observación: No es difı́cil probar que si B ∈ F entonces µe (B) = vol (B). Además es claro que
µe (U ) = vol (U ), ∀ U ⊆ Rn abierto. De esta manera la función µ² extiende al volumen.
¯
¯
Teorema 2.6.3 Sean L = {A ⊆ R ; µe (A ∩ P ) + µe (A ∩ P ) ≤ µe (P ), ∀ P ⊆ R } y λ = µe ¯¯ entonces
n c n
1. (Rn , L, λ) es un espacio de medida σ-finita y completa.

2. F ⊆ L y λ(B) = vol (B), ∀ B ∈ F
3. U ⊆ Rn es abierto, entonces U ∈ L y λ(U ) = vol (U ).

Demostración. 1. Por el Teorema de Caratheodory (Rn , L, λ) es un espacio de medida completa.

Despues de demostrar la parte 2, probaremos que λ es σ-finita.
2. Sea B ∈ F, debemos probar que µe (B ∩ P ) + µe (B c ∩ P ) ≤ µe (P ), ∀ P ⊆ Rn .
Seal P ⊆ Rn , si µe (P ) = ∞ entonces no hay nada que probar. Consideremos entonces el caso en que
µe (P ) < ∞. Dado ² > 0, existe U ⊆ Rn abierto, con P ⊆ U tal que
²
vol (U ) < µe (P ) +
2
Por otro lado, como B ∈ F, existen B1 n-bloque cerrado y B2 n-bloque abierto tales que B1 ⊆ B ⊆ B2
y vol (B2 − B1 ) < ²/2.
Sean U1 = U ∩ B1c , U2 = U ∩ B2 , se tiene que U1 , U2 ⊆ Rn son abiertos que cumplen:
U ∩ B ⊆ U2 ⊆ U
U ∩ B c ⊆ U1 ⊆ U
²
vol (U1 ∩ U2 ) ≤ vol (B2 − B1 ) <
2
luego
µe (B ∩ P ) + µe (B c ∩ P ) ≤ µe (B ∩ U ) + µe (B c ∩ U ) ≤ µe (U2 ) + µe (U1 ) = vol (U1 ) + vol (U2 )

²
= vol (U1 ∪ U2 ) + vol (U1 ∩ U2 ) ≤ vol (U ) + < µe (P ) + ²
2
Como ² > 0 fue arbitrario, tenemos que B ∈ L y por tanto λ(B) = µe (B) = vol (B), ∀ B ⊆ F.
Ahora podemos probar que la medida λ es σ-finita, para ello basta considerar los n-cubos
Bk =] − k, k] × · · · ×] − k, k] ∈ F, ∀ k ∈ N
[
Es claro que {Bk } ⊆ L es tal que Rn = Bk y vol (Bk ) = (2k)n .
k∈N
[
3. Sea U ⊆ Rn abierto, existe {Bk } ⊆ F ⊆ L tal que U = Bk , luego U ∈ L y, por la observación
k∈N
λ(U ) = µe (U ) = vol (U ). ¤
Notación: L es llamada la σ-álgebra de Lebesgue de Rn , sus elementos son llamados conjunto Lebesgue-
medibles de Rn o simplemente medibles y λ es llamada la medida de Lebesgue en Rn .
Algunas interrogantes sobre la medida de Lebesgue:
1. ¿L contiene estrictamente a los boreleanos B(Rn )’

2. ¿Existen subconjuntos de Rn que no son Lebesgue-medibles.
3. ¿K ⊆ Rn es compacto entonces λ(K) < +∞?
La respuesta a esta interrogantes serán dadas en las dos secciones siguientes.

2.7 Algunos Propiedades de la medida de Lebesgue en Rn
Teorema 2.7.1 Las siguientes afirmaciones son equivalentes:
1. Sea A ⊆ Rn es medible.
2. Para todo ² > 0, existe U = U² ⊆ Rn abierto tal que A ⊆ U y µe (U − A) < ².
3. Para todo ² > 0, existe F = F² ⊆ Rn cerrado tal que F ⊆ A y µe (A − F ) < ².
Demostración. (1. ⇒ 2.) Si λ(A) < ∞ entonces existe U ⊆ Rn abierto, con A ⊆ U , tal que
λ(U ) < λ(A) + ². Por la parte 4 del Teorema 2.3.1 tenemos que
µe (U − A) = λ(U − A) = λ(U ) − λ(A) < ²
∞
[
Consideremos ahora el caso en que λ(A) = ∞, existe {Ak }k∈N ⊆ L, con λ(Ak ) < ∞ tal que A = Ak .
k=1
²
Sea ² > 0, para cada k ∈ N existe Uk ⊆ Rn abierto, con Ak ⊆ Uk , tal que λ(Uk ) < λ(Ak ) + .
2k
∞
[ ∞
[
Sea U = Uk , se tiene que U ⊆ Rn es abierto, A ⊆ U y U − A ⊆ (Uk − Ak ), luego
k=1 k=1
Ã ∞
! ∞ ∞
[ X X
µe (U − A) = λ(U − A) ≤ λ (Uk − Ak ) ≤ λ(Uk − Ak ) = [λ(Uk ) − λ(Ak )] < ²
k=1 k=1 k=1
1
(2. ⇒ 1.) Dado k ∈ N, existe Uk ⊆ Rn abierto tal que A ⊆ Uk y µe (Uk − A) < .
Ã∞ ! k
∞
\ \∞ \
Consideremos Uk ∈ L, se tiene que A ⊆ Uk . Sea Z = Uk − A ⊆ Uk − A, ∀ k ∈ N, luego
k=1 k=1 k=1
1
µe (Z) ≤ µe (Uk − A) < , ∀k∈N
k
Tomando lı́mite se sigue que µe (Z) = 0, luego
µe (Z ∩ P ) + µe (Z c ∩ P ) ≤ µe (Z) + µe (P ) = µe (P ), ∀ P ⊆ Rn
Ã∞ !
\
c
Se sigue que Z ∈ L, luego Z ∈ L y como A = Uk ∩ Z c , se sigue que A ∈ L.
k=1
Queda como ejercicio para el lector demostrar la equivalencia entre 1. y 3. ¤
Observaciones:
1. El teorema anterior establece una interesante conexión entre los conjuntos Lebesgue-medibles y la
topologı́a usual de Rn . En efecto, la equivalencia 1. ⇔ 2. nos dice que un conjunto es medible si y
sólo si se puede convertir en un abierto añadiéndole un conjunto medible, de medida tan pequeña
como se quiera.
2. La equivalencia 2. ⇔ 3. establece que un conjunto es medible si y sólo si se puede convertir en un

cerrado quitándole un conjunto medible, de medida tan pequeña como se quiera.
Teorema 2.7.2 Sea A ⊆ Rn un conjunto medible.
1. Existe {Uk } ⊆ Rn colección numerable de abiertos que contienen a A y U1 ⊇ U2 ⊇ U3 ⊇ · · · tales

que
lim λ(Uk ) = λ(A)
k→∞
n
2. Existe {Kj } ⊆ R colección numerable de compactos contenidos en A y K1 ⊆ K2 ⊆ K3 ⊆ · · · tales
que
lim λ(Kj ) = λ(A)
j→∞
1
Demostración. 1. Sea A ∈ L, dado k ∈ N, existe Vk ⊆ Rn abierto, con A ⊆ Vk tal que λ(Vk − A) < .
k
k
\
Denotemos Uk = Vj , tenemos que {Uk } ⊆ Rn es una colección numerable de abiertos que contienen
j=1
a A, con U1 ⊇ U2 ⊇ U3 ⊇ · · · y que cumple
1
λ(A) ≤ λ(Uk ) ≤ λ(Vk ) = λ(Vk − A) + λ(A) ≤ + λ(A), ∀k∈N
k
Se sigue que lim λ(Uk ) = λ(A).
k→∞
2. Sea A ∈ L, consideremos dos casos:

Caso 1: λ(A) = ∞. Por el teorema anterior, existe F ⊆ Rn cerrado, con F ⊆ A, tal que λ(A − F ) < 1.
Se desprende que λ(F ) = ∞.
Para j ∈ N, definimos Kj = Bj [0] ∩ F , se sigue que {Kj } ⊆ Rn es una colección numerable de
compactos contenidos en A y K1 ⊆ K2 ⊆ K3 ⊆ · · · ⊆ F y cumple (ver Teorema 2.3.3)
lim λ(Kj ) = λ(lim{Kj }) = λ(F ) = ∞ = λ(A)
j→∞
²
Caso 2: λ(A) < ∞. Dado ² > 0 existe F ⊆ A cerrado tal que λ(A − F ) < . Para j ∈ N, definimos
2
Kj = Bj [0] ∩ F , se sigue que {Kj } ⊆ Rn es una colección numerable de compactos contenidos en A y
K1 ⊆ K2 ⊆ K3 ⊆ · · · ⊆ F tales que lim λ(Kj ) = λ(F ), luego existe j0 ∈ N tal que si j ≥ j0 , se tiene
j→∞
²
que λ(F ) − λ(Kj ) < . De esta manera
2
² ²
λ(A) − λ(Kj ) = [λ(F ) + λ(A − F )] − λ(Kj ) = [λ(F ) − λ(Kj )] + λ(A − F ) < + = ²
2 2
es decir lim λ(Kj ) = λ(A). ¤
j→∞
Para finalizar la sección, vamos a probar que la medida de Lebesgue es invariante por traslaciones.
Recordemos que si fijamos a ∈ Rn , la función Ta : Rn → Rn definida por Ta (x) = x + a, es llamada
traslación. Es claro que toda traslación es un homeomorfismo, con inversa Ta−1 = T−a .
Análogamente, si fijamos α ∈ R∗ , la función Hα : Rn → Rn es llamada homotecia de razón α definida

por Hα (x) = αx. Es claro que toda homotecia es un homeomorfismo, con inversa Hα−1 = Hα−1 .
Teorema 2.7.3 Se cumplen las siguientes propiedades
1. µe (Ta [P ]) = µe (P ) y µe (Hα [P ]) = |α|n µe (P ), ∀ P ⊆ Rn
2. Si A ⊆ Rn es medible, entonces Ta [A] y Hα [A] son medibles y se cumple
λ(Ta [A]) = λ(A) y λ(Hα [A]) = |α|n λ(A)
Demostración. Haremos la demostración para la traslación quedando como ejercicio lo concerniente a

la homotecia.
1. En primer lugar, si B ∈ F entonces es claro que Ta [B] ∈ F y vol (Ta [B]) = vol (B), ∀ B ∈ F.
Sea U ⊆ Rn abierto, sabemos que existe {Bk } ⊆ F colección numerable, disjunta dos a dos, tal que
∞
[
U= Bk . Se sigue que {Ta [Bk ]} ⊆ F también es una colección numerable, disjunta dos a dos, tal que
k=1
∞
[
Ta [U ] = Ta [Bk ]. De esta manera
k=1
∞
X ∞
X
vol (Ta [U ]) = vol (Ta [Bk ]) = vol (Bk ) = vol (U )
k=1 k=1
Sea P ⊆ Rn , para cualquier U ⊆ Rn abierto con Ta [P ] ⊆ U , se tiene que Ta−1 [U ] ⊆ Rn es abierto y

P ⊆ Ta−1 [U ], luego
µe (P ) ≤ vol (Ta−1 [U ]) = vol (T−a [U ]) = vol (U )
Se sigue que µe (P ) ≤ µe (Ta [P ]). Análogamente se demuestra la desigualdad contraria.
2. Sea A ∈ L, para P ⊆ Rn tenemos
¡ £ ¤¢ ¡ £ ¤¢
µe (Ta [A] ∩ P ) + µe (Ta [A]c ∩ P ) = µe Ta A ∩ Ta−1 [P ] + µe Ta Ac ∩ Ta−1 [P ]
= µe (A ∩ Ta−1 [P ]) + µe (Ac ∩ Ta−1 [P ])
≤ µe (Ta−1 [P ]) = µe (P )
De aquı́ se sigue que Ta [A] ∈ L y λ(Ta [A]) = λ(A). ¤
2.8 Algunos aspectos teóricos de la medida de Lebesgue en Rn
De acuerdo a las notaciones de la sección anterior, decimos que un conjunto E ⊆ Rn tiene medida (de
Lebesgue) cero si y sólo si E ∈ L y λ(L) = 0. Recordemos que en el Capı́tulo 1 definimos conjuntos de
medida cero ¿Existe una relación entre estos dos conceptos?
Sea E ⊆ Rn de medida cero, entonces E ∈ L y λ(E) = 0, luego
0 = λ(E) = µe (E) = inf { vol (U ); U ⊆ Rn abierto con E ⊆ U }
Dado ² > 0, existe U ∈ U (Rn ), con E ⊆ U tal que vol (U ) < ².

Por otro lado, como U ∈ Rn abierto, existe {Bk }k∈N ⊆ F, colección disjunta dos a dos, tal que
∞
[
U= Bk , y por tanto:
k=1
∞
[ ∞
X
E⊆ Bk y vol (Bk ) = vol (U ) < ²
k=1 k=1
Luego E tiene n-medida cero.

Recı́procamente, sea E conjunto de n-medida cero, dado ² > 0, existe {Bk }k∈N colección de n-bloques
∞
[ X∞ ∞
[
abiertos, tales que E ⊆ Bk y vol (Bk ) < ². Denotando U = Bk , tenemos que U ∈ U(Rn ) y
k=1 k=1 k=1
E ⊆ U , luego
0 ≤ µe (E) ≤ vol (U ) < ²
Como el ² > 0 fue arbitrario, se tiene que µe (E) = 0. Se sigue que E ∈ L y λ(E) = 0.
De esta manera, los dos conceptos coinciden.
Por otro lado, como L contiene la familia de abiertos de Rn , se sigue que B(Rn ) ⊆ L. Vamos a
demostrar que el contenido es estricto, inclusive en dimensión 1. En efecto, Rn tiene base numerable de
abiertos, como B(Rn ) es generada por esta base, se puede demostrar que
card (B(Rn )) = 2ℵ0 = ℵ1 .
Por otro lado, el conjunto ternario de Cantor C ⊆ R es un conjunto no numerable que tiene 1-medida
cero, luego C es medible y λ(C) = 0. Como la medida de Lebesgue es completa, se tiene que P(C) ⊆ L
y como
card (P(C)) = 2card (C) = 2ℵ1 = ℵ2
Concluı́mos que la mayorı́a de subconjuntos de C no son boreleanos.
Otra pregunta interesante, serı́a ¿Existen subconjuntos de Rn que no son medibles?
El siguiente Teorema responde a la interrogante planteada.
Teorema 2.8.1 Si A ⊆ R es tal que P(A) ⊆ L entonces λ(A) = 0
Demostración: En R definimos la siguiente relación: x ∼ y si y solo si x − y ∈ Q. No es difı́cil verificar

que “∼” es una relación de equivalencia en R (¡Ejercicio!)
Denotemos por E al conjunto obtenido de la elección de un elemento de cada clase del conjunto
cociente R/ ∼.
Afirmación 1: (E + r) ∩ (E + s) = ∅, ∀ r, s ∈ Q, r 6= s. En efecto, puesto que si suponemos que
x ∈ (E + r) ∩ (E + s) entonces existen y, z ∈ E tales que x = y + r y x = z + s, se sigue que
y − z = s − r ∈ Q, luego y − z ∈ Q, es decir y ∼ z. Por construcción del conjunto E se debe cumplir que

y = z y por tanto s − r = 0 lo cual es una contradicción.
[
Afirmación 2: R = (E + r). En efecto, sea x ∈ R entonces [x] ∈ R/ ∼, sea y ∈ E el representante
r∈Q
elegido de la clase [x], entonces r = x − y ∈ Q. Por tanto x = y + r ∈ E + r.
Consideremos A ⊆ R tal que P(A) ⊆ L. Para t ∈ Q, definimos At = A ∩ (E + t) ⊆ A. Por hipótesis
At ∈ L.
Afirmación 3: λ(At ) = 0, ∀ t ∈ Q. En efecto, sea K ⊆ At compacto, denotemos Q ∩ [0, 1] = {qj }j∈N y
∞
[
sea H = (K + qj ) (unión disjunta). Como K ⊆ At ⊆ A entonces K ∈ L, luego K + qj ∈ L, ∀ j ∈ N y
j=1
∞
[
por tanto H = (K + qj ) ∈ L. Además H es acotado y por tanto λ(H) < ∞.
j=1
Por otro lado, como K ⊆ At ⊆ E + t entonces {K + qj }j∈N ⊆ L es una familia disjunta dos a dos,
luego, por la invarianza de λ con respecto a las traslaciones:
∞
X ∞
X
λ(H) = λ(K + qj ) = λ(K)
j=1 j=1
Se sigue que λ(K) = 0.

Como K ⊆ At fue cualquier compacto, del Teorema 2.7.2 concluı́mos que λ(At ) = 0, ∀ t ∈ Q.
 
[ [ [
Finalmente, A = A ∩ R = A ∩  (E + t) = [A ∩ (E + t)] = At . Se sigue que λ(A) = 0. ¤
t∈Q t∈Q t∈Q
Ahora es fácil demostrar que existe subconjuntos de R que no son Lebesgue medibles. En efecto, caso
contrario tendrı́amos que L = P(R) (Hip. Aux.) entonces, por el Teorema anterior λ(R) = 0, lo cual es
una contradicción.
Capı́tulo 3
Integración Abstracta
3.1 Funciones medibles
Definición 3.1.1 Sean (X, A) e (Y, B) dos espacios medibles. Decimos que f : X → Y es una función
(A, B)-medible o simplemente, función medible si y sólo si para todo B ∈ B se tiene que f −1 (B) ∈ A.
Ejemplo 3.1.1 Sean (X, A) e (Y, B) dos espacios medibles. La función constante f : X → Y f (x) = c,
es una función medible.
Observaciones:
1. Una manera equivalente de definir función medible es usando el concepto de preimagen de una
σ-álgebra. En efecto, sean X 6= ∅, (Y, B) un espacio de medida y f : X → Y entonces, puede
demostrarse (¡Ejercicio!) que la familia
© ª
f −1 [B] = f −1 [B]; B ∈ B
es una σ-álgebra sobre X, llamada σ-álgebra pre-imagen de f .

No es difı́cil probar (¡Ejercicio!) que “f : X → Y es una función medible si y sólo si f −1 (B) ⊆ A”
2. Sean X e Y dos espacios topológicos y consideremos sus σ-álgebras de Borel B(X) y B(Y ). En este
caso, una función medible f : (X, B(X)) → (Y, B(Y )) es llamada función boreliana.
3. En la mayorı́a de aplicaciones, Y = R, C, R o Rm están dotados de sus respectivas σ-álgebras de
Borel.
4. Es necesario recordar las siguientes propiedades de la preimagen, las cuales serán frecuentemente
usadas en el capı́tulo.
Sea f : X → Y , se cumplen las siguientes propiedades:
65
(a) f −1 [A ∪ B] = f −1 [A] ∪ f −1 [B], ∀ A, B ⊆ Y .

(b) f −1 [A ∩ B] = f −1 [A] ∩ f −1 [B], ∀ A, B ⊆ Y .
(c) f −1 [Y − A] = X − f −1 [A], ∀ A ⊆ Y .
" #
[ [
−1
(d) f Bλ = f −1 [Bλ ], ∀ {Bλ } ⊆ Y .
λ λ
" #
\ \
(e) f −1 Bλ = f −1 [Bλ ], ∀ {Bλ } ⊆ Y .
λ λ
Teorema 3.1.1 Sea (X, A) un espacio medible, Y un conjunto no vacı́o, F una familia arbitraria de
subconjuntos de Y y consideremos el espacio medible (Y, σ(F)). Son equivalentes las siguientes afirma-
ciones:
1. f : (X, A) → (Y, σ(F)) es una función medible.

2. Si F ∈ F entonces f −1 (F ) ∈ A
Demostración. 1) ⇒ 2) es evidente.
¡ ¢
2) ⇒ 1) Por hipótesis f −1 (F) ⊆ A, luego σ f −1 (F) ⊆ A
¡ ¢
Afirmación: f −1 (σ(F)) ⊆ σ f −1 (F) . En efecto, definimos la familia
© ¡ ¢ª
B = B ∈ P(Y ); f −1 (B) ∈ σ f −1 (F)
No es difı́cil probra (¡Ejercicio!) que B es una σ-álgebra de Y .

Por otro lado, observe que
¡ ¢
f −1 (B) ⊆ σ f −1 (F) (3.1)
En efecto, si A ¡∈ f −1 (B) −1
¢ entonces existe B ∈ B tal que A = f (B) y como B ∈ B, se tiene que
−1 −1
A = f (B) ∈ σ f (F) .
Además
F ⊆B (3.2)
¡ ¢
En efecto, si F ∈ F entonces f −1 (F ) ∈ f −1 [F] ⊆ σ f −1 (F) , luego F ∈ B.
De (3.2) tenemos que σ(F) ⊆ B y por (3.1)
¡ ¢
f −1 (σ(F)) ⊆ f −1 [B] ⊆ σ f −1 (F)
lo cual demuestra la Afirmación y el Teorema. ¤

Aplicación: Veamos las aplicaciones más frecuentes del teorema anterior: Sea (X, A) un espacio medible
y f : X → Y una función.
1. Sea Y un espacio topológico, denotemos por τ a la colección de sus conjuntos abiertos (topologı́a)
y consideramos su σ-álgebra de Borel B(X) = σ(τ ). En este caso f : X → Y una función nedible
si y sólo si U ⊆ Y es abierto implica que f −1 (U ) ∈ A.
Más aún, si la topologı́a τ de Y admite base numerable V ⊆ τ entonces f : X → Y es una función
medible si y sólo si V ∈ V implica que f −1 (V ) ∈ A.
2. Si Y = R es considerado con su topologı́a usual, entonces f : (X, A) → R es una función medible si
y sólo si f −1 (] − ∞, a[) ∈ A, ∀ a ∈ R. En efecto, recordemos que la base de la topologı́a usual de R
son los intervalos abiertos ]a, b[, luego f será medible si y sólo si f −1 (]a, b[) ∈ A, ∀ a < b ∈ R. Pero
Ã∞ ¸ ·!c
\ 1
c
]a, b[ = ] − ∞, b[ ∩ ]a, +∞[= ] − ∞, b[ ∩ ] − ∞, a] = ] − ∞, b[ ∩ −∞, a +
n=1
n
de donde Ã µ¸ ·¶!c
∞
\
−1 −1 −1 1
f (]a, b[) = f (] − ∞, b[) ∩ f −∞, a + ∈A
n=1
n
3. Si Y = R = [−∞, +∞], entonces su topologı́a tiene como base a intervalos del tipo ]a, b[, [−∞, b[
y ]a, +∞]. Entonces se puede demostrar que f : X → R es una función medible si y sólo si
f −1 ([−∞, a[) ∈ A, ∀ a ∈ R (¡Ejercicio!).
4. Sean (X, τ1 ) e (Y, τ2 ) dos espacios topológicos. Si f : (X, τ1 ) → (Y, τ2 ) es una función continua
entonces f : (X, σ(τ1 )) → (Y, σ(τ2 )) es medible.
Teorema 3.1.2 Sea (X, A) un espacio medible. Si f : X → Rn es medible y φ : Rn → Rm es continua

entonces φ ◦ f : X → Rm es medible.
Demostración. Sea U ⊆ Rm abierto entonces φ−1 (U ) es abierto, luego (φ◦f )−1 (U ) = f −1 (φ−1 (U )) ∈ A.
Se sigue que φ ◦ f : X → Rm es medible. ¤
Teorema 3.1.3 Sea (X, A) un espacio medible. Si f, g : X → R son funciones medibles y φ : R2 → R es

continua entonces la función h : X → R definida por h(x) = φ(f (x), g(x)) es medible.
Demostración. Sea ψ : X → R2 definida por ψ(x) = (f (x), g(x)). Observe que h = φ◦ψ. Por el teorema
anterior, basta probar que ψ es medible. Sean π1 , π2 : R2 → R las proyecciones canónicas π1 (x1 , x2 ) = x1
y π2 (x1 , y1 ) = x2 . Observe que π1 ◦ ψ = f y π2 ◦ ψ = g. Sea U ⊆ R2 abierto entonces π1 (U ) y π2 (U ) son
abiertos y por tanto f −1 (π1 (U )), g −1 (π2 (U )) ∈ A. Como ψ −1 (U ) = f −1 (π1 (U )) ∩ g −1 (π2 (U )), se sigue
que ψ −1 (U ) ∈ A. Esto prueba que ψ es medible. ¤
Corolario 1. Sea (X, A) un espacio medible. Si f, g : X → R son funciones medibles y c ∈ R entonces
f + g, f g, cf y |f | son funciones medibles.
Demostración. Sea φ : R2 → R definida por φ(x1 , x2 ) = x1 + x2 , claramente φ es continua. Se sigue que
h : X → R definida por h(x) = φ(f (x), g(x)) es medible. Pero h(x) = f (x) + g(x) = (f + g)(x), ∀ x ∈ X,
luego f + g es medible. Análogamente se prueba que f g es medible. Finalmente, sea ψ : R → R definida
por ψ(x) = cx. Claramente ψ es continua. Como (ψ ◦ f )(x) = ψ(f (x)) = cf (x) = (cf )(x), ∀ x ∈ X se
sigue cf es medible. ¤
Corolario 2. Sea (X, A) un espacio medible. Si f, g : X → R son funciones medibles entonces max{f, g},
min{f, g}, f + y f − son funciones medibles.
Corolario 3. Sea (X, A) un espacio medible. 1A : X → R es medible si y sólo si A ∈ A.
Teorema
¡ 3.1.4
¢ Sea (X, A) un espacio medible y sea (fn ) una sucesión de funciones medibles de (X, A)
en R, B(R) . Se cumple:
1. inf fn y sup fn son medibles.

2. lim sup fn y lim inf fn son medibles.
3. Si fn → f en X entonces f es medible.
Demostración.
1. Se deduce de las igualdades:

∞
[
sup(fn ) = − inf(−fn ) y (inf fn )−1 ([−∞, a[) = fn−1 ([−∞, a[), ∀ a ∈ R
n=1
2. Se deduce del ı́tem anterior, puesto que
lim sup fn = inf (sup(fk )) y lim inf fn = sup( inf (fk ))

n≥1 k≥n n≥1 k≥n
3. Como (fn ) converge puntualmente, entonces lim sup fn = lim inf fn = f . Por el ı́tem anterior, f es
medible. ¤
Observación: La parte (c) del teorema anterior nos dice que el lı́mite puntual de una sucesión de
funciones medibles, es medible.
Ejemplo 3.1.2 Sea f : I → R una función diferenciable en el intervalo I, definimos la sucesión (fn ) ⊆
F(I, R) como
µ µ ¶ ¶
f (x + n1 ) − f (x) 1 ¡ ¢
fn (x) = 1 =n f x+ − f (x) = n f ◦ T1/n − f (x),
n
n
1
donde T1/n (x) = x + (traslación). La continuidad de f implica que (fn ) es una sucesión de funciones
n
medibles, además (fn ) converge puntualmente hacia f 0 en I, se sigue que f 0 es medible (más precisamente,
es boreliana).
3.2 Funciones simples
Definición 3.2.1 Sea (X, A) un espacio medible, decimos que s : X → R es una función simple si y sólo
si es de la forma
Xk
s= ci 1Ai
i=1
k
[
donde ci ∈ R y {Ai } ⊆ A es una partición de X (es decir, la sucesión es disjunta dos a dos y Ai = X).
i=1
Observaciones:
1. Toda función simple es una función medible.

2. Cuando A es medible, la función caracterı́stica de A es una función simple. En efecto, basta
considerar 1A = 1 · 1A + 0 · 1X−A
3. Denotaremos por S(X, A) o, simplemente S(X), al conjunto de todas las funciones simples en el
espacio medible (X, A).
k
X
4. Sea s = ci 1Ai ∈ S(X), decimos que s es no negativa si y sólo si s ≥ 0 (es decir, s(x) ≥ 0, ∀ x ∈
i=1
X). Es fácil verificar que s ≥ 0 si y sólos si ci ≥ 0, ∀ 1 ≤ i ≤ k.
Existen dos razones fundamentales para estudiar las funciones simples:
(a) Es fácil intuir como se define la integral de las funciones simples no negativas.
(b) Toda función medible no negativa es el lı́mite puntual de una sucesión creciente de funciones simples
no negativas.
k
X
Definición 3.2.2 Sea (X, A, µ) un espacio de medida y s ∈ S(X) no negativa de la forma s = ci 1Ai .
i=1
La integral de s en X se define como
Z k
X
sdµ = ci µ(Ai )
X i=1
Observaciones:
1. En el caso que ci = 0 y µ(Ai ) = ∞ usamos el convenio 0 · ∞ = 0.

Z
2. sdµ ∈ [0, ∞].
X
3. De la definición, se observa la importancia de la medida considerada sobre el espacio medible (X, A).
4. La definición anterior coincide con nuestra idea intuitiva de “volumen de una región”
Ejemplo 3.2.1 Sea (X, A, µ) un espacio de medida y considere la función constante f : X → R definida
por f (x) = c. Si c ≥ 0 entonces f es una función simple, no negativa y f = c1X , luego
Z
f dµ = cµ(X)
X
Z
En particular, por el convenio: 0 dµ = 0.
X
Ejemplo 3.2.2 Sea (X, P(X), δa ) un espacio de medida, donde δa es la medida de Dirac concentrada
k
X
en a ∈ X. Sea s = ci 1Ai ∈ S(X) no negativa, luego existe un único i0 ∈ {1, . . . , k} tal que a ∈ Ai0 ,
i=1
luego
s(a) = ci0
Por otro lado
Z k
X
sdδa = ci δa (Ai ) = ci0
X i=1
De las dos igualdades anteriores, se llega a

Z
sdδa = s(a)
X
Teorema 3.2.1 Sea (X, A, µ) un espacio de medida, s, t ∈ S(X) no negativas y c ≥ 0. Se cumplen las
siguientes propiedades:
Z Z Z
1. s + t ∈ S(X) y (s + t)dµ = sdµ + tdµ.
X X X
Z Z
2. Si s ≤ t entonces sdµ ≤ tdµ.
X X
Z Z
3. cs ∈ S(X) y (cs)dµ = c sdµ
X X
k
X r
X
Demostración. Sean s = αi 1Ai y t = βj 1Bj
i=1 j=1
1. No es difı́cil probar (¡Ejercicio!) que

k X
X r
s+t= (αi + βj ) · 1Ai ∩Bj
i=1 j=1
de aquı́ se sigue que s + t ∈ S(X) y es no negativa. Además:
Z k X
X r k
X r
X r
X k
X
(s + t)dµ = (αi + βj )µ(Ai ∩ Bj ) = αi µ(Ai ∩ Bj ) + βj µ(Ai ∩ Bj )
X i=1 j=1 i=1 j=1 j=1 i=1
  Ã !
k
X r
[ r
X k
[
= αi µ Ai ∩ Bj  + βj µ Bj ∩ Ai
i=1 j=1 j=1 i=1
k
X r
X Z Z
= αi µ (Ai ) + βj µ (Bj ) = sdµ + tdµ
i=1 j=1 X X
2. Se tiene que
k X
X r
t−s= (βj − αi ) · 1Ai ∩Bj
i=1 j=1
Se sigue que t − s ∈ S(X) es no negativa, y como t = s + (t − s), por el ı́tem anterior

Z Z Z Z
tdµ = sdµ + (t − s)dµ ≥ sdµ
X X X X
k
X
3. Se sigue que cs = (cαi )1Ai , luego cs ∈ S(X) es no negativa y
i=1
Z k
X k
X Z
(cs)dµ = (cαi )µ(Ai ) = c αi µ(Ai ) = c sdµ ¤
X i=1 i=1 X
Observaciones:
1. Sea (X, A, µ) un espacio de medida y fijemos E ∈ A entonces (E, AE , µE ) es un espacio de medida,

k
X
luego s ∈ S(E) si y solo si s = ci 1Ei , donde {E1 , . . . , Ek } ⊆ AE es colección disjunta dos a dos,
i=1
k
[
Ei = E y c1 , . . . , ck ∈ R.
i=1
k
X
Si s = ci 1Ei ∈ S(E) es no negativa, entonces podemos definir su integral como
i=1
Z k
X k
X
sdµE = ci µE (Ei ) = ci µ(Ei )
E i=1 i=1
Z Z
Se acostumbra a denotar sdµ en vez de sdµE .
E E
k
X
2. Sea s = ci 1Ei ∈ S(E) no negativa. Recordemos que 1E s : X → R se define como
i=1
½
s(x), x ∈ E
1E s(x) =
0, x∈X −E
k
X
luego 1E s = ci 1Ei + 01X−E ∈ S(X) es no negativa, luego
i=1
Z k
X Z
1E sdµ = ci µ(Ei ) + 0 · µ(X − E) = sdµ
X i=1 E
k
X
3. Sea (X, A, µ) un espacio de medida y sea E ∈ A. Dada s = ci 1Ai ∈ S(X), vamos a definir la
Z i=1
integral sdµ.
E
En primer lugar, observe que la colección {A1 ∩ E, . . . , Ak ∩ E} ⊆ AE es disjunta dos a dos y
[k
(Ai ∩ E) = E. Luego
i=1
¯ k
¯ X
s = s¯¯ = ci 1Ai ∩E ∈ S(E)
E i=1
y por tanto
Z k
X
sdµ = ci µ(Ai ∩ E)
E i=1
Teorema 3.2.2 Sean (X, A, µ) un espacio de medida y A, B ∈ A. Se cumplen las siguientes propiedades:
Z Z
1. Si A ⊆ B entonces sdµ ≤ sdµ.
A B
Z
2. Si µ(A) = 0 entonces sdµ = 0.
A
Z Z Z
3. Si A ∩ B = ∅ entonces sdµ = sdµ + sdµ
A∪B A B
k
X
Demostración. Sea s = ci 1Ei ∈ S(X) no negativa
i=1
1. Como A ⊆ B entonces A ∩ Ei ⊆ B ∩ Ei , ∀ 1 ≤ i ≤ k, luego µ(A ∩ Ei ) ⊆ µ(B ∩ Ei ), ∀ 1 ≤ i ≤ k y,

por tanto
Z Xk Xk Z
sdµ = ci µ(A ∩ Ei ) ≤ ci µ(B ∩ Ei ) = sdµ
A i=1 i=1 B
2. Como Ei ∩ A ⊆ A, ∀ 1 ≤ i ≤ k entonces 0 ≤ µ(Ei ∩ A) ≤ µ(A) = 0, ∀ 1 ≤ i ≤ k. Se sigue que

Z k
X
sdµ = ci µ(A ∩ Ei ) = 0
A i=1
3. Como A ∩ B = ∅, tenemos:
Z k
X k
X
sdµ = ci µ((A ∪ B) ∩ Ei ) = ci µ((A ∩ Ei ) ∪ (B ∩ Ei ))
A∪B i=1 i=1
k
X k
X Z Z
= ci µ(A ∩ Ei ) + ci µ(B ∩ Ei ) = sdµ + sdµ
i=1 i=1 A B
lo que concluye con la demostración. ¤
Teorema 3.2.3 Sea (X, A, µ) un espacio de medida y s : X → [0, ∞[ una función simple. Entonces la
función µs : A → [0, ∞] definida por
Z
µs (A) = sdµ, A∈A
A
es una medida sobre X.
k
X k
[
Demostración. Sea s = ci 1Ei donde E1 , . . . , Ek ∈ A son disjuntos dos a dos y X = Ei .
i=1 i=1
∞
[
Sea {Aj } ⊆ A disjunta dos a dos y denotemos A = Aj , se cumple
j=1
 
Z k
X k
X ∞
[ k
X ∞
X
µs (A) = sdµ = ci µ(Ei ∩ A) = ci µ  (Ei ∩ Aj ) = ci µ(Ei ∩ Aj )
A i=1 i=1 j=1 i=1 j=1
∞ X
X k ∞ Z
X ∞
X
= ci µ(Ei ∩ Aj ) = sdµ = µs (Aj )
j=1 i=1 j=1 Aj j=1
Como µs (∅) = 0, µs es no trivial. ¤

Ahora, veamos la segunda utilidad de las funciones simples.
Teorema 3.2.4 Sea (X, A) un espacio medible y f : X → [0, +∞] una función medible. Entonces existe
una sucesión (sn ) ⊆ S(X) tales que
1. 0 ≤ s1 (x) ≤ s2 (x) ≤ · · · ≤ sn (x) ≤ · · · ≤ f (x), ∀ x ∈ X.

2. sn → f , en X.
Demostración. Para cada n ∈ N definamos sn : X → R como

n
n2
X i−1
sn = · 1En,i + n · 1Fn
i=1
2n
µ· ·¶
−1 i−1 i
donde En,i = f , , 1 ≤ i ≤ 2n n y Fn = f −1 ([n, ∞]).
2n 2n
Es claro que (sn ) es una sucesión de funciones medibles simples y 0 ≤ sn (x) ≤ f (x), ∀ x ∈ E. Observe
que
En+1,2i−1 ∪ En+1,2i = En,i , ∀ 1 ≤ i ≤ n2n
En+1,n2n+1 +1 ∪ · · · ∪ En+1,(n+1)2n+1 ∪ Fn+1 = Fn
Luego

 0, x ∈ En+1,1 ∪ · · · ∪ En+1,n2n+1 −1





 1


 2n+1 ,
 x ∈ En+1,2 ∪ · · · ∪ En+1,n2n+1
(sn+1 − sn )(x) =

 i−1

 , x ∈ En+1,n2n+1 +i , 1 ≤ i ≤ 2n+1

 n+1

 2



1, x ∈ Fn+1
se sigue que sn ≤ sn+1 , ∀ n ∈ N. Por último, no es difı́cil ver que lim sn (x) = f (x), ∀ x ∈ X. ¤
n→∞
Observación: El teorema anterior asegura que las “sumas de Lebesgue” se aproximan a la “integral de
Lebesgue”
3.3 Integración de funciones medibles no negativas
Sea f : X → [0, ∞] una función medible, denotemos

Sf = {s ∈ S(X) ; 0 ≤ s ≤ f }
Por el Teorema 2.6.1, Sf 6= ∅.
Definición 3.3.1 Sea (X, A, µ) un espacio de medida, y f : X → [0, ∞] una función medible. La integral
de f en X con respecto a la medida µ se define como
Z Z
f dµ = sup sdµ
X s∈Sf X
Observaciones:
Z Z
1. Por definición f dµ ∈ [0, ∞]. En el caso que f dµ ∈ R se dice que f es integrable en X respecto
X X
a la medida µ. En este cas, denotaremos
½ Z ¾
1
L[0,∞] (X, µ) = f : X → [0, +∞]; f es medible y f dµ < +∞
X
2. La definición anterior, geométricamente, nos dice que la integral de una función medible f es el
supremo de las áreas de los ”rectángulos” inscritos a la gráfica de f .
3. Cuando s es una función simple, aparentemente tendrı́amos dos definiciones distintas para la inte-
gral, sin embargo, como es fácil demostrar, ambas definiciones coinciden.
TeoremaZ 3.3.1 SeaZ (X, A, µ) un espacio de medida, f, g : X → [0, ∞] funciones medibles. Si f ≤ g

entonces f dµ ≤ gdµ.
X X
Demostración. Como f ≤ g entonces Sf ⊆ Sg , luego

Z Z Z Z
f dµ = sup sdµ ≤ sup sdµ = gdµ. ¤
X s∈Sf X s∈Sg X X
Sea (X, A, µ) un espacio de medida y E ∈ A. En el espacio de medida (E, AE , µE ), la integral sobre

E de la función medible f : E → [0, ∞] se define como
Z ½Z ¾
f dµ = sup sdµ; s ∈ S(E) y 0 ≤ s(x) ≤ f (x), ∀ x ∈ E
E E
Teorema 3.3.2 Sea (X, A, µ) un espacio de medida y E ∈ A. Si f : E → [0, ∞] es una función medible,
entonces 1E f : X → [0, ∞] es una función medible y
Z Z
f dµ = 1E f dµ.
E X
Demostración. Sea s ∈ S(E) tal que 0 ≤ s(x) ≤ f (x), ∀ x ∈ E luego 1E s : X → [0, ∞] es medible
simple y 0 ≤ 1E s(x) ≤ 1E f (x), ∀ x ∈ X. Luego
Z Z Z
sdµ = 1E sdµ ≤ 1E f dµ
E X X
Z Z
Se sigue que f dµ ≤ 1E f dµ. Por otro lado, sea s ∈ S(X) tal que 0 ≤ s(x) ≤ 1E f (x), ∀ x ∈ X. Se
E X ¯
¯
sigue que s(x) = 0, ∀ x ∈ X − E y 0 ≤ s(x) ≤ f (x), ∀ x ∈ E. Luego s = s¯¯ ∈ S(E) con 0 ≤ s(x) ≤ f (x),
E
∀ x ∈ E; y se tiene Z Z Z Z Z
sdµ = sdµ + sdµ = sdµ ≤ f dµ
X E X−E E E
Z Z
Luego 1E f dµ ≤ f dµ. ¤
X E
Teorema 3.3.3 Sean (X, A, µ) un espacio de medida, f : X → [0, +∞] una función medible y A, B ∈ A.
Se cumplen las siguientes propiedades:
Z Z
1. Si A ⊆ B entonces f dµ ≤ f dµ.
A B
Z
2. Si µ(A) = 0 entonces f dµ = 0.
A
Demostración. Análoga a la del Teorema 2.6.2. Queda como ejercicio para el lector. ¤
Teorema 3.3.4 (Teorema de la convergencia monótona de Lebesgue) Sea (X, A, µ) un espacio

de medida y sea (fn ) una sucesión de funciones medibles en X tales que
(a) 0 ≤ f1 (x) ≤ f2 (x) ≤ f3 (x) ≤ · · · ≤ ∞, ∀ x ∈ X.

(b) fn → f en X.
Entonces f es medible y Z Z
lim fn dµ = f dµ
n→∞ X X
Demostración. Del Teorema 3.1.4, se sigue

Z que f es Zmedible.
Como fn ≤ fn+1 en X, se cumple que fn dµ ≤ fn+1 dµ, ∀ n ∈ N. De esta manera, la sucesión
µZ ¶ X X
fn dµ ⊆ [0, ∞] es monótona creciente, y por tanto, es convergente, más aún

X
Z ½Z ¾
lim fn dµ = α = sup fn dµ; n ≥ 1 ∈ [0, ∞]
n→∞ X X
Z Z
Además, como fn ≤ f en X entonces fn dµ ≤ f dµ, ∀ n ∈ N, luego
X X
Z Z
lim fn dµ = α ≤ f dµ
n→∞ X X
Para probar la desigualdad contraria, observe que si α = ∞ entonces no hay nada que probar. Trabajemos
entonces con la condición de que α < +∞. Sea s ∈ S(X) tal que 0 ≤ s ≤ f en X y fijemos c ∈]0, 1[.
Definimos
An = {x ∈ X; fn (x) ≥ cs(x)} , ∀ n ∈ N
Observe que An = (fn − cs)−1 ([0, ∞]) y como fn y s son medibles, entonces {An }n∈N ⊆ A. Además,
como (fn ) es creciente, se tiene que
A1 ⊆ A2 ⊆ A3 ⊆ · · ·
∞
[
Afirmación: X = An . En efecto, sea x ∈ X, si f (x) > 0 entonces f (x) > cs(x). Como lim fn (x) =
n→∞
n=1
f (x), se tiene que existe n0 ∈ N tal que fn0 (x) > cs(x), luego x ∈ An0 .
Cuando f (x) = 0, se tiene que fn (x) = 0, ∀ n ∈ N y s(x) = 0, y por tanto x ∈ An , ∀ n ∈ N. La
afirmación está probada.
Por otro lado, se tiene que
Z Z Z Z
fn dµ ≥ fn dµ ≥ csdµ = c sdµ = cµs (An ), ∀ n ∈ N
X An An An
y por tanto, usando el Teorema 3.3.3, tenemos

Z Z
α = lim fn dµ ≥ c lim sdµ = c lim µs (An )
n→∞ X n→∞ An n→∞
y, por el Teorema 2.3.3 y la afirmación anterior:

Ã∞ ! Z
[
α ≥ cµs An = cµs (X) = c sdµ
n=1 X
y como 0 < c < 1 fue arbitrario, se tiene que

Z
α≥ sdµ, ∀ s ∈ S(X) tal que 0 ≤ s ≤ f
X
Z
De esta manera α ≥ f. ¤
X
Veamos como se aplica el teorema de la convergencia dominada para demostrar propiedades de la

integral.
Teorema 3.3.5 Sea (X, A, µ) un espacio de medida. Si f, g : X → [0, ∞] son funciones medibles y c ≥ 0.
Se cumplen:
Z Z Z
1. (f + g)dµ = f dµ + gdµ
X X X
Z Z
2. (cf )dµ = c f dµ.
X X
Demostración. 1. Por el Teorema 3.2.4, existen (sn ), (tn ) ⊆ S(X) tales que
0 ≤ s1 ≤ s2 ≤ · · · ≤ f, sn → f, 0 ≤ t1 ≤ t2 ≤ · · · ≤ g y tn → g
Por el teorema de la convergencia monótona, se tiene que

Z Z Z Z
lim sn dµ = f dµ y lim tn dµ = gdµ
n→∞ X X n→∞ X X
Por otro lado, tenemos que (sn + tn ) ⊆ S(X) es tal que
0 ≤ s1 + t 1 ≤ s2 + t 2 ≤ · · · ≤ f + g y sn + tn → f + g
usando nuevamente el teorema de la convergencia monótona, tenemos

Z Z ·Z Z ¸ Z Z
(f + g)dµ = lim (sn + tn )dµ = lim sn dµ + tn dµ = f dµ + gdµ
X n→∞ X n→∞ X X X X
La demostración de 2) es análoga y queda como ejercicio. ¤

Corolario Sean (X, A, µ) un espacio de medida, f : X → [0, +∞] una función medible y A, B ∈ A.
Z Z Z
Si A ∩ B = ∅ entonces f dµ = f dµ + f dµ
A∪B A B
Podemos generalizar el Teorema 3.3.5 a series.
Teorema 3.3.6 Sea (X, A, µ) un espacio de medida y sea (fn ) una sucesión de funciones medibles, no
negativas en X tales que
X∞
fn (x) = f (x), ∀ x ∈ X
n=1
Entonces f : X → [0, ∞] es medible y

Z ∞ Z
X
f dµ = fn dµ
X n=1 X
n
X
Demostración. Denotemos σn = fk (sucesión de sumas parciales) Por hipótesis se sigue que (σn )
k=1
es una sucesión de funciones medibles en X tales que
0 ≤ σ1 ≤ σ2 ≤ · · · ≤ f y σn → f
Por el teorema de la convergencia monótona y el Teorema 3.3.5, tenemos:

Z Z Z ÃX n
!
Xn Z ∞ Z
X
f dµ = lim σn dµ = lim fn dµ = lim fn dµ = fk dµ ¤
X n→∞ X n→∞ X n→∞ X X
k=1 k=1 k=1
Teorema 3.3.7 (Lema de Fatou) Sea (X, A, µ) un espacio de medida y sea (fn ) una sucesión de
funciones medibles en X, no negativas. Entonces
Z µZ ¶
(lim inf fn ) dµ ≤ lim inf fn dµ
X X
Demostración. Denotemos gk = inf {fn }. Por el Teorema 3.1.4 se tiene que (gk ) es una sucesión de
n≥k
funciones medibles no negativas tales que 0 ≤ g1 ≤ g2 ≤ g3 ≤ · · ·.
Como lim gk = sup{gk } = sup{ inf {fn }} = lim inf fn , por el teorema de la convergencia monótona
k→∞ k≥1 k≥1 n≥k
Z Z
(lim inf fn ) dµ = lim gk dµ
X k→∞ X
Por otro lado, se tiene que

Z Z Z
0≤ g1 dµ ≤ g2 dµ ≤ g3 dµ ≤ · · ·
X X X
µZ ¶ Z ½Z ¾
luego gk dµ
⊆ [0, ∞] es convergente y lim gk dµ = sup gk dµ .
X k→∞ X k≥1 X
Z Z
Además, como gk ≤ fn , ∀ n ≥ k entonces gk dµ ≤ fn dµ, ∀ n ≥ k y por tanto
X X
Z ½Z ¾
gk dµ ≤ inf fn dµ , ∀k≥1
X n≥k X
Se sigue que
Z ½Z ¾ ½ ½Z ¾¾ µZ ¶
lim gk dµ = sup gk dµ ≤ sup inf fn dµ = lim inf fn dµ
k→∞ X k≥1 X k≥1 n≥k X X
Z µZ ¶
y por tanto (lim inf fn ) dµ ≤ lim inf fn dµ . ¤
X X
Teorema 3.3.8 Sea (X, A, µ) un espacio medible y f : X → [0, ∞] una función medible. Entonces la
función µf : A → [0, ∞] definida por
Z
µf (A) = f dµ, A∈A
A
es una medida sobre X y además Z Z

gdµf = gf dµ
X X
∞
[
Demostración. Sea {An }n∈N ⊆ A colección disjunta dos a dos, y denotemos A = An . No es difı́cil
n=1
probar (¡Ejercicio!) que
∞
X
(1A · f ) (x) = (1An · f ) (x), ∀x∈X
n=1
Por otro lado, como (1An · f ) es una sucesión de funciones medibles en X no negativas, por el Teorema
3.3.6 tenemos
Z Z ∞ Z
X ∞ Z
X ∞
X
µf (A) = f dµ = 1A · f dµ = 1An · f dµ = f dµ = µf (An )
A X n=1 X n=1 An n=1
luego µf es una medida, y como µf (∅) = 0 < ∞, la medida es no trivial.

n
X
Por otro lado sea s = αi 1Ai ∈ S(X) no negativa, se cumple
i=1
Z n
X n
X Z n Z
X
sdµf = αi µf (Ai ) = αi f dµ = αi f dµ
X i=1 i=1 Ai i=1 Ai
Z Xn Z Xn Z
sf dµ = sf dµ = αi f dµ
X i=1 Ai i=1 Ai
Z Z
De esta manera sdµf = sf dµ, ∀ s ∈ S(X) no negativa.
X X
Sea g : X → [0, ∞] medible, entonces existe (sn ) ⊆ S(X), tales que
0 ≤ s1 ≤ s2 ≤ · · · ≤ g y sn → g
Por el Teorema de la convergencia monótona:

Z Z Z
gdµf = lim sn dµf = lim sn f dµ
X n→∞ X n→∞ X
Como f es medible no negativa, (sn f ) es una sucesión de funciones medibles en X tales que
0 ≤ s1 f ≤ s2 f ≤ · · · ≤ gf y sn f → gf
Nuevamente, por el Teorema de la convergencia monótona, tenemos
Z Z
lim sn f dµ = gf dµ
n→∞ X X
El teorema se deduce de las dos últimas igualdades. ¤
Teorema 3.3.9 (Desigualdad de Markov) Sea (X, A, µ) un espacio de medida y sea f : X → [0, ∞]
medible. Se cumple Z
1
µ([f ≥ C]) ≤ f dµ, ∀ C > 0
C X
donde [f ≥ C] = {x ∈ X; f (x) ≥ C}.
Demostración. Como f es medible, se tiene que
[f ≥ C] = f −1 ([c, ∞]) ∈ A, ∀C>0
Además, es claro que f ≥ C · 1{f ≥C} , luego

Z Z
f dµ ≥ C · 1{f ≥C} dµ = Cµ({f ≥ C}). ¤
X X
Corolario. Sea (X, A, µ) un espacio de medida y sea f ∈ L1[0,∞] (X, µ), entonces
µ([f = +∞]) = 0
∞
\
Demostración. En primer lugar, se verifica que [f = +∞] = [f ≥ n].
n=1
Por otro lado, como {[f ≥ n]} ⊆ A satisface [f ≥ 1] ⊇ [f ≥ 2] ⊇ [f ≥ 3] ⊃ · · · y por la desigualdad de
Markov Z
µ ([f ≥ 1]) ≤ f dµ < +∞
X
Luego, por el Teorema 2.3.3 y nuevamente por la desigualdad de Markov, tenemos:
Ã∞ ! Z
\ 1
µ ([f = +∞]) = µ [f ≥ n] = lim µ ([f ≥ n]) ≤ lim f dµ = 0 ¤
n→∞ n→∞ n X
n=1
Observación: El recı́proco del Corolario anterior es falso.

A manera de aplicación, consideremos el espacio de medida (N, P(N), µ), en donde µ es la medida de
conteo.
Se sigue que cualquier función x : N → [0, +∞] es medible, concluı́mos que las funciones medibles en
N, no negativas son las sucesiones de números reales (extendido) no negativas
Z X∞
Afirmación: xdµ = xn . En efecto, dado k ∈ N, definimos sk : N → [0, +∞] como
N n=1
½
xn , n ≤ k
sk (n) =
0, n>k
Observe que
k
X
sk = xn 1{n} + 0 · 1[n>k] , ∀k∈N
n=1
luego (sk ) ⊆ S(N) y se cumple
0 ≤ s1 ≤ s2 ≤ s3 ≤ · · · ≤ x en N y lim sk = x en N
k→∞
Por el teorema de la convergencia monótona de Lebesgue:

Z Z " k # ∞
X X
xdµ = lim sk dµ = lim xn µ({n}) + 0 · µ([n > k]) = xn
N k→∞ N k→∞
n=1 n=1
lo que prueba la afirmación.

∞
X
Finalmente, se tiene que x = (xn ) ∈ L1[0,+∞] (N, µ) si y solo si xn ∈ [0, +∞[.
n=1
3.4 Integración de funciones medibles reales o complejas
Dada f : X → [−∞, +∞], sabemos que
|f | = f + + f − y f = f+ − f−
Estas observaciones nos permiten definir la integral de una función en términos de las integrales de su
parte positiva y negativa.
Definición 3.4.1 Sea (X, A, µ) un espacio de medida, f : X → [−∞, ∞] una función medible y A ∈ A.
1. Decimos que f es integrable en A (con respecto a la medida µ) si y sólo si f + o f − son integrables

en A con respecto a la medida µ.
2. Si f es integrable en A, la integral de f en A (con respecto a la medida µ) se define como
Z Z Z
+
f dµ = f dµ − f − dµ
A A A
Observaciones:
Z Z
1. Si f + y f − no son integrables en A entonces f + dµ − f − dµ no estarı́a definido, es por esta
A A
razón que excluı́mos este caso de la definición.
Z
2. Si f : X → [−∞, +∞] es integrable en A entonces f dµ ∈ [−∞, +∞]. Aquellas funciones
Z A
integrables f tales que f dµ ∈ R son de especial interés en la teorı́a.

X
Definición 3.4.2 Sea (X, A, µ) un espacio de medida. Definimos el conjunto

½ Z ¾
L1R (X, µ) = f : X → [−∞, +∞]; f es medible y |f |dµ < ∞
X
Observaciones:
1. Como f es medible entonces |f | = f + + f − es medible, no negativa y tiene sentido hablar de su

integral.
2. Los elementos de L1R (A, µ) son llamados funciones finito-integrables.
Z
3. Se puede demostrar que f ∈ L1R (A, µ) si y sólo si f + , f − ∈ L1[0,∞] (A, µ) si y sólo si f dµ ∈ R.
A
Teorema 3.4.1 Sea (X, A, µ) un espacio de medida y A ∈ A, se cumplen las siguientes propiedades:
1. L1R (A, µ) es un R-espacio vectorial.

Z Z Z
2. (f + g)dµ = f dµ + gdµ, ∀ f, g ∈ L1R (A, µ)
A A A
Z Z
1
3. (cf )dµ = c f dµ, ∀ f ∈ LR (A, µ), ∀ c ∈ R.
A A
Z Z
4. Si f, g ∈ L1R (A, µ) son tales que f ≤ g en A, entonces f dµ ≤ gdµ
A A
¯Z ¯ Z
¯ ¯
5. ¯ f dµ¯¯ ≤
¯ |f |dµ, ∀ f ∈ LR1
(A, µ).
A A
Z
6. Si µ(A) = 0 entonces f dµ = 0.
A
Demostración.
1. Sean α, β ∈ R y f, g ∈ L1R (A, µ), como |αf + βg| ≤ |α||f | + |β||g|, entonces, por el Teorema 3.3.1:
Z Z Z Z
|αf + βg|dµ ≤ [|α||f | + |β||g|] dµ = |α| |f |dµ + |β| |g|dµ < ∞
A A A A
1
Por tanto αf + βg ∈ LR (A, µ).
2. Sean f, g ∈ L1R (A, µ), no es difı́cil probar que
f + + g + − (f + g)+ = f − + g − − (f + g)− ≥ 0
Denotando h = f + + g + − (f + g)+ = f − + g − − (f + g)− , tenemos
h + (f + g)+ = f + + g + y h + (f + g)− = f − + g −
y como todas las funciones son no negativas, tenemos

Z Z Z Z Z Z Z Z
hdµ + (f + g)+ dµ = f + dµ + g + dµ y hdµ + (f + g)− dµ = f − dµ + g − dµ
A A A A A A A A
Restando término a término

Z Z Z Z Z Z
+ − + − +
(f + g) dµ − (f + g) dµ = f dµ − f dµ + g dµ − g − dµ
A A A A A A
de donde se obtiene el resultado.

3. Sean f ∈ L1R (A, µ) y c ∈ R, no es difı́cil probar que:
Si c ≥ 0 entonces (cf )+ = cf + y (cf )− = cf −
Si c < 0 entonces (cf )+ = −cf − y (cf )− = −cf + .
Considerando el caso c < 0 (el otro es análogo), tenemos

Z Z Z Z Z Z
(cf )+ dµ − (cf )− dµ = (−cf − )dµ − (−cf + )dµ = c f + dµ − c f − dµ
A A A A A A
de donde se deduce el resultado.

Z Z Z
4. Como g − f ≥ 0, se tiene gdµ − f dµ = (g − f )dµ ≥ 0.
A A A
5. Se sigue del ı́tem anterior y del hecho que −|f | ≤ f ≤ |f |.

Z Z Z
6. Como µ(A) = 0, por el Teorema 3.3.3 tenemos f dµ = f + dµ − f − dµ = 0 ¤
A A A
Z
Observación: Del teorema anterior, se tiene que la función I : L1R (A, µ) → R definida por I(f ) = f dµ,
A
es una funcional lineal monótono.
A continuación, extendemos el concepto de integración a funciones complejos valoradas.
Definición 3.4.3 Sea (X, A, µ) un espacio de medida, f = u+iv : X → C una función medible y A ∈ A.
1. Decimos que f es finito-integrable en A (con respecto a la medida µ) si y sólo si u y v son finito-

integrables en A con respecto a la medida µ.
2. Si f es finito-integrable en A, la integral de f en A (con respecto a la medida µ) se define como

Z Z Z
f dµ = udµ + i vdµ
A A A
3. Definimos el conjunto
½ Z ¾
L1C (A, µ) = f : A → C; f es medible y |f |dµ < ∞
A
Teorema 3.4.2 Sea (X, A, µ) un espacio de medida y A ∈ A, se cumplen las siguientes propiedades:
1. L1C (A, µ) es un C-espacio vectorial.

Z Z Z
2. (f + g)dµ = f dµ + gdµ, ∀ f, g ∈ L1C (A, µ)
A A A
Z Z
3. (cf )dµ = c f dµ, ∀ f ∈ L1C (A, µ), ∀ c ∈ R.
A A
¯Z ¯ Z
¯ ¯
4. ¯ f dµ¯¯ ≤
¯ |f |dµ, ∀ f ∈ L1C (A, µ).
A A
Z
5. Si µ(A) = 0 entonces f dµ = 0, ∀ f ∈ L1C (A, µ).
A
Demostración.
3. Sea c = α + iβ ∈ C y f = u + iv ∈ L1C (A, µ), se cumple cf = (αu − βv) + i(αv + βu), luego
Z Z Z
(cf )dµ = (αu − βv)dµ + i (αv + βu)dµ
A
µA Z Z A
¶ µ Z Z ¶
= α udµ − β vdµ + i α vdµ + β udµ
A A
µZ Z ¶ AZ A
= (α + iβ) udµ + i vdµ = c f dµ

A A A
Z
4. Denotemos z = f dµ ∈ C, luego existe α ∈ C, con |α| = 1, tal que αz = |z|, luego
A
¯Z ¯ Z Z Z Z Z
¯ ¯
¯ f dµ¯ = |z| = α f dµ = αf dµ = Re(αf )dµ + i Im(αf )dµ = Re(αf )dµ
¯ ¯
A A
Z ZA A
Z A A
≤ |Re(αf )|dµ ≤ |αf |dµ = |f |dµ

A A A
Teorema 3.4.3 (Teorema de la convergencia dominada de Lebesgue) Sea (X, A, µ) un espacio

de medida y sea (fn ) una sucesión de funciones medibles sobre X a valores complejos que satisface las
dos condiciones siguientes:
(a) fn → f en X.
(b) Existe g ∈ L1[0,∞] (X, µ) tal que |fn (x)| ≤ g(x), ∀ x ∈ X
Entonces f ∈ L1C (X, µ) tal que

Z Z Z
lim |fn − f |dµ = 0 y lim fn dµ = f dµ
n→∞ X n→∞ X X
Demostración. Aplicando el Teorema 3.1.4 la parte real e imaginaria de f , se concluye que f es medible.
Además, de la hipótesis (a) se tiene |fn | → |f | y por (b) se concluye que |f | ≤ g, luego
Z Z
|f |dµ ≤ gdµ < ∞
X X
De esta manera, hemos probado que f ∈ L1C (X, µ).

Por otro lado, de (b) se tiene que |fn − f | ≤ |fn | + |f | ≤ 2g y de esta manera (2g − |fn − f |) es un
sucesión de funciones medibles en X no negativas. Por Fatou:
Z Z
lim inf (2g − |fn − f |) dµ ≤ lim inf (2g − |fn − f |) dµ (3.3)
X X
Pero por (a) también se tiene que |fn − f | → 0, luego
lim inf (2g − |fn − f |) = lim (2g − |fn − f |) = 2g
Además
Z µ Z Z ¶
lim inf (2g − |fn − f |) dµ = lim inf 2 gdµ − |fn − f |dµ
X X
Z Z X
= 2 gdµ − lim sup |fn − f |dµ
X X
Reemplazando las dos últimas igualdades en (3.3), llegamos a

Z Z Z
2gdµ ≤ 2 gdµ − lim sup |fn − f |dµ
X X X
por tanto Z
lim sup |fn − f |dµ ≤ 0
X
y como |fn − f | ≥ 0 se llega a que

½Z ¾ ½Z ¾
0 ≤ lim inf |fn − f |dµ ≤ lim sup |fn − f |dµ ≤ 0
X X
Z
luego lim |fn − f |dµ = 0.
n→∞ X ¯Z Z ¯ Z
¯ ¯
¯
Finalmente, como 0 ≤ ¯ fn dµ − f dµ¯¯ ≤ |fn − f |dµ, ∀ n ∈ N, se tiene que
X X Z X Z
lim fn dµ = f dµ. ¤
n→∞ X X
3.5 Conjuntos de medida nula
En lo que sigue, emplearemos la siguiente notación. Sea (X, A, µ) un espacio de medida, decimos que
una propiedad P (x) se cumple en casi todo punto de X (lo que denotamos c.t.p. de X) si y sólo si existe
un conjunto N ∈ A con µ(N ) = 0 tal que P (x) se cumple para todo x ∈ X − N . Por ejemplo decimos
que la sucesión (fk ) ⊆ F(Rm ; Rn ) converge en casi todo punto de X hacia una función f ∈ F(Rm ; Rn ),
lo que denotamos fk → f c.t.p. de X si y sólo si existe N ⊆ B(Rm ) conjunto de medida cero tal que
lim fk (x) = f (x), ∀ x ∈ Rm − N .
k→∞
Teorema 3.5.1 Sea (X, A, µ) unZespacio de

Z medida y f, g : X → C funciones medibles tales que f =
g c.t.p. de X. Si A ∈ A entonces f dµ = gdµ.
A A
Demostración. Por hipótesis, existe N ∈ A con µ(N ) = 0, tal que f (x) = g(x), ∀ x ∈ X − N . Dado
A ∈ A, se cumple Z Z Z Z
f dµ = f dµ + f dµ = f dµ
A A−N N A−N
Análogamente Z Z
gdµ = gdµ
A A−N
y como f = g en A − N , de las dos igualdades anteriores el resultado se sigue. ¤
Sea (X, A, µ) un espacio de medida y sea N ∈ A con µ(N ) = 0. Si ∅ 6= M ⊆ N , serı́a dable que
µ(M ) = 0, sin embargo puede ocurrir que M ∈ / A. De esta manera, necesitamos extender la medida µ
a un σ-álgebra que contenga a A y tal que esta σ-álgebra contenga a todos los subconjuntos de N ∈ A
tales que µ(N ) = 0. Pero ¿siempre es posible construir esta extensión? La respuesta es afirmativa (ver
lista de ejercicios). Esta extensión, se llama completamiento de la medida µ y la nueva medida obtenida
es llamada completa.
Como toda medida se puede extender a una medida completa, de ahora en adelante vamos a suponer
que todas las medidas son completas.
Teorema
Z 3.5.2 Sea (X, A, µ) un espacio de medida, f : X → [0, ∞] función medible y A ∈ A. Si
f dµ = 0 entonces f = 0 en c.t.p. de A.
A
½ ¾
1
Demostración. Defino Sn = x ∈ A; f (x) ≥ , ∀ n ∈ N y N = {x ∈ A; f (x) > 0}. Es claro que
n
∞
[
N= Sn
n=1
Por otro lado, para n ∈ N, tenemos

Z Z Z
1 1
0= f dµ ≥ f dµ ≥ dµ = µ(Sn )
A Sn Sn n n
de donde µ(Sn ) = 0, ∀ n ∈ N. Se sigue que µ(N ) = 0 y por tanto f = 0 c.t.p. de A. ¤
Z
Corolario. Sea (X, A, µ) un espacio de medida y sea f ∈ L1C (X, µ). Si f dµ = 0, ∀ A ∈ A entonces
A
f = 0 c.t.p. de X.
Demostración. ¡Ejercicio!
¯Z ¯ Z
¯ ¯
Teorema 3.5.3 Sea (X, A, µ) un espacio de medida y sea f ∈ L1C (X, µ). Si ¯¯ f dµ¯¯ = |f |dµ entonces
X X
existe α ∈ C tal que αf = |f | c.t.p. de X.
Z
Demostración. Denotemos z = f dµ ∈ C, luego existe α ∈ C, con |α| = 1, tal que αz = |z|, luego
X
Z ¯Z ¯ Z Z Z
¯ ¯
|f |dµ = ¯ f dµ¯ = |z| = α f dµ = αf dµ = Re(αf )dµ
¯ ¯
X X X X X
R
Se sigue que X [|f | − Re(αf )] dµ = 0, luego |f | − Re(αf ) = 0 c.t.p. de X, por tanto |αf | = Re(αf ) =
0 c.t.p. de X, de esta manera αf ∈ R c.t.p. de X. Luego |f | = |αf | = Re(αf ) = αf c.t.p. de X. ¤
Capı́tulo 4
Los Espacios Lp
4.1 Los espacios Lp
En lo sucesivo K denotará a R o a C.
Definición 4.1.1 Sea (X, A, µ) un espacio de medida y p ≥ 1.
½ Z ¾
LpK (X, µ) = f : X → K; f es medible y p
|f | dµ < ∞
X
2. Si f ∈ LpK (X, µ), entonces denotaremos

µZ ¶ p1
p
kf kp = |f | dµ
X
Observación: f ∈ LpK (X, µ) si y sólo si |f |p ∈ L1[0,+∞] (X, µ).
Definición 4.1.2 Sea (X, A, µ) un espacio de medida.
1. Decimos que la función medible f : X → K es esencialmente acotada si y sólo si existe una constante
C = C(f ) > 0 tal que
|f (x)| < C, c.t.p. de X.
L∞
K (X, µ) = {f : X → K; f es medible y esencialmente acotada}
3. Si f ∈ L∞
K (X, µ), entonces denotamos
kf k∞ = inf {C > 0; |f (x)| < C c.t.p. de X}
89
Teorema 4.1.1 Si f, g ∈ L∞
K (X, µ) y α ∈ K entonces
1. f + g ∈ L∞
K (X, µ) y kf + gk∞ ≤ kf k + kgk∞ .
2. αf ∈ L∞
K (X, µ) y kαf k∞ = |α| · kf k∞ .
Demostración. 1.) Como f, g ∈ L∞

K (X, µ) entonces |f (x)| ≤ kf k∞ c.t.p. de X y |g(x)| ≤ kgk∞
c.t.p. de X, luego
|(f + g)(x)| ≤ |f (x)| + |g(x)| ≤ kf k∞ + kgk∞ c.t.p. de X
De esta manera f + g ∈ L∞
K (X, µ) y kf + gk∞ ≤ kf k + kgk∞ . ¤
Observación: L∞
K (X, µ) es un K-espacio vectorial.
Podemos probar también que los conjuntos LpK (X, µ) (p ≥ 1) son espacios vectoriales, sin embargo
nosotros lo obtendremos como consecuencia de algunas propiedades sumamente útiles.
Lema 4.1.1 Si a, b > 0 y 0 < t < 1 se cumple
at b1−t ≤ at + b(1 − t)
Demostración. Supongamos que 0 < a ≤ b, observe que

µ ¶1−t
b b b
at b1−t ≤ at + b(1 − t) ⇔ at−1 b1−t ≤ t + (1 − t) ⇔ ≤ t + (1 − t)
a a a
b
con ≥ 1. Lo anterior nos lleva a considerar la función φ : [1, +∞[ → R definida por
a
φ(x) = t + x(1 − t) − x1−t
donde t ∈ ]0, 1[ fijo.

Como φ0 (x) = 1 − t − (1 − t)x−t = (1 − t)(1 − x−t ) y x ≥ 1 tenemos que φ0 (x) ≥ 0 luego φ es creciente,
por tanto si 1 ≤ x entonces 0 = φ(1) ≤ φ(x) = t + x(1 − t) − x1−t y por tanto
x1−t ≤ t + x(1 − t), ∀x≥1
b
Tomando x = ≥ 1, el lema se sigue, bajo la hipótesis que 0 < a ≤ b y 0 < t < 1.
a
En el caso que 0 < b ≤ a, como 1 − t ∈ ]0, 1[ , usando la parte anterior (para 1 − t en vez de t) tenemos
b1−t a1−(1−t) ≤ b(1 − t) + a(1 − (1 − t))
es decir
at b1−t ≤ at + b(1 − t)
y el Lema está probado. ¤
Definición 4.1.3 Sea 1 < p < +∞. Decimos que q ∈ R es el conjugado de p si y sólo si
1 1
+ = 1.
p q
Observaciones:
p
1. Si q es conjugado de p entonces q = . Se sigue que 1 < q < ∞.
p−1
2. El único número p > 1 que es conjugado consigo mismo es p = 2. En efecto: p es conjugado a p si
1 1
y sólo si + = 1 si y sólo si p = 2.
p p
p
3. Sean p y q conjugados entonces q = . Observe que
p−1
p
lim q = lim+ =∞
p→1+ p→1 p−1
Por esta razón se adoptará el convenio que 1 e ∞ son conjugados.
Lema 4.1.2 (Desigualdad de Young) Si p y q son conjugados, 1 < p, q < +∞, entonces
1 1 a b
ap bq ≤ + , ∀ a, b ≥ 0
p q
Demostración. Si a = 0 ó b = 0, la desigualdad es obvia. Trabajemos entonces con el caso a, b > 0.

1 1
Como 1 < p < +∞ se tiene que 0 < < 1. Aplicando el Lema 4.1.1 para t = , se tiene
p p
µ ¶
1 1 1 1
a p b1− p ≤ a + b 1 −
p p
De aquı́ la desigualdad se sigue. ¤
Teorema 4.1.2 (Desigualdad de Hölder) Sean p, q ∈ [1, ∞] conjugados. Si f ∈ LpK (X, µ) y g ∈

LqK (X, µ) entonces f g ∈ L1K (X, µ) y kf gk1 ≤ kf kp · kgkq .
Demostración. Primeramente consideremos el caso p = 1 y q = ∞. Como
|(f g)(x)| = |f (x)| · |g(x)| ≤ |f (x)| · kgk∞ c.t.p. de X
se tiene que Z Z µZ ¶
|f g|dµ ≤ |f | · kgk∞ dµ = |f |dµ kgk∞ = kf k1 · kgk∞
X X X
Se sigue que f g ∈ L1K (X, µ) y kf gk1 ≤ kf k1 · kgk∞ .

Sea ahora 1 < p, q < ∞. Observe que si f = 0 c.t.p. de X ó g = 0 c.t.p. de X, la desigualdad es

trivial. Trabajemos entonces con el caso f 6= 0 c.t.p. de X y g 6= 0 c.t.p. de X. Se sigue que kf kp > 0
|f (x)|p |g(x)|q
y kgkq > 0. Para x ∈ X, tomando a = p y b= en la desigualdad de Young tenemos
kf kp kgkqq
|f (x)| |g(x)| 1 p 1
· ≤ p |f (x)| + |g(x)|q
kf kp kgkq pkf kp qkgkqq
luego Z Z Z
|f g| 1 1
dµ ≤ |f |p dµ + |g|q dµ
X kf kp kgkq pkf kpp X qkgkqq X
es decir Z
1 1 1
|f g|dµ ≤ + =1
kf kp kgkq X p q
por tanto Z
|f g|dµ ≤ kf kp kgkq
X
Ası́, f g ∈ L1K (X, µ) y kf gk1 ≤ kf kp · kgkq . ¤

Un caso particular de este resultado, ocurre cuando p = q = 2.
Corolario. (Desigualdad de Cauchy-Schwartz) Si f, g ∈ L2K (X, µ) entonces f g ∈ L1K (X, µ) y
kf gk1 ≤ kf k2 · kgk2 .
Teorema 4.1.3 (Desigualdad de Minkowski) Si 1 ≤ p < ∞ y f, g ∈ LpK (X, µ) entonces f + g ∈

LpK (X, µ) y kf + gkp ≤ kf kp + kgkp .
Demostración. Primeramente consideremos el caso p = 1. Se cumple

Z Z Z Z
|f + g|dµ ≤ [|f | + |g|]dµ = |f |dµ + |g|dµ = kf k1 + kgk1
X X X X
Hemos probado que f + g ∈ L1K (X, µ) y kf + gk1 ≤ kf k1 + kgk1 .

En el caso que 1 < p < ∞, sea A = [|f | ≥ |g|] y B = [|f | < |g|]. Se sigue que A, B ∈ A es una
partición de X.
Observe que si x ∈ A entonces |(f + g)(x)| ≤ |f (x)| + |g(x)| ≤ 2|f (x)|, luego
|(f + g)(x)|p ≤ 2p |f (x)|p , ∀x∈A
Análogamente
|(f + g)(x)|p ≤ 2p |g(x)|p , ∀x∈B
Luego
Z Z Z Z Z
p p p p p p
|f + g| dµ = |f + g| dµ + |f + g| dµ ≤ 2 |f | dµ + 2 |g|p dµ
X A B A B
µZ Z ¶
p p
£ ¤
≤ 2 |f | dµ + |g| dµ = 2p kf kpp + kgkpp < ∞
p
X X
Se sigue que f + g ∈ LpK (X, µ). Por otro lado
|f + g|p = |f + g| · |f + g|p−1 ≤ |f | · |f + g|p−1 + |g| · |f + g|p−1
Observe que Z Z Z
|(f + g)p−1 |q dµ = |f + g|q(p−1) dµ = |f + g|p dµ < ∞
X X X
luego (f + g)p−1 ∈ LqK (X, µ) y por Hölder

Z Z Z
p p p−1
kf + gkp = |f + g| dµ ≤ |f | · |(f + g) |dµ + |g| · |(f + g)p−1 |dµ
X X X
µZ ¶ p1 µZ ¶ q1 µZ ¶ p1 µZ ¶ q1
≤ |f |p dµ |f + g|(p−1)q dµ + |g|p dµ |f + g|(p−1)q dµ
X X X X
p p p
q q q
= kf kp · kf + gkp + kgkp · kf + gkp = (kf kp + kgkp )kf + gkp
p− p
q
Se sigue que kf + gkp = kf + gkp ≤ kf kp + kgkp . ¤
Corolario 1. Si 1 ≤ p < ∞ entonces LpK (X, µ) es un K-espacio vectorial.
Demostración. Si f, g ∈ LpK (X, µ) entonces por Minkowski f + g ∈ LpK (X, µ).
Si α ∈ K y f ∈ LpK (X, µ) entonces |αf (x)|p = |α|p |f (x)|p , luego
Z Z Z
|αf |p dµ = |α|p · |f |p dµ = |α|p |f |p dµ = |α|p · kf kpp < ∞
X X X
luego αf ∈ LpK (X, µ). ¤

Corolario 2. Si 1 ≤ p ≤ ∞ entonces la función k kp : LpK (X, µ) → K satisface las siguientes propiedades
1. kf kp ≥ 0, ∀ f ∈ LpK (X, µ).

2. k0kp = 0.
3. kαf kp = |α| · kf kp , ∀ f ∈ LpK (X, µ), ∀ α ∈ K.
4. kf + gkp ≤ kf kp + kgkp , ∀ f, g ∈ LpK (X, µ).
4.2 Los espacios Lp
Sea (X, A, µ) un espacio de medida, 1 ≤ p ≤ ∞ y f ∈ LpK (X, µ). Si kf kp = 0 entonces f = 0 c.t.p. de X.

Por esta razón la función k kp : LpK (X, µ) → R no llega a ser una norma sobre LpK (X, µ).
En la presente sección, vamos a construir un espacio vectorial, en donde k kp si sea una norma.
p
Sean f, g ∈ LK (X, µ), definimos
f ∼ g ⇐⇒ f = g c.t.p. de X
No es difı́cil probar que “∼” es una relación de equivalencia en LpK (X, µ). Denotamos por LpK (X, µ) al
conjunto cociente de LpK (X, µ) por esta relación de equivalencia, es decir
LpK (X, µ) = {[f ]; f ∈ LpK (X, µ)}
donde
[f ] = {g ∈ LpK (X, µ); f = g c.t.p. de X}
Vamos a dotar a LpK (X, µ) de una estructura de espacio vectorial.
Sean [f ], [g] ∈ LpK (X, µ) entonces f, g ∈ LpK (X, µ), luego f + g ∈ LpK (X, µ) y por tanto [f + g] ∈
p
LK (X, µ).
Serı́a natural definir [f ] + [g] = [f + g], pero para que esta definición sea buena, necesitamos probar
que no depende de los representantes de la clase de [f ] y [g]. Sean f1 ∈ [f ] y g1 ∈ [g] entonces f =
f1 c.t.p. de X y g = g1 c.t.p. de X, se sigue que f +g = f1 +g1 c.t.p. de X y por tanto [f +g] = [f1 +g1 ].
Análogamente, dado [f ] ∈ LpK (X, µ) y α ∈ K definimos α · [f ] = [αf ].
Teorema 4.2.1 Sea 1 ≤ p ≤ ∞ con las operaciones
1. + : LpK (X, µ) × LpK (X, µ) → LpK (X, µ) definida por [f ] + [g] = [f + g].
2. · : K × LpK (X, µ) → LpK (X, µ) definida por α · [f ] = [αf ].
LpK (X, µ) es un K-espacio vectorial.
Sea [f ] ∈ LpK (X, µ), serı́a natural definir Np ([f ]) = kf kp pero para que esta definición sea buena,
necesitamos probar que no depende del representante de la clase. Sea g ∈ [f ] entonces f = g c.t.p. de X,
consideremos dos casos.
Z Z
1 < p < ∞: Se tiene que |f |p = |g|p c.t.p. de X, luego |f |p dµ = |g|p dµ y por tanto kf kp = kgkp .
X X
p = ∞: |f (x)| = |g(x)| ≤ kgk∞ c.t.p. de X, luego kf k∞ ≤ kgk∞ . Análogamente kgk∞ ≤ kf k∞ .

Esto prueba la buena definición de la función Np .
Teorema 4.2.2 Si 1 ≤ p ≤ ∞ entonces la función Np : LpK (X, µ) → R definida por Np ([f ]) = kf kp ,

satisface las siguientes propiedades
1. Np ([f ]) ≥ 0, ∀ [f ] ∈ LpK (X, µ).

2. Np ([f ]) = 0 si y sólo si [f ] = 0.
3. Np (α[f ]) = |α| · Np ([f ]), ∀ [f ] ∈ LpK (X, µ), ∀ α ∈ R.
4. Np ([f ] + [g]) ≤ Np ([f ]) + Np ([g]), ∀ [f ], [g] ∈ LpK (X, µ).
Observaciones.
1. De ahora en adelante a los elementos de LpK (X, µ) los denotaremos por f en vez de [f ] y escribiremos
kf kp en vez de Np ([f ]).
2. El par (LpK (X, µ), k kp ) es un espacio normado.
4.3 Completitud de los espacios Lp
Definición 4.3.1 Sea (X, A, µ) un espacio de medida, 1 ≤ p ≤ ∞ y (fn ) ⊆ LpK (X, µ).
1. Decimos que la sucesión (fn ) es convergente en LpK (X, µ) si y sólo si existe f ∈ LpK (X, µ) tal que
lim kfn − f kp = 0
n→∞
2. Decimos que (fn ) es una sucesión de Cauchy en LpK (X, µ) si y sólo si para todo ² > 0, existe un
n0 ∈ N tal que si n, m ≥ n0 entonces kfn − fm kp < ².
Teorema 4.3.1 Sea (X, A, µ) un espacio de medida y 1 ≤ p ≤ ∞. Si (fn ) ⊆ LpK (X, µ) es Cauchy
entonces (fn ) es convergente.
Demostración. Consideremos dos casos:

a) 1 ≤ p < ∞: Existe n1 ∈ N tal que si n, m ≤ n1 entonces kfn − fm kp < 2−1 .
Existe n2 ∈ N con n2 > n1 tal que si n, m ≤ n2 entonces kfn − fm kp < 2−2 .
Procediendo por inducción, se tiene una sucesión (nk ) ⊆ N con n1 < n2 < · · · < nk < · · · tal que si
n, m ≥ nk entonces kfn − fm kp < 2−k .
Xk
Dado k ∈ N defino gk : X → [0, +∞] como gk = |fni+1 − fni |.
i=1
∞
X
Definimos también g : X → [0, +∞] como g = |fni+1 − fni |.
i=1
Claramente (gk ) es una sucesión de funciones medibles en X, no negativas. Además, como |fni+1 −
fni | ∈ LpR (X, µ), ∀ i ≥ 1, por Minkowski tenemos que (gk ) ⊆ LpR (X, µ) y
k
X k
X
kgk kp ≤ kfni+1 − fni kp ≤ 2−i < 1, ∀k≥1
i=1 i=1
Como gk → g, aplicando Fatou a (gkp ) ⊆ L1R (X, µ), tenemos

Z Z Z µZ ¶
p p p p
g dµ = (lim gk )dµ = (lim inf gk )dµ ≤ lim inf gk = lim inf(kgk kpp ) ≤ 1
X X X X
Luego g ∈ Lp (X, µ) y kgkp ≤ 1. En particular g(x) < ∞ c.t.p. de X.

X
De esta manera la serie (fni+1 − fni ) es absolutamente convergente (y por tanto convergente)
i,1
c.t.p. de X.
∞
X
Sea f : X → K tal que f (x) = fn1 (x) + (fni+1 (x) − fni (x)) c.t.p. de X. Observe que
i=1
k−1
X
fn1 + (fni+1 − fni ) = fnk , ∀ k ≥ 1
i=1
Por tanto (fnk ) ⊆ (fn ) es tal que lim fnk = f c.t.p. de X. Esto prueba que f es medible. Vamos a
k→∞
probar que f ∈ LpK (X, µ).
²
Dado ² > 0 existe n0 ∈ N tal que si n, m ≥ n0 entonces kfn − fm kp < . Para m ≥ n0 (fijo) y nk ≥ n0
2
²
se tiene que kfnk − fm kp < . De esta manera tenemos la sucesión (|fnk − fm |p )k∈N ⊆ L1R (X, µ). Por
2
Fatou
Z Z µ ¶ Z
kf − fm kpp = |f − fm |p dµ = lim |fnk − fm |p dµ = (lim sup |fnk − fm |p ) dµ
X X k→∞ X
µZ ¶ ³ ² ´p
≤ lim inf |fnk − fm |p dµ = lim inf(kfn−k − fm kpp ) ≤
X 2
Por tanto f − fm ∈ LpK (X, µ) y como fm ∈ LpK (X, µ) se tiene que f ∈ LpK (X, µ), más aún kf − fm kp ≤
²
< ². Esto prueba que lim kf − fm kp = 0.
2 m→∞
1 1
b) p = ∞: Dado k ∈ N, existe nk ∈ N tal que si n, m ≥ nk entonces kfn − fm k∞ < , luego |fn − fm | <
k k
c.t.p. de X.
∞
[
1
Sea Ak ∈ A, de medida cero, tal que |fn (x) − fm (x)| < , ∀ x ∈ X − Ak . Considero A = Ak ,
k
k=1
1
claramente A ∈ A y A tiene medida cero. Si x ∈ X − A y ² > 0 entonces k0 ∈ N tal que < ², luego, si
k0
m, n ≥ nk0 entonces |fn (x)−fm (x)| < ². De esta manera (fn (x)) ⊆ K es Cauchy y por tanto convergente,
∀ x ∈ X − A.
Sea f : X → K tal que lim fn (x) = f (x), ∀ x ∈ X − A. Como |fn (x) − fn1 (x)| < 1, ∀ n ≥ n1 ,
n→∞
∀ x ∈ X − A entonces
|f (x) − fn1 (x)| = lim |fn (x) − fn1 (x)| ≤ 1, c.t.p. de X
n→∞
Se sigue que f − fn1 ∈ L∞

K (X, µ) y por tanto f ∈ L∞K (X, µ). Finalmente, dado ² > 0, existe k0 ∈ N tal
1 ² ² ²
que < , luego, si n, m ≥ nk0 entonces |fn (x) − fm (x)| < y tomando lı́mite |f (x) − fm (x)| ≤
k0 2 2 2
c.t.p. de X, es decir kf − fm k∞ < ². Esto prueba que lim kf − fm k∞ = 0. ¤
m→∞
Teorema 4.3.2 Sea (X, A, µ) un espacio de medida y 1 ≤ p ≤ ∞. Si (fn ) ⊆ LpK (X, µ) es Cauchy
entonces existe f ∈ LpK (X, µ) y existe (fkn ) ⊆ (fn ) tal que lim fkn (x) = f (x) c.t.p. de X.
n→∞
Observación. Aquellos espacios normados en el que toda sucesión de Cauchy es convergente, son
llamados espacios de Banach. El Teorema 4.3.1 muestra que (LpK (X, µ), k k) es un espacio de Banach.
4.4 Aproximación por funciones continuas
En la presente sección, probaremos que cualquier elemento de Lp (X, µ) (1 ≤ p < ∞) puede ser aproxi-
mado, en la norma de Lp (X, µ), por una función continua de soporte compacto.
Empezamos con el siguiente resultado.
Teorema 4.4.1 (Densidad de las funciones simples medibles en LpK (X, µ)) Sea 1 ≤ p ≤ ∞ y
f ∈ LpK (X, µ). Dado ² > 0 existe s = s(²) : X → C una función simple medible tal que
1. µ ({x ∈ X; s(x) 6= 0}) < ∞.

2. kf − skp < ².
Demostración. En primer lugar, consideremos el caso en que f ≥ 0. Por el Teorema 3.2.4 existe una
sucesión de funciones simples medibles (sn ) tal que 0 ≤ s1 ≤ s2 ≤ · · · ≤ sn ≤ · · · ≤ f y lim sn (x) = f (x),
n→∞
∀ x ∈ X. Como Z Z
spn dµ ≤ f p dµ
X X
p
se sigue que (sn ) ⊆ L (X, µ).
Afirmo que µ ({x ∈ X; sn (x) 6= 0}) < ∞, ∀ n ∈ N. En efecto, supongamos que existe n0 ∈ N tal que
Xk
µ ({x ∈ X; sn0 (x) 6= 0}) = ∞ (Hip. Aux.) Como sn0 = ci χEi (unión disjunta), podemos suponer que
i=1
ck = 0, luego µ ({x ∈ E; sn0 (x) 6= 0}) = E1 ∪ · · · ∪ Ek−1 y por tanto
Z Z XZ
k−1 XZ
k−1 k−1
X
spn0 = spn0 = spn0 = cpi = cpi µ(Ei ) ≥ cp µ ({x ∈ E; sn0 (x) 6= 0}) = ∞
E (E1 ∪···∪Ek−1 ) i=1 Ei i=1 Ei i=1
lo cual es una contradicción por que sn ∈ Lp (E). Esto prueba la afirmación.

Tenemos que 0 ≤ (f − sn )p ≤ f p , ∀ n ∈ N y f p ∈ L(E). Además, como limn→∞ (f − sn )p (x) = 0,
∀ x ∈ E, por el Teorema de la convergencia dominada de Lebesgue tenemos que
Z ³ ´ Z
0= lim (f − sn )p = lim (f − sn )p ≥ 0
E n→∞ n→∞ E
se sigue que
lim kf − sn kp = 0.
n→∞
Luego dado ² > 0 existe n0 ∈ N tal que kf − sn0 kp < ². ¤

Analisis Real 3 - Renato Benazic

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Analisis Real 3 - Renato Benazic

Enviado por

Direitos autorais:

Formatos disponíveis

Analisis Real III

October 29, 2017

1.1 La Definición de Integral sobre m-bloques

Decimos que B ⊆ Rm es un bloque m-dimensional o simplemente m-bloque si y sólo si B es producto

1. El volumen de un m-bloque degenerado es cero.

I1 × · · · × Ik−1 × {ak } × Ik+1 × · · · × Im ó I1 × · · · × Ik−1 × {bk } × Ik+1 × · · · × Im

1. Una partición P de B es un producto cartesiano P = P1 × · · · × Pm donde Pi ∈ P([ai , bi ]),

3. Sean P = P1 × · · · × Pm , Q = Q1 × · · · × Qm ∈ P(B). Decimos que Q es un refinamiento de P si y

1. Sea P = P1 × · · · × Pm ∈ P(B) donde

Pi = {ai = ti0 < ti1 < · · · < tiki = bi } ∈ P([ai , bi ]), (1 ≤ i ≤ m)

subbloques y denotarlos por Bi , con 1 ≤ i ≤ k = k1 · · · km . En cualquier caso, escribiremos

2. Si P, Q ∈ P(B) entonces P ∪ Q no necesariamente es una partición de B. En efecto, considere

m(f ) = inf{f (x); x ∈ B} y M (f ) = sup{f (x); x ∈ B}

Teorema 1.1.1 Sea B un m-bloque compacto, P, Q ∈ P(B) y f : B → R una función acotada. Si Q es

Demostración. Sean P = P1 × · · · × Pm , Q = Q1 × · · · × Qm ∈ P(B) donde Q es un refinamiento de

m∗i,J (f ) = inf{f (x); x ∈ Bi,J

es claro que se cumplen las siguientes desigualdades

mi,J (f ) ≤ m∗i,J (f ), m∗∗

La otra desigualdad se demuestra de manera análoga. ¤

L(f, P ) ≤ U (f, Q) ∀ P, Q ∈ P(B).

Demostración. Sean P, Q ∈ P(B), sabemos que P + Q ∈ P(B) es un refinamiento común de P y Q.

L(f, P ) ≤ L(f, P + Q) ≤ U (f, P + Q) ≤ U (f, Q) ¤

Corolario 2. Sean B un m-bloque compacto, f : B → R una función acotada y fijemos P0 ∈ P(B).

Demostración. Probaremos sólo la segunda igualdad, la demostración de la primera es similar. Es claro

De aquı́ se sigue el resultado. ¤

Ejemplo 1.1.1 Sea B = [0, 1] × [0, 1] y definamos f : B → R mediante

P = {0 = t0 < t1 < · · · < tm = 1} × {0 = s0 < s1 < · · · < sn = 1} ∈ P(B)

Por otro lado

Ejemplo 1.1.2 Sea B = [0, 1] × [0, 1] y definamos f : B → R mediante

P = {0 = t0 < t1 < · · · < tm = 1} × {0 = s0 < s1 < · · · < sn = 1} ∈ P(B)

Observación: Sea B un m-bloque compacto, f : B → R una función acotada. Si f ∈ R(B) entonces

Demostración. (⇒) Por hipótesis

Definición 1.1.3 Sea X ⊆ Rm y f : X → R una función acotada. La oscilación de f sobre el conjunto

Proposición 1.1.3 Sea X ⊆ Rm y f : X → R una función acotada, se cumple:

1. Si mX (f ) = inf{f (x); x ∈ X} y MX (f ) = sup{f (x); x ∈ X} entonces

2. Si Y ⊆ X entonces ω(f, Y ) ≤ ω(f, X).

lo cual es una contradicción. La parte 2.) es evidente.

lo cual prueba el resultado. ¤

Demostración. Consecuencia directa del Teorema 1.1.2 y la parte 3 de la proposición anterior. ¤

Teorema 1.1.4 Si B un m-bloque compacto entonces C(B) ⊆ R(B).

1.2 Propiedades Básicas de la Integral sobre m-Bloques Com-

Teorema 1.2.1 Si B es un m-bloque compacto y

Demostración. Como f = 1 ∈ C(B), se sigue que f = 1 ∈ R(B).

Por otro lado, dado P = {Bi } ∈ P(B), se cumple

Teorema 1.2.2 Si B es un m-bloque compacto, f ∈ R(B) y c ∈ R, entonces cf ∈ R(B) y

Demostración. Sea P = {Bi } ∈ P(B). Si c ≥ 0 entonces

mi (cf ) = inf{(cf )(x); x ∈ Bi } = c · inf{f (x); x ∈ Bi } = c · mi (f )

Análogamente Mi (cf ) = c · Mi (f ). Luego

Análogamente U (cf, P ) = c U (f, P ). Por lo tanto

Lema 1.2.1 Si B es un m-bloque compacto y f, g : B → R son funciones acotadas entonces se cumple

Demostración. 1.) Sea P = {Bi } ∈ P(B). Dado x ∈ Bi se cumple

mi (f ) + mi (g) ≤ f (x) + g(x) = (f + g)(x)

Sean P1 , P2 ∈ P(B) y P = P1 + P2 , luego

Teorema 1.2.3 Si B es un m-bloque compacto y f, g ∈ R(B) entonces f + g ∈ R(B) y

Demostración. Por hipótesis y el lema anterior

2. El operador Γ : R(B) → R es monótono, es decir si f, g ∈ R(B) con f ≤ g entonces Γ(f ) ≤ Γ(g).

Definición 1.2.1 Sea X ⊆ Rm y f, g : X → R

1. El máximo de f y g, y el mı́nimo de f y g son las funciones max{f, g}, min{f, g} : X → R definidas

2. La parte positiva de f y la parte negativa de f , denotadas respectivamente por f + , f − son las

1. De las definiciones de máximo y mı́nimo se sigue directamente que:

Lema 1.2.2 Si B es un m-bloque compacto y f : B → R una función acotada entonces se cumple

U (f, P ) − L(f, P ) = [U (f + , P ) − L(f + , P )] + [U (f − , P ) − L(f − , P )], ∀ P ∈ P(B)

Demostración. Sea P = {Bi } ∈ P(B). Afirmo que