Master PDF

UNIVERSIDAD DE SEVILLA
Analisis real y complejo.

Analisis Funcional
Master Universitario en Matematica
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 3
1.1. Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2. Conjuntos medibles y medidas positivas . . . . . . . . . . . . . 5
1.3. Medidas exteriores . . . . . . . . . . . . . . . . . . . . . . . . 8
1.4. Procedimiento de Caratheodory . . . . . . . . . . . . . . . . . 9
1.5. Medida de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . 12
1.6. Medidas absolutamente continuas . . . . . . . . . . . . . . . . 15
1.7. Medida de LebesgueStieltjes . . . . . . . . . . . . . . . . . . 16
1.8. Funciones simples . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.9. Funciones medibles . . . . . . . . . . . . . . . . . . . . . . . . 18
1.10. Integral de una funcion . . . . . . . . . . . . . . . . . . . . . . 22
1.10.1. Integral de funciones medibles no negativas . . . . . . . 22
1.10.2. Conjuntos de medida nula . . . . . . . . . . . . . . . . 24
1.10.3. Funciones integrables . . . . . . . . . . . . . . . . . . . 26
1.11. Teoremas de convergencia . . . . . . . . . . . . . . . . . . . . 28
1.12. Relacion con la integral de Riemann . . . . . . . . . . . . . . . 32
1.13. Completitud de L1 () . . . . . . . . . . . . . . . . . . . . . . 34
1.14. Medidas signadas . . . . . . . . . . . . . . . . . . . . . . . . . 37
1.14.1. Medidas ortogonales . . . . . . . . . . . . . . . . . . . 42
1.14.2. Teorema de Radon-Nikodym . . . . . . . . . . . . . . . 44
1.15. Espacios Lp () . . . . . . . . . . . . . . . . . . . . . . . . . . 46
1
2 Luis Bernal Gonzalez
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. Introduccion
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 volumenes 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 Riemann-
integrable 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
3
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 ade-
cuada de subconjunto medible de RN y de medida sobre tales subconjuntos.
Ademas, proporciono una denicion de funcion integrable que superaba las
carencias de la funcion Riemann-integrable, de modo que la correspondiente
integral generalizaba tambien la de Riemann y era aplicable a una clase mu-
cho mas amplia de funciones. Otra notable ventaja de la integral de Lebesgue
es que se obtienen teoremas muy generales que relacionan la integral del
lmite de una sucesion de funciones medibles (estas son la generalizacion de
las funciones continuas) con el lmite de las integrales de estas.
FRECHET generalizo la teora considerando -algebras de conjuntos en

espacios abstractos. Finalmente, CARATHEODORY denio axiomaticamente
la medida exterior introducida por Lebesgue para RN e introdujo la nocion
de conjunto medible a partir de ella, por un metodo esencialmente analogo al
de Lebesgue. As que la integral puede denirse para funciones f : X R o
bien f : X C, donde X es un espacio medible y C es el plano complejo. Mas
tarde, BOCHNER extendera el concepto de integral a funciones f : X E,
donde E es un espacio de Banach. Durante el primer tercio del siglo XX,
RADON y NIKODYM estudiaron el comportamiento, como medida, de la
integral de una funcion no negativa sobre un conjunto medible arbitrario.
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.
TEORIA DE LA MEDIDA 5
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

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

N
An M.
n=1
Si A, B M, entonces A \ B M.
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 .
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

( )
y An Am = para todo par m, n con m = n, entonces An =
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.
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 reunen algunas propiedades operacionales

basicas de las medidas.
Proposicion 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
disjuntos, entonces An = (An ).
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).
(
)
4. Si {An }
n=1 M, entonces An (An ).
n=1 n=1
5. Si {An }
n=1 M es creciente, es decir, si An An+1 para todo n N,
(
)
entonces lm (An ) = An .
n n=1
6. Si {An }
n=1 M es decreciente, es decir, si An+1 An para todo
(
)
n N y (A1 ) < +, entonces lm (An ) = An .
n n=1
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:
(+) + (+) = +, () + () = , 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 numeros 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)

An (An ).
n=1 n=1
Un ejemplo importante es el de medida exterior de Lebesgue, que recor-
daremos a continuacion. A partir de ella se construira la medida de Lebesgue,
generalizacion adecuada del volumen N -dimensional.
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 algun 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
se dice que {I 1 , . . . , I p } es una particion de J. Una particion de J se dice

simple cuando proviene de una particion de cada uno de sus lados.
Proposicion 1.3.1. Si P = {I 1 , . . . , I p } es una particion de un N -rectangulo

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
k=1

p
vol(J) vol(I ).k
k=1
Si A RN , la medida exterior de Lebesgue de A se dene como

{ }

m (A) = nf vol(I k ) : I k son N-rectangulos cerrados tales que A Ik .
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,
cerrado-abierto, etc, entonces m (I) = vol (I),
donde por A entendemos la
clausura de un subconjunto A de RN .
1.4. Procedimiento de Caratheodory

El siguiente resultado general muestra el as denominado procedimiento
de Caratheodory para generar una medida positiva a partir de una medida
exterior.
Teorema 1.4.1. Sea una medida exterior sobre un conjunto X. Consi-

deremos 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.
Asimismo, se prueba facilmente por induccion que

p
( (
p
)c )

(A) = (A Mj ) + A Mj [1]
j=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

n
( (
n
)c )

(A) = (A Mj ) + A Mj
j=1 j=1

n
( (

)c )
(A Mj ) + A Mj ,
j=1 j=1
lo que implica que

( (

)c )

(A) (A Mj ) + A Mj
j=1 j=1

( (

))
( (

)c )
A Mj + A Mj (A),
j=1 j=1
donde hemos usado dos veces la subaditividad. Por tanto,

( (

))
( (

)c )
(A) = A Mj + A Mj para todo A X,
j=1 j=1

de donde deducimos que Mn M. Hemos probado que M es una -
n=1
algebra.
Denotemos := |M . Entonces () = () = 0. En cuanto a la -
aditividad de , tomemos Mn M (n N) dos a dos disjuntos. Haciendo

A= Mn en el razonamiento anterior, obtenemos todas las desigualdades
n=1
deben ser igualdades que
(

)

Mn = (Mn ) + () = (Mn ).
n=1 n=1 n=1
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. 2
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-

( )
dimiento de Caratheodory, y RN = [n, n]N , con m [n, n]N =
n=1
(2n)N < + para todo n N.
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
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

cerrados {In }
n=1 tal que A In y m(A) + 2 > vol(In ). Estirando
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
.

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

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

luego m (G \ A) = m(G \ A) m(Gj \ Aj ) <
2j
= .
j=1 j=1
(b) (c): Para = elegimos un abierto Gj con A Gj tal que

1
j
,

m (Gj \ A) < 1/j. Llamemos H := Gj . Entonces H es un G , H A
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)]. 2
Como ejemplo de conjunto que no es medible-Lebesgue, tenemos el con-

junto de Vitali, que describiremos a continuacion.
En el intervalo [0, 1], denimos la relacion de equivalencia:
x y x y Q.
Sea V un conjunto que va a ser nuestro conjunto de Vitali formado eligiendo

un elemento en cada clase de equivalencia. Sea {rn }
n=1 una enumeracion de
los numeros 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 .

En consecuencia, [0, 1] Vn [1, 2]. Si V fuese medible, Vn tambien lo
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 pequena 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.
Proposicion 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
k=n

Bn := Ak es decreciente, resulta por la Proposicion 1.2.1 que (A) =
k=n
lm (Bn ) 0 > 0, lo que contradice la hipotesis. 2
n
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.
Proposicion 1.7.1. Sea : R R creciente y continua a la derecha.

Entonces la aplicacion
{

}
A P(R) 7 m (A) := nf ((bk ) (ak )) : A (ak , bk ] [0, +]
k=1 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 util 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 [, +], signi-
can {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 funcioncaracterstica 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 .
[A = 1] = A y [A = 0] = X \ A.
X\A = 1 A .
Definicion 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 exis-

p
ten A1 , . . . , Ap X tales que = ai Ai . Por supuesto, la representacion
i=1
p
ai Ai no es unica, 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 [, +].
Definicion 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.
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 posi-
tiva 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 restriccion 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 sucesion de funciones medi-

bles, entonces las funciones sup fn , nf fn , lm sup fn y lm inf fn son
n1 n1 n n
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.
8. Si f es simple, se tiene: f es medible [f = a] M para todo a R

f es una combinacion lineal finita de funciones caractersticas de
conjuntos medibles.
9. Supongamos que las funciones fn : X [, +] (n N) son me-

dibles. 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
ultimo, lm sup fn = nf sup fk y lm inf fn = sup nf fk , y existe lm fn (x) si
n n kn n n kn n
y solo si lm sup fn (x) = lm inf fn (x). 2
n 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 sucesion 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. En-
tonces 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

n
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
n (x) f (x) para todo x X. Luego {n n }
n=1 es una sucesion de
funciones simples y medibles tales que n (x) n (x) f (x) (n ) para

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 :=
f 1 ([ i1 , i )) (1 i n2n , n N) y Fn := f 1 ([n, +]) (n N) son
2n 2n
medibles, al serlo f . Se deduce que, para cada n N, la funcion

n2 n
i1
n := En,i + nFn
i=1
2n
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 i1

2n
f (x) < i
2n
,
luego n (x) = i1
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) = i1

