Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Teoria de La Medida e Integracion PDF
Teoria de La Medida e Integracion PDF
Marzo 2002
2
Índice general
1. Elementos Previos 7
1.1. Elementos y Subconjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2. Uniones Disjuntas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3. Cardinalidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.4. Espacios Métricos y Topológicos . . . . . . . . . . . . . . . . . . . . . . . 10
1.5. Convergencia y Completitud . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.6. Espacios Normados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.7. Continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.8. Compacidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2. Clases de Conjuntos 21
2.1. Algebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.2. Sigma-Algebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.3. Algebras y -álgebras generadas . . . . . . . . . . . . . . . . . . . . . . . 22
2.4. Colecciones Monótonas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3. Medida 27
3.1. Funciones de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3.2. Medidas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3.3. Medidas Exteriores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
3.4. Construcción de Medidas Exteriores . . . . . . . . . . . . . . . . . . . . . 31
3.5. Medidas Inducidas por Medidas Exteriores . . . . . . . . . . . . . . . . . . 32
4. Extensión de Medidas 39
4.1. El Teorema de Carathéodory . . . . . . . . . . . . . . . . . . . . . . . . . 39
4.2. Completación de Medidas . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
4.3. La Medida de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
4.4. Un conjunto que no es Lebesgue Medible . . . . . . . . . . . . . . . . . . . 42
4.5. La Medida de Lebesgue-Stieltjes . . . . . . . . . . . . . . . . . . . . . . . 42
5. Integración 45
5.1. Funciones medibles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
5.2. Funciones Simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
5.3. Integración de Funciones Positivas . . . . . . . . . . . . . . . . . . . . . . 48
5.4. El Teorema de la Convergencia Monótona de Lebesgue . . . . . . . . . . . 50
5.5. El Lema de Fatou . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
5.6. El Teorema de la Convergencia Dominada de Lebesgue . . . . . . . . . . . 54
5.7. Comparación con la integral de Riemann . . . . . . . . . . . . . . . . . . . 54
4 ÍNDICE GENERAL
6. Los Espacios Lp 59
6.1. Funciones Convexas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
6.2. La Desigualdad de Jensen . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
6.3. Las Desigualdades de Hölder y Minkowki . . . . . . . . . . . . . . . . . . 60
6.4. Los Espacios Lp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
7. Medidas Signadas 69
7.1. La Descomposición de Hahn . . . . . . . . . . . . . . . . . . . . . . . . . . 69
7.2. La Descomposición de Jordan . . . . . . . . . . . . . . . . . . . . . . . . . 70
7.3. Continuidad Absoluta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
7.4. El Teorema de Radon-Nikodym . . . . . . . . . . . . . . . . . . . . . . . . 72
7.5. El Teorema de la Descomposición de Lebesgue . . . . . . . . . . . . . . . 74
10.Respuestas 91
10.1. Capítulo 1, página 16 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
10.2. Capítulo 2, página 24 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
10.3. Capítulo 3, página 35 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
10.4. Capítulo 4, página 43 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
10.5. Capítulo 5, página 55 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
10.6. Capítulo 6, página 65 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
10.7. Capítulo 7, página 76 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
10.8. Capítulo 8, página 82 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
ÍNDICE GENERAL 5
Prefacio
1
De…nición 1 Se dice que la sucesión (An )n=1 es monótona creciente si para todo n 1
S
1
se tiene An An+1 . Esta situación la denotaremos por An " A en donde A = An .
n=1
1
Análogamente diremos que la sucesión (An )n=1 es monótona decreciente si para
todo n 1 se tiene An An+1 y denotaremos esta situación por el símbolo An # A en
T
1
donde A = An .
n=1
1
Diremos que la sucesión (An )n=1 es monótona si es monótona creciente o monó-
tona decreciente.
1
De…nición 2 Sea (An )n=1 una sucesión de subconjuntos de , entonces los conjuntos
l m sup An y l m inf An se denominan respectivamente límite superior y límite inferior de
n!1 n!1
la sucesión y están de…nidos por las siguientes identidades:
1 [
\ 1
l m sup An = Ai
n!1
n=1 i=n
[1 \ 1
l m inf An = Ai
n!1
n=1 i=n
l m An = l m sup An = l m inf An :
n!1 n!1 n!1
Es fácil demostrar (ver Problema 3) que toda sucesión monótona tiene límite.
1.3. Cardinalidad
Se dice que dos conjuntos A y B tienen la misma cardinalidad si existe una función
' : A ! B biyectiva. En este caso escribiremos que jAj = jBj. Es fácil ver que la relación
de cardinalidad es una relación de equivalencia en la categoría de todos los conjuntos y
en consecuencia podemos de…nir el número cardinal o cardinalidad de A como la clase de
equivalencia de A.
Todo conjunto A que tenga la misma cardinalidad que In = f1; 2; : : : ; ng N
para algún n 2 N se dirá que tiene cardinalidad …nita n o que es un conjunto …nito con
n elementos, en caso contrario diremos que A es in…nito o que tiene cardinalidad in…nita.
Denotaremos por @0 la cardinalidad de N.
Cardinalidad 9
Demostración. La aplicación ' : A ! P(A) dada por '(a) = fag es una función
inyectiva. Supongamos ahora que existe una función biyectiva f : A ! P(A). De…namos
B = fa 2 A : a 2 = f (a)g. Como B 2 P(A) y f es epiyectiva, se deduce que debe existir
b 2 A tal que f (b) = B. Pero esta última observación nos lleva a una contradicción puesto
que ahora es fácil deducir que b 2 B y b 2= B. Esto concluye la demostración.
Ejemplo 5 Es posible demostrar que jP(N)j = jRj, por lo tanto de acuerdo a la proposi-
ción anterior se tiene:
jNj = @0 < c = jRj :
La cardinalidad de R se conoce como la cardinalidad del continuum y se denota por c. La
Hipótesis del Continuum postula que no existe número cardinal tal que @0 < < c.
Se ha demostrado que esta hipótesis es independiente del Axioma de Elección y los otros
axiomas básicos de la teoría de conjuntos (ver Bibliografía, P.J. Cohen).
P
1
jAj = (fng N) = jN Nj = jNj :
n=1
El par ordenado (X; d) se conoce como espacio métrico. Cuando la métrica d esté
clara del contexto, diremos simplemente ”el espacio métrico X”.
Si x 2 X y r > 0, entonces el conjunto
1. G X se dice que es un conjunto abierto si para todo x 2 G, existe r > 0, tal que
B(x; r) G.
Si G es abierto y x 2 G, diremos que el conjunto abierto G es una vecindad de x.
Fr(A) = A \ X A
Sea
A = f(1=n; 1=m) : m; n 2 Ng :
Entonces
1) A = A [ f(0; 0)g [ f(0; 1=n) : n 2 Ng [ f(1=n; 0) : n 2 Ng :
2) A =
3) Fr(A) = A \pAc = A \ (R R) = A.
4) diam(A) = 2:
1. ;X 2 T :
S
2. Si fG g es una colección arbitraria de abiertos, entonces G es abierto.
T
n
3. Si G1 ; G2 ; : : : ; Gn son n conjuntos abiertos, entonces Gk es abierto.
k=1
1. ; X 2 F:
T
2. Si fF g es una colección arbitraria de cerrados, entonces F es cerrado.
S
n
3. Si F1 ; F2 ; : : : ; Fn son n conjuntos cerrados, entonces Fk es cerrado.
k=1
1. ;X 2 T
S
2. Si fG g es una colección arbitraria en T , entonces G 2T.
T
n
3. Si G1 ; G2 ; : : : ; Gn son n conjuntos en T , entonces Gk 2 T .
k=1
En este caso diremos que el par (X; T ) es un espacio topológico y los conjuntos
de T se conocerán como conjuntos abiertos.
Sea X0 X: Es fácil veri…car que la colección:
T \ X0 = fG \ X0 : G 2 T g ;
l m xn = x; l m xn = x; xn ! x:
n!1
De…nición 22 Sea (X; d) un espacio métrico y (xn ) una sucesión en X. Diremos que la
sucesión (xn ) es de Cauchy si:
Nota 26 Es un hecho fundamental del análisis que R y C, así como en realidad todos los
espacios Rn ; son espacios métricos completos.
d(x; y) = kx yk ;
es posible demostrar que lp es un espacio de Banach. Estos espacios son un caso especial
de los espacios Lp que de…niremos más adelante.
1.7. Continuidad
De…nición 31 Sean (X; d1 ) e (Y; d2 ) dos espacios métricos y f : X ! Y una función.
Diremos que f es continua en x0 2 X, si:
La clase de las funciones continuas es quizás la clase de funciones que más éxito
ha tenido en todas las matemáticas, tanto por sus múltiples propiedades como por ser las
funciones de elección cuando se trata de modelar algún fenómeno natural. Una subclase
de estas funciones la constituye la clase de las uniformemente continuas:
Note que a diferencia de la simple continuidad, la continuidad uniforme exige que haya
un módulo de continuidad ( ) uniforme para todos los elementos del dominio.
De…nición 36 Sea (fn ) una sucesión de funciones reales de…nidas en el espacio metrico
(X; d). Diremos que la sucesión (fn ) converge puntualmente a la función f : X ! R si
para todo x 2 X y para todo > 0, existe un natural N 2 N tal que
De…nición 37 Sea (fn ) una sucesión de funciones reales de…nidas en el espacio metrico
(X; d). Diremos que la sucesión (fn ) converge uniformemente a la función f : X ! R si
para todo > 0, existe un natural N 2 N tal que
Proposición 38 Sea (fn ) una sucesión de funciones reales de…nidas en el espacio metrico
(X; d) que converge uniformemente a la función f : X ! R. Entonces si cada función fn
es continua, también lo es f:
Compacidad 15
1.8. Compacidad
De…nición 39 Sea (X; T ) un espacio topológico. Una clase fG g de subconjuntos de X
se dice que es
S un recubrimiento abierto de X si G es abierto para cada y además se
cumple que G = X.
Proposición 47 Sea (X; d) un espacio métrico. Entonces las siguientes propiedades son
equivalentes:
(1) (X; d) es un espacio compacto.
(2) (X; d) es un espacio secuencialmente compacto.
(3) (X; d) tiene la propiedad de Bolzano-Weierstrass.
(4) (X; d) es completo y totalmente acotado.
2.1. Algebras
De…nición 50 Sea A una colección de subconjuntos de P( ). Diremos que A es un
álgebra en si contiene al conjunto y es cerrada respecto a complementos y uniones.
En otras palabras, cumple con las siguientes propiedades:
(a) 2 A
(b) Si A 2 A, entonces Ac 2 A.
(c) Si A 2 A y B 2 A, entonces A [ B 2 A.
Nota 51 Por inducción se deduce que la colección A cumple la propiedad (c) si y sólo
si es cerrada bajo uniones …nitas, es decir, uniones del tipo A1 [ A2 [ [ An . Por lo
tanto, si la colección A cumple con (c) diremos simplemente que la colección es cerrada
bajo uniones. Más adelante veremos situaciones con uniones in…nitas.
Si A es un álgebra, entonces A también es cerrado bajo intersecciones y diferen-
cias, puesto que:
c
A\B = (Ac [ B c )
A B = A \ Bc:
c
Note que si A es un álgebra, entonces 2 A puesto que = .
Ac = A
A[B = A + (B A).
2.2. Sigma-Algebras
De…nición 53 Una colección A de subconjuntos de P( ) se dice que es un sigma álgebra
( -álgebra) en si contiene a y es cerrada bajo complementos y uniones numerables,
esto es, cumple con las siguientes propiedades:
(a) 2 A
22 Clases de Conjuntos
(b) A 2 A =) Ac 2 A.
S
1
(c) An 2 A; n = 1; 2; : : : =) An 2 A:
n=1
S
1
Ahora como A es un álgebra, la condición (3) implica que Ai 2 A. Esto
i=1
termina la demostración.
Proposición 56 Todo -álgebra A es cerrado respecto a intersecciones contables, esto
es, cumple con:
1
\
1
(An )n=1 A =) An 2 A:
n=1
c
T
1 S
1
Demostración. Basta observar que An = Acn . Esto termina la demostración.
n=1 n=1
Es fácil demostrar (ver Problema 2) que esta intersección es el álgebra más chica que
contiene a C. En otras palabras, si B es un álgebra en que contiene a C, entonces
A(C) B. Esta álgebra se denomina el álgebra generada por C.
De…nición 58 Sea C una familia no vacía de subconjuntos de . De…namos:
\
(C) = fA : A es -álgebra y C Ag :
Es fácil demostrar (ver Problema 3) que esta intersección es la -álgebra más chica que
contiene a C. En otras palabras, si B es una -álgebra en que contiene a C entonces
(C) B. Esta -álgebra se denomina el -álgebra generada por C.
Colecciones Monótonas 23
Nuevamente es fácil ver que M(C) es la familia monótona más chica que contiene a C
(ver Problema 18).
Diremos que A es una álgebra monótona si A es álgebra y es una familia monó-
tona.
jAj A …nito
(A) =
1 A in…nito
(A + B) = (A) + (B)
n P
n
(b) Finitamente aditiva si para toda colección disjunta (Ak )k=1 en C, con Ak 2 C se
k=1
tiene:
P
n P
n
Ak = (Ak )
k=1 k=1
1 P
1
(c) Contablemente aditiva (o -aditiva) si para toda sucesión (Ak )k=1 en C, con Ak 2 C
k=1
se tiene:
P
1 P
1
Ak = (Ak ) :
k=1 k=1
P
1
Recuerde que en las notaciones A+B y Ak la suma signi…ca que los conjuntos
k=1
involucrados son disjuntos.
3.2. Medidas
De…nición 65 Sea A un álgebra en . Diremos que la función : A ! [0; 1] es una
medida …nitamente aditiva si ( ) = 0 y cumple con la propiedad (b). Si la función
además cumple con la propiedad (c) se dirá que es una medida contablemente aditiva o
simplemente una medida. En alguna ocasiones y para enfatizar que el rango de la medida
es [0; 1] hablaremos de medida positiva.
28 Medida
S
1
4.-Observe que A = An0 (An0 An ), por lo tanto de (2) se deduce que:
n=n0
S
1
(A) = (An0 ) (An0 An )
n=n0
1
Pero (An0 An )n=n0 es una sucesión creciente y por lo tanto, podemos aplicar la propiedad
(3) obteniendo:
S
1
(An0 An ) = l m (An0 An );
n=n0 n!1
pero entonces:
(A) = (An0 ) lm (An0 An )
n!1
= (An0 ) (An0 ) + l m (An )
n!1
= lm (An ).
n!1
S
1 T
1
b) Como l m inf An = Ai , se tiene que En " l m inf An en donde En =
n!1 n=1 i=n n!1
T
1
Ai . Luego, de acuerdo a la parte (3) de la Proposición 69 se tiene que:
i=n
1
! 1
!
\ \
l m inf An = l m Ai = l m inf Ai l m inf (An )
n!1 n!1 n!1 n!1
i=n i=n
30 Medida
Note que en esta demostración hemos usado el resultado del Problema 7, página 16, partes
(f) y (g).
T
1 S1
c) Como l m sup An = Ai , se tiene que En # l m sup An en donde En =
n=1 i=n
S
1
Ai . Usar ahora parte (4) de la Proposición 69. Esto termina la demostración.
i=n
Ejemplo 74 Sea (N; P(N); ) en donde es la medida de conteo (ver Ejemplo 71). En-
tonces no es una medida …nita pero si es -…nita. Para ver esto, basta observar que:
1
[
N= fng ,
n=1
y (fng) = 1.
(A [ B) (A) + (B):
S
n
2. Finitamente subaditiva si dados A1 ; A2 ; : : : An en C tal que Ak 2 C, entonces:
k=1
n
X
S
n
Ak (Ak ).
k=1 k=1
S
1
3. Contablemente subaditiva si dados A1 ; A2 ; : : : en C tal que Ak 2 C, entonces:
k=1
1
X
S
1
Ak (Ak ).
k=1 k=1
Construcción de Medidas Exteriores 31
De…nición 78 Sea : P ( ) ! [0; 1]. Entonce se dice que es una medida exterior
en si es monótona, contablemente subaditiva y ( ) = 0. En otras palabras es una
medida exterior si:
1. El dominio de son todos los subconjuntos de .
2. es no negativa, esto es (A) 0 para todo A .
3. es contablemente subaditiva.
4. es monótona.
5. ( ) = 0.
Dado que cumple con (3) y (5), se deduce que toda medida exterior es …nita-
mente subaditiva.
Por ejemplo, la familia de todos los intervalos semicerrados (a; b] es una familia
secuencial de recubrimientos para R. Note que toda álgebra A de subconjuntos de es
una familia secuencial de recubrimientos para .
Sea ahora : A ! [0; 1] una función de conjuntos tal que ( ) = 0. Para cada
A , de…namos:
( 1
)
P
1 [
(A) = nf (En ) : En 2 A; En A. : (3.2)
n=1 n=1
y además:
1
! 1 1 1
[ X X X
An (Enk ) (An ) + = (An ) + :
n=1 n=1
2n n=1
n;k=1
(A) = (A \ E) + (A E) (3.3)
(A \ E c ) + (A Ec) = (A E) + (A \ E) = (A):
(A) = (A \ E) + (A E)
(A E) = ((A E) \ F ) + ((A E) F)
(A \ E) [ ((A E) \ F )) = (A \ E) [ (A \ E c \ F ))
= (A \ E) [ (A \ F \ E c ))
= A \ (E [ (F \ E c ))
= A \ (E [ F );
(A) (A \ (E [ F )) + (A (E [ F ))
n
X
(A \ Fn ) = (A \ Ek ) :
k=1
Note que al escribir la primera ecuación hemos hecho uso de la medibilidad de Fn garan-
tizada por (iv):
(vii) Sea nuevamente E1 ; E2 ; : : : una sucesión disjunta de elementos de A. Demostraremos
S
1
que F = Ek cumple con la igualdad:
k=1
1
X
(A \ F ) = (A \ Ek ) : (3.5)
k=1
(A) = (A \ Fn ) + (A Fn )
n
X
= (A \ Ek ) + (A Fn )
k=1
Xn
(A \ Ek ) + (A F ):
k=1
(A) (A \ F ) + (A F ).
1
! 1
[ X
(A \ F ) (En \ F ) (En \ F ) :
n=1 n=1
Análogamente:
1
X
(A \ F c ) (En \ F c ) : (4.2)
n=1
S
1
existe (An ) en A tal que = An con (An ) < 1 para todo n 1. Como A es un
n=1
álgebra, la sucesión (An ) puede ser considerada disjunta (ver Problema 17, página 36).
Para cada n 1 de…namos:
n (A) = (A \ An ) ; A 2 (A)
n (A) = (A \ An ) ; A 2 (A) .
es una familia monótona que contiene a A (ver Problema 5) y por lo tanto, de acuerdo a
la Proposición 61 se deduce que (A) = C. Esto signi…ca que n (A) = n (A) para todo
A 2 (A). Finalmente como:
1
X 1
X
= n = n = ;
n=1 n=1
S
1 S
1 S
1 S
1 S
1
Como Nn An con En ; An 2 A y An = 0, se deduce que A es
n=1 n=1 n=1 n=1 n=1
cerrada bajo uniones contables.
Que A A es evidente puesto que si E 2 A, entonces E = E [ 2 A.
La Medida de Lebesgue 41
s
Demostraremos ahora que está bien de…nida en A. Supongamos que E1 [ N1 =
E2 [ N2 , en donde E1 ; E2 2 A, N1 A1 ; N2 A2 y (A1 ) = (A2 ) = 0. Entonces como:
E1 E 1 [ N 1 = E2 [ N 2 E2 [ A2
se deduce que (E1 ) (E2 ). De modo similar se deduce que (E2 ) (E1 ) y por lo
s s
tanto está bien de…nida en A. Como ( ) = 0, esto demuestra también que es una
extensión de .
Ahora, si En [ Nn 2 A es una sucesión como arriba, pero disjunta, entonces:
1
! 1 1
!
s X s X X
En [ N n = En [ Nn
n=1 n=1 n=1
1
!
X
= En
n=1
1
X
= (En )
n=1
X1
s
= (En [ Nn ).
n=1
s
Finalmente probaremos la completitud. Suponga que (E [ N ) = (E) = 0 en
donde N A y A; E 2 A con (A) = 0. Entonces H E [ N implica H E [ A 2 A.
Como (E [ A) = 0, se concluye que H = [ H 2 A. Esto concluye la demostración.
xvy , x y 2 Q.
Ejemplo 96 Sea ( ; A) un espacio medible y sean (Y; 1) y (Z; 2) dos espacios topológi-
cos. Considere las siguientes funciones:
f : ( ; A) ! (Y; B( 1 )) y
g : (Y; 1 ) ! (Z; 2 ) :
( ; ) = [ 1; ) \ ( ; 1] :
1
S
1
Demostración. Observe que g (( ; 1]) = fn 1 (( ; 1]). Por lo tanto, de
n=1
acuerdo a la Proposición 97, se tiene que g es medible. Obviamente el mismo resultado se
obtiene si reemplazamos sup por nf en el enunciado de la proposición. Ahora como:
( )
h(x) = nf sup fj ;
k 1 j k
jf j = f + + f
f = f+ f .
Demostración. Sea
Como los conjuntos fx : f (x) 2 (an ; bn )g y fx : g(x) 2 (cn ; dn )g son medibles, entonces
h 1 (( ; 1]) es medible. Esto termina la demostración.
Proposición 102 Sea f : ( ; A) ! [0; 1] una función medible. Entonces existe una
1
sucesión de funciones simples y medibles (sn )n=1 tales que:
(1) 0 s1 s2 f:
(2) sn (x) ! f (x) para n ! 1, para todo x 2 .
1 i 1 i 1
En;i = f ; y Fn = f ([n; 1]).
2n 2n
De…namos: n
n2
X i 1
sn = En;i +n Fn .
i=1
2n
48 Integración
Como los conjuntos En;i y Fn son medibles, se deduce que sn son funciones simples
1
medibles. Es claro que la sucesión (sn )n=1 satisface la condición (1):
Ahora, si x es tal que f (x) < 1, entonces sn (x) f (x) 2 n para todo n
su…cientemente grande; si f (x) = 1, entonces sn (x) = n. Esto demuestra (2). Esto
termina la demostración.
Nota 104 Observe que en la proposición anterior aparece la suma f (x)+g(x) y el produc-
to f (x)g(x). Como el rango de f y g es el intervalo extendido [0; 1] podría muy bien darse
el caso que esta suma y este producto den origen a expresiones del tipo 1 + 1; a + 1;
1 1, 0 1 ó a 1 con a real positivo. Debido a esto y a otras razones que veremos pron-
to (ver De…nición 107), se hace necesario de…nir este tipo de expresiones. Las siguientes
de…niciones, entre otras buenas cualidades, hacen que efectivamente la conclusión 5.4 se
correcta:
Si E 2 A, se de…ne:
Z n
X
sd = k (Ak \ E):
E k=1
La convención 0 1 = 0 debe ser considerada en esta de…nición. Podría suceder que
k = 0 para algún k y que justamente (Ak \ E) = 1.
en donde el supremo se toma sobre todas las funciones simples medibles tales que 0 s
f . Esta integral se conoce como la integral de Lebesgue de f respecto a .
Note que, aparentemente, tenemos dos de…niciones para la integral de f en el caso
que f sea una función simple medible, sin embargo es claro que ambas de…niciones dan el
mismo resultado.
Proposición 109 La integral dada en la De…nición 108, cumple con las siguientes propie-
dades. Las funciones y conjuntos queR aparecen Ra continuación se supone que son medibles:
(a) Si 0 f g, entonces E f dR E
g dR :
(b) Si A B y f 0, entonces A f Rd B
f d R:
(c) Si f 0, y 0 c 1, entonces E cf dR = c E f d :
(d) Si f (x) = 0 para todo xR 2 E, entonces E f d = 0.
(e) Si (E) = 0, entoncesR E
f d R = 0.
(f ) Si f 0, entonces E f d = Ef d :
P
n
Demostración. Sea s = k Ak . Sea E1 ; E2 ; : : : ; una sucesión disjunta de
k=1
1
X
miembros de A, entonces si E = Ej , la aditividad contable de implica que:
j=1
n
X n
X 1
X
'(E) = k (Ak \ E) = k (Ak \ Ej )
k=1 k=1 j=1
X1 Xn 1
X
= k (Ak \ Ej ) = '(Ej ):
j=1 k=1 j=1
50 Integración
Por lo tanto la Ecuación 5.5 se cumple con Eij en lugar de . Como es la unión disjunta
de estos conjuntos Eij con 1 i n; 1 j m, la primera parte del Lema implica que
se cumple la Ecuación 5.5. Esto termina la demostración.
En = fx : fn (x) cs(x)g :
S
Entonces cada En es medible, E1 E2 E3 ,y = En . Ahora observe que:
Z Z Z
fn d fn d c sd :
En En
Z X
1 1 Z
X
fn (x) d = fn (x) d :
n=1 n=1
P
N P
1
Pero como fn (x) " fn (x) para N ! 1, el teorema de la convergencia monótona
n=1 n=1
implica que:
Z X
N Z X
1
fn (x) d ! fn (x) d : (5.11)
n=1 n=1
Usando nuevamente el argumento de la unicidad del límite de una sucesión (note que,
de acuerdo a 5.10, las sucesiones en 5.11 y 5.12 son iguales) de 5.11 y 5.12 se deduce
…nalmente que:
Z X 1 X1 Z
fn (x) d = fn (x) d :
n=1 n=1
es una medida sobre A y para toda función medible g con rango en [0; 1] ; se tiene:
Z Z
gd = gf d : (5.14)
gn (x) = nf fk (x):
k n
Comparando 5.16 y 5.17 (recuerde que si una sucesión tiene límite, entonces este límite
es igual al límite inferior y al superior), se concluye que:
Z Z
l m inf fn d l m inf fn d :
n!1 n!1
siempre que al menos una de las integrales en el lado derecho de 5.18 sea …nita.
Por otro lado y de acuerdo al Ejemplo 96, la función jf j es medible ya que es la
compuesta de f con la función valor absoluto que es continua. Diremos entonces que f es
una función integrable si: Z
jf j d < 1:
R
Note que, en el caso en que f es integrable, la integral E fR d está bien de…nida
R y es un
número real, puesto que f + jf j y f jf j y por lo tanto E f + d < 1 y E f d < 1:
Corolario 116 Sea fn : ( ; A; ) ! [ 1; 1] una sucesión de funciones medibles. Supon-
ga que existe una función integrable g tal que fn g para todo n. Entonces:
Z Z
l m sup fn d l m sup fn d .
n!1 n!1
pero entonces:
Z Z Z Z
gd l m sup fn d = l m inf (g fn ) d = l m inf hn d =
n!1 n!1 n!1
Z Z
l m inf hn d = l m inf (g fn ) d
n!1 n!1
Z Z
= gd l m sup fn d :
n!1
R R R
Simpli…cando por g d se obtiene l m sup fn d l m sup fn d : Esto termina la
n!1 n!1
demostración.
Proposición 117 Sea f : ( ; A; ) ! [ 1; 1] una función integrable. Entonces, para
todo E 2 A se tiene: Z Z
fd jf j d :
E E
Análogamente:
Z Z Z Z Z
fd = f+ d f d f d jf j d :
E E E E E
Por lo tanto: Z Z Z
jf j d fd jf j d :
E E E
Esto termina la demostración.
54 Integración
Gra…camente la condición establece que para todo t 2 (x; y) el punto (t; '(t)) debe estar
sobre o debajo del segmento lineal que une los puntos (x; '(x)) e (y; '(y)).
Ejemplo 123 Si ' : (a; b) ! R es diferenciable, entonces ' es convexa si y sólo si '0 es
monótonamente creciente, esto es a < s < t < b implica que '0 (s) '0 (t):
Como ' es continua, ' f es medible. Integrando ambos lados de 6.3 se tiene:
Z Z Z Z
(' f ) d '(t) d fd + t d 0:
R R
Pero t = fd y d = 1. Reemplazando se obtiene:
Z Z
(' f ) d '( f d ) t+ t 0.
Proposición 128 Sean p y q dos exponentes conjugados con 1 < p; q < 1. Sea ( ; A; )
un espacio de medida. Entonces si f; g : ( ; A; ) ! [0; 1] son dos funciones medibles, se
tiene:
Z Z 1=p Z 1=q
fg d fp d gq d (6.4)
y
Z 1=p Z 1=p Z 1=p
p
(f + g) d fp d + gp d (6.5)
f g
F = ; G= : (6.6)
A B
Entonces: Z Z
p
F d = Gq d = 1:
Si x 2 cumple con 0 < F (x) < 1 y 0 < G(x) < 1, entonces existen reales s y t tales
que:
F (x) = es=p ; G(x) = et=q .
Los Espacios Lp 61
Análogamente:
Z Z 1=p Z 1=q
p 1 (p 1)q
g (f + g) d gp d (f + g) d (6.9)
Evidentemente es su…ciente demostrar 6.5 en el caso que el lado izquierdo sea mayor que
0 y el derecho menor que 1. La convexidad de la función tp para t 2 R implica que:
p
f +g 1 p
(f + g p ) :
2 2
R p
De aquí se deduce que (f + g) d es menor que 1. Dividiendo por este factor en 6.10
se obtiene la desigualdad 6.5. Esto termina la demostración.
De…nición 130 Sea g : ! [0; 1] una función medible y sea S el conjunto de todos los
reales positivos tales que:
g 1 (( ; 1]) = 0:
De…namos el supremos esencial kgk1 de g como:
1 Si S =
kgk1 =
nf S Si S =
6 :
1 S
1
1 1
g (( ; 1]) = g + ;1 ;
n=1 n
Por lo tanto kgkp 1. En particular g(x) < 1 c.t.p., de manera que la serie:
1
X
f (x) = fn1 (x) + fni+1 (x) fni (x)
i=1
se concluye que f (x) = l m fni (x) casi en todas partes. Demostraremos ahora que (fn )
i!1
converge a f en Lp . Sea > 0. Entonces existe N tal que para todo n; m N se cumple
que kfn fm kp < . Fijemos m N . Entonces por el lema de Fatou, se tiene:
Z Z Z
p p p
jf fm j d = jl m fni fm j d = l m jfni fm j d
Z
p p
l m inf jfni fm j d = l m inf kfni fm kp < p :
64 Los Espacios Lp
Luego, para todo m N se cumple que kf fm kp < . De aquí se obtienen dos conclu-
siones:
(1) f fm 2 Lp y como fm 2 Lp , se deduce que f 2 Lp .
(2) Ya que f 2 Lp y kf fm kp < para todo m N , de deduce que (fn )
converge a f en Lp . Esto …naliza la demostración.
Proposición 139 Sea S el conjunto de todas las funciones medibles simples s con soporte
de medida …nita y de…nidas en , esto es
Proposición 144 Sea una medida signada, entonces existen dos conjuntos medibles y
disjuntos P y N tales que P es positivo y N es negativo respecto a y = P + N . Esto
es, es la unión disjunta de P y N .
1
(E0 E1 ) = (E0 ) (E1 ) (E0 ) < 0;
m1
S
1
Es claro que Ei < 1 y como la colección Ek es disjunta, se deduce que (Ek ) ! 0.
i=1
Por lo tanto, de acuerdo a 7.2 se tiene:
1
lm = 0.
k!1 mk
S
1
De aquí se deduce que para todo subconjunto medible F de F0 = E0 Ei se cumple:
i=1
1
(F ) ! 0.
mk 1
Proposición 145 Sea una medida signada y sea P y N una descomposición de Hahn,
en donde P es positivo y N es negativo respecto a . De…namos:
+
(E) = (E \ P );
(E) = (E \ N )
+
entonces y son medidas. Además para todo conjunto medible E se tiene:
+
(E) = (E) (E):
se conoce como la variación total de . Note que j j (E) en general es distinto de j (E)j.
Una medida signada se dice que es …nita (resp. -…nita) si j j es …nita (resp.
-…nita).
Teorema 150 Sean y dos medidas positivas y acotadas en una -álgebra A de sub-
conjuntos de tales que . Entonces existe una única función f 2 L1 ( ) tal que:
Z
(E) = fd (E 2 A). (7.5)
E
P
n
entonces A1 ; A2 ; : : : ; An es una colección disjunta tal que Aj = . Por lo tanto, de
j=1
acuerdo al Corolario 113, si A 2 A se tiene:
Z Z Z
Pn Pn P
n
fn d = fn d = gj d (A \ Aj ) = (A) :
A j=1 A\Aj j=1 A\Aj j=1
= f d + (E \ P ) = fd + P d
E E E
Z
= (f + P ) d :
E
74 Medidas Signadas
Corolario 151 Sean y dos medidas positivas y -…nita en una -álgebra A de sub-
conjuntos de tales que . Entonces existe una única función medible f tal que:
Z
(E) = fd (E 2 A).
E
Entonces: Z
+
(E) = (E) (E) = (f1 f2 ) d :
E
Teorema 153 Sea y dos medidas signadas y -…nitas en una -álgebra A de sub-
conjuntos de . Entonces existe un único par de medidas signadas y -…nitas a y s en
A tal que:
= a + s; a ; s ? : (7.8)
El par ( a; s) se conoce como la descomposición de Lebesgue de respecto a .
El Teorema de la Descomposición de Lebesgue 75
Como C A = fx : f (x) > 0g este resultado implica que ( + )(C) = 0. Ahora como
(C) = 0 se concluye …nalmente que (C) = 0. De…namos ahora:
Es fácil veri…car que esta es la descomposición buscada. Para demostrar la unicidad supon-
ga que existe otra descomposición 0a y 0s satisfaciendo 7.8. Entonces:
0 0 0 0
a a = s s; a a ; s s ? ;
0 0
entonces la Proposición 148 implica que a a = s s = 0. Esto completa la
demostración.
Nota 154 Entre las muchas aplicaciones que tiene el teorema de Radon-Nikodym se en-
cuentra en lugar destacado su uso casi directo en las demostraciones de una serie de
teoremas de representación. En particular se utiliza para representar, mediante una inte-
gral apropiada, operadores lineales continuos de…nidos en espacios vectoriales tan diversos
como* C0 (X) o Lp con 1 p < 1. Estos teoremas llevan el nombre genérico de teoremas
de representación de Riesz.
Ex = fy 2 : (x; y) 2 Eg 2 B:
Ey = fx 2 : (x; y) 2 Eg 2 A.
fx (y) = f (x; y) (y 2 );
f y (x) = f (x; y) (x 2 );
Pero: 8
< Si 1
fy 2 : A (x; y) > g = fy 2 : (x; y) 2 Ag Si 0 <1
:
Si < 0
Por lo tanto todo se reduce a demostrar que la sección Ax = fy 2 : (x; y) 2 Ag pertenece
a B y esto último es cierto por Proposición 156. Esto termina la demostración.
es A-medible y, Z
( ) (Q \ (Aj Bk )) = (Qx \ Bk ) d :
Aj
Sea H la colección de todos los conjuntos en A B tales estas dos propiedades son ciertas.
Como H contiene a todos los rectángulos medibles, el Problema 29, de la página 26 nos
asegura que H = A B en el caso que H sea -aditiva. Aquí demostraremos solamente
que H es cerrada bajo diferencias propias.
El Teorema de Fubini 79
entonces f 2 L1 ( ).
Ahora, por el teorema de la convergencia monótona 'n " ' y una nueva aplicación del
mismo teorema en 8.5 nos da 8.4. La segunda parte de (a) se sigue simplemente intercam-
biando el rol de x e y.
80 Integración en Espacios Producto
fx = f + x
f x
se deduce que fx 2 L1 ( ) para todo x tal que '1 (x) < 1 y '2 (x) < 1. Como '1 y '2 están
en L1 ( ), esto ocurre para casi todos los x y en tales x se tiene que '(x) = '1 (x) '2 (x).
Por lo tanto ' 2 L1 ( ). Ahora 8.4 se cumple con '1 y f + y con '2 y f en lugar de ' y
f . Si restamos las ecuaciones resultantes se obtiene una parte del resultado. La segunda
parte se obtiene de la misma manera con f y y en lugar de fx y '.
(c) Basta aplicar parte (a) a la función jf j.
La integral del medio se denomina integral doble y la de los extremos integrales iteradas.
R
Por lo tanto ( ) (E) = 0 si y sólo si E (x; y) d (y) = 0 c.t.p.[ ]. Pero:
Z
E (x; y) d (y) = (Ex ):
Ejemplo 163 Sean = = [0; 1] ; = =medida de Lebesgue en [0; 1]. Sea 0 < 1 <
2 ; tal que n " 1. Para cada n 1 elija una función
R 1 real y continua gn tal que
gn (x) = 0, 8x 2= ( n ; n+1 ) y que cumpla con la igualdad 0 gn (t) dt = 1. De…na:
1
X
f (x; y) = (gn (x) gn+1 (x)) gn (y):
n=1
Note que para cada punto (x; y) a lo más un término en esta suma es diferente de 0, luego
f es real en todo . Ahora observe que:
Z 1 Z 1 Z 1 Z 1
dx f (x; y) dy = 1 6= 0 = dy f (x; y) dx;
0 0 0 0
por lo tanto no se cumple la conclusión del teorema de Fubini aún cuando ambas integrales
iteradas existen. Note que f es continua excepto en (1; 1) pero,
Z 1 Z 1
dx jf (x; y)j dy = 1.
0 0
El caso Real 81
Por lo tanto:
Z Z Z Z
d (y) f (x; y) d (x) = 0 6= 1 = d (x) f (x; y) d (y):
En este caso la hipótesis que falta para aplicar el teorema de Fubini es la -…nitud de la
medida .
R R; B(R R); m2
y el espacio:
R R; B(R) B(R); m1 m1
R R; B(R) B(R); m1 m1
no es ni siquiera completo (ver Problema 3). Afortunadamente, este problema tiene una
solución elegante:
para alguna función continua g : [a; b] ! R. Si este es el caso, entonces se cumple que
F 0 (x) = g(x) en [a; b].
En otras palabras el Teorema Fundamental del Cálculo establecer una correspon-
dencia biunívoca entre la clase de las funciones continuamente diferenciables y la clase de
las funciones continuas.
Nuestra intención es establecer un resultado similar entre la clase de las funciones
absolutamente continuas y la clase de las funciones Lebesgue integrables. Especí…camente
demostraremos que una función F : [a; b] ! R es absolutamente continua si y sólo si se
cumple 9.1 para alguna función g 2 L1 ([a; b]) y en tal caso, F 0 (x) = g(x) c.t.p. en [a; b].
Comenzaremos estudiando una clase de funciones más general que la clase de funciones
absolutamente continua para después centralizarnos en esta última clase.
+
en donde (f (tj ) f (tj 1 )) y (f (tj ) f (tj 1 )) representan respectivamente la parte
positiva y la parte negativa de (f (tj ) f (tj 1 )). De…namos ahora:
P = sup p
N = sup n
T = sup t
84 El Teorema Fundamental del Cálculo
en donde los respectivos supremos se toman sobre todas las posibles particiones del in-
tervalo [a; b]. Las cantidades P; N y T se denominan respectivamente variación positiva,
variación negativa y variación total de f en [a; b]. Si T < 1, diremos que f es una fun-
ción de variación acotada en [a; b]. Denotaremos por BV [a; b] el conjunto de todas las
funciones de variación acotada en [a; b].
P N = f (b) f (a)
P +N = T:
Por lo tanto:
p = n + f (b) f (a) N + f (b) f (a):
Tomando supremos para p, se obtiene:
P N f (b) f (a):
N P f (a) f (b);
T 2P + N P = P + N:
k
X k
X k
X
jf (tj ) f (tj 1 )j jf1 (tj ) f1 (tj 1 )j + jf2 (tj ) f2 (tj 1 )j
j=1 j=1 j=1
k
X k
X
= (f1 (tj ) f1 (tj 1 )) + (f2 (tj ) f2 (tj 1 ))
j=1 j=1
= f1 (b) f1 (a) + f2 (b) f2 (a);
9.2. Diferenciabilidad
En esta sección demostraremos que las funciones monótonas son diferenciables
casi en todas partes. Este resultado, junto con la Proposición 170, establecerá la diferen-
ciabilidad c.t.p. de las funciones de variación acotada.
Lema 172 Sea E R de medida exterior …nita y sea J una colección de intervalos
que cubren E en el sentido de Vitali, entonces dado > 0, existe una colección …nita y
disjunta de intervalos I1 ; I2 ; : : : ; IN en J tal que:
N
!
[
m E Ik < : (9.4)
k=1
P
1 P
1
m (R) m(Jk ) = 5 m(Ik ) < :
k=N +1 k=N +1
f (a + h) f (a) f (a + h) f (a)
D+ f (a) = l m sup D+ f (a) = l m inf
h!0+ h h!0+ h
f (a + h) f (a) f (a + h) f (a)
D f (a) = l m sup D f (a) = l m inf
h!0 h h!0 h
Nota 174 De acuerdo al Problema 31, página 19, f es diferenciable por la derecha en el
punto a si y sólo si D+ f (a) = D+ f (a) 6= 1. Análogamente f es diferenciable por la
Continuidad Absoluta 87
y en este caso el valor de la derivada f 0 (a) es el valor común de estas cuatro cantidades.
En el caso que a sea uno de los extremos del intervalo [a; b] se consideran sólo las derivadas
laterales correspondientes.
Note que: [
E= x 2 [a; b] : D+ f (x) > p > q > D f (x) :
p;q2Q
f (x + h) f (x)
<q
h
Corolario 176 Si f es de variación acotada en [a; b], entonces f 0 existe casi en todas
partes en [a; b] :
Nota 178 Una función absolutamente continua claramente es continua, de variación aco-
tada y por ende, de acuerdo al Corolario 176 es también diferenciable casi en todas partes
. Por otro lado, de acuerdo al Problema 21, página 66, es fácil ver que si f es integrable
en [a; b] entonces la integral inde…nida
Z x
F (x) = f (t)dt
a
es absolutamente continua.
Rx
Lema 179 Si f : [a; b] ! R es integrable y a
f (t)dt = 0 para todo x 2 [a; b], entonces
f (t) = 0 casi en todas partes en [a; b].
Bibliografía
FP Medida e integraçao, Pedro Fernandez, IMPA.
FA Foundations of Modern Analysis, Avner Friedman, Northwestern University.1970.
HT Algebra, Thomas Hungerford, Springer-Verlag.
CP Set Theory and the Continuum Hypothesis, P.J. Cohen, New York: W.A.Benjamin
Inc., 1966.
RB The Elements of Real Analysis, Robert Bartle (second edition), John Wiley & Sons,
1976.