Libro (1) (1) 3336

Analisis Real III
Renato Benazic
September 9, 2016
Prefacio
Renato Benazic
Introduccion
Contenido
1 Integrales Multiples 1
1.1 La Denicion de Integral sobre m-bloques . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Propiedades Basicas de la Integral sobre m-Bloques Compactos . . . . . . . . . . . . . . . 9
1.3 Conjuntos de Medida Cero . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.4 Caracterizacion de las Funciones Riemann Integrables . . . . . . . . . . . . . . . . . . . . 21
1.5 Integracion Iterada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.6 Integrales sobre Conjuntos J-medibles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.7 Cambio de Variables en la Integral Multiple . . . . . . . . . . . . . . . . . . . . . . . . . . 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 Caracterizacion de una medida. Unicidad . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
2.5 Medidas exteriores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
2.6 Medida de Lebesgue en Rn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
2.7 Algunos aspectos teoricos de la medida de Lebesgue en Rn . . . . . . . . . . . . . . . . . . 62
3
Captulo 1
Integrales Multiples
1.1 La Definicion de Integral sobre m-bloques
Primeramente introducimos la notacion 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 dene por
vol (I) = b a.
Decimos que B Rm es un bloque m-dimensional o simplemente m-bloque si y solo si B es producto

cartesiano de m intervalos I1 , . . . , Im , es decir

m
B = I1 I2 Im = Ii .
i=1
Si todo los intervalos Ii son abiertos (resp. cerrados, acotados, compactos, etc.), diremos que el m-bloque
m
B= Ii es abierto (resp. cerrado, acotado, compacto, etc.). Si todos los intervalos Ii tienen la misma
i=1

m
longitud, entonces B = Ii es llamado m- cubo.
i=1
Para propositos posteriores, vamos a admitir que uno o mas de los intervalos Ii pueda constar de un
m
solo punto. En este caso, decimos que B = Ii es un m-bloque degenerado.
i=1

m
Si B = Ii es un m-bloque acotado, el volumen m-dimensional o simplemente volumen de B,
i=1
denotado por vol (B), se dene como el producto de las longitudes de los intervalos Ii , es decir

m
vol (B) = vol (Ii ).
i=1
1
Analisis 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, rectangulo, pa-
raleleppedo y su volumen vol (B) pasa a ser llamado longitud, area y volumen, respectivamente.

m
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 Ik1 {ak } Ik+1 Im o I1 Ik1 {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 rectangulo o una cara del
paraleleppedo.
Es claro que toda (m 1)-cara de un m-bloque, tiene volumen (m-dimensional) cero.
De manera analoga se denen las (m k)-caras (k = 2, . . . , m) de un m-bloque. Las 0-caras son
llamadas vertices del m-bloque.

m
Definicion 1.1.1 Sea B = [a1 , bi ] un m-bloque compacto.
i=1
1. Una particion 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 P es denida como
P = max{Pi ; 1 i m}
3. Sean P = P1 Pm , Q = Q1 Qm P(B). Decimos que Q es un refinamiento de P si y

solo 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 -esimo 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
Analisis Real II 3
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 particion P . Es claro que

k
vol (B) = vol (Bi ).
i=1
2. Si P, Q P(B) entonces P Q no necesariamente es una particion 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 particion 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 comun de P y Q, (es decir P P + Q y
Q P + Q).

m
Sea B = [a1 , bi ] un m-bloque compacto y f : B R una funcion 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 particion P se denen respectivamente como

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 funcion acotada f : B R se denen respectivamente
como

f (x)dx = inf{U (f, P ); P P(B)}
B
f (x)dx = sup{L(f, P ); P P(B)}
B

En muchas ocasiones, denotaremos f y f en vez de f (x)dx y f (x)dx, respectivamente.
B B B B
Analisis Real II 4
Teorema 1.1.1 Sea B un m-bloque compacto, P, Q P(B) y f : B R una funcion acotada. Si Q es

un renamiento de P entonces L(f, P ) L(f, Q) y U (f, Q) U (f, P ).
Demostracion. Sean P = P1 Pm , Q = Q1 Qm P(B) donde Q es un renamiento de

P , luego P1 Q1 , . . . , Pm Qm . Es suciente considerar el caso en que Q1 = P1 {t }, P2 = Q2 , . . . ,
Pm = Qm .
Sabemos que un m-subbloque de la particion 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 ti1 < t < ti , luego
Q1 = {a1 = t0 < t1 < . . . < ti1 < t < ti < < tkn = b1 }. De esta manera tenemos
P = {Ii1 BJ ; 1 i1 k1 , J}

Q = {Ii1 BJ ; 1 i1 = i k1 , J} {Bi,J = [ti1 , t ] BJ , Bi,J

= [t , ti ] BJ ; J}
Si denotamos

mi,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 ) mi,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:

L(f, P ) = mi1 ,J (f ) vol (Bi1 ,J )
i1 J

= mi1 ,J (f ) vol (Bi1 ,J ) + mi,J (f ) vol (Bi,J )
J i1 =i J

[ ]
mi1 ,J (f ) vol (Bi1 ,J ) + mi,J (f ) vol (Bi,J

) + m
i,J (f ) vol (Bi,J )
J i1 =i J
= L(f, Q)
La otra desigualdad se demuestra de manera analoga.

Corolario 1. Sean B un m-bloque compacto y f : B R una funcion acotada. Se cumple
L(f, P ) U (f, Q) P, Q P(B).

Analisis Real II 5
Demostracion. Sean P, Q P(B), sabemos que P + Q P(B) es un renamiento comun 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 funcion acotada y jemos P0 P(B).

Entonces

f = inf{U (f, P ); P P(B) y P es renamiento de P0 }
B
f = sup{L(f, P ); P P(B) y P es renamiento de P0 }

B
Demostracion. Probaremos solo la segunda igualdad, la demostracion de la primera es similar. Es claro

que
A = {L(f, P ); P P(B) y P es renamiento de P0 } {L(f, P ); P P(B)}
Luego
sup A f
B

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 renamiento de P0 , luego L(f, P0 + P1 ) sup A < L(f, P1 ) L(f, P0 + P1 ) lo cual
es absurdo. Esta contradiccion prueba el resultado.
Corolario 3. Sean B un m-bloque compacto y f : B R una funcion acotada. Se cumple:

L(f, P ) f f U (f, P ), P P(B)
B B

Demostracion. Es suciente probar que f f . Del Corolario 1 tenemos L(f, P ) U (f, Q),
B B
P, Q P(B). Luego

f = sup{L(f, P ); P P(B)} U (f, Q), Q P(B)
B
De aqu se sigue el resultado.
anterior, surge de manera natural la siguiente interrogante Existe f : B R acotada

Del Corolario

tal que f< f ? Veamos un par de ejemplos.
B B
Ejemplo 1.1.1 Sea B = [0, 1] [0, 1] y denamos f : B R mediante

{
1, si (x, y) = (0, 0)
f (x, y) =
0, en otro caso
Analisis Real II 6

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 = [ti1 , ti ] [sj1 , sj ], 1 i m, 1 j n.
Por denicion de f se tiene que
{
1, si i = j = 1
mij = 0, y Mij (f ) =
0, en otro caso

m
n
luego L(f, P ) = mij (f ) vol (Bij ) = 0. Se sigue que
i=1 j=1

f = sup {L(f, P ); P P(B)} = 0
B
Por otro lado

m
n
U (f, P ) = Mij (f ) vol (Bij ) = vol (B11 ) = t1 s1
i=1 j=1
De aqu se sigue que la integral superior tambien es cero, en efecto, sea > 0, existe n N tal que
1
< . Consideremos entonces la particion
n
1 1
P = {0, , 1} {0, , 1} P(B)
n n

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 denamos f : B R mediante

{
1, si (x, y) Q2
f (x, y) =
0, en otro caso

Para hallar f y f , tomemos
B B
P = {0 = t0 < t1 < < tm = 1} {0 = s0 < s1 < < sn = 1} P(B)

y denotemos Bij = [ti1 , ti ] [sj1 , sj ], 1 i m, 1 j n. Por denicion de f se sigue que
mij = 0, y Mij (f ) = 1, i, j
luego

m
n
L(f, P ) = mij (f ) vol (Bij ) = 0
i=1 j=1
m n
m
n
U (f, P ) = Mij (f ) vol (Bij ) = vol (Bij ) = vol (B) = 1
i=1 j=1 i=1 j=1
Analisis Real II 7
Se sigue que

f = sup {L(f, P ); P P(B)} = 0
B

f = inf {U (f, P ); P P(B)} = 1
B

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 teora.
Definicion 1.1.2 Sea B un m-bloque compacto y f : B R una funcion acotada. Decimos que f es
Riemann integrable sobre B si y solo si
f= f
B B

Si f es integrable sobre B entonces la integral de Riemann sobre B, denotada por f (x)dx o f se
B B
dene como
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.
Observacion: Sea B un m-bloque compacto, f : B R una funcion acotada. Si f R(B) entonces

por el Corolario 3 se tiene que

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 funcion acotada. Se cumple f R(B)
si y solo si dado > 0, existe P = P () P(B) tal que U (f, P ) L(f, P ) < .
Demostracion. () Por hipotesis

f= f= f
B B B
luego
f = inf{U (f, P ); P P(B)} = sup{L(f, P ); P P(B)}
B
Analisis Real II 8

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

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 hipotesis existe P = P () P(B) tal que U (f, P ) L(f, P ) < . Por el Corolario 3
al Teorema 1.1.1 tenemos que

0 f f U (f, P ) L(f, P ) <
B B

Se sigue que f= f.
B B
Existe otra caracterizacion de funcion Riemann integrable, la cual usa el concepto de oscilacion.
Definicion 1.1.3 Sea X Rm y f : X R una funcion acotada. La oscilacion de f sobre el conjunto

X, denotada por (f, X) es denida como
(f, X) = sup{|f (x) f (y)|; x, y X}
Proposicion 1.1.3 Sea X Rm y f : X R una funcion 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

U (f, P ) L(f, P ) = (f, Bi ) vol (Bi )
i
Demostracion. 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)
Analisis Real II 9
lo cual es una contradiccion. La parte 2.) es evidente.

3.) De la denicion y la parte 1, tenemos