2n+1
, donde
i {1, . . . , (n + 1)2n+1 } es tal que i1
2n+1
f (x) < i
2n+1
. Por tanto
n < i
2n+1
, 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 i1
2n
f (x) < i
2n
y j1
2n+1

j i1 j1
f (x) < 2n+1
, de donde resulta n (x) = 2n
y n+1 (x) = .
Pero de las
2n+1
desigualdades anteriores obtenemos que i12n

< 2n+1 , luego 2(i 1) < j,
j
as que 2(i 1) j 1, y por tanto n (x) = i1

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

Por ultimo, 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).
n
Si f (x) < +, existe n0 N tal que f (x) < n0 , luego, para todo n
in 1
n0 , se tiene que n (x) = 2n
f (x) < in
2n
con in {1, . . . , n2n }. Esto
implica que |n (x) f (x)| = f (x) n (x) < 1
2n
0. En consecuencia,
n (x) f (x) (n ).
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)
xX
f (x)| 1
2n
0, de donde obtenemos la convergencia uniforme. 2
1.10. Integral de una funcion

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

N
d := ai (Ai ).
X i=1
Si E M, la integral de sobre E respecto de se dene como

N
d = E d = ai (Ai E).
E X 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.
Proposicion 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.
Definicion 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 X

Si E M, la integral de f sobre E se dene como E
f d = X
f E d.

Observemos que X
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.
Proposicion 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 X
f d X
g d.

(b) Si A B entonces A f d B f d.

(c) X (f + g) d = X f d + X g d.

(d) Si 0, entonces X f d = X f d.

(e) Si o bien f 0 en A o bien (A) = 0, entonces A
f d = 0.

(f) Si (B) = 0 entonces X f d = X\B f d.
1.10.2. Conjuntos de medida nula
La ultima propiedad de la proposicion anterior nos viene a decir que

los conjuntos de medida nula son despreciables para la integracion. Ob-
servando esta propiedad, tenemos que si B M, con (B) = 0, y f :
X \ B [0, +] es medible (en el espacio de medida inducido), podra

:= X F d, donde F : X [0, +] es la funcion denida
definirse X f d
f (x) si x X \ B
como F (x) :=
0 si x B.
Asimismo, tambien debido a la ultima propiedad, parece importante es-
tudiar mas detenidamente los conjuntos de medida nula en relacion con la
integracion.
Definicion 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.
Proposicion 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.
n
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. 2
El siguiente resultado auxiliar es interesante por s mismo y tendra im-

portantes consecuencias.
Lema 1.10.4. [Desigualdad de Chebyshev] Si a (0, +) y f : X

[0, +] es medible, entonces

1
([f a]) f d.
a X
Demostracion. Vericar que a [f a] f e integrar. 2
Corolario 1.10.5. Sean f : X [0, +] una funcion medible y A M.

Se tiene:

(1) Si A
f d = 0, entonces f = 0 ect A.

(2) Si A
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 algun
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. 2
n
1.10.3. Funciones integrables

Consideramos ahora el caso de una funcion medible general.
Definicion 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 numero 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 inte-
gra, se denotara la integral de la denicion anterior mediante la expresion
A
f (x) d(x) o similar. Esto sera especialmente util cuando tratemos con
medidas producto (ver Seccion 16).
Proposicion 1.10.6. Se verifican las siguientes propiedades:

Si f L1A (), entonces A
|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 con-
juntos 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,
A

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

A
g d.
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 +

A
g d y A
f d = A
f d.

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

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

Si f L1X () y B
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 -equiva-
lentes; 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.
Teorema 1.10.7. L1 () es un espacio vectorial, la aplicacion f L1 () 7
X
f d R es una forma lineal en el, y la aplicacion 1 : f L1 () 7
X
|f | d [0, +) es una norma.
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 fn d = f d.
n X X

(b) Si fn L1 () para todo n N y sup X
fn d < +, entonces f
n1
L1 () y lm X fn d = X f d.
n
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 j
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

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. [2]
X n X
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

y X = An . Por tanto (An ) (X). Por otra parte, a An n ,
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.

p
En el caso general, se tiene que = ci Ei con ci [0, +) y Ei M
i=1

p
dos a dos disjuntos con X = Ei . Aplicamos entonces el resultado a cada
i=1
funcion ci Ei y obtenemos:
p p

d = ci Ei d = d
X i=1 X i=1 Ei

p p

lm n d = lm n d = lm n d,
n Ei n Ei n X
i=1 i=1
como queramos demostrar. 2
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

(b) La aplicacion : E M 7 (E) = E
f d [0, +] es una medida
positiva.
Demostracion. (a) Aplicar el teorema de la convergencia monotona a la

n
sucesion {gn }
n=1 dada por gn := fi (n N).
i=1
(b) Aplicar el apartado (a) a las funciones fn := f An (n N), donde los
An son conjuntos medibles disjuntos. 2
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 n n 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
k k n
otra parte, lm X gn d = lm inf X gn d lm inf X fn d, pues gn fn .
n n n
De aqu deducimos el resultado. 2
A continuacion, establecemos el que quizas sea el resultado mas impor-

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

Demostracion. Ya que el conjunto Z := {x X : fn (x) 9 f (x)} [|fn | >
n=1
g]} es medible y (Z) = 0, podemos suponer que todos los lmites y desigual-
dades de la hipotesis son en todo x X.

Tenemos pues que f es medible y |f | g L1X (), as que X
|f | d
X
g d < +, de donde inferimos que f L1X ().
Probemos ahora que fn f en la norma 1 de L1 (), es decir,

lm |fn f | d = 0. [3]
n X

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

n
do), pues | X fn d X f d| = | X (fn f ) d| X |fn f | d.
Demostremos pues [3]. En primer lugar, |fn f | |fn | + |f | 2g, luego
2g |fn f | 0. Por el Lema de Fatou,

lm (2g |fn f |) d lm inf (2g |fn f |) d.
X n n X
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 numeros 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 ultimas desigualdades sobre lm sup, lm inf se deduce [3]. 2
n 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

LX () una sucesion tal que
1
fn 1 < +. Entonces fn (x) converge
n=1 n=1
absolutamente en casi todo x X a cierto valor real S(x), la funcion S es

integrable y

S d = fn d.
X n=1 X
Demostracion. Aplicar el Corolario 1.11.2(a) a las funciones |fn |, despues el

Corolario 1.10.5(2) a la funcion n=1 |fn |, y a continuacion el teorema de
la convergencia dominada a la sucesion de sumas parciales de la sucesion

{fn }n1 . 2
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 < +.
Proposicion 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 }
n=1 una sucesion creciente de conjuntos medibles y (An ) <
+ para todo n N. Considerar {fn := f An }

n=1 y aplicar el Teorema
1.11.4. 2
1.12. Relacion con la integral de Riemann

Comentaremos ahora la importante relacion entre la integral de Rie-
mann y la de Lebesgue. Sea [a, b] R un intervalo compacto y P = P[a, b]
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 ante-
rior, se denen la suma superior de Riemann y la suma inferior de Riemann
n
de f relativas a P como los numeros U (f, P ) = sup f (tk tk1 ) y
k=1 [tk1 ,tk ]

n
L(f, P ) = nf f (tk tk1 ), respectivamente.
k=1 [tk1 ,tk ]
Definicion 1.12.1. Sea f : [a, b] R una funcion acotada. Se dene la inte-

gral 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.
Definicion 1.12.2. Se dice que una funcion f : [a, b] R es Riemann-

integrable en [a, b], y escribiremos f R[a, b], cuando f es acotada e I(f ) =
b
I(f ). En tal caso, al valor comun 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 lla-
mada 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 pro-
barse 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].

Por otra parte, si f L1R (m), entonces R
f dm = lm f dm. En
n [n,n]
efecto, basta aplicar a {fn := f [n,n] }
n=1 el teorema de la convergencia
dominada. Si ademas f R[a, b] para cada intervalo [a, b] R, se tendra que

n
R
f dm = lm n f (x) dx. Por tanto, en muchos casos, las integrales de
n
Lebesgue se pueden calcular usando primitivas.
1.13. Completitud de L1()
Nuestro proximo objetivo es demostrar la completitud del espacio nor-

mado L1 (), es decir, demostrar que L1 () es un espacio de Banach. Para
ello necesitamos algunos conceptos.
Definicion 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 ultimo 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.
Proposicion 1.13.1. Sea fn : X R (n N) una sucesion de Cauchy en

