Documente Academic
Documente Profesional
Documente Cultură
ab A + B. Fig. p
ag. 243.
Dpto. de Matematicas
Univ. de Extremadura
Apuntes de Teora de la Medida
Dpto. de Matematicas
Univ. de Extremadura
Apuntes de Teora de la Medida. 21 de diciembre de 2016
Indice general
1. Medida 1
1.1. Introduccion Hist
orica. . . . . . . . . . . . . . . . . . . . . 1
1.2. algebras de conjuntos . . . . . . . . . . . . . . . . . . . 4
1.2.1. Anillos, Algebras y algebras. . . . . . . . . . . . 4
1.2.2. algebra de Borel. . . . . . . . . . . . . . . . . . . 6
1.2.3. El conjunto de Cantor. . . . . . . . . . . . . . . . . 9
1.2.4. Clases mon otonas . . . . . . . . . . . . . . . . . . 11
1.3. Medida . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.3.1. Definici
on y propiedades . . . . . . . . . . . . . . . 14
1.4. Extension de medidas . . . . . . . . . . . . . . . . . . . . 20
1.4.1. Medidas exteriores . . . . . . . . . . . . . . . . . . 20
1.4.2. Teoremas de extensi on de medidas . . . . . . . . . 23
1.5. Medidas de LebesgueStieltjes . . . . . . . . . . . . . . . . 27
1.5.1. Medidas de LebesgueStieltjes en R. . . . . . . . . 27
1.5.2. Medidas de LebesgueStieltjes en Rn . . . . . . . . 31
1.5.3. Propiedades de la medida de Lebesgue. . . . . . . 38
1.6. Medidas de Hausdorff . . . . . . . . . . . . . . . . . . . . 40
1.6.1. Medidas exteriores metricas . . . . . . . . . . . . . 40
1.6.2. Las medidas de Borel Hp . . . . . . . . . . . . . . 42
1.6.3. Medidas de Hausdorff en Rn . . . . . . . . . . . . . 44
1.6.4. Conjuntos pdimensionales . . . . . . . . . . . . . 46
1.6.5. Longitud de curvas de Rn . . . . . . . . . . . . . . . 50
1.7. Apendice . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
1.7.1. Conjuntos de F y de F . . . . . . . . . . . . . . 53
1.7.2. Cargas. . . . . . . . . . . . . . . . . . . . . . . . . 55
1.7.3. Propiedades de haz en los espacios de medida. . . 56
1.7.4. Aproximaci on de medibles . . . . . . . . . . . . . . 57
1.7.5. Compleci on . . . . . . . . . . . . . . . . . . . . . . 58
i
ii
INDICE GENERAL
1.7.6. Regularidad. . . . . . . . . . . . . . . . . . . . . . 62
1.7.7. Sobre los conjuntos Lebesgue medibles. . . . . . . 65
1.8. Bibliografa y comentarios . . . . . . . . . . . . . . . . . . 67
2. Integracion 75
2.1. Introducci on hist
orica . . . . . . . . . . . . . . . . . . . . 75
2.2. Funciones medibles . . . . . . . . . . . . . . . . . . . . . . 76
2.2.1. Propiedades de las funciones medibles . . . . . . . 76
2.2.2. Funciones simples . . . . . . . . . . . . . . . . . . 79
2.2.3. Operaciones b asicas de las funciones medibles. . . 82
2.2.4. Existencia de Lebesgue medibles no de Borel. . . . 82
2.3. Integraci
on . . . . . . . . . . . . . . . . . . . . . . . . . . 85
2.3.1. Integral de funciones medibles . . . . . . . . . . . . 85
2.3.2. Propiedades b asicas de la integral. . . . . . . . . . 88
2.4. Teoremas b asicos de integraci
on . . . . . . . . . . . . . . . 90
2.4.1. Teorema de la carga . . . . . . . . . . . . . . . . . 90
2.4.2. Teorema convergencia mon otona . . . . . . . . . . 93
2.4.3. Integral de una suma . . . . . . . . . . . . . . . . . 94
2.4.4. Teorema de la convergencia dominada. . . . . . . . 97
2.4.5. Dependencia de un par ametro. . . . . . . . . . . . 100
2.4.6. Otras propiedades. . . . . . . . . . . . . . . . . . . 103
2.4.7. Integrales de Riemann y de Lebesgue . . . . . . . . 110
2.5. Bibliografa y comentarios . . . . . . . . . . . . . . . . . . 115
5. Diferenciaci on 191
5.1. Introducci on . . . . . . . . . . . . . . . . . . . . . . . . . . 191
5.2. Diferenciacion de medidas . . . . . . . . . . . . . . . . . . 192
5.3. Derivacion e integraci on . . . . . . . . . . . . . . . . . . . 198
5.3.1. Funciones de variaci on acotada. . . . . . . . . . . . 198
5.3.2. Medidas y funciones de variacion acotada. . . . . . 201
5.3.3. Teorema fundamental del c alculo. . . . . . . . . . . 202
5.4. Transformaciones diferenciables . . . . . . . . . . . . . . . 206
5.4.1. Transformaciones lineales. . . . . . . . . . . . . . . 206
5.4.2. Transformaciones y medidas de Hausdorff. . . . . . 210
5.5. El teorema de cambio de variable . . . . . . . . . . . . . . 211
5.5.1. Coordenadas polares . . . . . . . . . . . . . . . . . 219
5.5.2. Coordenadas esfericas . . . . . . . . . . . . . . . . 220
5.5.3. Forma de volumen. Variedad Riemanniana . . . . 220
5.5.4. Coordenadas hiperesfericas . . . . . . . . . . . . . 222
5.6. Calculo de la constante n . . . . . . . . . . . . . . . . . . 229
5.7. Bibliografa y comentarios . . . . . . . . . . . . . . . . . . 234
Densidades 371
2.1. Gr
aficas de s1 y s2 . . . . . . . . . . . . . . . . . . . . . . 80
2.2. Algunos pelda nos de la funci
on de Cantor . . . . . . . . . 83
aficas de las funciones P f P . . . . . . . . . . . . 110
2.3. Gr
4.1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 163
5.1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 209
5.2. Interpretaci
on geometrica del determinante . . . . . . . . 209
5.3. Volumen y Area de un cuerpo de revolucion. . . . . . . . 226
6.1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 243
v
vi
INDICE DE FIGURAS
Medida
1.1. Introducci
on Hist
orica.
1
2 Captulo 1. Medida
de longitud,
area
o volumen; Euclides las considera caractersticas que
puede medir respectivamente en las figuras que s define, como son:
Linea es una longitud sin anchura. (Libro I, Def.2).
olo tiene longitud y anchura (Libro I, Def.5).
Superficie es lo que s
Solido es lo que tiene longitud, anchura y profundidad (Libro XI,
Def.1).
y tampoco define que es medir , es una palabra que utiliza no solo cuando
habla de estas tres magnitudesgeometricas, sino tambien en el ambito
de la aritmetica; por ejemplo en el libro VII, las definiciones 3 y 4 dicen
3.- Un numero es parte de un n
umero, el menor del mayor, cuando
mide al mayor .
4.- Pero partes cuando no lo mide.
por ejemplo 3 es parte de 15 y 6 es partes de 15.
Las longitudes las daba en comparaci on con un segmento unidad,
las areas con un cuadrado unidad y los vol umenes con un cubo unidad,
de este modo dio los valores correspondientes a figuras simples como
polgonos y poliedros y demostr o teoremas como el de Pitagoras. Otros
autores griegos m as que dar la medida de una figura daban resultados
del tipo: A y B tienen igual area o volumen. Por ejemplo Arqumedes
(287212 a.c.) atribuye a Eudoxo (408355 a.c.) la demostracion de que
el volumen de un cono es un tercio del volumen del cilindro de la misma
base y altura. Esto sin conocer este volumen, para el que hace falta
conocer el area del crculo, que descubrio casi 100 a
nos despues el propio
Arqumedes demostrando que es el de un tri angulo rectangulo con un
cateto el radio y el otro la longitud de la circunferencia; suyo tambien es
que el volumen de la esfera es 2/3 el volumen del cilindro o que el area
de la esfera es la del cilindro circunscrito (ver Boyer, p.177). Para esta
u
ltima, que demuestra en Sobre la esfera y el cilindro (ver la bibliografa
en la pag.70), utiliza los axiomas de Euclides junto con cinco principios
de los que destacan,
4.- Dos superficies que tienen los mismos lmites en un plano son
desiguales cuando ambas son c oncavas en la misma direcci on y una de
ellas est
a completamente limitada por la otra y por el plano que tiene los
mismos lmites que esta otra, o cuando una de ellas s olo esta parcial-
mente limitada por la otra y el resto es comun. La superficie limitada es
la menor.
5.- Dadas dos lneas, dos superficies o dos s
olidos desiguales, si el
exceso de una de estas figuras sobre la otra se a nade a s mismo un
1.1. Introducci
on Hist
orica. 3
cierto n
umero de veces, se puede superar una u otra de las figuras que
se comparan entre s.
(este ultimo es el conocido Axioma de Arqumedes). Y en la demos-
tracion hace un uso riguroso del concepto de lmite.
Por u ltimo suya es tambien la mejor acotacion de de la epoca:
3 + (10/71) < < 3 + (10/70).
As se mantuvieron mas o menos las cosas durante 2000 a nos, hasta
que en 1883 G. Cantor (18451918) dio la primera definicion de medida
m(A) de un conjunto arbitrario (acotado) A Rn . Otros autores como
Stolz en 1884 y Harnack en 1885 dan definiciones equivalentes en R.
Para ellas la propiedad aditiva de la medida m[A B] = m[A] + m[B],
para conjuntos disjuntos A y B, se satisfaca si los conjuntos estaban
completamente separados, pero no en general, pues con sus definiciones
un conjunto y su adherencia median lo mismo y por tanto los racionales
y los irracionales de [0, 1] median 1, lo mismo que todo [0, 1].
El primero en considerar que conjuntos A son medibles y dar una
definici on de su medida fue en 1887 G. Peano (18581932), el cual
consider o la medida m[A] de sus predecesores (que en el caso del plano
defina mediante aproximaciones externas de A con polgonos) y a la que
llam o medida exterior y consider o, para A R, con R un rectangulo,
la medida interior de A como m[R] m[R\A]; definio conjunto medible
como aquel cuya medida interna coincide con la externa y demostro que
la medida era aditiva. Adem as explic
o la relaci
on existente entre medida
e integraci on, demostrando (ver Pesin, p.38) que una funcion acotada
f : [a, b] [0, ), era Riemann integrable si y solo si el conjunto E de
R2 limitado por la gr afica de f y las rectas x = a, x = b e y = 0 era
medible, en cuyo caso
Z b
f (x)dx = m[E].
a
1.2.
algebras de conjuntos
1.2.1.
Anillos, Algebras y
algebras.
Entre las actividades caractersticas de la ciencia destaca la obser-
vaci
on de magnitudes es decir de las propiedades fsicas susceptibles
de ser medibles, y su medici on. En la leccion siguiente definiremos el
concepto general de medida, que engloba terminos como: longitud, area,
volumen, probabilidad o carga y en esta primera nos fijaremos de forma
muy general en la colecci
on de los objetos o sucesos a medir. Uno podra
1.2.
algebras de conjuntos 5
1.2.2.
algebra de B
orel.
Un caso particularmente importante de espacio medible se tiene cuan-
do (, T ) es un espacio topol ogico. Recordemos que T P() es una
topologa si verifica:
1) , T .
2) Si A1 , . . . , An T , ni=1 Ai T .
3) Dada una colecci on arbitraria de Ai T , su union i Ai T .
Definici on. Dado un espacio topol ogico (, T ), llamaremos
algebra
de Borel a la generada por sus abiertos, que denotaremos (T ) = B()
y a sus elementos los llamamos borelianos .
2 Notaci
on: Si F : 1 2 y C P(2 ), denotamos
F 1 (C) = {F 1 (B) : B C}.
1.2.
algebras de conjuntos 7
(C) A = A (C A).
(C) A A (C A),
numerabilidad.
8 Captulo 1. Medida
por tanto se tienen la primera y tercera inclusiones (las otras son obvias)
K0 = [0, 1] K1 =
K1 = K0 (1/3, 2/3)c = [0, 1/3] [2/3, 1] K2 =
K2 = K1 (1/9, 2/9)c (7/9, 8/9)c =
= [0, 1/9] [2/9, 3/9] [6/9, 7/9] [8/9, 1] K3 =
K3 Kn Kn = K,
c
on. Como Ac es abierto y (A)c es cerrado, se tiene
Demostraci
c c
Ac Ac Ac A Ac A
AA Ac (A)c Ac (A)c .
y denotaremos con
Lema 1.2.21 Si A es
algebra, M(A) es
algebra.
Demostraci on. 1.- M(A) es obvio pues A.
2.- A M(A) Ac M(A), pues la clase {A M(A) : Ac
M(A)} es mon otona5 y contiene al
algebra A, por tanto es M(A).
3.- En primer lugar veamos (i) que si A M(A) y B A, entonces
A B M(A), para ello observemos que fijado B A, la clase
{A M(A) : A B M(A)},
otona 1.2.22 Si A es
Teorema de la clase mon algebra entonces
(A) = M(A).
Ejercicios
Ac C},
C1 = {A : A C o
C2 = {A1 An : Ai C1 , n N},
C3 = {A1 An : Ai C2 , n N}.
R = {A1 An 1 n : Ai Ai },
es una clase elemental (es decir que satisface las condiciones: (i) C, (ii) si
A, B C, entonces A B C y (iii) si A C, Ac es uni on finita disjunta de
elementos de C). (Sol.)
14 Captulo 1. Medida
1.3. Medida
1.3.1. Definici
on y propiedades
Definicion. Por una medida 6 , en un espacio medible (, A) con A
algebra
o anillo, entenderemos una funci
on no negativa
: A [0, ],
que satisface:
(a) () = 0.
(b) Es numerablemente aditiva, es decir si dados A1 , . . . , An , . . . A
disjuntos es decir tales que Ai Aj = , para i 6= j y cuya union
este en A (esto es autom
atico si A es
algebra), entonces
[
X
( An ) = (An ).
n=1 n=1
6 Algunos autores la llaman medida positiva.
1.3. Medida 15
alidos si A es anillo y es
Nota 1.3.10 Los apartados anteriores son v
aditiva.
Una de las propiedades b
asicas y m
as u
tiles de las medidas consecuen-
cia de ser numerablemente aditivas, es la de la continuidad secuencial .
Ejercicios
on An A, demostrar que
Ejercicio 1.3.3 Dada una medida y una sucesi
[
X
( An ) (An ). (Sol.)
n=1 n=1
Ejercicio 1.3.7 Dada una medida finita sobre una algebra A y una su-
on An A tal que lm inf An = lm sup An = A, demostrar que (A) =
cesi
lmn (An ).
1.3. Medida 19
E c es numerable},
A = {E : E o
demostrar que:
a) es una medida semifinita.
b) Que si es semifinita entonces = . (Sol.)
20 Captulo 1. Medida
1.4. Extensi
on de medidas
0 : A0 [0, ]
: P() [0, ]
A continuaci
on construimos una gran cantidad de medidas exteriores.
es una medida exterior (en el ejercicio (1.4.1) se dan otras clases con las
que tambien se genera m ).
(A) = (A E) + (A E c ).
A0 A y = en A0 .
por lo tanto
i=1 Ei =
i=1 Bi A y A es algebra. Pero ademas
X
[
(A) = (A Bi ) + [A ( Bi )c ],
i=1 i=1
(A) (A E) + (A E c )
X X X
(Bn E) + (Bn E c ) = (Bn ),
n n n
(E An ) + (E c An ) = (An ) = (An ) = (E An ) + (E c An ),
(E) = lm (E An ) = lm (E An ) = (E).
n n
26 Captulo 1. Medida
Ejercicios
(A, B) = (A4B),
son continuas.
C = {(a, b] : a b R}.
nico en A0 , como
esto nos permite definir de modo u
n
X n
[
(1.1) [A] = (Ii ), para A = Ii
i=1 i=1
pues si ni=1 Ii = m
j=1 Jj se tiene por lo anterior que
n
X n
X n X
X m
(Ii ) = (m
j=1 (Ii Jj )) = (Ii Jj )
i=1 i=1 i=1 j=1
Xm Xn m
X
= (Ii Jj ) = (Jj ),
j=1 i=1 j=1
n
X m
X
(A B) = (Ii ) + (Jj ) = (A) + (B).
i=1 j=1
1.5. Medidas de LebesgueStieltjes 29
F (x) = x, (a, b] = b a,
Qn
Nota 1.5.9 Denotaremos (, x] = i=1 (, xi ], para cada x = (xi )
n
Rn . Dados a = (a1 , . . . , an ), b = (b1 , . . . , bn ) R , diremos que a < b
(a b) si ai < bi (ai Q bi ) para i = 1, . . . , n. Si para algun i, ai = bi ,
tendremos que (a, b] = (ai , bi ] = y podemos entender el conjunto
vaco como un semi-rect angulo.
por tanto
Sac = {x : xi = ai
o bi (i 6= j) y xj = aj o ej },
Sdb = {x : xi = ai
o bi (i 6= j) y xj = ej o bj },
y tenemos que
Sac Sdb = {x : xi = ai
o bi (i 6= j) y xj = ej }
Sac Sdb = Sab (Sac Sdb )
siendo la uni
on de la derecha disjunta, y se demuestra facilmente que
on disjunta de k1 kn semirect
como uni angulos acotados, tendremos
que
k1 kn n i
(ji 1 (ji
X X Y
(a, b] = ( ai , ai ),
j1 =1 jn =1 i=1
b c b
.............................................................................................................. ....................................... .......................................................................
.. ... .. ... .. ...
. ... . ... . ...
.. ... .. ... .. ...
.. .... .. ... .. ...
. .. . ... . ...
.. ... .. ... .. ...
.. .... .. ... .. ...
. .. . ... . ...
.. ... .. ... .. ...
.. .... .. ... .. ...
. .. . ... . ...
.. ... .. ... .. ...
.. .. .. ... .. ..
.... .... .... .... .... .... .... .... .... .... .... .... .... .... .... .... .... .... .... ..... .... .... .... .... .... .... .... .... .... ..
a a d
Figura 1.3.
.........................................................................................................................................................
.. ....... ....
b ........................................................................................................................................................
.. ....... ....... ....
b
... .. . ... .. .. .
........................................................................................................................................................................................................................................................ ...........................................................................................................................................................................................................................................................
.. ....
. .... .. ....
. ....
. ....
.. ....
. ... .. ....
. ....
. ...
.. ....... ... .. ....... ....... ...
.. ..
. ... .. ..
. ..
. ...
.. ....
. ... .. ....
. ....
. ...
.. ....
. .. ... ....... ....... ..
... .............................................................................. ....................................................................................................................................................................................................................................................
. ..
. ... .. ...
. ...
. ...
.. ....
. ... .. ....
. ....
. ...
.. ..... .. .. ..... ..... ..
a .... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ........ ... ... ... ... ... ... ... ..... a .... ... ... ... ... ... ... ......... ... ... ... ... ... ... ... ... ... ... ... ... ....... ... ... ... ... ... ... ... .....
(E) = (A) = (A B) + (A B c )
= ((A B) + x) + ((A B c ) + x)
= (E (B + x)) + (E (B c + x))
= (E (B + x)) + (E (B + x)c ),
k1
1 1 2
0, , , ,..., ,1 ,
k k k k
1.5. Medidas de LebesgueStieltjes 39
Ejercicios
(A B) = (A) + (B).
B
Bn-1 Cn Cn+1
Figura 1.5.
1.6. Medidas de Hausdorff 41
X
(B) = [Bn Cn+1 Cn+2 ] (Bn ) + (Cj )
j=n+1
X
0 (B) (Bn ) (Cj ),
j=n+1
Para demostrar
P esto veamos antes que si [a, b] (ai , bi ), entonces
ba (bi ai ): Por la compacidad de [a, b] podemos extraer un
subrecubrimiento finito, por tanto existe n tal Pque [a, b] ni=1
P(ai , bi ) y
n
se demuestra por inducci on en n que b a i=1 (bi ai ) (bi ai ),
pues si algun intervalo no corta a [a, b] se puede quitar de la union y
aplicamos el caso n 1 y si todos cortan tomamos el intervalo (a1 , b1 )
que contenga a a y si b1 [a, b] tomamos el segundo intervalo tal que
b1 (a2 , b2 ), en cuyo caso (a1 , b1 ) (a2 , b2 ) = (a1 , b2 ) y b2 a1
b2 a2 + b1 a1 ; en caso contrario si b1 / [a, b], [a, b] (a1 , b1 ) y el
resultado es obvio. Como consecuencia se tiene P para semiintervalos, es
decir que si (a, b] (ai , bi ], entonces b a (bi ai ), para ello basta
observar que para > 0 peque no tendremos que
[a + , b] (a, b] (ai , bi ] (ai , bi + i ),
2
P
y aplicando el caso compacto, tendremos que b a + (bi ai )
y haciendo 0 se tiene el resultado.
Veamos ahora que (0, 1] = 1: por una parte (0, 1] (0, 1] = 1
Pparte si consideramos (0, 1] (ai , bi ], se sigue de lo anterior
y por otra
que 1 (bi ai ), por tanto como (x + y)2 x2 + y 2
Xp X
( bi ai )2 (bi ai ) 1,
y se tiene que ((a, a + 1]) = 1, para todo a R.
Para esta medida exterior los borelianos no son medibles, pues [0, 1]
/
A ya que
(1, 1] (1, 1] = 2 < 2 = (0, 1] + (1, 0] =
= ([0, 1] (1, 1]) + ([0, 1]c (1, 1]).
y por el teorema se sigue que esta medida exterior no es metrica, lo cual
vemos directamente si consideramos dos semiintervalos de longitud 1,
I = (a 1, a] y J = (b, b + 1] a una peque na distancia b a = < 2, su
on I J est
uni a en el intervalo (a 1, b + 1] de longitud 2 + , y
(I J) (a 1, b + 1] = 2 + < 2 = (I) + (J).
I = {n N : Cn A 6= }, J = {n N : Cn B 6= },
para todo A 6= , con el cual es cierto que d(Ai )q = d(Ai )p d(Ai )qp , incluso para
Ai = y p = 0.
44 Captulo 1. Medida
on de Hausdorff de A al valor
on. Llamaremos dimensi
Definici
Nota 1.6.5 Pero como alguno de los conjuntos anteriores puede ser
vaco, consideramos el convenio que ya hemos considerado de nf =
y sup = 0.
Por ultimo veamos que las medidas de Hausdorff tienen una pro-
piedad similar a la de Lebesgue, en el sentido de que son invariantes por
transformaciones que conservan la distancia.
Demostraci on. Basta ver el resultado para las Hp, y para ellas es
cierto pues d[T (B)] = d(B), para cada B y dado Ai existe un Bi ,
tal que T (Bi ) = Ai , por tanto
X
Hp, [T (B)] = nf{ d(Ai )p : T (B) Ai , d(Ai ) < }
X
= nf{ d[T (Bi )]p : T (B) T (Bi ), d[T (Bi )] < }
X
= nf{ d(Bi )p : B Bi , d(Bi ) < }
= Hp, (B).
1
Hn (Q) ( n)n .
m[B]
1.6. Medidas de Hausdorff 45
Demostraci on. Veamos primero que 1/m[B] Hn, (Q), para ello
sea > 0 y consideremos
P un recubrimiento Ai de Q, con d(Ai ) < y
veamos que 1 m[B] d(Ai )n .
Para cada i elegimos un xi Ai y la bola Bi = B[xi , ri ] = xi + ri B,
con ri = d(Ai ), por tanto Ai Bi , Q Ai Bi y por (1.5.18),
p ag.39, m[Bi ] = m[ri B] = d(Ai )n m[B], por lo que
ag.38 y (1.5.4), p
X X
1 = m[Q] m[Bi ] m[Bi ] = m(B) d(Ai )n ,
tendremos que d(Qi ) = n/m y para cada y m tales que n/m <
n
m
X
Hn, (Q) d(Qi )n = ( n)n ,
i=1
por tanto Hn (Q) ( n)n .
B [0, 1] R,
1 a0 =1 [0,1]
a1 b1 a1 B1
a2 a2 a2 a2
b2
B2
b2
a1 B3
a2
1/8 1/4
1/2 1
Figura 1.6.
1.6. Medidas de Hausdorff 47
Por ser an1 > 2an , se sigue que en cada intervalo de longitud an1
podemos incluir dos de longitud an y aun nos queda espacio para incluir
otro de longitud bn = an1 2an (ver fig. 1.6). De este modo podemos
on contractiva Bn [0, 1]
considerar la sucesi
on, Bn B.
Nuestro conjunto B es su intersecci
A continuaci
on desarrollamos unos resultados previos.
Lema 1.6.12 Dados 0 < a < b < c y p (0, 1), se tiene que (ab+c)p >
ap bp + cp .
Demostraci on. Sea d = ab+c, entonces a < b, d < c, siendo d+b =
a + c, y para = (c b)/(c a) (0, 1), se tiene que a + (1 )c = b
y c + (1 )a = d. El resultado se sigue por la estricta concavidad de
f (x) = xp , pues
Demostraci on. Dado > 0 sea n tal que an = 1/2nq < , entonces
2n
B j=1 In,j , siendo d(In,j ) = an < , por tanto
2n
p
X
Hp, (B) d(In,j = 2n apn = 1,
j=1
J1 = {j Nn : In,j A1 },
J2 = {j Nn \J1 : In,j A2 },
Ji = {j Nn \(J1 Ji1 ) : In,j Ai },
Ejercicios
Ejercicio 1.6.5 Demostrar que dimH (An ) = sup dimH (An ). (Sol.)
y respectivamente, de forma an
aloga y obvia, sus longitudes L(Cat ), L(Cts ).
A continuaci
on vemos la relaci
on entre las dos longitudes, H1 (C)
y L(C), pero antes necesitamos un resultado previo.
Demostraci on. Por hipotesis d[F (B)] c d[B] , por tanto d[F (B)]p/
p/ p
c d[B] . Ahora tomando Bi U , con d[Bi ] y B Bi , tendremos
que F (B) F (Bi ), con d[F (Bi )] c = , por tanto
X X
Hp/, [F (B)] d[F (Bi )]p/ cp/ d(Bi )p ,
por tanto Hp/, [F (B)] cp/ Hp, (B) y el resultado se sigue haciendo
0.
y para los t s < tk+1 , tendremos por ser l monotona creciente que
l(t) l(s) l(tk+1 ) l(t) + 2,
y tenemos la continuidad a la derecha.
Para ver la continuidad a la izquierda, dado > 0 existe T = {t0 <
< tn+1 = t} (introduciendo puntos si es necesario) tal que
l(t) p(T ) l(t) y k(t) (tn )k ,
por tanto para Q = {t0 , , tn }
l(t) p(T ) = p(Q) + k(t) (tn )k p(Q) + l(tn ) + l(t) + ,
De d onde 0 l(t) l(tn ) 2 lo cual implica la continuidad a la
izquierda.
Ahora si l : I [0, L(C)], es finita, entonces por lo anterior es con-
tinua y como es estrictamente creciente su imagen es un intervalo, que
es compacto J = [0, L(C)], si I = [a, b] es compacto, o abierto J =
(0, L(C)), si I = (a, b) es abierto. Denotemos su inversa con g : J I y
para la composici on f = g : J Rn , tendremos que
kf (s) f (s0 )k |s s0 |
por tanto se sigue de (1.6.17) y de (1.6.10), la desigualdad
H1 (C) = H1 [f (J)] H1 [J] = H1 [0, L(C)] = L(C).
Por otra parte para R la recta que pasa por x, y Rn , para el seg-
mento que los une [x, y] = {ty + (1 t)x : t [0, 1]}, y para : Rn R
la proyecci
on ortogonal a R, se sigue de (1.6.10) y de (1.6.17), para
p = = c = 1 que
kx yk = H1 [x, y] H1 [(Cxy )] H1 (Cxy ),
por tanto para todo T = {t0 < < tm } I, y xi = (ti ) y si es
inyectiva (salvo en una colecci
on finita de puntos, por lo que Cxi xi1 son
esencialmente disjuntos, pues se cortan a lo sumo en un n umero finito
de puntos) que
n
X n
X
p(T ) = kxi xi1 k H1 [Cxi xi1 ] = H1 (C),
i=1 i=1
Figura 1.7.
1.7. Ap
endice
1.7.1. Conjuntos de F y de F
on. Dada una clase F de conjuntos de , denotaremos con
Definici
F , F ,
54 Captulo 1. Medida
Proposici
on 1.7.1 En los terminos anteriores se tiene que
A = A , C = C , A = A , C = C , . . .
A A A A
B(Rn )
C C C C
donde en las dos u
ltimas filas queremos indicar que cada uno de los dos
conjuntos a la izquierda de esta contenido en cada uno de los de la
derecha y por tanto corresponden a cuatro inclusiones.
Ejercicios
1.7.2. Cargas.
Tambien hay medidas que toman valores negativos un ejemplo en
la fsica es la carga electrica, pero preferimos no llamarlas medidas
para evitar confusi on.
on. Llamaremos carga en un espacio medible (, A), a toda
Definici
on : A (, ], numerablemente aditiva y tal que () =
funci
0 (como para las medidas la llamaremos carga aditiva si es aditiva).
Obviamente las medidas son las cargas no negativas.
a + = + a = , a = + a = , para a R,
+ = , = ,
(1.4) a c, b d a + b c + d.
Por otra parte observemos que toda carga (en particular toda medida)
es aditiva, pues como () = 0 tendremos que para A y B disjuntos
(A B) = (A B ) = (A) + (B),
y por tanto () = 0.
Las cargas conservan algunas de las propiedades de las medidas.
56 Captulo 1. Medida
Y es u
nica pues si es otra tendremos que
X X X
(A) = (A Bn ) = n (A Bn ) = (A Bn ) = (A).
n n n
1.7.4. Aproximaci
on de medibles
Observemos que la idea intuitiva de construir A = (C) tomando
complementarios y uniones e intersecciones numerables, en todas las for-
mas posibles, con elementos de C, sugiere que si C es un algebra A0 ,
entonces los conjuntos de A debieran aproximarse bien por conjuntos de
A0 . Esto realmente es as como a continuaci
on formalizamos.
58 Captulo 1. Medida
on Bn A0 , tal que A Bn = B A y
y existe una sucesi
X
(A) (B) (Bn ) (A) + < ,
n=1
2
1.7.5. Compleci
on
Definicion. Diremos que un medible B de un espacio de medida (, A, )
es nulo si (B) = 0 y dijimos que el espacio es completo si son medibles
los subconjuntos de los conjuntos medibles nulos.
A = {E : A, B A, A E A B y (B) = 0},
y extendemos a A de la forma
(E) = (A),
Ejercicios
1.7.6. Regularidad.
Veamos algunas propiedades de aproximaci on de la medida de Lebes-
gue, de las medidas de LebesgueStieltjes y de las finitas.
on. Sea (X , T ) un espacio topol
Definici ogico Hausdorff. Diremos que
una medida en los borelianos B(X ) es regular interior en E B(X ) si
es a
lgebra, clase mon otona y contiene a los abiertos.
Contiene a los abiertos, en particular , Rm C, por el resultado
anterior (ver 1.7.15).
A C Ac C: Consideremos una sucesion expansiva de
compactos Cn Rm , por tanto Cnc , de donde (Cnc ) 0 (pues es
finita). Ahora para todo > 0, existe un n tal que (Cnc ) /2 y existen
un compacto K y un abierto V , tales que
( (
KAV C n V c Ac K c
(V \K) < /2 (K c \(Cn V c )) (Cnc ) + (V \K) ,
KA A VA y KB B VB ,
K A B V, (V \K) 2.
Ejercicios
Ejercicio 1.7.4 Encontrar una medida en B(Rn ) que sea finita pero no re-
gular. (Sol.)
una, la circunferencia, que es borde de las otras dos. Para otros valores
de c como por ejemplo c = 0,12375 + 0,56508i observamos (ver fig.3,
pag.10 del libro de Peitgen and Richter) que el plano tambien se di-
vide en tres regiones similares y de nuevo una es curva borde de las otras
dos, pero esta no es una curva diferenciable, es muy irregular, parece el
contorno de una isla, aunque sigue siendo conexa. Por ultimo hay valores
c para los que la curva bordeno es conexa. Sus trabajos sobre estas
curvas, que ahora se conocen como curvas de Julia, se mantuvieron en el
olvido hasta que en 1975 Benoit Mandelbrot las recupero llamando-
las fractales (por ser curvas fracturadas en el sentido de quebradas,
rotas) y con ayuda de un ordenador se le ocurrio representar los c para
los que la curva de Julia correspondiente era conexa y se encontro con
un conjunto realmente impresionante y bello (conocido como conjunto
de Mandelbrot). La importancia para nosotros de este conjunto (de su
frontera realmente), as como de alguna de las curvas de Julia, es que
son curvas con dimensi on de Hausdorff no entera. Remitimos al lector
interesado en estos temas al artculo y los libros
Blanchard, P.: Complex Analytic Dynamics on the Riemann Sphere. Bull Amer
Math Soc, 1984, 11, 85141.
Mandelbrot, Beniot: The Fractal Geometry of Nature. Freeman and Company,
1983.
Peitgen, HeinzOtto and Richter, Peter H.: The Beauty Of Fractals. Images
of Complex Dynamical Systems. SpringerVerlag, 1986.
Penrose, R.: La nueva mente del emperador , Mondadori, 1991.
en este ultimo la definici
on que da del conjunto de Mandelbrot, no es
la que hemos dado (que es la del autor), sino que es la siguiente en
los terminos anteriores: Un punto c est
a en el conjunto de Mandelbrot
si partiendo de z0 = 0, la sucesion zn est
a acotada. En el artculo de
Blanchard se demuestra la equivalencia de las dos definiciones.
Para los lectores interesados en la parte de la historia de las ma-
tematicas que tratan los comienzos de la medida y la integracion, re-
comendamos los siguientes libros, en el primero de los cuales estan los
trabajos Sobre la esfera y el cilindro y Medida del crculo:
Arquimedes, Apolonio, etc.: Cientficos griegos II . Ed. Aguilar, 1970.
Boyer, Carl B.: Historia de la matem
atica. Alianza Univ. textos, NY94, 1986.
Van Dalen, D. and Monna, A.F.: Sets and integration. WollersNoordhoff, 1972.
Euclides: Los Elementos. Biblioteca Cl
asica Gredos, 1991.
Hawkins, T.: Lebesgues Theory of integration. Chelsea Pub.Co., 1975.
Pesin, I.V.: Classical and modern integration theories. Acad. Press, 1970.
1.8. Bibliografa y comentarios 71
que
L(R) 6= P(R),
esto nos induce a hacer unos breves comentarios sobre el uso del Axio-
ma de elecci on tanto en la teora de la medida como en el resto de las
matem aticas.
No cabe duda de que la naturaleza del Axioma de elecci on difie-
re bastante de la del resto de la axiom atica de ZermeloFrenkel. No
obstante, su uso siempre acompa nado de reticencia y crtica se man-
tiene porque hay Teoremas importantes que no se saben demostrar sin
el
o incluso son equivalentes a el. Por ejemplo el Teorema de Hahn
Banach que es b asico en Analisis Funcional pues su invalidez hara que
desapareciesen la mitad de los espacios que aparecen en esa disciplina
(los espacios duales). El Teorema de Tychonov en Topologa sobre
la compacidad del producto de compactos, fue durante mucho tiempo
uno de los argumentos mas importantes a favor del Axioma de elec-
cion, pues son equivalentes (ver el VanDalenMonna, p. 32, para una
lista de resultados equivalentes).
No sabemos si se conoce alg un tipo de alternativa para el Teorema
de HahnBanach sin hacer uso del Axioma de elecci on, pero res-
pecto al Teorema de Tychonov se ha demostrado recientemente que
puede ser v alido sin necesidad del Axioma de elecci on, si se entiende
por topologa un concepto no supeditado a un conjunto de puntos,
sino que se parte de un retculo de abiertos como nocion primitiva
como por otra parte ya haca Hausdorff y no de la de punto como es
habitual. Remitimos al lector interesado al artculo de
Johnstone, P.T.: Tychonoff s Theorems without the axiom of choice. Fund. Math.,
113, 21-35, 1981.
Volviendo al resultado de Vitali, este ha sido complementado con
la demostraci on de que si la axiomatica de Zermelo Frenkel es con-
sistente, es decir no tiene contradicci
on, entonces tambien es consistente
on no es equivalente a L(R) 6=
lo cual significa que el Axioma de elecci
P(R).
Otro resultado en esta lnea de 1965, aunque no publicado hasta 1970
es
74 Captulo 1. Medida
Solovay, R.M.: A model of set theory in which every set of reals is Lebesgue
measurable. Ann. of Math., 92, 1-56, 1970. (MR42,1,64).
en el que se demuestra que si
Integraci
on
2.1. Introducci
on hist
orica
75
76 Captulo 2. Integraci
on
F : (1 , A1 ) (2 , A2 ),
f + = m
ax(f, 0), f = m
ax(f, 0), (para las que f = f + f )
{m
ax(f, g) > c} = {f > c} {g > c}.
S = {s : R : s simple}.
X n
[
f= ai IAi , Ai = .
i=1
2 2
1 1
1 1 2
Figura 2.1. Gr
aficas de s1 y s2
i1 i 2i 2 2i 1 2i 1 2i
r , = , , ,
2n 2n 2n+1 2n+1 2n+1 2n+1
en cuyo caso sn+1 (r) vale (2i 2)/2n+1 = sn (r) o (2i 1)/2n+1 sn (r).
Si n r < n + 1, entonces sn (r) = n y existe un j entre n2n+1 y
(n + 1)2n+1 1, tal que
j+1
j j
r n+1 , n+1 sn+1 (r) = n = sn (r).
2 2 2n+1
sn (r) r fn f, 0 sn n 0 fn n
sn sn+1 fn fn+1 , sn (r) r fn f,
2.2.3. Operaciones b
asicas de las funciones medibles.
A continuaci
on demostramos que la suma, el producto y el cociente
de funciones medibles, si est
an bien definidos son medibles.
{Ink : n N, k = 1, . . . , 2n1 },
1
3
4
1
2
1
4
1 2 1 2 7 8
0 9 9 3 3 9 9
1
Nota 2.2.12 Se puede dar una demostraci on alternativa de que hay Le-
besgue medibles no Borelianos, en terminos de cardinales y sin usar el
Axioma de eleccion (ver el Folland, pag.38). Observemos tambien que
mientras los borelianos se conservan por homeomorfismos, los Lebesgue
medibles no, pues g(D) = C.
Ejercicios
Ejercicio 2.2.1 Sea f : (, A) (R, B(R)) acotada. Demostrar que existe una
on de funciones simples sn tales que sn f uniformemente.
sucesi
2.3. Integraci
on
Si no
R hay confusi
on conR el dominio de nuestras funciones, escribi-
remos f d en lugar de f d. A continuacion vemos que sobre las
funciones simples y no negativas la integral es lineal y monotona, esto
nos permitir
a extender la noci
on de integraci
on a funciones medibles no
negativas.
+
Para h : R R medible,
R descomponemos h = h h y si uno de los
+
terminos, h d o h d son finitos, definimos su integral respecto
de como la diferencia
Z Z Z
h d = h+ d h d,
2.3.2. Propiedades b
asicas de la integral.
Veamos en primer lugar algunas propiedades de linealidad y orden
de la integral.
Z Z Z Z
+
c f d = (cf ) d (cf ) d = cf d.
2.3. Integraci
on 89
+ +
y g f tendremos f + d
R
R +
R f gR
(c) Como R por (b) que
g d y g d f d y si < f d, entonces
Z Z
g d f d < ,
(f) Si existe
R la integral
R de f , entonces existe la integral de f en cada
B A y B f d = IB f d y si f es integrable en , tambien lo es en
cada B.
90 Captulo 2. Integraci
on
2.4. Teoremas b
asicos de integraci
on
h : K, para K = R, R o C,
para ver la otra desigualdad sea s S una funcion simple, tal que 0
s h y 0 < r < 1, entonces como hn h, tendremos que
Bn = {x : rs(x) hn (x)} Bn ,
94 Captulo 2. Integraci
on
R R
pues rs < h (ya que rs < s) y hn h; por lo tanto Bn s d s d
y como
Z Z Z Z
r s d hn d hn d lm hn d,
Bn Bn n
R
pero entonces f d = y la suma de las integrales de f y g no estara
bien definida.
(d) Si f 0, g 0 y h = f + g 0, se tiene tambien el resultado
por (c) tomando f 0 = g, g 0 = f y h0 = f 0 + g 0 = h.
(e) Por ultimo consideremos los conjuntos
Z Z
f d =
o g d =
Z Z
f d = o g d = ,
R R
lo cual contradice que f d + g d este bien definida.
Veamos algunas consecuencias del teorema de aditividad:
pues basta P
considerar la medida
P de contar en N, hn (m) P= anm , es
decirP
hn = Pm anm I{m} , h = n=1 hn , por tanto h(m) = n=1 anm , y
h = m=1 ( n=1 anm )I{m} y se aplica 3 veces el resultado anterior.
PR
Teorema
P 2.4.16 Sean hn medibles tales que |hn | d < , entonces
hn converge c.s. a una funci
on medible finita y
Z X XZ
hn d = hn d.
RP PR
P on. Por (2.4.8),
Demostraci |hn | d = |hn | d < y por
(2.4.3), g = |hn | < c.s. Sea A = {g < } entonces
P 0 las funciones
medibles finitas h0n = hn IA definen una serie f = hn absolutamente
convergente enP todo punto y por tanto convergente, es decir las sumas
n
parciales fn = k=1 h0kPque son medibles convergen aP la funcion medible
f que coincide c.s. con hn . Ahora como |fn | g = k=1 |hk |, siendo g
integrable, el resultado se sigue del Teorema de la convergencia dominada
y de que funciones iguales c.s. tienen igual integral.
f : I R,
lm G(t) = A tn t0 , G(tn ) A.
tt0
Corolario 2.4.19 Sea h integrable en tal que para todo t I, |f (t, x)|
h(x), entonces:
2.4. Teoremas b
asicos de integraci
on 101
es de clase infinito y verifica: (0) = 1, (1/2) = y que (t) =
t (t 1) para t > 1; por tanto (n) = n!, para n N.
por tanto como = 1 + 2 , basta ver que las i son de clase infinito
en cada intervalo (a, b) con 1 < a, para lo cual tenemos que probar que
para k 0 las k f /tk = ex xt (log x)k est
an acotadas por una funcion
integrable para todo t (a, b).
Para 0 < x < 1, log x < 0 y xr = er log x es decreciente en r y si
t (a, b), xb < xt < xa , por tanto como | log x| = log x = log x1 ,
tendremos que para todo t (a, b)
k
|ex xt (log x)k | xa log x1 ,
y la funci
on de la derecha es integrable por el ejercicio (2.4.38), pag.109,
por lo tanto 1 es de clase infinito.
3 Parece ser (ver Ivorra, pag.283) que el descubridor de esta funci
on fue Euler,
siendo de Gauss la notaci on para ella y que es de Legendre la funcion Gamma,
(t) = (t 1),
Z
: (0, ) (0, ), (t) = ex xt1 dm,
(0,)
que es m
as habitual.
2.4. Teoremas b
asicos de integraci
on 103
Para 1 < x, log x > 0 y xr = er log x es creciente, por tanto si t (a, b),
xa < xt < xb . Ademas como 0 < log x < x,
siendo la u
ltima funci
on integrable (ver el ejercicio (2.4.39), pag.109).
ltimo derivando ex xt , respecto de x (para t > 0), e integrando
Por u
se tiene que
Z Z
0 = ex xt 0 = ex xt + t ex xt1 = (t) + t(t 1),
(0,) (0,)
ahora bien por (2.3), (0) = 1, por tanto (n) = n! y haciendo el cambio
y 2 = x por el ejercicio
(2.4.29), se sigue del ejercicio (2.4.33) que
(1/2) = (1/2) = .
Demostraci
on.
Z Z Z
p p
f d = f d + f p d
{f } {f <}
Z
f p d p {f }.
{f }
|f |p d < ), para
R
Corolario 2.4.24 Si f medible es pintegrable (i.e.
un p (0, ), entonces {f 6= 0} es finito.
y {f 6= 0} es la uni
on de estos conjuntos.
104 Captulo 2. Integraci
on
Corolario
R 2.4.25 Si f 0 c.s. es medible, entonces tiene integral y si
f d = 0, entonces f = 0 c.s.
R
Corolario 2.4.26 Si g es medible y para todo A A es A
g d = 0,
entonces g = 0 c.s.
para ello basta ver que para cada medible A = {h < r1 } {r2 < g} de
esa uni
on numerable, (A) = 0.
2.4. Teoremas b
asicos de integraci
on 105
Ejercicios
Ejercicio
R 2.4.10
R R f, fn 0 integrables, tales que fn f c.s. Demostrar
Sean
que fn f sii |fn f | 0. (Sol.)
tx
Ejercicio 2.4.20 Sea f : R R medible talR que e f (x) es integrable para
todo t R(a, b) R. Demostrar que F (t) = etx f (x) dm es diferenciable y que
F 0 (t) = x etx f (x) dm. (Sol.)
R
Ejercicio 2.4.23 Sea f no negativa e integrable, con 0 < f d = c < y sea
0 < < . Demostrar que
Z ,
si 0 < < 1,
f
lm n log 1 + d = c, si = 1,
n n
0, si 1 < < . (Sol.)
en el sentido de que si una de las integrales existe tambien la otra y son iguales.
(Sol.)
en el sentido de que si una de las integrales existe tambien la otra y son iguales.
(Sol.)
en el sentido de que si una de las integrales existe tambien la otra y son iguales.
(b) Demostrar que si f : [0, t] R es medible, entonces para t > 0
Z Z
t f (tx) dm = f dm.
[0,1] [0,t]
en el sentido de que si una de las integrales existe tambien la otra y son iguales.
(Sol.)
podemos derivar bajo el signo integral tantas veces como queramos, utilizar
esta igualdad para demostrar (a). (Sol.)
Ejercicio 2.4.31 Sea f : [0, 1] R continua, tal que f (0) = 0 y existe f 0 (0+ )
R. Demostrar que f (x)x3/2 es Lebesgue integrable. (Sol.)
demostrar que:
2
(a) f (t) + g(t) = /4. (b) [0,) ex dm = /2. (Sol.)
R
2
ex cos 2xt dm, demostrar que satisface
R
Ejercicio 2.4.36 Dada f (t) = (0,)
2
f 0 (t) + 2tf (t) = 0 y que f (t) = (1/2) et . (Sol.)
4A la funci
on Z 2
1 x2
f (x) = e 2 ,
2 2 R
on de densidad de la Normal de media 0 y varianza 2 , N (0, 2 ).
se la llama funci
110 Captulo 2. Integraci
on
P = {x0 = a, . . . , xn = b} I,
M 1 2 . . . f . . . 2 1 M,
independientemente de la sucesi
on Pn tomada, y llamaremos integral de
Riemann a este valor comun r, que denotaremos
Z b Z Z
f (x) dx = dm = dm.
a [a,b] [a,b]
(b) Por ser f continua en x, para todo > 0 existe un > 0 tal que
si y V = (x , x + ), entonces f (x) < f (y) < f (x) + . Tomemos
n tal que |Pn | < y ai1 , ai Pn , tales que x [ai1 , ai ) = Ei , entonces
Ei V y por tanto
Si la funci
on no es acotada en nuestro intervalo acotado o esta defi-
nida en un intervalo no acotado tenemos la siguiente extension de inte-
grabilidad en el sentido de Riemann.
Definici on. Si f : (c, d) R R, para c < d es Riemann
integrable en cada intervalo cerrado y acotado [a, b] (c, d), definimos
la integral impropia de Riemann como,
Z d Z b
f (x)dx = lm f (x)dx,
c ac, bd a
R bn
si existe el lmite, es decir si existe el lmn an
f (x)dx y no depende
de las sucesiones an c y bn d.
Ejercicios
Esta obra junto con otras de Riemann han sido traducidas al espa
nol
en el volumen
Ferreiro e: Bernhard Riemann. Riemanniana Selecta, Consejo Superior de
s, Jos
investigaciones cientficas, 2000.
2.5. Bibliografa y comentarios 117
Partiendo de la definici
on de integral Riemann no es facil probar
(2.5.1), mientras que el teorema de la convergencia dominada, pag.98
que es mucho mas general, es mas sencillo. La razon estriba en que el
resultado de Arzela depende de la numerable aditividad de la medida
y partiendo de la definici
on de Riemann probar tal propiedad requie-
re alg
un esfuerzo, mientras que en la teora de Lebesgue esta se tiene
esencialmente desde el principio.
En 1906 Fatou prueba el lema que lleva su nombre en
Fatou, P.: Series trigonometriques et series de Taylor , Acta Math. 30, 335-400,
1906.
porque lo necesitaba para probar el siguiente resultado sobre series de
Fourier
P
Teorema 2.5.2 f (x) = lm n inx
cn t e , cuando t 1 , para
Z 2
cn = (1/2) f (x)einx dx,
0
para cada n Z.
Espacio de medida
producto
3.1. Introducci
on
119
120 Captulo 3. Espacio de medida producto
(A B) = 1 (A)2 (B).
F : 0 ,
(, A) = (1 n , A1 An ).
A 1 A n 1 n , con los Ai Ai .
C = {E A : Ex A2 },
(E c )x = {q 2 : (x, q) / Ex } = (Ex )c A2 ,
/ E} = {q : q
y dados En C, En C, pues (
n=1 En )x = n=1 (En )x A2 , por
tanto C = A y para cada E A, Ex A2 y del mismo modo se
demuestra que E y A1 .
Si f es medible fx es medible pues es la composicion f ix , para
ix (q) = (x, q) que es medible.
Ejercicios
con los Rnj R disjuntos y como se tienen las particiones con elementos
de R, Ri = n,j (Ri Rnj ) y Rnj = i (Ri Rnj ), tendremos por la
propiedad anterior que
m
X X
m X
X mn X
X mn X
m
(E) = (Ri ) = (Ri Rnj ) = (Ri Rnj )
i=1 i=1 n=1 j=1 n=1 j=1 i=1
X Xmn X
= (Rnj ) = (En ).
n=1 j=1 n=1
3.3. Medida producto de dos espacios 125
Z
X
X
= x ((En )x ) d1 = (En ),
n=1 n=1
128 Captulo 3. Espacio de medida producto
por tanto es la u
nica que satisface la propiedad, pues si es otra medida
en el espacio producto, tal que para cada producto de medibles A B
Z
(A B) = x (B) d1 ,
A
y aplicando
R (3.3.5) a y (A) = 1 (A) tendremos que 1 (E y ) es medible
y
y (E) = 1 (E ) d2 es la u nica medida que satisface
Z
(A B) = 1 (A) d2 = 1 (A)2 (B).
B
Ejercicios
es una medida en (2 , A2 ).
(b) Si g 0 es medible en (2 , A2 ),
Z
f (x) = g dx ,
(A) = [F 1 (A)],
[F1 F2 ] (1 2 ) = 1 2 .
3.4. El Teorema de Fubini 131
La teora de integraci
on que hemos desarrollado hasta aqu incluye,
como caso particular, la integral m ultiple en Rn , la cual no es otra cosa
que la integral respecto de la medida de Lebesgue ndimensional. Sin
embargo, para realizar un c alculo explcito, las integrales de este tipo
se pueden evaluar calculando integrales unidimensionales, en un proceso
iterativo. El teorema general que justifica este u til metodo de calculo es
el Teorema de Fubini , el cual es una consecuencia directa del teorema
de la medida producto.
R
(b) Si la f Rd existe, entonces existe una funci
on medible g en 1 ,
tal que g(x) = fx dx , c.s. (A1 , 1 ) (si ademas f es integrable, g es
finita) y se tiene
Z Z Z Z
f d = g d1 = fx dx d1 .
RR
(c)RSi |fR(x,
R y)| dx d1 < , entonces f es integrable y como
antes f d = f (x, y) dx d1 .
Pn
Ahora si f = i=1 ai IEi , con los Ei disjuntos y los ai 0, entonces
para cada x
Z n
X
g(x) = fx dx = ai x (Eix ),
i=1
es medible y
Z n
X n
X Z Z
f d = ai (Ei ) = ai x (Eix ) d1 = g d1 .
i=1 i=1
Z Z Z
f d = f d f d
+
Z Z Z Z
= fx+ dx d1 fx dx d1
Z1Z 2 Z Z1 2
= +
fx dx d1 fx dx d1
A 2 A 2
Z Z Z Z
= fx dx d1 = fx dx d1 .
A 2 1 2
R
(b) Si la f d existe (resp. es finita), Rentonces existe una funci on
A2 medible (resp. finita) h, tal que h(y) = f y dy , c.s. (A2 , 2 ) y
Z Z Z Z
f d = h d2 = f y dy d2 .
RR
(c) Si f : RR es medible
RR y |f (x, y)| dy d2 < , entonces f
es integrable y f d = f (x, y) dy d2 .
existe, es medible en y y
Z Z Z Z Z
f d = fx d2 d1 = f y d1 d2 .
R
(b) Si Rf d existe, entonces existe una funci on A1 medible g, tal
on A2 medible h, tal que
que g(x)R= fx d2 , c.s. (A1 , 1 ) y otra funci
h(y) = f y d1 , c.s. (A2 , 2 ) (ambas finitas si f es integrable), tales
que Z Z Z Z Z
f d = fx d2 d1 = f y d1 d2 .
R R y R R
(c) Si |f | d1 d2 <
o |fx | d2 d1 < , entonces se
tiene Z Z Z Z Z
f d = fx d2 d1 = f y d1 d2 .
Ejemplo 3.4.4 Hemos visto en (2.4.4), p agina 92, que la funcion sen x/x
no es Lebesgue integrable en (0, ), sin embargo veamos que tiene inte-
gral impropia de Riemann y que vale
Z a
sen x
lm dx = .
a 0 x 2
En el ejercicio (2.4.30), p
agina 108 vimos que para x > 0
Z Z
xt
xe dt = xext dm = 1,
0 (0,)
pues | sen x| x, por tanto la integral del medio en modulo esta acotada
por a. Ahora bien como
y por tanto
Z 1
f y (x)dx = 0,
0
y por tanto
Z 1 0,
si x = tn ,
fx (y)dy = f0 (x), si x (0, t1 ),
0
0, si x (tn , tn+1 ).
por tanto
Z 1 Z 1 Z 1 Z 1
y
f d1 d2 = 0 6= 1 = fx d2 d1 .
0 0 0 0
Ejercicios
3.5. Compleci
on de la medida producto
h : (, A ) (R, B(R))
Teorema 3.5.4 (Ver Rudin, p.154) En las hipotesis del Lema anterior
sea
f : (, A ) (R, B(R)),
entonces:
(a) fx y f y son Rmedibles c.s. (A1 , R1 ) y (A2 , 2 ) respectivamente.
Si f 0 y F (x) = fx d2 , G(y) = f y d1 extendiendolas como
queramos donde no estan definidas, entonces
Z Z Z
f d = F d1 = G d2 .
R R
(b) Si f d existe (es finita), entonces F (x) = fx d2 existe (es
finita) c.s. (A1 , 1 ) y es medible extendiendola como queramos donde
no esta definida, dem para G y
Z Z Z
f d = F d1 = G d2 .
3.6. Aplicaciones 139
3.6. Aplicaciones
Otra aplicaci
on de estos Teoremas es la siguiente version de la inte-
graci
on por partes.
por tanto
Z Z
F (b)G(b) F (a )G(a ) = G(x) dF + F (y ) dG ,
[a,b] [a,b]
3.6.1. C
alculo de vol
umenes especiales
Veamos ahora una aplicaci
on al c
alculo del volumen de un cuerpo de
revoluci
on.
T
r
R
Nota 3.6.5 Observemos que el resultado dice que el volumen del toro
es el producto del area del crculo, r2 , por la longitud de la circunfe-
rencia que describe su centro, 2R. Este resultado es un caso particular
del llamado Teorema de Pappus, pero para enunciarlo debemos genera-
lizar el concepto de centro de un crculo. (Ver tambien la pag. 226, para
comentarios sobre Pappus y otros resultados suyos de la misma ndole).
1
Z
xi [c(B)] = xi dm.
m(B) B
z
2a
r h
b
Figura 3.3. Cilindro cortado.
p p
m2 [Bz ] = 2ah = r2 (r z)2 (2r z)b/r = (b/r)(2r z) 2rz z 2 ,
R R 2r p
z m2 [Bz ] dm1
R
z dm3
B [0,2r] b 0 (2rz z 2 )3 dz
z[C(B)] = = =
m3 [B] m3 (B) r m3 (B)
Z /2
2 2r 3
= 3 r4 cos4 tdt = I4 = r.
r /2 4
Z Z 2r Z h(z) Z 2r
y dm3 = y 2a(z) dydz = h(z)2 a(z) dz
B 0 0 0
2r 2
bz
Z p
= b r2 (r z)2 dz
0 2r
144 Captulo 3. Espacio de medida producto
2r
b2
Z p
= 2 (2r z)2 r2 (r z)2 dz
4r 0
/2
b2
Z p
= 2 (r r sen t)2 r2 r2 sen2 t r cos t dt
4r /2
2 2 /2
b r
Z
= (1 sen t)2 cos2 t dt
4 /2
/2
b2 r2
Z
= (1 2 sen t + sen2 t) cos2 t dt
4 /2
2 2 /2
b r
Z
= (1 + sen2 t) cos2 t dt
4 /2
/2
b2 r2 b2 r2 5
Z
= (2 cos2 t) cos2 t dt = (2I2 I4 ) = b2 r2 ,
4 /2 4 32
2r
(3/4)r
(5/16)b b
z
E
y
Ez
x
Figura 3.5.
las cuales son iguales, pues coinciden en los semiintervalos (a, b] (0, ),
1
Z Z
(A) = xn1 dm = (xn )0 dm,
A n A
(A E) = (A)(E).
a<b<
[A E] y (A)(E),
En particular si f s
olo depende de la distancia al origen f (x) = g(kxk),
entonces
Z Z
(3.3) f dmn = (S n1 ) g(r)rn1 dm1 ,
(0,)
n mn [Bn ] = [S n1 ].
148 Captulo 3. Espacio de medida producto
R /2
pues (/2,/2) cos2 dm = (/2,/2) sen2 dm, ya que /2 (sen cos)0 =
R R
0. Por tanto
V2 = m2 [B2 ] = , (S 1 ) = 2,
donde la u
ltima igualdad se sigue del ejercicio 2.4.35,
o por el Teorema
de cambio de variable, ejercicio 2.4.29, para F (x) = x.
Ahora para n = 2, como (0) = 1 y (S 1 ) = 2, tendremos que
I = (S 1 )(0)/2 = , y por tanto I n = n/2 y en definitiva2
2
2 n/2 (S n1 ) n/2
An1 = (S n1 ) = , Vn = m[Bn ] = = .
n2 1 n (n/2)
2 Obs
P n P
= e y A2n1 = 2e .
P
ervese que para V0 = 1, n=0 V2n = n! n=1
3.6. Aplicaciones 149
3.6.3. Convoluci
on.
Nuestra ultima aplicaci
on del Teorema de Fubini sirve para definir
un nuevo producto entre funciones f L1 (Rn ) (aunque tal funcion no
estar
a determinada en todo punto, solo casi seguro). Recordemos que en
este espacio tenemos definida la seminorma
Z
kf k1 = |f | dm.
Teorema 3.6.11 Sean f, g L1 (Rn , B(Rn ), m), entonces existe una fun-
on medible, finita e integrable, que denotaremos f g L1 y a la que
ci
llamaremos producto de convoluci on de f y g, tal que para casi todo
x Rn , Z
f g(x) = f (x y)g(y)dmy ,
= kf k1 kgk1 < ,
y verifica Z Z Z
|f g|dm |f |dm |g|dm .
150 Captulo 3. Espacio de medida producto
Ejercicios
medida de transici
on 3 , existe una unica medida 3 que para A A1 ,
B A2 , C A3 verifica
Z Z Z Z Z
3 (A B C) = d3(x,y) d2 = d3(x,y) d2x d1 ,
AB C A B C
|C| = C (n+1,) .
Nota 3.7.2 Todo cilindro medible |C| = C (n+1,) con base en A(n) ,
es cilindro medible con base en A(m) , para m n, |C| = E (m+1,) ,
para E = C n+1 m , por lo que es f acil ver que C es un algebra.
Adem as se tiene por el principio de los buenos conjuntos (hagase como
ejercicio) que (R) = (C).
g2 (x2 ) = IA2 (x1 , x2 ), . . . ,gn (x2 ) = P (3,n) [An(x1 ,x2 ) ] gn1 (x2 )
R R
Como antes gn g y fn (x1 ) = gn g = f (x1 ) > 0, por lo que existe
x2 2 , tal que 0 < g(x2 ) g2 (x2 ) = IA2 (x1 , x2 ) y (x1 , x2 ) A2 .
Repitiendo el razonamiento tendremos la existencia de x = (xi ) tal
que para todo n, (x1 , . . . , xn ) An y por tanto x |An |.
Ahora el resultado se concluye aplicando los teoremas de Caratheo-
dory y Hahn.
A continuaci
on generalizamos este resultado para medidas de transi-
ci
on.
Definicion. Diremos que 2 , . . . , n , . . . es una familia infinita de medi-
das (probabilidades) de transicion en los espacios (n , An ), si para cada
n2
n : n1 An = 1 n1 An [0, ],
es tal que para nx (B) = nB (x) = n (x, B), nx es una medida (pro-
babilidad) en An , fijado x = (x1 , . . . , xn ) y nB es una funcion medible,
fijado B An .
156 Captulo 3. Espacio de medida producto
Nota 3.7.5 En los terminos anteriores, para una colecci Qon numerable de
espacios medibles (n , An ) y su producto (, A) = ( n , An ), si 1
es una probabilidad en (1 , A1 ) y 2 , . . . , n , . . . es una familia infinita
de probabilidades de transicion en los (n , An ), denotaremos con n ,
para n 2, la probabilidad producto en el espacio producto finito
n
Y
n = i , An = A1 An ,
i=1
El Teorema de
RadonNikodym
4.1. Introducci
on
En (2.4.1), p
ag.90, hemos visto que
R si f es una funcion con integral,
entonces (E) = 0 implica (E) = E f d = 0. El Teorema de Radon
Nikodym establece el resultado inverso, es decir que si es una medida
que verifica la condicion de anular a los conjuntos que son de medida
nula para (propiedad que denotamos con ), entonces = f ,
para una cierta f con integral.
A esa funcion f se la llama derivada de RadonNikodym de res-
pecto de y se denota d/d, pues como veremos extiende en contextos
particulares la noci
on de derivacion de funciones en el sentido de que es
un lmite de cocientes incrementales. En particular en el tema siguiente
veremos que en Rn , si anula a los borel medibles de medida de Lebesgue
nula, entonces la derivada de RadonNikodym d/dm, coincide c.s. en
cada x Rn , con el lmite (E)/m(E), cuando m(E) 0, para los E
tales que x E.
161
162 Captulo 4. El Teorema de RadonNikodym
() = (P ) + (N ).
n=1 Pn tambi
en es positivo.
Lema 4.2.3 Dada una carga y un A A, con (A) > , para todo
> 0 existe un medible B A, con (B) (A) y tal que para todo
medible E B, (E) .
B2 B3 B4
E1 E1 E1
E2 E3 E2
Figura 4.1.
Lema 4.2.4 Dada una carga , tal que () < y (A) > , para
un A A, existe un conjunto positivo P A, tal que (P ) (A).
(P ) (P (E N )) = (P ) + (E N ) (E N ) 0.
164 Captulo 4. El Teorema de RadonNikodym
+ (E) = (E P ) = 1 (E P ) 2 (E P ) 1 (E P )
1 (E) = 1 (E A) = 1 (E A) 2 (E A)
= (E A) + (E A) + (E)
(E) = (E N ) = 2 (E N ) 1 (E N ) 2 (E N )
2 (E) = 2 (E Ac ) = 2 (E Ac ) 1 (E Ac )
= (E Ac ) (E Ac ) (E).
|| = + + ,
y a ||() la variaci
on total de .
166 Captulo 4. El Teorema de RadonNikodym
|1 + 2 | |1 | + |2 |.
para todo A A.
(b) y (c) se dejan como ejercicio.
Nota 4.2.11 Por otro lado es una carga finita si y solo si lo son + y
olo si lo es ||, en cuyo caso es acotada y escribiremos kk = ||().
si y s
Veremos en la pr oxima lecci
on que sobre el espacio vectorial de las cargas
finitas (que llamaremos medidas reales) esto es una norma, con la que
dicho espacio es de Banach.
La descomposici
on de una carga nos permite extender la nocion de
integral.
Definicion. Dada una carga en un espacio medible (, A), diremos
que una funcion f medible es integrable respecto o que es integrable
si lo es respecto de las medidas + y , en cuyo caso definimos su
integral como Z Z Z
f d = f d+ f d .
4.2. Teorema de descomposici
on de carga 167
Ejercicios
Ejercicio 4.2.9 Sea una carga en un espacio medible (, A), demostrar que
n
X
||(A) = sup{ |(Ei )| : Ei A, disjuntos, Ei = A},
i=1
P
Es cierto el resultado si ponemos i=1 en lugar de sumas finitas?. (Sol.)
= 1 + i2
Xn
||(A) = sup{ |(Ai )| : Ai A, disjuntos, Ai = A}.
i=1
|n (A) m (A)| kn m k,
Ejercicios
demostrar que
+ +
i |i | || 1 + 1 + 2 + 2 . (Sol.)
tendremos que si A A
(A) = 0 (B) = 0, para todo B A, B A
(B) = 0, para todo B A, B A
||(A) = 0,
por tanto || .
(b)(a) En cualquier caso se sigue de que |(E)| ||(E).
(c)(a) Es obvia en cualquier caso.
(a)(c) Para medida compleja. Supongamos que (c) no es cierto,
entonces existe un > 0 tal que para todo n, existen En A, tales que
(En ) < 2n , pero |(EP n )| . Ahora por el Lema de BorelCantelli
(lm sup En ) = 0, pues k=1 (En ) < , y por (b) ||(lm sup En ) = 0,
pero
|(En )| ||(En ) ||(
k=n En ) <
Nota 4.4.2 Para una carga en general (a) no implica (c), ni siquiera si
es una medida (no acotada, pues las acotadas al ser un caso particular de
medidas complejas s lo satisfacen). Por ejemplo para = m la medida
de Lebesgue en [0, 1] y
1
Z
(E) = dm,
E x
se tiene para todo t (0, 1), m(0, t) = t y
Z t
1
(0, t) = dx = .
0 x
174 Captulo 4. El Teorema de RadonNikodym
Demostraci R La unicidad
on. R es consecuencia de (2.4.27), pagina 104:
si es finita y A g d A g 0 d para todo A A, entonces g g 0
c.s.
La existencia la vamos a dividir en una serie de pasos:
(a) Supongamos que y son medidas finitas y consideremos el
conjunto
Z
F = {f : [0, ], medibles : f d (A), A A},
A
on fn F, tal que
consideremos ahora una sucesi
Z Z
fn d sup{ f d : f F} = s,
R
Como (A) A
g d podemos considerar la medida finita
Z
(A) = (A) g d,
A
y por tanto
X
(E) = (E An )
XZ Z X
= fn d = ( fn ) d,
E E
P
y el resultado se sigue para f = fn .
(c) Por u
ltimo consideremos que es finita y es una carga, por
tanto = + donde una de ellas, digamos , es finita, entonces
como , tendremos que + y , por lo que aplicando
los casos anteriores existen g1 medible y no negativa y g2 medible, no
negativa y finita, tales que
Z Z
+
(A) = g1 d, (A) = g2 d,
A A
R
y por tanto para g = g1 g2 , (A) = A
g d.
Nota 4.4.6 En estos resultados parece que no puede haber una funcion
g determinada, pues en un conjunto de medida nula podemos modificar-
la y sigue siendo una funci on v
alida, sin embargo por una parte en la
demostraci on del caso mas sencillo en el que y son positivas y finitas
se construye una con procedimientos naturales y no es de extra nar que
en situaciones suficientemente regulares haya una mas canonica que
las dem ag.197, veremos que esto es as en Rn .
as. En (5.2.9), p
on. Una funci
Definici on g como en los teoremas anteriores tal que para
cada A A Z
(A) = g d.
A
Ejercicios
{ M(A, R) : },
d(1 2 ) d1 d2
(x, y) = (x) (y). (Sol.)
d(1 2 ) d1 d2
4.5. Singularidad
En esta lecci
on consideraremos otra propiedad de las medidas, de la
que hemos hablado en el Teorema de descomposicion de Jordan, pag.165,
y que en cierto modo es opuesta a la de la absoluta continuidad.
on. Sea una medida arbitraria (medida positiva, carga o me-
Definici
dida compleja) en (, A) y A A. Diremos que esta concentrada en
A si (E) = 0 para cualquier E A tal que E Ac .
est
a concentrada en A (Ac ) = 0.
Xn
||(Ac ) = sup{ |(Ai )| : Ai A, disjuntos, Ai = Ac } = 0.
i=1
(E) = (E A) = (E A B) = () = 0.
a , s y = a + s .
a + s = = a + s ,
tanto
(An ) s = sup{(A) : A N },
a (A) = (A N c ), s (A) = (A N ),
es = a + s , s y a , pues si B A
(B) = 0 (N (B N c )) = 0
c
(N ) (N (B N )) (N )
a (B) = (B N c ) = 0,
pues es finita.
Si es una medida finita consideramos una particion An A de
, con (An ) < y aplicamos el resultado anterior a cada espacio de
medida (An , A|An , |An ) y sean Nn An los conjuntos con (Nn ) = 0
correspondientes. Ahora para N = Nn , tendremos que (N ) = 0 y las
medidas correspondientes
a (A) = (A N c ), s (A) = (A N ),
a (A) = (A N c ), s (A) = (A N ),
186 Captulo 4. El Teorema de RadonNikodym
Ejercicios
Diferenciaci
on
5.1. Introducci
on
191
192 Captulo 5. Diferenciaci
on
1 x+r
F (x + r) F (x)
Z
f (x)
|f f (x)| dm .
r r x
5.2. Diferenciaci
on de medidas
con Bj0 la bola con igual centro que Bj y radio triple, tendremos que
K Ai Bi0 y por tanto
m
X m
X
r < m(K) m(Bi0 ) n
=3 m(Bi ).
i=1 i=1
y basta hacer 0.
ahora por el argumento est andar (indicadores, simples, TCM, etc.) basta
verlo para f = IA , y esto es consecuencia de (3.3.6), pag.129, pues
1
Z
Hf (x) = sup P|f | (x, r) = sup |f | dm.
r>0 r>0 m(B(x, r)) B(x,r)
on 5.2.4 Hf es medible.
Proposici
3n
Z
m{Hf > } |f | dm.
R
> 0 existe una funcion continua e integrable g tal que |f g| y
como por continuidad
Z
1
|Pg (x, r) g(x)| = g(y) g(x)
m(B(x, r)) m(B(x,r))
1
Z
|g(y) g(x)| 0, r 0,
m(B(x, r)) m(B(x,r))
tendremos que
y si llamamos
1
Z
lm |f (y) z|dm = |f (x) z|,
r0 m[B(x, r)] B(x,r)
1
Z
lm sup |f (y) f (x)|dm = |f (x) z| + < 2,
r0 m[B(x, r)] B(x,r)
y el resultado se sigue.
Finalmente daremos el resultado m as general, en el que en lugar de
bolas centradas en x en las que integramos nuestra funcion, consideramos
otro tipo de conjuntos que ni siquiera tienen que contener al punto x.
Definicion. Diremos que una familia de medibles Er B(Rn ) (para
r > 0) encoge suavemente hacia x si existe una constante > 0 tal que:
(i) Cada Er B(x, r), (ii) m(B(x, r)) m(Er ).
1 1
Z Z
|f f (x)| dm |f f (x)| dm
m[Er ] Er m[Er ] B(x,r)
1
Z
|f f (x)| dm,
m[B(x, r)] B(x,r)
(Er )
D(x) = lm ,
r0 m(Er )
(B(x, r)) 1
Ak = {x A : lm sup > },
r0 m(B(x, r)) k
y veamos que m(Ak ) = 0. Por ser finita en los acotados es regular (ver
(1.7.19), p
agina 64), por tanto como (A) = 0, para cada > 0 existe
un abierto U A, tal que (U ) < . Por definicion de Ak , para cada
x Ak existe una bola abierta Bx , centrada en x tal que Bx U y
(Bx ) > m(Bx )/k. Sea V = Bx y c < m(V ), entonces por el Lema
5.2.1, hay una colecci
on finita y disjunta de estas bolas B1 , . . . , Bm , tales
que
m
X m
X
c < 3n m(Bi ) 3n k (Bi ) 3n k(V ) 3n k(U ) 3n k,
i=1 i=1
5.3. Derivaci
on e integraci
on
En esta lecci
on estudiaremos el Teorema fundamental del c alculo en
el contexto de la integracion de Lebesgue. Para ello utilizaremos dos
propiedades fundamentales de las funciones reales, directamente relacio-
nadas con este problema, la variaci
on acotada y la absoluta continuidad.
y el resultado se sigue.
200 Captulo 5. Diferenciaci
on
tendremos que para t < x0 , vF (t) < , por tanto lmx vF (x) = 0.
(b) Sea xn x y > 0. Por la continuidad existe un > 0, tal que si
0 < t x < , |F (t) F (x)| , por otra parte como antes, dado y > x
existen t0 < < tm = y, tales que
m
X
vF (y) < |F (ti ) F (ti1 )|,
i=1
: M(B(R), K) F V0 (R),
1 (, x] = f1 (x), 2 (, x] = f2 (x),
3 (, x] = g1 (x), 4 (, x] = g2 (x),
pero por otra parte como F (b) F (a) = (a, b] se sigue de (4.3.2) que
Xn
vF (x) = sup{ |F (xi ) F (xi1 | : x0 < < xn = x}
i=1
||(, x] vF (, x] = vF (x),
Demostraci on. Sabemos por (4.4.1) que para todo > 0 existe
Pk
un > 0, tal que si m(E) < , entonces ||(E) < , por tanto si i=1 (bi
ai ) < , entonces para E = (ai , bi ], se tiene m(E) < y por tanto
k
X k
X
|F (bi ) F (ai )| = |(ai , bi ]| ||(E) .
i=1 i=1
m F0 = 0 c.s.
Z x
m F (x) = F 0 (x) dm.
F (x + r) F (x) (Er )
= f (x), (r 0)
r m(Er )
204 Captulo 5. Diferenciaci
on
donde la implicaci
on de la cuarta equivalencia se sigue de que dos
medidas finitas que coinciden en los semiintervalos (, x] son iguales.
para ello sabemos que existe un > 0, tal que Pmsi (ai , bi ) son una colec-
ci
P o n finita de intervalos disjuntos tales que i=1 (bi ai ) , entonces
|F (bi ) F (ai )| 1. Consideremos los intervalos
[a, ], [, 2], . . . , [(k 1), b],
5.3. Derivaci
on e integraci
on 205
entonces Z x
F (x) F (a) = F 0 dm.
a
T : Ek En ,
: E E , x <x, >,
cuya matriz
P correspondiente a una base uj y su dual uj es (ui uj ), pues
i
(uj ) = (ui uj )u . Por lo tanto si la base es ortonormal la matriz
es la identidad y si los espacios Ek y En son eucldeos tendremos un
endomorfismo lineal canonico
Tk = 1
k T n T : Ek Ek ,
Ax = 0 At Ax = 0 xt At Ax = 0 Ax = 0,
no nulo x Ck X
0x t Ax = x
t A t Bx = xt x = ( |xi |2 ),
por lo tanto es real y no negativo.
208 Captulo 5. Diferenciaci
on
c(T ) = m[T (Q)] > 0 para Q = [0, 1]n el cubo unidad. Se sigue que
m[T (E)] = c(T ) m(E) y T conserva los Lebesgue medibles, pues lleva
Borelianos de medida nula en Borelianos de medida nula. Veamos que
c(T ) = | det(T )|.
Si T1 y T2 son isomorfismos lineales, tambien lo es T1 T2 y c[T1 T2 ] =
c[T1 ]c[T2 ], por otra parte T es composici
on finita de isomorfismos lineales
de los tres tipos dados en el Lema anterior y basta demostrar que para
ellos c(T ) = | det T |, es decir m[T (Q)] = | det T |, lo cual es obvio pues
(si r > 0)
Figura 5.1.
Ahora por el ejercicio (1.6.2) (p agina 49), por ser Hk invariante por
rotaciones y por lo visto en el primer caso (k = n)
Hk [T (E)] = Hk [R(T (E))] = Hk [F (E) {0}nk ]
= Hk [F (E)] = J(F )Hk (E) = J(T )Hk (E).
Interpretaci
on geom etrica de J(T ) 5.4.8 Sea T : Rk Rn lineal, en-
tonces para Q = [0, 1]k ,
J(T ) = k Hk [T (Q)].
Nuestro interes es dar una formula que nos permita calcular la me-
dida de Hausdorff kdimensional de los Borelianos de una subvariedad
diferenciable kdimensional de Rn . Para ello necesitamos una serie de
resultados previos y recordar algunas definiciones.
Definicion. Sea U Rk un abierto. Decimos que una aplicacion F : U
R es diferenciable en x U si existe una aplicacion lineal DFx : Rk
n
y el resultado se sigue.
En el resultado anterior hemos encontrado 4 desigualdades del tipo
Hp [F (B)] cp Hp [G(B)].
B G1 [G(B)] G1 [Ai ] Bi
F (B) F (Bi ) F (Bi ),
de donde
para las que k(x) (y)k kG(x) G(y)k, por lo que se sigue de
(5.5.5), la desigualdad en
Z
Hk [F (K)] = Hk ((K)) Hk [G(K)] = J[DGy ] dHk ,
K
y la u
ltima igualdad por que G satisface las hipotesis del teorema (5.5.8),
pues es de clase 1 y son inyectivas G y DGx = (T, I), para T = DFx
218 Captulo 5. Diferenciaci
on
p
y siendo J(DGx ) = | det(T t T + 2 I)|. Ahora bien T t T es una matriz
con determinante nulo (si x K), por tanto su polinomio caracterstico
px () = det(T t T I) = qx (), pues px se anula en = 0 y como
T = (fi (x)/xj ) es continua en x, tambien es continua en x y qx (),
por lo que estar a acotada en x K y || 1. Por tanto existe una
constante c > 0, talque |px ()| ||c, por lo que, para 0 < 1 y
x K, J(DGx ) c, de donde
Z
Hk [F (K)] J[DGy ] dHk c Hk [K],
K
gij = = F F
ui uj xi xj
! !
X fk X fk X fk fk
= (x) (x) = (x) (x),
xi yk xj yk xi xj
k k k
por tanto
v "
u t #
f f
q
i i
u
det(gij ) = tdet (x) (x)
xj xj
p
= det[(DFx )t (DFx )] = J[DFx ],
es decir que
Z q Z
k Hk [F (A)] = det(gij ) dm = k ,
A F (A)
p
para k = det(gij )du1 duk la forma de volumen de la variedad
Riemanniana kdimensional S, es decir la u nica kforma que en una
base ortonormal bien orientada vale 1 (si la variedad no esta orientada
no hay una kforma sino una densidad , es decir que en cada punto habra
dos kformas que son k , pero que no podemos definir por separado
globalmente (pues eso implicara que la variedad fuese orientada. No
obstante la medida si est a definida en S).
En el caso particular de estar con una esfera en Rn+1 , pongamos
centrada en el origen y de radio r, S[0, r], tenemos que es n dimen-
sional y orientable y para ella la nforma de volumen es iN n+1 , para
n+1 = P dx1 p P dxn+1 la n + 1forma de volumen del espacio y
N = (xi / x2i )xi el vector unitario normal exterior a las esfe-
ras (la eleccion de este vector que es arbitraria nos permite definir la
orientacion en la esfera), pues para una base ortonormal bien orientada
tangente a la esfera, D1 , . . . , Dn , tendremos que
= f ()d1 . . . dn1 ,
({1}A)
(ver 5.4, p
ag.222), y por el resultado anterior (5.5.16)
Z Z Z
g(x)dx = gn = gn1 d n1
An An
Z
= gn1 f ()dd1 dn1
(0,)(0,)n2 (0,2)
ZZ
n1
= g(y) d d.
0 S0
224 Captulo 5. Diferenciaci
on
Sn = Sn+ Sn En ,
Ejercicios
Ejercicio 5.5.4 Sea : R Rn una curva de clase 1, demostrar que para todo
[a, b] R, si (t) = (xi (t))
v
Z b Z bu n
0
uX
H1 ([a, b]) = k (t)k dt = t x0i (t)2 dt.
a a i=1
(x t)1 f (t) dm
R
[0,x]
I f (x) = . (Sol.)
[]
5.6. C
alculo de la constante n .
En el teorema (1.6.9) de la p
agina 45, demostramos la existencia de
una constante n , tal que n Hn = m, la medida de Lebesgue en Rn . En
esta lecci
on calcularemos el valor de esta constante, utilizando algunos
de los resultados de este Tema. Para ello necesitamos una serie de Lemas
previos.
230 Captulo 5. Diferenciaci
on
por lo que rm 0.
0
Supongamos que m(C) > 0, entonces para Bm = B[xm , 4rm ],
X X
0
m[Bm ] = 4n m[Bm ] 4n m[A] < ,
3
sm1 r kp zk kp xm k kz xm k 4rm rm = 3rm > sm1 ,
2
lo cual es absurdo.
5.6. C
alculo de la constante n . 231
m[Ay ]
S(A) = {(t, y) R Rn1 : m[Ay ] > 0, |t| , }.
2
de modo an
alogo se definen las simetras respecto del resto de hiperplanos
coordenados {xi = 0}.
m{t : (t, x2 , . . . , xn ) A}
x = (xi ) S(A) |x1 |
2
m{t : (t, x2 , . . . , xn ) A}
|x1 |
2
(x1 , x2 , . . . , xn ) S(A).
n/2
n = m[B[0, 1/2]] = Vn /2n = .
2n n2 + 1
0 Hn, [A Bi ] Hn [A Bi ] = 0,
lo
P cual implica, por ser Bi una bola de radio d(Bi )/2 y 1 = m[A] =
m[Bi ],
X
Hn, [A] Hn, [Bi ]] d(Bi )n
X m[B[0, d(Bi )/2]] X m[Bi ] 1
= = = ,
m[B[0, 1/2]] m[B] m[B]
Para el c
alculo de la constante n hemos seguido el Billingsley.
Como bibliografa complementaria consideramos los siguientes:
Hewitt, E. and Stromberg, K.: Real and abstract analysis. SpringerVerlag,
1965.
Wheeden, R.L. and Zygmund, A.: Measure and integral. An introduction to Real
Analysis. Marcel Dekker, Inc. 1977.
Zaanen, A.C.: Integration. NorthHolland, 1967.
pie de la p
agina 129; en este libro tambien esta el teorema de diferen-
ciaci
on: Toda funci
on continua de variacion acotada tiene derivada c.s.,
del que en 1939 F. Riesz se nala la posibilidad de quitar la hipotesis de
la continuidad, (ver (5.3.9)). En cuanto a Vitali acu na en su artculo
de 1904
Vitali, G.: Sulle funzioni integrali. Atti. Acc. Sci. Torino, 40, pp.10211034. A
no
19041905.
el concepto de funci on absolutamente continua, aunque ya Harnack
en 1890 haba usado un concepto similar en un contexto distinto. En
ese trabajo Vitali caracteriza, con la absoluta continuidad, la relacion
entre diferenciaci
on e integracion en el contexto de la teora de Lebesgue,
demostrando el Teorema fundamental del c alculo (5.3.12). Mas tarde, en
1907, Lebesgue dara una prueba mas corta que la de Vitali, el cual
publica ese mismo a no el artculo
Vitali, G.: Sui gruppi di punti e sulle funzioni di variabili reali. Atti. Acc. Sci.,
Torino, 43, 1907.
en el que tratando de extender el Teorema fundamental del c alculo a R2 ,
prueba el Teorema de recubrimiento de Vitali. Este resultado fue la base
de demostraci on de teoremas generales de diferenciacion. De hecho las
pruebas clasicas de (5.2.9) ver Cohn, WheedenZygmund, etc.,
lo utilizan. Nosotros sin embargo hemos seguido a Folland, Rudin,
Ash,... que se basan en el Lema mas simple (5.2.1).
Por otra parte hay procesos de integraci on, como los desarrollados
por Denjoy y Perron en 191214, que est an orientados a fin de que el
Teorema fundamental del c alculo
Z x
f (x) f (a) = f 0 (t)dt,
a
sea valido cuando f sea diferenciable en todo punto. Sin embargo, como
ya comentamos, en ellos falla la propiedad de que f sea integrable sii |f |
lo es. Remitimos al lector al libro de
McShane, E.J.: Integration. Princeton Univ. Press, 1944.
y que adem
as es la derivada de Rad
onNykodim, f = da /dm, para
= a + s la descomposici
on de Lebesgue. Cuando consideramos la
236 Captulo 5. Diferenciaci
on
Agnesi, M.C..: Institutioni Analitiche ad uso della gioventu italiana . Milan, 1748.
que la Academia de las Ciencias de Paris considero como superior a cuan-
tos se haban escrito sobre esa materia. La curva haba sido estudiada
anteriormente por Fermat en 1666 y por Guido Grandi en 1701, que la
llamo curva versoria, que es un termino n autico latino que significa pie
de la vela, cuerda con que se ata su cabo, o con que se lleva de un borde a
otro. En italiano Agnesi la llam
o la versiera y seg
un parece, John Colson,
profesor de la Universidad de Cambridge, con poco conocimiento del ita-
liano confundio versiera con avversiera, que tradujo como witch, bruja,
dando lugar al desafortunado nombre por el que tambien es conocida
esta curva.
Espacios de funciones
medibles
y para cada f Lp , y p 1
Z 1/p
kf kp = |f |p d .
239
240 Captulo 6. Espacios de funciones medibles
6.1.1. El espacio L .
Para el caso p = no hay un criterio u
nico para definir L (, K).
Para unos autores, como Ash, Rudin y WheedenZygmund, el supre-
on medible f : K es el
mo esencial de una funci
nf{c : {|f | > c} = 0}.
es decir el menor valor c para el que |f | c c.s. Y L (, K) es el espacio
de las funciones medibles f tales que |f | tiene supremo esencial finito,
es decir las funciones medibles acotadas salvo en un conjunto de medida
nula.
Nosotros seguimos la dada por Cohn.
Definici on. Diremos que A A es localmente nulo si para cada B A
con (B) < se tiene que (A B) = 0. Del mismo modo diremos que
una propiedad se satisface localmente casi seguro (l.c.s.) si el conjunto
de puntos en los que no se verifica es localmente nulo. Denotamos con N
el conjunto de todos los medibles nulos y con N los localmente nulos.
Se tienen las siguientes propiedades elementales.
Ejercicios
ct d1t tc + (1 t)d.
ap bq
ab + .
p q
f -1(y)=y q-1
b
B f(x)=x p-1
A
a
Figura 6.1.
y por tanto R
|f g| d 1 1
+ = 1.
kf kp kgkq p q
p/q
de donde se sigue que |f + g|p1 Lq y que k|f + g|p1 kq = kf + gkp .
Ahora por la desigualdad de Holder
Z Z
kf + gkpp = |f + g|p d (|f | + |g|)|f + g|p1 d
Z Z
p1
= |f ||f + g| d + |g||f + g|p1 d
Lp = Lp / .
f =g c.s. f =g l.c.s..
[f ] = [f ], [f ] + [g] = [f + g].
6.2. Los espacios de Banach Lp 247
{f + g 6= f 0 + g 0 } {f 6= f 0 } {g 6= g 0 } N .
dp (f, g) dp (f, f 0 ) + dp (f 0 , g 0 ) + dp (g 0 , g) = dp (f 0 , g 0 ),
kf k kf 0 k + kf f 0 k = kf 0 k
Xn
kf kp = ( |xi |p )1/p = kxkp , y (Lp , k kp ) = (Kn , k kp ),
i=1
y para p = , kf k = m
ax{|xi |} = kxk .
(, A, ) = (N, P(N), ),
6.2.4. Compleci
on de los espacios Lp .
Vamos a demostrar que toda sucesi on de Cauchy en Lp es convergen-
te, por ello conviene recordar que una cosa es la convergencia puntual
fn (x) f (x), que a menudo hemos denotado fn f , y otra distinta es
la convergencia fn f en Lp , que significa
Z
para 0 < p < 1, dp (f, fn ) 0 |fn f |p d 0,
Z
para 1 p < , kf fn kp 0 |fn f |p d 0,
para p = , kf fn k 0.
s S, {s 6= 0} <
s S.
6.2. Los espacios de Banach Lp 251
C0 = C {A1 , A2 , . . . , An , . . .}
o Ac C0 }
C1 = {A A : A C0 ,
C2 = {B1 Bn : n N, Bi C1 }
C3 = {C1 Cm : m N, Ci C2 }
252 Captulo 6. Espacios de funciones medibles
Ejercicios
{ M(A, R) : },
Ejercicio 6.2.5 Demostrar que un espacio normado E es completo sii para cada
on xn E
sucesi
X X
kxn k < xn es convergente. (Sol.)
Nota 6.3.1 Entendemos que sobre cada elemento opera la norma que le
corresponde, aunque las denotemos igual por comodidad. Por otra parte
on anterior podemos restringirnos a los x con kxk = 1, sin
en la definici
que el supremo cambie, pues para r K y x E1 , kT (rx)k = |r|kT (x)k.
Por ultimo observemos que T es acotada si y solo si existe k [0, ),
tal que para cualquier x E1
kT (x)k kkxk,
y que kT k es el nfimo de estas constantes k.
No toda aplicacion lineal entre espacios normados es continua, co-
mo tampoco tiene por que ser acotada. A continuacion vemos que sin
embargo estas dos cosas son equivalentes.
kT (x)k = kxk.
Nota 6.3.6 Hay una aplicaci on lineal y continua natural entre un espacio
normado E y su bidual E , dada por
: E E , (x) = x
, x
(f ) = f (x),
|
x(f )| = |f (x)| kxk kf k k
xk kxk,
kxk = |f (x)| = |
x(f )| k
xk.
Finalizamos la lecci
on analizando el dual topologico de un simple
espacio normado como es el espacio de las funciones continuas en el
intervalo I = [a, b]
C(I) = {f : I R : continuas},
Tg : Lp K,
T : Lq Lp , g T (g) = Tg ,
6.4. El espacio dual de Lp 259
T : Lq Lp , g T (g) = Tg ,
por tanto kgk kTg k y como esto es cierto para todo > 0, se
tiene kgk kTg k y por tanto la igualdad.
Para p > 1, q < , tomemos g Lq , con kgkq > 0, por tanto
B = {g 6= 0} es finito y (B) > 0, por tanto B no es localmente nulo
y kIB k = 1. Ahora si definimos
(
g
2q , si g 6= 0,
f = |g|
0, si g = 0,
260 Captulo 6. Espacios de funciones medibles
as si Lp (),
(r s = id) que es una isometra, kgkp = kgA kp . Adem
entonces s () = s = A Lp (A), que hace conmutativo el diagrama
s
Lp (A)
Lp ()
A & .
K
on. Es trivial.
Demostraci
262 Captulo 6. Espacios de funciones medibles
p : Lp () Lp (), p (f ) = h1/p f,
: A K, (A) = (IA ),
(A) = 0 IA = 0 c.s. IA 0
(A) = (IA ) = 0,
y por el Lema (6.4.2), kgn kq kk, por tanto sup kgn kq < y como
|gn | |g|, se sigue del Lema (6.4.3) que g Lq .
264 Captulo 6. Espacios de funciones medibles
C = {B A : (B, AB , B ), es finito},
on Cn C, tal que
y si consideramos una sucesi
|gAD |q = |gA |q + |gD |q c.s. kgAD kqq = kgA kqq + kgD kqq ,
kgC kqq kgC kqq + kgD kqq = kgCD kqq kgC kqq ,
o Ac es numerable},
A = {A R : A
Ejercicios
fn f en Lq fn f en Lp .
f = 0, fn = IEn ,
expresi
on que se conoce con el nombre de Hip
otesis erg
odica de Boltzman
(ver Yosida, p.380).
Observemos que en el segundo caso el lmite es el valor medio de
f respecto de la probabilidad que induce en , es decir en terminos
probabilsticos la esperanza de f . Esta es una de las formas de las leyes
de los grandes n umeros que estudiaremos mas adelante. Volveremos a
274 Captulo 6. Espacios de funciones medibles
|f g|
Z
d(f, g) = d,
1 + |f g|
entonces d(fn , f ) 0 si y s
olo si fn f en medida.
Este resultado tiene otra forma debida a Lusin que puede encontrarse
en la p.19 del libro
Sacks, S.: Theory of the integral, 1937. Dover, 1964.
El teorema erg
odico puntual (6.6.4) fue demostrado por
Birkhoff, G.D.: Proof of the ergodic theorem. Proc. Nat. Acad. Sci. USA, 17,
656660, 1931.
Por u
ltimo remitimos al lector a la p.94 del
Arnold, V.I.: Mec
anica cl
asica, m
etodos matem
aticos. Ed. Paraninfo, 1983.
Espacios de Hilbert
<, > : E E K,
281
282 Captulo 7. Espacios de Hilbert
b E ,
: x E x x
b(f ) = f (x),
Nota 7.2.7 De aqu se sigue trivialmente que a lo sumo hay una cantidad
numerable de y B tales que <x, y>6= 0 y que <x, .>, <., x> l2 (B).
Por tanto podemos definir la aplicacion lineal
y kF k 1. A continuaci
on vemos que si H es completo F es sobre.
286 Captulo 7. Espacios de Hilbert
H = M M .
b H ,
: x H x x
b() = (x),
es sobre.
7.3. Clasificaci
on de los Espacios de Hilbert
(f) Si x H
X X X
kxk2 = | <x, z> |2 = |x (z)|2 = |z (x)|2 .
zB zB zB
Proposici
on 7.3.4 Cada espacio prehilbertiano tiene una base ortonormal.
Adem
as como consecuencia de (7.3.3) tenemos los siguientes resulta-
dos.
2 La
P
igualdad x = yB <x, y> y se entiende del siguiente modo: por la desigual-
dad de Bessel (7.2.6), p on numerable de yn B
ag.285,Phay a lo sumo una colecci
tales que <x, yn>6= 0, y xn = n i=1 <x, yi> yi x.
7.4. Teorema Erg
odico en L2 289
Bibliografa y comentarios
Para la confecci
on del presente tema hemos hecho uso de los siguien-
tes libros:
Ash, R.B.: Real Analysis and Probability. Ac.Press, 1972.
Day, M.M.: Normed linear spaces. SpringerVerlag, 1973.
Muhkerjea, A. and Pothoven, K.: Real and functional Analysis. Plenum Press,
1978.
Taylor, S.J.: Introduction to measure and integration. Cambridge Univ. Press,
1973.
Rudin, W.: Real and complex analysis, Tata McGrawHill, 1974.
A continuaci
on sugerimos una bibliografa complementaria.
Dunford, N. and Schwartz, J.T.: Linear operators, Vol,I . John WileyIn-
terscience Pub., 1958.
Halmos, P.R.: Introduction to Hilbert Space, 1951. Reed. de Chelsea Pub. Co.,
1972.
Halmos, P.R.: A Hilbert Space problem book . Van Nostrand, 1967.
Halmos, P.R.: Lectures on ergodic theory. Chelsea Pub. Co., 1956.
Cornfeld, I.P.; Fomin, S.V.; Sinay, Y.G.: Ergodic Theory. SpringerVerlag,
1982.
Petersen, K.: Ergodic Theory. Cambridge Univ.Press, 1983.
Yosida, K.: Functional Analysis. SpringerVerlag, 1974.
Zaanen, A.C.: Integration. NorthHolland, 1967.
texto, que son las notas de un curso dado por Schwartz en la Universidad
de Buenos Aires
Schwartz, L.: Matem
atica y fsica cu
antica. Univ. Buenos Aires, 1958.
La axiomatizacion de los espacios de Hilbert no se hizo hasta 1920
por Von Neumann para el caso separable y hasta 193435 por Lowig
and Rellich para el caso general. (Ver Dunford, N. and Schwartz,
J.T., p.372).
La caracterizaci
on de los espacios de Hilbert, llamada Ley del para-
lelogramo aparece en el trabajo
Jordan, P. and Neumann, J.: On inner products in linear metric spaces. Ann.
of Math., 2, 36, 719723, 1935.
Espacios de Banach
293
294 Captulo 8. Espacios de Banach
E ,
: x E x x
() = (x),
{x = (xn ) l1 , m N : x1 , . . . , xm Q, xn = 0, n > m}
S = {x = (xn ) l : n N, xn = 0 o xn = 1}
8.2. Teoremas cl
asicos
sup{kLi k : i I} < .
Finalizamos la lecci
on con una u
til consecuencia de (8.2.4), la cual nos
permite asegurar que una cierta aplicacion lineal entre espacios normados
es continuo.
Definicion. Sean E y F espacios normados y consideremos en E F
la topologa producto. Diremos que una aplicaci on lineal L : E F es
cerrada si
G(L) = {(x, L(x)) E F : x E},
298 Captulo 8. Espacios de Banach
es cerrado.
La topologa producto dice que
(xn , yn ) (x, y) xn x, yn y,
Una aplicaci
on de este resultado es la siguiente:
Consideremos un espacio de Banach E suma directa de dos subespa-
cios cerrados suyos
E = M N,
entonces las proyecciones 1 : E M y 2 : E N son continuas. Para
demostrarlo, como son lineales, basta ver que son cerradas. Veamoslo
para 1 : Si xn = yn + zn , con yn = 1 (xn ) y zn = 2 (xn ) y (xn , yn )
(x, y) entonces y = 1 (x), pues xn x, yn y M y zn = xn yn
x y = z N , por tanto y = 1 (x) y z = 2 (x).
Bibliografa y comentarios
Para la confecci
on de este tema han sido utilizados los siguientes
libros:
Ash, R.B.: Real Analysis and Probability. Ac.Press, 1972.
Dunford, N. and Schwartz, J.T.: Linear operators, Vol,I . John WileyIn-
terscience Pub., 1958.
Halmos, P.R.: Measure Theory. SpringerVerlag, 1974.
Muhkerjea, A. and Pothoven, K.: Real and functional Analysis. Plenum Press,
1978.
Rudin, W.: Real and complex analysis, Tata McGrawHill, 1974.
Yosida, K.: Functional Analysis. SpringerVerlag, 1974.
La transformada de
Fourier
9.1. An
alisis de Fourier en L2 (T )
301
302 Captulo 9. La transformada de Fourier
pues se tiene
N
X N
X
f (t) = cn eitn = c0 + cn [cos(tn) + i sen(tn)+
n=N 1
N
X
+ cn [cos(tn) + i sen(tn)
1
N
X
= a0 + [an cos(nt) + bn sen(nt)],
1
para a0 = c0 , an = cn + cn y bn = i(cn cn ).
para cada n N.
Definicion. Llamaremos Transformada de Fourier en L2 (T ) a la apli-
caci
on anterior
L2 (T ) l2 (Z), f f.
La cual es un isomorfismo isometrico en virtud del Teorema (7.3.3),
p
ag.288, ya que por (d)
f(n) eint ,
X X
f= <f, un > un =
nZ nZ
304 Captulo 9. La transformada de Fourier
Pn
lo cual debe interpretarse como que si sn (t) = n f(m) eitm , entonces
sn f en L2 . Adem as de (f) se sigue que
Z
X
2 2
kf k2 = |f (n)| = (1/2) |f (t)|2 dt = kf k22 ,
nZ
f(n) eint .
X
nZ
alisis de Fourier en L1 (T ) y C(T )
9.2. An 305
(9.1) L1 (T ) c0 ,
9.3. An
alisis de Fourier en L1 (R)
d) f est
a acotada y kfk = sup{|f (t)|} kf k1 .
e) Si g(x) = f (x) eiax , entonces g(t) = f(t a).
f) Si g(x) = f (x a), entonces g(t) = f(t) eiat .
g) F(f g) = F(f )F(g).
h) Si a > 0 y g(x) = f (x/a), entonces g(t) = af(at).
i) Si a > 0 y g(x) = af (ax), entonces g(t) = f(t/a).
j) Si g(x) = ixf (x) y g L1 , entonces f es diferenciable y f0 (t) =
g(t).
k) Si f es absolutamente continua y f 0 L1 , entonces (f d 0 )(t) =
itf (t).
l) Si fn L1 es una sucesion convergente en L1 , entonces fc
n converge
uniformemente en todo R.
h : R [0, 1]
En el primer caso
= e|x| eitx d = 1
Z Z
h(t) e|x| [cos tx i sen tx] dx
2
r Z r
2 2 1
= ex cos tx dx = ,
0 1 + t2
lm g hs (x) = g(x).
s0
Por otra parte como consecuencia del Teorema de Fubini, los resul-
tados anteriores y que en un espacio probabilstico k.kp k.kq , para
1 p q , se tiene el siguiente resultado.
kf hs f kp 0 (s 0).
entonces g c0 y f = g c.s.
F : L2 (R) L2 (R),
F : L2 (R) L2 (R),
y por tanto
2
1 sen(ay)
Z
dy = kf k22 = kIc 2
A k2
2 y 2
2a
= kIA k22 = ,
2 2 2
entonces M
c es un subespacio de L2 (R) y verifica
hM
c ea h M
c, para todo a R,
adem as h M c sii < h, g >= 0 para toda g L2 (R) tal que g = gIE
c.s., por lo que M c es cerrado por ser la interseccion de los cerrados
C(g) = {h L2 :<h, g>= 0}.
Tenemos as un subespacio cerrado M = F 1 (M c) invariante por tras-
laciones. El siguiente resultado nos dice que as son todos estos subespa-
cios.
9.6. El
algebra de Banach L1 (R)
: L1 (R) C,
(f g) = (f )(g).
: L1 (R) C, (f ) = f(t),
f = F(f ).
para
R M = M(B(R), K), la medida (real o compleja) en A, (A) =
A
f d, la cual es .
Nuestro objetivo en esta lecci
on es extender las nociones de transfor-
mada de Fourier, convoluci on, etc. a los elementos del espacio de Banach
M, con la norma kk = ||().
on. Llamaremos transformada de FourierStieltjes de una me-
Definici
dida M a la funcion
Z
: R C, (t) = eitx d.
algebra A0
Lema 9.7.2 Si dos medidas complejas , coinciden en un
de un espacio , entonces coinciden en (A0 ).
Demostraci on. Supongamos primero que son medidas reales, en-
tonces = + y = + con las cuatro medidas finitas y tales
que las medidas finitas (positivas) + + y + + coinciden en A0 ,
por tanto en (A0 ) por el Teorema de extensi on de Hahn. Se sigue que
tambien y . El caso complejo se sigue del real.
El teorema de la medida producto se extiende facilmente a medidas
complejas.
1 2 (A B) = 1 (A)2 (B),
1 1 2 2 + i(1 2 + 2 1 ).
= F ( ), para F : R2 R, F (x, y) = x + y,
PX (B) = P (X 1 (B)),
318 Captulo 9. La transformada de Fourier
PS = PX 1 PX n ,
Bibliografa y comentarios
Para la confecci
on de este tema han sido utilizados los siguientes
libros:
Ash, R.B.: Real Analysis and Probability. Ac.Press, 1972.
Muhkerjea, A. and Pothoven, K.: Real and functional Analysis. Plenum Press,
1978.
Rudin, W.: Real and complex analysis, Tata McGrawHill, 1974.
entre los que destacamos este u
ltimo por la excelente exposicion que da
a nuestro entender de las transformadas de Fourier
No obstante en la composici on del tema han sido utilizados otros
textos que sugerimos como bibliografa complementaria.
Butzer,P.L. and Nessel,R.J.: Fourier Analysis and approximation Vol.I (One
dimensional Theory). BirkhauserVerlag, 1971.
Hewitt, E. and Stromberg, K.: Real and abstract analysis. SpringerVerlag,
1965.
Hewitt, E. and Ross, K.A.: Abstract harmonic analysis. Vol.I (1963), Vol.II
(1970), SpringerVerlag.
Katznelson, Y.: An introduction to harmonic analysis. Dover, 1976.
Kawata, T.: Fourier Analysis in Probability Theory. Ac.Press, 1972.
Kolmogorov A.N. and Fomin, S.V.: Elementos de la teora de funciones y del
an
alisis funcional. Ed. Mir, Moscu, 1975.
9.7. La transformada de FourierStieltjes 319
conjunto de n
2
umero real .estaban lejos de tener un significado preciso
en aquella epoca.
2 2
Z Z
f (x) = (t) cos tx dt = (t) cos tx dt,
0 0
En 1822 elabor
o la teora de las integrales de Fourier en su libro
Fourier, J.: Theorie Analitique de la chaleur . 1822.
Las f
ormulas anteriores las obtuvo a partir de la expansion en se-
rie de Fourier de una funcion periodica, haciendo que el intervalo de
periodicidad tendiese a infinito (recomendamos al lector la p.464 del
KolmogorovFomin para un enfoque similar muy sugestivo).
Combinando las f ormulas anteriores se obtiene el teorema de la inte-
gral de Fourier,
1
Z Z
f (x) = f (y) cos t(y x) dydt.
0
F : S
S , F ()f = [F(f )],
para cada S y f S . Con esta definici
on extendemos la transfor-
mada de Fourier a una clase mucho mas amplia que L1 (R), conservando
sus propiedades fundamentales.
Como Cc (R) S , se tiene que
S D = Cc (R) .
A S se le llama espacio de las distribuciones temperadas y a D espacio
de las distribuciones.
Remitimos al lector interesado en un tratamiento de la transformada
de Fourier en esta linea, a los siguientes libros.
324 Captulo 9. La transformada de Fourier
Medida y topologa
En esta lecci
on estudiaremos algunas cuestiones relativas a una de las
propiedades topol ogicas mas importantes y caractersticas de los espacios
eucldeos, la compacidad local. La raz on de incluir esta leccion en el
programa es que trata un concepto no desarrollado habitualmente en los
textos de topologa general, al menos en cuanto a los resultados que son
de interes para nosotros.
Definicion. Diremos que un espacio topol ogico (X , T ) a partir de
ahora solo X es localmente compacto (LC) si para cada x X y U
abierto entorno de x, existe1 un entorno compacto de x en U . Diremos
que el espacio es compacto si es uni
on numerable de compactos. Re-
cordemos que X es Hausdorff si dados x, y X distintos tienen entornos
disjuntos. Diremos que un espacio es HLC si es Hausdorff y localmente
compacto.
Los siguientes resultados se siguen pr
acticamente de las definiciones.
1 Esta no es la definici
on de autores como: Ash, Rudin o Folland; que dan la (c) de
(10.1.3). En ese resultado probamos que son equivalentes si el espacio es Hausdorff.
Para la que damos aqu es v alido que un abierto de un espacio LC es LC, mientras
que para la otra en general no, y por tanto no es una buena definici on local.
325
326 Captulo 10. Medida y topologa
Se sigue de la definici
on y del resultado anterior, que en un espacio
HLC los abiertos relativamente compactos, es decir con adherencia com-
pacta, forman una base para la topologa (recordemos que una base de
la topologa es una coleccion de abiertos tal que cualquier abierto del
espacio se puede poner como uni on de abiertos basicos).
Proposicion 10.1.2 Todo abierto de un espacio HLC, con una base nume-
rable es compacto.
V = W Uy1 Uyn ,
K V1 V1 V0 V0 V,
V1 V2 V2 V0 ,
ri < rj Vj Vi ,
10.1. Espacios Hausdorff LC 329
Vj Vn+1 Vn+1 Vi ,
rn rm fn rn rm gm ,
rn > rm Vn Vm fn gm ,
y llegamos a un absurdo.
Como consecuencia podemos construir particiones de la unidad en un
espacio Hausdorff localmente compacto. Esta herramienta fundamental
que habitualmente se utiliza para reducir un problema de naturaleza
global a uno local, la vamos a usar en el teorema de representacion de
Riesz.
330 Captulo 10. Medida y topologa
para las que {fi 6= 0} {gi 6= 0}, por tanto sop fi Vi , fi IVi y por
inducci
on se demuestra que
f1 + + fn = 1 (1 g1 ) (1 gn ),
[E (K c U )] (E K c ) + (E U )
(V K c ) + (U ) < 2.
332 Captulo 10. Medida y topologa
+ +
i || 1 + 1 + 2 + 2 ,
(
2j2 2j2 2j1
fn1 (x) =
2j 2
y f (x) = 2n , si f (x) [ 2n , 2n ),
n 2j1
2n 2n si f (x) [ 2j1 2j
2n , 2n ),
{g 6= 0} sop hn Vn V ,
P P n
por tanto g Cc (X ) y f = tn = 2 hn = g excepto en E =
Vn \Kn y (E) < .
(b) Si f es medible no negativa y acotada, 0 f < M , y A compacto
el resultado se sigue aplicando (a) a f 0 = f /M .
334 Captulo 10. Medida y topologa
y kf gkp 2.
10.2. Medidas regulares 335
adem
as tambien se tiene que
kf k = kf k0 = sup{|f (x)| : x Rn },
y Cc (X ) es denso en el.
3 Dado un espacio normado E y un subespacio cerrado suyo M consideramos el
espacio normado cociente, E/M = {[x] = x + M : x E}, con las operaciones y
norma
[x] + [y] = [x + y], [x] = [x], k[x]k = nf{kyk : y x + M }.
Adem
as si E es de Banach, tambi
en lo es el cociente (ver HewittStromberg, p
ag.222).
10.3. Teoremas de representaci
on de Riesz 337
|f (x) f (y)| |fn (x) f (x)| + |fn (x) fn (y)| + |fn (y) f (y)|.
acil ver que si es una medida en (X , B(X )), tal que (K) <
Es f
para cada compacto K, entonces podemos definir el funcional lineal
Z
: Cc (X ) K, (f ) = f d,
existe una u nica medida , cuasiregular en B(X ), tal que para cada
f Cc (X ). Z
(f ) = f d.
la cual verifica
y por tanto
Z
f d (f ) [(K0 ) (Km )] (K0 ),
kk (X ) = sup{(f ) : f Cc (X ), 0 f 1} kk.
J + (f ) = sup{J(g) : g C0 (X , R), 0 g f },
el cual es finito pues para cada g del conjunto |J(g)| kJkkf k , por
tanto 0 J + (f ) kJkkf k . Adem as para cada c 0, J + (cf ) =
+
cJ (f ) y si f1 , f2 0, fi C0 (X , R), entonces
J + (f ) = J + (f + ) J + (f ),
J + (f + ) + J + (h) = J + (g) + J + (f )
+ + + +
J (f ) J (f ) = J (g) J (h).
J + (f + g) = J + (f + + g + ) J + (f + g ) = J + (f ) + J + (g),
ax{J + (f + ), J + (f )}
|J + (f )| m
ax{kf + k , kf k } = kJkkf k ,
kJk m
Dada Mr el funcional
Z
: C0 (X ) K, (f ) = f d,
es un isomorfismo isometrico.
tendremos la sucesi
on
0 K C(X ) C0 (X ) 0
|C0
a a
p 0
k|C0 k = sup{|(f )| : f C0 , kf k = 1}
= sup{|(f )| : f C0 , kf k = 1} kk.
0 K Mr (X ) Mr (X ) 0
|X
a ap 0
L : L1 (X , K) Mr (X , K), L(f ) = f ,
Por otra parte tenemos las siguientes propiedades del espacio de me-
dida (X , A , ), en cuya demostraci
on se hace uso del Lema de Zorn.
En esta lecci
on veremos la relaci
on existente entre los dos conceptos
de integraci
on que habitualmente siguen los textos: el abstracto, que
348 Captulo 10. Medida y topologa
: Cc (X , R) R,
on f : X [0, ],
y despues para cualquier funci
: Cc (X , R) R,
(a) L1 (X , )R = L1 (X , A , , R) = L1 .
(b) (f ) = f d, para cada f L1 .
(c) A X es medible sii A A .
(d) f : X R es medible sii es medible respecto de A .
Observemos que si : Cc (X , R) R es lineal y positivo, entonces
para cada compacto K existe k = (K) < tal que para cualquier
f Cc (X , R) con sop(f ) K
|(f )| kkf k ,
|(f )| kkf k .
: Cc (X , R) R,
lineal y continuo (al que le corresponde por (10.3.7) una medida real
regular) es de Rad
on.
+ (f ) = sup{(g) : g Cc , 0 g f },
pues las partes positiva y negativa de una medida real no pueden ambas
ser infinito. Sin embargo todo funcional de Radon s puede ponerse como
diferencia de dos integrales respecto de medidas de Borel cuasiregulares.
En base a esto podemos decir que los funcionales de Radon positivos se
corresponden con las medidas (cuasiregulares), mientras que las funcio-
nales de Rad on con las medidas reales a las que admitimos que tomen
el valor y el valor , por esta raz on algunos autores los llaman
medidas de Radon.
Es f
acil demostrar que JI es medible respecto de las algebras
definidas anteriormente AJ y AI y que si I J K T , entonces
KI = JI KJ
Definicion. Diremos que una funci on f : X R es funci
on de un n
ume-
ro finito de variables si existe I T finito y fI : XI R, tales que
f = fI T I .
Definici on. Sea S P(T ) una colecci on de subconjuntos de T . Dire-
mos que las medidas I en los espacios medibles (XI , AI ), para I S,
satisfacen la condicion de consistencia o que son consistentes si dados
J, I S, con J I se tiene que J = IJ (I ), es decir para cada
1
BJ AJ , J (BJ ) = I [IJ (BJ )].
Si es una medida en (X , A), podemos definir una medida I =
T I () en cada (XI , AI ), para I T , es decir I (BI ) = [T1I (BI )],
para cada BI AI .
En este caso las medidas I para I P(T ) son consistentes. Como
tambien son consistentes las I para I S donde S recorre los conjun-
tos finitos de T . El objetivo de esta lecci
on es probar que, bajo ciertas
condiciones topol ogicas, tambien se tiene el recproco.
Lema 10.8.1 (Ver Cohn,p.207). Sea X Hausdorff tal que cada abierto
on numerable de cerrados y sea una medida finita en B(X ),
es uni
entonces para cada E B(X ),
Xn
Cf = { ai fsi C(G) : n N,
i=1
X
0 ai 1, ai = 1, fsi (x) = f (si x), si G},
f g = m
ax{f, g} = (1/2)[f + g + |f g|] L.
360 Captulo 10. Medida y topologa
ii) Si f, g L entonces
f g = mn{f, g} = m
ax{f, g} L.
iii) Si f L entonces f + , f L y f = f + f .
L0 = {f = lm fn : fn L+ , fn f },
Proposici
on 10.10.4 (Ver Ash,p.173). En los terminos anteriores se tie-
ne que:
a) , X TL , () = 0.
b) Si A, B TL entonces A B, A B TL y (A B) + (A B) =
(A) + (B).
c) Si A, B TL y A B entonces (A) (B).
d) Si An TL y An A, entonces A TL y (An ) (A).
es medible.
b) La mnima
algebra que hace medibles a las funciones de L es
B(X ).
362 Captulo 10. Medida y topologa
Nuestra intenci
on ahora es, dado (X , L, I) con L retculo vectorial
de Stone e I una integral de Daniell, construir un espacio
R de medida
(X , A, ) con B(X ) A, tal que L L1 e I(f ) = f d, para cada
f L. Para ello construimos una medida exterior, tal que para cada
EX
(E) = nf{(A) : E A, A TL }.
Observemos que si E TL entonces (E) = (E).
Proposici
on 10.10.7 (Ver Mukherjea-Pothoven,p.394). La funci
on de con-
junto es una medida exterior.
es casi igual a todo el espacio. Esto permite establecer teoremas cl asicos como
Rad onNikodym o Fubini sin hacer restricciones sobre la medida.
2.- Los espacios localmente compactos son al mismo tiempo suficientemente
generales como para que una teora de integraci on, desarrollada en ellos, sea
aplicable en distintas areas del An
alisis, como por ejemplo en Analisis armonico
o la teora potencial.
3.- Por ultimo, la integracion sobre espacios abstractos puede siempre ser
reducida a la integraci on sobre espacios localmente compactos.
Esta u
ltima raz
on puede leerse tambien en la p.2 del libro
Nachbin, L.: The Haar integral. Krieger, 1976.
en la que anade su autor que tal reducci on puede hacerse en cierto sentido
en base a un cierto resultado de Kakutani del que no da referencia.
Desconocemos tal resultado, no obstante remitimos al lector al captulo
VIII, p.233 del libro de SegalKunze, sobre teora de integracion
algebraica, en la que se da un resultado en esta linea de interes en teora
de probabilidades. Tal resultado se basa en las ideas de Gelfand de
representaci on de un anillo conmutativo como un espacio de funciones
continuas sobre su espectro.
En los libros de Tjur, p.23 y Lang, p.339, podemos encontrar un
interesante resultado v alido en los espacios localmente compactos, en
el que se construye una ( unica) medida en todo el espacio, a partir de
una familia de medidas en abiertos del espacio que lo recubren, con la
propiedad de que en la intersecci on de dos abiertos de la familia las co-
rrespondientes medidas coinciden, de tal manera que la medida obtenida
restringida a cada abierto nos da la del abierto. En el SegalKunze,
p.132, se demuestra un teorema de la medida producto para anillos de
Baire, que complementa el dado por nosotros en (10.7.2). En este teo-
rema se establece que el producto de anillos de Baire es un anillo
de Baire ver tambien Halmos, p.222, y que el producto de medi-
das regulares es regular. Su prueba hace uso, como comentamos en la
lecci
on 7, del teorema de Stone-Weierstrass. Si el espacio tiene una base
numerable para su topologa, entonces los anillos de Borel y de Baire
coinciden (ver SegalKunze, p.54). En el Royden, p.314 se demues-
tra que toda medida de Baire regular puede extenderse a una medida de
Borel cuasiregular, tal que cada Borel de medida finita puede ponerse
como diferencia simetrica de un Baire y un Borel de medida nula.
En el libro de SegalKunze, se sugiere. . . , en palabras de Con-
tantinescuWeber, . . . pero no se desarrolla, la definici on abstracta
de integral. . . , que utilizan en su libro
10.11. Bibliografa y comentarios 365
para F continua.
Sin embargo esta representaci
on no es u
nica. En 1909 Riesz da la
soluci
on definitiva en
366 Captulo 10. Medida y topologa
Riesz, F.: Sur les operations fonctionelles lineaires. C.R.Acad.Sci. Paris, 149,
974977, 1909.
Densidades
Definicion. Llamaremos densidad en una variedad diferenciable V a
una aplicaci
on simetrica (por la siguiente propiedad (1))
: Dn (V) C(V),
(D1 , . . . , Dn ) = (0, . . . , 0) = 0.
|U (D1 , . . . , Dn )(x) = (D
c1 , . . . , D
cn )(x),
Ejercicio 4 Sean
R f, fnR, g, gn integrables, tales
R R |fn | gn , fn f c.s.,
que
gn g c.s. y gn g. Demostrar que fn f .
Ejercicio
R 7 Demostrar que si () = 1 y f 0 es medible, entonces para
k = f d, se verifica
p Z p
1 + k2 1 + f 2 d 1 + k.
375
376 Ejercicios difciles
Ejercicio
R 12 Demostrar que si f L1 (R) y g Lp (R), entonces f g(x) =
f (x y)g(y)dy est
a en Lp y
kf gkp kf k1 kgkp .
377
378 Ejercicios resueltos
es una clase elemental (es decir que satisface las condiciones: (i) C, (ii) si
A, B C, entonces A B C y (iii) si A C, Ac es uni on finita disjunta de
elementos de C).
on.- R y
Soluci
(A1 An ) (B1 Bn ) = (A1 B1 ) (An Bn ),
[A1 An ]c =Ac1 2 n
A1 Ac2 n . . .
A1 An1 Acn A0 .
on An A, demostrar que
Ejercicio 1.3.3.- Dada una medida y una sucesi
[
X
( An ) (An ).
n=1 n=1
379
Ind. Sea Dn =
i=n Ci , (D1 ) < , (Dn ) 0 y Dn l
m sup Cn .
lm lm xnm = lm lm xnm .
n m m n
E c es numerable},
A = {E : E o
y por lo mismo m[a, b] = m(a, b), pues (a, b 1/m] (a, b).
Ind. Para t > 0, m(tB) = |t|n m(B), pues m (tB) = tn m (B) y para t < 0,
m (tB) = m [|t|(B)] = |t|n m (B) y basta demostrar que m (B) = m (B).
Ahora bien para xi = (xi1 , . . . , xin ) Rn
Y
X n
m (B) = nf{ (bmi ami ) : A (ai , bi ]} = a
m=1 i=1
X Y n
m (B) = nf{ (dmi cmi ) : A (ci , di ]}
m=1 i=1
X Y n
= nf{ (bmi ami ) : A [ai , bi )} = b,
m=1 i=1
Ind. H0 ({x}) = 1.
Ejercicio 1.6.5.- Demostrar que dimH (An ) = sup dimH (An ).
P
Ind. Si A = Ai , Hp (Ai ) Hp (A) Hp (An ), por tanto si p < sup dimH (An ),
existe un i tal que p < dimH (Ai ), por tanto Hp (Ai ) = = Hp (A) y p dimH (A) y
si sup dimH (An ) < p, Hp (An ) = 0 para todo n y Hp (A) = 0, por tanto dimH (A) p.
son medibles.
Ind. El primer conjunto es medible porque en el h < , < g y en este
conjunto existe g h que es medible, o
tambi
en porque
[
{x : h(x) < g(x)} = ({h(x) < r} {r < g(x)}) ,
rQ
f g .
R R
y por lo mismo =
Ejercicio 2.4.20.- Sea f : R R medible Rtal que etx f (x) es integrable para
todo t R(a, b) R. Demostrar que F (t) = etx f (x) dm es diferenciable y que
F 0 (t) = x etx f (x) dm.
Ind. Para cada s (a, b) existe un > 0 tal que [s 2, s + 2] (a, b). Basta
demostrar que F es diferenciable en I = (s, s+). Existe r > 0, tal que para x > r,
x ex , por lo que el m
odulo de la derivada del integrando, |x etx f (x)|, est
a acotado
para t I por la funcion integrable
(s2)x
e |f (x)|, si x < r,
r e(s2)x |f (x)|, si r x 0,
h(x) =
r e(s+2)x |f (x)|, si 0 x r,
(s+2)x
e |f (x)|, si x > r,
y el resultado se sigue del teorema de derivaci
on bajo el signo integral.
lm (1 + 1/an )an = e,
|an |
R
Ejercicio 2.4.23.- Sea f no negativa e integrable, con 0 < f d = c < y
sea 0 < < . Demostrar que
Z ,
si 0 < < 1,
f
lm n log 1 + d = c, si = 1,
n n
0, si 1 < < .
en el sentido de que si una de las integrales existe tambien la otra y son iguales.
388 Ejercicios resueltos
Ind. Para indicadores se sigue de la definicion, para funciones simples por adi-
tividad, para funciones no negativas por el teorema de la convergencia mon otona,
pag.93 y para funciones con integral de la definici
on.
en el sentido de que si una de las integrales existe tambien la otra y son iguales.
Ind. Demu
estrese para indicadores, funciones simples, funciones no negativas y
en general.
en el sentido de que si una de las integrales existe tambien la otra y son iguales.
(b) Demostrar que si f : [0, t] R es medible, entonces para t > 0
Z Z
t f (tx) dm = f dm.
[0,1] [0,t]
en el sentido de que si una de las integrales existe tambien la otra y son iguales.
Ind. Aplquese el ejercicio (2.4.26), para F (x) = tx, viendo que t mF = m.
mos derivar bajo el signo integral tantas veces como queramos, utilizar esta
igualdad para demostrar (a).
Ind.- (b) Aplicando los ejercicios (2.4.3) y (2.4.4),
Z Z
1 = (etx )0 dm = (t) etx dm.
[0,) [0,)
en se puede ver utilizando (2.4.28)). Ahora, para F (t) = [0,) etx dm = 1/t
R
(Tambi
tendremos Z
F (n (t) = (x)n etx = (1)n n!tn1 .
[0,)
Ejercicio 2.4.31.- Sea f : [0, 1] R continua, tal que f (0) = 0 y existe f 0 (0+ )
R. Demostrar que f (x)x3/2 es Lebesgue integrable.
Ind.- Existe g continua en [0, 1], tal que f (x) = xg(x), por tanto g est
a acotada,
|g| M y |f (x)x3/2 | = |g(x)|/ x M/ x que es integrable.
R Calcular:
Ejercicio 2.4.32.-
(a) lmn [0,) (1 + (x/n))n sen(x/n) dm.
(b) lmn [0,) n sen(x/n)[x(1 + x2 )]1 dm.
R
2 2 2
Indicacion.- Integrando en (x ex )0 = ex 2x2 ex , tendremos, por el ejer-
cicio (2.4.33), que
Z Z
2 2
= ex dm = x2 ex dm
2 (0,) R
390 Ejercicios resueltos
y haciendo el cambio de variable F (y) = y/ 2 2 ,
y 2 y22
Z Z
2 1
=2 F (y)2 eF (y) F 0 (y) dm = 2
e 2 dm.
R R 2 2
Indicaci on.- Para a par, las integrales en (, 0) y en (0, ) son iguales y para a
impar son contrarias. Ahora por el teorema de cambio de variable para x = r2 = G(r)
(ver 2.4.29)), y por la funci
on factorial, (2.4.22), p
ag.102), la integral del enunciado
es para b = (a + 1)/2
Z Z
2 a1
2 er ra dm = ex x 2 dm = (b 1) = (b).
(0,) (0,)
2
ex cos 2xt dm, demostrar que satisface
R
Ejercicio 2.4.36.- Dada f (t) = [0,)
2
f 0 (t) + 2tf (t) = 0 y que f (t) = (1/2) et .
2
Ind. El integrando es integrable porque en m
odulo esta acotada por ex que lo es
2 2
por el ejercicio anterior. Ahora como (ex )0 = 2xex , tendremos por (2.4.4), que
x2 = 1, por tanto (ex2 sen 2xt)0 = (2x)ex2 sen 2xt + ex2 (2t) cos 2xt
R
(0,) 2xe
es integrable por ser suma de integrables y
Z Z
2 2 2
0= (ex sen 2xt)0 = (2x)ex sen 2xt+ex (2t) cos 2xt = f 0 (t)+2tf (t).
[0,) (0,)
2
Por tanto f (t) = f (0)et y por el resultado anterior f (0) = /2.
Ejercicio 2.4.37.- Demostrar:
2
(1) (,) x2n ex dm = (2n)! /4n n!.
R
2 2
(2) Para a 0, (,) ex cos ax dm = ea /4 .
R
Ind. En primer lugar aunque los integrandos no son acotados, son no negati-
vos, por lo que las integrales existen, aunque aun no sabemos que sean finitas. Las
denotamos In . Por LHopital se tiene derivando n veces que
logn y n!
(10.7) lm xr+1 logn x1 = lm = lm = 0.
x0+ y y r+1 y (r + 1)n y r+1
on g : [1, ) R, g(x) = ex xk ,
Ejercicio 2.4.39.- Demostrar que la funci
para k R es Lebesgue integrable.
Ind. Basta demostrarlo para N N, pues si k N , como x 1, tendremos
Z Z
0 ex xk ex xN por tanto 0 ex xk ex xN .
[1,) [1,)
= (N + 1)IN + e1 .
on obtenemos que IN < .
Por inducci
existe
(1)n
Z X
f (x)dx = ,
0 n=1
n
R
y es finita y sin embargo no es Lebesgue integrable, pues no lo es |f |, ya que
P |f |dm =
(1/n) = .
y se sigue la inclusi
on de (a).
(b) Si Ci es una base numerable de la topologa Ti de i ,
C = {U V : U C1 , V C2 } B(1 ) B(2 ),
y se sigue el resultado.
Ejercicio 3.2.4.- Sea f : R2 R, tal que fx es Borel medible para cada x y f y
continua para cada y. Demostrar que f es Borel medible.
Ind.- Basta observar que la sucesi
on de funciones medibles
X
fn (x, y) = f (i/n, y)I( i1 , i ] (x),
n n
i=
verifica fn f , pues fn (x, y) = f (xn , y), para un xn = i/n tal que |xn x| 1/n.
y que m(E) = 0.
Ind. Consideremos las funciones medibles 2 (x, y) = y y h(x, y) = f (x), entonces
E = {h = 2 } y como m(Ex ) = 0, m(E) = 0.
t
f p d (p).
R
y que si {f > t} e , entonces
Ind. Por el Teorema de Fubini, para la funci on medible h(y) = {f p > y} y el
Teorema de cambio de variable, ejercicio 2.4.29, para F (t) = tp : [0, ) [0, ),
Z Z Z
f p d = h(y) dm = h[F (t)] F 0 (t) dm
[0,) [0,)
Z
= ptp1 {f > t} dm.
[0,)
R
Para lo u
ltimo obs
ervese que 0 (tp et )0 = 0.
Indicaci
on.- Por el ejercicio (2.4.35), el teorema de Fubini y el teorema (3.6.9)
n Z Z
Y 2 2
(bi ) = ex xa1 dm1 ex xan dm1
i=1 R R
Z P 2
Z Z
2
= e xi
p(x) dm = er p(ry)rn1 d dm
(0,) S
Z Z !
2 P
= p(y) d er r ai +n1
dm
S (0,)
Z
1 X
= p(y) d bi .
S 2
.
Ejercicio 4.2.9.- Sea una carga en un espacio medible (, A), demostrar que
n
X
||(A) = sup{ |(Ei )| : Ei A, disjuntos, Ei = A},
i=1
P
Es cierto el resultado si ponemos i=1 en lugar de sumas finitas?.
Ind. Sean E1 , . . . , En A medibles y disjuntos, tales que Ei = A entonces
n
X n
X
|(Ei )| ||(Ei ) = ||(A),
i=1 i=1
396 Ejercicios resueltos
por tanto ||(A) es una cota superior para el supremo. Veamos que se alcanza, para
ello sea P, N una descomposici
on de Hahn
||(A) = + (A) + (A) = |(A P )| + |(A N )|,
y el resultado se sigue pues A P , A N es una partici
on de A.
d(1 2 ) d1 d2
(x, y) = (x) (y).
d(1 2 ) d1 d2
R Soluci on.- Sea E A tal que (E) = 1 2 (E) = 0, entonces como (E) =
2 (Ex ) d1 , 2 (Ex )R= 0 c.s. 1 , por tanto c.s. 1 y 2 (Ex ) = 0 c.s. 1 , por tanto
(E) = 1 2 (E) = 2 (Ex ) d1 = 0.
Ahora si f = d1 /d1 , g = d2 /d2 y h(x, y) = f (x)g(y), entonces como h 0,
tiene integral y
Z Z Z Z Z
(E) = 2 (Ex ) d1 = ( g d2 ) d1 = ( g d2 )f d1
Ex Ex
Z Z Z
= ( IEx hx d2 ) d1 = h d.
E
d e
C(T1 ) = P + (Q P ) + (R P )
c+d+e c+d+e
de QP RP
=P + + ,
c+d+e e d
es el incentro de P QR, pues (Q P )/e y (R P )/d son de igual m odulo, 1/2, por
tanto C(T1 ) esta en la bisectriz del
angulo en P y de modo analogo est
a en las otras
dos bisectrices.
Por ultimo el de T0 tambi en es el baricentro, pues
R
T0 xi dH0
xi (A) + xi (B) + xi (C) A+B+C
= = xi .
H0 (T0 ) 3 3
Indicaci
on.- Por Fubini (3.4.3) y el Teorema de cambio de variable (5.5.11),
para F : A = (0, )2 B = (0, 1) (0, ), F (x, y) = (x/(x + y), x + y) = (u, v),
J(DF ) = 1/(x + y)
Z Z
(t)(s) = xt e(x+y) y s dm dm
(0,) (0,)
Z
t s (x+y)
= x y e dm2
A
xt y s
Z
= (x + y)t+s e(x+y) dm2
A (x + y)t+s
Z
= ut (1 u)s v t+s+1 ev dm2
B
Z
= (t + s + 1) xt (1 x)s dm.
(0,1)
(x t)1 f (t) dm
R
[0,x]
I f (x) = . (Sol.)
[]
kf k = sup{|z| : z K}.
Soluci on.- Veamos que K c es abierto. Sea z K c , entonces existe > 0 tal
que f [B(z, )] = 0, pero entonces B(z, ) K c , pues la bola es abierta y dado
z 0 B(z, ), existe un > 0, tal que B(z 0 , ) B(z, ), por tanto f [B(z 0 , )] = 0 y
z 0 K c . Ahora veamos que K es acotado, para ello veamos que si z K, |z| kf k
o equivalentemente que si kf k < |z|, entonces z
/ K, lo cual es obvio pues z est a en
el abierto B[0, kf k ]c y por tanto existe un > 0 tal que
C = {z : kf k |z| kf k }.
tr/c (1t)s/c
= kf kr kf ks m
ax{kf kr , kf ks }.
Ind. Por la desigualdad (a + b)r < ar + br , para 0 < r < 1 y a, b > 0 y por la
concavidad de xp
1/p 1/p !p
|f |p |g|p
R R
|f + g|p d |f |p d + |g|p d
R R R
+
.
2 2 2
on.- Si f Lp L , entonces
Soluci
{|f | > 0} es finito y {|f | > kf k } es loc. nulo,
on A = {|f | > kf k } es nulo y para r p
por tanto su intersecci
Z 1/r Z 1/r
kf kr = |f |p |f |rp d = |f |p |f |rp d
Ac
Z 1/r
(rp)/r (rp)/r p/r
kf k |f |p d = kf k kf kp < ,
Ac
y para cada > 0 y An () = {|fn f | > }, como la medida es finita se tiene (ver
ejercicio 1.3.5)
lm sup {An ()} {lm sup An ()} = 0 lm {An ()} = 0.
(b) Para p < , por la desigualdad de Tchebycheff
kfn f kpp
{An ()} 0,
p
y para p = , dado el > 0, basta considerar N tal que para n N , kfn f k < ,
pues
{|fn f | > } {|fn f | > kfn f k } = 0.
la otra desigualdad, para ello sea > 0, entonces {|g| > kgk } no es localmente
nulo y tiene un subconjunto medible A, con 0 < (A) < , por tanto f = IA Lp ,
kf kp = (A)1/p y
Z
(kgk )(A)1/p ( |f g|p )1/p = kG(f )kp kGkkf kp .
408 Ejercicios resueltos
Otros Ejercicios
{A M : Ac M}, {A M : B C, A B M},
Ejercicio 10.11.2 Sea C P(), demostrar que son equivalentes9 las siguien-
tes propiedades:
1) Si A, B C, entonces A B, A\B C
2) Si A, B C, entonces A B, AB C.
3) Si A, B C, entonces A B, AB C.
Soluci
on. (1/(n + 1), 1/n].
9A tal colecci
on se la llama anillo.
409
410 Otros Ejercicios
C = {A N : 2n A, n N}.
Ejercicio 10.11.7 Dar todas las medidas exteriores en el conjunto = {0, 1}.
Idem en = {0, 1, 2}.
algebra A .
Dar la medida exterior generada por y la
{card A : A
algebra de }.
Soluci
on. Si es su medida asociada, tenemos que F es continua en x sii {x} =
0. Ahora dados a < b R y n N, el conjunto {x (a, b] : {x} 1/n} es finito,
pues (a, b] = F (b) F (a) < ; por tanto su union, {x (a, b] : {x} > 0} a lo
sumo es numerable, como tambi en el conjunto de puntos de discontinuidad de F ,
{x R : {x} > 0} y su complementario (los puntos de continuidad) es denso, pues
los entornos no son numerables.
Ejercicio 10.11.19 Sea una medida en los Borelianos de R, tal que (0, 1] =
1, {0} < y (tA) = |t|(A), para cualesquiera t R y A Boreliano.
Demostrar que = m.
por tanto es de LS y {x} = 0 para todo x, pues en caso contrario {tx} = |t|n {x}
y los intervalos tendran medida infinita. Por u
ltimo tiene funci
on de distribuci
on
F (x) = (0, x] = x, para x 0 y F (x) = (x, 0] = [x, 0) = x, para x < 0, por
tanto es la de Lebesgue.
on. F (x, y) = (x + y) 2I{x+y0} .
Soluci
Soluci
on. F (x, y) = yI[0,) (x).
Soluci
on. La distancia es invariante por traslaciones, por tanto tambi
en las me-
didas de Hausdorff, por lo que H2 es de Lebesgue y para la medida de Lebesgue es
conocido.
Ejercicio 10.11.27 Sea E L(R), tal que 0 < m(E) < . Demostrar que
para cada 0 < r < 1, existe un intervalo abierto (a, b), tal que
r m(a, b) < m[(a, b) E].
Ejercicio 10.11.28 Sea E L(R), tal que 0 < m(E) < . Demostrar que
E E = {x y : x, y E} es un entorno del origen.
Ejercicio 10.11.32 Sea f medible e integrable en ((0, 1), B(0, 1), m). Demostrar
que para todo polinomio p, pf tambien es integrable y calcular el lm xn f dm.
R
Ejercicio 10.11.33 Demostrar que el volumen del cono generado por un bore-
liano plano y un punto exterior al plano es 1/3 del area del Boreliano por la
altura del punto respecto del plano.
n(1/10)n1 = 1/9.
P R P
Ind. f = nI[10n1 ,10n )I , f = (9/100)
Ejercicio 10.11.37 Sea f2n1 = I[0,1] , f2n = I[1,2] , en (R, B(R), m). Se puede
aplicar el Lema de Fatou ?, Se da la igualdad al aplicar el Lema de Fatou?
Ejercicio
P 10.11.38 Sea (, A, ) un espacio de medida, An A y f (x) =
nNx a n , con an 0 y Nx = {n N : x An }. Demostrar que f es medible
y calcular su integral en general y en particular para an = 2n y (An ) = 1/n!.
P
2n /n! = e2 1.
P R
Soluci
on. f = an IAn , f = n=1
R
Ejercicio
R 10.11.40 Sea 0 f medible y fn = mn{f, n}, demostrar que fn
f.
R
Ejercicio 10.11.41 Sean 0 g f medibles y g < , demostrar que
Z Z Z
f g = (f g).
415
REjercicio 10.11.44
R Sean f, fn : R [0, ) medibles, tales que fn f y
fn dm = f dm < , demostrar que
Z x Z x
fn dm f dm,
R
fn y bn = x fn , a + b =
Rx Rx R
Soluci
on. Para a = f , b = x f , an =
an + bn y por Fatou a + b lm inf an + lm inf bn lm sup an + lm inf bn
lm sup(an + bn ) = a + b.
y como es constante pues m(B) y m(C) son finitos por ser f integrable, A f 2n = 0,
R
Soluci
on. MultiplicandoR respectivamente
R por a = [0, x] y por b = (x, ), las
desigualdades x (x, ) (x,) f d e [0,x] f d x [0, x], tendremos
Z Z
b f d x a b a f d
[0,x] (x,)
R
y como a + b = 1, sumando a [0,x] f d, se tiene que
Z Z Z
f d a f d = ([0, x]) f d.
[0,x] (0,) [0,)
R
Ahora por una parte [0,) f d > 0, pues en caso contrario f = 0 c.s. es decir
R
0 = {f 6= 0} = (0, ) y {0} = 1. Por u
ltimo si [0,) f d = , G(x) = 0, pues
R
[0,x] f d x([0, x]) x < .
1 2 (A B) = 1 (A)2 (B),
419
Soluci on. La unicidad es obvia por el ejercicio anterior pues dos medidas com-
plejas que coinciden en un a
lgebra coinciden en la algebra que genera. Ahora para
la existencia basta observar en el caso real que la medida real
= + + + +
1 2 + 1 2 1 2 1 2 ,
(A B) = (+ +
1 (A) 1 (A))(2 (B) 2 (B)) = 1 (A)2 (B).
Para el caso complejo (considerando que las medidas son = 1 +i2 y = 1 +i2 )
se considera la medida compleja
1 1 2 2 + i(1 2 + 2 1 ).
pues
Z /2 Z /2 Z 1 p
= cos2 t dt + sen2 t dt = 2 1 x2 dx.
/2 /2 1
Veamos el area: El casquete superior del toro se obtiene como gr
pafica de la funci
on
definida en la corona B = {(x, y) : R r R + r}, para = x2 + y 2
q
f (x, y) = h() = r2 (R )2 ,
para la que
r2
1 + fx2 + fy2 = ,
r2 (R )2
420 Otros Ejercicios
por tanto el
area del toro es para F (x, y) = (x, y, f (x, y)) y para el cambio de variable
R + tr =
Z q
22 H2 [F (B)] = 2 1 + fx2 + fy2 dm2
B
s
Z 2 Z R+r r2
=2 dd
0 Rr r2 (R )2
s
Z 1 r2
= 4 (R + tr)r dt
1 r2 t2 r2
Z 1 1
= 4rR dt = (2r)(2R).
1 1 t2
Ejercicio 10.11.67 Calcular la longitud del trozo de una helice que con pen-
a sobre el cilindro x2 + y 2 = r2 y cuya proyecci
diente 1 est on da una vuelta.
Ejercicio 10.11.68 Demostrar que la derivada respecto del radio, del volumen
ndimensional de la bola de Rn de radio r es el a
rea n 1dimensional de su
esfera.
f 1/n d
R
Ejercicio 10.11.69 Sea f > 0 integrable en . Demostrar que
().
Ind. (a) kfn f kp kfn kp kf kp kfn f kp . (b) kfn gn f gk1 = kfn (gn
g) + (fn f )gk1 y se concluye por Minkowski, Holder y (a).
rea de F (U ) es10
Demostrar que el a
Z p
(xu yv xv yu )2 + (xu zv xv zu )2 + (yu zv yv zu )2 dudv.
U
Soluci
on. Para
xu yu zu
At = ,
xv yv zv
se tiene que
det(At A) = (x2u + yu
2 2
+ zu )(x2v + yv2 + zv2 ) (xu xv + yu yv + zu zv )2
= (xu yv xv yu )2 + (xu zv xv zu )2 + (yu zv yv zu )2 .
q p
Solucion. Para x > 0 x + x + x + = (1 + 1 + 4x)/2, pues es la raz
positiva del polinomio 2
t = x + t. Tambi
p en se puede resolver aplicando el TCM a
fn (x) para f1(x) = x y fn+1 (x) = x + fn (x), pues es creciente y acotada por
h(x) = (1 + 1 + 4x)/2, que satisface h(x)2 = x + h(x) se ve por inducci on,
f1 (x)2 = x < x + h(x) = h(x)2 y fn+1 (x)2 = x + fn (x) < x + h(x) = h(x)2 .
2
1 1
fn (x) = fn (x) + x + fn1 (x),
2 4
R4
y la integral vale 0 (1/4) + x = 1 + 8 = 9.
10 En t
erminos vectoriales
D1 = F u = xu x + yu y + zu z ,
Z
area[F (U )] = |D1 D2 |.
D2 = F v = xv x + yv y + zv z , U
423
se extiende a X .
Soluci
on.-
AB (AB) = 0 (A B c ) = (Ac B) = 0
c c
(A B ) = (A B) = 0 (A) = (B).
(A) = 0 A (A) = () = 0.
Para ver que es continua basta demostrar que si A X , > 0, existe > 0 tal
que si
(A, B) < |(A) (B)| < ,
Ahora bien sabemos que equivale a que > 0, existe > 0 tal que si
(E) < ||(E) < ,
y para E = AB, tendremos
|(A) (B)| = |(A B c ) (Ac B)| |(A B c )| + |(Ac B)|
||(AB) < .
0 1/2 1
........................................................................................................................................................................................................................................................................... A1
0 1/4 3/4 1
........................................................................................................................................................................................................................................................................... A2
0 1/8 3/8 5/8 7/8 1
........................................................................................................................................................................................................................................................................... A3
Ind. Consid
erese la sucesi
on An , para la que (Ai , Aj ) = 1/2,
Ejercicio 10.11.85
R Demostrar que si () = 1 y f 0 es medible, entonces
para k = f d, se verifica
p Z p
1 + k2 1 + f 2 d 1 + k.
Soluci
pon.- La segunda desigualdad es obvia pues para t 0, 1 + t2 (1 + t)2 ,
por tanto 1 + f 2 1 + f . Para la segunda comoP f es lmite ascendente de funciones
simples, por el TCM basta demostrarlo para f = ai IAi simple y este caso se sigue
i kxi k2 , para i = (Ai ) y xi = (1, ai ) R2 .
P P
de k i xi k2
Si f = g 0 la segunda expresi on es la longitud de la curva (creciente) y = g(x), la
primera es la longitud de la cuerda que une sus extremos, y la u ltima es la suma de
los catetos del triangulo rect angulo con hipotenusa la cuerda.
Soluci
on.- (a) Que es normado se sigue de serlo Lr y Ls y que es continua es
obvio por el ejercicio (6.2.4), pues kf kp m
ax{kf kr , kf ks } kf k. Veamos que es
completo:
427
Ejercicio 10.11.87 (i) Demostrar que para x > 0, log x x1 y x log x x1.
(ii) Demostrar que si () = 1 y 0 < r < s < , entonces para f Ls ,
kf kr kf ks y que para exp{} = 0 y log 0 =
Z
lm kf kp = exp{ log |f | d}.
p0
Sol. (i) F (x) = log x es c oncava, pues F 00 < 0, por tanto su gr afica est a por
debajo de su tangente en x = 1, es decir log x x 1. G(x) = x log x es convexa,
pues G00 > 0.
(ii) Que kf kr kf ks se sigue del ejercicio (6.2.9), adem as por (i)
|f | p |f | p Z
|f | p
log 1 log 0
kf kpp kf kpp kf kpp
log |f |p
Z R
log |f | log kf kp =
p
|f |p 1 |f |p 1
R Z Z
= log |f |,
p p
donde la u
ltima convergencia se sigue del teorema de la convergencia mon
otona ex-
p
tendido (pagina 97), pues para x 0, x p1 (p0) log x, ya que para x = 0 el
428 Otros Ejercicios
y si > 0 consideramos 0 < r < y un a, tal que para x a, h(x) r, en cuyo caso
Z Z
> x2 |f (x)|2 dx r x dx = .
a a
kf gkp kf k1 kgkp .
Soluci
on.- Para p = 1 est a visto. Para p = , como m{|g| > kgk } = 0,
tenemos que f g(x) es finito pues el integrando es integrable ya que
Z
|f (x y)g(y)|dy kgk kf k1 < ,
y se tiene que |f g(x)| kgk kf k1 , por tanto kf gk kgk kf k1 . Para 1 < p <
consideremos su conjugado q y como por Fubini se tiene
Z Z Z Z
[ |f (x y)||g(y)|p dy]dx = [ |f (x y)||g(y)|p dx]dy = kf k1 kgkpp < ,
tendremos que c.s. |f (xy)||g(y)|p dy es finita, por lo que hx (y) = |f (xy)|1/p |g(y)|
R
Ejercicio 10.11.91 Demostrar que la esfera unidad de L1 ([0, 1], B[0, 1], m), no
tiene puntos extremales y que en la de Lp , para 1 < p < , todos lo son.
R
on.- Sea kf k1 = 1, por tanto [0,1] |f | dm = 1 y consideremos x (0, 1)
Soluci
tal que Z Z
1
|f | dm = = |f | dm,
[0,x) 2 [x,1]
entonces f = (g + h)/2, para las funciones, g = 2f I[0,x) y h = 2f I[x,1] , de la esfera
unidad de L1 .
430 Otros Ejercicios
kfn f kr 0 kfn f ks 0.
431
Ind.- Sgase la t
ecnica habitual de funciones indicador, simples, TCM, etc.
Ind. Sea Bn =
i=n Ei y Bn B = l
m sup En . Entonces para m n, Bm Bn
y
X
X
0 n (Bm ) n (Bn ) n (Ei ) i (Ei ) = 0
i=n i=n
0 = n (Bm ) n (B) = 0 (B) = 0.
Indicaci on. Obvio haciendo un dibujo, pues dados tres puntos del intervalo
a < x < b y los puntos correspondientes en la grafica A = (a, f (a)), X = (x, f (x)) y
B = (b, f (b)), tendremos por ser f convexa que X esta bajo la recta AB y del mismo
modo si y (a, x) (x, b), el punto correspondiente Y est a entre el par de rectas
pasando por X, AX y BX y tenemos que si y x, Y X.
Ind. La tractriz11 (fig.10.1) es la curva del plano que pasa por (R, 0) y cuya
tangente en cada punto corta al eje y en un punto que dista del anterior R y la
pseudoesfera de radio R es la superficie de revoluci
on alrededor del eje y, de la tractriz
y de su imagen especular respecto del eje x.
x R
por tanto el
area de media tractriz (la mitad superior), vale
Z Z
2 H2 [F (B)] = |J[DF ]| dm2 = 2 R dm1 = 2R2 ,
B (0,R)
unex.es/~ricarfr/EcDiferenciales/LibroEDLat.pdf
435
Para el volumen denotaremos con y = f (x) nuestra tractriz (para que no haya
on), por tanto f 0 (x) = R2 x2 /x, denotaremos con g su inversa y con E
confusi
el volumen generado. Por tanto haciendo el cambio x = g(y), tendremos que
Z Z
m3 [E] = m2 [Ey ] dmy = g(y)2 dmy =
(0,) (0,)
Z Z p
2 0
= x f (x) dmx = x R2 x2 dmx
(0,R) (0,R)
iR R3
= (R2 x2 )3/2 = ,
3 0 3
por lo tanto el volumen de la pseudoesfera de radio R es 2R3 /3 la mitad del
de la esfera de radio R!.
Ind. Si el v
ertice de la pir
amide est na A = a2 y por
a a distancia r de la base peque
tanto a h + r de la base grande B = b2 , tendremos por semejanza que (h + r)/b = r/a,
por lo que r = ha/(b a) y el volumen es
1 1 hbB haA h
((h + r)B rA) = = (b2 + a2 + ab).
3 3 ba ba 3
(b) Para cada rotacion R y t (0, ), F [R(E)]t = R[F (E)t ], por tanto si es
invariante por R, tambi
en , pues
Z
[R(E)] = [R[F (E)t ]] d,
la otra implicaci
on es obvia.
Ejercicio 10.11.108 Sea f : [0, ) [0, ) medible, tal que f (x) y xf (x) sean
integrables. Demostrar que para t [0, ]
Rt Rt
0
f (x) dm 0
xf (x) dm
x(t) =
R y(t) =
R .
0
f (x) dm 0
xf (x) dm
y basta ver que y(b) y(a) + (1 )y(c), es decir (y(c) y(a)) y(c) y(b) o
equivalentemente
Z c Z c Z c Z c
f (r) sf (s) f (s) rf (r)
b a a b
Z c Z b Z c Z b Z c Z c
f (r) sf (s) + sf (s) f (s) + f (s) rf (r)
b a b a b b
Z c Z b Z b Z c
f (r) sf (s) f (s) rf (r)
Zb a a
Z b
1 segmento circular
b b
y r
Ind. Por comodidad consideramos la par abola con v ertice en el origen y eje el y,
por tanto de ecuacion y = rx2 , con r > 0 estando el segmento en la recta y = b. Si
denotamos con E el segmento de par abola, tendremos que por simetra el centro de
masa est
a en el eje y a altura
R q
2 0b y yr dm
R RbR
E y dm2 0 yIEy dm dm
= Rb = R q
m2 [E] 2 0b yr dm
0 IEy dm dm
Rb 3 3
y 2 dm b 2 +1 /( 32 + 1) 3
= R0 1 = 1 = b.
b +1 1 5
y dm
2
0 b 2 /( + 1) 2
439
h
r
A z h
1-h
Ind. (a) Consideremos el segmento esf erico A, definido por un casquete de altura
h en la esfera de radio 1 y cuyo paralelo es horizontal, entonces su centro de masa
tiene distancia al centro de la esfera
4 1
z2
i
R R1
1h z(1 z 2 ) dz z4
A z dm3
2 1h
= R1 = i1
m3 [A] 1h (1 z 2 ) dz z 3 z3
1h
1 1 (1h)2 (1h)4
2
4
2
+ 4
=
1 (1h)3
1 3
(1 h) + 3
12h+h2 2 3 4
1
2
1
4
2
+ 14h+6h 44h +h
= 2 h3
31 + h + 13h+3h
3
3 2h2 + 6h2 4h3 + h4 3 (2 h)2
= = .
4 3h2 h3 4 3h
A h
B 1-h
z
Ind. (1) Para B la region plana tendremos, por simetra, que el centro de masa
est
a en el eje z a altura
R Rb Rb
B z dm2 0 z m1 (Bz ) dm1 z2g(z) dm
= Rb = R0b .
m2 [B] m (B ) dm
0 1 z 1 0 2g(z) dm
(2) Para E el cuerpo de revoluci on tendremos, por simetra, que el centro de masa
est
a en el eje z a altura
Rb Rb Rb
zg(z)2 dm zg(z)2 dm
R
E z dm3 z m2 (Ez ) dm
= R0 b = R0b = R0b .
m3 [E] 2 2
0 m2 (Ez ) dm 0 g(z) dm 0 g(z) dm
3
(3) Para la superficie sea S = F (A), para F : A p = [0, b] [0, 2) R , F (z, ) =
02
(g(z) cos , g(z) sen , z), para la que J(DF ) = g 1 + g , entonces el centro de masa
est
a en el eje z a altura
2 0b z g(z) 1 + g 0 (z)2 dm1
R R R p
S z dH2 z[F ]J(DF ) dm2
= AR = Rb p .
H2 (S) A J(DF ) dm2 2 0 g(z) 1 + g 0 (z)2 dm1
Ejercicio 10.11.115 Encontrar las curvas x = g(y), con g(b) > 0 para todo
b > 0, del plano xy, tal que el centroide de la regi on plana limitada por la
curva, su simetrica respeto del eje y y las rectas y = 0 e y = b est
a a altura
b, para (0, 1) constante.
Ejercicio 10.11.116 Encontrar las curvas y = g(z), con g(b) > 0 para todo
b > 0, del plano yz, que generen un cuerpo de revoluci on en torno al eje z,
cuyo tronco entre 0 y b, para todo b > 0, tenga el centro de masa a altura b,
para (0, 1) constante.
Ind. Sea E dicho tronco. Entonces por el ejercicio (10.11.114), tendremos que
para todo b > 0
Z b Z b
b g(z)2 = zg(z)2 ,
0 0
y derivando en b,
Z b
g(z)2 + b g(b)2 = b g(b)2 , es decir
0
Z b
g(z)2 = (1 )b g(b)2 , y derivando
0
g(b)2 = (1 )g(b)2 + (1 ) b 2 g(b)g 0 (b), es decir
(2 1) g(b) = (2 2)b g 0 (b),
y para p = (2 2)/(2 1), nuestra curva es soluci
on de la ecuaci
on diferencial en
el plano yz, (p logy log 0 p
z) = 0, es decir las curvas z = k y . Obs ervese que p es
1 p+2
racional sii = 2 p+1
es racional. Observemos que para p = 2, 1/ = .
Ind. En t erminos del ejercicio (10.11.114), tendremos que y = g(z) es una recta,
que pasa por (0, c), de pendiente c/R, para R el radio del crculo de la base, es decir
z = yc/R + c, por tanto g(z) = (c z)R/c y el centro est a a altura (haciendo el
cambio t = c z)
Rc 2 Rc 2
Rc Rc 3
zg (z) 0 z(c z) 0 (c t)t2 t c4 /4
R0c = R c = R c 2 = c R0c 2 = c 3 = c/4.
g 2 (z) (c z)2 t t c /3
0 0 0 0
Ejercicio 10.11.119 Tenemos una caja con bolas blancas y negras. Si extrae-
mos dos al azar, la probabilidad de que sean blancas es 1/2. Cuantas bolas
hay de cada, si sabemos (1) que hay 10 o menos bolas, (2) que hay mas de 10
y menos de 100?.
Solucion.- Sean n el n
umero de blancas, m el de negras y N = n + m el n umero
umero de posibles parejas de blancas es n(n 1)/2 y el total de
total de bolas. El n
parejas es N (N 1)/2, por tanto
n(n 1) 1
= ,
N (N 1) 2
de donde se sigue que
2n(n 1) = (n + m)(n 1 + m) = n(n 1) + 2nm m + m2
n2 n = m2 m + 2nm, (n m)(n + m 1) = 2nm
de donde que n > m y por tanto n = m + a, de donde
a(a 1)
a(2m + a 1) = 2(m + a)m, 2ma + a(a 1) = 2m2 + 2am, m2 = .
2
Ahora bien los unicos valores de a entre 1 y 50, para los que a(a1)/2 es un cuadrado
son:
a = 2, para la que m = 1, n = 3 y N = 4,
a = 9, para la que m = 6, n = 15 y N = 21 y
a = 50, para la que m = 35, n = 85 y N = 120.
Por lo tanto la respuesta a la primera pregunta es N = 4 y a la segunda es
N = 21.
Indice alfab
etico
(, A), 6 JI , 355
(, A, ), 15 x =<., x>, 287
(R, B(R), m), 65 (C), 6
(R, L(R), m), 65 sup , 22, 44, 88
An A, 11 c0 , 305
An A, 11 d(A), 22
DFx , 211 d()p , 22
F , 130 d/d, 178
Hf (x), 194 mi , 110
J(T ), 207 vF , 198
L2 , 188 x y, 284
Lp , 246 A, 5
Mi , 110 A1 An , 121
Pf (x, r), 193 A1 An , 121
S , 323 AB , 56
, 5 AI , 354
(C), 6 AT , 354
P , 110 B(), 6
P , 110 C0 (X ), 335
x , 15 Cc (X ), 328
R
nf , 21, 22, 44 E 0 , 256
h d, 87 E , 256
Rb
a f (x) dx, 111
E , 256
, 172 F (A), 79
+ , 165 L(R), 31
1 2 , 165, 183 L(Rn ), 37
lm sup An , lm inf An , 11 L1 , 87
| P |, 111 L1 (, K), 87
| |, 165 L1 [, A, , K], 87
| |, 169 L , 240
1 2 , 125 L (, K), 240
1 2 , 352, 353 Lp , 239
k T k, 254 Lp (T ), 301
k k, 170 Lp (, A, , K), 239
k f k , 240 L1loc , 193
k f k0 , 333 M(C), 12
k f kp , 239 M+ r , 341
s , 354 N , 240
444
INDICE ALFABETICO 445
familia Hip
otesis erg
odica
de funciones dirigida superiormen- de Boltzman, 273
te, 345 de MaxwellBoltzman, 279
Fatou, Pierre, 69 HLC, 325
forma
de volumen, 221 identidad
INDICE ALFABETICO 447