U (f, P ) L(f, P ) = Mi (f ) vol (Bi ) mi (f ) vol (Bi ) = [Mi (f ) mi (f )] vol (Bi )
i i i

= (f, Bi ) vol (Bi )
i
lo cual prueba el resultado.

Corolario. Sea B un m-bloque compacto, f : B R una funcion acotada. Se cumple f R(B) si y
solo si dado > 0, existe P = P () = {Bi } P(B) tal que (f, Bi ) vol (Bi ) < .
i
Demostracion. Consecuencia directa del Teorema 1.1.2 y la parte 3 de la proposicion anterior.
Teorema 1.1.4 Si B un m-bloque compacto entonces C(B) R(B).
Demostracion. Sea f C(B) entonces f es u. c. en B, luego dado > 0 > 0 tal que si x, y B y

x y < entonces |f (x) f (y)| < .
2 vol (B)

Si tomamos P = {Bi } P(B) con P < , para x, y Bi se cumple
m

m
m
x y2 = |xj yj |2 Pj 2 mP 2 < 2
j=1 j=1

Luego |f (x) f (y)| < , x, y Bi lo cual implica que (f, Bi ) < y por lo tanto
2 vol (B) vol (B)
(f, Bi ) vol (Bi ) < . De esta manera f R(B).
i
1.2 Propiedades Basicas 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
1 = vol (B)
B
Demostracion. Como f = 1 C(B), se sigue que f = 1 R(B).

Analisis Real II 10
Por otro lado, dado P = {Bi } P(B), se cumple

L(1, P ) = vol (Bi ) = vol (B).
i

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

cf = c f
B B
Demostracion. 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 )
Analogamente Mi (cf ) = c Mi (f ). Luego

L(cf, P ) = mi (cf ) vol (Bi ) = c mi (f ) vol (Bi ) = c L(f, P )
i i
Analogamente U (cf, P ) = c U (f, P ). Por lo tanto

cf = sup{L(cf, P ); P P(B)} = c sup{L(f, P ); P P(B)} = c f = c f
B B B

Analogamente 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

1. (f + g) f + g.
B B B

2. (f + g) f+ g.
B B B
Demostracion. 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

k
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)
Analisis Real II 11
Sean P1 , P2 P(B) y P = P1 + P2 , luego

L(f, P1 ) + L(g, P2 ) L(f, P ) + L(g, P ) L(f + g, P ) (f + g)
B

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

(f + g) = f+ g
B B B
Demostracion. Por hipotesis y el lema anterior

f+ g= f+ g (f + g) (f + g) f+ g= f+ g
B B B B B B B B B B

Se sigue que f + g R(B) y (f + g) = f+ g.
B B B
Observacion: Los resultados anteriores nos dice que R(B) es un R-espacio vectorial y el operador
: R(B) R
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

f g
B B
Demostracion. 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

L(f, P ) = mi (f ) vol (Bi ) mi (g) vol (Bi ) = L(g, P ) g= g, P P(B)
i i B B

esto implica que f g.
B B
Observaciones:

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 monotono, es decir si f, g R(B) con f g entonces (f ) (g).

Analisis Real II 12
Definicion 1.2.1 Sea X Rm y f, g : X R
1. El maximo de f y g, y el mnimo de f y g son las funciones max{f, g}, min{f, g} : X R denidas

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 denidas por
f + = max{f, 0} y f = min{f, 0}
Observaciones:
1. De las deniciones de maximo y mnimo 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 funcion 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)
Demostracion. Sea P = {Bi } P(B). Armo 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.
Analisis Real II 13
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 armacion.
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 funcion acotada, se tiene

f R(B) f + , f R(B)
Demostracion. () 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

f |f |

B B
2. max{f, g}, min{f, g} R(B) y

{ } { }
max{f, g} max f, g , min{f, g} min f, g
B B B B B B
Demostracion. 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

|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).
Demostracion. 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 .
Analogamente mi (f 2 ) mi (f )2 . Por lo tanto

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

2M (f ) [Mi (f ) mi (f )] vol (Bi ) = 2M [U (f, P ) L(f, P )], P P(B)
i
Analisis Real II 14

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
Demostracion. Es inmediato, puesto que f g = (f + g)2 (f g)2 .
4 4
Observacion: Si B es un m-bloque compacto entonces R(B) es un algebra.
Definicion 1.2.2 Sea X Rm , la funcion caracterstica de X, denotada por 1X es denida por