medida. Entonces existen una funcion medible f : X R y una subsucesion
{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
( )
(X \ Pm ) = Ek (Ek ) < 1/2k = 1/2m .
k>m k>m k>m
Si x Pm entonces, para i > j m, resulta que |fn(i) (x) fn(j) (x)|
i1
|fn(k) (x)fn(k+1) (x)| 2j1
1
, y de aqu se deduce que la sucesion {fn(k) (x)}k1
k=j
es de Cauchy uniformemente en Pm , es decir, jado > 0, existe N =
N (, m) N tal que
sup |fn(i) (x) fn(j) (x)| . [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. 2
Teorema 1.13.2. Sea (X, M, ) un espacio de medida completo. Entonces

el espacio L1 () es de Banach.
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 < +,
X 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 . 2
1.14. Medidas signadas

Otro instrumento util 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.
Definicion 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

X= An y (An ) R para todo n N.
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 aditivi-
dad 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 = .
Proposicion 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} < +.
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 ) = + >

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

Resulta que |(A)| = [(Tn ) (Tn+1 )] = lm [(T1 ) (Tn )] =
n=1 n
+ ya que {(Tn )}
n=1 no esta acotada. Hemos obtenido una contradiccion
porque A E y (E) < +. 2
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) = + .
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 n=1 n=1

de donde + (A) + (An ). Para la desigualdad opuesta, se considera,
n=1
para cada > 0, un conjunto B A tal que B M y + (A) + (B).
(
)

Entonces + (A) + (B An ) = + (B An ) + + (An ).
n=1 n=1 n=1

Por tanto + (A) + (An ).
n=1
Si + (A) = +, entonces para cada M > 0 existe B M tal que B A
y (B) M , lo que implica que
(

)

M (B An ) = (B An ) + (An ),
n=1 n=1 n=1

luego + (An ) M para todo M > 0. En consecuencia, + (An ) =
n=1 n=1
+ = + (A).
Analogamente a la primera parte, se obtiene que es numerablemente
aditiva si (X) < +. Si probamos que no hay otra posibilidad, tendramos
(a) y (b).
Por reduccion al absurdo, supongamos que (X) = +. Entonces exis-
tira E1 M tal que R (E1 ) < 1. Usando la proposicion anterior y la
notacion en su demostracion obtenemos que S(E1 ) < +. Por la denicion
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. 2
Definicion 1.14.2. Si es una medida signada, se llama variacion total de

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
{
n
}
||(A) = sup |(Ek )| : A = E1 En , {E1 , . . . , En } M, n N .
k=1
Definicion 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
= + || = .
Probemos ahora que cuando es -nita el espacio base puede descom-

ponerse en dos espacios medibles tales que los subconjuntos medibles de uno
tienen medida positiva o nula, mientras que los del otro tienen medida nega-
tiva 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
(d) A y B son esencialmente unicos, es decir, si A, e satisfacen (a),(b),(c),
e = 0 = ||(B B).
entonces ||(A A) e
Demostracion. Supongamos primero que (X) R. Entonces + (X) < +,

luego existe una sucesion {Ek }
k=1 M tales que (Ek ) (X)2
+ k
para
todo k N. Por tanto
1
+ (X) = + (Ek )++ (X\Ek ) (Ek )++ (X\Ek ) + (X) ++ (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 = Ek y B := X \ A = lm sup Enc = Ekc .
n n
n1 kn n1 kn
Entonces (A) = 0 = + (B), de donde resultan (a) y (b).

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
Supongamos ahora que A e son medibles tales que (a), (b) y (c) se
cumplen. Hemos de probar:
e \ A) = 0 = (A \ A):
(A e se deriva de (b).
e \ B) = 0 = + (B \ B):
+ (B e se deriva de (b).
e \ A) = 0: resulta de + (A
+ (A e \ A) = + (A
e B) = (A
e B A) =
() = 0. Hemos usado (c) en la segunda igualdad.
e = (B
+ (A \ A) e \ B) = 0 = (B \ B):
e resultan, analogamente, del
apartado (c).
Por tanto tenemos (d).

Finalmente, cuando es -nita, existen conjuntos Xn M (n N) dos

a dos disjuntos tales que (Xn ) R para todo n y X = Xn . A cada Xn
n=1
aplicamos el resultado anterior y obtenemos una descomposicion en An , Bn .

Basta tomar ahora A := An y B := Bn . 2
n=1 n=1
1.14.1. Medidas ortogonales

Presentamos ahora un concepto que es, en cierto modo, opuesto al de
continuidad absoluta.
Definicion 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 ultima parte se deduce del propio proceso demostrativo.

Ademas, podemos partir de que es nita. El caso general en que es -

nita se deduce de la forma habitual, descomponiendo X = Xn con Xn
n=1
medibles y (Xn ) R para todo n, y aplicando a cada Xn el caso de nita.
Sea pues nita, y supongamos ademas que 0. Sea := sup{(E) :
E M, ||(E) = 0} < + (porque es nita). Entonces para cada k N
existe Ek M tal que ||(Ek ) = 0 y (Ek ) > k1 . Denimos ahora

B := Ek , A := X \ B, (E) := (E A) y (E) := (E B)
k=1
para cada E M. Es claro que ||(B) = 0 y que (B) = .
Se tiene entonces que y son medidas no negativas y nitas, y que
, , y = + . Por otra parte . En efecto, de no ser as,
existira E M tal que ||(E) = 0 y (E) > 0. Sea M := (E A) B.
Se verica que (M ) = (E A) + (B) = (E) + > y ||(M ) =
||(E A) + ||(B) = 0, lo cual contradice la denicion de .
Por ultimo, si es una medida con signo nita, se considera la descomposi-

cion = + y se aplica a cada medida + , la construccion anterior,
de modo que + = + y = + . Denir entonces = y
= . 2
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) = 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 unica 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.
Consideremos la familia F = {funciones medibles g : X [0, +] :
E
g d (E) E M}. Es obvio que F L1 (). Es facil probar (usan-
do induccion) que max{1 , . . . , p } F para cualquier subfamilia nita
{1 , . . . , p } F . Para cada k N, tomemos una funcion gk F tal
que gk 1 > sup{g1 : g F} 1/k.
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) 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 = f d + (f + A ) d
E E\A EA

= f d + f d + (E A)
E\A 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. 2
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 ).
Definicion 1.15.1. Si f Lp () con 1 p < +, se dene la norma de

( )1/p
, mientras que si f L (), se
1/p
f como f p := |f |p 1 = X |f |p d
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 numeros 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 espa-
cios Lp ().
Teorema 1.15.1. (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
yt= a
b
(a > b > 0) obtenemos
1 1
que a b
p p a
p
+ b
p
para todo a, b 0 [el caso b = 0 es trivial]. Aplicar

|f (x)|p |g(x)|p
ahora esta desigualdad a los numeros a = f pp
,b = , que son nitos
gpp
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 ultimo porque es
nita), luego |f |q L1 (), as que f Lq () y obtenemos L Lq .
En cuanto a la segunda contencion, jemos f Lq (). Entonces f es me-

dible, 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
X
|f |p
d X 1 d = f pq (X) < +, lo que implica que
f pp < +. As que f Lp (). 2
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. Aproximacion 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.
Definicion 1.15.2. Sea (X, M, ) un espacio de medida. Una funcion es-

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

N
Es facil ver que X
f d = k (Ek ) y que para cada p [1, +], el
k=1
conjunto S de la funciones escalonadas es un subespacio vectorial de Lp ().
Notemos que, en general S no es denso en L () si no es nita: con-

siderar 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
X\E1
|f |p d < /3.
Usando la desigualdad de Chebyshev, obtenemos que lm ({x E1 :
k
|f (x)|p > k}) = 0. Si ahora tenemos en cuenta que la medida (A) :=

A
|f |p d cumple , resulta que existe m N tal que E2 |f |p d < /3,
donde E2 := {x E1 : |f (x)|p > m}. Denimos E := E1 \ E2 = {x E1 :

|f (x)|p m} M. Entonces X\E |f |p d < 2/3.
Aplicando el teorema de aproximacion de funciones medibles (Teorema
1.9.2), podemos encontrar una funcion g S que se anula fuera de E tal que
( ) p1
|g(x) f (x)| < 3(E) para todo x E (tener en cuenta que f es acotada
en E, luego se puede conseguir una sucesion de funciones simples medibles
que convergen uniformemente a f en E). Por ultimo,

2
|g f | d =
p
|f | d +
p
|g f |p d < + = .
X X\E E 3 3
Esto implica que g f pp < y, en consecuencia, S es denso en Lp (). 2
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).
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 ultimo, aproximar cada Ri

por una funcion de C0 (G). 2
1.16. Medidas producto

Los conceptos y resultados de esta seccion pueden extenderse a un
numero 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 pro-
ductos 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 rectangulos medibles, es decir, todos los conjuntos
E F con E A y F B. La familia E de las uniones nitas de rectangulos
medibles es un algebra (ver denicion en el Ejercicio 11) sobre X Y , pero
no es una -algebra en general. Denimos A B como la -algebra generada
por la familia de rectangulos medibles. Es claro que A B E.
Si Z es un conjunto, una clase monotona sobre Z es una familia C Z

