UNIVERSIDAD DE SEVILLA

An
alisis real y complejo.
An
alisis Funcional

M
aster Universitario en Matem
atica
Avanzada

Luis Bernal Gonzalez

Departamento de Analisis Matematico

Sevilla, febrero de 2012

Disponible en: <http://personal.us.es/lbernal/>

Indice general
1. Teora de la medida

1.1. Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2. Conjuntos medibles y medidas positivas . . . . . . . . . . . . .

1.3. Medidas exteriores . . . . . . . . . . . . . . . . . . . . . . . .

1.4. Procedimiento de Caratheodory . . . . . . . . . . . . . . . . .

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

Luis Bernal Gonz

alez

1.15.1. La norma en el espacio Lp . . . . . . . . . . . . . . . . 46

1.15.2. Aproximacion por funciones escalonadas . . . . . . . . 48
1.16. Medidas producto . . . . . . . . . . . . . . . . . . . . . . . . . 50
1.16.1. -algebra y medida sobre el espacio producto . . . . . 50
1.16.2. Teoremas de Fubini y de Tonelli . . . . . . . . . . . . . 54
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
2. Espacios de funciones analticas

67

2.1. Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
2.2. Funciones holomorfas . . . . . . . . . . . . . . . . . . . . . . . 67
2.2.1. Topologa compacta-abierta . . . . . . . . . . . . . . . 69
2.3. Espacios de Bergman . . . . . . . . . . . . . . . . . . . . . . . 73
2.3.1. Ortonormalidad . . . . . . . . . . . . . . . . . . . . . . 76
2.3.2. Espacios de Bergman de regiones acotadas . . . . . . . 77
2.3.3. Funciones subarmonicas . . . . . . . . . . . . . . . . . 81
2.3.4. Operador de composicion . . . . . . . . . . . . . . . . . 83
2.4. Funciones analticas acotadas . . . . . . . . . . . . . . . . . . 85
2.4.1. Productos de Blaschke . . . . . . . . . . . . . . . . . . 86
2.4.2. Teorema de factorizacion de Riesz . . . . . . . . . . . . 88
2.5. Espacios de Hardy . . . . . . . . . . . . . . . . . . . . . . . . 90
2.5.1. Estructura de las funciones de H p . . . . . . . . . . . . 93
2.5.2. Integrales de Poisson-Stieltjes . . . . . . . . . . . . . . 95
2.5.3. Existencia de lmites radiales

. . . . . . . . . . . . . . 100

2.5.4. Espacio de las funciones de valores frontera . . . . . . . 107

Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
Bibliografa

115

Captulo 1
Teora de la medida
1.1.

Introducci
on

El concepto de medida es una abstraccion de las nociones de longitud,

area y volumen, de indiscutible utilidad en Matematicas, Fsica y otras ramas
de la Ciencia. Sabemos calcular las longitudes, areas y vol
umenes de ciertas
guras geometricas, por ejemplo, el area bajo una curva plana, el volumen
encerrado por una supercie, etc. Estos calculos condujeron al concepto de
integral en el sentido de Riemann.
Precisamente, el intento de medir conjuntos arbitrarios de puntos de la
recta real R tiene su origen en la dependencia entre la integrabilidad en el
sentido de Riemann y la continuidad. Se saba que una funcion era Riemannintegrable si no tena muchas discontinuidades. Esto conduca a buscar la
denicion de una medida para el conjunto de puntos de discontinuidad de
una funcion, de manera que la condicion de integrabilidad pudiera expresarse
en terminos de tal medida.
A nales del siglo XIX, se llevaron a cabo varios intentos de establecer
una denicion satisfactoria de medida de un conjunto en RN , que coincidiese

Luis Bernal Gonz

alez

en los casos elementales con la longitud, area y volumen de un conjunto

(si N = 1, 2, 3 respectivamente). El intento fue debido fundamentalmente a
STOLZ, HARNACK, CANTOR, PEANO, JORDAN Y BOREL.

Fue LEBESGUE, quien, a principios del siglo XX, dio una denicion adecuada 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 mucho 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.

El objeto de este tema es dar unas nociones y resultados sobre la teora
abstracta de la medida e integracion. No todas las demostraciones seran
dadas, aunque se esbozaran las de los resultados mas interesantes. Esto se
hara tambien en el Captulo 2.

TEOR
IA DE LA MEDIDA

1.2.

Conjuntos medibles y medidas positivas

Comenzaremos destacando el tipo de familias de subconjuntos de un

conjunto dado a los que se les puede aplicar una medida. Se parte de un
conjunto X = . Se denota por P(X) la familia de todos los subconjuntos
de X.
Si M P(X), diremos que M es una -algebra sobre X cuando verica
las tres propiedades siguientes:
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

Al par (X, M) se le llama espacio medible, y a los elementos de M,

conjuntos medibles. Obtenemos facilmente las siguientes consecuencias:
M.
Si An M para todo n N, entonces

An M.

n=1

Si An M para todo n {1, . . . , N }, entonces

N

An M y

n=1

An M.

n=1

Si A, B M, entonces A \ B M.
Como ejemplos triviales, se tiene que {, X} y P(X) son -algebras sobre
X. Es facil ver que si {Mi }iI es una familia de -algebras sobre X, entonces

su interseccion
Mi es tambien una -algebra sobre X.
iI

Si N P(X), se llama -algebra generada por N , denotada (N ), a la

interseccion de todas las -algebras M sobre X tal que N M. Por tanto,
(N ) es la menor -algebra que contiene a N .

Luis Bernal Gonz

alez

Ejemplo. Si (X, T ) es un espacio topologico, la -algebra de Borel de (X, T )

es B = (T ). Sus elementos se llaman conjuntos de Borel, o simplemente
borelianos. Por tanto, los abiertos, los cerrados, los F y los G (recordemos
que un subconjunto de un espacio topologico se dice que es un F si es
union numerable de cerrados, y que es un G si es interseccion numerable
de abiertos) son borelianos. En particular, los intervalos de todos los tipos
son borelianos de R.
Sea (X, M) un espacio medible. Por denicion, una medida positiva, o
simplemente una medida, sobre (X, M) es una aplicacion : M [0, +]
tal que:
1. () = 0.
2. La aplicacion es numerablemente aditiva, es decir, si {An }n1 M

)
(
An =
y An Am = para todo par m, n con m = n, entonces

n=1

(An ).

n=1

A la terna (X, M, ) se la llama espacio de medida.

La denominacion de los siguientes casos especiales es aplicable tanto a
como a (X, M, ):
Si (X) < +, se dice finita. Si (X) = 1, es una probabilidad.
Si {An }
n=1 M es tal que (An ) < + para todo n N y X =

An , se dice -finita.
n=1

Si [A M, B A y (A) = 0] implica que B M, entonces se dice

que es completa.
Si S M, entonces MS := {A M : A S} es una -algebra sobre
S y |MS es una medida sobre (S, MS ). A la terna (S, MS , |MS ) se le
llama espacio de medida inducido.

TEOR
IA DE LA MEDIDA

Ejemplo. Sea X un conjunto y consideremos la aplicacion : P(X)

[0, +] dada por (A) = card(A) si A es nito, y (A) = + si A es
innito. Entonces es una medida positiva. Ademas, es nita si y solo si
X es nito, y es -nita si y solo si X es numerable. Diremos que es la
medida cardinal sobre X.
En la siguiente proposicion se re
unen algunas propiedades operacionales
basicas de las medidas.
Proposici
on 1.2.1. Sea (X, M, ) un espacio de medida. Se verifica:
1. es finitamente aditiva, es decir, si A1 , . . . , An M son dos a dos
N
N
)
(
(An ).
An =
disjuntos, entonces
n=1

n=1

2. es monotona, es decir, si A, B M y A B, entonces (A)

(B).
3. Si A, B M con A B y (A) < + entonces (B \ A) = (B)
(A).

)
(
(An ).
4. Si {An }
An
n=1 M, entonces
n=1

n=1

5. Si {An }
n=1 M es creciente, es decir, si An An+1 para todo n N,

)
(
An .
entonces lm (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

Damos ahora unas deniciones y establecemos algunos convenios, que en

parte han podido ya haber sido usados implcitamente. Se dene la recta real
completa, R, como R = R{+, } = [, +], y se le dota de un orden
estricto, <, que extiende el orden de R, de modo que < x < + para
todo x R. Las operaciones de suma y producto se extienden parcialmente:

Luis Bernal Gonz

alez

(+) + (+) = +, () + () = , a + (+) = + = (+) + a,

a + () = = () + a para todo a R; a () = = () a
(resp.) para todo a > 0, y analogamente con el correspondiente cambio de
signo para los n
umeros a < 0. Ademas, 0 () = 0, pero este convenio se
emplea solo en teora de la medida, ya que en general esa operacion es una
indeterminacion.

1.3.

Medidas exteriores

Un concepto proximo al de medida positiva es el siguiente. Se llama

medida exterior sobre un conjunto X a una aplicacion : P(X) [0, +]
nula sobre el conjunto vaco, monotona y numerablemente subaditiva, es
decir:
1. () = 0.
2. A B (A) (B).

3. {An }
n=1 P(X)

(
n=1

)
(An ).
An
n=1

Un ejemplo importante es el de medida exterior de Lebesgue, que recordaremos a continuacion. A partir de ella se construira la medida de Lebesgue,
generalizacion adecuada del volumen N -dimensional.
Sean a = (a1 , . . . , aN ) y b = (b1 , . . . , bN ) dos puntos de RN tales que
aj bj para todo j {1, . . . , N }. El conjunto I = [a1 , b1 ] [aN , bN ] se
denomina N -rectangulo cerrado o N -intervalo cerrado. Su volumen se dene
N

como vol(I) =
(bj aj ). Si aj = bj para alg
un j, diremos que I es un
j=1

rectangulo degenerado. Es evidente que I es degenerado vol(I) = 0. Se

dice que dos rectangulos I, J no se superponen cuando I J = , donde por
A denotamos el interior de un subconjunto A de RN . Si I 1 , . . . , I p son N p

rectangulos que no se superponen, y J es un rectangulo tal que J =

I k,
k=1

TEOR
IA DE LA MEDIDA

se dice que {I 1 , . . . , I p } es una partici

on de J. Una particion de J se dice
simple cuando proviene de una particion de cada uno de sus lados.
Proposici
on 1.3.1. Si P = {I 1 , . . . , I p } es una partici
on de un N -rect
angulo
p

J, entonces vol(J) =
vol(I k ).
k=1

La prueba es elemental si P es simple. Si P es una particion arbitraria,

se obtiene de ella una particion simple por prolongaciones de los lados de los
elementos de P, y a cada uno de estos se le aplica el caso anterior. Como
p

consecuencia, si J, I 1 , . . . , I p son N -rectangulos tales que J

I k , entonces
vol(J)

k=1
k

vol(I ).

k=1

Si A RN , la medida exterior de Lebesgue de A se dene como

}
{

Ik .
vol(I k ) : I k son N-rectangulos cerrados tales que A
m (A) = nf
k=1

k=1

Usando las observaciones anteriores, es posible probar que m : P(RN )

[0, +] es en efecto una medida exterior sobre RN . Puede probarse que no
es numerablemente aditiva, luego no es una medida: en efecto, para N = 1,
basta considerar la igualdad [0, 1] = V ([0, 1] \ V ), donde V es el llamado
conjunto de Vitali, que se denira mas adelante.
Otra propiedad de m es que si I es un N -rectangulo abierto, cerrado,
donde por A entendemos la
cerrado-abierto, etc, entonces m (I) = vol (I),
clausura de un subconjunto A de RN .

1.4.

Procedimiento de Carath
eodory

El siguiente resultado general muestra el as denominado procedimiento

de Caratheodory para generar una medida positiva a partir de una medida
exterior.

10

Luis Bernal Gonz

alez

Teorema 1.4.1. Sea una medida exterior sobre un conjunto X. Consideremos la familia
M = {M X : (A) = (A M ) + (A \ M ) A X}
Entonces M es una -algebra sobre X y := |M es una medida completa
sobre M.
La familia M denida anteriormente se denomina la -algebra de los
conjuntos medibles-Caratheodory relativos a la medida exterior .
Demostracion del teorema. Ya que () = 0, se tiene que M. Ya que la
denicion de M es simetrica para M y M c resulta que M c M si M M.
En particular, X M.
Sean ahora M, N M, y sea A X. Tenemos:
(A) = (A M ) + (A M c )
= (A M N ) + (A M N c ) + (A M c N ) + (A M c N c ).
Como M, N M, resulta que
(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 ),
de donde obtenemos que
(A) = (A (M N )) + (A (M N )c ),
luego M N M. Por tanto, M N = (M c N c )c M y M \N = M N c
M. Resulta tambien, por induccion, que M1 . . . Mp y M1 . . . Mp estan
en M si M1 , . . . , Mp M.

TEOR
IA DE LA MEDIDA

11

Asimismo, se prueba facilmente por induccion que

(A) =

(A Mj ) + A

p
(

j=1

Mj

)c )

[1]

j=1

para todo A X y todo sistema de elementos M1 , . . . , Mp de M dos a dos

disjuntos.
Sean ahora Mn M con n N. Para probar que

Mn M, pode-

n=1

mos suponer que los Mn son dos a dos disjuntos (basta sustituir la sucesion
M1 , M2 , M3 , . . . por la sucesion M1 , M2 \ M1 , M3 \ (M1 M2 ), . . . , cuya union

es tambien
Mn ). Por [1], si A X, resulta que, para todo n N,
n=1

(A) =

(A Mj ) + A

n
(

j=1

Mj

)c )

j=1

(
(
)c )
(A Mj ) + A
Mj ,

j=1

j=1

lo que implica que

(A)

(A Mj ) + A

j=1

Mj

)c )

j=1

Mj

))

+ A

j=1

Mj

)c )

(A),

j=1

donde hemos usado dos veces la subaditividad. Por tanto,

(A) = A

Mj

))

j=1

de donde deducimos que

+ A

Mj

)c )

para todo A X,

j=1

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

(
n=1

Mn =

(Mn ) + () =

n=1

(Mn ).

n=1

Resta probar que es completa: esto resulta de que si M X y (M ) =

0, entonces M M. A su vez, esto es evidente porque si A X, entonces
A M M , luego (A M ) = 0, as que (A) (A \ M ) + 0 por
sub-aditividad, mientras que (A) (A \ M ) por monotona.

1.5.

Medida de Lebesgue

La -algebra de los conjuntos medibles-Lebesgue MN (en RN ) es, por

denicion, la -algebra de los conjuntos medibles-Caratheodory generada por
la medida exterior de Lebesgue m . La medida de Lebesgue es, por denicion,
la medida m : MN [0, +] dada por m := m |MN . Observemos las
siguientes propiedades de la medida de Lebesgue:
m es completa y -nita: En efecto, m se elabora mediante un proce
(
)

[n, n]N , con m [n, n]N =

dimiento de Caratheodory, y RN =
(2n)N < + para todo n N.

n=1

MN BN := la -algebra de Borel de RN . En efecto, cada rectangulo

cerrado pertenece a MN . Ahora bien, cada abierto es union numerable
de rectangulos, luego cada abierto esta en MN . Como BN es la menor
-algebra que contiene a cada abierto, BN MN . En particular, todos
los cerrados, F , G , etc, estan en MN .
m es invariante por traslaciones y homogenea de grado N , es decir, para
todo RN , todo c R y todo A MN se tiene m( + A) = m(A)
y m(cA) = |c|N m(A). La prueba se basa en que la propiedad es cierta

TEOR
IA DE LA MEDIDA

13

para m , lo cual, a su vez, se obtiene de la denicion de m y de

que la propiedad es valida para rectangulos. Hemos usado la notacion
+ A = { + x : x A}, cA = {cx : x A}.
Denotemos por (A) la cardinalidad de un conjunto A, y por la cardinalidad
del continuo, es decir, = (R). Puede probarse que (BN ) = . Ya que
existen en R conjuntos medibles no numerables de medida de Lebesgue nula
(por ejemplo, el conjunto de Cantor), y ya que m es completa, se deduce que
(MN ) (P(RN )) > , es decir, hay muchos mas medibles-Lebesgue que
borelianos en RN .
El siguiente resultado caracteriza los conjuntos medibles-Lebesgue.
Teorema 1.5.1. Sea A RN . Son equivalentes:
(a) A MN .
(b) Para cada > 0 existe un subconjunto abierto G RN tal que A G
y m (G \ A) < .
(c) A = H \ B, donde H es un G y m (B) = 0.
(d) Para cada > 0 existe un subconjunto cerrado F RN tal que F A
y m (A \ F ) < .
(e) A = K C, donde K es un F y m (C) = 0.
Demostracion. (a) (b): Partimos de que A MN . Supongamos que
m(A) < +. Por la denicion de m , existe una sucesion de rectangulos

In y m(A) + 2 >
vol(In ). Estirando
cerrados {In }
n=1 tal que A
n=1

n=1

levemente los lados de cada uno de los rectangulos In , podemos obtener una
sucesion de rectangulos abiertos Jn (n N) tales que Jn In y m (Jn ) <
vol(In ) +

.
2n+1

14

Luis Bernal Gonz

alez

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

Si fuese m(A) = +, existira una sucesion {Aj }

j=1 MN tal que

m(Aj ) < + para todo j y A =

Aj . Fijado > 0, existe para cada
j=1

j N un abierto Gj tal que Aj Gj y m(Gj \ Aj ) < 2j . Sea ahora, por

(Gj \ Aj ),
denicion, G :=
Gj . Entonces G es abierto, A G y G \ A
j=1

luego m (G \ A) = m(G \ A)

m(Gj \ Aj ) <

j=1

j=1

j=1

2j

= .

elegimos un abierto Gj con A Gj tal que

m (Gj \ A) < 1/j. Llamemos H :=

Gj . Entonces H es un G , H A
(b) (c): Para =

1
,
j

j=1

y m (H \ A) m (Gj \ A) < 1/j para todo j N. Por tanto, si llamamos

B := H \ A, resulta que m (B) = 0 y A = H \ B.
(a) (d): Como RN \ A MN y ya se tena [(a) (b)], conseguimos
que dado > 0 podemos encontrar un abierto G tal que RN \ A G y
m(G \ (RN \ A)) < . En consecuencia, si denimos F := RN \ G, resulta que
F es cerrado, F A y m (A \ F ) = m(A \ F ) = m(G \ (RN \ A)) < .
(c) (a): Tenemos por hipotesis que A = H \ B, con H un G [luego
H MN ] y m (B) = 0 [luego B MN ], as que A MN .
(e) (a): Similar a la implicacion anterior.
(d) (e): Similar a la implicacion [(b) (c)].

Como ejemplo de conjunto que no es medible-Lebesgue, tenemos el conjunto de Vitali, que describiremos a continuacion.
En el intervalo [0, 1], denimos la relacion de equivalencia:
x y x y Q.

TEOR
IA DE LA MEDIDA

15

Sea V un conjunto que va a ser nuestro conjunto de Vitali formado eligiendo

un elemento en cada clase de equivalencia. Sea {rn }
on de
n=1 una enumeraci
los n
umeros racionales de [1, 1] (de modo que la aplicacion n N 7 rn
Q [1, 1] es biyectiva), y llamemos Vn := rn + V (usamos la notacion
a + S = {a + x : x S}). Veamos que Vn Vm = si n = m: en efecto, si
x Vn Vm , entonces existen , V tales que x = rn + = rm +. Por tanto
= rn rm Q, as que , lo que implica que = y, por tanto

rn = rm . Luego n = m, lo que es una contradiccion. Ademas, [0, 1]

Vn .
n=1

En efecto, si x [0, 1], debe estar en alguna clase de equivalencia, luego existe
V tal que x . Por tanto x Q [1, 1], as que existe n N
tal que x = rn , de donde deducimos que x = + rn rn + V = Vn .

Vn [1, 2]. Si V fuese medible, Vn tambien lo

En consecuencia, [0, 1]
n=1

sera y m(Vn ) = m(V ), luego 1

m(V ) 3. Entonces m(V ) > 0 de la

n=1

primera desigualdad, mientras que de la segunda se obtiene que m(V ) = 0, lo

que provoca contradiccion. Por tanto V
/ M1 , como queramos demostrar.

1.6.

Medidas absolutamente continuas

A veces nos encontramos con dos medidas sobre una misma -algebra,
que estan relacionadas de forma que una es peque
na cuando lo es la otra.
Esto motiva el siguiente concepto. Si (X, M) es un espacio medible y ,
son dos medidas sobre el, decimos que es -continua o absolutamente
continua respecto de , y lo denotaremos como , cuando para cada
> 0 podemos encontrar un > 0 de modo que
[A M y (A) < (A) < ].
Mas adelante se vera que la integracion genera, de manera natural, medidas
absolutamente continuas. Por el momento, damos una caracterizacion parcial.

16

Luis Bernal Gonz

alez

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

Demostracion. : Evidente, incluso sin la hipotesis de que sea nita.

: Por reduccion al absurdo, supongamos que se verica la condicion
encerrada entre corchetes, pero tambien que existe 0 > 0 con la propiedad
de que, para cada > 0 existe A M tal que (A ) < y (A ) 0 .
En particular, para cada n N existe An M tal que (An ) < 1/2n y

(An ) 0 . Sea A := lm sup An =

Ak M. Entonces (A) = 0 (se
n

n=1 k=n

ha aplicado el Lema de Borel-Cantelli, vease Ejercicio 10) pero, para cada

(
)
n, se tiene
Ak 0 , luego, ya que es nita y la sucesion de los
Bn :=

k=n

Ak es decreciente, resulta por la Proposicion 1.2.1 que (A) =

k=n

lm (Bn ) 0 > 0, lo que contradice la hipotesis.

1.7.

Medida de LebesgueStieltjes

Estudiemos ahora la medida de LebesgueStieltjes. Esta tiene su punto

de partida en la consideracion de una distribucion de masa positiva sobre R.
Tal distribucion puede representarse mediante una funcion : R R tal que
(x) designe la masa del intervalo (, x]. Entonces es creciente y continua
a la derecha. Si en un punto x0 hay localizada una masa positiva, no es
continua a la izquierda en x0 . La masa de cada intervalo (a, b] es (b) (a),
y en cada punto x0 se dene por (x0 ) (x
0 ). Estas consideraciones nos
llevan a la construccion dada en la siguiente proposicion, cuya prueba se
omite por basarse solo en las deniciones.

TEOR
IA DE LA MEDIDA

17

Proposici
on 1.7.1. Sea : R R creciente y continua a la derecha.
Entonces la aplicaci
on
A P(R) 7

m (A)

:= nf

((bk ) (ak )) : A

k=1

}
(ak , bk ] [0, +]