1X : Rm R {
1, si x X
x 7 1X (x) =
0, si x Rm X
Observacion: Se cumplen los siguientes resultados
1. 1X es discontinua en x si y solo si x X.
2. Si Y X entonces 1Y 1X .
3. 1XY 1X + 1Y .
4. 1XY + 1XY = 1X + 1Y .
Teorema 1.2.7 Si A, B son m-bloques compactos con A B entonces 1A R(B) y

1A = vol (A)
B
Demostracion. Sea P0 P(B) particion que contiene a A como subbloque. Dado P = {Bi } P(B)
renamiento de P0 , denotemos por I al conjunto de ndices i tales que Bi A. Se cumple:

L(1A , P ) = mi (1A ) vol (Bi ) = vol (Bi ) = vol (A)
i iI

U (1A , P ) = Mi (1A ) vol (Bi ) vol (Bi ) = vol (A)
i iI
Se sigue que

1A = sup{L(1A , P ); P P(B) y P es renamiento de P0 } = vol (A)
B

1A = inf{U (1A , P ); P P(B) y P es renamiento de P0 } vol (A)
B
Analisis Real II 15
Sea A m-bloque compacto tal que A A B y jemos Q0 P(B) particion que contiene a A como
subbloque. Dado Q = {Ci } P(B) renamiento de Q0 , se cumple:

U (1A , Q) = Mi (1A ) vol (Ci ) = vol (Ci ) vol (A )
i iJ
Donde J es el conjunto de ndices i tales que Ci A = . Se sigue que

vol (A) 1A vol (A )
B
Tomando A con volumen sucientemente proximo del volumen( m [ de A, el resultado se sigue. En efecto,
m ])
1 1
supongamos A = [ai , bi ], para k N denimos Ak = a i , bi + B. Como Ak es un
i=1 i=1
k k
m-bloque compacto tal que A Ak B, por la desigualdad anterior tenemos
m (
)
2
vol (A) 1A vol (Ak ) bi ai + , kN
B i=1
k

Haciendo k se llega a 1A = vol (A).
B
1.3 Conjuntos de Medida Cero
Definicion 1.3.1 Decimos que X Rm tiene medida m-dimensional cero o simplemente m-medida cero,
si y solo si para todo > 0, existe una familia numerable {Ck }kN de m-cubos abiertos y acotados tales
que

1. X Ck .
k=1

2. vol (Ck ) < .
k=1
Observaciones:
1. Todo conjunto unitario de Rm tiene m-medida cero.

2. Todo subconjunto nito de puntos de Rm tiene m-medida cero.
3. Todo subconjunto de un conjunto de m-medida cero tiene m-medida cero.
4. La union de una familia nita de conjuntos de m-medida cero tiene m-medida cero.
5. En la denicion anterior podemos reemplazar m-cubos abiertos por m-cubos cerrados, m-bloques
cerrados, m-bloques abiertos.
Analisis Real II 16
Proposicion 1.3.1 Si {Xk }kN es una familia numerable de subconjuntos de Rm que tienen m-medida

cero, entonces X = Xk tiene m-medida cero.
k=1
Demostracion. Sea > 0, dado j Z+ (jo, arbitrario), existe {Cj,k }kN coleccion numerable de

m-cubos abiertos tales que Xj = Cj,k y
k=1

vol (Cj,k ) < .
2j+1
k=1
Considero {Cj,k }j,kN coleccion numerable de m-cubos abiertos, la cual satisface:

1. X Cj,k .
j,k=1
2. Sea F N N conjunto nito entonces existe k0 N tal que si (j, k) F entonces j, k k0 . Luego
(k )
k0 0 k0

vol (Cj,k ) vol (Cj,k ) < j+1
<
j=1 j=1
2 2
(j,k)F k=1
se sigue que

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-
truccion del conjunto de Cantor.
Lema 1.3.1 Sea B un m-bloque

acotado. Si {Cj }jN es una familia numerable de m-cubos abiertos y
acotados tales que B Cj entonces
jN

vol (B) vol (Cj )
j,1
Analisis Real II 17
Demostracion. 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
jN

k
k
k
B Cji . Sea D un m-bloque compacto tal que C ji D, entonces 1B 1(
k
) 1C . Se
ji
Cj
i=1 i=1 i=1 i i=1
sigue que
k

k
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 difcil ver (Ejercicio!) que
vol (B) = sup{ vol (A); A B, A es un m-bloque compacto}

Luego si A B es un m-bloque compacto, por la primera parte tenemos que vol (A) vol (Cj ) y
j,1
por la denicion 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 solo si B es degenerado.
Demostracion. () 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 coleccion numerable {Cj }jN de m-cubos abiertos tales que

B Cj y vol (Cj ) < vol (B), pero por el lema anterior
jN j=1

vol (B) vol (Cj ) < vol (B)
j,1
lo cual es una contradiccion.

() Sea B un m-bloque degenerado. Es suciente considerar B del tipo
B = I1 Im1 {a} = B {a}
donde I1 , .[. . , Im1 son intervalos

] acotados no degenerados. Dado > 0 para j N, consideramos

Bj = B a j , a + j , (con > 0 dependiente de a elegir). Claramente {Bj }jN es una coleccion
2 2
de m-bloques cerrados tales que B Bj y
jN

vol (Bj ) = vol (B ) = 2 vol (B )
j=1 j=1
2j1

Si tomamos < , concluimos que B tiene m-medida cero.
2 vol (B )
Analisis Real II 18
Corolario. Si X Rm y p Rn entonces X {p} Rm+n tiene (m + n)-medida cero.

Demostracion. Sea {Cj }jN coleccion de m-cubos cerrados tales que X Cj , luego X {p}
jN
(Cj {p}). Por el teorema anterior, el cubo degenerado Cj {p} tiene (m + n)-medida cero y de aqu,
jN
el resultado se sigue.
Observaciones:
1. En la categora 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 recproco 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] sera union (disjunta) de dos conjuntos de medida cero, por tanto tendra medida
cero y como [0, 1] es un 1-bloque, tendra que ser degenerado, lo cual es una contradiccion.
Vamos a dar un ejmplo mas interesante de un conjunto de interior vaco 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 vaco pero que no tiene 1-medida cero. Para ello tomemos
a ]0, 1/2[ , se cumple

1
an = 1 < 1,
n=1
1a

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 union de dos intervalos cerrados, disjuntos, cada uno de longitud
1a
. 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 union 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 .
Analisis Real II 19
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 union de 2k intervalos cerrados, disjuntos, cada uno de longitud .
2k
Observe que
Jk = Jk,1 Jk,2k1 ,
ak
siendo la union disjunta y cada Js,i tiene longitud , luego su suma, denotada por vol (Jk ), viene
2k1
dada por vol (Jk ) = ak .

Denimos X = [0, 1] Js . Por construccion X es compacto, no puede contener ningun intervalo
sN
(es decir int (X) = ) y ademas, armo que X no tiene 1-medida cero. En efecto, en primer lugar observe
que

vol (Js ) = as = 1 .
s=1 s=1
Si X tuviera 1-medida cero (Hip. Aux.) entonces existira {Cj } familia numerable de intervalos abiertos

tal que X Cj y vol (Cj ) < . Pero
jN j=1
( )

[0, 1] = X ([0, 1] X) Cj Js
jN sN
Por el Lema 1.3.1:

1 = vol ([0, 1]) vol (Cj ) + vol (Js ) < + (1 ) = 1
j=1 s=1
lo cual es una contradiccion.
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 denicion.
Definicion 1.3.2 Sea X Rm y f : X Rn . Decimos que f es localmente Lipschitz

en X si y solo si
para todo x X existe Vx Rm vecindad abierta de x tal que la restriccion f XVx : X Vx Rn es
Lipschitz en X Vx .
Proposicion 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.
Analisis Real II 20
Demostracion. Primeramente, consideremos el caso en que f es Lipschitz en X. Luego existe K > 0

tal que si x, y X entonces f (x) f (y) Kx y.
Como X tiene m-medida cero, dado > 0 existe una familia numerable {Ck }kN de m-cubos tales que

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 )| y1 y2 = f (x1 ) f (x2 ) Kx1 x2 K mk

Se sigue que y1 , y2 Dk donde Dk es un m-cubo cuya arista tiene longitud K mk , 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
Ademas

(
)

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 restriccion f XVx : X Vx R es Lipschitz en X Vx . Como X
m
Vx , por Lindelof existen
xX

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 Vxk = f (X Vxk )
k=1 k=1
se sigue que f (X) tiene m-medida cero.

El resultado siguiente establece que la mayora 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.
Demostracion. Es suciente probar que f es localmente Lipschitz. Sea x X, existe un = x > 0 tal
que B [x] U . Denotemos
Kx = sup{f (y) : y B [x]}
Por la desigualdad del valor medio
f (y) f (x) Kx y z y, z B [x]
es decir, f es localmente Lipschitz.
Proposicion 1.3.4 Sea U Rm abierto y f C 1 (U, Rn ) donde m < n entonces f (U ) tiene n-medida
cero.
Analisis Real II 21
Demostracion. Sea W = U Rnm Rn y deno
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.
Observacion: 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 Caracterizacion de las Funciones Riemann Integrables
En la presente seccion, daremos condiciones necesarias y sucientes para que una funcion 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 funcion acotada. Recordemos que la oscilacion de f en X se denio como
(f, X) = sup{|f (x) f (y)|; x, y X}
y satisfaca 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 solo si dado > 0, existe P = P = {Bi } P(B) tal que

U (f, P ) L(f, P ) = (f ; Bi ) vol (Bi ) <
i
Nos proponemos denir la oscilacion de una funcion en un punto x X

Dado x X, denimos
x : ]0, +[ R
7 x () = (f, X B (x))
Esta funcion 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 funcion monotona creciente. En efecto dados 1 < 2 entonces
x (1 ) = (f, X B1 (x)) (f, X B2 (x)) = x (2 ).

Analisis Real II 22
Como 0 es punto de acumulacion a derecha de ]0, +[ , tenemos
lim x () = inf{x (); > 0} = inf{(f, X B (x)); > 0}

0+
Definicion 1.4.1 Sea X Rm y f : X R una funcion acotada. La oscilacion de f en el punto x,

denotada por (f, x), se dene como
(f, x) = inf{(f, X B (x)); > 0}
Teorema 1.4.1 Sea X Rm y f : X R una funcion acotada. Se cumplen las siguientes propiedades:
1. (f, x) 0, x X.
2. (f, x0 ) = 0 si y solo 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.
Demostracion. 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 x x0 < entonces |f (x) f (x0 )| < . Es decir, f es continua en x0 .

() Dado > 0 existe un > 0 tal que si x X y x x0 < 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 ).
Observacion: La propiedad 3.) no necesariamente se cumple si retiramos la hipotesis x int (Y ). En

efecto, sean X = R2 , Y = ] , 0] R y f : R2 R denida 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

Analisis Real II 23
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 funcion acotada y denotemos
Df = {x B; f es discontinua en x}
Entonces f R(B) si y solo si Df tiene m-medida cero.
Demostracion. () Sea K = (f, B). Dado > 0, existe una coleccion numerable de m-cubos abiertos

{Cj } tales que Df Cj y vol (Cj ) < .
j=1 j=1
2K
Sea x B Df . Armo que existe Cx m-cubo abierto tal que x Cx y

(f, Cx 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 Cx un m-cubo abierto, centrado en x, tal que Cx B (x), se prueba la armacion.
2 vol (B)
Observe que

B = Df (B Df ) Cj Cx
j=1 xBDf
Como B es compacto se tiene que

( )

r
s
B Cj Cxk
j=1 k=1
Consideremos P = {Bi } P(B) tal que cumple por lo menos una de las dos alternativas siguientes:
Bi Cj o Bi Cxk . Denotando por I = {i; Bi Cj } y J = {i; Bi Cxk }, se cumple:

(f, Bi ) vol (Bi ) (f, Bi ) vol (Bi ) + (f, Bi ) vol (Bi )
i iI iJ

< K vol (Bi ) + vol (Bi )
2 vol (B)
iI iJ

< K + vol (B) =
2K 2 vol (B)
Por lo tanto f R(B).

() Dado j N, denimos { }
1
Dj = x B; (f, x)
j
Analisis Real II 24

Claramente se tiene que Df Dj . Es suciente probar que Dj tiene m-medida cero, j N.
j=1
Dados j N y > 0, por hipotesis, existe P = {Bi } P(B) tal que

(f, Bi ) vol (Bi ) < .
i
j
1
Sea I = {i; Dj int (Bi ) = }. Si x Dj int (Bi ) entonces (f, x) (f, Bi ), luego
j
1
vol (Bi ) (f, Bi ) vol (Bi ) (f, Bi ) vol (Bi ) <
j i
j
iI iI
es decir
vol (Bi ) <
iI
Por otro lado

Dj (int (Bi ) Dj ) (Bi Dj ) int (Bi ) Y,
iI i iI

en donde Y = Bi tiene m-medida cero.
i
1.5 Integracion Iterada
Sean B1 Rm y B2 Rn dos bloques compactos y f : B1 B2 R una funcion acotada. Dado x B1 ,

denimos
fx : B2 R
y 7 fx (y) = f (x, y)
Observe que fx es la restriccion 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 funcion
f: [0, 1] [0, 1] R
0, si x = 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]).
Analisis Real II 25
Observacion: 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 (Integracion Iterada) Sean B1 Rm , B2 Rn bloques compactos y f R(B1 B2 ).