de modo que n=1 Cn C y n=1 Dn C para cada sucesion creciente
{Cn }n1 C y cada sucesion decreciente {Dn }n1 C. Si F P(Z), deno-

taremos por M(F) la menor clase monotona que contiene a F. El siguiente
resultado se utilizara mas adelante.
Proposicion 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. 2
A partir de miembros de A B y de funciones medibles en X Y pode-

mos 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 }.
Proposicion 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.
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 2
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 Y
El valor comun 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 ) := (Px ) d(x) = (P y ) d(y).
X Y
Demostracion del teorema. Por ser y -nitas, existen familias nume-

rables (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
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 elemen-
to 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

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

y
= lm ((Pk ) ) d(y) = (P y ) d(y),
k 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. 2
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 cen-
tramos 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
tiene que (Rk+l , Mk+l , mk+l ) es la complecion (ver Ejercicio 4) del espacio de
medida (Rk Rl , Mk Ml , mk ml ). De hecho, la hipotesis de completitud
de la medida se haca en la seccion 10 porque simplicaba la prueba de algu-
nas propiedades de la integral, pero no es necesaria en absoluto. Ademas, no
es difcil probar (usar, por ejemplo, aproximacion por funciones escalonadas)
que si (X, M, ) es un espacio de medida -nito, (X, M, f e) es su comple-
cion y f : X [, ], entonces f L1 (, X) si y solo si f L1 (e, X),

y que en tal caso X f d = X f de . En particular, esto sera util 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 utiles 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) := Y
f (x, y) d(y) y (y) := X
f (x, y) d(x),
definidas en casi todo punto respectivamente en X e Y , son medibles
no negativas y se verifica

f d( ) = d = d .
XY X Y
(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
y Y . En particular, las funciones y estan bien definidas y son

finitas en casi todo punto. Ademas, y son integrables y verifican

f d( ) = d = d < .
XY X Y
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 me-
dible por ser el lmite de (k ), y que

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

Analogamente se prueba que es medible y verica XY
f d( ) =
Y
d. Esto completa la demostracion de (a).
Para probar (b), supongamos que f L1 ( ). Entonces se puede
aplicar (a) a f + y f , de donde se obtienen las siguientes igualdades, donde
todos los miembros son nitos:

f d( ) =
+
1 d = 1 d,
XY X Y

f d( ) = 2 d = 2 d,
XY X Y
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). 2
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
X
|f (x, y)| d(x) pertenece a L1 (). Entonces f L1 ( ).
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, bas-
ta 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)

Y
( X |f (x, y)| d(x)) d(y) < +. Esto concluye la demostracion. 2
Por supuesto, un enunciado analogo se obtiene intercambiando las varia-

bles 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 for-
ma el Teorema de Fubini. Por det Dh denotaremos el determinante de la
matriz jacobiana o matriz de derivadas parciales de h. En el segundo teore-
ma, 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 difeo-

morfismo de clase C 1 y f : R. Entonces f L1 (mN , ) si y solo si
(f h)|det Dh| L1 (mN , G), en cuyo caso

f dmN = (f h)|det Dh| dmN .
G
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 Lebesgue-
integrable en [0, +), en cuyo caso
+
N/2
g dmN = n N
f (t)tN 1 dt.
R N (1 + 2
) 0
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 }
n=1 P(X) tal que An =
n=1
pero lm (An ) = 0.
n
3. Demostrar la Proposicion 1.2.1.
4. En este ejercicio se describe la complecion de una medida. Para cada

espacio de medida (X, M, ), demostrar que existe un espacio de me-
f
dida completo (X, M, e) tal que M Mfy 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 me-
dida exterior sobre X.
6. (a) Para cada > 0, hallar un abierto denso G R tal que m(G) < .
(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 nu-

merable 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 cen-
trales 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 }n1 M es una sucesion tal que (An ) < +, demostrar que
n=1
(lm sup An ) = 0.
n
(b) Sea una medida de probabilidad y {An }n1 una sucesion de suce-
sos independientes, es decir, para todo p N y todos los ndices natu-
rales i1 , . . . , ip dos a dos distintos, se verica
(Ai1 . . . Aip ) = (Ai1 ) (Aip ).

Si (An ) = +, demostrar que (lm sup An ) = 1.
n=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,

con los An dos a dos disjuntos, se verica ( n=1 An ) = n=1 (An ).
Demostrar que existe una medida sobre (X, (A)) tal que |A = .
Indicacion: Defnase : P(X) [0, +] como

(A) = nf{ (An ) : A An y An A (n = 1, 2, . . . )},
n=1 n=1
entendiendose que nf = +. Probar que es una medida exterior so-

bre 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. Construyase 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 a = f (a ) para cada combinacion

lineal nita a de coecientes racionales . Pruebese:

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