k=1

es una medida exterior en R.

La medida m que se obtiene a partir de m mediante el procedimiento de
Caratheodory se llama medida de LebesgueStieltjes asociada a . Si = Id,
obtenemos la medida de Lebesgue. Resulta que la -algebra sobre la que
m esta denida contiene al conjunto de los borelianos (por contener a los
conjuntos (a, b], luego tambien contiene a los abiertos), pero no coincide en
general con M1 .

1.8.

Funciones simples

Antes de considerar funciones medibles, nos sera u

til tratar las funciones
simples con vistas a la integracion.
Notaciones conjuntistas como [f ], [f ], [f = ], [f = g] y
as sucesivamente, donde f, g : X [, +] y [, +], signican {x X : f (x) }, {x X : f (x) }, {x X : f (x) = } y
{x X : f (x) = g(x)}, respectivamente.
Recordemos que si X es un conjunto y A X, la funci
oncaracterstica de
1 si x A
A se dene como la funcion A : X R dada por A (x) =
.
0 si x A
Algunas propiedades elementales son las siguientes, validas para todos los
subconjuntos A, B X :
0 y X 1.
A B = AB .

18

Luis Bernal Gonz

alez

[A = 1] = A y [A = 0] = X \ A.
X\A = 1 A .
Definici
on 1.8.1. Diremos que una funcion : X R es simple cuando
(X) es un conjunto nito.
Es facil ver que las funciones simples constituyen un espacio vectorial, y
que una funcion : X R es simple si y solo si existen a1 , . . . , ap R y exisp

ten A1 , . . . , Ap X tales que =

ai Ai . Por supuesto, la representacion
p

i=1

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

1.9.

Funciones medibles

Procedemos seguidamente a denir la clase de funciones sobre las cuales

tiene sentido la integracion respecto de una medida. Pero antes es conveniente
detallar la topologa que vamos a considerar en [, +]. A saber, una base
de entornos de cada punto R es {( , + ) : > 0}. Una base de
entornos de + es {(c, +] : c R}, y una base de entornos de
es {[, c) : c R}. Por tanto, los abiertos de R son tambien abiertos de
[, +]. Esto no es valido para los cerrados, ya que por ejemplo, R es un
cerrado en R pero no lo es en [, +].
Definici
on 1.9.1. Sea (X, M) un espacio medible y f : X [, +]
una funcion. Se dice que f es medible cuando f 1 (G) M para cualquier
subconjunto abierto G de [, +].
Se prueba sin dicultad que f es medible [f < a] M para todo
a R [f a] M para todo a R [f > a] M para todo a R
[f a] M para todo a R.

TEOR
IA DE LA MEDIDA

19

En particular, supongamos que X MN (recordemos que MN denota la

familia de los conjuntos medibles-Lebesgue de RN ) y que sobre X tenemos
el espacio medible inducido M := {A X : A MN }. Resulta que, si
f : X [, +] es continua, entonces f es medible.
En el siguiente teorema se enumeran algunas propiedades de las funciones
medibles. Recordemos que f + y f denotan, respectivamente, la parte positiva y la parte negativa de una funcion real f , es decir, f + = max{f, 0} y
f = max{f, 0}.
Teorema 1.9.1. Sea (X, M) un espacio medible y sean f, g : X [, +]
un par de funciones. Se verifica:
1. Si f es constante, entonces f es medible.
2. Si f y g son medibles, los conjuntos [f < g], [f g] y [f = g] son
medibles.
3. Si f es medible y S M, entonces la restricci
on f |S : (S, MS )
[, +] es medible.
4. Si X =

An con An M para todo n N y cada f |An es medible,

n=1

entonces f es medible.
5. Si f y g son medibles, tambien lo son max{f, g}, mn{f, g}, f + , f ,
f 2 , 1/f y |f |.
6. Si fn : X [, +] (n N) es una sucesi
on de funciones medibles, entonces las funciones sup fn , nf fn , lm sup fn y lm inf fn son
n1

n1

medibles.
7. Si f, g : X R son medibles y R, entonces f + g, f y f g son
medibles. Es decir, con las operaciones usuales de funciones, la familia
de las funciones medibles reales es un algebra.

20

Luis Bernal Gonz

alez

8. Si f es simple, se tiene: f es medible [f = a] M para todo a R

f es una combinaci
on lineal finita de funciones caractersticas de
conjuntos medibles.
9. Supongamos que las funciones fn : X [, +] (n N) son medibles. Sea A := {x X : lm fn (x)}. Denotemos por f la funcion
n

f : x A 7 lm fn (x) [, +]. Entonces A M y f es medible.

n

Demostracion. Se dara solo una idea. Usar que f = f + f y |f | = f + + f ,

y que f + = f {x : f (x)>0} y f = f {x : f (x)<0} . Utilizar tambien que

[f < g] =
([f < q] [q < g]). Observar asimismo que f g = (1/2)((f +
qQ

g)2 f 2 g 2 ). Ademas, si f = sup fn , entonces [f a] =

[fn a]. Por
n1

nN

u
ltimo, lm sup fn = nf sup fk y lm inf fn = sup nf fk , y existe lm fn (x) si
n

n kn

kn

y solo si lm sup fn (x) = lm inf fn (x).

n

Veamos ahora que cada funcion medible se puede aproximar por funciones
simples medibles.
Teorema 1.9.2. (a) Sea (X, M) un espacio medible y f : X [0, +]
medible. Entonces existe una sucesi
on creciente {n }
n=1 de funciones simples
medibles no negativas tales que lm n (x) = f (x) para todo x X.
n

(b) Sea (X, M) un espacio medible y f : X [, +] medible. Entonces existe una sucesion {n }
n=1 de funciones simples medibles tales que
lm n (x) = f (x) para todo x X. Si f es acotada, la convergencia puede

conseguirse uniforme.
Demostracion. Supuesto probado (a), la parte (b) es inmediata. En efecto:
f = f + f con f + , f : X [0, +] medibles. Entonces existen n , n
(n N) simples y medibles de X en [0, +] tales que n (x) f + (x) y
on de
n (x) f (x) para todo x X. Luego {n n }
n=1 es una sucesi
funciones simples y medibles tales que n (x) n (x) f (x) (n ) para

TEOR
IA DE LA MEDIDA

21

todo x X. La parte de la convergencia uniforme se deduce de la prueba de