Para cada x B1 denotamos
fx : B2 R
y 7 fx (y) = f (x, y)
Si denimos las funciones L y U como
L : B1 R U : B1 R

x 7 L(x) = fx (y)dy x 7 U(x) = fx (y)dy
B2 B2
entonces L, U R(B1 ) y ademas

( )
L(x)dx = f (x, y)dy dx = f
B1 B1 B2 B1 B2
( )
U(x)dx = f (x, y)dy dx = f
B1 B1 B2 B1 B2
{ } { } { }
Demostracion. Sean P1 = Bi1 P(B1 ) y P2 = Bj2 P(B2 ) entonces P = P1 P2 = Bi1 Bj2
P(B1 B2 ). Se cumple

L(f, P ) = mi,j (f ) vol (Bi1 Bj2 ) = mi,j (f ) vol (Bi1 ) vol (Bj2 )
i,j i,j

= 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

mi,j (f ) vol (Bj2 ) mj (fx ) vol (Bj2 ) = L(fx , P2 ) fx (y)dy = L(x), x Bi1
j j B2

es decir mi,j (f ) vol (Bj2 ) mi (L), x Bi1 . Reemplazando en (1.1)
j

L(f, P ) mi (L) vol (Bi1 ) = L(L, P1 ) (1.2)
i
Analisis Real II 26
Analogamente
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 ). Analogamente,
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 condicion anterior, luego

f= f = sup(A) sup(B) = L(x)dx = L(x)dx
B1 B2 B1 B2 B1 B1
Analogamente. se prueba que

f U(x)dx,
B1 B2 B1

y de aqu se sigue que f= L(x)dx = U(x)dx.
B1 B2 B1 B1
Observaciones:
1. Una demostracion analoga muestra que

( ) ( )
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

fx (y)dy = fx (y) = fx (y)dy
B2 B2 B2
Por lo tanto ( )
f (x, y)dy dx = f
B1 B2 B1 B2
Analogamente ( )
f (x, y)dx dy = f
B2 B1 B1 B2
Analisis Real II 27

m
3. Si B = [ai , bi ] y f C(B) entonces
i=1
( ( ) )
bn b1
f= f (x1 , . . . , xn )dx1 dxn
B an a1
Este resultado es util para calcular integrales de funciones continuas sobre m-bloques compactos.