(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 n
Idem con X = [0, 1] y

2n si x 2n
fn (x) :=
0 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
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, entendi-

das estas como respecto de la medida de Lebesgue en los intervalos
indicados:
1
(a) lm arctan( nx log x) dx.
n 0
+
(b) lm 0 arctan(x/n)

x x
dx.
n
x2
(c) lm n
1+nx2
e n dx.
n 1
1n log(1+ nx )

(d) lm 0 x
dx.
n
e x)n ]x
(e) lm 1 [1(log

x2 1 dx.
n
+
(sen x)n+1
(f) lm 0 x(x+1)
dx.
n
+ 1 ( x2 +2n )
(g) lm 0 1+x 2 log x2 +n
dx.
n
+
(h) lm nx
n+x2
enx dx.
n 0
23. Decidir razonadamente si las funciones siguientes son integrables-Lebesgue

o no, en los conjuntos que se indican:
1cos x
(a) x(1+x2 )
en (0, +).
xarctan x
(b) 1+x2
en [1, +).
log(1+x2 )
(c) en (0, 1).
x 1x2
(d) ex log x en (0, +).

2
24. Se considera el conjunto N de los numeros naturales y la medida car-

dinal (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
(c) Probar que la sucesion fk (x) := converge uni-
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 ad-
mitir que tome valores en la recta real extendida. Este ejercicio pre-
tende mostrar la imposibilidad de esto ultimo. En concreto, se pide
probar que una funcion : M [, +] denida en una -algebra
M no puede ser aditiva si existen P, Q M tales que (P ) = + y
(Q) = .

26. Sea {fk }k1 Lp () con 1 p < + tal que fk p < +. Probar
k=1

que la serie fk dene una funcion f Lp () y que f p fk p .
k=1 k=1
27. Si 1 r < p < s +, probar que Lr () Ls () Lp ().
28. Se supone que f L Lp para algun p < +. Demuestrese que

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

E
f d = E
f g d para cada E M.
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. Indicacion: Usar el ejercicio anterior.
31. Sea (X, M, ) un espacio de medida con signo. Demostrar que
{
n
}
||(A) = sup |(Ek )| : A = E1 En , {E1 , . . . , En } M, n N
k=1
para cada A M.
32. (a) Sea una medida con signo. Demuestrese que + y son singu-
lares entre s, y que ambas son absolutamente continuas respecto de .
(b) Si y son medidas con signo tales que es absolutamente con-
tinua y singular respecto de , probar que = 0.
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

f : I R mediante f (x) = 21
(x,x+)
f dm. Pruebese que f es
continua, que f p f p para todo > 0 y que lm f f p = 0.
0
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 algun subconjunto denso y numerable.
39. Demostrar el Teorema de Egoro, el cual arma que lo siguiente. Su-

pongamos 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. Indicacion: 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

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

Considerar el conjunto F = n=1 En(k),k .
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. Indicacion: Aplicar el
Lema de Fatou a la sucesion (|n |p + ||p + |n |p ).
1
41. Consideremos la funcion f (x, t) := 2 2 2 t2 )
con y > 0.
1 (1 + x t
1)(1 + y
(a) Demostrar que 0 ( 0 f (x, t) dt) dx = 0 ( 0 f (x, t) dx) dt.
arctan t
(b) Demostrar que la funcion g(y, t) := t(1+y 2 t2 ) satisface
1 1
0
( 0 g(y, t) dt) dy = 0 ( 0 g(y, t) dy) dt.
(c) Combinando los resultados anteriores, deducir que
arctan t 2
0
( t ) dt = log 2.
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 si x Am , y An
f (x, y) =
0 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
n/2
cn = ( n +1)
para todo n 1.
2
45. Consideremos la medida cardinal sobre P(N), as como la funcion

f : N N R dada por

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

0 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 calculese R2
f (x, y) dxdy utilizando el
Teorema de Fubini.
47. Sean (X, M) e (Y, N ) dos espacios medibles, y sea f : X Y una apli-
cacion medible, es decir, 1 (N ) M para cada N N . Supongamos
que es una medida sobre (X, M) y que f : Y [, ] es una
funcion medible. Denimos la aplicacion : N [0, +] mediante
()(N ) = (1 (N )).
(a) Demostrar que es una medida sobre (Y, N ). Recibe el nombre
de medida imagen de por .
(b) Probar que la funcion f es medible.
(c) Demostrar que f L1 () si y solo si f L1 (), en cuyo caso

Y
f d() = X
f d.
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 X
Captulo 2
Espacios de funciones analticas
2.1. Introduccion
En este captulo, estudiaremos diversos espacios de funciones analticas
u holomorfas, dotandolos de una estructura lineal y topologica. 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.
Definicion 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 f (a+h)f (a)
h
C. Se dice que f es holomorfa en G cuando es holomorfa
h0
67
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.
Definicion 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

B(a, r) G y f (z) = an (z a)n para todo z B(a, r).
n=0
En tal caso, tal serie de potencias es unica, existe f (n) (a) C para todo
f (n) (a)
n N y an = n!
para todo n 0. Dicha unica 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 denomi-
nada propiedad del valor medio: si f H(G), u Arm(G) y B(a, r) G,
entonces
2 2
1 i 1
f (a) = f (a + re ) d y u(a) = u(a + rei ) d.
2 0 2 0
ESPACIOS DE FUNCIONES ANALITICAS 69
Definicion 2.2.3. Se dice que un subconjunto G C es una region 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 prolongacion
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 algun 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, llama-

da topologa de la convergencia uniforme en compactos de G o simplemente
topologa compacta-abierta. La denotaremos por Tuc .
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
que fn
uc
f [para cada compacto K G, fn f uniformemente
n n
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 espa-
cio 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) =
n=1
2n 1 + f gKn
es una metrica sobre C(G) para la cual este espacio es completo, y ademas
D genera Tuc . Aqu {Kn }
n=1 es una sucesion exhaustiva de subconjuntos

compactos de G, es decir, G = Kn y Kn Kn+1 para todo n N y, para
n=1
cada compacto K G,
f K := max{|f (z)| : z K}.
Es evidente que H(G) C(G).
Teorema 2.2.1. [Teorema de convergencia de Weierstrass]

Si {fn }
n=1 H(G) y f : G C es una funcion tal que fn f uni-
(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 suma-

mente util y se aplica, entre otras cuestiones, a la demostracion del teorema
del isomorsmo de Riemann, del teorema de Picard y del teorema de analitici-
dad de integrales parametricas con hipotesis bastante generales sobre la curva
de integracion de la funcion integrando. Vamos a recordar algunas ideas y
resultados.
Definicion 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
Tuc
relativamente compacta cuando F es un subconjunto compacto de C(G)
(de H(G), resp.), es decir, cuando de cada sucesion (fn ) F puede extraerse
alguna subsucesion (fnk ) tal que existe f C(G) ( H(G), resp.) de modo
que fnk f uniformemente en compactos de G.
En el espacio de las funciones continuas, la compacidad relativa esta ca-
racterizada por el teorema de Ascoli-Arzela, que estableceremos tras las si-
guientes deniciones.
Definicion 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 )| < .
Definicion 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.
Teorema 2.2.2. [Teorema de AscoliArzela] 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-Arzela 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 uniforme-
mente 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 region 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 se-

parable 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,
f H(G) y A un conjunto que contiene exactamente un punto de cada com-

ponente 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 sucesion (Rn ) de fun-
ciones 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 G
|f (x + iy)|2 dxdy < +}. Gracias a la desigualdad de
Cauchy-Schwarz, se tiene que la aplicacion

(f, g) L (G) L (G) 7 f, g =
2 2
f (z) g(z) dxdy C
G
esta bien denida. Ademas, si en L2 (G) identicamos dos funciones cuan-

do son iguales en casi todo, se prueba facilmente que , es una forma
sesquilineal (lineal en la primera variable y anti-lineal en la segunda varia-
ble) 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 pala-
bras, , es un producto escalar y L2 (G) es un espacio prehilbertiano. En
particular, la aplicacion

( )1/2
f L (G) 7 f 2 := f, f
2 1/2
= |f |2 dxdy [0, +)
G
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.
Definicion 2.3.1. Se llama espacio de Bergman de G al espacio vectorial

B 2 (G) := L2 (G) H(G).
Otra notacion es L2a (G). Al ser un subespacio vectorial tanto de H(G) co-
mo de L2 (G), hereda de manera natural dos topologas: la de la convergencia
compacta y la de la convergencia cuadratica. Por supuesto, la aplicacion ,
anterior es tambien un producto escalar sobre B 2 (G). El resultado siguiente
muestra la estructura de este espacio.
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 deri-
va 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 pre-

vio, 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
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 al (z a)l = ak al rk+l ei(kl) .
k=0 l=0 k,l=0
Por tanto

f 22 = |f (z)| dxdy
2
|f (z)|2 dxdy
G B(a,(K))
(K) 2

= r ak al rk+l ei(kl) drd.
0 0 k,l=0
En la ultima 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 ultimo, que 0 eim d vale 2 o 0
segun que m = 0 o m Z \ {0} (respectivamente), obtenemos que
(K)
|ak |2 (K)2k+2
f 2 2
2
|ak |2 r2k+1 dr =
0 k=0 k=0
k+1
(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
tiene que |f (a)| (K)
, de donde se deduce lo que queremos, sin mas que
escoger (K) = 1
(K)
. 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
metrico completo H(G), luego existe f H(G) tal que fn f compacta-

mente. 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. 2
Ejemplos sencillos muestran que la convergencia cuadratica es estricta-

mente 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.
Definicion 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 [equi-

valentemente, 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 numeros x, n se denomi-

nan 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 independien-
te y, usando el conocido metodo de ortonormalizacion de GramSchmidt, se
tiene que, dado un sistema linealmente independiente {xn }

n=0 X, existe
un unico 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.
Definicion 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

todo x X se tiene que x, n n = x cuadraticamente.
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 |x, n |2 =
n=0
x22 .
2.3.2. 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).
Aplicando el metodo de Gram-Schmidt al sistema libre {z n }

n=0 , obtene-
mos un unico sistema ortonormal {Pn }n0 de polinomios tales que grado(Pn )
= n para todo n 0 y sus coecientes lderes son positivos. Por el teo-
rema 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 poli-
nomios. Daremos seguidamente una sencilla condicion suciente, de caracter
topologico, para que esto ocurra.
Definicion 2.3.4. Un dominio de Caratheodory es una region G C simple-

mente 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 mate-
rializado 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 Cara-

theodory, 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. En-
tonces 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

todo n N. Ademas, si hn : Gn G es el unico isomorsmo dado por el

Teorema de Riemann tal que hn (z0 ) = z0 y hn (z0 ) > 0, entonces hn (z) z
(n ) compactamente en G. Luego hn 1 compactamente en G, por
el teorema de convergencia de Weierstrass.
Fijemos una funcion f B 2 (G) y un > 0. Queremos hallar un polinomio
P tal que P f 2 < 2. Denotemos por fn (n N) la funcion fn : Gn C
dada por fn (z) := f (hn (z))hn (z), y por m la medida Lebesgue bidimensional.
Por la formula del cambio de variables, tenemos que, para cada n

N, G
|fn |2
dm = hn (G)
|f |2
dm G
|f |2 dm. Por otra parte, dado un
compacto K G, fn f uniformemente en K. Luego, por el teorema de
la convergencia dominada,

lm inf |fn | dm lm inf
2
|fn | dm =
2
|f |2 dm.
n G n K K
En consecuencia, puesto que lo anterior se cumple para cada compacto K

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

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

luego G
|fn |2 dm G
|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. 2
Pueden denirse espacios de Bergman mas generales, a saber:
B p (G) := {f H(G) : f p < +},

( )1/p
donde f p := G
|f (z)|p
dxdy . Es decir, B p (G) = H(G)Lp (G). Cada
uno de ellos es un espacio de Banach bajo la norma p . Otra notacion es
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
dxdy
normalizada dA(z) =
.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:

f p
(a) Para todo z D y toda f H(D), se verifica |f (z)| .
(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

1
2
medio para funciones analticas, obtenemos que f (z) = 2 0
f (z + rei ) d
para todo r (0, 1 |z|), lo que implica que
1|z| 1|z| 2
1 ( )
f (z)r dr = f (z + rei )r d dr.
0 2 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,
) = r. En consecuencia, el
segundo miembro de la igualdad anterior entre integrales se transforma en
1
(1|z|)2
2 B(z,1|z|)
f (w) dA(w), mientras que el primer miembro vale f (z) 2
.
1

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

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

1 ( )1/p f p
|f (w)|p dA(w) .
(1 |z|)2
B(z,1|z|) (1 |z|)2
(b) Sea K D un compacto. Entonces existe r (0, 1) tal que K B(0, r).
Del apartado (a) deducimos que sup |f | 1
(1r)2
f p . De aqu se obtiene (b).
K
(c) Es muy similar a la prueba de la parte (b) del Teorema 2.3.1. 2
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 subarmonicas

En este apartado introducimos una clase importante de funciones auxi-
liares que nos seran utiles para conseguir algunas desigualdades satisfechas
por elementos de nuestros espacios funcionales.
Definicion 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) v(a + rei ) d.
2 0
Ya que las funciones armonicas cumplen la propiedad del valor medio,
se tiene que toda funcion armonica es subarmonica. A continuacion, propor-
cionaremos 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 subarmonicas 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)| ln |f (a + rei )| d. [1]
2 0
Ya que ln+ t ln t para todo t 0, obtenemos de [1] que ln+ |f (a)|

2 +
1
2 0
ln |f (a + rei )| d, porque el primer miembro vale ln |f (a)| si |f (a)|
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). 2
Damos ahora una caracterizacion de la subarmonicidad, aunque solo sera