(a), donde se vera la misma propiedad en el caso de f 0 con f acotada.
Basta observar que si f : X R es acotada, entonces f = f + f con f +
y f acotadas.
Probemos (a). Sea f 0 y medible. Entonces los conjuntos En,i :=
, i )) (1 i n2n , n N) y Fn := f 1 ([n, +]) (n N) son
f 1 ([ i1
2n 2n
medibles, al serlo f . Se deduce que, para cada n N, la funcion
n2

i1
n

n :=

i=1

2n

En,i + nFn

es no negativa, simple y medible.

Fijemos ahora n N, y x X. Tenemos:
Si f (x) n, entonces n (x) = n f (x).
Si f (x) < n, entonces existe i {1, 2, . . . , n2n } tal que
luego n (x) =

i1
2n

i1
2n

f (x) <

i
,
2n

f (x).

En ambos casos obtenemos que n (x) f (x). Probemos ahora que

{n (x)}n1 es creciente para cada x X.
Si f (x) n + 1 entonces n (x) = n n + 1 = n+1 (x).
Si n f (x) < n + 1 entonces n (x) = n y n+1 (x) =
i {1, . . . , (n + 1)2n+1 } es tal que
n <

i
,
2n+1

i1
2n+1

f (x) <

i1
,
2n+1

i
.
2n+1

donde

Por tanto

luego n2n+1 < i. Se deduce que n2n+1 i 1, as que

n (x) = n

i1
2n+1

= n+1 (x).

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

j
2n+1

as que 2(i 1) j 1,

f (x) <

i
2n

j1
.
2n+1

j1
2n+1

i1
y n+1 (x) =
Pero de las
2n
j
obtenemos que i1
< 2n+1 , luego 2(i 1) < j,
2n
2j1
y por tanto n (x) = i1
n+1 = n+1 (x).
2n

, de donde resulta n (x) =

desigualdades anteriores

i1
2n

22

Luis Bernal Gonz

alez

En todos los casos obtenemos que n (x) n+1 (x).

Por u
ltimo, probemos que lm n (x) = f (x) para todo x X.
n

Si f (x) = +, entonces n (x) = n para todo n N, de donde

lm n (x) = f (x).

Si f (x) < +, existe n0 N tal que f (x) < n0 , luego, para todo n
n0 , se tiene que n (x) =

in 1
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 ).
Notemos nalmente que, si f es acotada, el n0 obtenido anteriormente no
depende de x, con lo que tendramos que, para todo n n0 , sup |n (x)
f (x)|

1
2n

1.10.

0, de donde obtenemos la convergencia uniforme.

xX

Integral de una funci

on

El concepto de integral de una funcion sobre un espacio de medida es

la extension del concepto de integral de Riemann, el cual a su vez abstrae la
idea de area denida por la graca de una funcion. Comencemos deniendo
la integral de funciones medibles no negativas.

1.10.1.

Integral de funciones medibles no negativas

En primer lugar, denimos el concepto para las funciones simples.

Definici
on 1.10.1. Supongamos que (X, M, ) es un espacio de medida, y
que : X [0, +) es una funcion no negativa, simple y medible, digamos
N

=
ai Ai con ai 0 y Ai M, i {1, . . . , N }. La integral de sobre
i=1

X respecto de se dene como

d :=
ai (Ai ).
X

i=1

TEOR
IA DE LA MEDIDA

23

Si E M, la integral de sobre E respecto de se dene como

E d =

d =
E

ai (Ai E).

i=1

Notemos que estas deniciones tienen sentido y son independientes de la

expresion de . Las propiedades establecidas en la siguiente proposicion son
de facil demostracion.
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.

Inspirados en el teorema de aproximacion de funciones medibles, parece
natural dar la siguiente denicion para funciones no negativas.
Definici
on 1.10.2. Supongamos que (X, M, ) es un espacio de medida y
que f : X [0, +] es una funcion medible. Se dene la integral de f sobre
X respecto de como
}
{

f d = sup
d : simple y medible con 0 f .
X

Si E M, la integral de f sobre E se dene como

Observemos que

f d =

f E d.

f d [0, +] y que la denicion de integral es

coherente con el caso en que f sea simple y medible. Veamos ahora algunas
propiedades elementales.
Proposici
on 1.10.2. Sean f, g : X [0, +] medibles y A, B M, donde
se supone que (X, M, ) es un espacio de medida. Se verifican las siguientes
propiedades:
(a) Si f g en X, entonces

f d
X

g d.

24

Luis Bernal Gonz

alez

(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

(f) Si (B) = 0 entonces X f d = X\B f d.

1.10.2.

f d = 0.

Conjuntos de medida nula

La u
ltima propiedad de la proposicion anterior nos viene a decir que
los conjuntos de medida nula son despreciables para la integracion. Observando esta propiedad, tenemos que si B M, con (B) = 0, y f :
X \ B [0, +] es medible (en el espacio de medida inducido), podra

definirse X f d
:= X F d, donde F : X [0, +] es la funcion denida
f (x) si x X \ B
como F (x) :=
0
si
x B.
Asimismo, tambien debido a la u
ltima propiedad, parece importante estudiar mas detenidamente los conjuntos de medida nula en relacion con la
integracion.
Definici
on 1.10.3. Sea (X, M, ) un espacio de medida completo y P ()
una propiedad denida sobre los elementos de X. Si A M, se dice que P
se verifica en casi todo A (ect A) cuando el conjunto N := {x A : P (x) no
se verica} M y (N ) = 0.
Por ejemplo, la expresion f = g ect X signica que {x X : f (x) =
g(x)} es medible y que su medida es nula. En tal caso se dice que f y g son
-equivalentes.
El siguiente resultado muestra que la medibilidad de una funcion se
mantiene por equivalencia y por convergencia ect.

TEOR
IA DE LA MEDIDA

25

Proposici
on 1.10.3. Supongamos que (X, M, ) es un espacio de medida
completo.
(a) Si f, g : X [, +] son tales que f es medible y f = g ect,
entonces g es tambien medible.
(b) Si fn , f : X [, +] (n N) son tales que cada fn es medible y
lm fn (x) = f (x) ect X, entonces f es medible.

Demostracion. (a) Llamemos N := {x X : f (x) = g(x)}. Hemos de

probar que, dado a R, el conjunto A := {x X : g(x) < a} M.
Tenemos A = (A N ) (A N c ) M, ya que A N M porque es
completa, y como N c M y A N c = {x X : f (x) < a} N c , se tiene
tambien que A N c es medible.
(b) Llamemos N = {x X : fn (x) 9 f (x)}. Entonces N M y (N ) = 0.
Denotemos g(x) := lm sup fn (x). Sabemos que g es medible. Por otra parte,
n

el conjunto {x X : g(x) = f (x)} esta contenido en N y (N ) = 0. Como

es completa, el conjunto [g = f ] es medible de medida nula, y por tanto
g = f ect. De (a) se deduce que f es medible.

El siguiente resultado auxiliar es interesante por s mismo y tendra importantes consecuencias.

Lema 1.10.4. [Desigualdad de Chebyshev] Si a (0, +) y f : X
[0, +] es medible, entonces
1
([f a])
a

f d.
X

Demostracion. Vericar que a [f a] f e integrar.

Corolario 1.10.5. Sean f : X [0, +] una funcion medible y A M.

Se tiene:
(1) Si

f d = 0, entonces f = 0 ect A.

26

Luis Bernal Gonz

alez

(2) Si

f d < + entonces f < + ect A.

Demostracion. (1) El conjunto N := {x A : f (x) = 0} es medible. Hemos

de probar que (N ) = 0. Notemos que N = {x A : f (x) > 0} =

{x
n=1

A : f (x) n1 }. Por reduccion al absurdo, si fuese (N ) > 0, existira alg

un
m N tal que ({x A : f (x) m1 }) > 0. Por la desigualdad de Chebyshev,

se tiene 0 < m A f d. Por tanto A f d > 0, lo cual es una contradiccion.

(2) Hemos de probar esta vez que el conjunto medible N := {x A : f (x) =

+} cumple (N ) = 0. Ahora bien, N =

{x A : f (x) n}. Por
n=1

la desigualdad de Chebyshev, ({x A : f (x) n}) n1 A f d 0

(n ). Entonces, ya que cada conjunto {x A : f (x) n} tiene medida
nita y la interseccion anterior es decreciente, se obtiene de la Proposicion
1.2.1 que (N ) = lm ({x A : f (x) n}) = 0.
n

1.10.3.

Funciones integrables

Consideramos ahora el caso de una funcion medible general.

Definici
on 1.10.4. Consideremos un espacio de medida completo (X, M, ).
Sean f : X [, +] medible y A M. Se dice que f es integrable sobre

A cuando ambas integrales A f + d y A f d son nitas o, equivalente

mente, cuando A |f | d < +. En tal caso, se dene la integral de f en A

como el n
umero real A f d := A f + d A f d.
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 integra, se denotara la integral de la denicion anterior mediante la expresion

f (x) d(x) o similar. Esto sera especialmente u

til cuando tratemos con
A
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

|f | d =
A

f + d +
A

f d.

Si f L1A (), entonces f es finita ect A.

Si f es medible y |f | g en A con g L1A (), entonces f L1A ().
En particular, las funciones medibles y acotadas son integrables en conjuntos de medida finita, y las funciones continuas de RN en R son
Lebesgue-integrables en cada subconjunto compacto de RN .
Si f = 0 ect A o si (A) = 0, entonces

f d = 0. En consecuencia,

si f y g son funciones medibles -equivalentes, entonces A f d =

g d.
A
A

L1A () es un espacio vectorial. Especficamente, si f, g L1A () y

R, entonces f + g y f L1A (), y ademas A (f + g) d = A f d +

g
d
y
f
d
=

f d.
A
A
A
Si f y g son integrables y f g ect A, entonces

f d
A

g d.



Si f L1A (), entonces  A f d A |f | d.
Si f L1X () y

f d = 0 para todo B M, entonces f = 0 ect X.

Se denotara por L1 () la familia de las funciones f : X [, +]

integrables en X, donde se identican dos funciones f, g cuando son -equivalentes; as que, estrictamente hablando, L1 () consta de clases de equivalencia
[es facil probar que la relacion f = g ect X es de equivalencia en L1X ()].
Por otra parte, f , f + g tienen sentido para f, g L1 () y R, pues f y
g son nitas ect X.
La proposicion anterior, junto con la desigualdad |f + g| |f | + |g|,
permiten establecer el siguiente teorema.

28

Luis Bernal Gonz

alez

Teorema 1.10.7. L1 () es un espacio vectorial, la aplicaci

on f L1 () 7

f d R es una forma lineal en el, y la aplicaci

on 1 : f L1 () 7
X

|f | d [0, +) es una norma.

X

1.11.

Teoremas de convergencia

Existen varios teoremas de convergencia cuyo objetivo es intercambiar

las operaciones de lmite e integracion.
Teorema 1.11.1. [Teorema de convergencia monotona de B. Levi]
Sea (X, M, ) un espacio de medida completo y fn : X [, +] (n N)
una sucesion de funciones medibles tales que fn (x) fn+1 (x) para todo n N
ect x X. Llamemos f := lm fn = sup fn , definida ect X. Se tiene:
n

nN

(a) Si fn 0 para todo n N, entonces lm

n X

(b) Si fn L1 () para todo n N y sup

n1

L1 () y lm X fn d = X f d.

fn d =

f d.

fn d < +, entonces f

Demostracion. En cuanto a (b), basta aplicar (a) a la sucesion {fn f1 } y

a su lmite f f1 .
Probemos (a). Sea L := {x X : lm fn (x) [0, +]}. Entonces L y
n

X \ L son medibles y (X \ L) = 0 y f esta denida en L, es medible y no

negativa. Como (X \ L) = 0, podemos suponer que fn f puntualmente

en todo X, ya que X f d = L f d [deniendo f por ejemplo como 0 en

X \ L] y lo mismo para las fn . Hemos de probar que lm X fn d = X f d.

n

Como fn fn+1 , la sucesion { X fn d}n=1 es tambien creciente, luego su

lmite siempre existe y es igual al sup X fn d. Como fn sup fj = f , la

nN

desigualdad es evidente.
Probemos : Fijado n N, existe una sucesion {n,m }
m=1 de funciones
simples y medibles tales que 0 n,m fn (x) para todo x X y todo

TEOR
IA DE LA MEDIDA

29

n N. Entonces es facil ver que n := max{1,n , . . . , n,n } es una sucesion

de funciones simples medibles no negativas tales que n (x) f (x) y n (x)
fn (x) para todo x X y todo n N.

Por tanto, X n (x) d X fn d para todo n N, luego es suciente

demostrar que X f d lm X n d, para lo cual, a su vez, basta jar una

n

funcion simple medible con 0 f y probar que

d lm
n d.
n

[2]

Probemos primero la desigualdad [2] en el caso en que que c = constante

[0, +). Si c = 0, es trivial. Si c > 0, jemos a (0, c). Ya que f =
sup n , resulta que para cada x X, existe n0 N tal que n (x) > a para
nN

todo n n0 . Sea An := [n > a]. Entonces la sucesion {An }

n=1 es creciente

An . Por tanto (An ) (X). Por otra parte, a An n ,

y X =
n=1

luego a (An ) X n d, de donde deducimos que a(X) lm X n d,

n

as que X d = c(X) lm X n d, que es la desigualdad [2] en este

n

caso.
En el caso general, se tiene que =
dos a dos disjuntos con X =

ci Ei con ci [0, +) y Ei M

i=1

Ei . Aplicamos entonces el resultado a cada

i=1

funcion ci Ei y obtenemos:

p
p

d =
ci Ei d =
d
X

i=1

i=1

lm

n d = lm
Ei

i=1
p

i=1

Ei

Ei

n d = lm

n d,
X

como queramos demostrar.

Corolario 1.11.2. Sean f, fn : X [0, +] (n N) funciones medibles

definidas en un espacio de medida completo (X, M, ). Se verifica:

(a) X
fn d =
f d.
X n
n=1

n=1

30

Luis Bernal Gonz

alez

(b) La aplicacion : E M 7 (E) =

f d [0, +] es una medida

positiva.
Demostracion. (a) Aplicar el teorema de la convergencia monotona a la
n

fi (n N).
sucesion {gn }
dada
por
g
:=
n
n=1
i=1

(b) Aplicar el apartado (a) a las funciones fn := f An (n N), donde los

2

An son conjuntos medibles disjuntos.

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.
Teorema 1.11.3. [Lema de Fatou] Sea fn : X [0, +] (n N) una
sucesion de funciones medibles definidas en un espacio de medida completo
(X, M, ). Entonces

lm inf fn d lm inf

fn d.
X

Demostracion. Denimos gk := nf{fk , fk+1 , . . .} para cada k N. Entonces

cada gk es medible y no negativa, la sucesion {gk }k1 es creciente, lm gk =
k

lm inf fn y gk fk para todo k N. Del teorema de la convergencia

n

monotona se deduce que lm X gk d = X lm gk d = X lm inf fn d. Por

n
k
k

otra parte, lm X gn d = lm inf X gn d lm inf X fn d, pues gn fn .

n

De aqu deducimos el resultado.

A continuacion, establecemos el que quizas sea el resultado mas importante de intercambio de las operaciones de lmite e integracion.
Teorema 1.11.4. [Teorema de Lebesgue de la convergencia dominada]
Sea (X, M, ) un espacio de medida completo, y sean f, fn : X [, +]
(n N) y g : X [0, +] funciones tales que cada fn es medible, |fn |

TEOR
IA DE LA MEDIDA

31

g ect X (n N), g L1X () y f (x) = lm fn (x) ect x X. Entonces

n

f L1X () y fn f en 1 . En particular,

f d = lm
fn d.
n

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 desigualdades de la hipotesis son en todo x X.
Tenemos pues que f es medible y |f | g L1X (), as que

|f | d

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

[3]

De aqu se deduce que X f d = lm X fn d (y la demostracion habra acaban

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

Si usamos ahora la linealidad de la integral y el hecho de que lm inf (n ) =

n

lm sup(n ) (valido para cualquier sucesion {n }n1 de n

umeros reales),
n

resulta que lm sup X |fn f | d 0. Pero lm inf X |fn f | d 0, porque

n
n

|fn f | 0 para todo n N, luego X |fn f | d 0 para todo n N. De

las dos u
ltimas desigualdades sobre lm sup, lm inf se deduce [3].
n

Como consecuencia, obtenemos el siguiente resultado de intercambio de

series con integrales.
Teorema 1.11.5. Sea (X, M, ) un espacio de medida completo y sea {fn }
n=1

1
LX () una sucesion tal que
fn 1 < +. Entonces
fn (x) converge
n=1

n=1

32

Luis Bernal Gonz

alez

absolutamente en casi todo x X a cierto valor real S(x), la funcion S es

integrable y

S d =
X

n=1

fn d.

Demostracion. Aplicar el Corolario 1.11.2(a) a las funciones |fn |, despues el

Corolario 1.10.5(2) a la funcion

on el teorema de
n=1 |fn |, y a continuaci
la convergencia dominada a la sucesion de sumas parciales de la sucesion
{fn }n1 .

Del teorema de la convergencia dominada podemos tambien deducir que la

integral de una funcion integrable esta casi toda concentrada en un conjunto
de medida nita. Antes necesitamos un lema.
Lema 1.11.6. Si (X, M, ) es un espacio de medida completo y f L1 (X),
entonces f es nula fuera de un conjunto -finito.

Demostracion. Observar que [f = 0] =

n=1 [|f | 1/n]. Por la desigualdad

de Chebyshev, ([|f | 1/n]) n X |f | d < +.


Proposici
on 1.11.7. Sean (X, M, ) un espacio de medida completo, > 0

y f L1X (). Entonces existe A M tal que (A) < + y  X f d


 < .
f
d
A
Demostracion. Por el lema anterior, podemos escribir X = Y

An , con

n=1

f |Y = 0, {An }
on creciente de conjuntos medibles y (An ) <
n=1 una sucesi
+ para todo n N. Considerar {fn := f An }
n=1 y aplicar el Teorema
2

1.11.4.

1.12.

Relaci
on con la integral de Riemann

Comentaremos ahora la importante relacion entre la integral de Riemann y la de Lebesgue. Sea [a, b] R un intervalo compacto y P = P[a, b]

TEOR
IA DE LA MEDIDA

33

el conjunto de las particiones P = {a = t0 < t1 < < tn = b} de [a, b].

Si f : [a, b] R es una funcion acotada y P es una particion como la anterior, se denen la suma superior de Riemann y la suma inferior de Riemann
n

de f relativas a P como los n

umeros U (f, P ) =
sup f (tk tk1 ) y
L(f, P ) =

k=1 [tk1 ,tk ]

nf f (tk tk1 ), respectivamente.

k=1 [tk1 ,tk ]

Definici
on 1.12.1. Sea f : [a, b] R una funcion acotada. Se dene la integral superior de Darboux de f sobre [a, b] como el valor I(f ) = nf{U (f, P ) :
P P}. Se dene la integral inferior de Darboux de f sobre [a, b] como el
valor I(f ) = sup{L(f, P ) : P P}.
Es evidente que se tiene I(f ) I(f ) para cada f acotada.
Definici
on 1.12.2. Se dice que una funcion f : [a, b] R es Riemannintegrable en [a, b], y escribiremos f R[a, b], cuando f es acotada e I(f ) =
b
I(f ). En tal caso, al valor com
un a f (x) dx := I(f ) = I(f ) se le denomina
integral de Riemann de f en [a, b].
Denotemos por C[a, b] el espacio de las funciones continuas en [a, b] con
valores en R. Recordemos que C[a, b] R[a, b]. Ademas, se verica la as llamada condicion de integrabilidad de Riemann: Sea f : [a, b] R. Entonces
f R[a, b] [f es acotada y, para cada > 0, existe P P tal que
U (f, P ) L(f, P ) < ].
Usando el teorema de la convergencia dominada de Lebesgue, puede probarse el siguiente criterio de Lebesgue de Riemann-integrabilidad.
Teorema 1.12.1. Sea f : [a, b] R, y denotemos D(f ) := {x [a, b] : f es
discontinua en x}. Entonces f R[a, b] f es acotada y m(D(f )) = 0.
b

En tal caso, f L1[a,b] (m) y a f (x) dx = [a,b] f dm.

Ejemplo. El recproco de la segunda parte del teorema es falso, por ejemplo,
f Q esta en L1[0,1] (m) pero no en R[0, 1].

34

Luis Bernal Gonz

alez

Por otra parte, si f L1R (m), entonces

f dm = lm
R

n [n,n]

f dm. En

efecto, basta aplicar a {fn := f [n,n] }

n=1 el teorema de la convergencia
dominada. Si ademas f R[a, b] para cada intervalo [a, b] R, se tendra que

n
f dm = lm n f (x) dx. Por tanto, en muchos casos, las integrales de
R
n

Lebesgue se pueden calcular usando primitivas.

1.13.

Completitud de L1()

Nuestro proximo objetivo es demostrar la completitud del espacio normado L1 (), es decir, demostrar que L1 () es un espacio de Banach. Para
ello necesitamos algunos conceptos.
Definici
on 1.13.1. Sea fn : X R (n N) una sucesion de funciones
medibles denidas en un espacio de medida (X, M, ).
(a) Se dice que {fn } converge a f casi uniformemente en X cuando, para
cada > 0 existe M = M () M tal que (X \ M ) < y fn f
uniformemente en M .
(b) Diremos que {fn } converge a f en medida, con f medible, cuando para
cada > 0 se tiene que lm ({x X : |fn (x) f (x)| > }) = 0.
n

(c) Se dice que {fn } es de Cauchy en medida cuando, para cada > 0 y cada
> 0, existe N = N (, ) N tal que ({x X : |fi (x) fj (x)| > }) <
para todo i, j N .
No es difcil comprobar que si fn f casi uniformemente, entonces fn
f ect X (luego f es medible) y fn f en medida, y esto u
ltimo implica que
la sucesion {fn } es de Cauchy en medida. Pero que {fn } es de Cauchy en
medida no implica la convergencia puntual en casi todo a ninguna funcion.
No obstante, tenemos la siguiente proposicion.

TEOR
IA DE LA MEDIDA

35

Proposici
on 1.13.1. Sea fn : X R (n N) una sucesi
on de Cauchy en
medida. Entonces existen una funcion medible f : X R y una subsucesi
on
{fn(k) }
k=1 de {fn } tales que fn(k) f (k ) casi uniformemente.
Demostracion. Ya que (fn ) es de Cauchy, resulta que, para cada k N,
podemos encontrar un n(k) N tal que ({x X : |fi (x) fj (x)| >
1
2k

1
})
2k

<

para todo i, j n(k). Podemos suponer que {n(k)} es estrictamente

creciente. Denimos Ek := {x X : |fn(k) (x) fn(k+1) (x)| >

1
}
2k

para cada

k N. Entonces (Ek ) < 21k . Para cada m N, se dene tambien el conjunto

Pm = X \
Ek . Tenemos que
k>m

)
(
1/2k = 1/2m .
(Ek ) <
Ek
(X \ Pm ) =
k>m

k>m

k>m

Si x Pm entonces, para i > j m, resulta que |fn(i) (x) fn(j) (x)|

i1

1
|fn(k) (x)fn(k+1) (x)| 2j1
, 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
|fn(i) (x) fn(j) (x)| .

sup

[4]

xPm , i,jN

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.

Teorema 1.13.2. Sea (X, M, ) un espacio de medida completo. Entonces

el espacio L1 () es de Banach.

36

Luis Bernal Gonz

alez

Demostracion. Supongamos que {fn }n1 L1 () es una sucesion de Cauchy

en la norma 1 . Se ha de probar que existe f L1 () tal que fn f en
1 .
Probemos primero que {fn } es de Cauchy en medida. Si no lo fuese,
existiran , > 0 tales que para cada n existen i, j n con (Ei,j ) ,

donde Ei,j := {x X : |fi (x) fj (x)| > }. Entonces fi fj 1 = X |fi

fj | d Ei,j |fi fj | d , luego {fn } no sera de Cauchy en 1 .

Esta contradiccion muestra que {fn } es de Cauchy en medida. Entonces,
por la proposicion anterior, existen una funcion medible f : X R y una
subsucesion {fn(k) } {fn } tales que fn(k) f ect X.
Puesto que |fn(k) (x)| |f (x)| ect x X, se obtiene, utilizando el Lema
de Fatou, que

|f | d lm inf fn(k) 1 < +,

n

porque la sucesion {fn } esta acotada en 1 , ya que es de Cauchy en 1 .

Por tanto, f L1 ().
Fijado h N, resulta lm |fn(k) fn(h) | = |f fn(h) | ect X y, otra vez
k

por el Lema de Fatou, obtenemos

f fn(h) 1 lm inf fn(k) fn(h) 1 .

k

Ya que {fn(k) } es tambien de Cauchy en 1 , se deduce que, dado > 0,

existe h0 N tal que fn(k) fn(h) 1 < para todo k, h h0 . De lo anterior
se inere que f fn(h) 1 para todo h h0 , luego fn(k) f en 1 y
{fk } es de Cauchy en 1 . Ahora bien, en cualquier espacio metrico, si una
sucesion de Cauchy tiene alguna subsucesion convergente, la propia sucesion
es convergente. En consecuencia, fk f en 1 .

TEOR
IA DE LA MEDIDA

1.14.

37

Medidas signadas

Otro instrumento u
til en la Teora de la Medida, que surge de manera
natural cuando se considera la diferencia de dos medidas positivas, es
el de las medidas con signo.
Definici
on 1.14.1. Sea (X, M) un espacio medible. Se llama medida con
signo, o bien medida signada, sobre (X, M) a una aplicacion : M
(, +] numerablemente aditiva tal que () = 0. La terna (X, M, )
se llama espacio de medida con signo. La medida se dice que es finita si
(X) R, y se dice que es -finita cuando existe {An }
n=1 M tal que

An y (An ) R para todo n N.

X=
n=1

Por ejemplo, si es una medida positiva y f L1 (), entonces la apli

cacion : A M 7 A f d R es una medida con signo nita.
Una medida signada no tiene por que ser monotona, pero de la aditividad nita se deduce que, si A, B M con A B y (B) < +, entonces
(A) < +. Por ello a una medida signada nita se la llama tambien medida
real. Se llama medida compleja sobre (X, M) a una aplicacion : M C
numerablemente aditiva tal que () = 0. Es facil ver que es una medida
compleja si y solo si existen dos medidas reales 1 y 2 tales que = 1 +i2 .
Podra suceder que un conjunto de medida nita tuviese subconjuntos con
medida de valor absoluto arbitrariamente grande. La siguiente proposicion
prueba que, sin embargo, esto no es as. La notacion A = B C signica que
A, B y C son conjuntos tales que A = B C y B C = .
Proposici
on 1.14.1. Sea (X, M, ) un espacio de medida con signo y E
M tal que (E) < +. Entonces
sup{|(P )| : P E, P M} < +.

38

Luis Bernal Gonz

alez

Demostracion. Para cada A M, llamaremos S(A) := sup{|(P )| : P

A, P M}. Hemos de probar que S(E) < +.
Por reduccion al absurdo, supongamos que S(E) = +. Entonces existe
P M tal que P E y 1 + |(E)| |(P )| < +. Por tanto |(E \ P )| =
|(E) (P )| 1. De esta forma, obtenemos: E = P (E \ P ), (P ) R,
(E \ P ) R y |(P )| 1 |(E \ P )|. Ya que E = P (E \ P ), uno de
estos dos subconjuntos, sea T1 (= P o E \P ) cumple S(T1 ) = +. Aplicando
a T1 el mismo razonamiento anterior, obtenemos un conjunto T2 M tal que
T2 T1 , + > |(T2 )| 2 y S(T2 ) = +. Por induccion, conseguimos una
sucesion de conjuntos {Tk }
k=1 M tales que Tk+1 Tk , S(Tk ) = + >

(Tn \ Tn+1 ) M.
|(Tk )| k para todo k N. Llamemos A :=
n=1







Resulta que |(A)| =  [(Tn ) (Tn+1 )] =  lm [(T1 ) (Tn )] =
+ ya que

{(Tn )}
n=1

n=1

no esta acotada. Hemos obtenido una contradiccion

porque A E y (E) < +.

A una medida signada se le puede asociar de manera natural un par de

medidas positivas, a saber, + := parte positiva de y := parte negativa
de , denidas, para cada A M, como + (A) = sup{(P ) : P A, P
M} y (A) = nf{(P ) : P A, P M}. Esto se expresa en el
siguiente teorema de descomposicion de una medida con signo.
Teorema 1.14.2. [Teorema de descomposicion de Jordan]
Sea (X, M, ) un espacio de medida con signo. Se verifica:
(a) + y son medidas positivas.
(b) es finita.
(c) Si es finita (-finita) entonces + es finita (-finita, resp.).
(d) = + .

TEOR
IA DE LA MEDIDA

39

Demostracion. De ser () = 0 se deduce que + () = 0 = () y que

+ , 0. De la proposicion anterior, se obtiene (c).
Probemos la aditividad numerable de + . Sean An M (n N) dos a

dos disjuntos, y sea A :=

An .
n=1
+

Si (A) < +, entonces + (An ) < + para todo n y, jado > 0,

existe una sucesion {Bn }n1 M tal que Bn An y (Bn ) + (An ) 2n

para todo n. Como A

Bn , resulta que
n=1

(
)
(A)
Bn =
(Bn )
+ (An ) ,
+

n=1

de donde + (A)

n=1

n=1

+ (An ). Para la desigualdad opuesta, se considera,

n=1

para cada > 0, un conjunto B A tal que B M y + (A) + (B).

)
(

+ (An ).
(B An ) +
(B An ) = +
Entonces + (A) +
Por tanto + (A)

n=1

n=1

n=1

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

luego

n=1

n=1

n=1

+ (An ) M para todo M > 0. En consecuencia,

+ = + (A).

+ (An ) =

n=1

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

de , resulta que (X \ E1 ) = +, luego existe E2 M tal que R

(E2 ) < 1 y E2 X \ E1 ( E1 E2 = ). Por induccion, tenemos que
existen En (n N) medibles disjuntos tales que (En ) < 1 para todo

(
)
n N. Se deduce que
En =
(En ) = , lo que es absurdo.
n=1

n=1

Queda probar (d). De lo anterior se deduce que + (E) (E) esta

bien denido para todo E M. Se trata ahora de demostrar que (E) =
+ (E) (E), lo cual es evidente si (E) = +. Si (E) < +, tambien
+ (E), (E) < + por la proposicion anterior. Sea P M tal que P E.
Se verica (P ) = (E)(E \P ) y (E) (E \P ) + (E), de donde
se obtiene que (P ) (E)+ (E) y (P ) (E)+ (E). Por denicion
de + y , resulta que (E) (E) + (E) y + (E) (E) + (E).
En consecuencia, (E) = + (E) (E), como se quera demostrar.

on total de
Definici
on 1.14.2. Si es una medida signada, se llama variaci
a la medida positiva || := + + .
Es claro que || es nita o -nita si lo es. Se puede probar que, para
cada medida signada y cada A M, se verica
||(A) = sup

n
{

}
|(Ek )| : A = E1 En , {E1 , . . . , En } M, n N .

k=1

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 || ||.
Por tanto, de la Proposicion 1.6.1 obtenemos que si es nita, entonces
[A M y ||(A) = 0 ||(A) = 0].
Puede demostrarse que, si es una medida con signo, entonces + ,
son las menores medidas positivas tales que = + . Por otra parte, es
obvio que una medida signada es una medida positiva = 0
= + || = .

TEOR
IA DE LA MEDIDA

41

Probemos ahora que cuando es -nita el espacio base puede descomponerse en dos espacios medibles tales que los subconjuntos medibles de uno
tienen medida positiva o nula, mientras que los del otro tienen medida negativa o nula. Recordemos que la diferencia simetrica de dos conjuntos A y B
se dene como el conjunto A B = (A \ B) (B \ A).
Teorema 1.14.3. [Teorema de descomposicion de Hahn]
Sea (X, M, ) un espacio de medida -finita con signo. Entonces existen A
y B medibles tales que:
(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.
(c) + (E) = (E A) y (E) = (E B) para cada E M.
e B
e satisfacen (a),(b),(c),
(d) A y B son esencialmente u
nicos, es decir, si A,
e = 0 = ||(B B).
e
entonces ||(A A)
Demostracion. Supongamos primero que (X) R. Entonces + (X) < +,
+
k
luego existe una sucesion {Ek }
para
k=1 M tales que (Ek ) (X)2

todo k N. Por tanto

+ (X) = + (Ek )++ (X\Ek ) (Ek )++ (X\Ek ) + (X)

1
++ (X\Ek ),
2k

de donde + (X \ Ek ) 2k para todo k N.

Se verica tambien + (Ek ) (Ek ) = (Ek ) + (X) 2k , luego
(Ek ) 2k + + (Ek ) + (X) 2k . Llamemos
A := lm inf En =
n

n1 kn

Ek y B := X \ A = lm sup Enc =
n

Entonces (A) = 0 = + (B), de donde resultan (a) y (b).

n1 kn

Ekc .

42

Luis Bernal Gonz

alez

Sea ahora E M. Si P M y P E, se deduce de (a),(b) y la aditividad

de que (E B) (P ) (E A). En efecto, ya que (P B) 0
y ((E \ P ) A) 0 [por (b)], resulta (P ) = (P A) + (P B)
(E A) ((E \ P ) A) (E A), y obtenemos la desigualdad derecha.
La desigualdad izquierda es analoga. De aqu, junto con la denicion de + y
y el hecho de que + y obtenemos (c). En efecto, tenemos
que + (E) = sup{(P ) : P ME } (E A), y + (E) + (E A)
(E A), luego + (E) = (E A). De analoga forma se probara la igualdad
(E) = (E B).
ey B
e son medibles tales que (a), (b) y (c) se
Supongamos ahora que A
cumplen. Hemos de probar:
e \ A) = 0 = (A \ A):
e se deriva de (b).
(A
e \ B) = 0 = + (B \ B):
e se deriva de (b).
+ (B
e \ A) = 0: resulta de + (A
e \ A) = + (A
e B) = (A
e B A) =
+ (A
() = 0. Hemos usado (c) en la segunda igualdad.
e = (B
e \ B) = 0 = (B \ B):
e resultan, analogamente, del
+ (A \ A)
apartado (c).
Por tanto tenemos (d).
Finalmente, cuando es -nita, existen conjuntos Xn M (n N) dos

Xn . A cada Xn
a dos disjuntos tales que (Xn ) R para todo n y X =
n=1

aplicamos el resultado anterior y obtenemos una descomposicion en An , Bn .

Basta tomar ahora A :=

An y B :=
Bn .
2
n=1

1.14.1.

n=1

Medidas ortogonales

Presentamos ahora un concepto que es, en cierto modo, opuesto al de

continuidad absoluta.

TEOR
IA DE LA MEDIDA

43

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).
Es facil probar que es una relacion simetrica. El siguiente teorema
muestra que cada medida con signo -nita puede descomponerse en suma
de otras dos, que son respectivamente absolutamente continua y singular
respecto a otra dada.
Teorema 1.14.4. [Teorema de descomposicion de Lebesgue]
Sean y dos medidas con signo definidas sobre un mismo espacio medible
(X, M), de modo que es -finita. Entonces existen dos medidas con signo
, sobre (X, M) tales que , , y = + . Si ademas
es positiva, entonces y pueden tomarse positivas.
Demostracion. La u
ltima parte se deduce del propio proceso demostrativo.
Ademas, podemos partir de que es nita. El caso general en que es

Xn con Xn
nita se deduce de la forma habitual, descomponiendo X =
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 descomposicion = + y se aplica a cada medida + , la construccion anterior,
de modo que + = + y = + . Denir entonces = y
= .

De la Proposicion 1.6.1 y del Corolario 1.11.2 se deduce que si es una

medida positiva y completa sobre un espacio de medida (X, M), y f L1 (),

entonces la expresion (E) := E f d (E M) dene una medida signada

nita tal que . Para probarlo, aplquese el Corolario 1.11.2(b) a f + y

f , y probar que ||(E) = E |f | d para todo E M.

1.14.2.

Teorema de Radon-Nikodym

Parece natural ahora plantear el problema inverso, es decir, si cualquier

medida absolutamente continua respecto de otra se genera a partir de esta
por integracion. Para ser mas preciso:
Si , existe f L1 () tal que (E) =

f d para todo E M?

El siguiente resultado fundamental muestra que la respuesta es armativa.

Teorema 1.14.5. [Teorema de Radon-Nikodym] Sea (X, M, ) un espacio
de medida completo y -finito, con positiva, y sea una medida finita
con signo sobre (X, M) tal que . Entonces existe una u
nica funcion

f L1 () tal que (E) = E f d para cada E M.

Nota. De la prueba se deducira que f 0 si 0. A la funcion f se la
denomina funcion de densidad de respecto de , o tambien la derivada de
Radon-Nikodym de respecto de . Se denota f = d/d.
Demostracion del teorema. La unicidad se deduce de la Proposicion 1.10.6.

Probemos la existencia. Considerando = + y X =

Xk con los Xk
k=1

medibles y dos a dos disjuntos tales que (Xk ) < + para todo k, podemos
partir de que y son nitas y positivas.

TEOR
IA DE LA MEDIDA

45

Consideremos la familia F = {funciones medibles g : X [0, +] :

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.
Sea f := lm fk , donde fk := max{g1 , . . . , gk }. Notar que la sucesion
k

{fk } es creciente. Del teorema de la convergencia monotona se deduce que

f F. Ademas, puesto que f 1 fk 1 gk 1 para todo k, resulta que
f 1 = sup{g1 : g F}.
Para cada E M, sabemos que (E)

f d. Supongamos, por re-

duccion al absurdo, que no se da la igualdad. Entonces existiran > 0 y

P M tales que (P ) P f d > (P ). Por tanto, la funcion denida

en M mediante (E) = (E) E f d (E) es una medida con signo

tal que (P ) > 0. Por el Teorema de Hahn (Teorema 1.14.3), existe A M
tal que (A) > 0 y todos los subconjuntos medibles de A tienen -medida
no negativa, luego debe ser (A) > 0, pues si fuera (A) = 0, tambien sera
(A) = 0 (luego (A) = 0: contradiccion) ya que .
Se considera ahora la funcion F := f + A . Ya que (E A) 0 para

todo E M y E\A f d (E \ A) (pues f F), resulta:

F d =
E

f d +
E\A

f d + (E A)

f d +
E\A

(f + A ) d
EA

EA

f d + (E A) (E A) (E \ A) + (E A) = (E)

=
E\A

para todo E M, lo que implica que F F. Pero F 1 = f 1 + (A) >

sup{g1 : g F}, lo que nos lleva a contradiccion.

46

Luis Bernal Gonz

alez

1.15.

Espacios Lp()

Estudiaremos en esta seccion los espacios Lp () de funciones integrables

de orden p. Es probable que el estudiante conozca estos espacios de cursos
mas elementales, al menos en el caso = m = la medida de Lebesgue.
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.

1.15.1.

La norma en el espacio Lp

Es facil ver que Lp () es un espacio vectorial. En efecto, para p =

es inmediato, mientras que para 1 p < + basta usar que |f + g|p
2p (|f |p + |g|p ).
Definici
on 1.15.1. Si f Lp () con 1 p < +, se dene la norma de
(
)1/p
1/p
f como f p := |f |p 1 = X |f |p d
, mientras que si f L (), se
dene su norma como f := nf{ > 0 : ([|f | > ]) = 0}.
Se vera que, en efecto, las aplicaciones anteriores son una norma en cada
espacio Lp , L respectivamente.
En el intervalo [1, +] denimos una importante relacion simetrica. A
saber, se dice que dos n
umeros p, p [1, +] son conjugados si

1
p

1
p

= 1.

En el resultado que viene a continuacion, establecemos la desigualdad

triangular para cada Lp (), as como diversas relaciones entre distintos espacios Lp ().

TEOR
IA DE LA MEDIDA

Teorema 1.15.1.

47

(a) [Desigualdad de Holder] Si p y p son conjugados,

f Lp () y g Lp (), entonces f g L1 () y f g1 f p gp .
(b) [Desigualdad de Minkowski] Si p [1, +] y f, g Lp (), entonces
f + gp f p + gp .
(c) Si es finita y 1 p < q < +, entonces L () Lq () Lp ().
Demostracion. (a) El caso p = 1, p = + se prueba facilmente. Sea pues
p (1, +), as que p (1, +). Usando derivacion, observamos que, para
cada s (0, 1), la funcion v : t (1, +) 7 ts st + s 1 R cumple
v(t) 0 para todo t > 1. Haciendo s =
1
p

que a b

1
p

a
p

b
p

1
p

yt=

a
b

(a > b > 0) obtenemos

para todo a, b 0 [el caso b = 0 es trivial]. Aplicar

ahora esta desigualdad a los n

umeros a =

|f (x)|p
,b
f pp

|g(x)|p

gpp

, que son nitos

ect x X [de nuevo, el caso f p = 0 o gp = 0 es trivial]. Se tiene que f g

es medible, e integrando y teniendo en cuenta que 1/p + 1/p = 1, obtenemos
lo deseado.
(b) Los casos p = 1 y p = + se obtienen facilmente. Si p (1, +), se
puede suponer en primer lugar que f, g 0 [ya que |f + g|p (|f | + |g|)p y
F p = |F |p ] y que f + gp = 0 [el caso f + gp = 0 es trivial].
Denotemos h := (f + g)p1 . Si p es el conjugado de p, obtenemos que

hpp = f + gpp y que X (f + g)p d = X f h d + X gh d. Aplicando la

desigualdad de Holder a f h y a gh, resulta
p

f + gpp (f p + gp )f + gpp .
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

En cuanto a la segunda contencion, jemos f Lq (). Entonces f es medible, y se ha de demostrar que f pp < +. Denotemos := q/p (1, +),

y sea su conjugado. Por la desigualdad de Holder, f pp = X |f |p 1 d

(
) 1 ( ) 1
1
p
|f
|
d
X 1 d = f pq (X) < +, lo que implica que
X
f pp < +. As que f Lp ().

De la desigualdad de Minkowski se deduce facilmente que p es una

norma sobre Lp (). Ahora, usando tecnicas parecidas a las de la demostracion
del Teorema 1.13.2, podemos probar la generalizacion de este a los espacios
Lp (). La prueba se omite.
Teorema 1.15.2. Para cada p [1, +], el espacio Lp () dotado de la
norma p es un espacio de Banach.
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.
Definici
on 1.15.2. Sea (X, M, ) un espacio de medida. Una funcion esN

calonada sobre dicho espacio es una funcion de la forma f =

k Ek , con
k=1

N N, k R y Ek M tales que (Ek ) < + para todo k = 1, . . . , N .

Es facil ver que

f d =

k=1

k (Ek ) y que para cada p [1, +], el

conjunto S de la funciones escalonadas es un subespacio vectorial de Lp ().

TEOR
IA DE LA MEDIDA

49

Notemos que, en general S no es denso en L () si no es nita: considerar g 1 y observar que g f 1 para toda f S. Sin embargo, el
resultado es positivo si p < +.
Teorema 1.15.3. Sea (X, M, ) un espacio de medida completo. Para cada
p [1, +) el conjunto S es denso en Lp ().
Demostracion. Fijemos f Lp () y > 0. Como |f |p L1 (), de la
Proposicion 1.11.7 resulta que existe E1 M tal que (E1 ) < + y

|f |p d < /3.
X\E1
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) :=

|f |p d cumple , resulta que existe m N tal que E2 |f |p d < /3,

A
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 <
+ = .
3
3
X
X\E
E
Esto implica que g f pp < y, en consecuencia, S es denso en Lp ().

En el caso de la medida de Lebesgue sobre un abierto G de RN , se puede

deducir que las funciones de Lp (G) := Lp (m|G ) pueden aproximarse por
funciones continuas con soporte compacto. Diremos que una funcion f : G
R tiene soporte compacto cuando existe un compacto K = K(f ) G tal que
f (x) = 0 para todo x G \ K. Denotaremos por C0 (G) el espacio vectorial
de las funciones continuas f : G R con soporte compacto. Es facil ver que
C0 (G) es un subespacio vectorial de Lp (G).

50

Luis Bernal Gonz

alez

Teorema 1.15.4. El conjunto C0 (G) es denso en el espacio Lp (G).

Demostracion. Se dara solo una idea de la misma. Por el teorema anterior,
bastara aproximar cada funcion f S por funciones de C0 (G). A su vez,
usando el metodo de la prueba del teorema de caracterizacion de los conjuntos

medibles-Lebesgue (Teorema 1.5.1), se puede suponer que f = m

i=1 i Ri ,
donde los Ri son N -rectangulos cerrados. Por u
ltimo, aproximar cada Ri
por una funcion de C0 (G).

1.16.

Medidas producto

Los conceptos y resultados de esta seccion pueden extenderse a un

n
umero nito N de medidas, pero las ideas basicas quedan sucientemente
claras al estudiar N = 2. As que consideraremos dos espacios de medida
positiva (X, A, ) e (Y, B, ). Se supone que y son -nitas y completas.
Se pretende construir un espacio de medida sobre X Y , deniendo los productos AB y . Se estudiara la relacion que existe entre las propiedades
de medibilidad e integrabilidad en el espacio producto y en los espacios de
partida.

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

on creciente
de modo que
n=1 Dn C para cada sucesi
n=1 Cn C y

TEOR
IA DE LA MEDIDA

51

{Cn }n1 C y cada sucesion decreciente {Dn }n1 C. Si F P(Z), denotaremos por M(F) la menor clase monotona que contiene a F. El siguiente
resultado se utilizara mas adelante.
Proposici
on 1.16.1. Con las notaciones anteriores, se tiene que M(E) =
A B.
Demostracion. La inclusion es clara, pues E A B y toda -algebra
es una clase monotona. Si se demuestra que M := M(E) es una -algebra,
quedara probada la inclusion contraria. Para ello, es suciente jar P, Q M
y probar que P \Q y P Q pertenecen a M. Denimos (P ) := {T X Y :
P \ T, T \ P y P T M}. Es facil probar que (P ) es una clase monotona,
y que Q (P ) si y solo si P (Q). Si P E se tiene que E (P ), debido
a que las diferencias y la union de dos elementos de E estan tambien en E.
Luego M (P ) cuando P E. Sea ahora Q M. Resulta de lo anterior
que, para cada P E, se verica que Q (P ) y P (Q). Esto signica
que E (Q) y, por ser (Q) una clase monotona y M = M(E), se deduce
que M (Q). Pero esto es justamente lo que se quera probar.

A partir de miembros de A B y de funciones medibles en X Y podemos obtener, de manera natural, conjuntos medibles y funciones medibles,
respectivamente, en los espacios factores X e Y . Si P X Y , x X e
y Y , se denen las secciones de P por Px := {t Y : (x, t) P } y
P y := {t X : (t, y) P }.
Proposici
on 1.16.2. Sean P A B, x0 X, y0 Y , y f una funcion
medible respecto de A B. Se tiene:
(a) Px0 B y P y0 A.
(b) La funcion y 7 f (x0 , y), definida en Y , es B-medible, y la funcion x 7
f (x, y0 ), definida en X, es A-medible.

52

Luis Bernal Gonz

alez

Demostracion. En cuanto a (a), es suciente probar que la familia P de

elementos P de A B para los que la proposicion es cierta es una -algebra
y que cada rectangulo medible pertenece a P. Ambas cosas se prueban sin
dicultad. El apartado (b) resulta facilmente sin mas que considerar que,
para cada R, {y Y : f (x0 , y) > } = {(t, y) X Y : f (t, y) > }x0
y {x X : f (x, y0 ) > } = {(x, t) X Y : f (t, y) > }y0

Se trata ahora de denir una medida sobre A B. A esta medida

parece natural exigirle que ( )(A B) = (A)(B) para cada rectangulo
medible A B. Por otra parte, la medida de un conjunto P A B debe
depender de las medidas de sus secciones (Px ) y (P y ).
Teorema 1.16.3. Para cada P A B, las funciones x X 7 (Px ) y
y Y 7 (P y ) son medibles y

(Px ) d(x) =
(P y ) d(y).
X

El valor com
un anterior coincide con (A)(B) si P = A B con A A y
B B.
A la vista de este resultado, es natural denir la medida producto :
A B [0, +] por

( )(P ) :=

(P y ) d(y).

(Px ) d(x) =
X

Demostracion del teorema. Por ser y -nitas, existen familias numerables (Xi ) e (Yj ) de conjuntos medibles tales que los Xi son disjuntos de
-medida nita y su union es X, y los Yj son disjuntos de -medida nita
y su union es Y . Entonces X Y se puede descomponer en los rectangulos
medibles disjuntos Xi Yj . Supongamos probado que para cada par i, j
todos los conjuntos medibles contenidos en Xi Yj verican el teorema.

Entonces, si P A B, si Pi,j = P (Xi Yj ), y si Pk = i,jk Pi,j , resulta

TEOR
IA DE LA MEDIDA

53

obviamente que cada Pk verica el teorema, y para demostrar que P tambien

lo verica es suciente observar que {((Pk )x )}k1 y {((Pk )y )}k1 convergen
respectivamente a (Px ) y (P y ), y utilizar el teorema de la convergencia
monotona.
As pues podemos partir de que y son nitas. Gracias a la Proposicion
1.16.1, basta probar que la familia P de elementos de A B que verican
el teorema es una clase monotona que contiene a E. Si P = A B es un
rectangulo medible, resulta trivialmente que (Px ) y (P y ) son medibles y

que X (Px ) d(x) = Y (P y ) d(y) = (A)(B). Puesto que cada elemento de E es union nita de rectangulos medibles disjuntos, se obtiene facilmente
que E P. Consideremos ahora una sucesion monotona (Pk ) de elementos de
P, y sea P su lmite (es decir, su union si (Pk ) es creciente, o su interseccion
si es decreciente). Es claro que las funciones x 7 (Px ) e y 7 (P y ) son
medibles, por ser, respectivamente, el lmite de las sucesiones monotonas de
funciones medibles {((Pk )x )} y {((Pk )y )} (ver Teorema 1.9.1). Finalmente,
ya que cada Pk P, se obtiene

((Pk )x ) d(x)
(Px ) d(x) = lm
X

= lm

(P y ) d(y),

((Pk ) ) d(y) =
Y

puesto que podemos aplicar el teorema de la convergencia dominada gracias

a la nitud de y . Luego P P y P es una clase monotona.

Es facil probar que es una medida -nita. Pero no es,

en general, completa. Por ejemplo, llamemos mN a la medida de Lebesgue
sobre la -algebra MN de los conjuntos medibles-Lebesgue de RN . Nos centramos en el caso N = 1, aunque lo siguiente se extiende facilmente al
caso general. Fijemos un conjunto no medible A [0, 1]. Entonces P :=
A {0}
/ M1 M1 porque P 0 = A
/ M1 . Sin embargo P [0, 1] {0} y
(m1 m1 )([0, 1] {0}) = 0, as que m1 m1 no es completa. En general, se

54

Luis Bernal Gonz

alez

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 algunas propiedades de la integral, pero no es necesaria en absoluto. Ademas, no
es difcil probar (usar, por ejemplo, aproximacion por funciones escalonadas)
f
que si (X, M, ) es un espacio de medida -nito, (X, M,
e) es su complecion 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 .

1.16.2.

Teoremas de Fubini y de Tonelli

Concluimos esta seccion con estos dos u

tiles resultados. El primero
arma que la integral de una funcion integrable sobre un producto puede
calcularse iterando en cualquier orden la integral sobre los espacios factores.
El segundo proporciona una condicion suciente sencilla de integrabilidad
sobre un espacio producto.
Teorema 1.16.4. [Teorema de Fubini] Sea f una funcion medible definida
en casi todo punto del producto X Y . Se tiene:
(a) Si f 0, las funciones (x) :=

f (x, y) d(y) y (y) :=

f (x, y) d(x),

definidas en casi todo punto respectivamente en X e Y , son medibles

no negativas y se verifica

f d( ) =

XY

d .

d =
X

(b) Si f L1 ( ), la funcion y 7 f (x, y) pertenece a L1 () para casi

todo x X, y la funcion x 7 f (x, y) pertenece a L1 () para casi todo

TEOR
IA DE LA MEDIDA

55

y Y . En particular, las funciones y est

an bien definidas y son
finitas en casi todo punto. Adem
as, y son integrables y verifican

f d( ) =
d =
d < .
XY

Demostracion. De la denicion de medida producto y del Teorema 1.16.3

resulta que (a) se verica cuando f es la funcion caracterstica de un conjunto
medible. Es facil probar que tambien se verica (a) cuando f es una funcion
simple medible. Si ahora f es cualquier funcion medible y no negativa, sea
(ak ) una sucesion creciente de funciones simples no negativas que converge
ect a f . Para cada k resulta que la funcion k denida ect X mediante

k (x) = Y ak (x, y) d(y) es medible y verica XY ak d( ) = X k d.

Utilizando el teorema de la convergencia monotona se obtiene que es medible por ser el lmite de (k ), y que

k d =
d.
ak d( ) = lm
f d( ) = lm
k

XY

XY

Analogamente se prueba que es medible y verica

d. Esto completa la demostracion de (a).

Y

XY

f d( ) =

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

XY

f d( ) =

2 d =

2 d,
Y

siendo 1 y 1 (2 y 2 , resp.) las funciones asociadas a f + (a f , resp.).

Esto signica que las cuatro funciones medibles 1 , 1 , 2 , 2 son nitas en
casi todo punto, por lo cual estan denidas, son medibles y nitas en casi
todo punto las diferencias 1 2 y 1 2 , es decir, y . Es suciente
restar las relaciones anteriores para obtener (b).

56

Luis Bernal Gonz

alez

La simple existencia de integrales iteradas no implica su igualdad. Se da

un ejemplo en el Ejercicio 45.
Teorema 1.16.5. [Teorema de Tonelli] Sea f una funcion medible definida
en casi todo punto del producto X Y . Supongamos que, para casi todo
y Y , la funcion x 7 |f (x, y)| pertenece a L1 (), y que la funcion y 7

|f (x, y)| d(x) pertenece a L1 (). Entonces f L1 ( ).

X
Demostracion. De los Teoremas 1.9.2 y 1.15.3 y de sus pruebas se deduce
la existencia de una sucesion (n ) de funciones escalonadas tales que 0
n (x, y) n+1 (x, y) para todo n N y todo (x, y) X Y , y n |f | en
casi todo XY . En particular, cada n es integrable. Como f es medible, basta demostrar que |f | es integrable. A su vez, por el teorema de la convergen
cia monotona, es suciente demostrar que supnN XY n d( ) < +.

Por una parte, tenemos que X n (x, y) d(x) X |f (x, y)| d(x). Por otra
parte, si aplicamos el Teorema de Fubini a cada n y aplicamos las hipotesis

sobre f , obtenemos que XY n d( ) = Y ( X n (x, y) d(x)) d(y)

( X |f (x, y)| d(x)) d(y) < +. Esto concluye la demostracion.
2
Y
Por supuesto, un enunciado analogo se obtiene intercambiando las variables x, y y las medidas , .
Terminamos estableciendo, sin demostracion, dos resultados de integracion
por cambio de variables en RN . En sus pruebas interviene de una u otra forma el Teorema de Fubini. Por det Dh denotaremos el determinante de la
matriz jacobiana o matriz de derivadas parciales de h. En el segundo teorema, se obtiene la integral de una funcion que solo depende radialmente de
sus argumentos.
Teorema 1.16.6. Sean y G dos abiertos de RN , h : G un difeomorfismo de clase C 1 y f : R. Entonces f L1 (mN , ) si y solo si

TEOR
IA DE LA MEDIDA

57

(f h)|det Dh| L1 (mN , G), en cuyo caso

f dmN = (f h)|det Dh| dmN .

Teorema 1.16.7. Para cada x = (x1 , . . . , xN ) RN denotamos r(x) =

x2 = (x21 + + x2N )1/2 . Sea f : [0, +) R y g := f r. Entonces g es
Lebesgue-integrable en RN si y solo si la funcion t 7 f (t)tN 1 es Lebesgueintegrable en [0, +), en cuyo caso

+
N/2
g dmN = n

f (t)tN 1 dt.
N
N
(1
+
)
R
0
2

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.
2. Si es la medida cardinal sobre un conjunto innito X, demostrar que

existe una sucesion decreciente {An }

An =
n=1 P(X) tal que
pero lm (An ) = 0.

n=1

3. Demostrar la Proposicion 1.2.1.

4. En este ejercicio se describe la compleci
on de una medida. Para cada
espacio de medida (X, M, ), demostrar que existe un espacio de mef
fy
dida completo (X, M,
e) tal que M M
e|M = .
f := {E N : E M y existe Z M tal que
Indicacion: Denir M
(Z) = 0 y N Z} y
e(E N ) := (E).
5. Sea (X, M, ) un espacio de medida. Para cada A X se dene
(A) := nf{(E) : E M, A E}. Probar que es una medida exterior sobre X.
6. (a) Para cada > 0, hallar un abierto denso G R tal que m(G) < .

58

Luis Bernal Gonz

alez

(b) Hallar un conjunto G , sea M , denso en R, tal que m(M ) = 0.

7. Demostrar que el conjunto ternario de Cantor C es compacto, no numerable y de medida nula. El conjunto C se forma suprimiendo de [0, 1]
el tercio central abierto (1/3, 2/3), despues, suprimiendo los tercios centrales abiertos de los dos subintervalos que quedan, y as sucesivamente.
8. Sea (X, M, P ) un espacio de probabilidad donde cada suceso no vaco
tiene probabilidad positiva. Demostrar que la formula
d(A, B) = P (A B) (A, B M)
dene una distancia en la -algebra M de los sucesos.
9. Si (X, M, ) es un espacio de medida nita, demostrar que
|(A) (B)| (A B) para todo A y B M.
10. [Lema de BorelCantelli] (a) Si (X, M, ) es un espacio de medida y

(An ) < +, demostrar que

{An }n1 M es una sucesion tal que
n=1

(lm sup An ) = 0.
n

(b) Sea una medida de probabilidad y {An }n1 una sucesion de sucesos independientes, es decir, para todo p N y todos los ndices naturales i1 , . . . , ip dos a dos distintos, se verica
(Ai1 . . . Aip ) = (Ai1 ) (Aip ).
Si

n=1

(An ) = +, demostrar que (lm sup An ) = 1.

n

Indicacion: Usar que 1 t et para todo t 0.

11. [Teorema de extension de Hahn] Supongamos que A es un algebra sobre
un conjunto X, es decir, A y, siempre que A, B A, se tiene que
A \ B A y A B A. Sea : A [0, +] una medida sobre A, es

decir, () = 0 y, siempre que An A (n = 1, 2, . . . ) y

n=1 An A,

TEOR
IA DE LA MEDIDA

59

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

n=1

An y An A (n = 1, 2, . . . )},

n=1

entendiendose que nf = +. Probar que es una medida exterior sobre X cuya restriccion a A coincide con . Finalmente, probar que la algebra asociada a construida por el procedimiento de Caratheodory
contiene a A.
12. Sea f : R R continua tal que trasforma conjuntos medibles-Lebesgue
de medida nula en conjuntos medibles-Lebesgue de medida nula. Probar
que f trasforma conjuntos medibles en medibles.

0
si x < 0
13. Se dene : R R como (x) =
y se
log(1 + x) si x 0,
considera la medida de LebesgueStieltjes m . Calcular m (C), donde
C es el conjunto de Cantor.
14. Constr
uyase una funcion f no medible tal que |f | s es medible.
15. Sea E R un subconjunto medible-Lebesgue y f : E R una funcion
continua ect x E. Demostrar que f es medible.
16. Pruebese que cada funcion f : R R creciente es medible.
17. Se considera una base de Hamel {a }A de R como espacio vectorial
sobre Q, y se dene la funcion f : R R mediante f (a ) = a + 1
(
)
para cada A y f
f (a ) para cada combinacion
a =

lineal nita
a de coecientes racionales . Pruebese:

(a) f (x + y) = f (x) + f (y) para todo x, y R.

60

Luis Bernal Gonz

alez

(b) f no es lineal.
(c) f no es medible-Lebesgue.
(d) La graca de f es densa en R2 .
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

Idem con X = [0, 1] y

2n
fn (x) :=
0

si x 2n
si x > 2n .

19. Sean fn , f : X R (n N) funciones medibles, donde (X, M, ) es

un espacio de medida completa.
(a) Probar que si fn f casi uniformemente, entonces fn f ect X
y en medida.
(b) Si fn f en medida, probar que {fn } es de Cauchy en medida.
(c) Con el ejemplo X = [0, 1], = m y {fn } denida como fn =
[2k h,2k (h+1)] , con n = 2k + h, k N y h = 0, 1, . . . , 2k 1,
vericar que ser de Cauchy en medida no implica convergencia
puntual ect X.
(d) Demostrar que si {fn } es de Cauchy en medida, existe f medible
tal que fn f en medida.
20. Consideremos el intervalo [0, 1] con la medida de Lebesgue m. Se dene
fn := 2n [0,2n ] . Pruebese que fn 0 puntualmente en casi todo, en

TEOR
IA DE LA MEDIDA

61

medida y casi uniformemente, pero no converge ni uniformemente ni

en la norma de L1 (m).
21. Consideremos la funcion F : [0, +) R dada por

sen x si x > 0
x
F (x) =
1
si x = 0.
Demostrar que F L1m ([0, +)) y, sin embargo, F es Riemann-integrable
impropiamente en [0, +), es decir, F R[a, b] para todo [a, b]
R
[0, +) y existe lm 0 F (x) dx R.
R+

22. Calcula, razonadamente, los siguientes lmites de integrales, entendidas estas como respecto de la medida de Lebesgue en los intervalos
indicados:

(b)

arctan( nx log x) dx.

n 0
+

dx.
lm 0 arctan(x/n)
x x
n

(a) lm

(c) lm

n 1

(d)
(e)

x2

e n dx.

n log(1+ nx )
lm 0
dx.
x
n
e
x)n ]x