Ejemplo 1.5.2 Sea B = [1, 1] [1, 4] y f : B R denida por f (x, y) = xe y , como f C(B), por
la observacion anterior:
4 ( 1 ) 4 ( 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 solo sabemos integrar sobre m-bloques compactos, en la presente seccion vamos a ver que se
puede integrar sobre conjuntos mas generales.
Definicion 1.6.1 Sea X Rm un conjunto acotado.
1. Decimos que X es Jordan medible o simplemente J-medible en Rm si y solo 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 dene como

vol (X) = 1X
B
en donde B es un m-bloque compacto tal que X int (B).
Observaciones:
1. No es difcil probar que la denicion de conjunto J-medible as como de su volumen no dependen

de la eleccion del m-bloque B con la propiedad X int (B).
2. La parte 2 de la denicion anterior es una generalizacion del Teorema 1.2.7.
3. Denotaremos por J (Rm ) a la coleccion de todos los subconjuntos acotados J-medibles en Rm .
Teorema 1.6.1 Sea X Rm un conjunto acotado. X J (Rm ) si y solo si su frontera X tiene

m-medida cero.
Analisis Real II 28
Demostracion. 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 solo si 1X R(B) si y solo si D1X = X tiene
m-medida cero.
Observaciones:
1. Como la frontera de un m-bloque acotado es union (nita) 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 solo sabamos calcular el volumen de m-bloques acotados, la denicion anterior extiende
el calculo del volumen a conjuntos J-medibles. Los Teoremas 1.2.7 y 1.6.1 establecen que esta es
una buena extension. Mas aun, si denotamos por F a la familia de todos los m-bloques compactos,
hemos extendido vol : F [0, +[ a vol : J (Rm ) [0, +[.
Proposicion 1.6.2 Sea X Rm un conjunto acotado. X J (Rm ) si y solo si X J (Rm ) y

vol (X) = 0.
Demostracion. () Como X es cerrado se tiene que (X) X, de la hipotesis 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,

existe {Cj } coleccion numerable de m-cubos abiertos acotados tales que X Cj y vol (Cj ) < .
jN 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
s

s
vol (X) = 1X 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 hipotesis

0 = vol (X) = 1X = inf {U (1X , P ); P P(B)}
B
Dado > 0, existe P = {Bi } P(B) tal que U (1X , P ) < . Denotemos
I = {i; X Bi = }

claramente X Bi y ademas
iI

> Mi (1X ) vol (Bi ) = vol (Bi )
i iI
Analisis Real II 29
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 hipotesis 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 ).
Demostracion. Por hipotesis X y Y tienen m-medida cero.
1. Como (XY ) XY , se sigue que (XY ) tiene m-medida cero y por lo tanto XY J (Rm ).
2. Ejercicio.
3. Sea B un m-bloque compacto tal que X, Y int (B). Sabemos que 1XY + 1XY = 1X + 1Y , luego

vol (X Y ) + vol (X Y ) = (1XY + 1XY ) = 1X + 1X = vol (X) + vol (Y )
B B B
A continuacion, deniremos la integral de una funcion acotada sobre un conjunto J-medible.

Sea X J (Rm ) y f : X R una funcion acotada, consideremos B un m-bloque compacto tal que
X int (B). Denimos la funcion
1X f = fX : B R {
f (x), x X
x 7 fX (x) =
0, xBX
Definicion 1.6.2 Sea X J (Rm ) y f : X R una funcion acotada. Decimos que f es Riemann
Integrable sobre X, lo que denotamos f R(X) si y solo si 1X f = fX R(B), en donde B es un
m-bloque compacto tal que X int (B). En caso armativo denimos

f= fX
X B
Teorema 1.6.4 Sea X J (Rm ), f : X R una funcion acotada y denotemos

Df = {x X; f es discontinua en x}
Se cumple f R(X) si y solo si Df tiene m-medida cero.
Demostracion. En primer lugar armo que Df DfX Df X. En efecto: Supongamos que

Df (Rm DfX ) = (Hip. Aux.) y tomemos x Df con x / DfX entonces (xk ) X tal que
lim xk = x y lim f (xk ) = f (x). Como fX es continua en x entonces lim fX (xk ) = fX (x), luego
k k k
lim f (xk ) = f (x) contradiccion! esto prueba que x DfX . El otro contenido es analogo, y as la
k
armacion esta probada. Como X J (Rm ), X tiene m- medida cero, luego f R(X) si y solo si
fX R(B) si y solo si DfX tiene m-medida cero si y solo si Df tiene m-medida cero.
Analisis Real II 30
Teorema 1.6.5 Dado X J (Rm ), se cumple

1. Si f R(X) y c R entonces cf R(X) y cf = c f.
X X

2. Si f, g R(X) entonces f + g R(X) y (f + g) = f+ g.
X X X

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
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 solo si f + , f R(X).

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).

9. Si f R(X) y vol (X) = 0 entonces f = 0.
X
Demostracion. 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). Ademas

(f + g) = (f + g)X = (fX + gX ) = fX + gX = f+ g
X B B B B X X
Las demas son analogas.

Observacion: Si X J (R ), entonces R(X) es una R-algebra.
m
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
f = f (x0 ) vol (X)
X
Demostracion. 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

m vol (X) = m f M = M vol (X)
X X X
Analisis Real II 31

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 solo si f R(X) y
X

f Y R(Y ). En caso armativo

f+ f= f+ f
XY XY X Y
En particular, si int (X Y ) = entonces

f= f+ f
XY X Y
Demostracion. Se cumple que
D D Df D D X Y
f f f f
X Y X Y
Como X, Y J (R ) se tiene que X y Y tienen m-medida cero, luego f

m
R(X Y ) si y solo si Df
tiene m-medida cero si y solo si D y D tienen m-medida si y solo 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 fXY , fXY :
B R, se cumple fXY + fXY = fX + fY , luego

f+ f= fXY + fXY = fX + fY = f+ f
XY XY B B B B X Y
Finalmente
como X, Y J (Rm ) 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.
XY
Corolario 1. Si X, Y J (Rm ), Y X, f R(X) e int (X Y ) = entonces

f= f
X Y
Demostracion. Como X = (X Y ) Y , (X Y ) Y = y X Y J (Rm ) entonces

f= f+ f
X XY Y
Ademas como int (X Y ) = , por el ejercicio vol (X Y ) = 0, luego

f= f+ f= f
X XY Y Y
Corolario 2. Sean X J (Rm ) y f R(X). Si U = int (X) entonces

f= f
X U
Analisis Real II 32
entonces U X luego U J (R ) e int (X U ) = int (X) = .

m
Demostracion. Como U = int (X)
Luego, por el Corolario 1: f= f.
X U
Observacion: En virtud del corolario anterior, de ahora en adelante podemos suponer que las integrales
se realizan sobre conjuntos abiertos J-medibles.

Sea X J (Rm ), se puede usar el Teorema 1.6.1 para calcular f , puesto que, por denicion
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 denida

por
2
f (x, y) = xe y +1
. Como f C(R ) entonces f C(X) R(X), nos proponemos hallar
2
f , para
X
ello consideremos el 2-bloque B = [2, 2] [2, 2] y la funcion
fX : B R {
f (x, y), si (x, y) X
(x, y) 7 fX (x, y) =
0, si (x, y) B X
es decir
{
fX (x, y) = xe y 2 +1
, si 1 x < 1 y 2 o 1 y 2 < x < 1, 1 y 1
0, (x, y) B X
De esta manera
[ 1 ]
1 1y 2 2 2
f= fX = xe y +1
dx + xe y +1
dx dy = 0
X B 1 1 1y 2
Para nalizar la seccion, 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 hipotesis auxiliar
concluimos que f = 1Y R(B). Por el teorema de la integracion iterada, la funcion
L : [0, 1] R
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)). Analogamente, si x
/ X entonces fx = 0. Luego
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
contradiccion. De esta manera Y = X [0, 1] tiene 2-medida cero. Ahora es facil construir un abierto
Analisis Real II 33
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 teora de la integracion

puesto que si U es uno de tales abiertos, con la teora estudiada hasta el momento la integral f no
U
necesariamente estara denida, aun suponiendo que f C(U ).
1.7 Cambio de Variables en la Integral Multiple
Del Analisis en una variable real, tenemos el siguiente resultado: Sea f C([a, b]) y g : [c, d] R tal que
g R([c, d]) y g([c, d]) [a, b]. Entonces
g(d) d
f (x)dx = f (g(t))g (t)dt
g(c) c
No es difcil probar que si g es inyectiva e I = ]c, d[ , entonces

f = (f g) |g |.
g(I) I
La generalizacion de este resultado a integrales multiples 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)] = 0, x U . Si f R(g(U )) entonces

f= (f g) | det Jg|.
g(U ) U
La demostracion del teorema anterior, usando solo integral de Riemann, es muy complicada y sera
pospuesta hacia el nal, 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 denir la integral de Riemann de una funcion denida sobre un
abierto no necesariamente J-medible, pero para ello se requiere el manejo de particiones de la unidad.
En el calculo, los cambios de variables mas usados son:
1. Coordenadas polares: Es la funcion (x, y) = g(r, ) = (r cos , rsen ), en cuyo caso se tiene

f (x, y)dxdy = f (r cos , rsen )r drd.
g(U ) U
2. Coordenadas cilndricas: Es la funcion (x, y, z) = g(r, , z) = (r cos , rsen , z), en cuyo caso se
tiene
f (x, y, z)dxdydz = f (r cos , rsen , z)r drddz.
g(U ) U
Analisis Real II 34
3. Coordenadas esfericas: Es la funcion (x, y, z) = g(, , ) = ( cos sen , rsen sen , cos ), en
cuyo caso se tiene

f (x, y, z)dxdydz = f ( cos sen , rsen sen , cos )2 sen ddd.
g(U ) U
Captulo 2
Espacios de Medida
2.1 Limitaciones y desventajas de la Integral de Riemann
La integral de Rieman tiene muchas desventajas, tantos teoricas como practicas.

El primer inconveniente que podemos nombrar es la existencia de conjuntos abiertos acotados que no
son J-medibles. Como hemos observado en el Captulo anterior,si 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 facil encontrar una funcion muy discontinua que coincida, salvo un conjunto de medida
cero, con una funcion 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 denidas 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 mas importantes, es que ella
no se comporta bien con respecto al proceso del paso al lmite, esto signica que puede existir una
sucesion de funciones Riemann-integrables cuyo lmite puntual no lo es. Veamos mas detalladamente
estos conceptos.
Sea X Rm , denotaremos por F(X; Rn ) al conjunto de todas las funciones denidas en X y con
valores en Rn . Con las operaciones usuales de suma de funciones y producto de un numero real por una
funcion, el conjunto F(X; Rn ) se torna un R-espacio vectorial.
Definicion 2.1.1 Una sucesion de funciones en F(X; Rn ) es una funcion f : N F(X; Rn ) tal que a
cada numero natural k le asocia una funcion f (k) = fk F(X; Rn ), llamada el k-esimo termino de la
sucesion.
35
Analisis Real III 36
Notacion. En sucesivo el smbolo (fk ) F(X; Rn ) signicara que (fk ) es una sucesion 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 sucesion en Rn . Si la sucesion (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 denir la
k
funcion
f: X Rn
x 7 f (x) = lim fk (x)
k
es decir f F (X; Rn ).
Definicion 2.1.2 Sea (fk ) F (X; Rn ) y f F(X; Rn ). Decimos que la sucesion de funciones (fk )
converge puntualmente a f , lo que escribimos fk f si y solo 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 sucesion (fk ) F(X; R) denida 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 denimos
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 sucesion (fk ) F(X; R) y la funcion f F (X; R) denidas 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
Armo 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 sucesion (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 armacion. 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 lmite, fue
una de las razones para extender el concepto de funcion integrable.
Recordemos que para denir funcion Riemann integrable f : B R, primero tomabamos una par-
ticion del m-bloque B. La idea novedosa de Lebesgue fue la de tomar una particion del intervalo imagen
c = y0 < y1 < < yn1 < yn = d

y aproximar el valor de f mediante
B

n
yj1 + yj ( )
vol f 1 ([yj1 , yj ])
j=1
2

1
Como ejemplo, vamos hallar xdx por este metodo.
0

Para ello, observamos que el integrando f (x) = x cumple f ([0, 1]) = [0, 1], luego, consideramos la
particion (regular)
1 2 n1
y0 = 0, y1 = , y2 = , . . . , yn1 = , yn = 1 (n N)
n n n
se tiene
f 1 ([yj1 , yj ]) = [yj1
2
, yj2 ], 1jn
luego
( ) j2 (j 1)2 2j 1
vol f 1 ([yj1 , yj ]) = yj2 yj1
2
= 2 =
n n2 n2
Las alturas de los rectangulos, seran
yj1 + yj 2j 1
=
2 2n
As

n
yj1 + yj ( ) n
2j 1 2j 1 1 2
n
vol f 1 ([yj1 , 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 1 n
yj1 + yj ( ) 1
xdx = lim vol f 1 ([yj1 , 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 dicultad para calcular la suma

n
yj1 + yj ( )
vol f 1 ([yj1 , yj ])
j=1
2
reside en el hecho de que los conjuntos f 1 ([yj1 , yj ]) pueden ser muy complicados y en general no se le
pueden asignar un volumen (o mas generalmente, una medida).
El primer paso para solucionar este problema sera detectar aquellos conjuntos a los cuales se les pueda
asignar una medida (los cuales seran llamados conjuntos medibles) y luego estudiar aquellas funciones
para las cuales las preimagenes de intervalos siempre sean conjuntos medibles (estas funciones seran
llamadas funciones medibles).
2.2 Espacios medibles
Definicion 2.2.1 Sea X un conjunto no vaco. Una coleccion A de subconjuntos de X es llamada

-algebra en X si y solo si satisface las siguientes propiedades:
1. X A.
2. Si A, B A entonces A B A.

3. Si {Ak }kN A entonces Ak A.
k=1
Si A es una -algebra en X entonces los elementos de A son llamados conjuntos medibles.

Decimos que el par (X, A) es un espacio medible si y solo si X es un conjunto no vaco y A es una
-algebra en X.
Observaciones:
1. El prejo se reere al hecho de que la condicion 3) de la denicion anterior se cumpla para todas
las uniones numerables de conjuntos de la coleccion A.
2. Si cambiamos la condicion 3) por A, B A implica que A B A entonces A es llamada algebra
Booleana o simplemente algebra en X.
3. Toda -algebra es un algebra, pero el recproco no necesariamente es cierto.
Ejemplo 2.2.1 Sea X un conjunto no vaco. 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 tambien un espacio
medible. Concluimos que todo conjunto no vaco X admite dos -algebras 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 vaco, = A X y consideremos A = {, A, Ac , X} entonces

(X, A) es un espacio medible. Mas aun, A es la mas pequena -algebra que contiene al subconjunto A.
Ejemplo 2.2.4 Los subconjuntos de R que son reuniones nitas de intervalos de la forma [a, b[, [a, +[
o ] , b[, es un algebra pero no una -algebra de R.
Proposicion 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 AB = (A B) (B A) A.

5. Si {Ak }kN A entonces Ak A.
k=1
(
)

Demostracion. 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 denir -algebra en X es la siguiente:

Decimos que A es una -algebra en X si y solo si satisface las siguientes propiedades:
(a) X, A.
(b) Si A A entonces Ac = X A A.

(c) Si {Ak }kN A entonces Ak A.
k=1
Queda como ejercicio para el lector mostrar la equivalencia de ambas deniciones.

2. Toda -algebra es una coleccion de conjuntos que es cerrada con respecto al complemento, diferencia,
uniones (nitas y numerables) e intersecciones (nitas y numerables).
Existen otras operaciones entre conjuntos que seran de interes en lo sucesivo.

Definicion 2.2.2 Sea X un conjunto no vaco y {Ak }kN una coleccion numerable de subconjuntos de
X.
1. El lmite superior y el lmite inferior de {Ak }, denotados respectivamente por lim sup{Ak } y
lim inf{Ak } se denen como

lim sup{Ak } = Aj y lim inf{Ak } = Aj
k=1 j=k k=1 j=k
2. Decimos que la coleccion {Ak } tiene lmite si y solo si el lmite superior y el lmite inferior de
{Ak }kN coinciden. En este caso, denotamos por lim{Ak } al valor comun.
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
Conclumos que la sucesion de conjuntos dada tiene lmite y lim{Ak } = .
Proposicion 2.2.2 Sea X un conjunto no vaco y {Ak }kN una coleccion numerable de subconjuntos de
X.
1. Si A1 A2 A3 entonces la coleccion {Ak } tiene lmite y

lim{Ak } = Ak
k=1
2. Si A1 A2 A3 entonces la coleccion {Ak } tiene lmite y

lim{Ak } = Ak
k=1

Demostracion. 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

Conclumos que la sucesion de conjuntos dada tiene lmite y lim{Ak } = Aj .
j=1
Corolario 1. Sea X unconjunto y {Ak }kN una coleccion numerable de subconjuntos de X.

no vaco

Las colecciones Aj y Aj tienen lmite y

j=k j=k
kN kN

lim Aj = lim sup{Ak } y lim Aj = lim inf{Ak }

j=k j=k

Demostracion. Sea Bk = Aj . Se sigue que B1 B2 B3 . Por la proposicion anterior {Bk }
j=k
tiene lmite y

lim{Bk } = Bk = Aj = lim sup{Ak }
k=1 k=1 j=k
Corolario 2. Sea (X, A) un espacio medible y {Ak }kN A entonces lim sup{Ak } A, lim inf{Ak } A
y en caso que exista lim{Ak } A.
Demostracion. Ejercicio!
2.2.3 Si X es un conjunto no vaco y {Ai }iI es una coleccion arbitraria de -algebras en

Proposicion
X entonces Ai es una -algebra de X.
iI
Demostracion. Ejercicio!
Para nalizar la seccion, sea X un conjunto no vaco y consideremos F una familia cualquiera de
subconjuntos de X. Vamos a probar que existe una mnima -algebra de X que contiene a F. En efecto,
denamos
B = {A; A es una -algebra de X y F A}
Claramente B =
. Consideremos
(F) = A
AB
De la Proposicion 2.2.3 se tiene que (F) es una -algebra de X y F (F), ademas, si A es cualquier
-algebra de X que contiene a F entonces por denicion A B, luego (F) A , por tanto (F) es la
mnima -algebra de X que contiene a F. (F) se llama -algebra de X generada por la familia F.
Si (X, ) es un espacio topologico, entonces ( ) es llamada -algebra de Borel y sus elementos son
llamados boreleanos o conjuntos de Borel. En particular, todo conjunto abierto y todo conjunto cerrado
es un boreleano. Tambien lo estan las uniones numerables de conjuntos cerrados (F ), las intersecciones
numerables de conjuntos abiertos (G ) y as sucesivamente. Denotaremos por B(X) al -algebra de Borel
del espacio topologico (X, ).
2.3 Medidas
Definicion 2.3.1 Sea (X, A) un espacio medible. Decimos que la funcion : A [0, ] es una medida
positiva o simplemente medida si y solo si es completamente
( aditiva,
) esto signica que para toda coleccion

numerable y disjunta dos a dos {Ak }kN A se tiene Ak = (Ak ).
k=1 k=1
Decimos que la terna (X, A, ) es un espacio de medida si y solo si X es un conjunto no vaco y A es
una -algebra en X y : A [0, +] es una medida.
Observaciones:

1. En la denicion anterior consideramos (Ak ) [0, +], es decir la suma de la serie puede ser
k=1
un numero real no negativo o incluso el innito.
2. Para evitar casos triviales, haremos siempre la suposicion 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 dene 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 dene como () = 0 y (A) = ,
A A, A = entonces es una medida.
Ejemplo 2.3.3 Sea X un conjunto no vaco y P(X) su conjunto potencia. Ya sabemos que (X, P(X))
es un espacio medible. Si denimos : P(X) [0, +] por
{
card (A), si A es nito
(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 jemos un a X. Denimos 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 jemos un E A. Consideramos E : A [0, +]

denida por E (A) = (A E). Entonces (X,
A, E ) es un espacio de medida. Mas aun, si (E) ]0, [,
(A E)
podemos denir : 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 jemos un E A. Consideramos
AE = {E A; A A}

y E = A : AE [0, +]. Entonces (E, AE , E ) es un espacio de medida.
E
Observacion: Por el momento, vamos a aceptar las siguientes reglas aritmeticas al operar con el innito:
1. a + = , a R
2. + =
No esta denido el valor de
Teorema 2.3.1 Sea (X, A, ) un espacio de medida. Se cumple:
1. () = 0.
( )

n
n
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
Demostracion. 1) Sea A A tal que (A) < , consideramos A1 = A, A2 = A3 = = entonces

{Ak } A es una familia disjunta dos a dos y
( )

(A) = (A ) = Ak = (Ak ) = (A) + ()
k=1 k=1 k=2

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
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 union 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

( )

Ak (Ak ) ( es completamente subaditiva)
k=1 k=1

k1
Demostracion. 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
(
) (
)

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
Demostracion.
1. Consideramos B1 = A1 y Bn = An An1 , n 2. Se sigue que {Bn } es una coleccion disjunta

dos a dos de conjuntos medibles.
No es difcil demostrar que se cumplen:

n

An = Bk , n1 y An = Bk
k=1 n=1 k=1
luego
( ) ( )
( n )

n
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 hipotesis 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 ), k1
Ademas, por teora de conjuntos:

(A1 Ak ) = A1 Ak
k=1 k=1
Reemplazando las dos ultimas igualdades en la primera y teniendo en cuenta que la interseccion
tiene medida nita, llegamos a:
(
) (
)

(A1 ) lim (Ak ) = lim [(A1 ) (Ak )] = A1 Ak = (A1 ) Ak
k k
k=1 k=1
de donde se sigue el resultado.
Observacion: 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 hipotesis (A1 ) es necesaria en la parte 2) del teorema anterior.
2.4 Caracterizacion de una medida. Unicidad
Las -algebras, 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 topologico, su -algebra
de borel ( ) contiene no solamente a los abiertos y los cerrados, sino que tambien 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, vericar que dos medidas, denidas sobre una -algebra, son iguales sera una tarea
muy difcil si es que no contamos con algunos resultados de caracterizacion. En esta seccion, estudiamos
algunos de estos resultados.
Definicion 2.4.1 Sea X un conjunto no vaco. Una coleccion de subconjuntos de X es llamada

-sistema en X si y solo si satisface las siguientes propiedades:
1. .

2. Si {Ak }kN es una sucesion 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)
Proposicion 2.4.1 Sea X un conjunto no vaco y F P(X), existe un mnimo -sistema (F) que
contiene a F
Demostracion. Denimos
B = {; es una -sistema de X y F }
Claramente P(X) B y por tanto B =

. Consideremos

(F) =
B
No es difcil demostrar que (F) cumple las condiciones de la Proposicion.

Notacion: (F) se llama -sistema de X generado por la familia F.
Que relacion existe entre un -sistema y una -algebra?
En primer lugar, observamos que toda -algebra es un -sistema (Ejercicio!), pero el recproco no es
cierto (Ejercicio!). Sin embargo, asumiendo algunas condiciones adicionales, el -sistema se torna una
-algebra
Proposicion 2.4.2 Sea X un conjunto no vaco 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 -algebra de X.
Demostracion. Por i) se tiene que X .

Sea A entonces Ac = X A .
Antes de considerar familias numerables, primeramente veamos el caso nito. 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 }kN , consideremos Bn = Ak . Se sigue que {Bn }nN , B1 B2
k=1
B3 . . .. Por la estabilidad de los -sistemas con relacion a uniones numerables crecientes, se tiene que

Ak = Bn
k=1 n=1
Se sigue que es una -algebra de X.

Observacion: 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 vaco, si F P(X) es un -sistema, entonces (F) = (F)
Demostracion. Como F (F) y (F) es un -sistema entonces (F) (F).

Recprocamente, como (F) es un -sistema tal que X F (F), por la Proposicion 2.4.2, para
demostrar que (F) es una -algebra, es suciente probar que (F) es estable por intersecciones nitas.
Afirmacion: Si F F y A (F) entonces F A (F).
En efecto, dado F F, denimos el conjunto
F = {A (F); A F (F)}
No es difcil 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 Armacion.
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 Armacion 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 nitas sobre (X, A). Suponga que existe
un -sistema F P(X) tal que A = (F).
Si (F ) = (F ), F F entonces = .
Demostracion. Denimos
= {A A; (A) = (A)} A
Afirmacion: es un -sistema. En efecto, es claro que .

Sea {Ak }kN 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 nitud de las medidas se cumple
(B A) = (B) (A) = (B) (A) = (B A)
luego B A . La Armacion esta probada.

Como por hipotesis F , se tiene que (F) . Por el Teorema 2.4.3 y la hipotesis
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 verica las tres condiciones siguientes:
1. F es un -sistema y (F) = A.
2. (F ) = (F ), F F .

3. Existe {Fn }nN F tal que F1 F2 , X = Fn y (Fn ) = (Fn ) < .
n=1
Entonces = .
Demostracion. Fijemos n N y consideremos n , n : A [0, +] denidas por
n (A) = (A Fn ), n (A) = (A Fn ), AA
Se sigue que n y n son medidas nitas 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
Definicion 2.5.1 Sea X = y consideremos su conjunto potencia P(X). Una medida exterior en X es
una funcion e : P(X) [0, +] que verica las tres condiciones siguientes:
1. e () = 0.
2. P Q e (P ) e (Q).
(
)

3. Si {Pk }kN 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
denicion 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, ), denimos la funcion : P(X) [0, +] como
(P ) = inf {(A); A A y P A} , P P(X)
Entonces es una medida exterior en X.

Demostracion. No es difcil probar que satisface las dos primeras condiciones de la Denicion 2.5.1.
Para demostrar la tercera condicion, consideremos {Pk }kN P(X), dado > 0 para cada k N tenemos
que (Pk ) < (Pk ) + 2k , luego, por la denicion de nmo, tenemos que existe Ak A con Pk Ak
tal que (Ak ) < (Pk ) + 2k .

Como Ak A y Pk Ak entonces
kN kN kN
(
) (
)

Pk Ak (Ak ) [ (Pk ) + 2k ] = (Pk ) +
k=1 k=1 k=1 k=1 k=1
Como el > 0 fue arbitrario, la condicion 3. se sigue.

Observacion: 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 }kN P(X).
1. Si P1 P2 P3 entonces (lim{Pk }) = lim (Pk )

k

2. (lim inf{Pk }) lim inf{ (Pk )}
Demostracion. 1. Por la parte 1 de la Proposicion 2.2.2 tenemos

Pk Pj = lim{Pk }, kN
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 denicion de nmo 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 Proposicion 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 }kN 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
k1 jk jk
Luego, dado k N, existe jk k tal que (Pjk ) < + .

De otro lado, por el Corolario 1 a la Proposicion 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 ) < + , kN
j=k
y por tanto (lim inf{Pk }) + , > 0. De aqu, la desigualdad se sigue.
Definicion 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 = y sea e : P(X) [0, +] una medida exterior en X.
Denimos

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.
Demostracion. Vamos a empezar demostrando que A es una -algebra en X. Es claro que X A y

que si A A entonces Ac A.
Afirmacion 1: A, B A entonces A B A. En efecto, sea P X, por denicion de A tenemos:
e (P ) e (A P ) + e (Ac P ) y e (P ) e (B P ) + e (B c P )
Sumando:
2e (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 simplicando, 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 union 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 Armacion 1 esta probada.

De la Armacion 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 nitas y uniones nitas.
Afirmacion 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), QX
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 Armacion 2.

Sea {A1 , . . . , An } A familia disjunta dos a dos, aplicando induccion a la Armacion 2 se llega a
(( n ) )
n
e Ak P e (Ak P ), P X
k=1 k=1

Sea {Ak }kN 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
(( ) ) (( )c ) (( )c )

n
n
n
n
e (P ) e Ak P + e Ak P e (Ak P ) + e Ak P
k=1 k=1 k=1 k=1
( )c

n
n
Como Ak A entonces Ac P Ak P , tomando medida y reemplazando en la
k=1 k=1
desigualdad anterior

n
e (P ) e (Ak P ) + e (Ac P ), nN (2.3)
k=1
Tomando lmite cuando n y usando la subaditividad de la medida exterior se llega a

( )

e (P ) e (Ak P ) + e (A P ) e
c
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 }kN A es una familia arbitraria, entonces podemos construir una familia

