Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Analisis Real y Complejo - Bernal PDF
Analisis Real y Complejo - Bernal PDF
Analisis Real y Complejo - Bernal PDF
An
alisis real y complejo.
An
alisis Funcional
M
aster Universitario en Matem
atica
Avanzada
1. Teora de la medida 3
1.1. Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2. Conjuntos medibles y medidas positivas . . . . . . . . . . . . . 5
1.3. Medidas exteriores . . . . . . . . . . . . . . . . . . . . . . . . 8
1.4. Procedimiento de Caratheodory . . . . . . . . . . . . . . . . . 9
1.5. Medida de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . 12
1.6. Medidas absolutamente continuas . . . . . . . . . . . . . . . . 15
1.7. Medida de LebesgueStieltjes . . . . . . . . . . . . . . . . . . 16
1.8. Funciones simples . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.9. Funciones medibles . . . . . . . . . . . . . . . . . . . . . . . . 18
1.10. Integral de una funcion . . . . . . . . . . . . . . . . . . . . . . 22
1.10.1. Integral de funciones medibles no negativas . . . . . . . 22
1.10.2. Conjuntos de medida nula . . . . . . . . . . . . . . . . 24
1.10.3. Funciones integrables . . . . . . . . . . . . . . . . . . . 26
1.11. Teoremas de convergencia . . . . . . . . . . . . . . . . . . . . 28
1.12. Relacion con la integral de Riemann . . . . . . . . . . . . . . . 32
1.13. Completitud de L1 () . . . . . . . . . . . . . . . . . . . . . . 34
1.14. Medidas signadas . . . . . . . . . . . . . . . . . . . . . . . . . 37
1.14.1. Medidas ortogonales . . . . . . . . . . . . . . . . . . . 42
1.14.2. Teorema de Radon-Nikodym . . . . . . . . . . . . . . . 44
1.15. Espacios Lp () . . . . . . . . . . . . . . . . . . . . . . . . . . 46
1
2 Luis Bernal Gonz
alez
Bibliografa 115
Captulo 1
Teora de la medida
1.1. Introducci
on
3
4 Luis Bernal Gonz
alez
Fue LEBESGUE, quien, a principios del siglo XX, dio una denicion ade-
cuada de subconjunto medible de RN y de medida sobre tales subconjuntos.
Ademas, proporciono una denicion de funcion integrable que superaba las
carencias de la funcion Riemann-integrable, de modo que la correspondiente
integral generalizaba tambien la de Riemann y era aplicable a una clase mu-
cho mas amplia de funciones. Otra notable ventaja de la integral de Lebesgue
es que se obtienen teoremas muy generales que relacionan la integral del
lmite de una sucesion de funciones medibles (estas son la generalizacion de
las funciones continuas) con el lmite de las integrales de estas.
FRECHET generalizo la teora considerando -
algebras de conjuntos en
espacios abstractos. Finalmente, CARATHEODORY denio axiomaticamente
la medida exterior introducida por Lebesgue para RN e introdujo la nocion
de conjunto medible a partir de ella, por un metodo esencialmente analogo al
de Lebesgue. As que la integral puede denirse para funciones f : X R o
bien f : X C, donde X es un espacio medible y C es el plano complejo. Mas
tarde, BOCHNER extendera el concepto de integral a funciones f : X E,
donde E es un espacio de Banach. Durante el primer tercio del siglo XX,
RADON y NIKODYM estudiaron el comportamiento, como medida, de la
integral de una funcion no negativa sobre un conjunto medible arbitrario.
1. X M.
2. A M Ac := X \ A M.
3. Si An M para todo n N := {1, 2, ...}, entonces An M.
n=1
M.
Si An M para todo n N, entonces An M.
n=1
N
Si An M para todo n {1, . . . , N }, entonces An M y
n=1
N
An M.
n=1
Si A, B M, entonces A \ B M.
1. () = 0.
En la siguiente proposicion se re
unen algunas propiedades operacionales
basicas de las medidas.
5. Si {An }
n=1 M es creciente, es decir, si An An+1 para todo n N,
(
)
entonces lm (An ) = An .
n n=1
6. Si {An }
n=1 M es decreciente, es decir, si An+1 An para todo
(
)
n N y (A1 ) < +, entonces lm (An ) = An .
n n=1
1. () = 0.
2. A B (A) (B).
(
)
3. {An }
n=1 P(X)
An (An ).
n=1 n=1
Un ejemplo importante es el de medida exterior de Lebesgue, que recor-
daremos a continuacion. A partir de ella se construira la medida de Lebesgue,
generalizacion adecuada del volumen N -dimensional.
M = {M X : (A) = (A M ) + (A \ M ) A X}
(A) = (A M ) + (A M c )
= (A M N ) + (A M N c ) + (A M c N ) + (A M c N c ).
(A (M N )c ) = (A (M N )c N ) + (A (M N )c N c )
= (A M c N ) + (A N c )
= (A M c N ) + (A M N c ) + (A M c N c ),
(A) = (A (M N )) + (A (M N )c ),
p
( (
p
)c )
(A) = (A Mj ) + A Mj [1]
j=1 j=1
n
( (
n
)c )
(A) = (A Mj ) + A Mj
j=1 j=1
n
( (
)c )
(A Mj ) + A Mj ,
j=1 j=1
( (
)c )
(A) (A Mj ) + A Mj
j=1 j=1
( (
))
( (
)c )
A Mj + A Mj (A),
j=1 j=1
( (
))
( (
)c )
(A) = A Mj + A Mj para todo A X,
j=1 j=1
de donde deducimos que Mn M. Hemos probado que M es una -
n=1
algebra.
Denotemos := |M . Entonces () = () = 0. En cuanto a la -
aditividad de , tomemos Mn M (n N) dos a dos disjuntos. Haciendo
12 Luis Bernal Gonz
alez
A= Mn en el razonamiento anterior, obtenemos todas las desigualdades
n=1
deben ser igualdades que
(
)
Mn = (Mn ) + () = (Mn ).
n=1 n=1 n=1
(a) A MN .
Llamemos G := Jn . Entonces G es abierto [luego G\A MN ], A G
n=1
y, como m(A) < +, se tiene que m (G \ A) = m(G \ A) = m(G) m(A)
m (Jn ) vol(In ) + 2 <
n=1 2n+1 + 2 = .
n=1 n=1
x y x y Q.
TEOR
IA DE LA MEDIDA 15
Proposici
on 1.6.1. Sean y dos medidas sobre un mismo espacio medible
(X, M), con finita. Entonces [A M y (A) = 0
(A) = 0].
{
}
A P(R) 7 m (A) := nf ((bk ) (ak )) : A (ak , bk ] [0, +]
k=1 k=1
0 y X 1.
A B = AB .
18 Luis Bernal Gonz
alez
[A = 1] = A y [A = 0] = X \ A.
X\A = 1 A .
p
ai Ai no es u
nica, pero puede asociarse a cada funcion simple una re-
i=1
presentacion canonica. A saber, si (X) = {a1 , . . . , ap }, donde los ai son
p
distintos entre s, entonces = ai [=ai ] .
i=1
6. Si fn : X [, +] (n N) es una sucesi
on de funciones medi-
bles, entonces las funciones sup fn , nf fn , lm sup fn y lm inf fn son
n1 n1 n n
medibles.
Veamos ahora que cada funcion medible se puede aproximar por funciones
simples medibles.
Si f (x) < n, se tiene que f (x) < n + 1, luego existe i {1, . . . , n2n }
y existe j {1, . . . , (n + 1)2n+1 } tales que i1
2n
f (x) < i
2n
y j1
2n+1
j i1 j1
f (x) < 2n+1
, de donde resulta n (x) = 2n
y n+1 (x) = .
Pero de las
2n+1
Si f (x) < +, existe n0 N tal que f (x) < n0 , luego, para todo n
in 1
n0 , se tiene que n (x) = 2n
f (x) < in
2n
con in {1, . . . , n2n }. Esto
implica que |n (x) f (x)| = f (x) n (x) < 1
2n
0. En consecuencia,
n (x) f (x) (n ).
Proposici
on 1.10.1. Sean , dos funciones simples medibles y positivas,
y sea 0. Se verifica:
(a) X ( + ) d = X d + X d y X d = X d.
(b) Si , entonces X d X d.
(c) La aplicacion : E M 7 E d [0, +] es una medida positiva.
(b) Si A B entonces A f d B f d.
(c) X (f + g) d = X f d + X g d.
(d) Si 0, entonces X f d = X f d.
(e) Si o bien f 0 en A o bien (A) = 0, entonces A
f d = 0.
(f) Si (B) = 0 entonces X f d = X\B f d.
La u
ltima propiedad de la proposicion anterior nos viene a decir que
los conjuntos de medida nula son despreciables para la integracion. Ob-
servando esta propiedad, tenemos que si B M, con (B) = 0, y f :
X \ B [0, +] es medible (en el espacio de medida inducido), podra
:= X F d, donde F : X [0, +] es la funcion denida
definirse X f d
f (x) si x X \ B
como F (x) :=
0 si x B.
Asimismo, tambien debido a la u
ltima propiedad, parece importante es-
tudiar mas detenidamente los conjuntos de medida nula en relacion con la
integracion.
(2) Si A
f d < + entonces f < + ect A.
Se denotara por L1A (), o bien por L1 (A) o L1 (, A), el conjunto de las
funciones integrables sobre A respecto de .
Cuando conviene hacer explcita la variable de la funcion que se inte-
gra, se denotara la integral de la denicion anterior mediante la expresion
A
f (x) d(x) o similar. Esto sera especialmente u
til cuando tratemos con
medidas producto (ver Seccion 16).
TEOR
IA DE LA MEDIDA 27
Proposici
on 1.10.6. Se verifican las siguientes propiedades:
Si f L1A (), entonces A
|f | d = A
f + d + A
f d.
X
f d R es una forma lineal en el, y la aplicaci
on 1 : f L1 () 7
X
|f | d [0, +) es una norma.
p p
lm n d = lm n d = lm n d,
n Ei n Ei n X
i=1 i=1
como queramos demostrar. 2
(b) La aplicacion : E M 7 (E) = E
f d [0, +] es una medida
positiva.
La parte (b) del corolario anterior nos da una manera de generar medidas
a partir de una funcion medible y de otra medida. Ademas, (E) = 0 si
(E) = 0. Mas adelante (Teorema de Radon-Nikodym) veremos que tales
medidas se generan siempre as.
Demostracion. Ya que el conjunto Z := {x X : fn (x) 9 f (x)} [|fn | >
n=1
g]} es medible y (Z) = 0, podemos suponer que todos los lmites y desigual-
dades de la hipotesis son en todo x X.
Tenemos pues que f es medible y |f | g L1X (), as que X
|f | d
X
g d < +, de donde inferimos que f L1X ().
Probemos ahora que fn f en la norma 1 de L1 (), es decir,
lm |fn f | d = 0. [3]
n X
De aqu se deduce que X f d = lm X fn d (y la demostracion habra acaba-
n
do), pues | X fn d X f d| = | X (fn f ) d| X |fn f | d.
Demostremos pues [3]. En primer lugar, |fn f | |fn | + |f | 2g, luego
2g |fn f | 0. Por el Lema de Fatou,
lm (2g |fn f |) d lm inf (2g |fn f |) d.
X n n X
Demostracion. Por el lema anterior, podemos escribir X = Y An , con
n=1
f |Y = 0, {An }
n=1 una sucesi
on creciente de conjuntos medibles y (An ) <
+ para todo n N. Considerar {fn := f An }
n=1 y aplicar el Teorema
1.11.4. 2
1.12. Relaci
on con la integral de Riemann
Comentaremos ahora la importante relacion entre la integral de Rie-
mann y la de Lebesgue. Sea [a, b] R un intervalo compacto y P = P[a, b]
TEOR
IA DE LA MEDIDA 33
Por otra parte, si f L1R (m), entonces R
f dm = lm f dm. En
n [n,n]
efecto, basta aplicar a {fn := f [n,n] }
n=1 el teorema de la convergencia
( )
(X \ Pm ) = Ek (Ek ) < 1/2k = 1/2m .
k>m k>m k>m
i1
|fn(k) (x)fn(k+1) (x)| 2j1
1
, y de aqu se deduce que la sucesion {fn(k) (x)}k1
k=j
es de Cauchy uniformemente en Pm , es decir, jado > 0, existe N =
N (, m) N tal que
Sea P := Pm . Entonces (X \ Pm ) (X \ P ) = 0 y, para cada x P ,
m=1
{fn(k) (x)} es de Cauchy, luego converge a cierto valor f (x) R. Deniendo f
como 0 en X \P , resulta que f es medible. Ahora bien, para cada k, m N se
tiene sup |fn(k) (x) f (x)| = lm sup |fn(k) (x) fn(j) (x)|, y esta expresion
xPm j xPm
tiende a 0 por [4]. En consecuencia, fn(k) f uniformemente en Pm . Pero,
para cada > 0 existe un m N tal que (X \ Pm ) < . En consecuencia,
fn(k) f casi uniformemente en X. 2
sup{|(P )| : P E, P M} < +.
38 Luis Bernal Gonz
alez
(b) es finita.
(d) = + .
TEOR
IA DE LA MEDIDA 39
(
)
(A)
+
Bn = (Bn ) + (An ) ,
n=1 n=1 n=1
de donde + (A) + (An ). Para la desigualdad opuesta, se considera,
n=1
para cada > 0, un conjunto B A tal que B M y + (A) + (B).
(
)
Entonces + (A) + (B An ) = + (B An ) + + (An ).
n=1 n=1 n=1
Por tanto + (A) + (An ).
n=1
Si + (A) = +, entonces para cada M > 0 existe B M tal que B A
y (B) M , lo que implica que
(
)
M (B An ) = (B An ) + (An ),
n=1 n=1 n=1
luego + (An ) M para todo M > 0. En consecuencia, + (An ) =
n=1 n=1
+ = + (A).
Analogamente a la primera parte, se obtiene que es numerablemente
aditiva si (X) < +. Si probamos que no hay otra posibilidad, tendramos
(a) y (b).
Por reduccion al absurdo, supongamos que (X) = +. Entonces exis-
tira E1 M tal que R (E1 ) < 1. Usando la proposicion anterior y la
notacion en su demostracion obtenemos que S(E1 ) < +. Por la denicion
40 Luis Bernal Gonz
alez
Definici
on 1.14.3. Si y son dos medidas con signo denidas sobre la
misma -algebra M, se dice que es absolutamente continua respecto de ,
, cuando || ||.
(a) X = A B y A B = .
(b) (E) 0 para cada E medible con E A, mientras que (E) 0 para
cada E medible con E B.
1
+ (X) = + (Ek )++ (X\Ek ) (Ek )++ (X\Ek ) + (X) ++ (X\Ek ),
2k
e \ A) = 0 = (A \ A):
(A e se deriva de (b).
e \ B) = 0 = + (B \ B):
+ (B e se deriva de (b).
e \ A) = 0: resulta de + (A
+ (A e \ A) = + (A
e B) = (A
e B A) =
() = 0. Hemos usado (c) en la segunda igualdad.
e = (B
+ (A \ A) e \ B) = 0 = (B \ B):
e resultan, analogamente, del
apartado (c).
Definici
on 1.14.4. Si y son dos medidas con signo sobre un mismo
espacio medible (X, M), se dice que es singular respecto de o que y
son ortogonales, , cuando existen A, B M tales que A B = ,
A B = X y ||(B) = 0 = ||(A).
Demostracion. La u
ltima parte se deduce del propio proceso demostrativo.
Ademas, podemos partir de que es nita. El caso general en que es -
nita se deduce de la forma habitual, descomponiendo X = Xn con Xn
n=1
medibles y (Xn ) R para todo n, y aplicando a cada Xn el caso de nita.
Sea pues nita, y supongamos ademas que 0. Sea := sup{(E) :
E M, ||(E) = 0} < + (porque es nita). Entonces para cada k N
existe Ek M tal que ||(Ek ) = 0 y (Ek ) > k1 . Denimos ahora
B := Ek , A := X \ B, (E) := (E A) y (E) := (E B)
k=1
para cada E M. Es claro que ||(B) = 0 y que (B) = .
Se tiene entonces que y son medidas no negativas y nitas, y que
, , y = + . Por otra parte . En efecto, de no ser as,
existira E M tal que ||(E) = 0 y (E) > 0. Sea M := (E A) B.
Se verica que (M ) = (E A) + (B) = (E) + > y ||(M ) =
||(E A) + ||(B) = 0, lo cual contradice la denicion de .
44 Luis Bernal Gonz
alez
Por u
ltimo, si es una medida con signo nita, se considera la descomposi-
cion = + y se aplica a cada medida + , la construccion anterior,
de modo que + = + y = + . Denir entonces = y
= . 2
E
g d (E) E M}. Es obvio que F L1 (). Es facil probar (usan-
do induccion) que max{1 , . . . , p } F para cualquier subfamilia nita
{1 , . . . , p } F . Para cada k N, tomemos una funcion gk F tal
que gk 1 > sup{g1 : g F} 1/k.
= f d + f d + (E A)
E\A EA
= f d + (E A) (E A) (E \ A) + (E A) = (E)
E\A
Sea una medida completa sobre un espacio medible (X, M). El caso
p = 1 ya ha sido estudiado. Si 1 p < +, se designa por Lp () al conjunto
de las clases de equivalencia [con respecto a la relacion f (x) = g(x) ect
x X] de funciones medibles f tales que |f |p L1 (). Para p = +, se
dene L () como el conjunto de las clases de equivalencia de funciones
medibles esencialmente acotadas, es decir, funciones f para las que existe
alguna constante (0, +) tal que ([|f | > ]) = 0.
Se vera que, en efecto, las aplicaciones anteriores son una norma en cada
espacio Lp , L respectivamente.
p/p
Basta multiplicar ahora por f + gp .
(c) Supongamos ahora que es nita y que 1 p < q < +. Sea f L ().
Entonces f es medible y existe (0, +) tal que |f (x)| ect x X.
Entonces, ect x X, se tiene |f |q q X L1 () (lo u
ltimo porque es
nita), luego |f |q L1 (), as que f Lq () y obtenemos L Lq .
48 Luis Bernal Gonz
alez
X
|f |p
d X 1 d = f pq (X) < +, lo que implica que
f pp < +. As que f Lp (). 2
Por otra parte, en el caso p = 2 (en el que p = 2), es facil ver que la
aplicacion (f, g) L2 () L2 () 7 X f g d R es una forma bilineal
simetrica denida positiva, es decir, un producto escalar. Por tanto L2 () es
un espacio de Hilbert.
1.15.2. Aproximaci
on por funciones escalonadas
Finalmente, veremos que cada funcion de Lp () con p < + se puede
aproximar en la norma p por funciones simples medibles, que incluso
se anulan fuera de un conjunto de medida nita. Estas son las funciones
escalonadas.
X\E1
|f |p d < /3.
Usando la desigualdad de Chebyshev, obtenemos que lm ({x E1 :
k
|f (x)|p > k}) = 0. Si ahora tenemos en cuenta que la medida (A) :=
A
|f |p d cumple , resulta que existe m N tal que E2 |f |p d < /3,
donde E2 := {x E1 : |f (x)|p > m}. Denimos E := E1 \ E2 = {x E1 :
|f (x)|p m} M. Entonces X\E |f |p d < 2/3.
Aplicando el teorema de aproximacion de funciones medibles (Teorema
1.9.2), podemos encontrar una funcion g S que se anula fuera de E tal que
( ) p1
|g(x) f (x)| < 3(E) para todo x E (tener en cuenta que f es acotada
en E, luego se puede conseguir una sucesion de funciones simples medibles
que convergen uniformemente a f en E). Por u ltimo,
2
|g f |p d = |f |p d + |g f |p d < + = .
X X\E E 3 3
Esto implica que g f pp < y, en consecuencia, S es denso en Lp (). 2
1.16.1. -
algebra y medida sobre el espacio producto
Para denir una -algebra sobre X Y , parece natural exigir que
pertenezcan a ella todos los rect
angulos medibles, es decir, todos los conjuntos
E F con E A y F B. La familia E de las uniones nitas de rectangulos
medibles es un algebra (ver denicion en el Ejercicio 11) sobre X Y , pero
no es una -algebra en general. Denimos A B como la -algebra generada
por la familia de rectangulos medibles. Es claro que A B E.
Si Z es un conjunto, una clase monotona sobre Z es una familia C Z
de modo que n=1 Cn C y n=1 Dn C para cada sucesi on creciente
TEOR
IA DE LA MEDIDA 51
tiene que (Rk+l , Mk+l , mk+l ) es la complecion (ver Ejercicio 4) del espacio de
medida (Rk Rl , Mk Ml , mk ml ). De hecho, la hipotesis de completitud
de la medida se haca en la seccion 10 porque simplicaba la prueba de algu-
nas propiedades de la integral, pero no es necesaria en absoluto. Ademas, no
es difcil probar (usar, por ejemplo, aproximacion por funciones escalonadas)
que si (X, M, ) es un espacio de medida -nito, (X, M, f e) es su comple-
cion y f : X [, ], entonces f L1 (, X) si y solo si f L1 (e
, X),
y que en tal caso X f d = X f de . En particular, esto sera u
til cuando
integremos respecto de mk+l una funcion Rk+l [, ] mediante una
iteracion de integrales sobre Rk y Rl .
(a) Si f 0, las funciones (x) := Y
f (x, y) d(y) y (y) := X
f (x, y) d(x),
definidas en casi todo punto respectivamente en X e Y , son medibles
no negativas y se verifica
f d( ) = d = d .
XY X Y
Y
d. Esto completa la demostracion de (a).
Para probar (b), supongamos que f L1 ( ). Entonces se puede
aplicar (a) a f + y f , de donde se obtienen las siguientes igualdades, donde
todos los miembros son nitos:
f d( ) =
+
1 d = 1 d,
XY X Y
f d( ) = 2 d = 2 d,
XY X Y
X
|f (x, y)| d(x) pertenece a L1 (). Entonces f L1 ( ).
Ejercicios
1. Dar un ejemplo de una -algebra M tal que existan dos conjuntos
A, B M de modo que A B s sea medible.
6. (a) Para cada > 0, hallar un abierto denso G R tal que m(G) < .
58 Luis Bernal Gonz
alez
d(A, B) = P (A B) (A, B M)
con los An dos a dos disjuntos, se verica ( n=1 An ) = n=1 (An ).
Demostrar que existe una medida sobre (X, (A)) tal que |A = .
Indicacion: Defnase : P(X) [0, +] como
(A) = nf{ (An ) : A An y An A (n = 1, 2, . . . )},
n=1 n=1
(b) f no es lineal.
(c) f no es medible-Lebesgue.
18. Sea la medida de Lebesgue sobre X = [0, +), y sea, para cada
n N,
2x/n2 si x n
fn (x) :=
0 si x > n.
Es lm X fn d = X lm fn d?
n n
(d) lm 0 x
dx.
n
e x)n ]x
(e) lm 1 [1(log
x2 1 dx.
n
+
(sen x)n+1
(f) lm 0 x(x+1)
dx.
n
+ 1 ( x2 +2n )
(g) lm 0 1+x 2 log x2 +n
dx.
n
+
(h) lm nx
n+x2
enx dx.
n 0
1cos x
(a) x(1+x2 )
en (0, +).
xarctan x
(b) 1+x2
en [1, +).
62 Luis Bernal Gonz
alez
log(1+x2 )
(c) en (0, 1).
x 1x2
25. Existe una teora analoga de medidas signadas si se admite que toma
valores en [, +). No obstante, se podra plantear si podemos ad-
mitir que tome valores en la recta real extendida. Este ejercicio pre-
tende mostrar la imposibilidad de esto u
ltimo. En concreto, se pide
probar que una funcion : M [, +] denida en una -algebra
M no puede ser aditiva si existen P, Q M tales que (P ) = + y
(Q) = .
26. Sea {fk }k1 Lp () con 1 p < + tal que fk p < +. Probar
k=1
que la serie fk dene una funcion f Lp () y que f p fk p .
k=1 k=1
{
n
}
||(A) = sup |(Ek )| : A = E1 En , {E1 , . . . , En } M, n N
k=1
para cada A M.
32. (a) Sea una medida con signo. Demuestrese que + y son singu-
lares entre s, y que ambas son absolutamente continuas respecto de .
(b) Si y son medidas con signo tales que es absolutamente con-
tinua y singular respecto de , probar que = 0.
64 Luis Bernal Gonz
alez
33. Sea una medida completa sobre un espacio medible (X, M). Sea f
L1 () y consideremos la medida son signo (E) := E f d (E M).
Demostrar que ||(E) = E |f | d para cada E M.
36. Sean p [1, +), I = [0, 1] y f Lp (I). Para cada > 0 se dene
f : I R mediante f (x) = 21
(x,x+)
f dm. Pruebese que f es
continua, que f p f p para todo > 0 y que lm f f p = 0.
0
1
41. Consideremos la funcion f (x, t) := 2 2 2 t2 )
con y > 0.
1 (1 + x t
1)(1 + y
(a) Demostrar que 0 ( 0 f (x, t) dt) dx = 0 ( 0 f (x, t) dx) dt.
arctan t
(b) Demostrar que la funcion g(y, t) := t(1+y 2 t2 ) satisface
1 1
0
( 0 g(y, t) dt) dy = 0 ( 0 g(y, t) dy) dt.
(c) Combinando los resultados anteriores, deducir que
arctan t 2
0
( t ) dt = log 2.
mn si x Am , y An
f (x, y) =
0 en otro caso.
47. Sean (X, M) e (Y, N ) dos espacios medibles, y sea f : X Y una apli-
cacion medible, es decir, 1 (N ) M para cada N N . Supongamos
que es una medida sobre (X, M) y que f : Y [, ] es una
funcion medible. Denimos la aplicacion : N [0, +] mediante
()(N ) = (1 (N )).
(a) Demostrar que es una medida sobre (Y, N ). Recibe el nombre
de medida imagen de por .
(b) Probar que la funcion f es medible.
(c) Demostrar que f L1 () si y solo si f L1 (), en cuyo caso
Y
f d() = X
f d.
2.1. Introducci
on
En este captulo, estudiaremos diversos espacios de funciones analticas
u holomorfas, dotandolos de una estructura lineal y topol
ogica. Al considerar
unos como subespacios de otros, compararemos las diversas convergencias. En
concreto, efectuaremos una recapitulacion de conocimientos sobre el espacio
H(G) de las funciones holomorfas e introduciremos los espacios de Hardy H p
y los de Bergman B p del disco unidad. Algunos espacios mas se veran como
ejemplos o ejercicios.
67
68 Luis Bernal Gonz
alez
(k)
formemente en compactos de G, entonces f H(G) y ademas fn f (k)
(n ) uniformemente en compactos de G, para todo k N.
Del mismo modo, una familia F C(G) ( H(G), resp.) se dice que es
Tuc
relativamente compacta cuando F es un subconjunto compacto de C(G)
(de H(G), resp.), es decir, cuando de cada sucesion (fn ) F puede extraerse
alguna subsucesion (fnk ) tal que existe f C(G) ( H(G), resp.) de modo
que fnk f uniformemente en compactos de G.
En el espacio de las funciones continuas, la compacidad relativa esta ca-
racterizada por el teorema de Ascoli-Arzel`
a, que estableceremos tras las si-
guientes deniciones.
Definici
on 2.3.1. Se llama espacio de Bergman de G al espacio vectorial
B 2 (G) := L2 (G) H(G).
Otra notacion es L2a (G). Al ser un subespacio vectorial tanto de H(G) co-
mo de L2 (G), hereda de manera natural dos topologas: la de la convergencia
compacta y la de la convergencia cuadratica. Por supuesto, la aplicacion ,
anterior es tambien un producto escalar sobre B 2 (G). El resultado siguiente
muestra la estructura de este espacio.
En la u
ltima expresion podemos intercambiar la serie con la integral debido a
la convergencia uniforme de la serie de Taylor en cada bola cerrada contenida
en el disco de convergencia. Ademas, gracias al teorema de Fubini, podemos
2
integrar iteradamente. Observando, por u ltimo, que 0 eim d vale 2 o 0
un que m = 0 o m Z \ {0} (respectivamente), obtenemos que
seg
(K)
|ak |2 (K)2k+2
f 2 2
2
|ak |2 r2k+1 dr =
0 k=0 k=0
k+1
2.3.1. Ortonormalidad
Recordemos algunos conceptos y resultados sobre ortonormalidad.
X. Son equivalentes:
(a) {n } es total.
(b) {n } es completo.
todo n N. Ademas, si hn : Gn G es el u
nico isomorsmo dado por el
Teorema de Riemann tal que hn (z0 ) = z0 y hn (z0 ) > 0, entonces hn (z) z
(n ) compactamente en G. Luego hn 1 compactamente en G, por
el teorema de convergencia de Weierstrass.
Fijemos una funcion f B 2 (G) y un > 0. Queremos hallar un polinomio
P tal que P f 2 < 2. Denotemos por fn (n N) la funcion fn : Gn C
dada por fn (z) := f (hn (z))hn (z), y por m la medida Lebesgue bidimensional.
Por la formula del cambio de variables, tenemos que, para cada n
N, G
|fn |2
dm = hn (G)
|f |2
dm G
|f |2 dm. Por otra parte, dado un
compacto K G, fn f uniformemente en K. Luego, por el teorema de
la convergencia dominada,
lm inf |fn | dm lm inf
2
|fn | dm =
2
|f |2 dm.
n G n K K
1 ( )1/p f p
|f (w)|p dA(w) .
(1 |z|)2
B(z,1|z|) (1 |z|)2
(b) Sea K D un compacto. Entonces existe r (0, 1) tal que K B(0, r).
Del apartado (a) deducimos que sup |f | 1
(1r)2
f p . De aqu se obtiene (b).
K
(c) Es muy similar a la prueba de la parte (b) del Teorema 2.3.1. 2
Definici
on 2.4.1. Un producto de Blaschke finito es o bien una constante
unimodular o bien un producto nito puntual de transformaciones bilineales
N
zan
del tipo anterior, es decir, una funcion de la forma f (z) = ei 1an z
, con
n=1
R, N N0 y a1 , . . . , aN D.
(1 + supA |fn 1|) converge (es decir, si los productos parciales de este
n=1
convergen). La segunda parte de la proposicion es una especie de teorema de
convergencia de Weierstrass para productos innitos.
n
productos parciales Pn := fk (n N) convergen uniformemente en A a
k=1
una funcion f : A C. Esta funcion sera denotada por f = fn .
n=1
(b) Si G C es un abierto, {fn }
n=1 H(G) y fn converge normalmente
n=1
en cada compacto K G, entonces f := fn H(G). Adem
as, si z0 G,
n=1
entonces el orden del cero z0 para f coincide con la suma los ordenes de z0
para las fn , es decir, orden (z0 , f ) = orden (z0 , fn ).
n=1
|an | an z
B(z) := z k (z D)
n=1
an 1 an z
define una funcion B H(D) tal que |B(z)| < 1 para todo z D. En
particular, B H (D). Adem
as, sus ceros son exactamente los puntos an
(con la multiplicidad dada por el n
umero de veces que cada uno de ellos
aparece en la sucesion), mas el origen si k > 0.
r (0, 1), basta probar la convergencia normal en B(0, r), lo cual, de nuevo
|an | an z
por la proposicion anterior, equivale a probar que sup 1 an 1an z <
n=1 |z|<r
+. Para ello, jemos z con |z| < r y observemos que
|a | a z an + |an |z
1 n n = (1 |an |) 1 + r (1 |an |).
an 1 an z (1 an z)an 1r
Se deduce que la suma de la serie anterior es menor o igual que 1+r
1r
(1
n=1
|an |) < +, luego nuestra serie tambien converge. 2
n=1
|an | 2 0
Demostracion. Si hay un n
umero nito de ceros, no hay nada que probar. Si
umero innito, debe ser |an | 1 (por el Principio de Prolongacion
hay un n
Analtica), as que podemos suponer, con un cambio de orden y desplazamien-
ultiple con m N0 y que
to de los ndices si es preciso, que el origen es m-m
los ceros no nulos cumplen 0 < |a1 | |a2 | . Llamemos c := lm fz(z)
m
z0
C \ {0}. De acuerdo con la formula de Jensen, tomando logaritmos, tenemos
para todo r (0, 1) que
2
ln |arn | = ln(|c|rm ) + 1
2 0
ln |f (rei )| d ln(|c|rm ) + C,
|an |<r
donde C es una constante nita, debido a que f es acotada.
N
Fijemos un N N. Para cada r > |aN | tenemos que ln |arn | [primer
n=1
miembro de la expresion anterior] ln(|c|rm )+C. Haciendo r 1, resulta
N
ln |a1n | M = constante (0, +) para todo N N, lo que implica que
n=1
la serie ln |a1n | converge. Ya que es una serie de terminos positivos, del
n=1
hecho lm ln(1+t)
t
= 1 y del criterio de comparacion por paso al lmite se
t0
deduce que (1 |an |) tambien converge. 2
n=1
Por u
ltimo, versaremos sobre los espacios de Hardy sobre el disco
unidad, denotados por H p (D) o simplemente H p , donde p (0, +). Cada
espacio de Hardy de orden p se dene como el conjunto H p = {f H(D) :
( 1 2 )1/p
sup Mp (f, r) < +}, donde Mp (f, r) := 2 0
|f (rei )|p d .
0r<1
Probemos (c). Un calculo directo, usando que |f (rei )|2 = f (rei )f (rei ) =
(
)(
) (
)1/2
an rn ein ak rk eik , prueba que M2 (f, r) = |an |2 r2n . Luego
n=0 k=0 n=0
f 22 = |an | , de donde se deduce que f H si y solo si la u
2 2
ltima serie
n=0
es convergente. Por el apartado (a), H 2 es completo.
Sea ahora gn := f
Bn
. Fijado n N, lm |Bn (z)| = 1, luego |Bn (rei )|
|z|1
1 (r 1 ) uniformemente en . Por tanto f p = lm Mp (gn Bn , r) =
{ }1/p r1
2
lm 2 0 |gn (re )| |Bn (re )| d
1 i p i p
. Ahora bien, jado (0, 1), existe
r1
un r0 = r0 () (0, 1) tal que |Bn (rei )| > 1 para todo [0, 2]
alg
y todo r > r0 . Luego f p (1 ) lm Mp (gn , r) = (1 )gn p para
r1
cada (0, 1), de donde inferimos que f p gn p para todo n N.
Pero |gn | |f | en D porque |Bn | < 1 en D, luego f p = gn p para cada
n N. Ahora bien, para cada z D, |gn (z)| |g(z)|, y del teorema de la
convergencia monotona se deduce que lm Mp (gn , r) = Mp (g, r) para cada
n
r (0, 1). Pero Mp (gn , r) gn p = f p para todo n N. Esto implica que
94 Luis Bernal Gonz
alez
Recordemos la denicion de n
ucleo de Poisson del disco unidad. Es
facil vericar las igualdades que aparecen en la misma. Denotemos por T la
circunferencia unidad, es decir, T = {z C : |z| = 1}.
Definici
on 2.5.1. La funcion n
ucleo de Poisson se dene por las igualdades
+
1 r2 1 + rei
Pr () := r|n| ein = = Re (0 r < 1, R).
n=
1 + r2 2r cos 1 rei
dada por
P [](z) si z D
F (z) =
(z) si z T.
Notemos que, si C(T) y () := (eit ) dt, entonces C 1 [0, 2] (en
0
2
particular, es de variacion acotada en [0, 2]) y P [](z) = 21
0
Pr (
) d().
Generalicemos esta idea. Recordemos que una funcion : [a, b] R es
de variacion acotada cuando existe M (0, +) tal que, para toda particion
n
{t0 = a < t1 < < tn = b} de [a, b], se tiene que |(tk ) (tk1 )| M .
k=1
El conjunto de tales funciones se denota por BV [a, b], y es facil ver que es
un espacio vectorial. Recordemos algunas propiedades.
Proposici
on 2.5.4. Se verifican las siguientes propiedades:
(k = 1, . . . , N ), se tiene
N
A f (k )(g(tk ) g(tk1 )) < .
k=1
Proposici
on 2.5.5. Se verifican las siguientes propiedades:
(d) Si c (a, b) y f RSg [a, b], entonces f RSg [a, c] RSg [c, b] y
b c b
f dg = f dg + f dg.
a a c
b b
(h) Si f C[a, b] y g C 1 [a, b], entonces existe a
f dg = a
f (x)g (x) dx.
2
(c) u Arm(D) y sup 0
|u(rei )| d < +.
0r<1
Demostracion. (a) (b): Por hipotesis, existe BV [0, 2] tal que u(z) =
2
1
2 0
Pr ( ) d() para todo z = rei D. Ahora bien, existen 1 , 2 :
[0, 2] R crecientes tales que = 1 2 . Entonces u = u1 u2 , donde
2
1
uj (z) := 2 0
Pr ( ) dj () (j = 1, 2) son armonicas, y ademas son
mayores o iguales a cero ya que Pr () > 0 para todo .
2 2
1 1
= lm Pr ( t) drn (t) = Pr ( t) d(t) = P [d](z),
n 2 0 2 0
como se requera. 2
Esto conlleva que, para cada (0, 2), u(r) = A + (, r) + I(, r), donde
lm (, r) = 0 e
r1
1
1 ( () () )
I(, r) := (()A)Pr () d
= A (Pr ()) d.
2 0 2
()()
Dado > 0, escojamos (0, ) tal que 2
A para todo
(0, ). Ya que cos es decreciente en [0, ], tenemos que Pr () es decreciente
102 Luis Bernal Gonz
alez
lm f (z) = L
zei0 , zS (0 )
H (B(1, 1)), de modo que existe lm+ f (x) = L. Si (0, 1), se tiene
x0
B(1, 1) B(1, 1), luego {fn (z) := f (z/n)}
n=1 H (B(1, 1)), as
que (fn )
es una sucesion de funciones holomorfas uniformemente acotadas en B(1, 1).
Ademas, para cada x (0, 1), la sucesion {fn (x)}
n=1 converge (a L C).
Por el Teorema de Vitali, existe una funcion F H(B(1, 1)) tal que fn F
compactamente. Pero fn L puntualmente en (0, 1), as que F |(0,1) L. Por
el Principio de Prolongacion Analtica, F L en B(1, 1). Por tanto fn L
uniformemente en cada compacto de B(1, 1), en particular en
cos
K := {z : | arg z| y |z| cos } ( B(1, 1)),
2
(c) f Lp (T).
(b) f p = f p .
2 2
|f (re ) f (e )| d =
i i 2
lm |f (rei ) f (sei )|2 d
0 0 s1
2 2
2
lm inf |f (re ) f (se )| d = lm inf
i i 2 an (rn sn )ein d
s1 0 s1 0 n=0
= lm inf 2 |an | (s r ) = 2
2 n n 2
|an |2 (1 rn )2 0 (r 1 ),
s1
n=1 n=1
(luego |g| |f |), y por el Lema 2.5.11 se tiene que |B | = 1 ect . Resulta
entonces que, cuando r 1,
2 2 2 2
|f (re )| d
i p
|g(re )| d
i p
|g (e )| d =
i p
|f (ei )|p d,
0 0 0 0
2 2
luego lm sup 0
|f (rei )|p d |f (ei )|p d. Gracias al Lema de Fa-
0
r1
2 2
tou, obtenemos 0 |f (ei )|p d lm inf 0 |f (rei )|p d, lo que implica que
2 2 r1
existe lm 0 |f (rei )|p d = 0 |f (ei )|p d.
r1
: Hp 7 P [] H p
(c) H p es separable.
{ 2 }
(d) Sea f (z) = an z n H 1 , y sea cn (f ) := 1
2 0
f (ei )ein d
n=0 nZ
la sucesion de coeficientes de Fourier de la funcion de valores frontera
f . Entonces cn = 0 si n < 0 y cn = an si n 0.
C : f 7 f
ESPACIOS DE FUNCIONES ANAL
ITICAS 109
Ejercicios
1 f gKn
1. Demostrar que D(f, g) := 2n 1+f gKn
dene una metrica comple-
n=1
ta en C(G), con G C abierto y (Kn ) una sucesion exhaustiva de
D
compactos de G. Probar que fn f si y solo si fn f uniforme-
n n
mente en compactos de G, y que la topologa que dene D en C(G)
coincide con la generada por los conjuntos V (f, K, ) := {g C(G) :
|g(z) f (z)| < z K}, donde K es un subconjunto compacto de
G, f C(G) y > 0.
9. Si G C es una region m
ultiplemente conexa probar que el conjunto
de los polinomios no es denso en H(G).
{ }
|ak |2
2
10. Probar que B (D) = f (z) = ak z k H(D) : k+1
< + .
k=0 k=0
(d) (f g) = ( f ) g = f ( g) C y f, g A(D).
(e) f g f g f, g A(D).
16. Construir, para B 2 (D), una base ortonormal formada por polinomios.
2
(1 |an |) < + sup ln |f (rei )| d < +.
0r<1 0
n=1
para todo z, w D.
(c) Probar que la funcion f (z) := logp (1 z) B \ H y que la funcion
g(z) := (logp (1 z))2 H(D) \ B. Aqu logp denota el valor principal
del logaritmo.
1 ( )
26. Demostrar que H p \ H 1.
1z 0<p<1
ESPACIOS DE FUNCIONES ANAL
ITICAS 113
f p
(a) Si |z| = r < 1, entonces |f (z)| 1 .
(1r) p
30. Sea f H(D) con Re f (z) > 0 para todo z D, y sea g(z) = 1+z
1z
.
115