enunciada la implicacion que necesitaremos mas adelante. El termino subar-
monica se inspira en el resultado de este teorema.
Teorema 2.3.7. Sean G C un abierto, v : G R una funcion sub-

armonica, 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 ab-

surdo, que v1 (z) > 0 para algun 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 algun r > 0 tenemos B(z0 , r) K 0 , pero algun subarco de
|z z0 | = r esta en E c . Por tanto
2
1
v1 (z0 ) = m > v1 (z0 + rei ) d,
2 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. 2
Corolario 2.3.8. Si v es una funcion subarmonica en D, entonces la funcion

2
r [0, 1) 7 m(r) := 2
1
0
v(rei ) d R es creciente.
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
m(r1 ) = v(r1 e ) d
i
h(r1 ei ) d
2 0 2 0
2 2
1 i 1
= h(0) = h(r2 e ) d = v(r2 ei ) d = m(r2 ),
2 0 2 0
como se quera demostrar. 2
2.3.4. Operador de composicion

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 composicion
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.
Definicion 2.3.6. Sean f, g H(D). Se dice que f esta subordinada a g

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 esta subordinada a g, entonces
2 2
|f (re )| d
i p
|g(rei )|p d.
0 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
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 sub-
armonica (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
|f (re )| d
i p
h((rei )) d = h((0))
2 0 2 0
2 2
1 1
= h(0) = i
h(re ) d = |g(rei )|p d,
2 0 2 0
como se quera demostrar. 2
Teorema 2.3.10. Sean : D D holomorfa, p > 0 y f H(D). Entonces

( 1 + |(0)| )2
|f ((z))| dA(z)
p
|f (z)|p dA(z).
D 1 |(0)| D
En particular, para cada p [1, +), la aplicacion C es un operador sobre

el espacio de Bergman B p (D), cuya norma C satisface
( 1 + |(0)| )2/p
C .
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
|f ((re ))| d =
i p
|f a (re )| d
i p
|f a (rei )|p d
0 0 0
para cada r (0, 1). Multiplicando por r cada miembro de la desigualdad

anterior e integrando entre 0 y 1, conseguimos que

|f ((z))| dA(z)
p
|f a (z)|p dA(z).
D D
Cambiamos ahora la variable en la segunda integral. Notemos que el jaco-

(1|a|2 )2
biano de a (= 1
a ) es |a (z)| =
2
|1az|4
. Entonces

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

( 1 + |a| )2
= |f (z)|p dA(z),
1 |a| D
como se requera. 2
2.4. Funciones analticas acotadas

A continuacion, estudiaremos el espacio vectorial H (D) de la fun-
ciones 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
0r<1 r1
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
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 bi-
za
lineales de la forma ei 1az , |a| < 1, R.
Definicion 2.4.1. Un producto de Blaschke finito es o bien una constante

unimodular o bien un producto nito puntual de transformaciones bilineales

N
zan
del tipo anterior, es decir, una funcion de la forma f (z) = ei 1an z
, con
n=1
R, N N0 y a1 , . . . , aN D.
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 in-
nitos 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 fun-
ciones denidas sobre un mismo subconjunto A de C, se dice que el producto

funcional innito fn converge normalmente en A si el producto numerico
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.
Proposicion 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
supA |fn 1| es convergente. Ademas, si tal es el caso, se tiene que los

n=1

n
productos parciales Pn := fk (n N) convergen uniformemente en A a
k=1

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

(b) Si G C es un abierto, {fn }
n=1 H(G) y fn converge normalmente
n=1

en cada compacto K G, entonces f := fn H(G). Ademas, 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

|an | an z
B(z) := z k (z D)
n=1
an 1 an z
define una funcion B H(D) tal que |B(z)| < 1 para todo z D. En
particular, B H (D). Ademas, sus ceros son exactamente los puntos an
(con la multiplicidad dada por el numero 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 }
n=1 D \ {0}. Por tanto, una constante unimodular es tambien
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
r (0, 1), basta probar la convergencia normal en B(0, r), lo cual, de nuevo

|an | an z
por la proposicion anterior, equivale a probar que sup 1 an 1an z <
n=1 |z|<r
+. Para ello, jemos z con |z| < r y observemos que

|a | a z an + |an |z
1 n n = (1 |an |) 1 + r (1 |an |).
an 1 an z (1 an z)an 1r

Se deduce que la suma de la serie anterior es menor o igual que 1+r
1r
(1
n=1
|an |) < +, luego nuestra serie tambien converge. 2
2.4.2. Teorema de factorizacion de Riesz

El siguiente resultado, conocido como Formula de Jensen, resultara muy
util para estudiar el comportamiento de los ceros y la factorizacion en los es-
pacios de Hardy. Su prueba se basa en la aplicacion del teorema del valor
medio a una funcion armonica adecuada.
Proposicion 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
N { 2 }
r 1
|f (0)| = exp ln |f (re )| d .
i
n=1
|an | 2 0
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

{an }
n=1 D es la sucesion de ceros de alguna funcion analtica y acotada
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 }n=1 la sucesion de ceros de

f , enumerados segun su multiplicidad. Entonces (1 |an |) < +.
n=1
Demostracion. Si hay un numero nito de ceros, no hay nada que probar. Si

hay un numero innito, debe ser |an | 1 (por el Principio de Prolongacion
Analtica), as que podemos suponer, con un cambio de orden y desplazamien-
to de los ndices si es preciso, que el origen es m-multiple 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
2
ln |arn | = ln(|c|rm ) + 1
2 0
ln |f (rei )| d ln(|c|rm ) + C,
|an |<r
donde C es una constante nita, debido a que f es acotada.

N
Fijemos un N N. Para cada r > |aN | tenemos que ln |arn | [primer
n=1
miembro de la expresion anterior] ln(|c|rm )+C. Haciendo r 1, resulta
N
ln |a1n | M = constante (0, +) para todo N N, lo que implica que
n=1

la serie ln |a1n | converge. Ya que es una serie de terminos positivos, del
n=1
hecho lm ln(1+t)
t
= 1 y del criterio de comparacion por paso al lmite se
t0

deduce que (1 |an |) tambien converge. 2
n=1
Corolario 2.4.5. Si f H (D) y existe una sucesion {an }

n=1 {ceros de

f } tal que (1 |an |) = + entonces f 0.
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

numero nito de ceros, la demostracion sera similar, pero mas sencilla), y
los disponemos en sucesion, teniendo en cuenta sus multiplicidades. Recorde-

mos 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
f
|z| = R. Por tanto, M (gn , r) M (gn , R) 1
, de donde se deduce que
f
gn = sup M (gn , r) 1
para cada (0, 1). Luego gn f
0<r<1
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
2.5. Espacios de Hardy
Por ultimo, versaremos sobre los espacios de Hardy sobre el disco

unidad, denotados por H p (D) o simplemente H p , donde p (0, +). Cada
espacio de Hardy de orden p se dene como el conjunto H p = {f H(D) :
( 1 2 )1/p
sup Mp (f, r) < +}, donde Mp (f, r) := 2 0
|f (rei )|p d .
0r<1
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
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.
Teorema 2.5.1. (a) Si p 1, la aplicacion p es una norma sobre H p

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) = an z n H(D), entonces f H 2 |an |2 < +.
n=0 n=0
(
)
2 1/2
Ademas, f 2 = |an | 2
, y H es un espacio de Hilbert con el
n=0

producto escalar f, g := an bn , donde f (z) = an z n y g(z) =
n=0 n=0

n
bn z .
n=0
Demostracion. Fijemos un numero 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].
1
H f (t)
Por la formula de la integral de Cauchy, se tiene que f (z) = 2i tz
dt
para todo z K. Entonces, si z K, se deduce para todo R (r, 1) que
2 2
1 f (Rei )Riei 1 |f (Rei )| M1 (f, R) f p