{Bk }kN 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 union esa en A y por tanto Ak A. Esto prueba que A es una
k=1
-algebra.

Para probar que = e : A [0, +] es una medida, sea {Ak }kN A familia disjunta dos a dos
A

y denotemos A = Ak . Se cumple:
k=1
(
)

(A) = e (A) = e Ak e (Ak ) = (Ak )
k=1 k=1 k=1

Para demostrar la otra desigualdad, ya sabemos (por 2.3) que e (P ) e (Ak P ) + e (Ac P ),
k=1

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 -algebra L y una medida completa y -nita : 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 construr una medida exterior en Rn que respete el volumen y luego
aplicar el Teorema de Caratheodory.

n
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 nitas de miembros de F. No es difcil probar que si
C, D C entonces C D, C D, C D C.
Observacion: C {Rn } es un algebra en Rn .

m
Sea C C, por denicion existen {B1 , . . . , Bm } F tales que C = Bk . Sin perdida de generalidad,
k=1
podemos tomar {B1 , . . . , Bm } F disjuntos dos a dos y de esta manera podemos denir el volumen de
C como

m
vol (C) = vol (Bk )
k=1
Se puede demostrar que el volumen de C esta bien denido, es decir, si {B1 , . . . , Br } F es otra

r
m r
coleccion disjunta dos a dos tal que C = Bk entonces vol (Bk ) = vol (Bk ).
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 )
Lema 2.6.1 Sea {Ck }kN C tal que C1 C2 C3 y lim{Ck } = . Entonces lim vol (Ck ) = 0.
k