lm 1 [1(log
dx.
2 1
x
n

(sen x)n+1
dx.
x(x+1)
0
n
( x2 +2n )
+ 1
dx.
lm 0 1+x
2 log
x2 +n
n

(f) lm
(g)

n
1+nx2

(h) lm

n 0

nx
n+x2

enx dx.

23. Decidir razonadamente si las funciones siguientes son integrables-Lebesgue

o no, en los conjuntos que se indican:
(a)

1cos x
x(1+x2 )

(b)

xarctan x
1+x2

en (0, +).
en [1, +).

62

Luis Bernal Gonz

alez

(c)

log(1+x2 )

x 1x2

en (0, 1).

(d) ex log x en (0, +).

2

24. Se considera el conjunto N de los n

umeros naturales y la medida cardinal (A) = card(A), A N. Se pide:
(a) Determinar que funciones f : N R son integrables.

1 si 1 x k
k
(b) Probar que la sucesion fk (x) :=
converge uni 0 si x > k
formemente, pero no converge en L1 ().

1 si 1 x k
x
converge uni(c) Probar que la sucesion fk (x) :=
0 si x > k
formemente a una funcion no integrable.
25. Existe una teora analoga de medidas signadas si se admite que toma
valores en [, +). No obstante, se podra plantear si podemos admitir que tome valores en la recta real extendida. Este ejercicio pretende 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
que la serie

fk p < +. Probar

k=1

fk dene una funcion f Lp () y que f p

k=1

fk p .

k=1

27. Si 1 r < p < s +, probar que Lr () Ls () Lp ().

un p < +. Demuestrese que
28. Se supone que f L Lp para alg
f Lq para todo q > p y que f q f (q +).
29. Sean y dos medidas positivas sobre un mismo espacio medible
(X, M), de modo que es -nita, es nita y . Pruebese que

TEOR
IA DE LA MEDIDA

63

existe una funcion integrable g que cumple la siguiente propiedad: f

es -integrable si y solo si f g es -integrable. En tal caso, resulta que

f
d
=
f g d para cada E M.
E
E
30. Sea X = [0, 1] con la medida de Lebesgue m, y la funcion escalera de
Cantor, denida como el lmite de la sucesion de funciones continuas
fn (n 1) determinadas de la siguiente manera. Como f1 tomamos la
funcion valorada como 0, 1 en los puntos 0, 1 respectivamente; f1 vale
1/2 en el intervalo (1/3, 2/3) y es lineal afn en los intervalos [0, 1/3]
y [2/3, 1]. Como f2 tomamos la funcion denida como 1/4, 1/2, 3/4 en
los intervalos (1/9, 2/9), (1/3, 2/3), (7/9, 8/9) respectivamente, y lineal
en los intervalos restantes. De esta forma se procede sucesivamente. Es
facil ver fn = fn+1 en cada intervalo donde fn es constante, que el
lmite puntual existe, que fn uniformemente en [0, 1] (luego
es continua), que es no decreciente (pues cada fn es no decreciente)
y que es constante en cada subintervalo del complemento en [0, 1]
del conjunto ternario de Cantor. Sea la medida asociada a , dada

por (A) = A dm para cada conjunto medible-Lebesgue A [0, 1].

Calcular X f d, con f (x) := x. Indicaci

on: Usar el ejercicio anterior.
31. Sea (X, M, ) un espacio de medida con signo. Demostrar que
||(A) = sup

n
{

|(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 singulares entre s, y que ambas son absolutamente continuas respecto de .
(b) Si y son medidas con signo tales que es absolutamente continua 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.

34. Dar un ejemplo de dos medidas positivas , sobre un mismo espacio
medible (X, M), tales que [(A) = 0 (A) = 0] para todo A M,
pero no sea absolutamente continua respecto de .
35. Sean : [0, 1] R la funcion escalera de Cantor, m la medida de
Lebesgue en [0, 1] y m la medida de Lebesgue-Stieltjes asociada a .
Pruebese que m m .
36. Sean p [1, +), I = [0, 1] y f Lp (I). Para cada > 0 se dene

1
f : I R mediante f (x) = 2
f dm. Pruebese que f es
(x,x+)
continua, que f p f p para todo > 0 y que lm f f p = 0.
0

37. Detallar la demostracion del Teorema 1.15.4.

38. Si I es un intervalo de R y p [1, +), demostrar que el espacio Lp (I)
es separable, es decir, contiene alg
un subconjunto denso y numerable.
39. Demostrar el Teorema de Egoro, el cual arma que lo siguiente. Supongamos que (X, M, ) es un espacio de medida, que es nita, que
fn : X R (n N) es una sucesion de funciones medibles, y que
f : X R es una funcion tal que fn (x) f (x) ect x X. Entonces
fn f casi uniformemente. Indicaci
on: Probar primero que se puede
suponer que fn (x) f (x) para todo x X. Para cada n, k N,

denir En,k = in {x X : |fi (x) f (x)| 1/k}. Observar que

on 1.2.1(6) para probar

n=1 En,k = para cada k. Aplicar la Proposici
que, jados > 0 y k N, existe n(k) N con (En(k),k ) < /2k .

Considerar el conjunto F =
n=1 En(k),k .

TEOR
IA DE LA MEDIDA

65

40. Sea (X, M, ) un espacio de medida completo, p (0, +) y (n )

Lp (). Sea Lp () tal que n (x) (x) ect x X y n p
p (n ). Demostrar que n p 0. Indicaci
on: Aplicar el
Lema de Fatou a la sucesion (|n |p + ||p + |n |p ).
1
41. Consideremos la funcion f (x, t) :=
con y > 0.
2
2
2 t2 )
(1
+
x
t
)(1
+
y
1
1
(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 g(y, t) dt) dy = 0 ( 0 g(y, t) dy) dt.
0

(c) Combinando los resultados anteriores, deducir que

arctan t 2
( t ) dt = log 2.
0
42. Si f L1 (X, ) y g L1 (Y, ), demostrar que la funcion h(x, y) :=
f (x)g(y) es integrable sobre X Y respecto de la medida producto
y que su integral es el producto de las integrales de f y g.

43. Representemos por An el conjunto de los puntos de [0, 1] tales que en

su desarrollo decimal 0, a1 a2 . . . an . . . sea an la primera cifra decimal
igual a 1. Se dene la aplicacion f : [0, 1]2 R mediante

mn
f (x, y) =
0

si x Am , y An
en otro caso.

Demostrar que f es integrable y que su integral vale 100.

44. Demostrar que si cn designa la medida de Lebesgue de la bola unidad

/2
de Rn , entonces cn = cn1 /2 cosn t dt para todo n 2. Deducir que
cn =

n/2
( n
+1)
2

para todo n 1.

66

Luis Bernal Gonz

alez

45. Consideremos la medida cardinal sobre P(N), as como la funcion

f : N N R dada por

22
f (x, y) =
2 + 2x

si x = y
si x = y + 1
en otro caso.

Compruebese, mediante el Teorema de Fubini, que f

/ L1 ( ).
46. Se considera la funcion f : R2 R denida mediante

x2 y2 si x, y (0, 1)
x2 +y 2
f (x, y) =
0
en otro caso.

Pruebese que f L1 (R2 ), y calc

ulese
f (x, y) dxdy utilizando el
R2
Teorema de Fubini.
47. Sean (X, M) e (Y, N ) dos espacios medibles, y sea f : X Y una aplicacion 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

f
d()
=
f d.
Y
X
48. Se pretende establecer la desigualdad integral de Jensen. Supongamos
que (X, M, ) es un espacio de probabilidad completo y que I R es
un intervalo abierto. Sean f : X I y : I R dos funciones, de
modo que f L1 (), es convexa y f L1 (). Demostrar que
(
)

f d
f d.
X

Captulo 2
Espacios de funciones analticas
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.

2.2.

Funciones holomorfas

Recordemos los conceptos de funcion holomorfa y de funcion analtica.

Definici
on 2.2.1. Sea G C un subconjunto abierto del plano complejo,
y sean f : G C una funcion y a G. Se dice que f es holomorfa en
a cuando es C-diferenciable en tal punto, es decir, cuando existe f (a) :=
lm

h0

f (a+h)f (a)
h

C. Se dice que f es holomorfa en G cuando es holomorfa

67

68

Luis Bernal Gonz

alez

en cada punto de G. Mediante H(G) se denota la familia de las funciones

holomorfas en G.
Es facil ver que H(G) es un espacio vectorial. De hecho, es un algebra, si
se incorpora la operacion de producto puntual.
Definici
on 2.2.2. Sean G C un abierto y f : G C una funcion. Se
dice que f es analtica en a cuando es desarrollable en serie de potencias en
torno a dicho punto, es decir, existe r > 0 y existe {an }
n=0 C tales que

an (z a)n para todo z B(a, r).

B(a, r) G y f (z) =
n=0

En tal caso, tal serie de potencias es u

nica, existe f (n) (a) C para todo
n N y an =

f (n) (a)
n!

para todo n 0. Dicha u

nica serie de potencias se

denomina la serie de Taylor de f en a.

Si f = u + iv : G C, con u = Re f y v = Im f , se tiene que f
es holomorfa en a [u y v son diferenciables en a, y se cumplen las
as llamadas ecuaciones diferenciales de Cauchy-Riemann: ux (a) = vy (a) y
uy (a) = vx (a)].
Un teorema debido a Cauchy asegura la equivalencia de holomorfa y
analiticidad, es decir, H(G) = {funciones G C analticas en G}. Otra
propiedad importante es que si f es holomorfa en G, entonces Re f e Im f
son funciones armonicas en G. Recordemos que una funcion h : G R se
dice armonica cuando es de clase C 2 y hxx + hyy = 0 en G. Denotaremos
por Arm(G) el espacio vectorial de las funciones armonicas en el abierto G.
Tanto las funciones holomorfas como las armonicas cumplen la as denominada propiedad del valor medio: si f H(G), u Arm(G) y B(a, r) G,
entonces
1
f (a) =
2

1
f (a + re ) d y u(a) =
2

u(a + rei ) d.
0

ESPACIOS DE FUNCIONES ANAL

ITICAS

69

Definici
on 2.2.3. Se dice que un subconjunto G C es una regi
on si es
abierto, conexo y no vaco. Una region se dice simplemente conexa cuando
no tiene agujeros, es decir, cuando C \ G es conexo.

Por C hemos denotado el plano complejo extendido C {}, el cual

puede identicarse con la esfera unidad S 2 := {(x1 , x2 , x3 ) R3 : x21 + x22 +
x23 = 1} sin mas que usar la proyeccion estereograca.
En la mayora de los casos que consideremos, G va a ser una region. Un
importante resultado de unicidad es el as llamado principio de prolongaci
on
analtica: si G es una region y f, g H(G), de modo que f (z) = g(z) para
todo z A, donde A G y A G = [es decir, A tiene alg
un punto de
acumulacion en G], entonces f = g en toda la region G.
Recordemos que el teorema de la integral de Cauchy asegura que, si G es
una region simplemente conexa, f H(G) y G es una curva cerrada de
H
Jordan recticable, entonces f = 0. La formula de Ila integral de Cauchy
n!
f (z)
nos dice que, en las mismas condiciones, f (n) (a) =
dz para
2i (z a)n+1
todo n 0 y todo a Int (), el interior geometrico de .
Recordemos tambien el teorema del isomorfismo de Riemann, que arma
que cada region simplemente conexa G = C es isomorfa al disco unidad
abierto D := {z C : |z| < 1}, es decir, existe una funcion f : G D
holomorfa y biyectiva.

2.2.1.

Topologa compacta-abierta

Recordemos como se dotaba a H(G) de una topologa natural, llamada topologa de la convergencia uniforme en compactos de G o simplemente
topologa compacta-abierta. La denotaremos por Tuc .

70

Luis Bernal Gonz

alez

Partimos de un abierto G C. Consideremos el espacio vectorial C(G) :=

{funciones G C continuas}. Los subconjuntos de la forma
V (f, K, ) := {g C(G) : |g(z) f (z)| < z K},
donde f C(G), > 0 y K es un compacto contenido en G, constituyen
una base para una topologa sobre C(G), que es por denicion Tuc . Se verica
T

uc
que fn
f [para cada compacto K G, fn f uniformemente

en K]. De ah el nombre de la topologa.

Recordemos que un espacio vectorial topologico es un espacio vectorial
X sobre K (= R o C) dotado de una topologa tal que las aplicaciones
(x, y) X X 7 x + y X y (, x) K X 7 x X son continuas.
Un espacio localmente convexo es, por denicion, un espacio topologico cuyo
origen posee una base de entornos formada por conjuntos convexos. Un espacio topologico se dice metrizable cuando su topologa es inducida por alguna
metrica. Un espacio de Frechet es un espacio localmente convexo, metrizable
y completo. Por ejemplo, C(G) es un espacio de Frechet. Solo detallaremos
la metrizabilidad. Resulta que la aplicacion D : C(G) C(G) [0, +)
dada por

1 f gKn
D(f, g) =
2n 1 + f gKn
n=1

es una metrica sobre C(G) para la cual este espacio es completo, y ademas
D genera Tuc . Aqu {Kn }
on exhaustiva de subconjuntos
n=1 es una sucesi

compactos de G, es decir, G =
Kn y Kn Kn+1
para todo n N y, para
cada compacto K G,

n=1

f K := max{|f (z)| : z K}.

Es evidente que H(G) C(G).
Teorema 2.2.1. [Teorema de convergencia de Weierstrass]
on tal que fn f uniSi {fn }
n=1 H(G) y f : G C es una funci

ESPACIOS DE FUNCIONES ANAL

ITICAS

71

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

En particular, si sobre H(G) consideramos la topologa inducida por Tuc ,
entonces H(G) es cerrado en C(G), y por tanto es tambien un espacio de
Frechet. Sin embargo, puede probarse que ni C(G) ni H(G) son normables.
La teora de la compacidad de familias de funciones analticas es sumamente u
til y se aplica, entre otras cuestiones, a la demostracion del teorema
del isomorsmo de Riemann, del teorema de Picard y del teorema de analiticidad de integrales parametricas con hipotesis bastante generales sobre la curva
de integracion de la funcion integrando. Vamos a recordar algunas ideas y
resultados.
Definici
on 2.2.4. Si X es un espacio topologico, un subconjunto A X se
llama relativamente compacto cuando A es compacto.
Del mismo modo, una familia F C(G) ( H(G), resp.) se dice que es
relativamente compacta cuando F

Tuc

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 caracterizada por el teorema de Ascoli-Arzel`
a, que estableceremos tras las siguientes deniciones.
Definici
on 2.2.5. Sea F una familia de funciones G C, y sea A G. Se
dice que F es equicontinua en A si para cada > 0 existe = () > 0 tal
que, si z, z A, |z z | < y f F, entonces |f (z) f (z )| < .
Definici
on 2.2.6. Sea F una familia de funciones G C, y sea A G. Se
dice que F es uniformemente acotada en A si existe M = MA (0, +) tal
que |f (z)| M para todo z A y toda funcion f F.

72

Luis Bernal Gonz

alez

Teorema 2.2.2. [Teorema de AscoliArzel`a] Si F C(G), entonces F

es relativamente compacta si y solo si para cada compacto K G, F es
equicontinua en K y uniformemente acotada en K.
El uso conjunto del Teorema de Ascoli-Arzel`a y de la formula de la integral
de Cauchy nos conduce al siguiente importante resultado.
Teorema 2.2.3. [Teorema de Montel] Sean G C un abierto y F H(G).
Entonces la familia F es relativamente compacta si y solo si F es uniformemente acotada en cada subconjunto compacto de G.
Una combinacion del Teorema de Montel y del principio de prolongacion
analtica prueban lo siguiente.
Teorema 2.2.4. [Teorema de Vitali] Sean G C una regi
on y (fn ) H(G)
una sucesion uniformemente acotada en compactos de G tal que existe S G
con S G = de modo que (fn ) converge puntualmente en S. Entonces
existe una funcion f H(G) tal que fn f (n ) uniformemente en
compactos de G.
Consideremos ahora la densidad y la separabilidad. Ya que C(G) es separable y es un espacio metrico, H(G) es tambien separable. Si el conjunto
de los polinomios fuese denso en H(G), el conjunto de los polinomios con
coecientes racionales sera un subconjunto denso y numerable de H(G).
Pero, en general, los polinomios no son densos en H(G): tomar, por ejemplo,
G = D \ {0}. Una condicion para que se de la densidad del conjunto de los
polinomios, es decir, para que cada funcion holomorfa en una region pueda
aproximarse uniformemente en compactos por polinomios, la proporciona el
siguiente resultado.
Teorema 2.2.5. [Teorema de Aproximacion de Runge]
(a) Sean K C un compacto, > 0, G un abierto que contiene a K,

ESPACIOS DE FUNCIONES ANAL

ITICAS

73

f H(G) y A un conjunto que contiene exactamente un punto de cada componente conexa de C \ K. Entonces existe una funcion racional R cuyos
polos estan en A tal que |f (z) R(z)| < para todo z K.
(b) Si G C es una region y f H(G), existe una sucesi
on (Rn ) de funciones racionales con polos fuera de G tales que Rn f uniformemente en
compactos en G.
(c) Si G C es una region simplemente conexa, el conjunto de los polinomios
es denso en H(G).

2.3.

Espacios de Bergman

Seguidamente vamos a estudiar un espacio de funciones analticas en

una region G C, el cual va a tener una topologa estrictamente mas fuerte
que la inducida por H(G). Ademas, tal topologa va a venir dada por su
estructura de espacio de Hilbert.
Consideremos el espacio vectorial L2 (G) := {f : G C : f es medible
Lebesgue y
|f (x + iy)|2 dxdy < +}. Gracias a la desigualdad de
G
Cauchy-Schwarz, se tiene que la aplicacion

2
2
(f, g) L (G) L (G) 7 f, g =
f (z) g(z) dxdy C
G

esta bien denida. Ademas, si en L2 (G) identicamos dos funciones cuando son iguales en casi todo, se prueba facilmente que , es una forma
sesquilineal (lineal en la primera variable y anti-lineal en la segunda variable) hermtica (es decir, f, g = g, f ) denida positiva (esto es, f, f 0
para toda f , y se tiene que f, f = 0 si y solo si f = 0). En otras palabras, , es un producto escalar y L2 (G) es un espacio prehilbertiano. En
particular, la aplicacion
f L (G) 7 f 2 := f, f
2

1/2

|f |2 dxdy
G

)1/2

[0, +)

74

Luis Bernal Gonz

alez

es una norma en L2 (G), llamada norma cuadratica, la cual genera la distancia

d(f, g) := f g2 , llamada la distancia cuadratica.
Vamos a tratar con las funciones de L2 (G) que son analticas en G. En
tal caso no es necesaria la identicacion de funciones hecha anteriormente en
L2 (G), ya que si f y g son funciones continuas en G y f = g ect G, entonces
f g en G. Aparte de comparar las dos topologas que surgen, estudiaremos
los sistemas ortonormales, especialmente los formados por polinomios cuando
G es acotada.
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) como 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.
Teorema 2.3.1.

(a) Sean f, fn B 2 (G) (n N) funciones tales que

fn f (n ) en media cuadratica. Entonces fn f (n )

compactamente en G. En particular, la topologa sobre B 2 (G) que deriva del producto escalar , es mas fuerte que la que proviene de H(G).
(b) El par (B 2 (G), , ) es un espacio de Hilbert.
Para realizar la demostracion de este teorema, necesitamos un lema previo, que es interesante por s mismo.
Lema 2.3.2. Sea K G un compacto. Entonces existe una constante (K)
(0, +) tal que sup |f | (K)f 2 para toda funcion f H(G).
K

Demostracion. Llamemos (K) = 21 d(K, G) si G = C y (K) = 1 si G = C.

Fijemos un punto a K. Entonces B(a, (K)) G y en esta bola la funcion

ESPACIOS DE FUNCIONES ANAL

ITICAS

75

f tiene un desarrollo de Taylor uniformemente convergente, digamos f (z) =

ak (z a)k , donde a0 = f (a). Pasando a coordenadas polares, tenemos que

k=0

z a = rei (0 r , 0 2) en dicha bola y, teniendo en cuenta que

el jacobiano de la transformacion de coordenadas polares a cartesianas es r,

resulta que

|f (z)|2 = f (z)f (z) =

ak (z a)k

k=0

Por tanto

l=0

|f (z)| dxdy
G

ak al rk+l ei(kl) .

k,l=0

|f (z)|2 dxdy

f 22

al (z a)l =

B(a,(K))

(K)

r
0

ak al rk+l ei(kl) drd.

k,l=0

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
seg
un que m = 0 o m Z \ {0} (respectivamente), obtenemos que
(K)

|ak |2 (K)2k+2
2
f 2 2
|ak |2 r2k+1 dr =
k+1
0
k=0
k=0
(K)2 |a0 |2 = (K)2 |f (a)|2 ,
de lo cual inferimos que (K)2 |f (a)|2 f 22 . Luego, para todo a K, se
f 2
,
(K)
1
.
(K)

tiene que |f (a)|

escoger (K) =

de donde se deduce lo que queremos, sin mas que

2

Demostracion del Teorema 2.3.1. (a) Si f y fn (n N) son como en el

enunciado, entonces fn f 2 0. Fijemos un compacto K G. Debido
al lema, se tiene que sup |fn f | (K)fn f 2 para todo n N, luego
K

sup |fn f | 0. En consecuencia, fn f compactamente en G.

K

(b) Sea (fn ) una sucesion de Cauchy en B 2 (G) para la distancia cuadratica.
Por el lema, aplicado a fm fn , tenemos que (fn ) es de Cauchy en el espacio

76

Luis Bernal Gonz

alez

metrico completo H(G), luego existe f H(G) tal que fn f compactamente. Por otra parte, (fn ) es una sucesion de Cauchy en L2 (G), que es
tambien un espacio metrico completo. Entonces existe g L2 (G) tal que
fn g2 0. Ahora bien, sabemos que existe una subsucesion (fnk ) (fn )
tal que fnk g ect G. Pero fnk (z) f (z) para todo z G. Por la unicidad
del limite puntual, f = g ect G, lo que implica que f L2 (G) H(G) =
B 2 (G) y fn f 2 = fn g2 0. Por tanto fn f en 2 . Esto prueba
que B 2 (G) es completo.

Ejemplos sencillos muestran que la convergencia cuadratica es estrictamente mas fuerte que la convergencia uniforme en compactos, vease la seccion
de Ejercicios.
Apuntamos que B 2 (G) es separable, pues esta contenido en L2 (G), el cual
es separable con la distancia cuadratica.

2.3.1.

Ortonormalidad

Recordemos algunos conceptos y resultados sobre ortonormalidad.

Definici
on 2.3.2. Supongamos que (X, , ) es un espacio prehilbertiano.
Decimos que una sucesion {n }
n=0 X es un sistema ortogonal si n , k =
0 para todo n, k con n = k. Si, ademas, n 2 = 1 para todo n 0 [equivalentemente, si n , k = n,k para todo n, k], diremos que {n }
n=0 es un
sistema ortonormal. En este caso, si x X, los n
umeros x, n se denominan los coeficientes de Fourier de x relativos a {n }, mientras que la serie

x, n n se llama serie de Fourier de x relativa a {n }.

n=0

Un problema general es si la serie de Fourier de x converge, y si cada

vector x X es la suma cuadratica de su serie de Fourier, para un sistema
ortonormal dado {n }. Todo sistema ortonormal es linealmente independiente y, usando el conocido metodo de ortonormalizacion de GramSchmidt, se

ESPACIOS DE FUNCIONES ANAL

ITICAS

77

tiene que, dado un sistema linealmente independiente {xn }

n=0 X, existe
un u
nico sistema ortonormal {n }
n=0 tal que:
(a) Para cada n 0, n L({xj }nj=0 ) [por L(A) denotamos el subespacio
vectorial generado por un subconjunto A X]. En particular, {xn } y
{n } general el mismo subespacio vectorial.
(b) Para cada n 0, si n = n xn +n1 xn1 + +0 x0 , entonces n > 0.
Definici
on 2.3.3. Un subconjunto A X se dice total cuando L(A) = X,
y se dice que es completo cuando [x, a = 0 para todo a A x = 0]. Se
dice que un sistema ortonormal {n } es una base ortonormal cuando para

x, n n = x cuadraticamente.
todo x X se tiene que
n=0

Recordemos el siguiente importante resultado.

Teorema 2.3.3. Sea {n }
n=0 un sistema ortonormal en un espacio de Hilbert
X. Son equivalentes:
(a) {n } es total.
(b) {n } es completo.
(c) {n } es una base ortonormal.
(d) Para cada x X se cumple la identidad de Parseval
x22 .

2.3.2.

|x, n |2 =

n=0

Espacios de Bergman de regiones acotadas

Volvamos a nuestro espacio de Bergman B 2 (G), pero ahora en el caso

especial de que la region G es acotada. Es evidente que {polinomios}
B 2 (G).

78

Luis Bernal Gonz

alez

Aplicando el metodo de Gram-Schmidt al sistema libre {z n }

n=0 , obtenemos un u
nico sistema ortonormal {Pn }n0 de polinomios tales que grado(Pn )
= n para todo n 0 y sus coecientes lderes son positivos. Por el teorema anterior, se tiene que {Pn }n0 es una base ortonormal de B 2 (G) si y
solo si el conjunto de los polinomios es denso en B 2 (G), ya que L({Pn }n0 ) =
{polinomios}. Como B 2 (G) es un espacio de Hilbert separable, siempre tiene
una base ortonormal, pero no es seguro que posea una formada por polinomios. Daremos seguidamente una sencilla condicion suciente, de caracter
topologico, para que esto ocurra.
Definici
on 2.3.4. Un dominio de Caratheodory es una region G C simplemente conexa y acotada tal que G = G , donde G denota la componente
conexa no acotada de C \ G.
Por ejemplo D y en general, cada region de Jordan es un dominio de
Caratheodory; pero D \ [0, 1] no lo es, aunque es acotada y simplemente
conexa. Una serpiente exterior (una gura concebida como el interior de
una serpiente plana innitamente enroscada alrededor de su huevo materializado en el disco unidad cerrado acercandose cada vez mas a el pero sin
llegar nunca a tocarlo) es un dominio de Caratheodory, pero no es una region
de Jordan porque su frontera divide el plano en tres regiones.
Teorema 2.3.4. [de Farrell y Markushevich] Si G es un dominio de Caratheodory, entonces el conjunto de los polinomios es denso en B 2 (G).
Demostracion. Se basa en una combinacion de los teoremas de aproximacion
de Runge, del isomorsmo de Riemann, de convergencia de Weierstrass y de
convergencia dominada de Lebesgue.
Haremos uso del siguiente hecho. Fijemos cualquier punto z0 G. Entonces existe una sucesion {Gn }
1 de regiones de Jordan tal que G Gn+1
Gn+1 Gn (n N) y G es la mayor region tal que z0 Gn para

ESPACIOS DE FUNCIONES ANAL

ITICAS

79

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

2
2
N,
|f
|
dm
=
|f
|
dm

|f |2 dm. Por otra parte, dado un

n
G
hn (G)
G
compacto K G, fn f uniformemente en K. Luego, por el teorema de
la convergencia dominada,



2
2
lm inf
|fn | dm lm inf
|fn | dm =
|f |2 dm.
n

En consecuencia, puesto que lo anterior se cumple para cada compacto K

2
G y
|f
|
dm
=
sup{
|f |2 dm : K compacto G}, obtenemos
G
K




2
2
2
|f | dm lm inf
|fn | dm lm sup
|fn | dm
|f |2 dm,
G

luego

|fn |2 dm

|f |2 dm (n ). Ya que fn f puntualmente

en G, podemos aplicar el Ejercicio 40 del Captulo 1. Obtenemos que fn f

en 2 . Por tanto, existe N N tal que fN f 2 < .
Finalmente, observemos que G es un compacto, que G GN = una region
simplemente conexa, y que fN H(GN ). Por el Teorema de Runge, existe
un polinomio P tal que |P (z) fN (z)| <

m(G)1/2

para todo z G. Luego

P f 2 fN f 2 + P fN 2 < 2, como se requera.

Pueden denirse espacios de Bergman mas generales, a saber:

B p (G) := {f H(G) : f p < +},
)1/p
(
p
. Es decir, B p (G) = H(G)Lp (G). Cada
|f
(z)|
dxdy
donde f p :=
G
uno de ellos es un espacio de Banach bajo la norma p . Otra notacion es

80

Luis Bernal Gonz

alez

Lpa (G). En el caso G = D, estos espacios se estudian de forma muy comoda,

debido a la existencia de un desarrollo de Taylor valido en todo el disco.
Tiene ciertas ventajas el usar y as lo haremos la medida de Lebesgue
normalizada dA(z) =

dxdy
.

As que la norma es

(
)1/p
.
f p =
|f (z)|p dA(z)
D

El siguiente resultado muestra la estructura lineal y topologica de B p (D).

Teorema 2.3.5. Sea p [1, +). Se tiene:
(a) Para todo z D y toda f H(D), se verifica |f (z)|

f p
.
(1 |z|)2

(b) La convergencia en B p (D) es mas fuerte que la convergencia compacta

en D.
(c) B p (D) es un espacio de Banach, o equivalentemente, es un subespacio
cerrado en Lp (D).
Demostracion. (a) Fijemos z D y f H(D). Gracias al teorema del valor
2
1
medio para funciones analticas, obtenemos que f (z) = 2
f (z + rei ) d
0
para todo r (0, 1 |z|), lo que implica que
1|z| 2
1|z|
(
)
1
f (z)r dr =
f (z + rei )r d dr.
2 0
0
0
Podemos usar ahora el Teorema de Fubini de integracion iterada, as como
el cambio de variables (r, ) 7 (x, y). Recordemos que el jacobiano de paso
de las variables polares a cartesianas es J( x,y
) = r. En consecuencia, el
r,
segundo miembro de la igualdad anterior entre integrales se transforma en

(1|z|)2
1
f
(w)
dA(w),
mientras
que
el
primer
miembro
vale
f
(z)
.
2
2
B(z,1|z|)

1
Por tanto f (z) = (1|z|)2
f (w) dA(w). De aqu y de la desigualdad
B(z,1|z|)
de Holder, resulta
1
|f (z)|
(1 |z|)2

|f (w)| dA(w)
B(z,1|z|)

ESPACIOS DE FUNCIONES ANAL

ITICAS

(
1

2
(1 |z|)

81

)1/p
|f (w)|p dA(w)

B(z,1|z|)

f p
.
(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 |
K

1
f p .
(1r)2

De aqu se obtiene (b).

(c) Es muy similar a la prueba de la parte (b) del Teorema 2.3.1.

Anotemos que si p (1, +) y q es el exponente conjugado de p, entonces

el dual B p (D) de B p (D) es isomorfo a B q (D).

2.3.3.

Funciones subarm
onicas

En este apartado introducimos una clase importante de funciones auxiliares que nos seran u
tiles para conseguir algunas desigualdades satisfechas
por elementos de nuestros espacios funcionales.
Definici
on 2.3.5. Sea G C un abierto y v : G R una funcion continua.
Decimos que v es subarmonica en G cuando, para cada bola B(a, r) G, se
tiene

2
1
v(a + rei ) d.
v(a)
2 0
Ya que las funciones armonicas cumplen la propiedad del valor medio,

se tiene que toda funcion armonica es subarmonica. A continuacion, proporcionaremos ejemplos no triviales de funciones subarmonicas.
Teorema 2.3.6. Supongamos que G C es un abierto, que f H(G) y que
p (0, +). Entonces las funciones ln+ |f | y |f |p son subarm
onicas en G.
Demostracion. Es claro que las funciones ln+ |f | y |f |p son continuas en
G. Fijemos una bola B(a, r) G. Si f (a) = 0, se cumple trivialmente la
desigualdad dada en la denicion de subarmonicidad para v = ln+ |f | y
v = |f |p . As que podemos suponer que f (a) = 0. Entonces de la formula de
Jensen dada en la Proposicion 2.4.3 (ver mas adelante) inferimos que
2
1
ln |f (a + rei )| d.
ln |f (a)|
2 0

[1]

82

Luis Bernal Gonz

alez

Ya que ln+ t ln t para todo t 0, obtenemos de [1] que ln+ |f (a)|

2 +
1
ln |f (a + rei )| d, porque el primer miembro vale ln |f (a)| si |f (a)|
2 0
1, y vale 0 en caso contrario. Esto muestra que ln+ |f | es subarmonica. En
cuanto a la subarmonicidad de |f |p , basta aplicar a ambos miembros de [1] la
funcion creciente (t) := ept y considerar la desigualdad integral de Jensen
para funciones convexas (ver el Ejercicio 48 del Captulo 1).

Damos ahora una caracterizacion de la subarmonicidad, aunque solo sera

enunciada la implicacion que necesitaremos mas adelante. El termino subarmonica se inspira en el resultado de este teorema.
Teorema 2.3.7. Sean G C un abierto, v : G R una funcion subarmonica, K G un subconjunto compacto, y h : K R una funcion
continua en K tal que h Arm(K 0 ). Si v h en K, entonces v h en
K.
Demostracion. Pongamos v1 := v h y supongamos, por reduccion al absurdo, que v1 (z) > 0 para alg
un z K 0 . Ya que v1 es continua en K, v1
alcanza su maximo m en K; y ya que v1 0 en K, el conjunto E := {z
K : v1 (z) = m} es un subconjunto compacto no vaco de K 0 . Sea z0 E.
Entonces para alg
un r > 0 tenemos B(z0 , r) K 0 , pero alg
un subarco de
|z z0 | = r esta en E c . Por tanto
1
v1 (z0 ) = m >
2

v1 (z0 + rei ) d,
0

y esto signica que v1 no es subarmonica en K 0 . Pero, por el teorema del

valor medio para funciones armonicas, la funcion v h es subarmonica en
K 0 , lo cual es una contradiccion.

Corolario 2.3.8. Si v es una funcion subarm

onica en D, entonces la funcion

2
1
v(rei ) d R es creciente.
r [0, 1) 7 m(r) := 2
0

ESPACIOS DE FUNCIONES ANAL

ITICAS

83

Demostracion. Fijemos r1 , r2 tales que 0 r1 < r2 < 1. De acuerdo con el

teorema de Schwarz que da la solucion al problema de Dirichlet, existe una
(
unica) funcion continua h : B(0, r2 ) R tal que h es armonica en B(0, r2 )
y h = v en |z| = r2 . Por el teorema anterior, v h en B(0, r2 ). Por tanto
2
2
1
1
i
m(r1 ) =
v(r1 e ) d
h(r1 ei ) d
2 0
2 0
2
2
1
1
i
= h(0) =
h(r2 e ) d =
v(r2 ei ) d = m(r2 ),
2 0
2 0
2

como se quera demostrar.

2.3.4.

Operador de composici
on

Si : D D es una funcion analtica, es facil ver que la aplicacion C :

f H(D) 7 f H(D) esta bien denida y es un operador sobre H(D),
es decir, es lineal y continua. Diremos que C es el operador de composici
on
asociado a . No es inmediato que C sea un operador sobre B p (D). Esto es
lo que vamos a demostrar en las siguientes lneas.
a subordinada a g
Definici
on 2.3.6. Sean f, g H(D). Se dice que f est
cuando existe : D D holomorfa tal que (0) = 0 y f = g .
Usaremos el siguiente resultado, debido a Littlewood, que es importante
por s mismo. Antes de ello, recordemos que el Lema de Schwarz arma que
si f : D D es holomorfa y f (0) = 0, entonces |f (z)| |z| para todo z D.
Teorema 2.3.9. [Teorema de subordinacion de Littlewood]
Sean p (0, +) y r [0, 1). Si f est
a subordinada a g, entonces
2
2
i p
|f (re )| d
|g(rei )|p d.
0

Demostracion. Por hipotesis, existe : D D tal que H(D), (0) = 0

y f = g . Fijemos r (0, 1). Por el Teorema de Schwarz de existencia de

84

Luis Bernal Gonz

alez

solucion para el problema de Dirichlet en un disco, existe h C(B(0, r))

Arm(B(0, r)) tal que h||z|=r = |g|p . Ahora bien, resulta que |g(z)|p h(z)
para todo z B(0, r) porque, al ser |g| analtica, se tiene que |g|p es subarmonica (Teorema 2.3.6) y podemos aplicar el Teorema 2.3.7. Por el Lema
de Schwarz, (B(0, r)) B(0, r), luego |f (z)|p = |g((z))|p h((z)) para
todo z B(0, r). Ahora bien, h C(B(0, r)) Arm(B(0, r)), luego, por
la desigualdad anterior y el teorema del valor medio, deducimos
2
2
1
1
i p
|f (re )| d
h((rei )) d = h((0))
2 0
2 0
2
2
1
1
i
= h(0) =
h(re ) d =
|g(rei )|p d,
2 0
2 0
como se quera demostrar.

Teorema 2.3.10. Sean : D D holomorfa, p > 0 y f H(D). Entonces

( 1 + |(0)| )2
p
|f ((z))| dA(z)
|f (z)|p dA(z).
1

|(0)|
D
D
En particular, para cada p [1, +), la aplicaci
on C es un operador sobre
el espacio de Bergman B p (D), cuya norma C satisface
C

( 1 + |(0)| )2/p
.
1 |(0)|

Demostracion. Para cada a D, consideremos el automorsmo a de D dado

por a (z) =

az
.
1az

Notemos que a (a) = 0 y que 1

a = a . Sea a = (0) y

denamos como := a . Entonces H(D), (D) D, (0) = 0 y

= a . Por el teorema de subordinacion de Littlewood, tenemos
2
2
2
i
p
i p
|f ((re ))| d =
|f a (re )| d
|f a (rei )|p d
0

para cada r (0, 1). Multiplicando por r cada miembro de la desigualdad

anterior e integrando entre 0 y 1, conseguimos que


p
|f ((z))| dA(z)
|f a (z)|p dA(z).
D

ESPACIOS DE FUNCIONES ANAL

ITICAS

85

Cambiamos ahora la variable en la segunda integral. Notemos que el jaco

2
biano de a (= 1
a ) es |a (z)| =

(1|a|2 )2
.
|1az|4

(1 |a|2 )2
|f ((z))| dA(z)
(1 |a|)4
D

Entonces

( 1 + |a| )2
1 |a|

|f (z)|p dA(z)
|f (z)|p dA(z),
2

como se requera.

2.4.

Funciones analticas acotadas

A continuacion, estudiaremos el espacio vectorial H (D) de la funciones analticas y acotadas en D. Es un tipo especial de espacio de Hardy,
que tiene unas connotaciones algo distintas a los espacios de Hardy clasicos
H p (D), a estudiar mas adelante. Estudiaremos en primer lugar el importante
ejemplo de los productos de Blaschke, que son productos de automorsmos
de D. Seguidamente, factorizaremos una funcion de H (D) como producto
de un producto de Blaschke que engloba sus ceros y de otra funcion que no
se anula pero que mantiene la norma.
Observemos primero que para una funcion f : D C, si denotamos
M (f, r) := sup |f (rei )| (0 r < 1), entonces f H (D) [f H(D)

y sup M (f, r) = lm M (f, r) < +]. Observemos que el supremo coincide

r1

0r<1

con el lmite pues la funcion r 7 M (f, r) es creciente debido al principio del

modulo maximo.
Se tiene que H(C) = {funciones enteras} ( H (D) ( H(D). Por ejemplo,
si f (z) =

1
z1

y g(z) =

1
,
z2

entonces f H(D) \ H (D) y g H (D) \

H(C).
Es facil ver, usando el teorema de convergencia de Weierstrass, que H (D)
es un espacio de Banach cuando se le dota de la norma del supremo, dada

86

Luis Bernal Gonz

alez

por f = sup |f (z)|. De hecho, es un subespacio cerrado del espacio de

zD

Banach (Cb (D), ) de las funciones f : D C continuas y acotadas. Se

puede probar que H (D) no es separable.

2.4.1.

Productos de Blaschke

Recordemos que los automorsmos de D son las transformaciones biza

, |a| < 1, R.
lineales de la forma ei 1az

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
, con
1an z
R, N N0 y a1 , . . . , aN D.

n=1

Es evidente que f H (D); de hecho, |f (z)| 1 para todo z D.

Para pasar a productos de Blaschke innitos, necesitamos condiciones sobre
el crecimiento de los ceros an y ajustar los coecientes ei en cada factor.
Pero antes de enunciar un resultado que sirve para denir los productos innitos de Blaschke, vamos a recordar en la siguiente proposicion algunas
propiedades sobre convergencia de productos innitos que usaremos en la
demostracion. Por denicion, si fn : A C (n N) es una sucesion de funciones denidas sobre un mismo subconjunto A de C, se dice que el producto

fn converge normalmente en A si el producto numerico

funcional innito

n=1

(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.
Proposici
on 2.4.1. (a) En las condiciones de la definicion anterior, se tiene

que el producto infinito

fn converge normalmente en A si y solo si la serie

n=1

n=1

supA |fn 1| es convergente. Adem

as, si tal es el caso, se tiene que los

ESPACIOS DE FUNCIONES ANAL

ITICAS

productos parciales Pn :=

87

fk (n N) convergen uniformemente en A a

k=1

una funcion f : A C. Esta funcion sera denotada por f =

(b) Si G C es un abierto, {fn }

n=1 H(G) y
en cada compacto K G, entonces f :=

fn .

n=1

fn converge normalmente

n=1

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

Teorema 2.4.2. Sean k N0 , C con || = 1 y {an }

n=1 D \ {0} una

sucesion tal que

(1 |an |) < +. Entonces el producto funcional infinito
n=1

B(z) := z k

|an | an z
an 1 an z
n=1

(z D)

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.
Por denicion, un producto de Blaschke es un producto de Blaschke nito
o bien una funcion B como la descrita en el teorema anterior, asociada a una
sucesion {an }
en
n=1 D \ {0}. Por tanto, una constante unimodular es tambi
un producto de Blaschke. A la sucesion vaca se le asocia, por convenio, el
producto de Blaschke dado por la funcion constante 1.
Demostracion del Teorema 2.4.2. Supongamos probado que, para cada r
(0, 1), el producto converge normalmente en B(0, r). En tal caso, convergera
normalmente en cada compacto de D. Ya que cada factor esta en H(D) y tiene
como (
unico) cero a an , resulta de la proposicion anterior que B H(D) y que
sus ceros son los especicados en el enunciado. Puesto que cada factor tiene
modulo que menor que 1 en D, lo mismo ocurrira con B. As que, jado un

88

Luis Bernal Gonz

alez

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


 


  an + |an |z 
|a
|
a

z
n
n
1
=
 (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
|an |) < +, luego nuestra serie tambien converge.

2.4.2.

1+r
1r

n=1

(1
2

Teorema de factorizaci
on de Riesz

El siguiente resultado, conocido como Formula de Jensen, resultara muy

u
til para estudiar el comportamiento de los ceros y la factorizacion en los espacios de Hardy. Su prueba se basa en la aplicacion del teorema del valor
medio a una funcion armonica adecuada.
Proposici
on 2.4.3. Sea f H(B(0, r))\{0} con f (0) = 0, y sean a1 , . . . , aN
sus ceros en B(0, r), donde r (0, +). Entonces
}
{ 2
N

1
r
i
ln |f (re )| d .
|f (0)|
= exp
|an |
2 0
n=1
Si fuese f (0) = 0 con multiplicidad m, la formula sera la misma salvo que
hay que sustituir en el primer miembro |f (0)| por |c|rm , donde c = lm fz(z)
m ,
z0

y los a1 , . . . , aN seran los ceros no nulos de f .

En el proximo teorema, unido al Teorema 2.4.2, se arma que una sucesion
on de ceros de alguna funcion analtica y acotada
{an }
n=1 D es la sucesi
en D si solo si se cumple la condicion de convergencia para productos de
Blaschke.
Teorema 2.4.4. Sea f H (D) \ {0} y sea {an }
on de ceros de
n=1 la sucesi

f , enumerados seg
un su multiplicidad. Entonces
(1 |an |) < +.
n=1

ESPACIOS DE FUNCIONES ANAL

ITICAS

89

Demostracion. Si hay un n
umero nito de ceros, no hay nada que probar. Si
hay un n
umero innito, debe ser |an | 1 (por el Principio de Prolongacion
Analtica), as que podemos suponer, con un cambio de orden y desplazamiento de los ndices si es preciso, que el origen es m-m
ultiple con m N0 y que
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

ln |arn | = ln(|c|rm ) +
|an |<r

1
2

2
0

ln |f (rei )| d ln(|c|rm ) + C,

donde C es una constante nita, debido a que f es acotada.

N

ln |arn | [primer
Fijemos un N N. Para cada r > |aN | tenemos que
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

n=1

ln |a1n | converge. Ya que es una serie de terminos positivos, del

= 1 y del criterio de comparacion por paso al lmite se

hecho lm ln(1+t)
t
t0

(1 |an |) tambien converge.

2
deduce que
n=1

Corolario 2.4.5. Si f H (D) y existe una sucesi

on {an }
n=1 {ceros de

(1 |an |) = + entonces f 0.
f } tal que
n=1

Podemos decir en conclusion que si una funcion f 0 acotada tiene

innitos ceros en D, estos deben tender rapidamente a D.
Teorema 2.4.6. [Factorizacion de Riesz en H por productos de Blaschke]
Sean f H (D) \ {0} y B el producto de Blaschke formado con los ceros
de f . Entonces existe g H (D) tal que g(z) = 0 para todo z D,
g = f y f = g B.
Demostracion. Podemos suponer que f tiene innitos ceros (si tuviese un
n
umero nito de ceros, la demostracion sera similar, pero mas sencilla), y

90

Luis Bernal Gonz

alez

los disponemos en sucesion, teniendo en cuenta sus multiplicidades. Recordemos que el producto B es convergente porque f es acotada. Ya que B tiene
exactamente los mismos ceros que f con las mismas multiplicidades, se tiene
que g :=

f
B

H(D), y no se anula en D. Evidentemente, f = g B. Sea Bn el

producto de Blaschke nito formado con los n primeros ceros. Como |Bn | < 1
en D, es claro que gn f para todo n N, donde gn :=

f
.
Bn

Aho-

ra bien, jado n, se tiene que lm |Bn (z)| = 1. Fijemos momentaneamente

|z|1

r (0, 1) y (0, 1). Entonces existe R (r, 1) tal que |Bn (z)| > 1 si
|z| = R. Por tanto, M (gn , r) M (gn , R)
gn = sup M (gn , r)
0<r<1

f
1

f
,
1

de donde se deduce que

para cada (0, 1). Luego gn f

y, en consecuencia, gn = f .
Por otra parte, como |B| < 1 en D, resulta que g f . Pero
gn g puntualmente en D y |gn (z)| f para todo n N y todo z D,
as que |g(z)| f para todo z D, luego g f , de donde
deducimos g = f .

2.5.

Espacios de Hardy

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/p
( 1 2
|f (rei )|p d
.
sup Mp (f, r) < +}, donde Mp (f, r) := 2
0
0r<1

A partir de las deniciones y de la desigualdad de Holder, se deduce con

facilidad que H H p H q con 0 < q < p < +.
Gracias al Teorema 2.3.6 y al Corolario 2.3.8, se tiene que, para cada f
H(D) y cada p (0, +), la funcion r 7 Mp (f, r) es creciente. Por tanto,
f p := sup Mp (f, r) = lm Mp (f, r). Entonces f H p f p < +.
0r<1

r1

ESPACIOS DE FUNCIONES ANAL

ITICAS

91

Como veremos en el proximo teorema, para p 1 se tiene que H p es, de

hecho, un espacio de Banach. Y si p = 2, es ademas un espacio de Hilbert.
(a) Si p 1, la aplicaci
on p es una norma sobre H p

Teorema 2.5.1.

que hace de el un espacio de Banach.

(b) Si p 1, la convergencia en H p es mas fuerte que la convergencia
uniforme en compactos de D.

(c) Si f (z) =

n=0

Ademas, f 2 =

)
2 1/2

|an |

n=0

producto escalar f, g :=

an z n H(D), entonces f H 2

|an |2 < +.

n=0
2

, y H es un espacio de Hilbert con el

an bn , donde f (z) =

n=0

an z n y g(z) =

n=0

bn z .

n=0

Demostracion. Fijemos un n
umero p [1, +), una funcion f H p y un
compacto K D. Entonces existe r (0, 1) tal que K B(0, r). Escojamos
R (r, 1) y llamemos a la circunferencia t = Rei , con [0, 2].
H f (t)
1
Por la formula de la integral de Cauchy, se tiene que f (z) = 2i
dt
tz
para todo z K. Entonces, si z K, se deduce para todo R (r, 1) que


2
2
 1
M1 (f, R)
f p
f (Rei )Riei 
1
|f (Rei )|

|f (z)| = 
d

d =

,

i
2i 0
Re z
2 0
Rr
Rr
Rr
para todo R (r, 1), donde la u
ltima desigualdad es valida por la desigualdad
de Holder. Por tanto
sup |f (z)|
zK

f p
.
1r

[2]

De aqu se deduce (b), pues si {fn }n1 H p f y fn f en H p , entonces

sup |fn (z) f (z)|
zK

fn f p
1r

0 (n ) para cada compacto K D.

En cuanto a (a), si f, g H p y C, de la igualdad |f |p = ||p |f |p y

de la desigualdad
(a + b)p 2p (ap + bp ) (a, b 0)

92

Luis Bernal Gonz

alez

resulta que f, f + g H p y f p = || f p . La desigualdad f +

gp f p +gp se obtiene de la desigualdad de Minkowski para integrales.
As que H p es un espacio vectorial y p es una norma sobre el.
Queda probar que H p es completo para la distancia d(f, g) := f gp .
Fijemos pues una sucesion de Cauchy (fn ) H p para d. Ahora bien, por
la desigualdad [2], aplicada a fm fn (m, n N), deducimos que (fn ) es de
Cauchy para la metrica que genera la topologa de H(D), que es un espacio
metrico completo, lo que implica que existe f H(D) tal que fn f
compactamente en D. Probemos que f H p y que fn f en H p . Dado
> 0, podemos encontrar un N N tal que fn fm p < para todo
n, m N . Por tanto, para todo r [0, 1), y todo m, n N, se tiene que
Mp (fn fm , r) < . Ya que fn f uniformemente en {|t| = r}, podemos
2
intercambiar lm con 0 , de donde resulta Mp (f fm , r) para cada
n

r [0, 1) y cada m N . Haciendo m = N , obtenemos f fN H p , luego

f H p . Pero tambien obtenemos (tomando sup ) que f fm p para
todo m N , as que fm f en p .
(

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

f 22

n=0

k=0

|an | , de donde se deduce que f H si y solo si la u

ltima serie
2

n=0

es convergente. Por el apartado (a), H 2 es completo.

Que , esta bien denido se ve gracias a la desigualdad de CauchySchwarz, y es inmediato comprobar que es un producto escalar. As que H 2
es un espacio de Hilbert.

En el caso p (0, 1), la aplicacion p ya no es una norma, pero H p

sigue siendo un espacio vectorial, y ademas la aplicacion d(f, g) := f gpp
es una distancia sobre el. Para demostrarlo, se utiliza que, para todo p (0, 1)

ESPACIOS DE FUNCIONES ANAL

ITICAS

93

y todo a, b 0, se tiene (a+b)p ap +bp . Puede probarse que dicha distancia

es completa.

2.5.1.

Estructura de las funciones de H p

De modo parecido a como ocurra con H , podemos limpiar cada

funcion H p de sus ceros sin aumentar la norma. Recordemos que, ya que
2
sup 0 ln |f (rei )| d < + para toda funcion f H p , los ceros (an ) de
0r<1

una funcion de H p cumplen

(1 |an |) < + [ver la prueba del Teorema
2.4.4], luego el correspondiente producto de Blaschke esta bien denido.
Teorema 2.5.2. [Teorema de Riesz de factorizacion en H p por productos de
Blaschke] Sean p > 0, f H p \ {0} y B el producto de Blaschke formado
con los ceros de f . Entonces existe g H p tal que g no se anula, f = g B
y gp = f p .
Demostracion. La prueba sigue las mismas lneas del correspondiente teorema para H . As que mantenemos las notaciones del mismo. Deniendo
g=

f
,
B

se tiene que g H(D) y no se anula en D. Ya que |B| < 1, resulta

que |g| |f | en D, luego gp f p .

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

r1
{
}1/p
2
1
i p
i p
lm 2 0 |gn (re )| |Bn (re )| d
. Ahora bien, jado (0, 1), existe
r1

alg
un r0 = r0 () (0, 1) tal que |Bn (rei )| > 1 para todo [0, 2]
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

Mp (g, r) f p (r (0, 1)). Tomando ahora supremos en r (0, 1), resulta

gp f p , luego g H p y gp = f p .

Sabemos que H H p para cada p > 0. Vamos a ver que, de hecho,

toda funcion de H p es el cociente de alg
un par de funciones holomorfas y
acotadas.
Teorema 2.5.3. [de F. y R. Nevanlinna] Sea p > 0 y f H p . Entonces
existen , H tales que no se anula en D y f = /.
Demostracion.

Sin perdida de generalidad, podemos suponer que f 0.

Tomemos r > 0 tal que f no se anula en |z| = r. Antes de seguir, observemos

2 +
1
que, al ser f H p , se tiene que M := sup 2
ln |f (rei )| d < +.
0
0r<1

Fijemos r (0, 1) y sean a1 , . . . , aN los ceros de f en rD. Gracias a la

formula de Poisson-Jensen (ver Ejercicio 32), se tiene para todo z rD que
}
{ 2
1
rei + z
i
ln |f (re )| i
d ,
f (z) = gr (z) exp
2 0
re z
donde hemos denotado gr (z) = C

n=1

r(an z)
,
r 2 an z

siendo C una constante de

modulo 1. Notemos que gr (z) H(rD) y que |gr | < 1 en rD. Entonces
podemos escribir en rD que f = r /r , donde
{
}
2
1
rei + z

i
r (z) := gr (z) exp
ln |f (re )| i
d
2 0
re z
{
}
2
1
rei + z
+
i
y r (z) := exp
ln |f (re )| i
d .
2 0
re z
Elijamos ahora una sucesion rk 1 tal que f (z) = 0 para todo z con
|z| = rk (k N). Denamos
k (z) := rk (rk z) y k (z) := rk (rk z) (z D, k N).
Entonces k y k H(D), |k | 1, |k | 1 en D y f (rk z) =

k (z)
k (z)

para

cada z D y cada k N. Ahora bien, por el Teorema de Montel, (k )

ESPACIOS DE FUNCIONES ANAL

ITICAS

95

y (k ) son familias relativamente compactas. En consecuencia, existe una

subsucesion (kj ) N, as como funciones , H(D), tales que kj
y kj compactamente en D. Necesariamente, || 1 y || 1 en
D. Por otra parte, f (rkj z) f (z) compactamente en D cuando k .
Para concluir que f =

basta probar que 0 [pues del Teorema de

Hurwitz se deducira que (z) = 0 para todo z D]. Para verlo, observemos
{
}
2 +
1
i
que |k (0)| = |rk (0)| = exp 2
ln
|f
(r
e
)|
d
eM = constante
k
0
> 0. Como kj , resulta |(0)| eM , luego 0.

2.5.2.

Integrales de Poisson-Stieltjes

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
Pr () :=

r|n| ein =

n=

1 + rei
1 r2
=
Re
1 + r2 2r cos
1 rei

(0 r < 1, R).

Definici
on 2.5.2. Sea : T R una funcion tal que L1 (T). La
transformada de Poisson o integral de Poisson de se dene como la funcion
P [] : D R dada por
1
P [](z) :=
2

(ei ) Pr ( ) d

para todo z = rei D.

De teoremas conocidos de analiticidad y derivabilidad de integrales dependientes de un parametro, obtenemos que P [] Arm(D) para cada
L1 (T). Como caso particular, el Teorema de Schwarz, que resuelve el
Problema de Dirichlet en un disco, arma que, dada C(T), se tiene que
existe una u
nica funcion F C(D) Arm(D) tal que F |T = , y que F viene

96

Luis Bernal Gonz

alez

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

2
1
Pr (
particular, es de variacion acotada en [0, 2]) y P [](z) = 2
0
0

) 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

|(tk ) (tk1 )| M .
{t0 = a < t1 < < tn = b} de [a, b], se tiene que
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:
Si : [a, b] R esta en BV [a, b], existen funciones 1 , 2 : [a, b] R
crecientes tales que = 1 2 . En particular, BV [a, b] es la variedad
lineal generada por las funciones monotonas.
Se cumplen las siguientes relaciones de inclusion: C[a, b] BV [a, b],
C[a, b] BV [a, b] y C 1 [a, b] BV [a, b].
Si BV [a, b], entonces es continua salvo en un conjunto numerable de puntos, donde tiene discontinuidades de salto. Adem
as, existe
derivada () R ect [a, b].
Definici
on 2.5.3. Consideremos dos funciones f, g : [a, b] R. Diremos
que f es Riemann-Stieltjes integrable respecto de g en [a, b] cuando existe
un n
umero A R con la siguiente propiedad: para cada > 0 existe una
particion P0 = P0 () P[a, b] tal que, para toda P = {a = t0 < t1 <
< tN = b} P[a, b] con P P0 y todo sistema de puntos k [tk1 , tk ]

ESPACIOS DE FUNCIONES ANAL

ITICAS

97

(k = 1, . . . , N ), se tiene


N





f (k )(g(tk ) g(tk1 )) < .
A


k=1

En tal caso, diremos que A es la integral de Riemann-Stieltjes de f respecto

b
de g, y escribiremos a f dg = A.
Es facil probar que el n
umero A, si existe, es u
nico. El conjunto de las
funciones que son Riemann-Stieltjes integrables respecto de g en [a, b] sera denotado por RSg [a, b].
Proposici
on 2.5.5. Se verifican las siguientes propiedades:
(a) Si g(x) = x, entonces f RSg [a, b] f R[a, b]. En tal caso,

f dg =

f (x) dx.

(b) RSg [a, b] es un espacio vectorial. Especficamente, si f, h RSg [a, b] y

, R, entonces f + h RSg [a, b] y

(f + h) dg =
a

f dg +
a

h dg.
a

(c) Si f RSg [a, b] RSh [a, b] y , R, entonces f RSg+h [a, b] y

f d(g + h) =
a

f dg +
a

f dh.
a

(d) Si c (a, b) y f RSg [a, b], entonces f RSg [a, c] RSg [c, b] y

f dg =
a

f dg +
a

f dg.
c

(e) Si f C[a, b] y g BV [a, b], entonces f RSg [a, b].

(f) Si f BV [a, b] y g C[a, b], entonces f RSg [a, b].

98

Luis Bernal Gonz

alez

(g) Es valida la formula de integraci

on por partes. Especficamente, si f
RSg [a, b], entonces g RSf [a, b] y
b
b
g df = f (b)g(b) f (a)g(a)
f dg.
a

(h) Si f C[a, b] y g C 1 [a, b], entonces existe

b
a

f dg =

b
a

f (x)g (x) dx.

Definici
on 2.5.4. Si BV [0, 2], diremos que la funcion u = P [d] :
D R dada por
1
u(z) =
2

Pr ( ) d() (z = rei D)
0

es una integral de Poisson-Stieltjes.

En la siguiente proposicion se recuerdan algunas propiedades elementales
del n
ucleo de Poisson.
Proposici
on 2.5.6. Para cada r (0, 1), la funcion Pr es positiva, par y
2-periodica en R. Ademas, es estrictamente decreciente en [0, ] y
2
1
Pr () d = 1.
2 0
Nos preguntamos cuando una funcion u Arm(D) es una integral de
Poisson-Stieltjes. La respuesta nos la dara un proximo resultado, el cual nos
dice que esto ocurre cuando las medias integrales de su modulo en circunferencias concentricas estan acotadas. Pero antes necesitaremos el siguiente
lema, cuya prueba no sera dada. Que una familia de funciones f : [a, b] R
( I) sea uniformemente de variacion acotada en [a, b] signica que cada
una de ellas es de variacion acotada en [a, b] pero que, ademas, la constante
M de la denicion no depende de .
Lema 2.5.7. [Principio de seleccion de Helly] Sea n : [a, b] R (n N)
una sucesion uniformemente acotada de funciones uniformemente de variacion

ESPACIOS DE FUNCIONES ANAL

ITICAS

99

acotada. Entonces existen una subsucesi

on (nk ) de (n ) y una funcion
BV [a, b] tales que nk puntualmente en [a, b] y, para cada funcion
C[a, b], se verifica que

(t) dnk (t) =

lm

(t) d(t).

Teorema 2.5.8. [Caracterizacion de las integrales de Poisson-Stieltjes]

Sea u : D R una funcion. Son equivalentes:
(a) u es una integral de Poisson-Stieltjes.
(b) Existen u1 , u2 Arm(D) tales que u = u1 u2 y u1 , u2 0 en D.
(c) u Arm(D) y sup

0r<1

2
0

|u(rei )| d < +.

Demostracion. (a) (b): Por hipotesis, existe BV [0, 2] tal que u(z) =
2
1
Pr ( ) d() para todo z = rei D. Ahora bien, existen 1 , 2 :
2 0
[0, 2] R crecientes tales que = 1 2 . Entonces u = u1 u2 , donde
2
1
uj (z) := 2
Pr ( ) dj () (j = 1, 2) son armonicas, y ademas son
0
mayores o iguales a cero ya que Pr () > 0 para todo .
(b) (c): Por hipotesis, existen u1 , u2 Arm(D) tales que u1 , u2
0 y u = u1 u2 . Por tanto, u Arm(D). Fijado r [0, 1), |u(rei )|
u1 (rei ) + u2 (rei ) para todo [0, 2]. Gracias a la propiedad del valor
2
medio, obtenemos que 0 |u(rei )| d (u1 (0)+u2 (0))2 = constante < +
para cada r [0, 1).
(c) (a): Sea u Arm(D) tal que sup

0r<1

2
0

|u(rei )| d =: C < +.

Hemos de encontrar una funcion BV [0, 2] tal que u = P [d]. Para cada
r (0, 1), denimos la funcion r : [0, 2] R mediante

u(rei ) d.

r (t) :=
0

100

Luis Bernal Gonz

alez

Entonces r (0) = 0 y, para cada particion 0 = t0 < t1 < < tn = 2,

resulta que
n

|r (tj ) r (tj1 )|

j=1

|u(rei )| d C.
0

Entonces las funciones r son uniformemente acotadas y uniformemente de

variacion acotada en [0, 2]. De acuerdo con el lema anterior, existe una
sucesion creciente (rn ) que tiende a 1 tal que rn (t) (t) para todo t
[0, 2], donde BV [0, 2]. Ademas, para cada C[0, 2], se cumple
la igualdad integral dada en dicho lema. Si combinamos este hecho con la
formula de Poisson, obtenemos en denitiva que, para cada z = rei D,
2
1
Pr ( t)u(rn eit ) dt
u(z) = lm u(rn z) = lm
n
n 2 0
2
2
1
1
= lm
Pr ( t) drn (t) =
Pr ( t) d(t) = P [d](z),
n 2 0
2 0
como se requera.

De la prueba del teorema anterior se deduce la as denominada representacion integral de Herglotz : toda funcion u Arm(D) con u 0 es la
integral de Poisson-Stieltjes de alguna funcion creciente .

2.5.3.

Existencia de lmites radiales

Utilizando el u
ltimo teorema demostrado, probaremos la existencia de
lmites radiales nitos f (ei ) en casi todo [0, 2] para cada f H p (0 <
p +). Despues se vera como las correspondientes funciones f tienen
propiedades adecuadas de integrabilidad y sirven para denir las normas en
los H p .
Teorema 2.5.9. Sean u : D R una funcion, BV [0, 2], 0 [0, 2]
y L1 (T). Se verifica:

ESPACIOS DE FUNCIONES ANAL

ITICAS

101

(a) Si u = P [d] y existe (0 ) R, entonces existe el limite radial

lm u(rei0 ) = (0 ).

r1

(b) Si u Arm(D) y sup

0r<1

2
0

|u(rei )| d < +, entonces u tiene lmite

radial finito =: u (ei ) ect [0, 2].

(c) Si u = P [], entonces existe u (ei ) = (ei ) ect [0, 2].
Demostracion. La parte (b) se deduce de (a) y del Teorema 2.5.8, ya que
una funcion de BV [0, 2] tiene derivada nita en casi todo . La parte (c)

es el caso especial () := 0 (eit ) dt, pues en tal caso se tiene que es de

variacion acotada y existe () = (ei ) ect [0, 2].
Probemos (a). Podemos suponer que 0 = 0, as que se ha de probar que

1
P () d = 1 y a continuacion
lm u(r) = A := (0). Si utilizamos que 2
r

r1

usamos integracion por partes, tenemos que

1
1
u(r) A =
Pr () d() A =
Pr () d(() A)
2
2

1
1
=
(() A)Pr () d.
=
[Pr ()(() A)]=
2
2
Notemos que

1
[Pr ()(()
2

A)]=
= 0 cuando r 1.

Para cada (0, ) jo, resulta que |Pr ()|

si 0 < || , luego
1
lm
r1 2

2r(1r 2 )
(12r cos +r2 )2

0 (r 1)

Pr ()(() A) d = 0.

||

Esto conlleva que, para cada (0, 2), u(r) = A + (, r) + I(, r), donde
lm (, r) = 0 e

r1

)
1 ( () ()
=
A (Pr ()) d.
0
2



 ()()

Dado > 0, escojamos (0, ) tal que 
A para todo
2

1
I(, r) :=
2

(()A)Pr () d

(0, ). Ya que cos es decreciente en [0, ], tenemos que Pr () es decreciente

102

Luis Bernal Gonz

alez

tambien, luego |Pr ()| = Pr () en [0, ]. Y ya que Pr () es impar en [, ],

resulta |Pr ()| = Pr () en [, 0], luego |||Pr ()| = (Pr ()) en [, ].

Por tanto, |I(, r)| 0 |||Pr ()| d (Pr ()) d. Integrando por
partes, obtenemos que
}
{
{
}

1 + r

=
[Pr ()]= +
Pr () d =
2
+ 2 < 2.
|I(, r)|

1+r

Resumiendo, u(r) = A + [un termino con valor absoluto < 2] + (, r).

Para el > 0 y el > 0 jados, tomemos r0 (0, 1) tal que |(, r)| <
para todo r (r0 , 1). Obtenemos nalmente que |u(r) A| < 3 para cada
r (r0 , 1), lo que implica que lm u(r) = A.

r1

Vamos a ver que podemos incluso anar la existencia de limites radiales.

Definici
on 2.5.5. Se dice que una funcion f : D C tiene limite notangencial L en un punto ei0 T cuando
lm

zei0 , zS (0 )

f (z) = L

para todo (0, 2 ), donde S (0 ) := {z D : | arg(ei0 z)| < }.

Teorema 2.5.10. [Teorema de Fatou del lmite no tangencial]
Si f H , entonces el lmite radial f (ei ) := lm f (rei ) existe ect
r1

[0, 2]. Ademas, si 0 es tal que existe f (ei0 ), entonces f tiene lmite
no-tangencial en ei0 y coincide con f (ei0 ).
Demostracion.

Ya que f = u + iv es acotada, lo mismo ocurre con u y

v, luego estas funciones cumplen la condicion del apartado (b) del teorema
anterior. Por tanto u (ei ), v (ei ) existen (y son nitas porque f es acotada)
ect , luego existe f (ei ) (y es nita) ect [0, 2]. Sea ahora t0 = ei T
un punto tal que existe f (t0 ) =: L ( C).
Hemos de probar que, dado (0, 2 ), se tiene f (z) L (z t0 , z
S (0 )). Mediante una traslacion y una rotacion, podemos suponer que f

ESPACIOS DE FUNCIONES ANAL

ITICAS

103

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

que (fn )
n=1 H (B(1, 1)), as

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
K := {z : | arg z| y

cos
|z| cos } ( B(1, 1)),
2

donde (0, /2) se ha prejado.

Fijemos > 0. Hemos de probar que

lm

z0, zM

f (z) = L, donde M :=

{z B(1, 1) : | arg z| }. Es decir, se ha de demostrar que existe > 0 tal

que, si z B(0, )M , entonces |f (z)L| < . Ya que f (z/n) L (n )
uniformemente en K, podemos encontrar un n0 N tal que |f (z) L| <
1

para todo z
K. Por tanto, basta tomar > 0 tal que < cos
.
2
n
n0
nn0

Podemos ahora establecer el siguiente resultado auxiliar, que es interesante por s mismo.
Lema 2.5.11. Si B es un producto de Blaschke con ceros an (n 1) tales
que

(1 |an |) < +,

n=1

entonces existe el lmite radial y no tangencial B (ei ) ect [0, 2], y

ademas |B (ei )| = 1 ect [0, 2].
Demostracion. Gracias a los Teoremas 2.4.2 y 2.5.10, se tiene la primera
parte. Es obvio que |B (ei )| 1 en aquellos en los que existe B (ei ).
Probemos que |B (ei )| 1 ect .

104

Luis Bernal Gonz

alez

Recordemos que la funcion r [0, 1) 7 M1 (f, r) R es creciente para

cada f H(D), luego, si f H , del teorema de la convergencia dominada
de Lebesgue se deduce que, para cada r [0, 1),
2
2
i
|f (re )| d lm
|f (sei )| d
s1

lm |f (se )| d =
i

=
0

Aplicando este resultado a f =

s1
B
,
Bn

|f (ei )| d.

donde Bn es el producto de Blaschke

parcial n-esimo, y teniendo en cuenta que |Bn (ei )| 1 para todo n N,

resulta

 B(rei ) 

 d
 Bn (rei ) 

|B (ei )| d.

Pero Bn B (n ) uniformemente en {|z| = r}, luego 2

2
0

|B (ei )| d.

Por reduccion al absurdo, supongamos que existe A [0, 2] medible-Lebesgue

con m(A) > 0 tal que |B (ei )| < 1 para todo A. Entonces 2

i
|B
(e
)|
d
+
|B (ei )| d < 2, que es claramente una contradicA
[0,2]\A
2

cion.

El teorema de representacion de los hermanos Nevanlinna permite deducir propiedades de las funciones de H p a partir de las correspondientes
propiedades de las funciones de H . Por ejemplo, el comportamiento fronterizo puede ahora analizarse.
Teorema 2.5.12. Sean p (0, +) y f H p . Tenemos:
(a) El limite no tangencial f (ei ) existe y es finito ect .
(b) Si f 0, entonces ln |f | L1 (T).
(c) f Lp (T).
(d) Si f (ei ) = 0 en un subconjunto A [0, 2] con m(A) > 0, entonces
f 0.

ESPACIOS DE FUNCIONES ANAL

ITICAS

105

Notese que del apartado (d) se deduce que si f, g H p y f = g en un

conjunto de medida de Lebesgue positiva entonces f g.
Demostracion del Teorema 2.5.12. El apartado (d) se deduce de (b) por
reduccion al absurdo. Si f 0, el apartado (a) resulta evidente.
Sea f H p \ {0}. Probemos (a) y (b). Debido al teorema de los hermanos
Nevanlinna, existen funciones , H tales que || 1, || 1 y f = .
Al ser acotadas, del Teorema de Fatou se deduce que y tienen limites notangenciales nitos (ei ) y (ei ) respectivamente ect [0, 2]. Ahora
bien, gracias al Lema de Fatou, y teniendo en cuenta que el lm | ln |(rei )||
r1

existe de hecho ect [0, 2], obtenemos

2
2
i
| ln | (e )|| d =
lm inf | ln |(rei )|| d
0

lm inf
r1

r1

{
| ln |((re )|| d = lm inf
i

Pero la funcion r [0, 1) 7

r1

ln |(re )| d .
i

ln |(rei )| d es creciente, por la Formula

2
de Jensen. Luego la funcion opuesta r [0, 1) 7 0 ln |(rei )| d <
0

+ ( 0) es decreciente a un lmite necesariamente nito. Deducimos que

ln | | L1 (T) y, analogamente, ln | | L1 (T). En particular, (ei ) = 0
ect [0, 2]. Por tanto, el limite radial (y no-tangencial) f (ei ) existe y
es nito ect , y ademas ln |f | L1 (T) porque ln |f | = ln | | ln | |.
En cuanto a (c), apliquemos de nuevo el Lema de Fatou, pero esta vez
2
a |f (ei )|p . Teniendo en cuenta que la funcion r 7 0 |f (rei )|p d es creciente, resulta que
2
0

d
|f (e )|
=
2

lm inf |f (rei )|p

r1

d
2

d
= sup Mp (f, r)p = f pp < +.
r1
2
0r<1
0
( 2
)
d 1/p
Por tanto f Lp (T), y ademas f p f p , donde f p := 0 |f (ei )|p 2
.
lm inf

|f (rei )|p

106

Luis Bernal Gonz

alez

Hemos visto que f p f p para f H p . De hecho, se da la igualdad

de normas, as como la convergencia en media cuando r 1 de f (rei ) a su
funcion lmite radial.
Teorema 2.5.13. [de la convergencia en media en H p a valores frontera]
Si p (0, +) y f H p , se verifica:
(a) lm

r1 0

|f (rei ) f (ei )|p d = 0.

(b) f p = f p .
Demostracion. La parte (b) se deduce de (a) junto con la desigualdad de
Minkowski.
Probemos primero (a) para p = 2. Si f (z) =

an z n H 2 , entonces

n=0

|an | < +. Aplicando el Lema de Fatou, obtenemos, para r (0, 1),

2

n=0

|f (re ) f (e )| d =
i

s1

lm inf
s1

lm |f (rei ) f (sei )|2 d

|f (re ) f (se )| d = lm inf

i

s1

= lm inf 2
s1

n=1

|an | (s r ) = 2
2

n 2


2

an (rn sn )ein  d
n=0

|an |2 (1 rn )2 0 (r 1 ),

n=1

de donde deducimos (a) si p = 2. En la tercera igualdad, hemos usado que

2
|w|2 = w w y que 0 eik d = 0 o 2 seg
un que, respectivamente, k = 0 o
k Z \ {0}.
Sea ahora p (0, +) y f H p . Por el teorema de factorizacion por
productos de Blaschke, existe g H p sin ceros en D tal que f = B g,
donde B es el producto de Blaschke generado por los ceros de f . Ahora bien,
g p/2 H 2 [por tanto se puede aplicar el apartado (b) a esta funcion] y |B| 1

ESPACIOS DE FUNCIONES ANAL

ITICAS

107

(luego |g| |f |), y por el Lema 2.5.11 se tiene que |B | = 1 ect . Resulta
entonces que, cuando r 1,
2
2

i p
i p
|f (re )| d
|g(re )| d
0

|g (e )| d =
i

|f (ei )|p d,

|f (ei )|p d. Gracias al Lema de Far1

2
2
tou, obtenemos 0 |f (ei )|p d lm inf 0 |f (rei )|p d, lo que implica que
r1
2
2
existe lm 0 |f (rei )|p d = 0 |f (ei )|p d.

luego lm sup

|f (rei )|p d

r1

Fijemos, nalmente, una sucesion (rn ) (0, 1) tal que rn 1 y apliquemos el Ejercicio 40 del Captulo 1 a la sucesion n : [0, 2] C dada por
2
n () := f (rn ei ) (n N). Resulta que lm 0 |f (rn ei ) f (ei )|p d =
n
2
0 para toda sucesion (rn ) como la anterior. Por tanto, lm 0 |f (rei )
f (ei )|p d = 0.

2.5.4.

r1

Espacio de las funciones de valores frontera

Para concluir, incluimos sin demostracion algunos resultados importante. En primer lugar, las funciones de H p son representables como integrales
de Poisson y de Cauchy de sus valores en la frontera.
Teorema 2.5.14. Sean p [1, +] y f H(D). Entonces f H p si y solo
si existe Lp (T) tal que f = P []. En este caso, se verifica que = f
en casi todo T. Por tanto, si f H p y z D, se tiene
2
1
ei + z
f (ei ) Re i
d.
f (z) =
2 0
e z
Ademas, para todo z D se verifica que
I
1
f (t)
f (z) =
dt.
2i |t|=1 t z
A continuacion, consideremos el espacio vectorial Hp (0 < p +) de
las funciones valor frontera f asociadas a funciones f de H p . Recordemos

108

Luis Bernal Gonz

alez

que Hp Lp (T), y que dos elementos de Lp (T) se identican cuando son

iguales en casi todo t [0, 2]. Por los dos teoremas anteriores, se tiene que,
si p 1, la aplicacion
: Hp 7 P [] H p
es un isomorfismo algebraico [es decir, es lineal y biyectiva] e isometrico [pues f p = f p ]. Por tanto, si identicasemos las funciones de Hp
en Lp (T) mediante los coecientes de Fourier, tendramos tambien una caracterizacion de tipo Fourier de las funciones de H p . Tenemos el siguiente
resultado, donde tambien se establece la separabilidad de H p y la densidad
de los polinomios en H p .
Teorema 2.5.15. Sea p (0, +). Se verifica:
(a) Hp es la clausura en Lp (T) del conjunto de los polinomios en ei .
(b) El conjunto de los polinomios es denso en H p .
(c) H p es separable.
(d) Sea f (z) =

an z n H 1 , y sea

{
cn (f ) :=

n=0

1
2

2
0

f (ei )ein d

}
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.
(e) Si p [1, +], entonces Hp = { Lp (T) : cn () = 0 n < 0}.
Finalmente, anotamos que, haciendo uso del teorema de subordinacion
de Littlewood (como se hizo con los espacios de Bergman), se puede obtener
el siguiente resultado sobre operadores de composici
on en espacios de Hardy.
Teorema 2.5.16. Si p (0, +] y H(D) es tal que (D) D,
entonces el operador de composici
on
C : f 7 f

ESPACIOS DE FUNCIONES ANAL

ITICAS

109

es un operador sobre H p , es decir, C (H p ) H p y la aplicaci

on C : H p
H p es lineal y continua. De hecho, si p 1 y C es la norma de C
como elemento de L(H p ), entonces
(
C

1 + |(0)|
1 |(0)|

)1/p
.

Ejercicios
1. Demostrar que D(f, g) :=

n=1

1 f gKn
2n 1+f gKn

dene una metrica comple-

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 uniformen

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.
2. Sea G una region de C y K G un compacto.
(a) Demostrar que K es una seminorma en C(G) y en H(G).
(b) Probar que K nunca es una norma en C(G).
(c) Si K es innito, demuestrese que K es una norma en H(G).
3. Probar que ni C(G) ni H(G) son normables, donde G C es una
region. Es decir, para X = C(G) o H(G), no existe una norma que
genere la topologa Tuc sobre X. Indicaci
on: Para H(G), utilizar el
teorema de Runge.
4. Demostrar que, si fn , f C(G), entonces fn f (en Tuc ) [a
G, abierto U G con a U tal que fn f uniformemente en

110

Luis Bernal Gonz

alez

U ]. Esto justica que Tuc tambien se denomine la topologa de la

convergencia uniforme local.
5. Es la familia F = {f H(D) : f (0) = 0, f (0) = 1} relativamente
compacta en H(D)?
6. Sean a = (an ), b = (bn ) dos sucesiones en (0, +), de modo que an 1.
Demostrar que la familia
Fa,b := {f H(D) : |f (0)| 1 y

sup |f (z)| bn n N}

|z|=an

es relativamente compacta en H(D).

7. Si F H(G) es relativamente compacta, probar que cada familia Fk :=
{f (k) : f F } (k N) es relativamente compacta. Es cierto el
recproco?
8. Sea G C una region y consideremos la familia F = {f H(G) :

|f (x + iy)| dxdy 1}. Demostrar que F es compacta en H(G).

G
Indicacion: Fijar una bola cerrada B(a, r) G, integrar sobre ella,
pasar a coordenadas polares y usar el teorema de valor medio.
9. Si G C es una region m
ultiplemente conexa probar que el conjunto
de los polinomios no es denso en H(G).
{

2
10. Probar que B (D) = f (z) =
ak z k H(D) :
k=0

k=0

|ak |2
k+1

}
< + .

11. Demostrar que B 2 (C) = {0}.

12. Demostrar que la bola unidad de B 2 (G) para la distancia cuadratica
(es decir, el conjunto U = {f H(G) : f 2 < 1}) es relativamente
compacta en H(G).

ESPACIOS DE FUNCIONES ANAL

ITICAS

111

13. Consideremos el conjunto A(D) := {f C(D) : f H(D)}, denominado el algebra del disco. Si denimos f := sup |f (z)|, probar que
zD

A(D) [dotado de las operaciones suma (+), producto por escalares () y

producto puntual ()], es un algebra de Banach conmutativa, es decir:
(a) (A(D), +, ) es un espacio vectorial.
(b) (A(D), +, ) es un anillo unitario y conmutativo.
(c) (A(D), +, , ) es un espacio normado completo.
(d) (f g) = ( f ) g = f ( g) C y f, g A(D).
(e) f g f g f, g A(D).
14. Probar que, si f H(D), entonces f B 2 (D) (1 |z|2 )f (z)
L2 (D).
15. Sean : D D holomorfa con (0) = 0, p [1, +) y C : X X
el operador de composicion asociado a , donde X es cualquiera de los
espacios B p (D) o H p (D). Probar que C = 1.
16. Construir, para B 2 (D), una base ortonormal formada por polinomios.
17. Demostrar que el conjunto de los polinomios no es denso en B 2 (D \

[0, 1]). Indicacion: Considerar una determinacion continua de z.

18. Demostrar que la sucesion fn (z) = nz n (n N) converge uniformemente en compactos en D, pero no cuadraticamente. Lo mismo para la

sucesion gn (z) = n + 1 z n (n N).

{
19. Demostrar que fn (z) =

1z n
1z

}
n1

B 2 (D) y que (fn ) converge com-

pactamente en D a una funcion que no esta en B 2 (D).

20. Demostrar que las funciones fn (z) =

z n1 (n = 1, 2, . . .) forman

una base ortonormal para B 2 (G), donde G = {z C : |z| > 1}.

112

Luis Bernal Gonz

alez

21. Sea f entera con |f (0)| = 1, y llamemos n(r) al n

umero de ceros,
contando las multiplicidades, de f en B(0, r) (r > 0). Demostrar que
n(r) ln M (er), donde M (r) = sup{|f (z)| : |z| = r}.
Indicacion: Usar la formula de Jensen.
22. Si es un producto de Blaschke nito, demostrar que lm |(z)| = 1.
|z|1

23. Sea (an ) la sucesion de ceros de una funcion f H(D)\{0}, enumerados

seg
un su multiplicidad. Demostrar que

(1 |an |) < + sup

0r<1

n=1

ln |f (rei )| d < +.
0

Indicacion: Ver los pasos del Teorema 2.4.4.

24. Se dene el espacio de Bloch como el conjunto B := {f H(D) :
sup(1 |z|2 )|f (z)| < +}. Demostrar:
zD

(a) B es un espacio de Banach con la norma f = |f (0)| + sup(1

zD

|z|2 )|f (z)|. Indicacion: Usar la formula de Gauss-Barrow para f (z)

f (0) e integrar radialmente.
(b) Demostrar que H B. Indicaci
on: Usar el lema de Schwarz-Pick,


 f (z)f (w)   zw 
que arma que si f H(D) y f (D) D, entonces 

1f (z)f (w)

1zw

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.
) = g( n1
) para todo n N. Probar
25. Sean f, g H tales que f ( n1
n
n
que f g.
26. Demostrar que

(
)
1

H p \ H 1.
1z
0<p<1

ESPACIOS DE FUNCIONES ANAL

ITICAS

113

27. Si : [0, 2] [0, +) es medible, se dene el supremo esencial de

como ess sup = nf{M (0, +) : () < M ect [0, 2]}. Si
f H , demostrar que f = ess sup |f |.
28. (a) Probar la identidad de Littlewood-Paley: Si f H 2 , entonces

f 22 = |f (0)|2 + 1
|f (z)|2 ln |z|12 dxdy.
D
(b) Deducir que el producto escalar en H 2 viene dado por

f, g = f (0)g(0) + 1
f (z)g (z) ln |z|12 dxdy.
D
Indicacion: Usar la conocida identidad de polarizacion,
f, g = 14 (f + g22 f g22 + if + ig22 if ig22 ),
valida en cualquier espacio prehilbertiano sobre C.
29. Sean p > 0 y f H p . Denotemos por B el producto de Blaschke
formado con los ceros de f . Demostrar:
(a) Si |z| = r < 1, entonces |f (z)|

f p
1

(1r) p

(b) Existen f1 , f2 H p tales que f1 y f2 no tienen ceros en D, f =

f1 + f2 y fi p f p (i = 1, 2).
(c) [Factorizacion por funciones de H 2 ] Si f 0, entonces existe
h H 2 que no se anula en D tal que f = B h2/p . En consecuencia,
deducir que una funcion F esta en H 1 si y solo si existen g, h H 2
tales que F = g h.
30. Sea f H(D) con Re f (z) > 0 para todo z D, y sea g(z) =

1+z
.
1z

(a) Probar que, si f (0) = 1, entonces f esta subordinada a g.

(b) Sea p (0, 1). Probar que g H p y que, asimismo, f H p .
31. Sea f H(D) tal que lm

r1 0

| ln |f (rei )|| d = 0. Demostrar que f

es un producto de Blaschke. Indicaci

on: Usar el Teorema 2.3.6 y el
Corolario 2.3.8.

114

Luis Bernal Gonz

alez

32. Demostrar la formula de Poisson-Jensen dada en la prueba del teorema

de los hermanos Nevanlinna (Teorema 2.5.3). Indicaci
on: Aplicar la
formula de Poisson a la funcion ln |F |, que es armonica en rD y continua
N

r2 an z
.
en rD, donde F (z) := f (z)
r(an z)
n=1

33. Demostrar el Teorema 2.5.16.

34. Si |an | 1, para innitos n N, demostrar que

an z n H 1 .

n=0

Indicacion: Usar el Lema de Riemann-Lebesgue, el cual arma que

si : [0, 2] R es una funcion Lebesgue-integrable, entonces
2
lmn 0 (x) sen(nx + a) dx = 0 para todo a R.
35. Construir una funcion f (z) =

n=0

an z n H(D) con

tal que f H 1 . Indicaci

on: Usar el Ejercicio 34.

|an | < + pero

n=0

36. Denotemos por + el semiplano superior abierto {z C : Im z > 0}.

Sea f H(+ ) acotada con la propiedad de que existe una sucesion

Im zn
< + de modo que f (zn ) = 0
{zn }n1 + tal que
2
1
+
|z
|
n
n=1
para todo n N. Demostrar que f 0.

Bibliografa
Existe una abundante bibliografa introductoria a la teora de la medida
y a la teora de espacios de funciones analticas. Los libros que a continuacion
se enumeran constituyen solo una peque
na parte. Cada uno de ellos ha sido usado en la elaboracion de alguna o algunas secciones de estos apuntes.
Por supuesto, todos contienen mucho mas material adicional, material que
puede ayudar al estudiante tanto a profundizar en la teora dada aqu como
a introducirse en temas nuevos.
M. Guzman y B. Rubio, Integraci
on: Teora y Tecnicas, Alhambra,
Madrid, 1979.
A.N.K. Kolmogorov y S.V. Fomin, Elementos de la teora de funciones
y del analisis funcional, Mir, Mosc
u, 1975.
A. Markushevich, Teora de las funciones analticas, 2 vols., Mir, Mosc
u,
1987.
O.A. Nielsen, An introduction to Integration and Measure Theory, John
Wiley and Sons, New York, 1997.
W. Rudin, Analisis real y complejo, 3a ed., MacGraw-Hill, Madrid,
1988.
K. Zhu, Operator Theory in Function Spaces, Marcel Dekker, New York,
1990.

115