|f (z)| = d d = ,
2i 0 Re z
i 2 0 Rr Rr Rr
para todo R (r, 1), donde la ultima desigualdad es valida por la desigualdad
de Holder. Por tanto
f p
sup |f (z)| . [2]
zK 1r
De aqu se deduce (b), pues si {fn }n1 H p f y fn f en H p , entonces
fn f p
sup |fn (z) f (z)| 1r
0 (n ) para cada compacto K D.
zK
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)

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
0r<1
todo m N , as que fm f en p .
Probemos (c). Un calculo directo, usando que |f (rei )|2 = f (rei )f (rei ) =
(
)(
) (
)1/2
an rn ein ak rk eik , prueba que M2 (f, r) = |an |2 r2n . Luego
n=0 k=0 n=0

f 22 = |an | , de donde se deduce que f H si y solo si la ultima serie
2 2
n=0
es convergente. Por el apartado (a), H 2 es completo.
Que , esta bien denido se ve gracias a la desigualdad de Cauchy-

Schwarz, y es inmediato comprobar que es un producto escalar. As que H 2
es un espacio de Hilbert. 2
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)
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 teo-

rema 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) =
{ }1/p r1
2
lm 2 0 |gn (re )| |Bn (re )| d
1 i p i p
. Ahora bien, jado (0, 1), existe
r1
algun 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
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 . 2
Sabemos que H H p para cada p > 0. Vamos a ver que, de hecho,

toda funcion de H p es el cociente de algun 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 +
que, al ser f H p , se tiene que M := sup 2
1
0
ln |f (rei )| d < +.
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
f (z) = gr (z) exp ln |f (re )| i
i
d ,
2 0 re z

N
r(an z)
donde hemos denotado gr (z) = C r 2 an z
, siendo C una constante de
n=1
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
r (z) := gr (z) exp ln |f (re )| i
i
d
2 0 re z
{ 2 }
1 rei + z
y r (z) := exp ln |f (re )| i
+ 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 )
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 + }
que |k (0)| = |rk (0)| = exp 2
1
0
ln |f (r k ei
)| d eM = constante
> 0. Como kj , resulta |(0)| eM , luego 0. 2
2.5.2. Integrales de Poisson-Stieltjes
Recordemos la denicion de nucleo 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}.
Definicion 2.5.1. La funcion nucleo de Poisson se dene por las igualdades

+
1 r2 1 + rei
Pr () := r|n| ein = = Re (0 r < 1, R).
n=
1 + r2 2r cos 1 rei
Definicion 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
2
1
P [](z) := (ei ) Pr ( ) d para todo z = rei D.
2 0
De teoremas conocidos de analiticidad y derivabilidad de integrales de-

pendientes 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 unica funcion F C(D) Arm(D) tal que F |T = , y que F viene
dada por
P [](z) si z D
F (z) =
(z) si z T.

Notemos que, si C(T) y () := (eit ) dt, entonces C 1 [0, 2] (en
0
2
particular, es de variacion acotada en [0, 2]) y P [](z) = 21
0
Pr (
) d().
Generalicemos esta idea. Recordemos que una funcion : [a, b] R es
de variacion acotada cuando existe M (0, +) tal que, para toda particion

n
{t0 = a < t1 < < tn = b} de [a, b], se tiene que |(tk ) (tk1 )| M .
k=1
El conjunto de tales funciones se denota por BV [a, b], y es facil ver que es
un espacio vectorial. Recordemos algunas propiedades.
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 nume-

rable de puntos, donde tiene discontinuidades de salto. Ademas, existe
derivada () R ect [a, b].
Definicion 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 numero 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 ]
(k = 1, . . . , N ), se tiene

N

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

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 numero A, si existe, es unico. El conjunto de las

funciones que son Riemann-Stieltjes integrables respecto de g en [a, b] sera de-
notado por RSg [a, b].
(a) Si g(x) = x, entonces f RSg [a, b] f R[a, b]. En tal caso,

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

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

b b b
f d(g + h) = f dg + f dh.
a a a
(d) Si c (a, b) y f RSg [a, b], entonces f RSg [a, c] RSg [c, b] y
b c b
f dg = f dg + f dg.
a a c
(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].

(g) Es valida la formula de integracion 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 a
b b
(h) Si f C[a, b] y g C 1 [a, b], entonces existe a
f dg = a
f (x)g (x) dx.
Definicion 2.5.4. Si BV [0, 2], diremos que la funcion u = P [d] :

D R dada por
2
1
u(z) = Pr ( ) d() (z = rei D)
2 0
es una integral de Poisson-Stieltjes.
En la siguiente proposicion se recuerdan algunas propiedades elementales