Demostracion. Por denicion Ck = Bjk , donde Jk es un conjunto nito de ndices y {Bjk }jJk F
jJk
es disjunta dos a dos.

Para cada k N, denotemos por Bjk al transformado de Bjk por la homotecia Hk de centro el de
Bjk y de razon k , donde 0 < k < 1. (Mas especcamente, denotando I ]a] = ]a , a + ], entonces
n n
B= Im ]am ] F , luego B = Hk [B] = Ik m ]am ] F ). Note que lim Hk [B] = B.
k 1
m=1 m=1

Sea Ck =
Bjk , es claro que Ck Ck pero no necesariamente se cumple C1 C2 C3 .
jJk
Para seguir trabajando con sucesiones encajantes de conjuntos, denimos
Dk = C1 C2 Ck , kN
La sucesion {Dk } C satisface:
1. D1 D2 D3
2. Dk Ck , k N.
3. Ck Dk (C1 C1 ) (Ck Ck )

Dado > 0, para cada k N, elegimos k sucientemente proximo a 1 tal que vol (Ck Ck ) < k ,
2
luego
k k

vol (Ck Dk ) vol (Cj Cj ) < <
j=1 j=1
2j
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 }kN F familia disjunta dos a dos, tal que

U= Bk .
kN

Ademas, si {Bk }kN F es otra familia disjunta dos a dos, tal que U = Bk entonces
kN

vol (Bk ) = vol (Bk )
k=1 k=1
Demostracion. Haremos la demostracion para el caso n = 2. Denimos 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 , kN
2 2 2 2
Observe que su 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 Fk+1 entonces B B o B B = .
Denimos
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}

Afirmacion: U = B . En efecto, por construccion es obvio que B U .
kN BFk (U ) kN BFk (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
y x2 = (y1 x1 )2 + (y2 x2 )2 < 2k
+ 2k < + = r2
2 2 2 2
que y Br (x)
Se sigue U . Hemos probado que existe k N y existe Bk Fk tal que Bk U , es decir

U B . La armacion esta probada.
kN BFk (U )
Sean {Bk }kN , {Bk }kN F familias disjunta dos a dos, tales que

Bk = U = Bk
kN kN

h
k
Fijemos h N y consideremos B = Bk C. Para k N, denotemos Ak = Bj C y Ck = B 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 = (B Ak ) (B Ack ) = (B Ak ) Ck , se tiene que vol (B ) = vol (B Ak ) + vol (Ck ),
k N. Por tanto vol (B ) = lim vol (B Ak ). Pero
k

k
vol (B Ak ) vol (Ak ) = vol (Bj ), k N
j=1
luego

h

vol (Bk )
= vol (B ) vol (Bk )
k=1 j=1

y como el h N fue arbitrario, tenemos vol (Bk ) vol (Bj ). Por simetra, se obtiene la otra
k=1 j=1
desigualdad.
Sea U Rn , por la primera parte del teorema anterior, existe {Bk }kN F familia disjunta dos a
dos, tal que
U= Bk .
kN
Denimos

vol (U ) = vol (Bk )
k=1
La segunda parte del teorema anterior establece la buena denicion 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)+.
( )

4. Si {Uk } es una coleccion numerable de abiertos de R entonces vol
n
Uk vol (Uk ).
k=1 k=1
Aprovechando el volumen de abiertos en Rn , podemos denir una medida exterior en Rn .
Teorema 2.6.2 La funcion e : P(Rn ) [0, +] denida por
e (P ) = inf { vol (U ); U Rn es abierto tal que P U }
es una medida exterior en Rn .
Demostracion. 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

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

Como Uk R es abierto,
n
Pk Uk y desde que vol Uk vol (Uk ), entonces
k=1 k=1 k=1 k=1 k=1
(
) (
)

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.

Observacion: No es difcil probar que si B F entonces e (B) = vol (B). Ademas es claro que
e (U ) = vol (U ), U Rn abierto. De esta manera la funcion 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 -nita y completa.

2. F L y (B) = vol (B), B F
3. U Rn es abierto, entonces U L y (U ) = vol (U ).
Demostracion. 1. Por el Teorema de Caratheodory (Rn , L, ) es un espacio de medida completa.

Despues de demostrar la parte 2, probaremos que es -nita.
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 e (B) = vol (B), B F .
Ahora podemos probar que la medida es -nita, 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 .
kN

