Академический Документы
Профессиональный Документы
Культура Документы
to muy en cuenta los intereses de los lectores a los cuales estén diri
dición de edición de texto de alto nivel, que habiendo sido muy fuer
dos los requerimientos expresados y hacemos votos para que esta opi
Los Editores
MEDIDA
E INTEGRAL DE
LEBESGUE
Gustavo CORACH
Angel R. LAROTONDA
Carlos SEGOVIA
ISBN N° 987-9072-16-2
IMPRESO EN ARGENTINA
Presentación vn
Plan de la obra IX
Agradecim.ientos x
Capítulo 1. Introducción
1 . Espacio IR n 25
2. Conceptos topológicos . ........... ........................... 28
3. Funciones . . . . . . . . . . . . . . . " .................................. 33
4. Distancia y diámetro; conjuntos acotados . .. ...... ..... .. ..... 36
5. Conjuntos convexos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
6. Intervalos . .. .. .. ... .. .... .. ... .......... . .... .... .......... . . 39
7 . Cubrimientos abiertos; conjuntos compactos . . . . . . . . . . . . . . . . . . 42
8. Conjuntos elementales . ...................................... 46
In
IV INDICE GENERAL
9. Hiperplanos y semiespacios 50
10. Puntos de acumulación; conjuntos perfectos .................. 52
1 1 . Conjunto ternario de Cantor ................................. 54
12. Puntos de condensación 58
13. Espacios métricos 60
* 14. Espacios normados; normas de Orlicz sobre IR n 63
EJERCICI OS 70
Bibliografía 298
Glosario 300
PRESENTACION
Vll
VIlI PRESENTAClON
Los AUTORES
IX
AGRADECIMIENTOS
x
CAPITULO I
INTRODUCCION
1. Núm.eros reales.
1
2 1 - INTRODUCCION
{
x + ( +00) = ( + 00) + X = +00, x + (-00) = (-00) + X = -00,
±oo si x > O
x . (±oo) = (±oo) . x = O si x = O
=f00 si x < O .
Obsérvese que O· (±oo) = (±oo) . 0 = O.
La utilidad d e estas convenciones se irá percibiendo cada vez más clara
mente a medida que se desarrolle el tema principal de este libro.
El límite inferior f. y el límite superior L de una sucesión (a k ) de
números reales se definen por medio de las fórmulas
L = inf Cj .
j
Por consiguiente, e< L .
Por definición, la sucesión (ak ) tiende al límite a E IR si se verifica
e = L = a; y en tal caso escribimos a = lim a k. Si el límite a existe y es
k-oo
finito, decimos que la sucesión es convergente o que converge al valor a .
Toda sucesión monótona tiende a un límite en IR , igual al supremo de
todos sus valores si es creciente e igual al ínfimo de todos sus valores si es
decreciente.
Si a n � O, n = 1 , 2 , 3, . .. , entonces la sucesión' Sn = al + a:! + . . . + a n
es monótona creciente; de donde se sigue que el límite
00 n
L a k = nlim S n = lim � a k
k=l -+co n�co kL...,.¡l
=
tiene un sentido bien preciso en la recta real extendida. Por ejemplo, 1 + 1 +
1 + . . . = +00.
Consideremos ahora dos sucesiones monótonas con valores no negativos:
Es fácil probar que cualesquiera que sean los límites de estas sucesiones (fini
tos o no) se cumplen las relaciones
P (X) = {A : A e X} .
U F U A¡
= = {x : x E A¡ para algún i E I},
¡ El
n F n A¡
= = {x : x E A¡ para todo i E I} .
¡ El
Una familia (Ak , k = 1 , 2, 3, . . . ) cuyos índices son los enteros positivos
se llama una sucesión de conjuntos. En este caso, la unión y la intersección
se representan por medio de los símbolos
00 00
(U )
¡El
Ai
C
= n
i El
AL (n. )
iEl
Ai
C
= U
i El
Ai ,
n (U )
-
lim sup E k = Ek ,
j=l k ?j
al límite L = A = B .
...
8 1 - INTRODUCCION
.
decimos que es una sucesión creciente; y en este caso el límite de la sucesión
existe y es igual a la unión de todos los conjuntos Ek .
Si la sucesión (Ek ) verifica El :J E2 :J Es :J . . . :J Ek :J Ek+l :J . . ,
decimos que es decreciente; en tal caso también existe el límite de la sucesión
. y es igual a la intersección de todos los conjuntos Ek .
Si (Ai, i E 1) Y (Bj, j E J) son dos familias de conjuntos, su cumple
la ley distributiva
( )( )
U
iEl
Ai n U
JEJ
Bj = U U (Ai n Bj) .
iEljEJ
Además, si ambas familias son disjuntas, entonces la familia (Ai nBj, (i, j) E
1 x J) , cuya unión es precisamente el miembro derecho de la última igualdad,
es también disjunta.
A modo de ejercicio útil sugerimos que el lector demuestre las siguientes
fórmulas (las dos primeras generalizan las leyes de De Morgan):
B -n Ai = U (B - Ai)
iEl iEl
B- U Ai = n (B - A¡)
¡El ¡El
U A; - B = U (A¡ - B).
¡El iEl
Si C es una colección de conjuntos, la función F : C -;. C definida por
F(A) = A para cada A E C nos permite pensar a C como una familia
F en la que el conjunto de Índices es el mismo conjunto C. La unión y
la intersección de esta familia se designan, en este caso, por medio' de los
símbolos
UC=U{A:AEC} y nC=n{A:AEC},
respectivamente. Por consiguiente, el punto x pertenece a la unión de C
si y sólo si x pertenece al menos a un miembro de C y x pertenece a la
intersección de C si y sólo si x pertenece a cada miembro de C .
Observemos de paso que, por lo visto, la noción de familia es más general
que la de colección o clase de conjuntos.
-- �
Sea f : X --;.
Y una función (o aplicación) de X en Y. Para cada
A e x , el conjunto
f(A) = { y E Y : y = f(x) para algún x E A}
es la imagen de A porf y para cada E e Y, el conjunto
rl (E) = {x E X : f(x) E E}
se llama la imagen inversa de E por f .
Es fácil ver que A e l
f- (f(A», f(f- l (E» e E y f- l (y - E)
l
Y - f- (E); además, la igualdad vale en la primera de estas relaciones si f
es inyectiva y en la segunda si f es suryectiva. Si (Ej , j E J) es una familia
de subconjuntos de Y , entonces
Estas fórmulas muestran que la aplicación f-l : P(Y) --;. P(X) tiene la
importante propiedad de preservar todas las operaciones entre subconjuntos
de Y.
4. Productos cartesianos.
. .
(a , b) como la sucesión finita (a l , . . ., a n, b l , .. . , bm ) . Con esta convención
resulta (Al x . x A n ) x (Bl X ... X Bm ) = A l X ... X An x Bl X X B m
Por su sencillez, dejaremos a cargo del lector la demostración de las
•.. .
fórmulas
X ... X . .. . ..
(º ) (Q )
(Al A n ) n (Bl x x Bn ) = (Al n B¡ ) x x (A n n Bn ) ,
Ai x B; = º;Q (A i x B;)
l
5. C ONJUNTOS NUMERABLES 11
Q.E.D.
La notación An se usa para designar el producto cartesiano A x A x
x A ( n factores) ; es decir, el conjunto de todas las sucesiones finitas
(a. l , a 2 , ... , a n ) , tales que a i E A (i =. 1 , 2, . . . , n) .
5. Conjuntos numerables.
Teniendo en cuenta que todo número natural admite una única descom
posición como producto de una potencia de dos por un número impar, se
sigue que la función f : IN x IN --;. IN , definida por
es biyectiva.
Q.E.D.
Si A Y B son numerables, entonces existe una aplicación suryectiva de
IN x IN sobre A x B . Luego, A x B es numerable en virtud de ( 1 .6) y
( 1 .7).
Por inducción sobre n resulta que si CA l , A:!, . . . , An ) es una sucesión
finita de conjuntos numerables, entonces A l x A:! X x An es numerable.
. • .
Ejemplos.
o 1/3 2/3 1
I I I I
U = (U - A) UA, V = (U - A)UB.
si x EU-A
g(x) =
{�(X) si x E A,
f(x) = a + ( b - a)x (O :S x :S 1)
J
6. POTENCIA DEL CONTINUO 17
es trascendente.
La demostración de que "ir es trascendente se debe a Lindemann (1882);
y el teorema de Lindemann generalizado afirma que si (l' es un número alge
braico no nulo, entonces ea es trascendente. Pero la demostración de estos
resultados que pueden estudiarse en el libro de Niven [10] , dista de ser fácil.
En cambio, la solución de Cantor al problema de la existencia de números
trascendentes es se�cilla: el conjunto A de los números algebraicos es nu
merable, pues es numerable el conjunto de los polinomios con coeficientes
enteros y cada uno de éstos tiene un número finito de raíces. Luego IR A -
¡
Puesto que IR rv rv
(Ul , Un + l , U 2n + l , . . . )
J. (U 2 , Un + 2 , U 2n + 2 , . . . )
(U l , U 2 , U3, . . . ) -.
.. . .. . . ..
(un , U 2n , U3n , . . . ).
Observando que para cada uET ¡as n sucesiones que componen f( u)
18 1 - INTRODUCCION
(U2,U6,U1 0, ... ),
(U4,U1 2,U20, ... ),
7. Cardinales transfinitos.
f(A) = B, g(1' - B) = X - A.
Es decir, f aplica A sobre B y 9 aplica el complemento de B relativo
a y sobre el complemento de A relativo a X .
<I>(<I>(A)) <I>(A),
e
<I>(A) = A;
obtenido, nos da la igualdad es decir,
-g(Y - feA)) = A.
x
Poniendo B
tra que g(Y - = f(A) -g(Y
, tendremos X
A
B) es el complemento de
= A. - B) Esta relación mues
relativo a X , que es precisamente
lo que queríamos probar.
Q.E.D.
Afirmar que X es equivalente a una parte de
f Y.
existe una aplicación inyectiva : X ---;.
equivale a decir que
Por este motivo es conveniente
Y
dar al teorema de Schroeder-Bernstein el siguiente enunciado:
(1.11) Teorema.
una Si inyectiva
aplicación f es unadeaplicación
Y en inyectiva
entonces X,
g es
deexiste enunaY,aplicación
X Y
biyecti11a h Y . : X ---;.
DEMOSTRACIÓN : Consideremos los conjuntos
tencia garantiza el teorema anterior.
A e X y B e y cuya eXIS
lg- (x) xx A, A,
h(x) = {f(X) si
si
E
EX-
EJEJ{,CICIOS
A-B= A-AnB
A n (B-C) = A nB-A n C
( A -B) -C = A - (B U C)
A.6. (B.6.C) = ( A6B) .6.C
A n (B.6.C) = (A nB) 6 (A nC)
A-Be = B-Ac
n A i -B= n (A i -B)
iEI iEI
f ( A 1 n A:¡) e f (A d n f (A:¡).
Ek =
{ (O, l - l/k) si k es par
[l/k, l ) si k es impar
L Xa = sup
F
L Xa,
aEA aEF
00
L Xa = Xa1 + Xa2 + . . . = L Xa k·
aEA k=l
L Xa= L L Xa
aEA iEI aEA,
(fórmula de la asociatividad).
EJERCICIOS 23
(n , k )E IN x IN n =1 k =1 k = l n =1
y en sí mismo.
12. Si X es un ¿onjunto infinito y IN el conjunto de los números naturales,
entonces existe una aplicación inyectiva f : IN -- X . Sugerencia:
definir f por medio de las fórmulas recursivas
f(1) = e (X)
f(n + 1) = e (X - {f( I ) , ... , f(n) } ) .
ESPACIOS EUCLIDIANOS
1. Espacio IRn •
I x I = vx:x = Jxi + . . . + X� .
25
26 II - ESPACIOS EUCLIDIANOS
x-y
-y
(1)
(2.3) IA x l = IAI x l ·
(2.4) I l x l - I yl l ::; I x - yl ·
2. Conceptos topológicos.
(2.5) Proposición.
(a) Laabierto;
unión de cualquier familia de conjuntos abiertos es un conjunto
(b) Laconjunto
intersección
abierto;de una familia finita de conjuntos abiertos es un
(e) Laconjunto
intersección de cualquier familia de conjuntos cerrados es un
cerrado;
(d) Lacerrado.
unión de una familia finita de conjuntos cerrados es un conjunto
30 II - ESPACIOS EUCLIDIANOS
-.�
2. CONCEPTOS TOPOLOGICOS 31
(2.6) cA = (CA)O
es decir, el complemento de la clausura es el interior del complemento.
Puesto que el interior de cualquier conjunto es un subconjunto abierto
del mismo, de (2.6) se desprende que A es un conjunto cerrado que contiene
a A . Por otra parte, si F es cerrado y F :J A , entonces CF e CA
y por consiguiente, CF e (CAt = CA , pues CF es abierto. Tornando
nuevamente complementos, resulta F :J A .
Hemos probado que A es el más pequeño conjunto cerrado que contiene
a A . En consecuencia, A es cerrado si y sólo si A = A , para lo cual es
suficiente que se verifique A e A , pues la inclusión opuesta se verifica para
cualquier conjunto. Resumiendo: un conjunto A es cerrado si y sólo si A
contiene a todos sus puntos de adherencia.
Ejemplos.
DEMOSTRACIÓN . Sea
1 = (a, b) e
un subconjunto abierto de IR 1 . Un intervalo
se llama un intervalo componente de e
si 1 e,e a f!: e,
b f!: e. Comenzaremos probando que cada punto de
intervalo componente. En efecto, si x E e,
ea
pertenece a un
pongamos == sup{ y : y :::;
x, E Ce} =
y sup [( - 00 , nx] ce]
, con la convención de que
conjunto es vacío. Análogamente, definamos b =
inf{y : y � x, y
a = E Ce},
-00 si el
00
e= U b
k=l
( ak , k ) ,
3. FUNCIONES 33
3. Funciones.
A,
f f
Si es continua en cada punto de
o bien que es continua.
A,
decimos que f es continua sobre
(a) f es continua;
(b) para U de IR m , la zmagen znversa
-f l (U)cadaes unconjunto abierto
subconjunto abierto de IR n m;
(c) fpara( cadaes unconjunto
- l A)
cerrado A de IR , la zmagen mversa
subconjunto cerrado de IR n .
La equivalencia entre las dos primeras se demuestra fácilmente, teniendo
en cuenta que la relación f(V) e U
equivale a V e f- l (U)
. La equivalencia
entre las dos últimas se obtiene inmediatamente tomando complementos.
La función : f A IR m
� se llama uniformemente continua sobre A
si para é > O , existe 8 > O , tal que las relaciones x E y E A , Ix - y l
A, < ó,
implic an I f(x) - f(y)
< oS1.
Más adelante resultará conveniente considerar funciones
en la recta extendida IR ,
f
con valores
de modo que (además de los números reales) 00 -
E si If(x) 1
< 00 para cada xE
f. f
En tal caso diremos que es finita sobre
E. Una función se llama finita cuando es
finita en cualquier punto.
Tratándose de una función
dida, para cada punto de de Xo
f : IR n IR
IR n
y
-+ con valores en la recta exten
cada Ó > O , definimos:
La " prima" se usa para destacar la exclusión del punto Xo (comparar con el
ejercicio 10).
El límite superior L y el límite inferior 1 de la función f en el
punto Xo se definen ahora por medio de las fórmulas:
f
sólo si es s.s. y s.i.
x�xo+
s
xo, x Xo If(x) - s i
en el punto
f
Análogamente, el número se llama el límite por la izquierda de
si para cada é > O , existe un número Ó > O , tal que la
s Xo
relación -Ó< <
se denota porf(xo -) implica
f(x).
o bien por lim
< é . Y en este caso, el número
X-Xo-
f
Una función con valores reales, definida sobre un intervalo de la recta
I
¡
L j
36 II - ESPACIOS EUCLIDIANOS
I a - b I
a
ó(A) = sup Ix - yl
x,yEA
5. Conjuntos convexos.
j
5. CONJUNTOS C ONVEXOS - 6. INTERVALOS 39
Puesto que A e A , eS(A) � 8(A) . Por otro lado, si l' > eS(A) , entonces
para cualquier par x , y de elementos de A , I y-x l < r de donde A e B(x, r)
y como la bola es convexa, tenemos
6. Intervalos.
(2) Oi < Xi :S bi
(3) a¡ :S Xi < bi
(4) ai < X i < b i
Si todas las desigualdades son de la forma (1), el intervalo se llama ce
rrado; si todas ellas son de la forma (4) , el intervalo se llama abierto.
En el caso de la recta ( n = 1 ) , la representación geométrica de un
intervalo cerrado es un segmento; en el caso del plano ( n = 2) , un rectángulo
de lados paralelos a los ejes, como se D.1Uestra en la figura; y en el caso del
40 II - ESPACIOS EUCLIDIANOS
- - - - - - - - r-------,
o
I,
Q(a, f) = {x E IR n : I Xi - a i l < e (i = 1 , 2 , . . . , n ) }
representa un cubo abierto cuyos lados son los intervalos lineales (ai - e, ai +
e) , cada uno con longitud igual a 2e . El punto a se llama el centro del
cubo Q(a, f) .
.. 4 -" ;SU �,�
6. INTERVALOS 41
(2.11) Toda bola abierta B(a, r ) contiene un cubo Q(a, é) con el mismo cen
tro y viceversa.
En efecto, tratemos de encontrar un número é > O de modo tal que se
cumpla Q(a, é) e B(a, r) . Si x E Q(a, é) , tendremos
(1)
hay u n punto x E IR n que pertenece a cada intervalo d e l a sucesión. En
efecto, si Ik = If x . . . x Ir , donde cada Ii es un intervalo lineal cerrado,
en virtud de la hipótesis, para cada j = 1, 2, . . . , n , tendremos I{ J I� J
I� J . . . y en virtud del principio de encaje para intervalos de la recta, existe
un número real Xj que pertenece a cada intervalo de esta última sucesión.
Luego, el punto x = (X l , , Xn ) pertenece a cada intervalo de la sucesión
• • .
(1 ) .
42 II - ESPACIOS EUCLIDIANOS
dicho conjunto.
Q,
(2. 15) Un conjunto no puede ser compacto a menos que sea cerrado y acotado.
{
Uk = x : I x b l >
- �} (k = 1 , 2, 3, . . . )
N
A e U B(X k , 1·(X k )j2).
k =l
Llamando {) al mínimo de los números 1'(xdj2 (k = 1, 2, . . . , N) , supon
gamos que x e y son puntos de A que verifican I x - y l < {) .
Puesto que y E A , existe un índice k, 1 :S k :S N , tal que
8. Conjuntos elementales.
I n J = (h n JI ) x ...x (In n Jn ) .
juntos.
Es un hecho curioso que la demostración rigurosa de esta propiedad in
tuitivamente clara no sea tan inmediata como podría esperarse.
Dada la importancia que este hecho tiene en el capítulo que sigue, vamos
a dar una demostración correcta; pero antes debemos introducir la siguiente
definición.
(2.19) Si J /
J son inter valos de IR n , la diferencia J - J es un conjunto
I
Y
elemental.
DEMOSTRACIÓN . La desmostración es por inducción sobre la dimensión n .
donde JI Y oh son intervalos lineales, en tanto que l' y J' son intervalos
de IRn- l . Escribiendo cada punto x de IR n en la forma x = ( X l , x ' ) con
Xl E IR Y x' E IRn- 1 , es fácil deducir la fórmula
h - B = h - U Ji = n (Ik - J; ) .
M M
;=1 ;=1
Luego, A-B es un conjunto elemental.
1=h X 11 , H = H1 X HI, L = Ll X LI ,
el lema (1.4) nos dice que debe verificarse una de las siguientes alternativas:
la) 11 = Hl U L l con Hl n L l = 0 y HI = LI = l' ,
2a) l' = HI U L' con HI n LI = 0 y Hl = L l = 11 .
En caso de verificarse la primera, el lado dividido resulta ser h . Supon
gamos que se verifica la segunda. Si (2.21) es verdadera en el espacio IR n - 1 ,
puesto que los lados de 11 = h x . . , x In son lados de 1 , la proposición
resulta verdadera también en el espacio IR n , lo cual completa la inducción.
9. Hiperplanos y semiespacios.
1 n S = [(-00, e] n l¡ ] x 1'2 X . . . x In ,
lo cual demuestra nuestra afirmación, pues la intersección de un intervalo
lineal con una semirrecta es un intervalo.
( )E )
a e b
Todos los conjuntos de esta sección son subconjuntos del espacio eucli
diano IR n .
Un punto x se llama un punto de acumulación del conjunto A si
cada entorno V de x contiene al menos un punto de A distinto de x .
Si x es un punto de acumulación de A , entonces cada bola B( x, 1' )
contiene infinitos puntos de A . En efecto, si A n B(x, 1') fuera finito, de
notando por a l , a2, . . . , aN todos los puntos de A dentro de la bola B(x, 1')
que son distintos de x , y llamando 8 al mínimo de los números lak - xl
( k = 1 , 2, . . . , N) , es claro que dentro d e la bola B ( x, 8) n o hay ningún
punto de A , con la posible excepción del mismo punto x en el caso de que
éste sea un elemento de A. . Pero esto contradice la afirmación de que x es
un punto de acumulación de A . Luego, x contiene infinitos puntos de A .
Un punto de A. que no sea un punto de acumulación de A se llama un
punto aislado de dicho conjunto.
implica que por ser una unión finita de conjuntos finitos, el conjunto A es
finito, en contra de lo supuesto. La contradicción provino de suponer que
ningún punto de Q es un punto de acumulación de A .
formado por todos los valores de la sucesión (este conjunto no debe con
fundirse nunca con la sucesión misma) . Si A es finito, hay un valor de la
sucesión que se repite infinitamente:
l ak 3 - x l < 1/3 ;
y así siguiendo, es claro que obtendremos una subsucesión (ak j ) que converge
al punto x cuando j � 00 .
El conjunto de todos los puntos de acumulación del conjunto A se llama
el conjunto derivado de A y se denota por A' .
Vamos a probar la fórmula
(2.25) 11 = A U A'
que es la unión de dos intervalos cerrados de longitud 1/3 , a los que llamare
mos, respectivamente, lo e l¡ .
Subdividiendo a cada uno de estos intervalos en la misma forma y subs
trayendo de cada uno de ellos un intervalo abierto que representa su tercio
central, nos queda el conjunto cerrado
o 1 /3 2/3 1, 1
...
, -------....
... - F, - ...
, -------......
I
I I
I I
I I I I
- ¡.....
I
t-i
I
¡..... ...... ...... - F3 ......
1000 1 0, 0 1" 1
l
56 11 - ESPACIOS EUCLIDIANOS
x E 1 e (x - é, X + é).
00
0 00
n
O� X - � )2ud/3 k � 1/3 n .
k=l
J
58 II - ESPACIOS EUCLIDIANOS
X = L ak/3k = O, a l a2 aa · · ·
00
(base tres)
k=l
tal que para cada k , a k = O ó a k = 2 , es decir, un desarrollo ternario que
no use el dígito uno (un desarrollo ternario de este tipo particular es siempre
único). Así , por ejemplo, los puntos 1/ 3 y 1/4 que admiten respectivamente
los desarrollos
(2.27) Para cada bola B(x, 1' ) , existe una bola B(a, p) E r , tal que x E
B ( a , p) e B(x, 1' ) .
La idea de la demostración consiste en recordar que cualquier intervalo
abierto no vaCÍo de la recta contiene números racionales.
Para cada índice !..� = 1 , 2, . . . , n , comencemos por elegir un número
racional a k , tal que l a k - X k I < l'/2fo . Entonces, el punto de coordenadas
racionales a = (a l , . . . , an ) verifica
n
l a - x l = L(ak - xd 2 < 1'/2.
k= l
Si ahora elegimos un número racional p , tal que l a - x l < p < 1'/2 , es
claro que x E B( a, p) y vamos a probar que además, B ( a, p) e B( x , 1') . En
efecto, si y E B(a, p) , entonces
j
12. PUNTOS DE CONDENSACION 59
lo que significa que es un elemento de B(x, r) .
,
y
(U )
bien; la relación
E= En Bk = U (E n Bd
k k
nos muestra que el conjunto E es la unión de una familia numerable de
conjuntos numerables, de donde se sigue que E es numerable.
,
(2.29) Para cualquier conjunto E , el conjunto ES es perfecto.
Probaremos solamente la inclusión ES e (Es )' ya que la inclusión o
puesta es muy fácil. Si x E ES , entonces para cuálquier entorno V de x ,
el conjunto H = E n (V - {x}) es no numerable y por consiguiente, existe
un punto y E H n H s . Este punto y verifica las relaciones y E V , Y E ES ,
·wet
60 II - ESPACIOS EUCLIDIANOS
F = P U A, pnA= 0.
J
I
1,
I tl
'1
I
13. ESPACIOS METRICOS 61
métrico. Los elementos de un espacio métrico E se llaman los puntos de
dicho espacio. I
La propiedad M2 se conoce bajo el nombre de "desigualdad triangular" , I
por expresar en forma abstracta el hecho geométrico de que cada lado de un
triángulo es menor o igual que la suma de los otros lados.
Ejemplos.
Entre los numerosos ejemplos existentes elegiremos unos pocos que per
mitan intuir el significado y el alcance de la noción introducida.
1 ) El conjunto IR n con la distancia d( x, y) = I x - yl es un espacio métrico
al cual nos referimos como el espacio euclidiano IR n .
2) El mismo conjunto IR n con la distancia d(x , y) = miL" IXi - yd , donde
l <,< n
Xi e Yi representan las i -ésimas coordenadas de los puntos x e y , es
un espacio métrico distinto del anterior.
3) El conjunto C[a, b] formado por todas las funciones continuas J(t) sobre
el intervalo cerrado a :::; t :::; b , con la distancia
d(f, g) = max IJ(t) - g(t) 1
a�t�b
l IJ(t ) - g(t) l dt
b
d'(f, g) =
En todos los ejemplos propuestos el lector puede probar sin dificultad que
la función d(x, y) que se define satisface los tres axiomas de una distancia;
es decir, las propiedades MI, M2, M3.
62 II - ESPACIOS EUCLIDIANOS
Ij
!1
1
de la fórmula
J
II X l b = I x I = xI + x§ + . . + x� . .
Il x lll = IX l l + IX2 1 + . . . + I x n l , : ¡
Il x lloo = max. ( l x l l , IX 2 1 , · · · I x n l ),
definen otras dos normas distintas sobre el mismo espacio IR n a las cuales
llamaremos la "norma uno" y la "norma infinito" , respectivamente. El lector
puede verificar fácilmente que estas funciones verifican las propiedades N I ,
N 2 Y N 3 del comienzo y son, por l o tanto, normas sobre el espacio IR n .
, I
Notemos también que la norma euclidiana o norma dos no es otra cosa 1 , ;
¡ I I
que el módulo o longitud del vector x . l '
d(x, y) = II x - yll
es una distancia entre elementos de X , como puede demostrarse muy fácil
mente, de modo que el par (X, d) es un espacio métrico. Por consiguiente, ! 1
64 II - ESPACIOS EUCLIDIANOS
j
14. ESPACIOS NORMADOS ; NORMAS DE ORLICZ 65
Dado que ( N3 ) implica I lI x ll - lI y ll l ::; Il x - y ll tenemos, por (2.32),
( 2.33) 1
I lI x ll - ll y ll l ::; k2 x - y l ·
Observe que (2.33) nos dice que la función x � II x ll es uniformemente
continua sobre IR n . ASÍ, por el teorema de Weierstrass, el Ínfimo k 1 de
Il x ll para x E S = {x E IR " : I x l = 1} es alcanzado sobre ese conjunto,
pero como II ·1 es estrictamente positiva sobre S , tenemos que k 1 > O . En
particular si x "# O el vector x/ l x l E S y por consiguiente
1 1:1 1 �
k1
o bien
(2.34)
{
a.<;eguran
1
-,
66 II - ESPACIOS EUCLIDIANOS
Dejamos como ejercicio ver que dichas normas no son equivalentes. Esto nos
previene de que en espacios normados de dimensión infinita la convergencia
depende fuertemente de la norma usada para definirla. Importantes ejemplos
de espacios normados de dimensión infinita serán analizados en detalle en el
Capítulo VIII.
Por el momento insistiremos sobre normas definidas en IR n . Dada una
norma 11 . 11 pongamos
e= {x E IR n : Il x ll :5 1 } .
Señalamos las siguientes propiedades del conjunto e , todas fácilmente
verificables:
( 1 ) El conjunto e es convexo y O E c .
(2) El conjunto e absorbe cualquier punto de IR n i.e. dado x E IR n
,
,
Gracias al teorema (2.36) se nos amplían considerablemente los ejemplos
de normas en m n pues basta dar un convexo e con las propiedades ade
cuadas. A continuación consideraremos algunos ejemplos que más adelante
tendrán sus análogos en espacios de dimensión infinita.
Una función numérica <p : 1 -;. m definida sobre un intervalo 1 de la
t u
En lo que resta de esta sección, los símbolos <p, '1/' con o sin subíndices
denotarán funciones convexas no negativas en el intervalo [0, 1] , iguales a
cero en el punto t = O e iguales a uno en el punto t = 1 . En particular, de
la relación t = ( 1 t) . O + t . 1 resulta O ::; <p(t) ::; t , lo cual muestra que <p
-
es continua en el origen. •
n
C<p = {x E Q ¿ ep( l x; l ) � 1}
:
i= 1
cumple las propiedades ( 1 ) a (4). La norma asociada a este convexo que será
denotada por II · 1I<p se llama la norma de Orlicz correspondiente a ep .
Dejamos como ejercicio la demostración de las desigualdades siguientes:
Il x ll<po<> = II x ll oo
Notemos que para 1 � p < 00 se cumple C<pp = {x E IR n : Il x llp � 1 } .
Sin embargo, esta relación no se mantiene válida para p = 00 ; por ejemplo,
para n = 2 , C<Po<> es el cuadrado Q menos sus cuatro vértices.
Para finalizar ilustraremos las desigualdades (2.31) con las normas 1I · 1I <p .
Notemos que si ep � 1/-' , es decir, si ep(t) � 'lj!(t) para cada t , entonces
C'" e C<p , y en consecuencia 11 ;¡; II <p � II x ll", . En particular, puesto que para
cualquier función convexa ep se cumple epoo � ep � ep I podemos enunciar la
siguiente proposición.
(2.41) Si ep � 'lj! entonces para cada x E IR n tenemos Il x l loo < Il x ll <p <
Il x ll ", � II x lll .
Un caso particular de (2.41) merece un enunciado especial:
EJERCICIOS
lim sup{J(x) + g(x)} :::; lim sup f(x) + lim sup g(x),
9. Si f y g son ambas s.s., también lo son f + g y >'f , siempre que >. sea
un número no negativo.
10. Dada una función f : IR n -+ IR , para cada x de IR n definimos
y g : B -+ IR k .
j
EJERCICIOS 73
Il x ll * = lI (x l , . . . , x n ) lI * = II (X l el + . . . + x n e n ) 11 · La función Lx
x l e l + . . + xn e n es continua y tiene inversa continua, use (2.31)).
.
r
C A P ITULO III
MEDIDA D E LEBESGUE
1. Introducción.
Sin embargo, este teorema deja de ser cierto al considerar uniones nu
merables y pueden darse ejemplos muy sencillos de' conjuntos que carecen de
74
j
2. MEDIDA DE INTERVALOS 75
área, es decir, que no son medibles en el sentido clásico. Por ejemplo, el con
junto formado por todos los puntos (x, y) del cuadrado unitario O ::; x ::; 1 ,
O ::; Y ::; 1 cuyas coordenadas son ambas racionales, tiene área exterior igual
a uno y área interior igual a cero.
A principios del presente siglo, los matemáticos franceses E . Borel y
H . Lebesgue consiguieron superar las limitaciones de la viej a teoría de la
medida reemplazando los conjuntos elementales usados para definirla por
conjuntos IJ -elementales, que son los que pueden representarse como una
unión numerable de rectángulos disjuntos.
Esta fructífera idea, en unión con la teoría de los conjuntos que había
comenzado a desarrollarse a fines del siglo anterior, conduce naturalmente a
una nueva y más general noción de integral: la integral de Lebesgue, cuyas
propiedades demostraron adaptarse a las necesidades del Análisis Moderno,
particularmente bien en los procesos de paso al límite dentro de la integral,
que sólo pueden justificarse bajo hipótesis demasiado restrictivas cuando se
trabaja con la definición clásica de Cauchy y de Riemann.
El presente capítulo se dedica a exponer desde sus fundamentos la teoría
de la medida de Lebesgue.
2. Medida de intervalos.
m(J) = b - a.
De modo que los cuatro intervalos (a, b) , [a, b] , (a, b] y [a, b) tienen la misma
longitud b - a ; en particular, m(0) = O .
Es inmediato verificar que si JI y h son dos intervalos lineales disjuntos
cuya unión es el intervalo J , entonces m( J) = m( h ) + m( h) .
El siguiente paso consiste en extender la noción de medida a cualquier
intervalo 1 del espacio IR n .
Si h , h, . . . , Jn son intervalos lineales tales que 1 = h x h x . . . x Jn ,
la medida o volumen de 1 se define por medio de la fórmula
F
11 = Jf x h x . . . x Jn y 1'2 = Jf' x h x . . . x Jn ,
de donde
m( I) = m( h ) m(h) . . . m(Jn )
= [ m(JD + m(Jf') ] · m(h) . . . m(Jn )
= m(l¡ ) + m(I'2).
L a demostración en general se realiza por inducción sobre N, del modo
siguiente: puesto que l¡ e h son disjuntos, existe un hiperplano de ecuación
x�, = e que deja al intervalo l¡ completamente contenido en un semiespacio
lf = l¡ , 1�' = 0, 1� = 0, 1�' = h .
de donde, recordando que 1 = 11 U h U . . . U IN , resulta
j
3. MEDIDA DE CONJUNTOS ELEMENTALES 77
con lo cual queda demostrada la propiedad aditiva de la medida de intervalos.
'--�
78 III - MEDIDA DE LEBESGUE
=
meA) meA - B) + meA n B) y m(B) m(B - A) + meA n B)
=
j:,
3. MEDIDA DE CONJUNTOS ELEIvlENTALES 79
k =l k =l
N N
m(B) ::; L m(h ) < L {m(h) + e/N } = m(A) + e ,
k =l k =l
Puesto que e es cerrado y B abierto, estos conjuntos satisfacen todas
las afirmaciones del enunciado.
Llegamos ahora al primer resultado que no pertenece a la teoría clásica
de la medida.
00
m(A) ::; L 1n(Ak).
k =l
Si la serie de la derecha es divergente, su suma es +00 y la desigualdad
no requiere demostración. Supongamos pues, que dicha serie es convergente.
Dado e > O , esiste un conjunto elemental cerrado C e A , tal que
m( C) > m(A) e . Por otra parte, para cada Índice k , existe un conjunto
-
L
r
ro ro
,
(3.9) Si el conjunto elem.ental A es la unión de una sucesión de conjuntos
elem.entales A k (k = 1 , 2 , 3 , . . .) disjuntos dos a dos, entonces
ro
meA) = L m(A].,).
k=l
La hipótesis implica que A k n A-j = 0 si k i= j . Puesto que A está
contenido en la unión de los conjuntos A k , en virtud de (3.8),
ro
( 1) meA) � L meAd·
k =l
s
Por otra parte, para cada entero positivo U Ak e A por consiguiente,
CQ1 )
s, y
k =l
1; m(Ak) = m Ak � meA).
Haciendo s � 00 en la última relación, obtenemos
ro
j
4. CONJUNTOS a -ELEMENTALES 81
4. Conjuntos /T -elementales.
k =l
significa exhibir una sucesión de conjuntos elementales disjuntos cuya unión
sea U . Con este fin, consideremos la sucesión de conjuntos elementales Bk
definidos por las fórmulas
Bl = A l ,
B'j = A2 - Al ,
B3 = A3 - (A l U A'j),
B4 = A4 - (A l U A2 U A3),
,
.
DEMOSTRACIÓN . Si 1 = J1 X . . . Jn es un intervalo de IR n , un punto
v = ( V 1 , . . vn ) se llama vértice de 1 , si para cada Índice i , Vi es un
Q(x, ó) = ( Xl - 8, Xl + ó) X . . . X (xn - 8, Xn + 8)
existe un cubo Q ' E ]{ , tal que x E Q' e Q(x, 8) . En efecto, sea r un
número racional que verifica 8/2 < r < 8 , Y para c�da Índice i ( 1 ::; i ::; n)
4. CONJUNTOS 17 -ELEMENTALES 83
(3.13) Si el conjunto (T
-elemental U está contenido en la unión de una
sucesión de conjuntos (T -elementales Uk (k = 1 , 2, 3, . . .) , entonces
00
m(U) � L m(Uk ).
k=l
En efecto, supongamos que
00 00
k=l j =l
donde los conjuntos elementales A¡ son disjuntos y para cada índice k , los
conjuntos elementales Bkj (j = 1 , 2, 3, . . .) son también disjuntos. En vista
de la hipótesis, para cada entero positivo s , tenemos
s 00 00 00
U A¡ e U e U Uk = U U Bkj
; =1 k=l k=lj=l
y en virtud de (3.8) ,
84 III - MEDIDA DE LEBESGUE
Por consiguiente,
00 s 00
m(U) L m(A; )
= = sl!..� L m( A; ) � L m( ud·
; =1 ; =1 k =l
Para todo lo que sigue, conviene que enunciemos en general la siguiente
definición.
--'o
Definición. Diremos que una función ljJ : e IR definida sobre una
clase de conjuntos e es (J -aditiva, si para cada sucesión disjunta
(Ek) de miembros de e cuya unión E pertenezca a e , se verifica
,
5. Medida exterior de Lebesgue.
Para cada subconjunto E del espacio IR n definimos la medida exte
rior de E por medio de la fórmula
met E) = inf{m(U) : U J E} ,
donde el ínfimo se toma sobre todos los conjuntos (J' -elementales U que
contienen al conjunto E .
La definición es correcta, pues al menos el espacio entero, que es un
conjunto (J' -elemental, contiene al conjunto E .
De la. definición se deduce que para cada número é > O , existe un
conjunto (J' -elemental U que contiene a. E , tal que m( U ) :::; m E (E) + é .
Poniendo 00 00
k =l k= l
tendremos EeU y por consiguiente,
00 00 00
me(E) :::; m(U) :::; L m(Uk ) < L {me(EJ.: ) + é/2 k } = L me(Ek) + é.
k =l k =l
Puesto que é fue elegido en forma arbitraria, la propiedad (3) resulta ha
ciendo que é tienda a cero.
Si V es u -elemental, para cualquier conjunto u -elemental U que con
tenga a V , se verifica que m( V) :::; m(U) . Luego, m(V) :::; me (V) . Por otra
parte, uno de los conjuntos u -elementales que contienen a V es el mismo
V , de donde me(V) :::; m(V) y por lo tanto, me(V) = m(V) .
La propiedad (5) es una consecuencia de las tres primeras. En efecto
de la inclusión El e E2 u (E1LlE2 ) , deducimos que mAEd :::; me(E2 ) +
me(El LlE2) y análogamente mAE2) :::; 17lAE1 l + me(E1 LlE2 ) , lo cual de
muestra (5).
I
[
6. CONJUNTOS MEDIBLES 87
6. Conjuntos medibles
Diremos que un subconjunto E del espacio IR n es medible, si para
cada número € > O , existe un conjunto lT -elemental U , tal que
EeU y me(U - E) < c.
Si E es medible, la medida exterior de E se llama simplemente la
medida de E y se donota por cualquiera de los símbolos
E C U, U - E e U (Uk - Ed ;
k=l
por consiguiente,
<Xl <Xl
j
6. CONJUNTOS MEDIBLES 89
E C U, me (U E) < e;
-
Puesto que
00
L m( h ) = m(U) < 00,
k =l
existe un entero positivo N , que verifica
00
L m( h ) < c .
k = N+ l
Ahora, si definimos los conjuntos
A. = U N
k =l
h, V = U h,
00
k = N+ l
es claro que A es elemental, V (J' -elemental, y además, U = AU V, de
donde
A - E C U-E y E- A C U - A = V
Luego, metA - E) :5 me(U - E) < é Y también
00
me CE - A) :5 m( V ) = L m( h ) < é.
k =N + l
Finalmente, tomando medidas exteriores en la relación A.6.E = (A - E) U
(E - A) , obtenemos
me (A.6.E) :5 me tA - El + me CE - A) < 2é,
, eM ·
u - E e ( U - A) U (A - E) e V U V = V,
'
( 2" ) Existe una sucesión de conjuntos elementales (Ak ) , tal que Ak -;. E ,.
j
6. CONJUNTOS MEDIBLES 91
donde se sigue que A", U B", � EUF Y Ak n B", � E nF. Ahora bien; en
virtud de (3.4 ) ,
k==l
DEMOSTRACIÓN . Puesto que para cada conjunto medible E , meE)
me (E) , en el caso que estamos considerando, tendremos
Por otra parte, teniendo en cuenta que los conjuntos medibles Ek son
CQ, )
disjuntos, para cada entero positivo N ,
� m(E.) = m E, � m(E),
94 III - MEDIDA DE LEBESGUE
-
y el teorema queda demostrado.
Observando la última demostración, notemos de paso que para cualquier
sucesión de conjuntos medibles (Ek) disjuntos o no -, se verifica
(3 .25 )
( UCO )
se cumple
m. Ek =
klim m(Ek ) .
k =l -+ co
I
li
7. SUCESIONES MONOTONAS DE CONJUNTOS MEDIBLES 95
y análogamente
Luego
m(Ed - m CQ ) (
1
Ek = m El - D1 Ek ) (Q1
= m (E1 - Ek» )
= lim m(E1 - Ek) = m(Ed - lim m(Ed ,
k �oo
k �oo
i�
96 III - MEDIDA DE LEBESGUE
medida nula.
En el caso de la recta ( n = 1 ) , el conjunto de Cantor P tiene medida
nula, pues para cada entero positivo k , P está contenido en un conjunto
elemental F", que es la unión de 2'" intervalos cerrados disjuntos de longitud
1/3 '" , de donde se sigue que
H= n G", .
"'=1
Un conjunto E se llama de clase Fu si existe una sucesión de conjuntos
cerrados (F", ) tal que
EeG y me (G - E) < E;
Eeu y me (U - E) < E.
El conjunto abierto
G :J U :J E , G -p e U ( h - 1k ),
k=l
98 III - MEDIDA DE LEBESGUE
de donde
00 00
k=l k=l
k é.
00
< L é/2 =
k=l
Puesto que G - E (G - U) U (U - E) , por la aditividad de la medida,
=
tendremos
me (G - E) = m( G - E) m( G - U) + m(U - E)
=
< é + é 2é .
=
j
9. ESTRUCTURA DE LOS CONJUNTOS MEDIBLES 99
que CE = H - Z = H n CZ , de modo que E = CH U Z ; pero CH es un
conjunto de clase Fu .
Veamos otra consecuencia útil de (3.29).
De la relación G = U U (G - U ) , deducimos
es una u -álgebra.
Es decir, la intersección de cualquier colección de u -álgebras es una u
álgebra. L a demostración es un sencillo ejercicio si se tiene presente que por
definición de intersección, E E :Eo si y sólo si E pertenece a cada miembro
de r y que además, cada miembro de r es una u -álgebra.
Si e es una clase de subconjuntos de lR n , denotemos por u(e) a la
intersección de todas las u -álgebras :E , tales que e c :E (por lo menos hay
una, ya que e c P( lR n ) ) .
En virtud d e (3.33) la clase u(e ) es una u -álgebra que posee l as siguien
tes propiedades:
la) e c u(e) ;
2a) Si :E es una u -álgebra que verifica e c :E , entonces u(e) c :E .
Es decir, u( e) es la mínima u -álgebra que contiene a e .
u
Definición 1. La clase u( e) se llama la -álgebra generada por la
colección e .
Es inmediato que si el c e2 , entonces u( el ) c u(e2) .
En lo que sigue, denotaremos por I , E , U y g , respectivamente, a las
clases formadas por todos los intervalos de lR n , los conjuntos elementales,
los conjuntos u -elementales y los conjuntos abiertos. Claramente
J( k ) .
Q.E.D.
1,
III
104 III - MEDIDA DE LEBESGUE
biyectiva. Luego,
<Xl <Xl
m( G + z) L m( h + z)
= = L m( h ) = m( G) .
k= l k= l
1 ::; a + a + a + . . . ::; 3 .
Estas relaciones muestran que n o puede ser a = O , n i tampoco a > O .
Llegamos así a una contradicción que provino de suponer que V es medible.
Q.E.D.
En l a construcción anterior se puede substituir el intervalo (0, 1) por
cualquier conjunto de medida positiva E e (0, 1) o más generalmente, por
cualquier conjunto acotado de medida positiva. El resultado sería que todo
conjunto acotado de medida positiva contiene un conjunto no medible; y
aun la condición de acotación puede suprimirse, como se verá en uno de los
ejercicios al final del capítulo.
El siguiente corolario es una consecuencia inmediata de lo anterior.
( ai :s b; ) ;
L
108 III - MEDIDA DE LEBESGUE
.?
13. MEDIDAS DE LEBESGUE-STIELJES 109
Por otra parte, puesto que F es continua por la derecha, dado é > O ,
existen dos números a' y b' , tales que
EJ ERCICIOS
L
1
,
(k = 1, 2, 3, ... )
m(E) = sup{m'( K ) : K e E } ,
L
I
I
cluidos en E .
15. ¿Cómo son los subconjuntos medibles del conjunto de Vitali ?
16. Mostrar que existen 2c conjuntos medibles, donde e denota la potencia
del continuo. Sugerencia: considere todos los subconjuntos de un con
junto de medida nula con la potencia del continuo. Muestre que la clase
de los conjuntos no medibles también tiene cardinal 2C •
17. Exhibir una sucesión decreciente de conjuntos acotados El J E2 J Es J
. . . , cuya intersección sea vacía y que sin embargo verifique
lim
"'- 00
7ne(E",) > O.
Sugerencia: denotando por V el conjunto de Vitali en el intervalo (0, 1) ,
considere la sucesión E", = Uj �'" Vi , donde Vi = V + l/j .
18. Probar que si A y B son subconjuntos borelianos de la recta, entonces
A x B es un conjunto boreliano en el plano IR 2 .
19 . Probar que cualquier conjunto con medida positiva tiene la potencia del
continuo.
Nota: Para indicar que los conjuntos E", ( k = 1 , 2 , 3, ... ) forman una
sucesión creciente cuya unión es E (límite de la sucesión) , se usa la no
tación Ek / E . Con esta notación, el problema 8 del presente capítulo se
enuncia brevemente así :
j
C APITULO IV
FUNCIONES MEDIBLE S
(1) {f � a } , { f < a } , {f � a } ,
115
116 IV - FUNCIONES MEDIBLES
Para que ¡ sea medible es suficiente que cualquiera de los conjuntos (1)
sea medible para todo número a , en virtud de una consideración análoga que
dejaremos a cargo del lector.
Si ¡ es medible y J = (a, b] un intervalo de la recta, entonces ¡-1 (J) =
{¡ > a} n U � b} es medible por ser la intersección de dos conjuntos
medibles. En general, si ¡ es medible y J un intervalo cualquiera de IR ,
entonces ¡- 1 (J) es un subconjunto medible de IR " .
Puesto que IR es la unión de una sucesión de intervalos (h) , se sigue
que si ¡ es medible, entonces también lo es ¡-1 ( IR ) , por ser la unión de la
sucesión de conjuntos medibles ' ¡- 1 (h) . El siguiente teorema amplía estas
consideraciones:
s = {S : S e IR , r 1 (S) es medible }
es una (T -álgebra de subconjuntos de IR , en virtud de las fórmulas
]
11
medibles, a secas.
Las funciones medibles con respecto a la u-álgebra de Borel E = En se
llaman funciones medibles Borel, o bien funciones borelianas.
Puesto que E e M , concluimos que toda función boreliana es medible.
Si f es semicontinua inferiormente, { f > a} es un conjunto abierto y
por consiguiente boreliano. Luego, toda' función semi continua inferiormente
118 IV - FUNCIONES MEDIBLES
Ejemplos.
{
Con respecto al último ejemplo, aclaremos que por log I t l entendemos
la función 9 de IR en sí mismo, definida de la siguiente manera:
lag It l si t E IR Y t "# O,
g(t) = -00 si t = O,
+00 si t = +00 o t = - oo .
j
2 . OPERACIONES ALGEBRAICAS 119
Observaciones cOlllplelllentarias.
En efecto, si f(x) < g(x) , entonces existe un número racional 1' , tal que
f(x) < r y g (x) > r .
2. Operaciones algebraicas.
En esta sección demostraremos que al realizar operaciones algebraicas
(suma, producto y cociente) entre funciones medibles con respecto a una
u -álgebra � , resultan siempre funciones medibles con respecto a la misma
u -álgebra. Sin embargo, las demostraciones se harán suponiendo que las
funciones consideradas son fin itas, y se completarán al final de la siguiente
sección (recordemos que una función se llama finita cuando todos sus valores
son elementos de IR ).
con respecto a :E , para cualquier número racional 1' , {f > 1'} y {g > a - 1'}
son miembros de :E , de donde se infiere que también lo es {f + g > a} , pues
Q es numerable.
Si c > O , { cf > a} = {f > ac- 1 } ; si c < O , { cf > a} = {f < ac- 1 } y
finalmente, cf = O si c = O . Luego, cf es medible con respecto a :E .
Finalmente, la fórmula
1 " "
fg = ¡ { U + g) - - (f - g) - } ,
{
se verifica fácilmente que
Ea si a � O ,
{l/f > a} =
Ea U {f = O} si a < O ,
j
3. SUCESIONES DE FUNCIONES MEDIBLES 121
3. Sucesiones de funciones medibles.
En esta sección veremos que la clase formada por todas las funciones
medibles con respecto a una (J -álgebra � es cerrada bajo límites puntuales.
El paso previo es la siguiente proposición:
y del hecho de que para cada Índice k , {h > a} y {fk < a} son miembros
de � .
f(x) lim f ( ) ,
k _oo k X
=
{:
en sí mismo, definidas por
si It l -:5: k
'Pk (t ) = si t > k
-k si t < -k.
fk = 'P o f y gk = 'Pk o 9
son medibles con respecto a :B , finitas, y convergen puntualmente a f y a
g , respectivamente, cuando k tiende a infin ito. Luego las funciones
4. Funciones simples.
XE (X) = {� si EE
x
si x f!. E.
j
4. FUNCIONES SIMPLES 123
Una función medible y finita rp : IR " � IR se llama una función
simple si el conjunto de todos sus valores es finito; es decir, si rp es medible
y la imagen rp ( IR " ) es un subconjunto finito de IR .
De la definición se sigue que si rp y 'ljJ son funciones simples y c un
número real, entonces rp + 'ljJ , crp y rp'lj' son también funciones simples.
La función característica de un conjunto medible es el ejemplo más sen
cillo de lo que entendemos por una función simple.
Si {ll' 1 , " " ll'N} es el conjunto formado por los distintos valores que
toma la función simple rp , los conjuntos
[ i-1 i
Y ' 2k
) (i = 1, 2, . . . , k2 k )
gk (t) =
{
y definamos la función gk de IR en sí mismo por medio de la fórmula
(i - 1)/2 k
k
si O � t < k,
si t > k
(i - 1)/2 k � t < i/2 k
O si t < O.
k ..... 00
O � g l � g'2 � g3 � . . . , lim gdt) = t (O � t � +(0) .
(2i - 1)/2k + 1 � t .
donde
j
5. PARTES POSITIVA Y NEGATIVA 125
tiende a infinito y nuestras afirmaciones acerca de la sucesión (gk ) quedan
completamente demostradas.
Teniendo en cuenta que gk toma exactamente k2k + 1 valores distintos,
resulta que si f : IR n -;. IR es medible y no negativa, las funciones
<(Jk = gk o f (k = 1 , 2, 3, . . .)
Observaciones.
f + = sup(O, f) y r = sup(O, f)
-
f = f+ - ¡- , I f l = f+ + ¡ - .
La (J' -álgebra M formada por todos los conjuntos medibles del espa
cIO IR n posee la siguiente propiedad, cuyas consecuencias nos proponemos
analizar en esta sección: si m(E) = O , entonces todo subconjunto de E es
un miembro de M . Recordemos que para una función f , "medible" significa
medible con respecto a M .
Si todos los puntos x del espacio IR n con la posible excepción de un
conjunto de medida nula poseen una cierta propiedad P( x) , entonces diremos
que P es verdadera en casi todo punto, o bien que P(x) es verdadera para
casi todo x .
Por ejemplo, si f y g son dos funciones definidas sobre el espacio IR n
y si el conjunto de todos los puntos x tales que f(x) =F g( x) tiene medida
6. PROPIEDADES VERDADERAS EN CASI TODO PUNTO 127
nula, entonces decimos que f = g en casi todo punto, o bien que f ( x) = g(x)
para casi todo x .
g = fxcz + g X Z ,
en la que el segundo término del miembro derecho es medible por ser igual
a cero en casi todo punto, muestra que g es medible por ser la suma de dos
funciones medibles.
De acuerdo con la definición dada al comienzo, diremos que una sucesión
de funciones ( !k ) converge en casi todo punto a la función f , si la
relación
f(x) = lim fk (X)
k - ce
7. Convergencia en medida.
E( l f - gl � 8 ) e E( 1 1k - f l :S 8/2) U E( l fk - g l � 8/2)
y haciendo k --;. 00 , resulta mE( l f - gl � 8) = O para cada 8 > O . Puesto
que
00
E(J #- g ) = U E( l f - gl � l / k),
k= l
se sigue que mE(f #- g ) = O ; es decir, f = 9 en casi todo punto de E .
k � oo mE(IJk - J I
lim � 8) = O ,
l
130 IV - FUNCIONES MEDIBLES
mE( l fk - /j I � 8 ) < e,
poniendo
deducimos que
de donde
(k 2 N, j 2 N).
Por otra parte, en virtud de (2) existe un número natural .!vI , tal que si
j 2 111 , entonces
mE( lhj - f l 2 ó /2) < E.
132 IV - FUNCIONES MEDIBLES
Para cada n,
definamos ahora una función continua <p" (x) en el intervalo
O ::; = 1 , <p,, (x ) = i/2 " si x E Jn , i , com
x ::; 1 , poniendo <p,, (0) = O , <p,, ( 1 )
pletando la gráfica de <Pn mediante segmentos rectilíneos de que modo que
resulte una gráfica poligonal continua. En el diagrama siguiente se muestran
8. FUNCION SINGULAR DE CANTOR 133
las gráficas de <PI y <P'2 .
<1'2
<P, <P, - - - - - -
Nótese que <Pn +l coincide con <Pn en cada unos de los Jn ,í Y además
< 1 / 2 n +l en cualquier punto del intervalo. Luego, la serie de
l <Pn+l - <Pn 1
funciones continuas
cuyas sumas parciales son las funciones <p" , converge uniformemente a una
función continua <P que se conoce con el nombre de función singular de
Cantor. Es claro que <P es monótona creciente y su restricción a cualquiera
de los intervalos Jn , ; es constante.
La unión de dichos intervalos es un conjunto abierto G que representa el
complemento de P relativo a [0, 1] . En los ejercicios al final del capítulo se
usa la función de Cantor para exhibir algunos ejemplos interesantes. A veces
es conveniente extender la función <P a toda la recta, poniendo <p( x) = O\i
x < O , <p(x) = 1 si x > 1 .
134 IV - FUNCIONES MEDlBLES
EJERCICIOS
INTEGRAL D E LEBESGUE
k f dX ,
o bien por
De manera que
1 1
E
f=
E
f(x) dx =
N
sup ¿ vim(Ei),
i=l .
136
1. INTEGRAL DE FUNCIONES NO NEGATIVAS 137
k f = c m(E) ,
pues en tal caso, para cualquier descomposición de E , cada uno de los
números V¡ es igual a e y por consiguiente, cada una de las sumas ( 1 ) toma
el valor cm(Ed + cm(E2 ) + . . . + cm(EN ) = cm(E) .
(2)
1
N M
L v¡m(A¡ ) + L 1pj 171 ( Bj ) � f,
;=1 j =l E
138 v - INTEGRAL DE LEBESGUE
f f = f f + f f.
lE 1.4. lE-A
Si m e E ) = O , cualquier función no negativa tiene integral nula sobre el
conjunto E , pues en tal caso, todas las sumas ( 1 ) son nulas.
De la última observación se deduce que si las funciones no negativas
f g coinciden en casi todo punto de E , entonces fE f = fE g , pues
y
(3) f f= f fX E,
lE lm n
como se ve enseguida aplicando ( 5 . 1 ) a la función f X E , con la descom
posición IR n = E U CE .
Cuando una integral se extiende a todo el espaclO (es decir, cuando
E = IR n ) convendremos en omitir el conjunto que " acompaña al símbolo de
j
2. INTEGRAL DE FUNCIONES SIMPLES 139
la integral. Así, por ejemplo, la igualdad (3) se escribe
lb f(x) dx o bien ¡b f.
r f = r f + . . . + r f.
lE lB, lBN
Además, puesto que f toma el valor constante ¡J¡ sobre el conjunto B¡ la in ,
Sean 0' 1 , . . . , 0'11{ los distintos valores que toma la función 'P sobre el
conjunto E y sean ¡JI , . . . , ¡JN los distIntos valores que toma 1jJ sobre el
L
140 v - INTEGRAL DE LEBESGUE
1E
(ep + 1/;) =
M N
¿ ¿(O'i + (Jj )m(Ai n Bj )
i =l j =l
M N N M
= ¿ O'i ¿ m(Ai n Bj) + ¿ (Jj ¿ m(Ai n Bj)
;=1 j =l j =l i =l
M N
= ¿ O'im(A;) + ¿ (Jjm(Bj )
;=1 j =l
1
E
M
cep = ¿( CO'i)m(A;) = c
i =l
1E
ep.
r f = sup r ep,
}E o s.'PSJ JE
donde el s'upremo se toma sobre todas las funciones simples ep , tales
que O :S ep :S f .
Para demostrarlo, consideremos una descomposición de E en conjuntos
disjuntos El , . . . , EN Y sea Vi = inf f(E; ) . Si todos los Vi son finitos,
entonces la suma
N
¿ vim(E;)
i =l
es la integral de la función simple
N
ep = ¿ vi X Ei '
i =l
2. INTEGRAL DE FUNCIONES SIMPLES 141
Suponiendo pues que a l > O , sea e un número que verifica O < e < a l ,
de manera que <p - e es una función simple que toma el valor positivo a¡ - e
sobre el conjunto A¡ . Poniendo
=
lEf <p _ e1Tl(E) -
lE-Ek lE �
f (<p - e) f <p - em(E) - aMm(E - Ed .
Haciendo k -;. 00 , obtenemos
Luego, lim
k � oo f fk
lE = 00 y la desigualdad del enunciado se verifica tri
vialmente.
Q .E.D.
lfE f = lim f fk .
k -oo E l
DEMOSTRACIÓN . Ante todo, observemos que la existencia del límite puntual
y en virtud de (5.5) ,
<p � lim f fk .
Luego,
lfE k-oo E l
f <p � klim f fk .
lfE f = sup
0 'S CP 5.f 1E �oo E l
Por otro lado, puesto que O � fk � f , deducimos que
f fk � f f,
klim
-oo E l E l
lo cual, junto con la relación anterior nos da la igualdad del teorema.
Q .E.D.
¡
1
�
I
lEfU+g) = k->oo lEf (ipk +1/Jd = k-oo { lEf ipk + lEf 1/Jk } = lEf f+ lEf
.lim lim g.
Análogamente
DEMOSTRACIÓN . Poniendo
""""'
LJ ik lim
SI ::; S2
es claro que O ::; ::; s3 ::; . . . y en virtud de (5.6) y (5.7),
ik .
DEMOSTRACIÓN . Poniendo
g(x) = k-oo
lim inf ik (x), gk (X) = J? k
�nf fi (x),
L
146 v - INTEGRAL DE LEBESGUE
le U + g) = le U+ + g+ ) - le U- + g- )
= le f + + le g+ - le r - le g
= le f + le g ·
5. C ONVERGENCIA MAYORADA 147
Si c � O , cf = cf+ - cf- es la diferencia entre dos funciones no
negativas e integrables sobre E y además,
k cf = k ( -c)r - k ( -c)f+ = ( ) k r
-e - ( -e) k ¡+ = c k f.
Llamando L(E) al conjunto de todas las funciones integrables sobre E ,
la proposición (5. 12) afirma que L(E) es un espacio vectorial sobre IR y
que la aplicación de L(E) en IR definida por
5. Convergencia mayorada.
(1) r f = klimro r h ,
lE - lE
ni aun suponiendo que f sea también integrable sobre E . Considérese, por
ejemplo, la sucesión de funciones fk = k X (O,l/k ) sobre el intervalo lineal
(0, 1) .
Es claro que h converge puntualmente a cero y sin embargo,
(k = 1, 2, 3, . . .) .
-, j
148 v - INTEGRAL DE LEBESGUE
(5. 13) (teorema de Fatou-Lebesgue) . Sea el> una función integrable sobre
E . Si una sucesión de funciones (fk ) verifica
(k = 1, 2, 3, . . . )
.....
lim inf(1k + el» = lim inf Ik + el> = 9 + el> ,
k 00 k-oo
- fk ) = el> - lim
)
sup fk = el> - h.
lim inf( el>
k -oo k -oo
En virtud de la linealidad de la integral (proposición 5 . 12) y del lema
(5.9),
= lim inf
k ..... oo lEf lEf
Ik + el> ,
Análogamente,
<I> -
f f f (<I> - h) � lim inf (<I> - fk )
f
lE lE h = lE l
k � oo E
f = l <I> - lim sup fkf
E k_co lE
y por consiguiente,
lim sup
k -oo lE
f E
f
fk � l h,
(5.14) Corolario. Sea (fk ) una sucesión de funciones que converge a una
función f en cada punto de E . Si existe una función <I> integrable
sobre E , tal que
(k = 1 , 2, 3, . . .)
f
lE f = klim
- co lE
f
fk .
f >>')
lEf lEufl
IJI � IJI � A . mE( IJI > A).
r f = r h + i r h.
lE lE lE
Dejaremos a cargo del lector la demostración de la siguiente proposición
(linealidad de la integral):
�
La siguiente propiedad se conoce co? el nO lbre de integrabilidad ab
soluta.
152 v - INTEGRAL DE LEBESGUE
La función 9
= e- i O J cuyas partes real e imaginaria llamaremos g l y
g2 , verifica
l l 9
= gl + i
l g2 = e -io l J = l' ::::: O.
El corolario (5. 14) vale con idéntico enunciado para funciones con valores
complejos, pues si
J(x) = klim Jdx)
-ro
en cada punto de E y <I> es una función integrable sobre E , tal que
(k = 1, 2 , 3, . .) ,
.
entonces IJI = lim IJk 1 � <I> , d e donde se sigue que J es integrable sobre
k --;.oo
E . Además,
8. INVARIANCIA BAJO TRANSLACIONES 153
fk
Ahora bien;- f tiende a cero en cada punto de
E. E
y por otro lado,
l -flE, + Ifl
ik
sobre
::; lik l ::; 2cI> en cada punto de
se sigue que
Puesto que 2cI> es integrable
lik - l � O
fe f cuando k�O
(5.20) Si
n
f
es una función no negativa, entonces para cualquier vector
IR se verifica
h de
y en virtud de (3.37),
L
1 54 v - INTEGRAL DE LEBESGUE
sobre E + h, f
La fórmula (b) es correcta para cualquier función que sea integrable
pues si f es una función con valores reales podemos aplicar
f+ f-
dicha fórmula a las funciones no negativas y , obteniendo
a miembro las igualdades anteriores para obtener (b) en esta nueva situación.
/
Sif es una función con valores complejos, (b) sigue siendo válida bajo
la condición de que f +h.
sea integrable sobre E
Los últimos argumentos, que reducen la demostración de una fórmula
general al caso en que f es no negativa, son también típicos en la teoría de
la integral y es conveniente para lo que sigue que el lector los asimile con
atención.
9. LA INTEGRAL COMO FUNCION DE C ONJUNTO 155
cjJ(E) = fe f (E E M)
número 8 > O , tal que la relación m (E) < 8 implica I cjJ(E) I < E .
DEMOSTRACIÓN . Por las mismas razones que antes podemos suponer que f
es no negativa.
Poniendo ik = min( k, f) , es claro que la sucesión ( ik ) es creciente y
tiende puntualmente a f ; y en virtud del teorema de Beppo Levi, Jf =
¡b f(x) dx.
(5.23) Si la función acotada f es integrable Riemann sobre [a, b] , entonces
f es integrable en el sentido de Lebesgue y además,
. dx =
la { b f(x) (R)
la(b f(x) dx .
'!
se sigue que
Ex = { y E IR m : (x, y) E E}
· ;E
o x
00 00
1 1 . INTEGRACION PARCIAL; EL TEOREMA DE FUBINI 159
J
(e) m(E) = m (Ex) dx .
m(Ex) = L m« h )x)
k=l
es una función medible de x por ser la suma de una serie de funciones
medibles no negativas, y en virtud de (5.8) ,
J m(Ex) dx = f
k=l
J m«(Idx) dx = fk=l m(h ) = m(E)
y las afirmaciones del enunciado se verifican si E es abierto.
3 O ) Supongamos que E es un conjunto acotado de clase GIj . Entonces
existen una bola abierta B de IR n+m y una sucesión de conjuntos
abiertos ( Gk ) de dicho espacio, tales que
00
EeB y E= n Gk .
k=l
Puesto que E es la intersección de los conjuntos abiertos G�, Bn
G l n . . . n Gk , podemos suponer que se verifica
i
I
l '
00
El conjunto Ex = n (Gk }x es medible para cada x en virtud del caso
k=l
anterior y como además, Bx J (Gdx J (G:¡)x J . . . , teniendo en cuenta
que Bx es acotado, resulta
=
m(Ex) klim00 m« Gk }x).
.....
m(Ex ) = klim
-oo
m« Edx)
es una función medible de x
por ser el límite puntual de una sucesión
creciente de funciones medibles. Finalmente, el teorema de Beppo-Levi
(5.6) nos da la relación
j m(Ex) dx = l!::!
�,
j m« Edx ) dx = kl�n! m(Ek) = m(E)
j m(Hx) dx )
= m ( H = O,
Ejemplos.
m(H) = J m(HX1 ) dX I = o .
S
Por inducción sobre 11 probaremos que la medida de a n /n!.
es En
SXl X l S l n 1. Xl a; X(n1,l
primer lugar, esto es cierto si =
es vacía si
Ahora bien; si 11 >
está fuera del intervalo O � � y si
la sección
pertenece
, xn) a -X X IR n- I ).
a dicho intervalo, entonces
(X 2 , .
. .
está formado por todas las - 1) -uplas
+xn a-x l
de coordenadas no negativas, tales que X2 + . . . �
l
(el simple de altura en
IR n- l ,
Si nuestra afirmación es correcta en el espacio entonces ten
dremos
=
-xd1)n!- l dXI an /n!
meS) Jro m(Sxl )dx l Jro (a(n- = =
'U =(x , y) ( )
comprende a la proposición 5.23 como un caso particular. Recordemos que
denota un punto del espacio n+m . IR
(5.24) (teorema de Fubini-Tonelli). Si
IR
medible no negativa sobre
f( u) f( x ,
n + m entonces
,
y) = es una función
(1) f(X , y) y
es una función medible de x
para casi todo ;
JJ f(x, y) dx dy.
a veces en la forma
N
f(x , y) Lk=l o:ddx , y) ,
=
donde �O Y
O:k fk = X Ek es la función característica de im conjunto
medible.
En virtud de la etapa anterior, fk (X, y)
es una función medible de
siempre que x esté fuera de un cierto conjunto Zk de medida nula.
y
Llamando Z a la unión de dichos conjuntos, es claro que m ( Z) = O Y
además, f(x , y) f(x, y)
cual muestra que
y xy
es una función medible de si no pertenece a Z , lo
es una función medible de para casi todo x.
Para cada x fuera de Z , se cumple
g
lo cual muestra que es una función medible, sin importar cómo se la
defina en puntos de Z . Por último, la linealidad de la integral, junto
con la etapa anterior, nos dan
g(x) = J f(x, y) dy =
I}!...�J fk (X, y) dy (x f/. Z),
J g(x) dx = l!!!� J J
dx fdx, y) dy = }!...� J h (u) du = J f(u) du
(3) J g(x) dx = J J
dx f(x, y) dy = J f(u) du .
L
166 v - INTEGRAL DE LEBESGUE
pues f es integrable.
Las funciones no negativas
Observaciones.
J I f(u)1 du o
Como caso particular, vamos a probar que si f(x,n+y)m ,
integrable sobre el conjunto E del espacio euclidiano IR
es una función
la integral de
f sobre E se calcula por medio de la fórmula
J
,!
En efecto, fE
X n +m
es integrable sobre todo el espacio IR y por con
siguiente,
1 L f(x, y) dx dy 1 1 XE (X , y)f(x, y) dx dy
=
1 dx 1 XEx (y)f(x,y)dy
=
1 dx 1Ex f(x,y)dy.
=
12. La Convolución.
en cada punto
fx de IR n donde la integral exista. En otras palabras, la
convolución * 9 es una función cuyo valor en cada punto
definida está dado por la fórmula anterior.
x
donde está
es medible sobre IR 2n = IR n x IR n .
En tal caso tendremos
(/ If(x)ldX) (1 Ig(x)ldX) ,
=
168 v - INTEGRAL DE LEBESGUE
o
<p( x, y) = x - y,
de
Luego, f(x
- y) como función de las variables
IR 2n , como asimismo lo es la función
x e y es medible sobre
(x, g y ) 1-'- ( y) ,
las funciones y
g
de las funciones integrables, es decir si f y son dos funciones integrables,
f*g g*f son dos funciones integrables e iguales en casi
todo punto. También dejaremos al lector la demostración de las siguientes
EJERCICIOS
xx
2. La función sen / no es integrable sobre (0, 00) , aunque existe el límite
iR senx
R
· d
l 1m . -- X.
..... co o X
170 v - INTEGRAL DE LEBESGUE
3. Usar el teorema de la convergencia mayorada (5.14) para probar la
fórmula
n-oo
lim
Jo
x p
r - 1 ( .:.)
1-
n dx = [000 xp-1 e -x dx.
n Jo
1 00 eXx dx = �
5. Usando integración término a término, probar las fórmulas
1
a)
� n2
11 xP -n=dx1 = L00
o
-
-1
1
r
1
b)
o - x
1 - log
X
n= 1
(p + n -
'
f =
E. E L fk L f,
9. Sean y /k (k 1 , 2, . . . )· funciones medibles no negativas e integrables
sobre Si fk � f en cada punto de y � entonces
mtE) L f(x)dx ED
lb f(x)dx > O
siempre que sea a < b . ¿Puede concluirse que f( x) > O en casi todo
punto x ?
13. Probar que el teorema de la convergencia mayorada (5.14) se extiende a
una familia de funciones medibles ft (x) , a < t < b , dependiente de un
parámetro real t , de la manera siguiente: supongamos que T E (a, b) Y
que en cada punto de E existe el límite
<p'(t) = fe f)f
�; x) dz (a < t < b).
172 v - INTEGRAL DE LEBESGUE
g(t) = ¡: eitxf(x)dx
es acotada y uniformemente continua. Si x k f( x) es integrable, entonces
g es de clase Ck y además,
(p > O)
l __�____
EJERCICIOS 173
de división de alguna de las 7I"k .
(b) si s( 'ir) Y S( 71") son las sumas de Riemann correspondientes a 71" , se
cumplen las relaciones
lim s(7I")
N(ñ)-- Q
= (b m(x)dx,
la
lim S(7I")
N(ñ)� Q
= (b M(x)dx.
la
Sugerencia: aplicar la parte (a) y
(c) f es integrable Riemann sobre
(5.[a1,4).b]si y sólo si
¡b {M(x) m(x)}d;r = O,
_
18. Sean
cada yf 2: O
y 9 no negativas e integrables sobre un conjunto E . Si para
ponemos
fp(x) = _
f (p)
{
1 _xP- 1 e - X si x > O
O if x < O
es una densidad.
(c) Si p > O Y q > O , entonces fp * fq = fp+q y además,
fJo 1 ( 1 - t )p-1 tq- 1 dt = rf(p)(p +f (q)q) .
La integral biparamétrica del primer miembro se denota por B(p, q ) y
se llama función beta.
23. Si a > O Y f(x)
es integrable en el intervalo [O, b] , donde 0 < b < 00 ,
entonces la integral
y ¡3 > O , entonces I[3Iet f(x) = Iet +[3f(x) en casi todo punto x del
intervalo [O, b] . Nótese que I1 f(x) = f; f(t)dt .
25. Probar que no existe una función integrable u tal que u * f = f para
toda función integrable f. Sugerencia: considere funciones del tipo
f = -X con Ó > O pequeño.
( -6,6)
CAMBIO DE VARIABLES
175
176 VI - CAMBIO DE VARIABLES
es un productoTodade aplicación
(6.1) Teorema. eal invertibleTT. .de. , Tk . en sí mismo
aplicacioneslinelementales mn
I,
DEMOSTRACIÓN . Será suficiente esbozar la demostración , que suele estudiar
se en los cursos de Algebra Lineal. El teorema equivale a probar que toda
matriz no singular a = (aij ) es un producto de matrices elementales.
Recordemos que la matriz a se puede transformar en la matriz unitaria
1 . IMAGEN DE UN CONJUNTO MEDIBLE . . . 177
1 = {x E IR TI : ai < x i � bi (i = 1 , . . . , n )}
La aplicación Tu transforma 1 en otro intervalo de la misma medida,
mientras que Tf3 transforma 1 en otro intervalo cuyos lados coinciden con
los de 1 , con la excepción de uno solo de ellos, que se transforma según una
homotecia de razón >. ( distinguir los casos >. > O Y >. < O ) , lo que hace que
la verificación sea muy fácil en el caso de estas aplicaciones elementales.
En cuanto a una aplicación elemental del tipo T, consideremos, a modo
de ejemplo, la aplicación definida por
I
L
178 VI - CAMBIO DE VARIABLES
La aplicación
Clones
T y su inversa T- l están dadas por los sistemas de ecua
Xl { Xl Yl
rYYn- l XXfln- l AX l
n +
XXn - l
n
YYn--Al Y ,
n l
donde y = Tx,TI X = T- l
se sigue que = (Yl ," " Yn) I
y . De dichas ecuaciones y de la definición de
es el intervalo de IR n- l formado por todos los puntos (Y2 , " " Yn ) que
satisfacen
siempre que a l Yl
virtud de (5.23),
< ::; bl , Y es vacía en caso contrario. Ahora bien; en
tiI = TI = n
Puesto que en este caso, I det
aplicación elemental e un intervalo de IR entonces
T
1 , queda demostrado que si
m(TI) = timI.
,
es una
n. T
Manteniendo la hipótesis de que
un conjunto abierto de IR
G
es una aplicación elemental, sea
Entonces existe una sucesión de intervalos
disjuntos (h ) G
cuya unión es y por consiguiente,
00 00
m(TG) = k=¿l m(Th) = ¿k=l timh.= timG.
1 . IMAGEN DE UN C ONJUNTO MEDIBLE . . . 179
(2)
2. Aplicaciones diferenciables.
Yi = <Pi(X I , . . . , x n ) (i = I , . . . , n ) .
(6.4) II x ll = lm::;,::;
�x I x ;! ,
n
y si A es una transformación lineal con matriz (aik ) , llamamos norma de
A al número
n
(6.5)
j(x) = Dtp(x),
y también
J(x) = I det j (x) l ,
(y = tp(x)).
y tomando determinantes en esta relación, resulta
que y = tp( x). J- 1 (y)J(x) = 1 , siempre
(6.6) Lema. Si
G , entonces
Q es un cubo de IR n cuya adherencia está contenida en
m(tp(Q)) h J(x) dx .
::;
Q = Il x - xo l
{x : ::; A} ,
donde A representa la mitad de la longitud de cada lado de Q, cuya medida
3. FORMULA DEL CAMBIO DE VARIABLES 183
es entonces mQ = (2).)n .
2 A.
1)O¡ (x) - )O¡ (xo)1 :::; L I Dk)O; (X¡)I ' lxk - xOkl :::; >. k=Ll IDk)Oi (X¡ )1 :::; >'lIj(x¡ )1 I
:::; >' l j(x)1 1
max
xEQ
.
es decir,
1 I )O(x) - )O(xo)1 I :::; >. l j(x) lI
m ax
xEQ
·
de donde resulta
Por otro lado, para cualquier transformación lineal invertible A del es
pacIO IR n , la aplicación '!jI = A - 1 o cp tiene derivada dada por
(2)
xEQ
Il r 1 ( Yk ) j (x) ll - 1 = II r 1 ( Yk )j(x) II - lI e n l l
::; II r 1 ( Yk ) j (X) - e n 11 = 11 i- 1 ( Yk ) {j(X) - j(x k )}1I
::; IIr 1 ( Yk ) II · lIj(x) - j (x k )1I < lv!€ .
Por consiguiente,
de donde
Luego,
N N
m(cp(Q)) ::; L m(cp(Q k ) ) ::; ( 1 + .L1ú·t L J(xdmQk
k=l k=l
y haciendo que r¡ tienda a cero, obtenemos
::; fe
medible y además,
m(cp(E)) J(x) dx.
Por consiguiente,
00
m(cp(D)) � in J(x) dx = 0.
J
3. FORMULA DEL CAMBIO DE VARIABLES 187
Puesto que <p(E) e <p(D) , se sigue que <p(E) tiene medida nula. Luego,
<p transforma cada conjunto de medida nula dentro de G en otro con
junto de medida nula.
5 O ) Si E es un subconjunto medible de G , entonces existen un conjunto D
de clase Gó y un conjunto Z de medida nula (ambos contenidos en G ) ,
tales que E = D - Z . El conjunto <p(E) = <p(D) - <peZ) es medible en
virtud de todo lo anterior; además,
[ f(Y) dy = i f(<p(x»J(x) dx .
Recordando que J(x) = Ja<pjax J , la última fórmula se puede escribir en
la forma más sugestiva
EJERCICIOS
¡rn / 2
f f(x)dx = (det a) 1 / 2 ·
Xn - 1 7'
l'
sen0 1 . . . senOn _2 cos On - 1
'
sen01 . . . senOn _ 2 senOn _ 1 ,
j
190 VI - CAMBIO DE VARIABLES
'1" > O, O < (h < 7T, 0 0 0 ' 0 < en - 2 < 7T, 0 < en - l < 27T
O < e l < 7T, 0 0 0 ' 0 < ()n - 2 < 7T, O < ()n - l < 27To
Cn ¡ g(B)dB,
=
ft tp-1 e -tdt.
expresándola en términos de la función gamma: f(p) =
7. Calcular l a medida ( o volumen) d e la bola unitaria B {x : ! x ! ::; 1}.
=
192
1 . EL ESPACIO DE LAS FUNCIONES INTEGRABLES 193
1I 11 h = L 1 1(x) 1 dx.
Nótese que todas las funciones que se encuentran en una misma clase dan el
mismo valor para la integral.
De esta manera hemos definido una función no negativa sobre L 1 que
cumple
NI 11 1 + gl h < 1I 1 1 h + I l g l h
N2 II ·V l h I A l lIll h
N3 11 1 11 1 O si y sólo si 1 = O,
tm
194 VII - ESPACIOS DE FUNCIONES CLÁSICOS
L II Ii ll 1 < 00 ,
;� 1
entonces existe una función S en L 1 tal que
II Si - SIj¡ --;. O para TI --;. 00 ,
donde Si = ¿ Ji .
1 �j � i
Dejamos como ejercicio demostrar que la afirmación de arriba implica la
completitud del espacio L 1 •
L 1J; (x) 1 .
i� 1
Dado que la serie numérica ¿ IIId l 1 es convergente,
el teorema de Beppo
Levi nos asegura que <I> es integrable, luego finita en casi todo punto. Así está
bien defin ida la función
S(x) = L li( X) ,
i� 1
excepto sobre un conjunto de medida nula. Como I S I ::; <I> , la función S está
en L 1 . Por otro lado la función I Si - S I tiende a cero en casi todo punto
y está dominada por 2<I> , luego el teorema de la convergencia dominada nos
permite afirmar que l i S - Si l1 1 tiende a cero cuando i tiende a infinito.
Q.E.D.
Creemos que la demostración dada es bastante directa y en ella se usan
principalmente dos hechos: la completitud del campo de escalares y el teo
rema de la convergencia dominada. Nos parece instructivo esquematizar una
segunda demostración.
Sea Ui) una sucesión de Cauchy en L 1 . Luego por la desigualdad de
Chebyshev es de Cauchy en medida y entonces existe una función medible
I tal que li converge a I en medida (véase Teorema 4. 15) . Además existe
una sub sucesión ( J; k ) de U;) que converge a I en casi todo punto. Usando
el teorema de Fatou tenemos
1. EL ESPACIO DE LAS FUNCIONES INTEGRABLES 195
(7.2) Teorema. La clase formada por las funciones continuas con soporte
compacto y la clase de las funciones escalonadas son densas en el es
pacio L1 ( IR n ) .
196 VII - ESPACIOS DE FUNCIONES CLÁSICOS
I
Una función medible es esencialmente acotada sobre E si existe una
constante finita lV! tal que
I {x I/(x)1 M} IEE : > =O ,
en esta situación PoI recibe el nombre de cota esencial. En otras pa
labras M es cota esencial para I I
sobre E sii/ ( x) 1 M:s; para casi todo
x 1 /1 001 /1 00
E E . Pondremos
fácilmente que
para el ínfimo de las cotas esenciales. Se demuestra
es una cota esencial para l .
Nosotros hemos definido
este no es el caso pondremos
11 //11 0000 I
cuando es esencialmente acotada; si
= 00 , así I es esencialmente acotada sii
1 /1 00 LOO . Loo
< oo . El conjunto de las funciones esencialmente acotadas sobre E es
denotado por En identificamos las funciones iguales en casi todo
punto; con esta convención
de funciones. Más todavía,
1 Loo· 1 00
es una norma sobre este espacio vectorial
es un espacio de Banach. Dejamos como
ejercicio demostrar esta afirmación.
Nuevamente los resultados del Capítulo IV nos aseguran que las fun
ciones simples son densas en Loo
. Por otro lado ni las funciones escalonadas
ni las funciones continuas acotadas son densas en . LOO ( IR n )
Nótese que el Teorema (7.2) nos asegura que no existe ningún espacio
vectorial X estrictamente comprendido entre y Co(IR n ) L 1 (IR n )
tal que
X con
definir L1 1 (1 IR1 n )
sea un espacio de Banach, dicho de otra manera uno podría
como la completación de
tenemos la misma situación con la norma
con la norma
pues
Co(1 IR1 00n,) Co( IR n ) 1 ·1 1 1 .
No
con esta
norma no es un espacio de Banach y el mínimo espacio normado completo
que lo contiene no es
IR n
sobre
LOO .
Por otro lado las funciones continuas acotadas
forman un espacio de Banach con la norma 1 1 00 .
Veremos a continuación de qué manera están relacionados los espacios
L1 Loo .
y
Notemos que si I E
todavía, tenemos que
L1 g LooY E Ig
el producto es integrable. Más
fe I/g l dx 1 /1 1 I g l oo .
:s;
(7.4) Teorema. Sea g una función medible tal que gf E L 1 para cada
f E L 1 . Entonces g E Loo .
DEMOSTRACIÓN . Las hipótesis del teorema nos garantizan que g es una
función finita en casi todo punto. Nosotros demostraremos que si g es una
función finita en ,casi todo punto tal que g ti L oo entonces se puede construir
una función f E L 1 tal que gf ti P . En efecto, sea ( a i ) una sucesión
numérica tal que
19
{x E E : ai < I g(x) l } .
La siguiente función
00
f = L ( a i m(A ¡ ) - l X A i
i= l
Il co l l = inf l l e ll .
cEC
Esta nos asegura que (e¡) es de Cauchy en H ; luego existe eo tal que
Il e¡ - eo l l ---;- O para i � 00 , y como e es cerrado se tiene que eo E e .
Teniendo en cuenta que (e; ) es minimizante llegamos a l! eo ll = d . La uni
cidad de este eo es consecuencia directa de la ley del paralelogramo y de la
convexidad del conjunto e .
Q.E.D.
El teorema demostrado nos permite asegurar la existencia y unicidad de
la proyección de un vector x sobre un conjunto convexo cerrado e . Dicha
proyección, que será denotada por p( x) = p( x/e) , se define como el único
elemento en e que verifica
II x - e ll 2 = lI (x - p) + (p - e) l i 2 .
r
x= x-
( C(X )
C(y)
)+
y'
C(x)
C(y)
y,
l
202 VII - ESPACIOS DE FUNCIONES CLÁSICOS
o sea que todo vector del espacio admite una representación de la forma
x = u + o:y , u E N , o: complejo.
Pongamos ahora v = f(y) y . Claramente f(o:y) = (o:y, v ) . Además si
x E N , entonces ( v , x ) = O . Por lo tanto tenemos que para todo x E H se
verifica que
eu) = fe J 9 dx = ig U) ,
Supondremos primero que meE) < oo . Recordemos que f verifica
fe IJgl dx :::; II J lh Il f ll ,
Si J is una función integrable, la última desigualdad vale para Jn =
min ( I J I , n) y haciendo tender TI a infinito Beppo-Levi nos garantiza que
ella es cierta para J integrable. Usando (7.4) se obtiene que 9 E LOO (E) .
4. FUNCIONES CONVEXAS 203
I
4. Funciones convexas.
(2)
(
s+t
cp -2-
) :S "21 <pes ) + "21 cp(t) , (s, t E I) .
En este parágrafo veremos que (1) implica la continuidad de la función
cp en el interior del intervalo l . El hecho de que la continuidad cp conjun
tamente con (2) implican la convexidad de <p se deja como ejercicio. La
caracterización con (2) es más fácil de verificar.
A continuación damos un ejemplo de función convexa. Sea p E P (I)
una función creciente. Luego para cada t E 1 ponemos
'" - y y-x
cp(y) � -
- - cp(x) + -- cp(z) .
:; - x :; - x
Si a esta última desigualdad le sumamos miembro a miembro -cp(x) obte
nemos (4). El proceso claramente se puede revertir, de modo que (4) es equi
valente a ( 1) . Las dos equivalencias restantes no ofrecen dificultad adicional.
Podemos usar (6) para demostrar que si cp E e l ( a , b) Y cp' es creciente
entonces cp es convexa sobre ( a , b) , para lo cual basta usar el teorema del
valor medio.
Pongamos ahora
cp(x + h) - cp.( x)
h
4. FUNCIONES CONVEXAS 205
<p(x) - <p(x - h)
D- <p(x) = lim
h.-;. O + h
cuando estos límites existan.
Si <p es una función convexa sobre 1 valen las afirmaciones (a) ( c) si -
guientes:
(a) D + <p(x) existe y es menor que infinito para a :::; x < b . [use (4)].
(b) D- <p( x) existe y es mayor que menos infinito para a < x < b .
[use (5)].
(c) D - <p(x) :::; D + <p(x) para a < x < b . [use ( 6 )] .
En particular hemos demostrado que si <p es convexa sobre 1 , entonces
es continua en el interior de l . Nos interesa ahora analizar la monotonía de
las derivadas.
Para una función convexa, como consecuencia de (6), tenemos
(8)
5. Los espacios LP .
f, g E LP .
Para demostrar la desigualdad de Minkowski supondremos, sin pérdida
de generalidad, que I I f llp y IIgllp son positivas. Dado que tP es una función
convexa para p 2:: 1 , para cada x E E se cumple
(
r l f(x) 1 + Ig (x) I ) P dx
lE II f llp + IIgllp -<1.
Por lo tanto
<p
e tE
n ) L f(x) dX) :S mtE) L <p(f(x)) dx .
La integral de la derecha está bien definida pudiendo valer más infinito.
En efecto, por ser cp una función convexa existen dos sucesiones (ai) y
(bd tales que cp(x) = sup(aix + b;) .
i
Luego
cp ( _
1 . r
(
m E) lE
) i (
f(x) dX = s�p � r f(x) dx + bi
I 1n( E) lE
)
=s p
� m E) t L
¡ (a f(x) + bi)dx
:S _ 1 r sup(a;J(x ) + bi )dx
m ( E_) lE i
1
= __. r cp(f) dx
m(E) lE
El siguiente teorema nos da una manera muy útil de expresar la norma
LP de una función.
(7.10) Teorema. Sea f una función medible con valores reales definida
sobre E , Y 1 :S p :S oo . Entonces
(a) Si f E LP su norma está dada por
,
I l f ll p = sup r fg dx ,
9 lE
Np (f) = sup [
IIgllp· � l lE
fg dx .
Por la desigualdad de Holder tenemos que
fe fiYi = II fd lp .
Luego, para cualquier 11 se tiene
o sea Np (f) = oo .
Q .E.D .
'
En el teorema anterior no hace falta toda la bola de LP para definir la
' '
norma LP . Sea D � LP una clase de funciones densa en LP , i.e. para
'
cada g E LP existe una sucesión ( g;) � D tal que IIg - gi llp' --.;. O cuando
z --.;. oo .
I
1I :
!
eg (f) = kf 9 dx
Entonces tenemos eg E (U)* y Il eg ll = Ilgllp' . Aquí 1 ::; p ::; oo .
Enunciamos ahora el siguiente teorema:
Con las herramientas que poseemos en este momento es muy fácil demostrar
(7.11) para 1 ::; p ::; 2 (ver ejercicios) . Más adelante daremos una demostración
para los restantes p ; pero para ello deberemos usar una de los teoremas
más importantes de la teoría de la medida, a saber, el teorema de Radon -
Nikodym.
6. La función de distribución.
m(El ) < 00 y
Q.E.D.
• 7. Espacios de Orlicz.
oo.
Sea <P una función monótona creciente y continua de [0, 00) en sí mismo
tal que <p(0) = O y <p(t) tiende a infinito si t --+ Si E es un subconjunto
medible de IR n consideremos el siguiente conjunto de funciones medibles:
,
{
L'P (E) = L'P = f : existe ).. > O tal que l <p().. l f(x) 1 ) dx < oo} .
Como en el caso de LP los elementos de L 'P son clases de funciones medibles
con valores complejos o reales extendidos. En cualquier caso es fácil ver que
L'P es un espacio vectorial cerrado para las operaciones de máximo y mínimo
ent.re dos funciones. Abreviamos esto diciendo que estamos en presencia de
un espacio vectorial reticulado.
En la literatura también se usa el siguiente espacio
L't, (E) = L't, = f : { para todo ).. > O, l <p().. l f(x) l ) dx < oo}
Fácilmente se demuestra que L't, es u n espacio vectorial reticulado incluido
en L'P .
El conjunto de funciones
(7. 14) Teorema. Si i.p no cumple una condición � 2 para valores grandes de
x , existe una función f en D'P tal que ¡3f tJ. D'P para todo ¡3 > 1 .
DEMOSTRACIÓN : Sin pérdida de generalidad supondremos m(E) < oo .
Dado que i.p no cumple � 2 en el infinito, existe Ul tal que i.p( ud > 1 Y
i.p« 1 + t)uI) > 2i.p(uI) . También existe U 2 > U l tal que i.p« 1 + �)U2 ) >
2 2 i.p( U 2 ) · En general podemos elegir una sucesión U¡ / 00 tal que para todo
i se verifica
Elijamos ahora una sucesión disjunta de conjuntos (E¡) tal que para cada i,
Pongamos ahora
{
f( ;r ) = O
u '. si x E E¡
si x tJ. U E¡
¡
.
Claramente
Si ¡3 > 1 , tendremos
i.p(¡3f ( x ) ) .
( )
¡E
m(E) 1
dx ? L 2'i.p ( U ¡ )
i.p ( l + -:-)u; = 00 .
(¡1- 1)¡ � 1
Z
Q.E.D.
Seguidamente introducimos una métrica en L'to que es la análoga de
dp (f, g ) = fE I f - gl P dx cuando 0 < p � 1 , para lo cual supondremos que
i.p es una función cóncava (i.e. -i.p convexa) diferenciable, además de las
'
condiciones pedidas al principio de esta sección. En esta situación la función
7. ESPACIOS DE ORLICZ 215
cp resulta ser subaditiva sobre [0, 00) o sea cp( s + t) < cp( s) + cp(t) para
s, t � O (ver ejercicios) .
Para J, 9 E L't, ponemos
y recordando que
demostración de (4).
)O(t) tiende a infinito cuando t ---+ 00 , obtenemos la
Q.E.D.
En forma análoga a lo realizado en el Cap.H, Sección 14 podemos ver
que la siguiente funcional de Minkowski
I+g
Si )O
no cumple la propiedad Ll:¡ no podemos asegurar la igualdad en
(7.15). No obstante tenemos
(7. 17) Teorema. Para una sucesión (Ji ) en L 'P son equivalentes las afir-
maclOnes
(J) 11 Id 1'1' -+ O cua ndo i -+ 00 ;
(2) para cada >. > O fE <p( >'l /i I ) dx -+ O cuan do i -+ oo .
>'lI /d l 'P lE ( ll /i l ) dx
lE
�
1 /i (x) r
<P ll 'P
� >. Il /d l 'P .
lE
r ( )
1 /i . l dx > 1 para todo J
<p --:- .
Q.E.D.
( 7. 18) Teorema. Consideremos una sucesión (J;) en L 'P que converg e pun
tualmente a una función l · Entonces 11 /11'1' � lim inl II/; 11 '1' .
i -...... co
DEMOSTRACIÓN : Sea = li.m inf ll /d l 'P y supongamos > O , si Q = O se
el' el'
puede demostrar que I = O . Luego existe una subsucesión (Ji j ) tal que
7·-00
Q.E.D.
f = L fk ,
está bien definida en casi todo punto y pertenece a
Veamos ahora que hi = ¿� = 1 h f L'P ,
puesto que
converge a en norma 11 · 11 10 ' En efecto,
Ifl :::; f*
.
que f Il X
continua si .4. 11 10 -+ O cuando
tiene n.a.c.).
-+ O ( para abreviar escribiremos
E LlO ftieneACada
(7.20) Teorema.
ffinita, f E L't, tiene norma absolutamente continua. Si
n. a. c., entonces para cada conjunto medible A de medida
X E L't, .
DEMOSTRACIÓN : Observemos primero que si f E L't,
esta función puede
ser aproximada en norma 11 · 11 10 por funciones acotadas con soporte acotado.
En efecto, sea (Ad
una sucesión creciente de conjuntos acotados tal que
E = Ai ,
U donde E
es el conjunto medible sobre el cual está definido el
espacio de Orlicz L'P .
Para cada f E L't,
pongamos
Ji= X A, f X { l f I 9} .
LOO La sucesión
Y
(Ji )
es nula fuera de Ai .
Por ser f E L't, f
converge puntualmente hacia y por otro lado
tenemos que para cada > O , A fi E
h <'oC A l fi - fi ) dx -+ O , '
7. ESPACIOS DE ORLICZ 219
para i � oo . Asi que por ( 7.17) vale I l f fd l cp
- --;. O si i � oo .
Sea ahora f E L't, Y é > O Y tornemos g E L oo tal que II f gll cp < é .
-
Luego
SI Z � 00 .
Puesto que fi está en L't, y este último espacio es cerrado en L 1" (ejercicio
35) , hemos demostrado que f X A E L't, .
Q.E.D.
Inspirados por la demostración del teorema precedente definiremos la
clase BCP corno la adherencia en LCP del conjunto
(7.21)
La demostración de la afirmación (7.21) está incluida en la demostración
del teorema ( 7.20).
No es difícil ver que si <p : [0, 00) --;. [0, 00 ) es una función convexa no
nula tal que <p(0) = O , existen funciones no acotadas en el espacio de Orlicz
L cp . Así , si querernos obtener LOO corno en un caso particular de espacio de
Orlicz debernos modificar nuestro concepto de función convexa permitiéndole
{
tornar valores infinitos. En consecuencia definirnos
O si O :::; t :::; 1
<Poo (t) = ,
00 si t > 1 .
220 VII - ESPACIOS DE FUNCIONES CLÁSICOS
< 00 si y sólo si
<P00(1L'fo1 1 ) dx
Claramente tenemos fE
x
punto E E . Por lo tanto = LOO Y = 1 11 'Poo 1 1111(x)00 '1 1
:5 en casi todo
Nótese que para
verificar estas últimas afirmaciones, es necesario usar el convenio o · 00 = O.
EJERCICIOS
1. Sea (X, 1 · ID
un espacio normado y
X (xn )
una suceSlOn en X, diremos
que la serie formal
serie numérica
L
Ll�n Il xn l n
l� n
es absolutamente convergente si la
es convergente.
Demuestre que un espacio normado es completo si y sólo si toda serie
absolutamente convergente es convergente.
2 . Dé un ejemplo de una función 1 Ll ([O , I])
en tal que para todo p > 1
111P Ll ([0 ,l1]) . n
rt
3. El espacio
able.
L ( IR ) es separable, o sea tiene un conjunto denso numer
si >t O
si <t O
es infinitamente diferenciable y tiende a uno cuando --;. oo . Considerar
= 1,b( ni )�( n(
t (
Ll ( <Pn (t)
la sucesión
en IR ) .
1-t)).
Demuestre que C!f IR ) es denso
lim
n � oo
l oo
- 00
1(x)cosnx dx = lim
n � ro
l
- 00
oo
1(x) sennx dx O.
=
L
222 VII - ESPACIOS DE FUNCIONES CLÁSICOS
13. Para l' :5 p :5 s se tiene que U (E) e F (E) + L" (E) , donde el conjunto
de la derecha es {J + 9 : f E L r (E) y 9 E L" (E)} .
14. Si meE) < 00 y f E Loo (E) , entonces II f llp -+ II f lloo cuando p -+ oo .
Sugerencia: La versión discreta de la afirmación anterior es muy fácil de
demostrar. En efecto sea
Luego fp (x)
p -+ oo .
=
C� )
I X io l fp X (
o
y tenemos
o )
fp CX� ( -+ 1 para
II TX II :5 M ll x ll , xEX .
.. _�
EJERCICIOS 223
(ii) T es continua en x = O .
iii) T es continua sobre X .
19. Sea T una transformación lineal continua de un espacio normado X en
un espacio normado Y . Pongamos
L
224 VII - ESPACIOS DE FUNCIONES CLÁSICOS
24. Sea <p : [0, 00) --;. IR tal que <p(0) = O . Si <p es convexa y O � ). � 1
tenemos que <p(>.t) � ).<p(t) , t E IR . Si <p es cóncava, i.e. -<p convexa,
y ). 2: 1 se verifica <p().t) � ).<p(t) , t E IR .
25. Sea <p : [O, 00) � IR , <p(0) = O una función cóncava y derivable. En
tonces <pes + t) � <pes) + <p(t) para s, t 2: O .
Sugerencia: Use el ejercicio anterior para verificar que la desigualdad se
cumple para s = t , recuerde luego que <p' es una función monótona
decreciente. Muestre que la hipótesis de derivabilidad puede omitirse.
26. Sea <p : [0, 00) � [0, 00) , <p(0) = O , una función cóncava derivable.
Supongamos además <p(t) > O si t > O . Definimos L'P(E) como el
conjunto de las funciones medibles / tal que fE <p( I/1 ) dx es finita.
Para /, 9 E L'P(E) ponemos
d'P U, g) = fe <p( I/ - g l ) dx .
Pruebe que (L 'P (E), d'P ) es un espacio métrico completo. Nótese que
L'P (E)es también un espacio vectorial.
27. Sea H un espacio de Hilbert, C un conjunto convexo cerrado en H
y p(x) = p (x / C ) la proyección de un vector x sobre C . La función
p : H --;. C es lineal sii C es un subespacio.
28. Demuestre el Teorema (7.11) para 1 � p � 2 .
Sugerencia: Suponga que el espacio E tiene medida finita y con la
desigualdad de Holder reduzca el problema al caso p = 2 . Véase la
demostración del Teorema (7.3) dada el final del parágrafo 3.
29. Si 11 / - /n IIp � O , entonces la sucesión /n converge en medida hacia /.
30. Teorema de convergencia de Vitali. Sea Un ) una sucesión en LP(E) ,
O < p < 00 , que converge en casi todo punto hacia una función / la
cual es finita en casi todo punto. Entonces / E LP(E) y 11 / - /n llp � O
cuando n --;. 00 si y sólo si se cumple:
(i) Para cada é > O existe un conjunto A de medida finita tal que para
todo n vale
r l / (x) IP dx � é .
JE -A n
(ii) Dado é > O existe 8 > O tal que si I A I < Ó entonces
¡ l /n (x) IP dx < é , ,
EJERCICIOS 225
para todo n .
Sugerencia: Es más fácil ver que las anteriores son condiciones necesarias.
Para demostrar que son suficientes si 1 ::; p < 00, primero use Fatou y
Minkowski para reducir al caso meE) < 00 , y lluego use Egorov.
3 1 . Sea cp : [0, 00) � [0, 00) una función continua creciente cp(O) = O tal que
para una constante finita c se cumple cp ( s + t) ::; c( cp( s ) + cp(t» para
todo par de números no negativos s, t . Sea ( in ) una sucesión de fun
ciones medibles que converge en casi todo punto hacia ! , y supongamos
que fE cp( I!1 ) dx es finita . Si fE cp ( l!n l ) dx � fE cp( I !1 ) dx cuando
n � 00 , entonces f
E cp ( l! - !n 1 ) dx � O si n � oo .
Sugerencia: Use Fatou para la sucesión c( cp ( l fl ) + cp( l!n 1 )) - cp( l!n - ! I ) .
32. Demuestre que un espacio de Banach real es un espacio de Hilbert si y
sólo si para cualquier par de vectores x, y se cumple la "ley del paralelo
gramo" : II x + y lf + Il x - y l1 2 = 2 11 x l1 2 + 2 11 y 11 2 . Extienda el resultado
para espacios de Banach complejos.
33. Sea 1 ::; p < oo y supongamos que para todo par de funciones !, g E LP
se cumple la ley del paralelogramo: 1 I!+g ll� +II!- g l l � = 2( 1 1 ! 1 I� + ll g ll� ) .
Demuestre que p = 2 .
34. Sea cp(t) una función creciente continua sobre la semirrecta O ::; t < 00 ,
con derivada continua para t > O y tal que cp (O) = O . Probar que
para cualquier función medible no negativa ! : IR n � IR y cualquier
conjunto medible E e IR n ,
I
l
CAPITULO VIII
DIFERENCIACION DE LA INTEGRAL
mtQ ) l
de la fórmula
fQ = f(x) dx .
lim fQ = f(xo) ,
m(Q)� O
donde se han considerado aquellos cubos que contienen al punto xo .
El primer objetivo de este capítulo será analizar la validez del límite
anterior cuando la función f es integrable. A lo sumo podemos esperar un
Q.
resultado válido en casi todo punto, ya que para f y g iguales en casi todo
punto tenemos fQ = gQ para cada cubo
A continuación definimos una función que mayora puntualmente a todos
los promedios. Para f localmente integrable ponemos
donde el supremo se toma sobre todos los cubos qu� contienen al punto x .
226
1 . LA FUNCIÓN MAXIMAL DE HARDY-LITTLEWOOD 227
Et = { x E IR n : Mf(x) > t} .
El conjunto Et es abierto puesto que la integral de Lebesgue es absolutamente
continua.
Remos definido un operador .M sobre las funciones localmente inte
grables con valores en las funciones medibles. Este operador es sublineal, lo
que significa que:
¡X
Sea f una función no negativa definida sobre la recta real. Entonces
Mf(x) 2:
1
� f(y) dy (x > O) .
x o
L
.,.,,
3'
. . ..;
>
. �
,
228 VIII - DIFERENCIACIÓN DE LA INTEGRAL
=
integrabilidad en la cercanía del punto x O , Condiciones semejantes para
f pero globales, están dadas por expresiones del tipo
(1) lim f =
Q--+x Q f (x) ,
m(Q)
donde el límite se toma sobre la familia de los cubos Q que contienen al
punto x cuando � O.
Si f es la función característica de un intervalo 1 , fácilmente se ve que
la igualdad (1) se cumple para x E 1° ó x f!. l . Luego dicha relación se
cumple en casi todo punto si f is una función escalonada. Por otro lado, la
relación (1) se cumple si x es un punto de continuidad para la función f .
Por lo tanto tenemos dos clases densas en L 1 (las funciones escalonadas y
las funciones continuas con soporte compacto) para las cuales la igualdad (1)
se cumple en todo punto o bien al menos e n casi todo punto.
para cada 9 en la clase de las funciones escalonadas. Puesto que dicha clase
es densa en L 1 ( IR n ) , tenemos que m(Et (f)) = a .
Q.E.D.
Los promedios fQ en el teorema de diferenciación de Lebesgue se con
sideraron sobre cubos Q de aristas paralelas a los ejes coordenados. A con
tinuación extenderemos el teorema para promedios sobre conjuntos más ge
nerales.
Supongamos que para cada x E IR n se ha definido una clase ex de
conjuntos medibles, de modo que se cumplen las condiciones siguientes:
(a) Para cada E E ex existe un cubo Q tal que x E Q , Q � E Y
m( Q) :S e meE) , siendo e una constante independiente de x y E .
(b) Para cada é > a y x E IR Il existe E E ex tal que m(E) < é .
U n ejemplo de clase ex con las condiciones (a) y (b) es el de una familia
de bolas Br (x) = { y E IR 11 : Ix - yl < 1"} con radios 1" tendiendo a cero.
Si A es un conjunto medible acotado de medida positiva ponemos ex =
{x + 1'A : 1" > a} , con 1"A = {1"a : a E A} . Es fácil ver que esta clase ex
cumple (a) y (b).
Dada una clase ex nos interesa nuevamente averiguar si se verifica la
igualdad
limx fe = f(x) ,
E�
donde
fE = _1 _. f f(x) dx
m(E ) lE
y al escribir E � x debe entenderse que nos aproximamos al punto x con
conjuntos E de la clase ex .
232 VIII - DIFERENCIACIÓN DE LA INTEGRAL
(8.4) Teorema. Sea {Cx }x E m n una familia que cumple las condiciones
(a) y (b) Y f una función localmente integrable . Entonces para casi
todo x E IR n tenemos
,
l
�x m ( E) lE I f(y) - f(x) I dy
r
Elim =O .
DEMOSTRACIÓN: Definimos
.
l1m
meE n B (x))
•.
= X E (X )
. ,
.
r�O m (Br )
Esto es, para cada x E E existe una constante }.JI (que puede depender
>
de x ) y un número {) O tal que Id(x + y) 1 :::; 1\ 1 lyl si Iyl :::; {) .
Un ejemplo de función d con estas propiedades se obtiene tomando la
distancia de un punto x a un conjunto cerrado E . En este caso la constante
1\1 vale 1 y {) es cualquier número positivo.
Demostraremos que para casi todo punto x E E se tiene d(x+ y) = o(lyl)
cuando Iyl --;. O . O sea, dado E> >
O existe {) O tal que Id(x + y) 1 :::; E l yl si
Iyl :::; {) .
En otras palabras, bajo las suposiciones hechas para la función d , vere
mos que en casi todo punto de E la función d es diferenciable y su diferencial
vale cero.
Necesitamos demostrar primero la proposición siguiente:
(c) Sea x un punto de densidad para un conjunto medible F , es decir,
=
m(F n Br (x)) 1
-O
lim .
m(Br )
E> >
r
C:E) n .
m (BIYI + eIYI) m (Bl y l + e: ly l (x))
=1-
Para E>
O fijo, haciendo Iyl --;. O , la desigualdad anterior contradice la
existencia del límite en el enunciado de (e) .
Ahora estamos en condiciones de demostrar que d(x + y) = o(lyl) , para
casi todo x E E . Con este fin definimos
L
234 VIII - DIFERENCIACIÓN DE LA INTEGRAL
Los conjuntos Ek son cerrados por ser d una función continua; además
tenemos E = U Ek .
k� l
Para k fij o, sea x E Ek un punto de densidad para este conjunto.
Usando (c) tenemos que para é > O existe Ó > O y z E Ek n B., lyl (x + y) , si
Iyl � ó . Supongamos además que éÓ � l/k .
Luego tenemos las desigualdades
Id(z + u) 1 � k lul si lu l � l/J..� ,
I z - (x + y) 1 � é lyl .
Por lo tanto Id(x + y) 1 = Id( z + x + y - z) 1 � k l x + y - z l � kélyl ·
Q.E.D.
3. Medidas abstractas.
j j
Esta función óxo define una medida sobre :E que se llama la delta de
Dirac concentrada en X o .
236 VIII - DIFERENCIACIÓN DE LA INTEGRAL
{
:E . Para cada A E :E ponemos
(8.5) Teorema. Sea (X, �, Jl) un espacio de medida y (Ej ) una sucesión
en � . Entonces valen las afirmaciones siguientes:
(a) Si ( Ej) es monótona creciente, entonces
(e) Si Jl(X) < 00 , se verifican las desigualdades Jl( lim infEj) <
lim infJl( Ej) ::; lim sup Jl( Ej) ::; Jl(lim sup Ej ) .
La demostración de estas propiedades es análoga a la ya realizada para
la medida de Lebesgue y se deja como ejercicio. Observe que en (e) la finitud
de Jl(X) se necesita sólo para demostrar la última desigualdad.
3. MEDIDAS ABSTRACTAS 237
{
e = E E :E : ¡.t(E) = inf ¡.t(G) y ¡.t (E) = sup ¡.t(F)
G "J E F CE
} ,
Ej = {x E X : d(x, CE) 2 1 fj } ,
En este parágrafo J.L denotará una medida de Borel sobre IR n , tal que
J.L( Q) < (X) para cada cubo Q . Con este tipo de medida estudiaremos el
límite siguiente:
J.L(Q)
lim .
Q� x m(Q)
En la sección 2 hemos considerado promedios sobre cubos, bolas euclídeas
y otros conjuntos más generales (ver teorema (8.4» ; lo mismo puede hacerse
con la medida J.L .
Para cubrir una amplia clase de ejemplos, consideraremos sobre IR n
una métrica d que genere los mismos conjuntos abiertos que la distancia
euclídea. Como es usual, definimos con esta distancia d las bolas
Supondremos de ahora en adelante que existe una constante finita k tal que
(a)
para todo x E IR n y r > O . Ver ejercicios 6 a 8.
4. DIFERENCIACIÓN DE UNA MEDIDA DE BOREL . . . 239
Nos interesará estudiar el comportamiento de los promedios ¡.t(B)/m(B)
para B � x ; y esto nos induce a definir el siguiente operador maximal
M ¡.t( x) = sup
¡.t( B )
B3 x m ( B )
donde el supremo se toma sobre todas las bolas que contienen a x . Para
tener el límite mencionado al comienzo de esta capítulo hay que tomar las
bolas definidas por la métrica d(x, y) = �l�� I Xi - yi l , donde Xi , Yi son las
l-i
i -ésimas coordenadas de x e y . Por otro lado, podemos estudiar promedios
no comprendidos en la clase descripta por el teorema (8.4) . Ver Ejercicio 8.
Insistimos en que en el resto de esta sección, cuando hablemos de bolas
será en el sentido general señalado anteriormente. Sea e una colección de
bolas en m n entonces existe una subfamilia maximal V de bolas disjuntas,
esto es V es una subfamilia disjunta de bolas y no existe ninguna bola en e
disjunta con todas las bolas de V. La afirmación anterior es una consecuencia
inmediata del lema de Zorn, véase por ejemplo la obra de Kelley [7] .
(8.8) Teorema. Sea ¡.t una medida de Borel sobre IR " , finita sobre cubos,
y sea
M¡.t(x) = sup m¡.t (B) .
. (B)
-
B3 x
Entonces existe una constante e independiente de la medida ¡.t , tal
que
Claramente f-Lf , f-Lg son medidas de Borel regulares y f-Lf l.f-Lg si las fun
ciones f y 9 tienen soportes disjuntos.
(8.9) Teorema. Sea f-L una medida de Borel sobre IR n , finita sobre cu
bos, y mutuamente singular con respecto de la medida de Lebesgue.
Entonces
f-L(B)
lim
B� x m(B) = O ,
para casi todo x E IR n .
Nota: En el límite de arriba se toman todas las bolas (formadas con una
métrica dada d ) que contienen al punto x .
{
. . = x E IR n
E(t) : lim sup
B-. x
f-L(B)- > t
m( B)
-
}
Sabemos que existe un conjunto medible A tal que m( A)
f-L( IR" - A ) = O . Por ser la medida f-L regular, dado é > O existe un
conjunto abierto G tal que
y f-L( G) < € o
\
Pongamos ahora El = E(t) n ( IR" - A) Y para cada x E El elegimos
una bola Bx tal que x E Bx e G y f-L(Bx) > tm(Bx ) .
Por el lema (8.7) existe una sucesión (Bx ; ) de bolas disjuntas contenidas
00
J
I
L -
242 VIII - DIFERENCIACIÓN DE LA INTEGRAL
JI(A) = JIJ ( A ) = j A.
f(x) dx ,
= f(x)
JI ( B )
�� m(B) ,
Más adelante veremos que toda medida de Borel regular se puede expre
sar de esta forma, en virtud del teorema de Radon-Nikodym.
Es interesante señalar que se puede demostrar la existencia en casi todo
punto del límite anterior sin recurrir al teorema de Radon-Nikodym. Esto
no es difícil, pero no se hará aquí . Consultar "Differentiation of Integrals in
IR n , por Miguel de Guzmán, Springer Verlag, ( 1975).
"
para cada f, 9 en V .
Cuando hablemos de operadores definidos en LP siempre supondremos
que son al menos subaditivos. Por ejemplo el operador maximal de Hardy
Littlewood es subaditivo.
5. CONTINUIDAD EN LP DEL OPERADOR IvIAXIMAL. . . 243
(a) (f E LP ) .
L
244 VIII - DIFERENCIACIÓN DE LA INTEGRAL
h ( x) =
{ f(x l
O
si If( ;¡;)1 > t
si If(x) 1 � t
.
y h = f - h Claramente h E L 1 y h E Lr y tenemos que
A(t) � m( { ITh l + ITh l > t})
� m( { ITh I > t/2}) + m( { ITh l > t/2}) .
En la primera desigualdad anterior hemos usado (1) . Ahora usando (2)
{�
Para el caso r = 00 es conveniente poner
(x) si If(x)1 :::; t/2c
h (x) =
si If(x) 1 > t/2c ,
h = f - h , siendo IITf l l oo :::; c llf l l oo .
(_ )
En este caso la constante cp estará dada por
P_ /
lp
Cp = 2c1l /p c l /p l
p- 1 '
l/p + l/pI = 1 .
Q .E. D .
.( 8 . 1 1 ) Teorema. Si M es el operador maximal de Hardy-Littlewood, en
tonces valen las siguientes desigualdades
(i) tm({ Mf > t}) :::; c l l lflh f E Ll .
(ii) 11M fl l p :::; cp llfl l p f E LP , 1 < p :::; 00 ,
(iii) II X E Mf l lp :::; up (m(E)) 7 I1f lll f E Ll ,
donde O < p < 1 Y E e IR n es de medida finita.
(iv) II x E Mf l h :::; 2m(E) + 2Cl f If(x) l log+ If(x) l dx ,
con meE) < oo .
(P )
Nota: Las constantes que aparecen en el teorema tienen el siguiente
comportamiento: cp = O ':' l cuando p � 1 ,
cp = 0 ( 1) si p � oo .
,
Dado que el operador maximal M f es de tipo débil (1, 1 ) Y fuerte
( 00, 00 ) el teorema de interpolación (8. 10) nos asegura la validez de (ii)
Para demostrar (iii) ponemos
A(t) = meE n {Mf > t} ) .
Luego, en forma análoga a lo hecho para p 2: 1 , tenemos
= 11 + 1'2 ,
.,
=
La demostración de (iii) finaliza eligiendo s I fl h /m(E).
Para demostrar (iv) utilizamos la siguiente descomposición para f (ya
usada en la demostración del teorema de interpolación) ,
A(t)
Usando la función
desigualdad anterior, tenemos
introducida en la demostración de (iii) y la
=
fe Mf(x) dx fooo A(t ) di
:S 2m(E) 100 A(t) dt
:S 2m(E) lOO 2tC1 (¡ If(X) ldX) dt .
+
+
2 2 I f (x) l > t
6. Aproximaciones de la identidad.
1
integrable:
l
f,, (x) = f(y) dy
m ( B" )
I x- y l �"
donde m( B,, ) representa la medida de Lebesgue de una bola de radio E .
Poniendo B = { y : Iyl � 1 } , K(x) = [m(B)] - l X B ( X ) , Ke (x)
E- n K(X/E) , es conveniente expresar fe como la siguiente convolución
w(8) = sup
I xl�ó
{J
If( y - x ) - f( YW dy
I /P
}
DEMOSTRACIÓN: Será suficiente demostrar la desigualdad anterior, ver el
ejercicio 1 0 del capítulo VII.
Desde que vale h , tenemos las siguientes igualdades
(8. 13) Teorema. Sea E una función integrable cuya integral vale uno y f
una función en LOO ( 1R n ) . Entonces, para casi todo x tenemos que
](0* f( x ) --. f( x) cuando e -;. O . Más todavía, dicha re/ación límite
se cumple en cada punto de Lebesgue de f .
DEMOSTRACIÓN : Descompongamos adecuadamente al núcleo E( x ) . Para
un número positivo N definimos
E;' (x ) = E ( x ) X{ lxl� N} (X) ,
E� (x) = E( x ) - E1 ( x ).
6. APROXIMACIONES DE LA IDENTIDAD 249
KE * f(x) = h + h + Js ,
donde
JI = I¡K � ( y )I�T K1 (y)(f(x - éY) - f(x)) dy ,
h = I¡ K� ( y )I<T K1 ( y) (f(x - éY) f(x)) dy , -
Ih l ::; (1 l fl l oo + If(x) ! ) 1
I K,!,, ( y )I�T
I K1(y) l dy < 6 .
(8. 14) Teorema. Sea J( una función medible definida sobre IR n . Supone
mos que la mínima mayorante radial no creciente C asociada a E es
una función integrable y la integral de la función J( vale uno. En
tonces valen las afirmaciones siguientes:
M
(a) SUPg> o I f d{g (x) 1 � Cn (f C( y) d y) f( x) , donde C es una con
n
stante que depende sólo de la dimensión y lvI f es la función maximal
de Hardy-Littlewood.
(b) Para f E LP ( IR n ) , 1 � p � 00 y para casi todo x E IR n se
)
cumple que f * J(g (x) --;. f( x cuando é --;. O .
(c) Si f E LP , 1 � p < 00 , la convergencia de f * Eg hacia f cuando
--;.
é O , es en la norma LP .
.
DEMOSTRACIÓN : La parte (c) fue demostrada en ( 8 12 ) bajo condiciones
más débiles. No obstante, observe que (c) es una consecuencia directa de
(a), (b), el teorema ( 8.11) (ii) y el teorema de la convergencia dominada de
Lebesgue cuando 1 < p < 00 .
Pasamos a demostrar (a) y por simplicidad en la notación suponemos
f 2: O . Luego tenemos
IEg * f ( x ) 1 � J
e n Co ( lylfé )f( x - y) d y
+00
- 00
�e Mf(x) J C( x)dx ,
donde hemos utilizado la misma letra e para dos constantes distintas que
dependen sólo de la dimensión.
La demostración de (b) es muy similar a la del teorema de diferenciación
de Lebesgue. Pese a ello la realizaremos en detalle para el caso p < oo .
Si f es una función continua con soporte compacto , (b) se cumple en
todo punto. Esto es consecuencia del teorema ( 8.13) o de un cálculo muy
sencillo.
6. APROXIMACIONES DE LA IDENTIDAD 251
Para f E P( IR n ) ponemos
(8.15) Teorema. Sea J{ una función medible sobre IR n , tal que su mínima
mayorante radial no creciente es integrable. Sean 1 ::; p ::; 00 ,
f E LP( IR n ) y x un punto de Lebesgue de la función f . Entonces se
tiene
-
252 VIII - DIFERENCIACIÓN DE LA INTEGRAL
r- n r If(x - y) - f(x) l dy � p .
Jlvl�r
{
Definamos
Es fácil ver que A1g(O) � ep , con una constante e que depende sólo de
la dimensión.
Ahora acotamos convenientemente la función A" f definida por
Como h = I E I" * g(O) resulta, usando la parte (a) del teorema ( 8.14 ) ,
que
J1 � en J C(x)dx Mg(O) � e enP .
Para estimar la integral h observamos las siguientes desigualdades
7. EJEMPLOS Y APLICACIONES DE APROXIMACIONES DE LA IDENTIDAD 253
Puesto que t n Co (t) -;. a cuando t -;. 00 (ver ejercicio 18) , tenemos que
h -;. a cuando é -;. a .
Resumiendo, hemos demostrado que para cada p > a,
Q.E.D.
J
la igualdad
K(x)dx = 1 .
la función f . En efecto, el teorema (8. 15) se puede usar para este caso
particular de aproximación de la identidad.
Cn J exp( - l lxl2/4) dx = 1 .
Poniendo r(x) = Cn exp ( - lx l 2 /4) resulta r(x, t) r ...L (x)
VI
t}/' r(x/ Vi) .
Para f E LP ( IR n ) , 1 :::; p :::; 00 , ponemos
.
medio de la fórmula
f(x) =
�
-
1
�
loo - 00
e 1 xy f(y) dy .
j(x) = � loo
v 27r - 00
e -ixy f( y) dy .
7. EJEMPLOS Y APLICACIONES DE APROXIMACIONES DE LA IDENTIDAD 255
¡oo
Usando el teorema de Fubini y la expresión de arriba para Pe , la función
= PE * f( u ) .
¡oo
Como f es integrable, h, (u) tiende uniformemente en 1/ a la integral
1
-- �
f(x) e-1 xu dx ,
.
V2ir - 00
cuando E � O .
Por el teorema ( 8 . 14) PE * f( u ) -+ f(u) cuando E � O para casi todo
¡oo
u . Consecuentemente la igualdad siguiente se verifica en casi todo punto.
f(y ) =
1
r.>=
2-
v ¿.7f - 00
Q.E.D.
256 VIII - DIFERENCIACIÓN DE LA INTEGRAL
(8. 17) Teorema. (Titchmarsh) . Sea f una función integrable tal que
tenemos que
1 t 1
1i'(x)1 dx � m(E) 2 sup 1f"(x) 1 + -
1 00 If(x + t ) - f(x ) 1 dx .
E xE E t - 00
Por lo tanto, para cada € > O existe una constante CE tal que fo: = CE •
Por un lado fo: (x) converge a una constante C en todo punto x . Por
otro lado fE (X) -;. f(x) en casi todo x cuando € -;. O . Luego, f = c .
Q.E.D.
Recordemos que f : IR -;. IR es una función de Lipschitz con una
constante de Lipschitz c si se cumple
If(x) - f( y) 1 � c l x - yl , x , y E IR .
l i: l
f(X» )9/ (X)dx � c i: 1�(x ) l dx ,
1
8. LÍMITE NO-TANGENCIAL 257
para toda cP E eJ ( IR ) .
DEMOSTRACIÓN : Veamos primero que la condición anterior es suficiente. Sea
cP E eJ ( IR ) no negativa con integral igual a uno y pongamos fe = CPe * f .
para cada E eH IR ) .
cP
Q.E.D.
j
L
258 VIII - DIFERENCIACIÓN DE LA INTEGRAL
• 8. Límite no tangencial.
lco rn - 1 Có (¡')dr
es finita cuando lo es la integral
8. LÍMITE NO-TANGENCIAL 259
(8.20) Teorema. Sea J{ una función medible tal que su m[nima mayorante
radial no creciente es integrable y acotada. Entonces
5:. en J n Cb ( ; )
xo x
I f(x)1 dx
IR
= (lb )" * Ifl (xo)
100
5:. C n 7,n - 1 lb (r) drMf(xo) .
(8.21) Teorema.
(i) liMó fllp � cp ll fl l p 1 < p � 00 ,
donde cp depende de Ó pero no de f .
(ii) t m({Mó (J) > t}) � c l llflll .
(8.22) Teorema. Sea J{ una función medible, tal que su mínima ma
yorante radial no creciente es integrable y acotada. Si 1 � p < 00 ,
f E LP ( IR n ) y Xo es un punto de Lebesgue de f , entonces para cada
Ó > O tenemos
J I Ke (x - y) 1 I f( y) - f(xo)ldy � O ,
� é- n J ( )
ló xo ; y I f( y) - f(xo )ldy
EJERCICIO S
MF(f)(x) = sup
13x m
�
( I·) j If(y) l dy ,
1
Por lo tanto
n
{( Yl , . , ' , Y ) : L IXi - Yi l O' < r} .
n
i=l
Entonces, existe una constante e = c ( n , C\' ) tal que m(B2 r (x) �
e m( Br (x» , para todo x E IR n y r > O . ¿Puede generalizar este
resultado para otras funciones cóncavas <p(t) distintas de t O' ?
8. Sea <p una función convexa sobre [0, 00) tal que <p(0) = O y <p(x) > O
para x > O . Para .A > O definimos la siguiente elipse
., ')
CA = {(x, y) E IR : = 1} .
2 x- Y-
+
.A 2 <p2 ( .A )
( C1 : C'2 r + ( <P(C 1 + C2 ) r � 1 .
t
II Mf llL'(Ej � 2(m(E) + c d l l fl l cp .
l
264 VIII - DIFERENCIACIÓN DE LA INTEGRAL
19. Sea e una función como en el ejercicio 18. Entonces para cada j 2: 1
existe una función Cj E Cj ( 0 , 00) tal que
r>O .
266
1 . LA INTEGRAL EN ESPACIOS ABSTRACTOS 267
siempre que las dos integrales del miembro derecho sean finitas, en cuyo caso
decimos que f es integrable sobre E .
A veces la integral se denota por el símbolo
es decir, que existe una sucesión creciente (Xn ) de conjuntos en :E tal que
X = U:= l Xn y J.l(Xn ) es finito para cada n .
La existencia de la medida producto se obtendrá como una consecuencia
del siguiente resultado. El lector debería meditar sobre las diferencias entre
los resultados ( 5.23) y ( 9 . 1 ) .
(9.3) Teorema d e Fubini-Tonelli. Sean (X, :E, fl) e (Y, r, v) dos espacios
de medida (J' -finitos. Sea f(x, y) una función no negativa medible con
respecto a la (J' -álgebra producto :E @ r . Entonces
(i) f(x, . ) es r -medible para cada x E X .
(ii) f( . , y) es :E -medible para cada y E Y .
(iii) las funciones
L (l )
f(x, y) dV ( Y) dfl ( X ) = l (L )
f(x , y) dfl ( X) dv(y)
= r f(x, y) d ( fl @ v)(x, y) .
JXXY
DEMOSTRACIÓN: Poniendo
(9.4) Teorema de Fubini. Sean (X, I:, j.l) e (Y, r, v) dos espacios de
medida (T -finitos y f una función integrable en el espacio de medida
(X x Y, I: <29 r, j.l <29 v) . Entonces
(i) para casi todo x , la función f(x, . ) es una función integrable en
el espacio de medida (Y, r, v) .
(ii) para casi todo y , la función f( , y) es una función integrable en
•
r f(x, . ) dj.l(x)
l. f( •
, y) dv(y),
Jx
son funciones integrables en X e Y respectivamente.
(iv)
L
272 IX - EL TEOREMA DE RADON-NIKODYM
2. El teorema de Radon-Nikodym.
se tiene ¡ti � ¡t .
(9.5) Teorema de Radon-Nikodym. Sean ¡t y v dos medidas finitas
sobre el espacio medible (X, �) . Entonces existe un único par de me
didas Va , Vs sobre � tal que:
(1) v = Va + vs , Va � ¡t, vs.l.¡t .
(2) existe una única función h E L l (¡t) que verifica
J I dv J I g d(p + v)
=
J 1(1 - g) dv = J I g dp
Poniendo I = ( 1 + g + . . . + g n ) X E , tenemos
(a) (E E :E) .
1
1..J-l .
274 IX - EL TEOREMA DE RADON-NIKODYM
tiene que Vs
Q.E.D.
La demostración anterior se debe esencialmente a J. von Neumann, 1903-
J-lX
1957.
X
El teorema (9.5) admite generalizaciones que son casi inmediatas. Así el
es una medida u -finita y v una medida finita.
J-l(Xn) Xn.
teorema es válido cuando
En efecto, basta considerar como una unión disjunta de conjuntos con
J-l
finita y usar el teorema en cada
La mayor parte del teorema se puede extender al caso de que ambas
medidas y v sean u -finitas. La única parte del teorema que no vale en su
J-l(Xn)
integrable sobre todo X , pero sí lo es sobre cada
< oo .
donde U Xn,
totalidad es la afirmación (2), donde ahora la función h no es necesariamente
= Y Xn X
3. Medidas signadas.
J-l)
Siendo f una función con valores reales, integrable sobre un espacio de
medida (X, �, , pongamos
(E E �) .
La función J-li
es una función u-aditiva decimos que J-li
está definida sobre � con valores en los reales y dado que
es una medida real o medida
J-li
signada.
Por cierto, si hubiéramos partido de una función f con valores en los
J-li
números complejos, sería una función u -aditiva con valores complejos
y por lo tanto un ejemplo de medida compleja. En cualquiera de los dos
casos, la función cumple
Más aún, si J es una función real es fácil ver que 1J.lf I(E) = fE IJI dJ.l ,
por lo tanto 1 J.lj i es una medida finita sobre I: .
Motivados por el ejemplo de arriba daremos la siguiente definición. Una
función J.l : I: --+ IR se llama una medida real o medida signada si es
E
u -aditiva, es decir,
J.l (Q ) Ei = J.l(E¡ ) ,
entonces se verifica
Más aún, en la desigualdad anterior vale la igualdad para todo EE� (ver
ejercicio 12) .
El teorema (9 . 5) se puede extender fácilmente al caso en que la medida
fl es finita y la medida 1/ es signada. La noción de mutua singularidad para
medidas signadas tiene el mismo sentido que para medidas, y el concepto de
1/ absolutamente continua respecto de fl se transcribe textualmente para el
( e) (E E �) .
P= {h = 1 } y N = {h = -1} ,
tenemos que
SI ACP y
SI BCN
Por razones obvias, el conjunto P es llamado un conjunto positivo
para fl y N un conjunto negativo para fl . Las medidas definidas por:
fl l (E) = fl(E n p )
fl2 (E) = -fl(E n N) ,
(9.7) Teorema. Sea (X, �, Ji) un espacio de medida finito y �o una sub
(J' -álgebra de � . Entonces
(1) O � f implica O � E [f! �o] .
l/t E) = I!.( X E) .
Suponiendo que I!. toma valores reales, 1/ es una medida con signo sobre �
y además es absolutamente continua con respecto a la medida J..L . Por el
teorema de Radon-Nikodym, existe 9 E L 1 (X, �, J..L ) , tal que
(E E �) .
Jf
aquí fácilmente resulta
I!.(f) = 9 dJ..L ,
para cada f E LP , y esto concluye la demostración del teorema.
Q.E.D .
J
.'''','''''!III''---
Pa C E) = fe h dx .
Usando los teoremas ( 8.3) y (8.9) obtenemos que
p( Q)
lim
Q�x m(Q) = h(x) ,
para casi todo x.
Los cocientes p( Q)jm( Q) , pueden ser reemplazados por p(B)jm(B) ,
donde B son bolas determinadas por una adecuada métrica en IR n , (véase
el parágrafo 4 del capítulo 8 ) .
5. Convergencia débil en LP .
fe In fe I
9 �
9 , TI. --;. 00 .
(9.9) Teorema. Sea 1 < p :::; 00 (in ) una sucesión de funciones acotadas
y
f(g ) = lim f
k �= lE n k .
f g
'
Para ver que C es una función lineal sobre LP recordemos que e es adi
tiva sobre F y homogénea con respecto a escalares racionales. Resumiendo,
f E (Ul ) * y por el teorema (9.8) existe f E LP tal que
C (g) = fe fg (g E Ul ) •
f(g ) = lim f
fk g l
(g U)
k _= lE n
E •
.
5. CONVERGENCIA DEBIL EN LP 283
g
Sea E LP Y s > O elegimos
'
gn o
E F tal que I f ( g ) - f( gn o ) 1 < s y
además II g - gno
II p ' < s . Sea ka tal que si k 2:: ka se tiene
Por lo tanto
cuando k 2:: ka .
Q.E.D.
La siguiente afirmación es útil.
Q.E.D.
En la afirmación (9.10) la convergencia débil puede ser reemplazada por
convergencia en medida, así tenemos:
284 IX - EL TEOREMA DE RADON-NIKODYM
(1)
IIX B f l l� � l ���f II XB fn ll �
= lim inf (ll fn II� - II XA fn II� )
n ----- oo
= IIf ll� - lim sup II XA ln ll � .
n ----+ oo
5. CONVERGENCIA DEBIL EN LP 285
Luego
X A f ll� .
n---- oo II X A fn ll� :::; II
(2) lim sup
Por lo tanto para demostrar (b) podemos suponer sin pérdida de genera
lidad que m(E) < oo . Además bastará demostrar que existe una sub sucesión
(fn k ) de ( fn ) tal que II fn k - f ll p --;. O cuando k --;. 00 .
Existe (fn k ) tal que fn k --;. f en casi todo punto de E , Y por el teorema
de Egorov existe B � E tal que fn k converge uniformemente a f sobre B
y m(E - B) < 8 , donde 8 > O es elegido de forma tal que se cumpla:
6. Diferenciación de funciones.
..
donde ( , ) denota el producto escalar en IR n y o( h ) es una " o chica de
h " (o sea o( h) / h ---+ O cuando h ---+ O ) .
Se demostró en el capítulo anterior que si d( x) es la distancia del punto
x a un conjunto cerrado E � IR n , entonces d(x + h) = o( h ) cuando h ---+ O ,
para casi todo x E E . En otras palabras d( x) tiene derivada cero en casi
todo punto de E .
El teorema siguiente es una extensión del resultado anteriormente men
cionado.
( )
m Fk n BI Y I +eI Y I (Xo ) < m(BI Y I +eI Y I (xO)) - m(Be I Y I (xo))
m(BI Y I +eI Y I ) - m(BI Y I +e l y l )
n
=l- C: é ) .
-,
l'
n n
;= 1 ;= 1
luego V(f/-l) � 1 ¡t I ( IR ) , y por el teorema (9.6) tenemos 1 ¡tJ( IR) < oo . Más
todavía, se puede ver que V(f/-l) = l ¡t l ( IR ) (ver ejercicios) .
Notemos que la función f/-l definida arriba es continua por la izquierda
en todo punto y que f/-l(x) � O cuando X -;. -oo . Decimos que una función
de variación acotada f está normalizada o abreviadamente que fes
VAN, si la función es continua por la izquierda y tiende a cero cuando su
argumento tiende a menos infinito.
Hemos demostrado que una medida real ¡t genera una función f/-l que es
VAN. Veremos a continuación que si f es una función de variación acotada,
una traslación de ésta la transforma "practicamente" en VAN. Necesitamos
primero demostrar la siguiente propiedad:
(9.15) Para toda función de variación acotada f existen sus límites laterales
en cualquier punto, así como los n'úmeros reales:
cl = x lim
---- - oo f(:!:) , el =
+oo f(x) .
x-lim
-¡ L If(xi ± éi ) 1 ::;
10 10 V(n
meC Eco ) ::;
i e
Q.E.D.
Sabemos que si J1 es una medida de Borel signada sobre IR , entonces la
función f/J (x) = J1((-oo , x)) es VAN . Recíprocamente tenemos al siguiente
teorema.
En (9.20) la función f. tiene derivada cero en casi todo punto por (9.16).
Además F(x) = h(x) en casi todo x , como consecuencia del teorema de
diferenciación de la integral.
U na función f : IR � IR es absolutamente continua si para cada
E: > O existe {) > O tal que para cualquier sucesión X l < YI < X 2 < Y2 < . . . <
Xn < Yn , la relación L�= l (Yi - X i ) < {) implica L �= l I f ( Y; ) - f(x; ) 1 < E: .
Toda función absolutamente continua es uniformemente continua y ade
más es de variación acotada sobre todo intervalo acotado (probarlo) . Siendo
h integrable sobre IR con respecto a la medida de Lebesgue, definamos
f(x) = ¡Xoo h(t) dt .
Por las conocidas propiedades de la integral, f es absolutamente continua.
Sea ahora f una función VAN absolutamente continua y consideremos la
medida J.l asociada a f por medio de f( x) = J.l ( 00 x) . Se puede demostrar
- ,
EJERC I C IOS
1 . Sea (X, 2:) un espacio medible y f una función sobre X con valores
en IR tal que {f > a } E 2: para todo a E D , siendo D un conjunto
denso en IR . Demuestre que f es medible.
1 1 . Sea J-l una medida real sobre (X, �) . Entonces existe una función me
dible I tal que 1 I1 = 1 en cada punto y para cada E E � verifica
J-l(E) = fe I dlJ-l 1 .
Sugerencia: de la desigualdad 1 J-l I (E) :s fE 1 I 1 d l J-l 1 se obtiene 1 I 1 � 1 en
casi todo punto con respecto a 1 J-l 1 ; y de I fE I d l J-l 1 1 :s 1 J-l I (E) obtenemos
que 1/1 :s 1 en casi todo punto.
12. Sea J-l una medida real y l E L1 ( 1 J-l 1 ) . Para cada EE� pongamos
(E E �) .
13. Dado un espacio de medida u -finito (X, �, J-l) y una sub u-álgebra
�o , demuestre sin usar el teorema de Radon-Nikodym que para cada
I E L1 (X, �, Ji ) existe una única función 9 E L 1 (X, �o , J-l) tal que
(E E �o ) .
C( g ) = JI 9 dJ-l .
para todo n . Entonces existe una subsucesión (fnk ) de (fn ) tal que
para cada x E (0, 1 ) la sucesión (fn k (X » converge hacia una función
creciente f( x) .
20. Una norma 11 1 1 se llama estrictaIllente convexa si II x ll = II y ll = 1 ,
•
V(fIJ ) = I p l ( IR ) .
EJERCICIOS 297
23. Sea f :IR ---+ IR una función de variación acotada. Pongamos (ver
(9.15» f(x-) = y-x,y<x
lim f(x) cl = lim f(x) g(x ) = f(x-) - cl ·
,
x--oo
La función g es una función de variación acotada sobre IR . Poniendo
V (x) para la variación total de f sobre el conjunto ( -00, x] , demuestre
que
(a) x < y ===> If(x) - f(y) 1 ::; V (y) - V(x) .
(b) f = h - h donde h y h son funciones crecientes. Por ejemplo
h = ( V + 1)/2 , h = (V - 1)/2 .
(c) Si f es VAN entonces V es VAN.
25. Sea f una función creciente en IR , acotada y continua por izquierda.
Para cada conjunto E � IR pongamos
[11] ROYDEN, H . L . , Real Analysis, The MacMillan Co. , New York, 1963.
[12] RUDIN, W., Real and Complex Analysis, McGraw-Hill, New York, 1966.
[13] SAKS, S., Theory of the Integral, Monografie Matematyczne, Varsovia,
1 937.
[14] SIERPINSKY, W . , Lecons sur les nombres transfin is, Gauthier-Villars,
Paris, 1950.
[15] SPIVAK, M., Calculus on Manifolds, Benjamin, New York, 1965.
[16] TITCHMARSH , E . C . , The Theory of Functions, Oxford U niversity
Press, Londres, 1939.
298
BIBLIOGRAFIA 299
A Cantor-Bendi.xon (teorema) , 60
Cápsula convexa, 38
Abertura de un cono, 259 Caratheodory (condición de) , 1 12
Absoluta continuidad, 155 Cardinal transfinito, 18
Absolutamente convergente Casi todo punto (en) , 126
(serie) , 220 Cauchy-Schwarz (desigualdad de) , 26
Absolutamente continua (función) , 292 Cavalieri (pricipio de) , 159
Acotada (aplicación lineal), 197 Chebyshev (desigualdad de) , 150
Algebra de conjuntos, 293 Clase,
Algebra de funciones, 266 de conjuntos, 6
Aplicación densa en LP' , 210
diferenciable, 180, 286 de partes, 6
elemental, 176 monótona, 293
Aproximación de la identidad, 247
Complemento, 7
Area
Conjunto
exterior, 74
abierto, 28
interior, 74
absorbente, 66
acotado, 38
B boreliano, 102
de la recta extendida, 1 16
Beppo Levi (teorema de) , 143
cerrado, 29
Bola abierta, 28, 62
compacto, 42
convexo, 38
e débilmente cerrado, 286
de clase Fu , 96
Cadena (regla de la), 181 de clase G{¡ , 96
Cantor, 54 de medida nula, 95, 149
300
ir
GLOSARIO 301
GLOSARIO 303
Suma desordenada, 22
Zermelo (axioma de) , 105
Supremo, 1
Teorema
de Beppo-Levi, 143
de diferenciación de Lebesgue, 230
de Hardy-Littlewood, 228
de interpolación de Marcinkiewicz,
243
de Fatou-Lebesgue, 148
de Fubini, 165, 2í1
de Fubini-Tonelli, 163, 270
de la convergencia mayorada, 149
de Radon-Nikodym, 272
de Titchmarsh, 256
Tipo débil (p, q), 243
Tipo fuerte (p, q), 243
Transformación
jacobiana, 180,
lineal, 175
Unión, 6
Unitario (vector), 26