del nucleo de Poisson.
Proposicion 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 circun-
ferencias 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
acotada. Entonces existen una subsucesion (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
b b
lm (t) dnk (t) = (t) d(t).
k a a
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.
2
(c) u Arm(D) y sup 0
|u(rei )| d < +.
0r<1
Demostracion. (a) (b): Por hipotesis, existe BV [0, 2] tal que u(z) =
2
1
2 0
Pr ( ) d() para todo z = rei D. Ahora bien, existen 1 , 2 :
[0, 2] R crecientes tales que = 1 2 . Entonces u = u1 u2 , donde
2
1
uj (z) := 2 0
Pr ( ) dj () (j = 1, 2) son armonicas, y ademas son
mayores o iguales a cero ya que Pr () > 0 para todo .
(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).
2
(c) (a): Sea u Arm(D) tal que sup 0
|u(rei )| d =: C < +.
0r<1
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
t
r (t) := u(rei ) d.
0
Entonces r (0) = 0 y, para cada particion 0 = t0 < t1 < < tn = 2,

resulta que

n 2
|r (tj ) r (tj1 )| |u(rei )| d C.
j=1 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
u(z) = lm u(rn z) = lm Pr ( t)u(rn eit ) dt
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. 2
De la prueba del teorema anterior se deduce la as denominada repre-

sentacion 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 ultimo 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:
(a) Si u = P [d] y existe (0 ) R, entonces existe el limite radial

lm u(rei0 ) = (0 ).
r1
2
(b) Si u Arm(D) y sup 0
|u(rei )| d < +, entonces u tiene lmite
0r<1
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

lm u(r) = A := (0). Si utilizamos que 2
1
P () d = 1 y a continuacion
r
r1
usamos integracion por partes, tenemos que

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

1 1
= [Pr ()(() A)]=
=
(() A)Pr () d.
2 2
Notemos que 1
2
[Pr ()(() A)]=
= 0 cuando r 1.
2r(1r 2 )
Para cada (0, ) jo, resulta que |Pr ()| (12r cos +r2 )2
0 (r 1)
si 0 < || , luego

1
lm Pr ()(() A) d = 0.
r1 2 ||
Esto conlleva que, para cada (0, 2), u(r) = A + (, r) + I(, r), donde
lm (, r) = 0 e
r1

1
1 ( () () )
I(, r) := (()A)Pr () d
= A (Pr ()) d.
2 0 2

()()
Dado > 0, escojamos (0, ) tal que 2
A para todo
(0, ). Ya que cos es decreciente en [0, ], tenemos que Pr () es decreciente
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
|I(, r)| =
[Pr ()]= + Pr () d = 2 + 2 < 2.
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. 2
r1
Vamos a ver que podemos incluso anar la existencia de limites radiales.
Definicion 2.5.5. Se dice que una funcion f : D C tiene limite no-

tangencial L en un punto ei0 T cuando
lm f (z) = L
zei0 , zS (0 )
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
H (B(1, 1)), de modo que existe lm+ f (x) = L. Si (0, 1), se tiene
x0
B(1, 1) B(1, 1), luego {fn (z) := f (z/n)}
n=1 H (B(1, 1)), as que (fn )
es una sucesion de funciones holomorfas uniformemente acotadas en B(1, 1).

Ademas, para cada x (0, 1), la sucesion {fn (x)}
n=1 converge (a L C).
Por el Teorema de Vitali, existe una funcion F H(B(1, 1)) tal que fn F
compactamente. Pero fn L puntualmente en (0, 1), as que F |(0,1) L. Por
el Principio de Prolongacion Analtica, F L en B(1, 1). Por tanto fn L
uniformemente en cada compacto de B(1, 1), en particular en
cos
K := {z : | arg z| y |z| cos } ( B(1, 1)),
2
donde (0, /2) se ha prejado.
Fijemos > 0. Hemos de probar que lm f (z) = L, donde M :=

z0, zM
{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 n
K. Por tanto, basta tomar > 0 tal que < cos
n0

. 2
nn0
Podemos ahora establecer el siguiente resultado auxiliar, que es intere-

sante 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 .
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
|f (re )| d lm
i
|f (sei )| d
0 s1 0
2 2
= lm |f (se )| d =
i
|f (ei )| d.
0 s1 0
B
Aplicando este resultado a f = Bn
, donde Bn es el producto de Blaschke
parcial n-esimo, y teniendo en cuenta que |Bn (ei )| 1 para todo n N,
resulta
2 B(rei ) 2
d |B (ei )| d.
Bn (rei )
0 0
2
Pero Bn B (n ) uniformemente en {|z| = r}, luego 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

A
|B (e )| d + [0,2]\A
|B (ei )| d < 2, que es claramente una contradic-
cion. 2
El teorema de representacion de los hermanos Nevanlinna permite de-

ducir propiedades de las funciones de H p a partir de las correspondientes
propiedades de las funciones de H . Por ejemplo, el comportamiento fron-
terizo 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.
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 no-
tangenciales 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 0 r1
2 { 2 }
lm inf | ln |((re )|| d = lm inf
i
ln |(re )| d .
i
r1 0 r1 0
2
Pero la funcion r [0, 1) 7 ln |(rei )| d es creciente, por la Formula
0
2
de Jensen. Luego la funcion opuesta r [0, 1) 7 0 ln |(rei )| d <
+ ( 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 cre-
ciente, resulta que
2 2
d d
|f (e )|i
=p
lm inf |f (rei )|p
0 2 0 r1 2
2
d
lm inf |f (rei )|p
= sup Mp (f, r)p = f pp < +.
r1 0 2 0r<1
( 2 )
d 1/p
Por tanto f Lp (T), y ademas f p f p , donde f p := 0 |f (ei )|p 2 .
2
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:
2
(a) lm |f (rei ) f (ei )|p d = 0.
r1 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
2 2

|f (re ) f (e )| d =
i i 2
lm |f (rei ) f (sei )|2 d
0 0 s1

2 2
2
lm inf |f (re ) f (se )| d = lm inf
i i 2 an (rn sn )ein d
s1 0 s1 0 n=0

= lm inf 2 |an | (s r ) = 2
2 n n 2
|an |2 (1 rn )2 0 (r 1 ),
s1
n=1 n=1
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 segun 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
(luego |g| |f |), y por el Lema 2.5.11 se tiene que |B | = 1 ect . Resulta
entonces que, cuando r 1,
2 2 2 2

|f (re )| d
i p
|g(re )| d
i p
|g (e )| d =
i p
|f (ei )|p d,
0 0 0 0
2 2
luego lm sup 0
|f (rei )|p d |f (ei )|p d. Gracias al Lema de Fa-
0
r1
2 2
tou, obtenemos 0 |f (ei )|p d lm inf 0 |f (rei )|p d, lo que implica que
2 2 r1
existe lm 0 |f (rei )|p d = 0 |f (ei )|p d.
r1
Fijemos, nalmente, una sucesion (rn ) (0, 1) tal que rn 1 y aplique-

mos 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 )
r1
f (ei )|p d = 0. 2
2.5.4. Espacio de las funciones de valores frontera

Para concluir, incluimos sin demostracion algunos resultados impor-
tante. 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 (z) = f (ei ) Re i d.
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
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 isometri-

co [pues f p = f p ]. Por tanto, si identicasemos las funciones de Hp
en Lp (T) mediante los coecientes de Fourier, tendramos tambien una ca-
racterizacion 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.

{ 2 }
(d) Sea f (z) = an z n H 1 , y sea cn (f ) := 1
2 0
f (ei )ein d
n=0 nZ
la sucesion de coeficientes de Fourier de la funcion de valores frontera
f . Entonces cn = 0 si n < 0 y cn = an si n 0.
(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 composicion en espacios de Hardy.
Teorema 2.5.16. Si p (0, +] y H(D) es tal que (D) D,

entonces el operador de composicion
C : f 7 f
es un operador sobre H p , es decir, C (H p ) H p y la aplicacion 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
( )1/p
1 + |(0)|
C .
1 |(0)|
Ejercicios

1 f gKn
1. Demostrar que D(f, g) := 2n 1+f gKn
dene una metrica comple-
n=1
ta en C(G), con G C abierto y (Kn ) una sucesion exhaustiva de
D
compactos de G. Probar que fn f si y solo si fn f uniforme-
n n
mente en compactos de G, y que la topologa que dene D en C(G)
coincide con la generada por los conjuntos V (f, K, ) := {g C(G) :
|g(z) f (z)| < z K}, donde K es un subconjunto compacto de
G, f C(G) y > 0.
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. Indicacion: 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
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) :

G
|f (x + iy)| dxdy 1}. Demostrar que F es compacta en H(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 multiplemente conexa probar que el conjunto

de los polinomios no es denso en H(G).
{ }

|ak |2
2
10. Probar que B (D) = f (z) = ak z k H(D) : k+1
< + .
k=0 k=0
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).
13. Consideremos el conjunto A(D) := {f C(D) : f H(D)}, denomi-

nado 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 uniforme-

mente en compactos en D, pero no cuadraticamente. Lo mismo para la

sucesion gn (z) = n + 1 z n (n N).
{ 1z n
}
19. Demostrar que fn (z) = 1z n1
B 2 (D) y que (fn ) converge com-
pactamente en D a una funcion que no esta en B 2 (D).
n
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}.
21. Sea f entera con |f (0)| = 1, y llamemos n(r) al numero 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

segun su multiplicidad. Demostrar que

2
(1 |an |) < + sup ln |f (rei )| d < +.
0r<1 0
n=1
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. Indicacion: 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.
25. Sean f, g H tales que f ( n1

n
) = g( n1
n
) para todo n N. Probar
que f g.
1 ( )
26. Demostrar que H p \ H 1.
1z 0<p<1
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 D
|f (z)|2 ln |z|12 dxdy.
(b) Deducir que el producto escalar en H 2 viene dado por

f, g = f (0)g(0) + 1 D
f (z)g (z) ln |z|12 dxdy.
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:
f p
(a) Si |z| = r < 1, entonces |f (z)| 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 .

2
31. Sea f H(D) tal que lm | ln |f (rei )|| d = 0. Demostrar que f
r1 0
es un producto de Blaschke. Indicacion: Usar el Teorema 2.3.6 y el
Corolario 2.3.8.
32. Demostrar la formula de Poisson-Jensen dada en la prueba del teorema

de los hermanos Nevanlinna (Teorema 2.5.3). Indicacion: 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) = an z n H(D) con |an | < + pero
n=0 n=0
tal que f H 1 . Indicacion: Usar el Ejercicio 34.
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
{zn }n1 + tal que < + de modo que f (zn ) = 0
n=1
1 + |z n |2
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 pequena parte. Cada uno de ellos ha si-
do 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, Integracion: 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, Moscu, 1975.
A. Markushevich, Teora de las funciones analticas, 2 vols., Mir, Moscu,

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

Master PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Master PDF

Cargado por

Copyright:

Formatos disponibles

UNIVERSIDAD DE SEVILLA

Analisis real y complejo.

Master Universitario en Matematica

Luis Bernal Gonzalez

Departamento de Analisis Matematico

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

2. Espacios de funciones analticas 67

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

Precisamente, el intento de medir conjuntos arbitrarios de puntos de la

A nales del siglo XIX, se llevaron a cabo varios intentos de establecer

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

FRECHET generalizo la teora considerando -algebras de conjuntos en

El objeto de este tema es dar unas nociones y resultados sobre la teora

1.2. Conjuntos medibles y medidas positivas

Si M P(X), diremos que M es una -algebra sobre X cuando verica

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

Como ejemplos triviales, se tiene que {, X} y P(X) son -algebras sobre

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

Sea (X, M) un espacio medible. Por denicion, una medida positiva, o

2. La aplicacion es numerablemente aditiva, es decir, si {An }n1 M

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

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 =

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

Si S M, entonces MS := {A M : A S} es una -algebra sobre

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

En la siguiente proposicion se reunen algunas propiedades operacionales

Proposicion 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

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

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

Damos ahora unas deniciones y establecemos algunos convenios, que en

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

1.3. Medidas exteriores

Sean a = (a1 , . . . , aN ) y b = (b1 , . . . , bN ) dos puntos de RN tales que

se dice que {I 1 , . . . , I p } es una particion de J. Una particion de J se dice

Proposicion 1.3.1. Si P = {I 1 , . . . , I p } es una particion de un N -rectangulo

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

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

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

1.4. Procedimiento de Caratheodory

Teorema 1.4.1. Sea una medida exterior sobre un conjunto X. Consi-

Entonces M es una -algebra sobre X y := |M es una medida completa

La familia M denida anteriormente se denomina la -algebra de los

Como M, N M, resulta que

de donde obtenemos que

luego M N M. Por tanto, M N = (M c N c )c M y M \N = M N c

Asimismo, se prueba facilmente por induccion que

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

lo que implica que

donde hemos usado dos veces la subaditividad. Por tanto,

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

1.5. Medida de Lebesgue

m es completa y -nita: En efecto, m se elabora mediante un proce-

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

m es invariante por traslaciones y homogenea de grado N , es decir, para

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

Denotemos por (A) la cardinalidad de un conjunto A, y por la cardinalidad

Teorema 1.5.1. Sea A RN . Son equivalentes:

(b) Para cada > 0 existe un subconjunto abierto G RN tal que A G

(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

(e) A = K C, donde K es un F y m (C) = 0.