3. Sea U Rn abierto, existe {Bk } F L tal que U Bk , luego U L y, por la observacion
kN
(U ) = e (U ) = vol (U ).
Observaciones:
1. L es llamada la -algebra 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 .
2. Se puede demostrar que L contiene estrictamente a los boreleanos B(Rn ).
3. Se puede demostrar que existen subconjuntos de Rn que no son Lebesgue-medibles.
Teorema 2.6.4 Las siguientes armaciones 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 ) < .
Demostracion. (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 }kN 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
(
)

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) < , kN
k
Tomando lmite se sigue que e (Z) = 0, luego
e (Z P ) + e (Z c P ) e (Z) + e (P ) = e (P ), P Rn
( )

Se sigue que Z L, luego Z L y como A =
c
Uk Z c , se sigue que A L.
k=1
Queda como ejercicio para el lector demostrar la equivalencia entre 1. y 3.
1. El teorema anterior establece una interesante conexion entre los conjuntos Lebesgue-medibles y la
topologa usual de Rn . En efecto, la equivalencia 1. 2. nos dice que un conjunto es medible si y
solo si se puede convertir en un abierto anadiendole un conjunto medible, de medida tan pequena
como se quiera.
2. La equivalencia 2. 3. establece que un conjunto es medible si y solo si se puede convertir en un
cerrado quitandole un conjunto medible, de medida tan pequena como se quiera.
Teorema 2.6.5 Sea A Rn un conjunto medible.
1. Existe {Uk } Rn coleccion numerable de abiertos que contienen a A y U1 U2 U3 tales

que
lim (Uk ) = (A)
k
2. Existe {Kj } Rn coleccion numerable de compactos contenidos en A y K1 K2 K3 tales

que
lim (Kj ) = (A)
j
1
Demostracion. 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 coleccion numerable de abiertos que contienen
j=1
a A, con U1 U2 U3 y que cumple
(A) (Uk ) (Vk ) = (Vk A) + (A), kN
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, denimos Kj = Bj [0] F , se sigue que {Kj } Rn es una coleccion 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, denimos
2
Kj = Bj [0] F , se sigue que {Kj } R es una coleccion numerable de compactos contenidos en A y
n
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 ) <
es decir lim (Kj ) = (A).

j
Para nalizar la seccion, vamos a probar que la medida de Lebesgue es invariante por traslaciones.
Recordemos que si jamos a Rn , la funcion Ta : Rn Rn denida por Ta (x) = x + a, es llamada
traslacion. Es claro que toda traslacion es un homeomorsmo, con inversa Ta1 = Ta .
Analogamente, si jamos R , la funcion H : Rn Rn es llamada homotecia de razon denida
por H (x) = x. Es claro que toda homotecia es un homeomorsmo, con inversa H1 = H1 .
Teorema 2.6.6 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)

Demostracion. Haremos la demostracion para la traslacion 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 coleccion numerable, disjunta dos a dos, tal que

U= Bk . Se sigue que {Ta [Bk ]} F tambien es una coleccion numerable, disjunta dos a dos, tal que
k=1

Ta [U ] = Ta [Bk ]. De esta manera
k=1

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 Ta1 [U ] Rn es abierto y

P Ta1 [U ], luego
e (P ) vol (Ta1 [U ]) = vol (Ta [U ]) = vol (U )
Se sigue que e (P ) e (Ta [P ]). Analogamente 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 Ta1 [P ] + e Ta Ac Ta1 [P ]
= e (A Ta1 [P ]) + e (Ac Ta1 [P ])
e (Ta1 [P ]) = e (P )
De aqu se sigue que Ta [A] L y (Ta [A]) = (A).
2.7 Algunos aspectos teoricos de la medida de Lebesgue en Rn
De acuerdo a las notaciones de la seccion anterior, decimos que un conjunto E Rn tiene medida (de
Lebesgue) cero si y solo si E L y (L) = 0. Recordemos que en el Captulo 1 denimos conjuntos de
medida cero Existe una relacion 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 U(Rn ), E U }
Dado > 0, existe U U(Rn ), con E U tal que vol (U ) < .

Por otro lado, como U Rn , existe {Bk }kN F , coleccion disjunta dos a dos, tal que U = Bk ,
k=1
y por tanto:

E Bk y vol (Bk ) = vol (U ) <
k=1 k=1
Luego E tiene n-medida cero.

Recprocamente, sea E conjunto de n-medida cero, dado > 0, existe {Bk }kN coleccion de n-bloques

abiertos, tales que E Bk y k=1 vol (Bk ) < . Denotando U = Bk , tenemos que U U(Rn )
k=1 k=1
y 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.
Sabemos que B(Rn ) L. Vamos a demostrar que el contenido es estricto, inclusive en dimension
1. En efecto, Rn tiene base numerable de abiertos, como B(Rn ) es generada por esta base, se puede
dmostrar que
card (B(Rn )) = 20 = 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) = 21 = 2
Conclumos que la mayora de subconjuntos de C no son boreleanos.
Otra pregunta interesante, sera Existen subconjuntos de Rn que no son medibles?
El siguiente Teorema responde a la interrogante planteada.
Teorema 2.7.1 Si A R es tal que P(A) L entonces (A) = 0
Demostracion: En R denimos la siguiente relacion: x y si y solo si x y Q. No es difcil vericar

que es una relacion de equivalencia en R (Ejercicio!)
Dentemos por E al conjunto obtenido de la eleccion de un representante de cada clase del conjunto
cociente R/Q.
Afirmacion 1: (E + r) (E + s) = , r, s Q, r = 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 = x y por tanto s r = 0 lo cual es una contradiccion.

Afirmacion 2: R = (E + r). En efecto, sea x R entonces [x] R/Q, sea y E tal que x y,
rQ
entonces r = x y Q. Por tanto x = y + r E + r.
Sea t Q, denimos At = A (E + t) A. Por hipotesis At L.

Sea K Kt compacto, denotemos Q [0, 1] = {qj }jN y sea H = (K + qj ) (union disjunta). Se
j=1
sigue que H L y H es acotado. Por tanto (H) < .
Por otro lado, como K At E + t entonces {K + qj }jN L es una familia disjunta dos a dos,
luego, por la invarianza de con respecto a las traslaciones:

(H) = (K + qj ) = (K)
j=1 j=1
Se sigue que (K) = 0.

Como K At fue cualquier compacto, del Teorema 2.6.5 conclumos que (At ) = 0, t Q.

Finalmente, A = A R = A (E + t) = [A (E + t)] = At . Se sigue que (A) = 0.
tQ tQ tQ
Supongamos que L = P(R) (Hip. Aux.) entonces (R) = 0, lo cual es una contradiccion.

Libro (1) (1) 3336

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Libro (1) (1) 3336

Uploaded by

Copyright:

Available Formats

Analisis Real III

1.1 La Definicion de Integral sobre m-bloques

Decimos que B Rm es un bloque m-dimensional o simplemente m-bloque si y solo si B es producto

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

I1 Ik1 {ak } Ik+1 Im o I1 Ik1 {bk } Ik+1 Im

1. Una particion 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 particion 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 funcion acotada. Si Q es

Demostracion. Sean P = P1 Pm , Q = Q1 Qm P(B) donde Q es un renamiento de

es claro que se cumplen las siguientes desigualdades

La otra desigualdad se demuestra de manera analoga.

L(f, P ) U (f, Q) P, Q P(B).

Demostracion. Sean P, Q P(B), sabemos que P + Q P(B) es un renamiento comun 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 funcion acotada y jemos P0 P(B).

f = sup{L(f, P ); P P(B) y P es renamiento de P0 }

Demostracion. Probaremos solo la segunda igualdad, la demostracion de la primera es similar. Es claro

De aqu se sigue el resultado.

anterior, surge de manera natural la siguiente interrogante Existe f : B R acotada

Ejemplo 1.1.1 Sea B = [0, 1] [0, 1] y denamos 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 denamos f : B R mediante

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

Observacion: Sea B un m-bloque compacto, f : B R una funcion acotada. Si f R(B) entonces

Demostracion. () Por hipotesis

Definicion 1.1.3 Sea X Rm y f : X R una funcion acotada. La oscilacion de f sobre el conjunto

Proposicion 1.1.3 Sea X Rm y f : X R una funcion 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 contradiccion. La parte 2.) es evidente.

lo cual prueba el resultado.

Demostracion. Consecuencia directa del Teorema 1.1.2 y la parte 3 de la proposicion anterior.

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

1.2 Propiedades Basicas de la Integral sobre m-Bloques Com-

Teorema 1.2.1 Si B es un m-bloque compacto y

Demostracion. 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

Demostracion. 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 )

Analogamente Mi (cf ) = c Mi (f ). Luego

Analogamente 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

Demostracion. 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

Demostracion. Por hipotesis y el lema anterior

2. El operador : R(B) R es monotono, es decir si f, g R(B) con f g entonces (f ) (g).

Definicion 1.2.1 Sea X Rm y f, g : X R

1. El maximo de f y g, y el mnimo de f y g son las funciones max{f, g}, min{f, g} : X R denidas

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

1. De las deniciones de maximo y mnimo se sigue directamente que:

Lema 1.2.2 Si B es un m-bloque compacto y f : B R una funcion 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)

Demostracion. Sea P = {Bi } P(B). Armo que

En efecto, consideremos tres casos: