Series de Funciones

UNIVERSIDAD DE SEVILLA
Series de funciones e integral

de Lebesgue
Luis Bernal Gonzalez
Departamento de Analisis Matematico
Lugar y A
no: Sevilla, 2012
Disponible en: http://personal.us.es/lbernal/
Indice general
Pr
ologo
1. Series de n
umeros reales e integral de Riemann
1.1. Series numericas . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2. Criterios de convergencia . . . . . . . . . . . . . . . . . . . . . 11

1.3. Series de terminos positivos y series alternadas . . . . . . . . . 12
1.4. Otros criterios de convergencia . . . . . . . . . . . . . . . . . . 14
1.5. Concepto y propiedades de la integral de Riemann . . . . . . . 15
1.6. Condiciones de integrabilidad . . . . . . . . . . . . . . . . . . 16
1.7. Integracion y antiderivacion . . . . . . . . . . . . . . . . . . . 17
1.8. Cambio de variables e integracion por partes . . . . . . . . . . 18
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2. Integrales impropias
23
2.1. Integrales impropias de primera especie . . . . . . . . . . . . . 23

2.2. Integrales impropias de segunda especie . . . . . . . . . . . . . 25
2.3. Integrales mixtas . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.4. Criterios de convergencia. Convergencia absoluta . . . . . . . . 27
2.5. Criterios de convergencia para funciones positivas . . . . . . . 29
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
3. Sucesiones de funciones
35
3.1. Convergencia puntual y convergencia uniforme . . . . . . . . . 35
Luis Bernal Gonz

alez
3.2. Algebra
de sucesiones uniformemente convergentes . . . . . . . 38
3.3. Convergencia uniforme, continuidad y derivabilidad . . . . . . 41
3.4. Convergencia uniforme e integracion
. . . . . . . . . . . . . . 44
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
4. Series de funciones
47
4.1. Definiciones: sumas puntual y uniforme . . . . . . . . . . . . . 47

4.2. Relacion con la continuidad, derivacion e integracion . . . . . 48
4.3. Criterios de convergencia uniforme . . . . . . . . . . . . . . . 49
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
5. Series de potencias
55
5.1. Radio e intervalo de convergencia de una serie de potencias . . 55

5.2. Continuidad, derivabilidad e integrabilidad de series de potencias 59
5.3. Funciones analticas . . . . . . . . . . . . . . . . . . . . . . . . 63
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
6. Medida de Lebesgue
69
6.1. El problema de la medida . . . . . . . . . . . . . . . . . . . . 69

6.2. Espacios medibles, espacios de medida y medida exterior . . . 70
6.3. Construccion de la medida de Lebesgue en R . . . . . . . . . . 74
6.4. Conjuntos medibles Lebesgue . . . . . . . . . . . . . . . . . . 80
6.5. El conjunto de Cantor . . . . . . . . . . . . . . . . . . . . . . 84
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
7. Integral de Lebesgue
87
7.1. Funciones simples . . . . . . . . . . . . . . . . . . . . . . . . . 87

7.2. Funciones medibles . . . . . . . . . . . . . . . . . . . . . . . . 89
7.3. Integral de Lebesgue de funciones no negativas . . . . . . . . . 94
7.4. Propiedades de la integral de funciones no negativas . . . . . . 96
7.5. Conjuntos de medida nula . . . . . . . . . . . . . . . . . . . . 97
INDICE GENERAL
7.6. Integral de Lebesgue de funciones medibles . . . . . . . . . . . 100

Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
8. Teoremas de convergencia
107
8.1. Teoremas de convergencia . . . . . . . . . . . . . . . . . . . . 107

8.2. Relacion entre las integrales de Riemann y de Lebesgue . . . . 112
8.3. El espacio L1 (X) . . . . . . . . . . . . . . . . . . . . . . . . . 115
8.4. Subespacios densos de L1 (R) . . . . . . . . . . . . . . . . . . . 117
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118
9. Integrales param
etricas
123
9.1. Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123

9.2. Continuidad de integrales parametricas . . . . . . . . . . . . . 124
9.3. Derivabilidad de integrales parametricas . . . . . . . . . . . . 125
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127
10. Series de Fourier
129
10.1. Serie de Fourier y coeficientes de Fourier . . . . . . . . . . . . 129

10.2. Desigualdades e igualdades con coeficientes de Fourier . . . . . 132
10.3. Convergencia puntual de la serie de Fourier . . . . . . . . . . . 134
10.4. Convergencia uniforme de la serie de Fourier . . . . . . . . . . 138
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 141
Bibliografa
143
Lista de smbolos y abreviaturas
145
Indice alfab
etico
146
Pr
ologo
Estas notas han sido concebidas para servir de base al estudiante que
pretenda introducirse en los rudimentos de la teora de sucesiones y series de
funciones y en la teora de integracion de Lebesgue. Ambas teoras proporcionan instrumentos de amplio uso en analisis matematico, en sus dos vertientes
teorica y aplicada.
El texto esta dirigido, inicialmente, a los alumnos de la asignatura homonima Series de funciones e integral de Lebesgue, que actualmente se imparte
como asignatura obligatoria en el segundo curso del Grado en Matematicas
de la Universidad de Sevilla. No obstante, confo en que su utilidad vaya mas
alla y pueda ser usado como consulta tambien fuera del ambito especfico
de la asignatura citada. Espero, asimismo, que estas notas sean tambien de
provecho para el profesor que imparta los contenidos de las mismas.
Como prerrequisito para una lectura provechosa de esta obra, se presupone al lector una fuerte familiaridad con nociones y resultados basicos del
calculo infinitesimal. Me refiero en especial a conocimientos sobre sucesiones
y series de n
umeros reales, convergencia, funciones reales de variable real,
topologa de la recta real, continuidad, derivabilidad e integral en el sentido
de Riemann. Aunque no es indispensable, sera asimismo bienvenida cierta
base de topologa general, algebra lineal y geometra analtica. No obstante,
y con objeto de hacer estas notas lo mas autocontenidas posible, se han in-
Luis Bernal Gonz

alez
corporado, como recordatorio para el lector, algunos conceptos y resultados

adicionales.
El texto se ha dividido en diez captulos o temas. En el Captulo 1 se
recapitulan, sin demostracion, los conceptos y resultados basicos sobre series
numericas e integral de Riemann, conocidos por el estudiante de un curso
elemental de calculo. Seran muy u
tiles para impartir la teora y resolver problemas correspondientes a los temas posteriores. Aprovecho para decir que,
en los restantes captulos, a veces se enunciaran sin demostracion resultados adicionales que son interesantes para una ulterior profundizacion en la
materia de que trata el texto.
Como extension del concepto de integral de Riemann, se estudia la nocion
de integral impropia, en la que ya ni el intervalo de definicion de la funcion
ni la funcion misma a integrar tienen por que ser acotados. Presentamos este
tipo de integral en el Captulo 2.
Una sucesion real no es mas que una aplicacion del conjunto de los n
umeros naturales en la recta real. Pero a veces surgen sucesiones que dependen
de una variable, que determina la posibilidad de un lmite que a su vez es
una funcion. Estas son las sucesiones de funciones, que se estudiaran en el
Captulo 3. Cuando se consideran las sumas parciales de estas sucesiones,
obtenemos series de funciones, consideradas en el Captulo 4. En ambos casos se estableceran condiciones para la propagacion de las propiedades de los
terminos a la funcion lmite o suma.
En el Captulo 5 se desarrolla el que quiza sea el ejemplo mas importante
de serie funcional, a saber, las series de potencias, las cuales dan lugar al
concepto de funcion analtica. Las propiedades operacionales de este tipo
de series, la estructura del conjunto de puntos de convergencia y diversos
criterios de analiticidad se estudiaran en este captulo.

PROLOGO
La medida de Lebesgue sobre la recta real, como extension natural del

concepto de longitud de un intervalo, se presenta en el Captulo 6. Con ella
se prepara la base para establecer el concepto de integral de Lebesgue, que
se estudiara en el Captulo 7. La integral de Lebesgue generaliza de manera
eficaz la nocion de integral de Riemann, evitando muchas de las carencias de
esta.
El Captulo 8 da a luz resultados de intercambio de las operaciones de
integracion Lebesgue y de lmite/sumacion, por lo que es ampliamente u
til y
conecta las dos partes del ttulo de esta obra. Como aplicacion, en el Captulo
9 se investiga la propagacion, a una funcion definida por una integral dependiente de un parametro, de las propiedades de la funcion que act
ua como
integrando.
Finalmente, el estudio de algunos problemas fsicos, asociados a la resolucion de ciertas ecuaciones diferenciales, dio lugar a las series de Fourier,
importante clase de series funcionales cuyos rudimentos se exponen en el
Captulo 10.
La obra contiene ejemplos que ilustran los conceptos y resultados que van
surgiendo. Ademas, al final de cada captulo se propone una variada lista de
ejercicios, en los que la teora dada o bien se aplica o bien se completa. En
algunos de ellos se adjuntan indicaciones o sugerencias u
tiles. Recomendamos
al estudiante que intente la resolucion de dichos ejercicios, pues ello constituye
un buen indicador del grado de asimilacion de la materia. Al final del texto se
ofrece una bibliografa para que el lector interesado efect
ue consultas y ample
conocimientos. Para una mayor comodidad de lectura, incluyo una lista de
abreviaturas y smbolos. El ndice alfabetico esta organizado de modo que se
indica la pagina o paginas donde aparece por primera vez la definicion de un
concepto o la formulacion de un resultado.
Luis Bernal Gonz

alez
Para concluir, es de justicia expresar mi agradecimiento a los profesores
Ma Angeles
Japon Pineda y Rafael Villa Caro por proporcionarme material
abundante y valioso, fruto de su experiencia docente. He utilizado frecuentemente, con provecho, dicho material en la elaboracion de esta obra.
El autor
Captulo 1
Series de n
umeros reales e
integral de Riemann
Efectuamos en este captulo una recapitulacion de algunos conceptos y
teoremas que el lector probablemente conoce de un curso elemental de calculo
infinitesimal. En concreto, se refieren a las series de n
umeros reales y a la
integral en el sentido de Riemann. Por tanto, no se daran las demostraciones.
Nuestro objetivo es que los resultados que se recopilan se puedan usar con
comodidad en el resto de esta obra, tanto en la parte teorica como en la
practica.
1.1.
Series num
ericas
Como es usual, denotaremos por N el conjunto {1, 2, . . . } de los enteros

positivos o n
umeros naturales, y por R el cuerpo de los n
umeros reales.
Consideremos una sucesion de n
umeros reales, es decir, una aplicacion :
n N 7 an R, representada como es habitual por a1 , a2 , ..., {an }
n=1 o
bien simplemente {an } o (an ). Se llama serie asociada o generada por {an }
a la sucesion {Sn } de sumas parciales de aquella, es decir, Sn = nk=1 ak =
10
Luis Bernal Gonz

alez
a1 + + an para todo n N. Se representa por

n=1 an , o simplemente
an , y a veces tambien por a1 +a2 + +an + . Por definicion, el caracter

de una serie es el mismo que el la sucesion que la genera.
Definici
on 1.1.1. Se dice que la serie
n=1
an es convergente cuando {Sn }
converge, esto es, cuando existe un n

umero S R, necesariamente u
nico,
tal que Sn S. Este hecho se representa por n=1 an = S, y se dice en

n
tal caso que S es la suma de la serie. En el caso de que la serie

n=1 an
no converja, se suele distinguir entre serie divergente y serie oscilante seg
un
que, respectivamente, Sn o {Sn } no tienda a ning
un n
umero real ni a
infinito.
La as llamada serie geometrica 1 + a + a2 + proporciona el ejemplo
mas sencillo. Teniendo en cuenta que las sumas parciales valen Sn = 1 +
a + + an1 =
1an
1a
1
1a
an
1a
si a = 1 y Sn = n si a = 1, resulta
que dicha serie es convergente (con suma
1
)
1a
si a (1, 1), divergente si
a (, 1) [1, +), y oscilante si a = 1.

Es evidente que hecho de a
nadir o suprimir un n
umero finito de terminos
de una serie no altera el caracter de la misma. Otra propiedad elemental es la
asociatividad, que afirma que si una serie

n=1 an es convergente o divergente
y consideramos la serie reagrupada

n=1 bn , donde b1 = a1 + + an1 ,
b2 = an1 +1 + + an2 , ... con n1 < n2 < , entonces

n=1 bn tiene el mismo
caracter y la misma suma que la serie original n=1 an . Pero la propiedad

disociativa no es valida en general. Por ejemplo, la serie 0 + 0 + 0 + es
trivialmente convergente, y cada termino puede escribirse como 0 = 1 1.
Tras esta disociacion, resulta la nueva serie 1 1 + 1 1 + , la cual no
converge.
Finalmente, tenemos la siguiente propiedad distributiva o de linealidad
para series convergentes.

SERIES DE NUMEROS
REALES E INTEGRAL DE RIEMANN
11
Teorema 1.1.2. Si
an = S y
bn = S entonces, para cada par ,
R, la serie
an + bn converge y
an + bn = S + S .
Anotamos que a veces la sucesion {an } que genera la serie

an no empieza su numeracion con el subndice 1, sino con otro subndice N N0 :=
N {0}. En tal caso la serie se expresa como

n=N an y su suma, caso de
ser convergente, es por definicion el lmn (aN + aN +1 + + an ).
1.2.
Criterios de convergencia
Vamos a recordar condiciones, necesarias y/o suficientes, de convergencia de series numericas. Comencemos con la condici
on necesaria mas popular.
Teorema 1.2.1. Si la serie

an converge, entonces lmn an = 0.
Por ejemplo, las series (1)n n y

log n no convergen. Sin embargo,
la condicion dada el el teorema anterior no es suficiente para la convergencia.
Por ejemplo, la serie armonica

1/n cumple que 1/n 0, pero no es convergente. A continuacion, establecemos el criterio de Cauchy de convergencia
de series numericas.
Teorema 1.2.2. La serie de n
umeros reales
an es convergente si y solo

si para cada > 0 existe n0 = n0 () N tal que m
k=n+1 ak < para
todos los m, n N con m > n n0 .
Por definicion, una serie de terminos positivos (STP) es una serie
cn
tal que cn 0 para todo n N. De manera natural, una serie numerica

an
lleva asociada una STP, a saber,

|an |. Se dice que la serie
an es abso
lutamente convergente cuando
|an | es convergente. Tenemos la siguiente
condicion suficiente.
Teorema 1.2.3. Toda serie absolutamente convergente es convergente. Adem
as,
si
an = S y
|an | = S entonces |S| S .
12
Luis Bernal Gonz

alez
Por ejemplo, la serie
3 +n2 +n
(1)n
3 +n2 +n
|(1)n
/2n converge; en efecto, la serie
/2n | =
(1/2)n
es convergente, ya que |1/2| < 1. Por tanto, si disponemos de criterios de convergencia de STPs, obtendremos instrumentos para estudiar la convergencia
ordinaria de series. Recordaremos algunos de esos criterios en la seccion siguiente.
1.3.
Series de t
erminos positivos y series alternadas
Trataremos aqu sobre estos dos tipos especiales de series. Se conoce la

siguiente facil caracterizacion de la convergencia de las STPs en funcion de
las sumas parciales.
Teorema 1.3.1. Una STP es convergente si y solo si su sucesi
on de sumas
parciales esta acotada. En consecuencia, toda STP es convergente o divergente, es decir, no puede ser oscilante.
Recordemos que una permutaci
on de N no es mas que una biyeccion
: N N. Si
an es una serie y es una permutacion de N, a la nueva
serie
a(n) se la llama serie reordenada respecto de la anterior.
Teorema 1.3.2. Las STPs poseen la propiedad conmutativa, es decir, series
reordenadas tienen el mismo car
acter, y la misma suma en el caso en que
sean convergentes.
En general, una serie numerica
an se dice que es incondicionalmente
convergente cuando toda reordenacion suya converge, y a la misma suma.
Una serie
an se dice que es condicionalmente convergente cuando converge pero alguna reordenacion suya no converge o converge a otra suma.

SERIES DE NUMEROS
13
Como generalizacion del teorema anterior, se tiene el teorema de Riemann
Dirichlet, que afirma que una serie

an es incondicionalmente convergente
si y solo si es absolutamente convergente.
El siguiente resultado proporciona criterios de convergencia de STPs.
Teorema 1.3.3. Sean
an y
bn dos STPs. Se verifica:
(a) [Criterio de comparacion] Si existe n0 N tal que an bn para todo
n n0 y
bn es convergente, entonces
an es convergente. Si existe
n0 N tal que an bn para todo n n0 y

bn es divergente, entonces
an es divergente.
an
(b) [Criterio de comparacion por paso al lmite] Si lm
= L [0, +)
n bn
( (0, +], resp.) y

bn es convergente (divergente, resp.), entonces
an es convergente (divergente, resp.).

1/n
(c) [Criterio de la raz o de Cauchy] Si existe lmn an =: L [0, +]
y L < 1 (y L > 1, resp.), entonces la serie

an+1
(d) [Criterio del cociente o de DAlembert] Si existe lm
=: L
n an
[0, +] y L < 1 (y L > 1, resp.), la serie

( an
)
1 =: L [0, +]
n
an+1
y L < 1 (y L > 1, resp.), entonces la serie

an es divergente (con-
(e) [Criterio de RaabeDuhamel] Si existe lm n

vergente, resp.).
(f) [Criterio de condensacion de Cauchy] Supongamos que {an } es decre

n
ciente. Entonces
an es convergente si y solo si
2 a2n es convergente.
14
Luis Bernal Gonz

alez
(g) La serie armonica generalizada
1
na
(a R) es convergente si y solo
si a > 1.
Se llama serie alternada a una serie cuyos terminos tienen signo alterno, es
decir, una serie de la forma

(1)n cn o bien
(1)n+1 cn con cn 0 para
todo n. El teorema siguiente, conocido como Criterio de Leibniz, proporciona
una condicion suficiente de convergencia de series alternadas.
Teorema 1.3.4. Consideremos una serie alternada como la anterior. Si la
sucesion {cn } es decreciente y cn 0, entonces la serie alternada es convergente. Ademas, en tal caso, el error cometido en la aproximaci
on no excede
el valor absoluto del primer termino despreciado; es decir, si Sn es la suma
parcial n-esima de la serie alternada y S es la suma, entonces |Sn S| cn+1 .
Por ejemplo, la as llamada serie anarmonica 1
1
2
1
3
1
4
+ es
convergente. Este ejemplo tambien muestra que el recproco del Teorema

1.2.3 es falso.
1.4.
Otros criterios de convergencia
A veces tenemos una serie que no es absolutamente convergente pero

tampoco alternada, con lo cual no podemos usar los criterios de convergencia
anteriores. En el siguiente teorema se dan dos condiciones suficientes, que se
basan en una descomposicion factorial adecuada del termino general.
Teorema 1.4.1. Sean

an y
bn dos series de n
umeros reales y denon
temos An = k=1 ak . Se verifica:
(a) [Criterio de Dirichlet] Si la sucesi
on {An } es acotada y la sucesi
on {bn }
es decreciente y con lmite 0, entonces

an bn es convergente.
(b) [Criterio de Abel] Si
convergente, entonces
an converge y la sucesi
on {bn } es monotona
an bn es convergente.

SERIES DE NUMEROS
1.5.
15
Concepto y propiedades de la integral de

Riemann
El concepto de integral es la abstraccion y formalizacion de la idea de

area. Aqu recordaremos la integral de Riemann, mientras que en el Captulo
7 introduciremos la integral, mas general, de Lebesgue.
Consideremos un intervalo cerrado y acotado [a, b] R. Se llama partici
on
de [a, b] a cualquier conjunto finito de puntos de [a, b], uno de los cuales es a y
otro es b. Luego cada particion P de [a, b] consta de puntos xi (i = 0, 1, ..., n)
con a = x0 < x1 < x2 < < xn = b. Sea f una funcion acotada. Se define la
suma superior de Riemann de f respecto de la particion P como el n
umero
n
U (f, P ) =
i=1 Mi (xi xi1 ), donde Mi := sup{f (t) : xi1 t xi }.
Analogamente, la suma inferior de Riemann de f respecto de la particion
P se define como el n
umero como el n
umero L(f, P ) = ni=1 mi (xi xi1 ),
donde mi := nf{f (t) : xi1 t xi }. Se tiene que L(f, P ) U (f, P ) para
cualesquiera particiones P, P de [a, b].
b
umeros reales a f :=
Definici
on 1.5.1. Sea f : [a, b] R acotada. A los n
b
sup{L(f, P ) : P particion de [a, b]} y a f := nf{U (f, P ) : P particion de
[a, b]} se les llama, respectivamente, integral inferior de Darboux e integral
superior de Darboux de f en [a, b].
Se verifica que (b a) nf{f (t) : a t b}
f
a
b
a
f (b a)
sup{f (t) : a t b}.

Definici
on 1.5.2. Sea f : [a, b] R acotada. Se dice que f es integrable
b
b
Riemann en [a, b] cuando a f = a f , en cuyo caso se denota este valor
b
b
com
un por a f o a f (x) dx, el cual se denominara la integral de Riemann
de f en [a, b]. El conjunto de las funciones integrables Riemann en [a, b]
sera denotado por R[a, b].
16
Luis Bernal Gonz

alez
Como ejemplo trivial, toda funcion constante f (x) c en [a, b] esta en

b
R[a, b], y ademas a f = c(ba). En el siguiente teorema resumimos algunas
propiedades de la integral de Riemann.
Teorema 1.5.3.
(a) [Linealidad respecto al integrando] R[a, b] es un es-
pacio vectorial sobre R. De hecho, si f, g R[a, b] y , R, entonces

b
b
b
f + g R [a, b] y a (f + g) = a f + a g.
(b) [Linealidad respecto al intervalo] Si a < c < b y f R[a, c] R[c, b]
b
c
b
entonces f R[a, b] y a f = a f + c f .
(c) [Monotona] Si f R[a, b] y f 0 en [a, b] entonces
b
b
f, g R[a, b] y f g en [a, b] entonces a f a g.
1.6.
b
a
f 0. Si
Condiciones de integrabilidad
Establecemos aqu dos condiciones de integrabilidad en el sentido de

Riemann, una necesaria y suficiente, y otra suficiente.
Teorema 1.6.1. [Condicion de Riemann] Sea f : [a, b] R acotada. Se
tiene que f R[a, b] si y solo si, para cada > 0, existe una partici
on P de
[a, b] tal que U (f, P ) L(f, P ) < .
Como consecuencia, si una funcion es integrable Riemann en un intervalo,
lo es en cualquier subintervalo de este.
Teorema 1.6.2. Toda funcion continua en [a, b] es integrable Riemann en
dicho intervalo.
En smbolos, el teorema nos dice que C([a, b]) R[a, b]. La anterior no es
una condicion necesaria; por ejemplo, la funcion f : [0, 1] R definida como
1
1 en x = 0 y 0 en (0, 1] es integrable Riemann, con 0 f = 0. Veremos en el

SERIES DE NUMEROS
17
Captulo 8 que una funcion acotada en [a, b] es integrable Riemann si y solo

si no tiene demasiadas discontinuidades, en un sentido que se especificara.
Recordemos que, si f R[a, b], el valor medio integral de f sobre [a, b]
b
1
f (x) dx. Si f 0 en [a, b], representa
se define como el n
umero = ba
a
b
la altura de un rectangulo de base el segmento [a, b] y area a f . Entonces
m M , donde m y M son respectivamente el nfimo y el supremo de
f en [a, b]. El Teorema del valor medio integral asegura que si f C([a, b])
entonces existe alg
un punto x0 [a, b] tal que f (x0 ) = .
Ya sabemos que cualquier combinacion lineal finita de funciones integrables Riemann es tambien integrable Riemann. El siguiente resultado completa
esta afirmacion y nos viene a decir que la integral de Riemann es respetuosa con las operaciones elementales. Puede probarse usando la condicion de
Riemann. Recordemos que f + y f denotan respectivamente la parte positiva y la parte negativa de una funcion f , es decir, f + (x) := max{f (x), 0} y
f (x) := max{f (x), 0} = nf{f (x), 0}. Luego f + y f son no negativas
y se tiene f = f + f y |f | = f + + f .
Teorema 1.6.3. Supongamos que f, g R[a, b]. Entonces las funciones f + ,
f , |f |, f 2 y f g estan tambien en R[a, b].
1.7.
Integraci
on y antiderivaci
on
Vamos a recordar la relacion que hay entre estas dos operaciones. Resulta que, en un sentido que se especificara mas adelante, ambas coinciden
esencialmente.
Supongamos que I R es un intervalo y f : I R es una funcion. Se
dice que la funcion F : I R es una primitiva de f cuando F (x) = f (x)
para todo x I. Si el extremo izquierdo a (resp., el extremo derecho b)
de I esta en I, entendemos que F (a) = F+ (a) (resp., F (b) = F (b)). Es
18
Luis Bernal Gonz

alez
facil ver que dos primitivas de una misma funcion en un mismo intervalo se
diferencian en una constante.
Definici
on 1.7.1. Sea f R[a, b]. A la funcion F : x [a, b] 7
x
a
f (t) dt
se le llama integral indefinida de f en [a, b].

Podemos decir que la operacion de integracion mejora las propiedades
de la funcion.
Teorema 1.7.2. Si f R[a, b] entonces su funcion integral indefinida es
continua en [a, b].
Los dos resultados que agrupamos en el siguiente teorema son basicos
y expresan la fuerte relacion existente entre integrar y la operacion inversa
de derivar. Si k N, denotaremos por C k ([a, b]) el espacio de las funciones
[a, b] R diferenciables con continuidad hasta orden k inclusive.
Teorema 1.7.3.
(a) [Primer teorema fundamental del Calculo]
Sea f R[a, b] y F su funcion integral indefinida. Si f es continua en

el punto x0 [a, b] entonces F es derivable en x0 y F (x0 ) = f (x0 ). En
particular, si f C([a, b]) entonces F C 1 ([a, b]).
(b) [Segundo teorema fundamental del Calculo o Regla de Barrow]
Sea f R[a, b]. Si g : [a, b] R es una funcion continua que es una
b
primitiva de f en (a, b) entonces a f = g(b) g(a).
1.8.
Cambio de variables e integraci

on por
partes
Terminamos con este par de resultados, que son importantes desde los
d
c
puntos de vista teorico y practico. Si c > d se entendera que c f = d f ,
siempre que el segundo miembro tenga sentido.

SERIES DE NUMEROS
19
Teorema 1.8.1. [Formula del cambio de variables] Si g C 1 ([a, b]) y f es

g(b)
b
continua en g([a, b]), entonces g(a) f = a (f g) g .
Teorema 1.8.2. [Formula de integracion por partes] Sean f, g : [a, b] R
b
b
derivables con f , g R [a, b]. Entonces a f g = f (b)g(b)f (a)g(a) a f g.
Ejercicios
1.- Demostrar que la sucesion {an } converge si y solo si la serie
(an+1 an )
converge. Probar que, en tal caso, si L es el lmite de {an } y S es la suma

de la serie anterior, entonces S = L a1 .
2.- Demostrar el criterio de Pringsheim: Sea
an una STP. Si existe a > 1 tal
que lmn na an = L [0, +), entonces

an es convergente. Si existe
a 1 tal que lmn na an = L (0, +], entonces

an es divergente.
Indicaci
on: usar el Teorema 1.3.3.
Como aplicacion, decidir el caracter de la serie
n=2 n
1
1
+ 2
n
(e1/n
1)1/2
3.- Demostrar el criterio logartmico: Sea

an una STP. Si existe el lmite
ln (1/an )
=: y > 1 (y < 1, resp.), la serie
an es convergente
lm
n
ln n
(divergente, resp.). Indicaci
on: usar el Teorema 1.3.3.
1
Como aplicacion, decidir el caracter de la serie
.
(ln n)ln n
n=2
4.- Decidir si son convergentes o no cada una de las siguientes series:

(a)
n=1
(b) 1
1
3
sen (n)
,
n2
1
5
1
7
donde R es fijo.
+ .
(c) 1 12 + 23 13 + 24
n log n .
(d)
n=1 (1)
n
1
(e)
n=2 3 n2 1 .
1
.
(f)
n=1 3 2
n +1
1
4
2
5
1
5
+ .
20
5.-
Luis Bernal Gonz

alez
(g)
(h)
(i)
(j)
(k)
(l)
(m)
(n)
(o)
(p)
(q)
(r)
(s)
(t)
(u)
n2
n=1 n! .
n=1
log n
n .
1
n=2 log n .
1
n=2 (log n)3 .
1
n=2 (log n)n .
1
n
n=2 (1) (log n)n .
n2
n=1 n3 +1 .
n=1 sen (1/n).
n=1 (1
cos (1/n)).
1
n=2 n log n .
1
n=2 n(log n)2 .
1
n=2 n2 log n .
n!
n=1 nn .
2n n!
n=1 nn .
3n n!
n=1 nn .
(a) Probar que si

(b) Probar que si
a2n y
b2n convergen, entonces
a2n converge, entonces
an bn converge.
an /n converge.
6.- Supongase que {an } es una sucesion decreciente con an 0 para todo n N.
Demostrar que si
an converge, entonces lmn n an = 0.
Indicaci
on: utilizar el criterio de Cauchy.
7.- Dar un ejemplo de una sucesion {an } tal que an 0, la sucesion de sus
sumas parciales sea acotada y la serie

an no converja.
8.- Sean f, g : [a, b] R continuas con f g en [a, b]. Probar que
si y solo si f = g en [a, b].
b
a
f =
b
a

SERIES DE NUMEROS
21
9.- Demostrar que toda funcion monotona en un intervalo cerrado y acotado es

integrable Riemann en dicho intervalo.
10.-
(a) Si f C([a, b]), demostrar que
b
a
k(b a) )
ba (
f a+
f = lm
.
n n
n
n
k=1
cos(/n) + cos(2/n) + + cos(n/n)

.
n
n
1
11.- Probar, usando la definicion de integral de Riemann, que 0 x dx = 1/2.
(b) Calcular el lm
12.- Consideremos la funcion f : [0, 1] R dada por
1 si x Q [0, 1]
f (x) =
0 si x [0, 1] \ Q ,
donde por Q se ha denotado el conjunto de los n
umeros racionales. Demostrar que f no es integrable Riemann en [0, 1].
13.- Sea f : [a, b] R continua y no negativa. Probar que
(
lm
14.-
)1/n
f (x) dx
= sup{f (x) : a x b}.
n
(a) Demostrar que si f es integrable Riemann en [a, b] entonces |f | tambien

b b
lo es y f |f |.
a
(b) Dar un ejemplo de una funcion f que no sea integrable Riemann en

[0, 1] y tal que |f | s lo sea.
15.- Supongase que f C([a, b]) y que g R[a, b] con g(x) 0 para todo
x [a, b]. Demostrar que existe [a, b] tal que
f (x)g(x) dx = f ()
a
g(x) dx.
a
Este resultado se conoce como Teorema generalizado del valor medio integral.
Mostrar con un ejemplo que la hipotesis de g(x) 0 para todo x [a, b] es
esencial.
22
Luis Bernal Gonz

alez
16.- Sea f R [a, b]. Probar que, dado > 0, existe una funcion g C([a, b]) tal
que g f en [a, b] y
g < .
a
17.- Consideremos la funcion f : [0, 2] R dada por
1/[1/x] si 0 < x 1
f (x) =
0
si x = 0 o x > 1 ,
donde por [t] se ha denotado la parte entera del n
umero real t. Es f
2
integrable Riemann en [0, 2]? En caso afirmativo, calc
ulese 0 f (x) dx.
18.- Determinar el area comprendida entre las graficas de las funciones f (x) =
sen x y g(x) = cos x en el intervalo [0, 2].
19.- Supongamos que f C[a, b] y que
b
a
f (x)g(x) dx = 0 para toda funcion
g C[a, b] que verifica g(a) = 0 = g(b). Demostrar que f 0 en [a, b].
Captulo 2
Integrales impropias
En el captulo anterior se ha recordado el concepto de integral de Riemann, definido para una funcion acotada en un intervalo cerrado y acotado
[a, b]. En el presente captulo se va a generalizar dicho concepto para funciones que, o bien no estan acotadas, o bien estan definidas en un intervalo no
acotado. Ello conduce a las nociones de integral impropia de primera especie
(si el intervalo es no acotado), de integral impropia de segunda especie (si la
funcion es no acotada en un intervalo acotado) y de integrales mixtas (si la
funcion es no acotada cerca de un punto finito y esta definida en un intervalo
no acotado). En todos los casos se procede del mismo modo: se integra en un
subintervalo acotado en el que la funcion este acotada y luego se halla el lmite de dicha integral cuando el subintervalo tiende al intervalo de integracion
dado.
2.1.
Integrales impropias de primera especie
En ciertos aspectos, las integrales impropias son analogas a las series.

En estas se consideraba la suma parcial de orden n y se haca tender n .
En las integrales impropias se hace tender uno de los lmites de integracion
23
24
Luis Bernal Gonz

alez
hacia + o . Recordemos que R[a, b] denota el conjunto de las funciones integrables Riemann en [a, b].
Definici
on 2.1.1. Sea f : [a, +) R tal que f R[a, b] para todo b > a.
b
Consideremos la funcion I : b (a, +) 7 I(b) = a f (x) dx R, que se
llama integral impropia de primera especie de f en [a, +), y se representa
+ +
por a f , a f , a f (x) dx o a f (x) dx. Se dice que la integral a f es

convergente cuando existe el lmite I0 = lmb+ I(b) y es finito. En tal caso
tambien se dira que f es integrable Riemann impropiamente en [a, +). Al
n
umero I0 se le llama valor de la integral impropia de f en [a, +), y este
hecho se escribira como a f = I0 , es decir,
b+
f (x) dx.
f (x) dx = lm
En cualquier otro caso, diremos que la integral impropia
f es divergente.
Notas 2.1.2. 1. Un hecho importante para la practica es que si f tiene una

primitiva F en [a, +) entonces, gracias a la regla de Barrow,

f (x) dx = lm (F (b) F (a)) = [ lm F (b)] F (a).
a
b+
b+
2. Si f : (, b] R es una funcion tal que f R[a, b] para todo a < b,

b
b
se define analogamente f (x) dx = lma a f (x) dx, siempre que el
lmite exista.
Ejemplos 2.1.3. 1. Sea a > 0 fijo y R. Si usamos la regla de Barrow,
es facil ver que la integral a 1/x dx diverge si 1 y converge si > 1,
1
.
en cuyo caso a 1/x dx = 1
2. La integral impropia 0 sen (2x) dx diverge, pues
sen (2x) dx = lm
0
y este lmite no existe.
b+
1
[1 cos(2b)],
b+ 2
sen (2x) dx = lm
0
INTEGRALES IMPROPIAS
25
En el caso de funciones definidas en todo R el concepto de integral propia

se define como sigue.
Definici
on 2.1.4. Sea f : R R tal que f R[a, b] para todo intervalo
+
cerrado [a, b] R. Decimos que la integral impropia f (x) dx converge
a
+
si existe un a R tal que f (x) dx e a f (x) dx convergen. En este
caso, el valor de la integral impropia viene dado por
f (x) dx =
f (x) dx +
f (x) dx.
a
En otro caso se dice que la integral impropia diverge.

Por ejemplo, la integral
+
0
1
por I = 1+x
2 dx + 0
1
1+x2
1
dx =
1+x2
dx converge y su valor I viene dado

lma [arctan 0 arctan a]
+ lmb+ [arctan b arctan 0] = /2 + /2 = .

Notas 2.1.5. 1. Es facil ver a partir de la definicion que cualquier valor de
a es valido si hay convergencia y que en tal caso el valor de la integral no
depende de a.
+
2. Se llama valor principal de Cauchy de la integral f al lmite
T
+
+
lmT + T f . Se suele denotar por V P C f . Es evidente que si f
+
converge, su valor es V P C f . Pero puede que exista y sea finito el valor
+
principal sin que la integral impropia converja. Por ejemplo, V P C x dx =
+
0 pero la integral x dx diverge.
2.2.
Integrales impropias de segunda especie
En este tipo de integrales el intervalo de definicion es acotado. Damos el

concepto cuando f esta definida en un intervalo del tipo [a, b). Analogamente
se procedera si f estuviese definida en un intervalo del tipo (a, b].
26
Luis Bernal Gonz

alez
Definici
on 2.2.1. Sea f : [a, b) R tal que f R[a, c] para todo c (a, b).
c
Consideremos la funcion I : c (a, b) 7 I(c) = a f (x) dx, que se llama
b
integral impropia de segunda especie de f en [a, b), y se representa por a f ,
b
b
b
f (x) dx, o simplemente a f (x) dx o a f . Se dice que la integral impropia
a
b
f es convergente cuando existe el lmite I0 = lmcb I(c) y es finito. En
a
tal caso tambien se dira que f es integrable Riemann impropiamente en [a, b).
Al n
umero I0 se le llama valor de la integral impropia de f en [a, b), y este
b
hecho se escribira como a f = I0 , es decir,
f (x) dx = lm
cb
f (x) dx.
a
En cualquier otro caso, diremos que la integral impropia
b
a
f es divergente.
Notemos que en la definicion anterior no se exige que f este acotada. De

hecho, es facil ver usando una particion de [a, b] en dos intervalos adecuados,
que siempre que f este acotada en [a, b], entonces f R[a, b] si y solo si su
integral impropia de Riemann en [a, b) converge, y en este caso el valor de la
integral de Riemann coincide con el de la integral impropia.
Ejemplo 2.2.2. Sea R. Usando la regla de Barrow se obtiene que la
1
integral impropia 0 x1 dx converge si y solo si < 1, en cuyo caso la integral
b 1
b 1
1
vale 1
. De igual forma, las integrales a (xa)
dx convergen
e
a (bx)
si y solo si < 1.
Como en el caso de las integrales del tipo
f , que podramos llamar
bilateras de primera especie, se puede definir de manera obvia el concepto de

b
convergencia de una integral bilatera de segunda especie a+ f (o simplemente
b
f ) donde f es una funcion definida en (a, b).
a
2.3.
27
Integrales mixtas
El concepto de integral impropia mixta surge cuando la funcion esta definida en un intervalo no acotado y no esta acotada cerca del extremo finito
del intervalo, es decir, cuando se combinan una impropiedad de primera especie y una de segunda especie.
Definici
on 2.3.1. Sea f : (a, +) R con f R[b, c] para todo intervalo
+
cerrado [b, c] (a, +). Se dice que la integral a f (x) dx, denominada
integral mixta, es convergente si existe b > a tal que las dos integrales improb
+
pias a f (x) dx y b f (x) dx convergen, en cuyo caso el valor de la integral
mixta se define por
+
f (x) dx =
f (x) dx +
a
f (x) dx.
b
Es facil ver que la eleccion de b en la definicion anterior es irrelevante

para la convergencia de la integral.
Se deja al lector interesado la formulacion de las definiciones adecuadas
de convergencia de integrales mixtas en otros casos similares al dado en esta
seccion.
2.4.
Criterios de convergencia. Convergencia

absoluta
Para estudiar la convergencia, solo consideraremos integrales impropias de primera especie. Para integrales de segunda especie, los criterios son
analogos. Vamos a establecer una condicion necesaria y suficiente, debida
a Cauchy, y otra suficiente, basada en el concepto de convergencia absoluta. Como antes, es tambien facil definir este concepto para otros tipos de
integrales impropias.
28
Luis Bernal Gonz

alez
Notemos que el siguiente resultado guarda cierta similitud con el criterio

de Cauchy de convergencia de series (Teorema 1.2.2).
Teorema 2.4.1. [Condicion de Cauchy] Supongamos que la funcion f :
[a, +) R es tal que f R[a, b] para todo b > a. Son equivalentes:
(a) La integral
+
a
f (x) dx converge.
c

(b) Para cada > 0 existe C = C > a tal que b f (x) dx < para
todo c > b > C.
Demostracion. Para cada b > a denotemos I(b) =
b
a
f . Supongamos que (a)
es cierto. Entonces existe I0 = lmb+ I(b) R. Fijado > 0, existe C > a

tal que |I(b) I0 | < /2 para todo b > C. Fijemos b y c con c > b > C.
Entonces |I(b) I0 | < /2 y |I(c) I0 | < /2. Gracias a la desigualdad
c

triangular, b f (x) dx = |I(c) I(b)| |I(c) I0 | + |I(b) I0 | < . Esto
prueba (b).
En cuanto al recproco, partimos ahora de que la condicion (b) se satisface. Por el Teorema fundamental del lmite, basta demostrar que existe
L R tal que lmn I(bn ) = L para toda sucesion {bn } [a, +) con
bn +. Fijemos una tal sucesion {bn } y un > 0, y fijemos asimismo
el n
umero C = C > a dado por (b). Existe n0 N tal que bn > C para
b

todo n n0 . Se deduce que |I(bm ) I(bn )| = m f (x) dx < siempre que
bn
m, n n0 . En otras palabras, la sucesion {I(bn )} es de Cauchy, luego existe

L R tal que lmn I(bn ) = L. Solo queda probar que el lmite L es el
mismo para todas las sucesiones {bn } como la anterior. Esto es facil, pues si
existiesen dos sucesiones {bn } y {bn } en [a, +) con bn , bn + de modo
que I(bn ) L e I(bn ) L , debe ser L = L, ya que la sucesion conjunta
I(b1 ), I(b1 ), I(b2 ), I(b2 ), I(b3 ), I(b3 ), . . . debe converger tambien.
29
Definici
on 2.4.2. Supongamos que la funcion f : [a, +) R es tal que
+
f R[a, b] para todo b > a. Se dice que la integral impropia a f (x) dx es
+
absolutamente convergente cuando a |f (x)| dx converge.
c
c
De la desigualdad b f b |f | y del Teorema 2.4.1 se deduce lo siguiente.
Teorema 2.4.3. Toda integral impropia absolutamente convergente es convergente.
A la vista del teorema anterior, es conveniente disponer de resultados que
garanticen la convergencia de integrales impropias de funciones no negativas.
De ello nos ocuparemos en la siguiente seccion.
Por completitud, definimos la siguiente nocion. Decimos que la integral
+
+
impropia a f (x) dx es condicionalmente convergente cuando a f (x) dx
+
converge pero a |f (x)| dx diverge. Un ejemplo se da en los Ejercicios 2(c)
y 3.
2.5.
Criterios de convergencia para funciones

positivas
Como se anuncio en la seccion precedente, vamos a establecer varios

resultados que proporcionan condiciones suficientes de convergencia de integrales impropias de funciones no negativas. Igual que antes, lo haremos solo
para el caso de integrales de primera especie, siendo inmediata su extension a
integrales de segunda especie. Los criterios dados evocan los correspondientes
de convergencia de series.
En los dos primeros teoremas y en el corolario, se supone que f, g :
[a, +) R son funciones tales que f, g R[a, b] para todo b > a.
30
Luis Bernal Gonz

alez
Teorema 2.5.1. [Criterio de comparacion] Supongamos que existe x0 a

tal que 0 f (x) g(x) para todo x x0 . Se verifica:
(a) Si
(b) Si
g converge entonces
f diverge entonces
f converge.
g diverge.
Demostracion. Puesto que (b) es el contrarrecproco de (a), basta probar
(a). Para ello, a su vez, es suficiente ver que x0 f converge (pues a f
x
convergera en tal caso con valor x0 f + a 0 f ). Por u
ltimo, la convergencia
de x0 f se deduce de la hipotesis y de la condicion de Cauchy (Teorema

c
c
2.4.1), pues b f b g siempre que c > b x0 .

Corolario 2.5.2. [Criterio mayorante] Supongamos que existe x0 a tal
que |f (x)| g(x) para todo x x0 . Si a g es convergente entonces a f

es convergente.
Demostracion. Aplicar el teorema anterior y el Teorema 2.4.3.

Teorema 2.5.3. [Criterio de comparacion por paso al lmite]
Supongamos que f (x) 0 y g(x) > 0 para todo x a.
(x)
(a) Si existe lmx+ fg(x)
= (0, +), entonces las integrales
g son simultaneamente convergentes o divergentes.

a
(x)
= 0 y la integral
(b) Si existe lmx+ fg(x)
f es convergente.
a
(x)
= + y la integral
(c) Si existe lmx+ fg(x)
ces a f es divergente.
f e
g es convergente, entonces
g es divergente, enton-
Demostracion. La pruebas de (b) y (c) siguen las mismas ideas que las de
(a), as que solo demostraremos (a). A su vez, para obtener (a) es suficien
te obtener la convergencia de a f a partir de la de a g [ya que existe
lmx+
g(x)
f (x)
31
(0, +)]. Por hipotesis, debe existir x0 > a con la
propiedad de que f (x)/g(x) 1 + para todo x x0 . Por tanto f (x)
(1 + )g(x) para todo x x0 . Ahora bien, es obvio que a (1 + )g(x) dx

converge. Basta aplicar ahora el Teorema 2.5.1.
Aprovechando el concepto de integral impropia, concluimos este captulo

con el siguiente criterio integral de convergencia de series numericas.
Teorema 2.5.4. Sea f : [1, +) [0, +) una funcion decreciente tal que
f (n) = an para todo n N. Entonces la serie

an converge si y solo si la
integral impropia 1 f (x) dx converge.

Demostraci
on. Notemos que f , al ser monotona, es automaticamente integrable Riemann en cada [1, b] con b > 1. Ademas, de la hipotesis se desprende que an 0 para todo n, luego tenemos una serie de terminos posi
tivos. Por tanto
an es convergente si y solo si la sucesion de sumas parciales {Sn := a1 + + an }n1 esta acotada superiormente. Denominemos
b
I(b) = 1 f si b 1. Como f 0 en [1, +), la funcion I(b) es creciente. Se
b
deduce que 1 f converge si y solo si la funcion I(b) esta acotada superiormente.
Supongamos en primer lugar que la serie converge. Entonces existe M
(0, +) tal que Sn M para todo n N. Fijemos un b 1 y llamemos
n = [b], la parte entera de b. Usando que f es decreciente, deducimos que
2
3
n
b
I(b) = 1 f + 2 f + + n1 f + n f f (1) 1 + f (2) 2 + + f (n 1)
1 + f (n) (n b) a1 + + an = Sn M . Ya que M no depende de b, la
funcion I(b) esta acotada superiormente, luego 1 f converge.
Recprocamente, supongamos que 1 f converge. Entonces existe M

(0, +) tal que I(b) M para todo b 1. Si n N resulta, utilizando
de nuevo que f es decreciente, que Sn = f (1) + f (2) + + f (n) f (1) +
2
n
n
f
+
+
f
=
f
(1)
+
f = f (1) + I(n) M , donde la cota
1
n1
1
32
Luis Bernal Gonz

alez
M := f (1) + M es independiente de n. Esto muestra la acotacion de (Sn ),
y por tanto la convergencia de

an .
Ejercicios
1.- Estudiar la convergencia de las siguientes integrales impropias y calcularlas
cuando converjan:
(a)
(b)
(c)
(d)
(e)
(f)
(g)
(h)
(i)
+
0
ex dx
xn ex dx (n N)
+
1
0
log x dx
log |x 1| dx
+
1
log x
x
e|x| dx
x
0 1x2
+
0
dx
dx
x
(1+x2 )2
x
0 (1x2 )1/2
dx
dx.
2.- Estudiar si convergen o no las siguientes integrales impropias:

(a)
(b)
(c)
(d)
(e)
+
0
sen2 x
x2
ex sen(1/x) dx
senx
x
sen2 (1/x) dx
ex
+
+
+
+
dx ( > 0) [Indicaci
on: usar integracion por partes]
2 x2
(f)
(g)
+ ( 5ex
(h)
x
e
x
+
0
dx
dx
dx
x
sen2 x
x
)
x/2
+ x + 2 e3xe
dx
dx
(i)
+
0
33
x | log x| dx (, R).
3.- Probar la convergencia condicional de la integral del apartado (c) del ejercicio
anterior si 0 < 1. Indicaci
on: fijar N N con N 2 y considerar el
conjunto {x [1, N ] : |senx| 1/2}.
4.- Sea > 1. Demostrar que el area S() de la superficie de revolucion generada
por la curva y = x al girar alrededor de la semirrecta [1, +) es finita.
Calcular S(2).
5.- Supongamos que f : [0, 1] R es continua, que f (0) = 0 y que f es derivable
1
en el origen. Probar que la integral
f (x) x3/2 dx es convergente.
0
6.- Sea f : [0, +) R continua, no negativa y tal que la integral
+
0
f es
convergente.
(a) Probar que si existe lmx f (x), entonces lmx f (x) = 0.
(b) Se cumple necesariamente que lmx f (x) = 0? Puede ser f no
acotada?
7.- Puede una funcion integrable Riemann impropiamente en [0, +) cumplir
|f (x)| 1 para todo x 0? Puede cumplir lo anterior si f es, ademas,
continua?
8.- Demostrar que, para cada > 0, la integral () :=
+
0
x1 ex dx
converge. Por tanto define una funcion : (0, +) R, denominada funci

on gamma de EulerGauss. Probar que (1) = 1, que posee la as denominada propiedad reproductiva ( + 1) = () ( > 0), y que es
la generalizacion del factorial, en el sentido de que (n + 1) = n! para todo
n N0 .
9.- Si p, q > 0, pruebese que la integral impropia
1
0
tp1 (1 t)q1 dt converge.
A la funcion
: (p, q) (0, +) (0, +) 7

0
tp1 (1 t)q1 dt R
34
Luis Bernal Gonz

alez
se la llama funci
on beta. Verificar la siguiente igualdad, valida para todos
los p, q > 0:
(p, q) =
(p)(q)
.
(p + q)
En particular, (p, q) = (q, p).

10.-
n
(a) Considerando la serie
n=1 (e/n) , demostrar que la integral impropia
y y
0 e /y dy converge.
(b) Aplicando el criterio integral (Teorema 2.5.4) junto con un cambio de
1
variable adecuado y la parte (a), demostrar que la serie
(log n)log n
n=2
converge.
1
(c) Aplicando el criterio integral, probar que la serie
(log n)log(log n)
n=2
diverge. Indicaci
on: Utilizar el mismo cambio de variable que en la
parte (b), y demostrar directamente que la integral resultante diverge.
11.- Estudiar la convergencia, seg

unlos valores de p R, de las integrales im
(arctan x)p
(arctan x)p log x
dx.
propias
dx
e
x(1 + x)2
ex x(1 + x2 )
0
0
Captulo 3
Sucesiones de funciones
En muchas ocasiones, las funciones que se manejan en problemas de la
vida real se construyen utilizando funciones elementales: polinomios, funciones exponenciales, funciones trigonometricas, inversas de todas ellas y combinaciones algebraicas y composicionales de las mismas. Para ellas, se estudian
las propiedades mas basicas, como son la continuidad y derivabilidad, as como las tecnicas de derivacion e integracion, entre otras. Sin embargo, otros
problemas teoricos o practicos requieren definir las funciones como lmite de
otras. Esto hace necesario el estudio de como traspasar dichas propiedades a
traves del lmite. En este captulo, nos ocupamos de estudiar que propiedades
hereda la funcion lmite, y como ha de definirse este para que el comportamiento sea el mejor posible.
3.1.
Convergencia puntual y convergencia uniforme
En primer lugar, vamos a fijar que entenderemos por una sucesion de

funciones.
35
36
Luis Bernal Gonz

alez
Definici
on 3.1.1. Sea A R y F(A) := {funciones A R}. Una sucesi
on
de funciones en A es una aplicacion : N F (A). Si (n) = fn , denotaremos la sucesion de funciones por {fn }
1 , {fn }n1 , {fn } o simplemente
(fn ).
Presentamos un primer concepto de lmite que no es mas que el de una
convergencia punto a punto.
Definici
on 3.1.2. Sea (fn ) una sucesion de funciones en A R. Consideremos el conjunto B := {x A : lmn fn (x) R}. La funcion f : B R
definida por f (x) = lmn fn (x) se denomina funci
on lmite puntual de la
sucesion (fn ) y se dice que (fn ) converge puntualmente a f en B.
Tambien se dice que (fn ) converge simplemente a f en B o que f es el
lmite simple de (fn ) en B. Al conjunto B se le suele denominar campo de
convergencia o dominio de convergencia de la sucesion (fn ).
x
Por ejemplo, la sucesion de funciones fn (x) :=
(n 1) definidas
1 + nx
sobre [0, 1] converge puntualmente a la funcion f 0 en [0, 1]. Y la sucesion
de funciones gn (x) := xn (n 1) tiene por lmite puntual en [0, 1] a la funcion
0 si x [0, 1)
g(x) =
1 si x = 1.
Notemos que en el segundo ejemplo cada funcion gn es continua pero
la funcion lmite puntual g no lo es. Por tanto, para que la funcion lmite
herede las buenas propiedades de las funciones de la sucesion, se necesita
definir una convergencia mas exigente, a saber, la convergencia uniforme,
que presentamos a continuacion.
Definici
on 3.1.3. Sea (fn ) una sucesion de funciones en A R. Sean B A
y f : B R. Se dice que (fn ) converge uniformemente, o tiende uniformemente, a f en B, o que f es el lmite uniforme de (fn ) en B cuando
> 0 k = k() N tal que |fn (x) f (x)| < n k y x B.
SUCESIONES DE FUNCIONES
37
Observemos que el k de la definicion anterior depende de , pero no de

x. La interpretacion geometrica es la siguiente: la graficas en B de todas las
funciones fn se sit
uan, a partir de la k-esima, en una banda de anchura 2
centrada en la grafica de f .
Es evidente que si (fn ) converge a f uniformemente en un conjunto entonces f es el lmite puntual de (fn ) en dicho conjunto. Mostraremos mas abajo,
con un ejemplo, que la implicacion recproca no es cierta. Por supuesto, la
funcion lmite puntual (y por tanto la funcion lmite uniforme) es u
nica, si
existe.
Notemos tambien el hecho que, por cierto, ofrece un criterio muy practico
para descubrir convergencia uniforme de que fn f uniformemente en A
si y solo Mn 0, donde Mn := supxA |fn (x) f (x)|.
x
(n 1; x [0, 1])
1 + nx
vista anteriormente converge uniformemente a la funcion 0 en [0, 1]. En efecto,
Ejemplos 3.1.4. 1. La sucesion funcional fn (x) :=
x
0| =
| 1+nx
x
1+nx
1
n
para todo n y todo x 0. Fijado > 0, de ser 1/n 0
se deduce la existencia de k N tal que 1/n < para todo n k, luego

x
| 1+nx
0| < para todo x [0, 1] y para los mismos valores de n.
2. Sin embargo, la sucesion gn (x) := xn (n 1; x [0, 1]) no converge

uniformemente en [0, 1]. En efecto, si convergiera, lo hara a su funcion lmite
puntual g vista anteriormente. Pero es claro que Mn := supx[0,1] |gn (x)
g(x)| supx[0,1) xn = 1 para todo n N, luego Mn 0.
En el siguiente teorema, conocido como condici
on de Cauchy, se da una
condicion equivalente a la convergencia uniforme de sucesiones funcionales.
Esta propiedad, que no tiene demasiada aplicacion practica, es muy u
til desde el punto de vista teorico, pues ayuda a descubrir convergencia uniforme
sin necesidad de conocer el posible lmite, ya que este no aparece en su formulacion.
38
Luis Bernal Gonz

alez
Teorema 3.1.5. Sea (fn ) una sucesi

on de funciones en A R. Son equivalentes:
(a) (fn ) tiende uniformemente a alguna funcion definida en A.
(b) > 0 k = k() N tal que |fm (x) fn (x)| < m, n k y x A.
Demostracion. Supongamos que fn f uniformemente en A y que > 0.
Entonces existe k N tal que |fn (x) f (x)| < /2 para todo n k y todo
x A. Si ahora m, n k y x A, de la desigualdad triangular se infiere que
|fm (x) fn (x)| |fm (x) f (x)| + |fn (x) f (x)| < . Esto prueba que (a)
implica (b).
Para la implicacion recproca, supongase que (b) es cierto. Si fijamos
x A, de la condicion de Cauchy para sucesiones numericas obtenemos que
existe un n
umero real x tal que lmn fn (x) = x . Definamos la funcion
f : A R como f (x) = x . Resta probar que fn f uniformemente en
A. Para ello, fijemos > 0. Por hipotesis, podemos encontrar un k N tal
que |fn (x) fm (x)| < /2 para todos los n, m k y todo x A. Si fijamos
n k y hacemos m , resulta |fn (x) f (x)| /2 < para todo x A,
y esto es (a), como queramos.
3.2.
Algebra
de sucesiones uniformemente convergentes
En esta seccion estudiaremos el comportamiento del lmite uniforme

respecto de las operaciones algebraicas mas usuales. Para la suma, el resultado es inmediato sin hipotesis adicionales. Para el producto y el cociente,
sera necesario el siguiente resultado tecnico (Proposicion 3.2.1), que es interesante por s mismo. La acotacion que expresa es necesaria para mantener
la convergencia uniforme en el producto.
39
Una sucesion de funciones (fn ) definidas en un conjunto A R se dice que

es uniformemente acotada en A cuando existe una constante M (0, +)
tal que |fn (x)| M para todo x A y todo n N.
Proposici
on 3.2.1. Una sucesi
on uniformemente convergente de funciones
acotadas en A R, es uniformemente acotada en A. En tal caso, la funcion
lmite es asimismo acotada en A.
Demostracion. Supongamos que fn f uniformemente en A y que, para
cada n N, existe una constante n (0, +) tal que |fn (x)| n para
todo x A. Dado = 1, existe seg
un el Teorema 3.1.5 un k N tal que
|fn (x) fk (x)| < 1 para todo n k y todo x A, luego, por la desigualdad
triangular, |fn (x)| < 1 + |fk (x)| 1 + k para los mismos valores de n y
x. En consecuencia, |fn (x)| M para todo x A y todo n N, donde
M := max{1 , . . . , k1 , 1 + k }. As que (fn ) es uniformemente acotada.
Finalmente, como f es el lmite uniforme de (fn ), dado = 1, existe m N
tal que |fm (x) f (x)| < 1 para todo x A. De la desigualdad triangular se
deduce que |f (x)| < 1 + |fm (x)| 1 + m para todo x A. Por tanto f es
acotada en A.
Por ejemplo, sea A = (0, 1), f (x) 1/x y fn (x) =
1
x
si
1
n
x<1
0 si 0 < x < 1 .
n
Entonces fn f puntualmente en A y cada fn esta acotada, pero f no lo
esta. Por tanto fn f uniformemente en A.
Enunciamos ahora el teorema general sobre algebra de sucesiones.
Teorema 3.2.2. Sean (fn ) y (gn ) dos sucesiones de funciones definidas en
un mismo subconjunto A R, tales que fn f y gn g uniformemente
en A. Se verifica:
(a) La sucesion (fn + gn ) tiende a f + g uniformemente en A.
40
Luis Bernal Gonz

alez
(b) Si cada funcion fn y cada funcion gn es acotada en A entonces la sucesion producto (fn gn ) tiende a f g uniformemente en A.
(c) Supongamos que cada funcion fn es acotada, que gn (x) = 0 para todo
n N y todo x A, y que existe (0, +) tal que |g(x)| para
todo x A. Entonces la sucesi
on cociente (fn /gn ) tiende uniformemente a f /g en A.
Demostracion. El apartado (a) es inmediato a partir de las definiciones y de
la propiedad triangular. Supongamos pues que estamos en las hipotesis de
(b). Entonces fn f y gn g uniformemente en A y, por la proposicion
anterior, existe M (0, +) tal que |fn (x)| M , |gn (x)| M , |f (x)| M
y |g(x)| M para todo x A y todo n N. Observemos ahora que
|fn (x)gn (x) f (x)g(x)| = |fn (x)(gn (x) g(x)) + g(x)(fn (x) f (x))|
|fn (x)(gn (x) g(x))| + |g(x)(fn (x) f (x))|
M |fn (x) f (x)| + M |gn (x) g(x)|.
Dado > 0, podemos encontrar k N tal que |fn (x) f (x)| < /(2M ) y
|gn (x)g(x)| < /(2M ) para todo n k y todo x A. As que |fn (x)gn (x)
f (x)g(x)| < para los mismos valores de n y x. Esto prueba (b).
Demostremos (c), que es el caso del cociente. Observemos que se deriva
del caso del producto sin mas que probar que cada funcion 1/gn esta acotada
a partir de cierto n
umero natural y que 1/gn 1/g uniformemente en A.
Para lo primero, como gn g uniformemente en A, existe m N que
satisface |gn (x) g(x)| < /2 para todo x A y todo n m. Se deduce que
|gn (x)| |g(x)| |gn (x) g(x)| > /2 = /2, luego |1/gn (x)| < 2/
para los mismos valores de n y x. En cuanto a la convergencia uniforme de
(1/gn ), notemos que
1
1 |gn (x) g(x)|
2

=
2 |gn (x) g(x)|
gn (x) g(x)
|gn (x)||g(x)|
41
para todo n m y todo x A, de donde se deduce facilmente lo que se

quiere.
Por ejemplo, si A = (0, 1), fn (x) 1/n, gn (x) 1/x, f (x) 0 y g(x)
1/x, entonces fn f y gn g uniformemente en A, pero (fn gn ) no tiende a
f g uniformemente en A. En efecto, f g 0 y supxA |fn (x)gn (x)f (x)g(x)| =
sup0<x<1
1
nx
= + para todo n, luego es imposible que este supremo tienda
a 0 cuando n .
3.3.
Convergencia uniforme, continuidad y derivabilidad
El concepto de lmite uniforme persigue poder traspasar propiedades de

regularidad de las funciones que integran la sucesion a la funcion lmite. Ya se
visto un ejemplo en la acotacion (Proposicion 3.2.1). Tambien ocurre con la
continuidad, como se establece en el siguiente teorema. Para la derivabilidad,
se debera exigir algo mas.
Teorema 3.3.1. Supongamos que fn f uniformemente en A R, y que
x0 A. Si cada funcion fn es continua en x0 , entonces f es continua en x0 .
En particular, si cada fn es continua en A, entonces f es continua en A.
Demostracion. Fijemos > 0. Por hipotesis, existe k N tal que |fk (x)
f (x)| < /3 para todo x A. En particular, |fk (x0 )f (x0 )| < /3. Ya que fk
es continua en x0 , podemos encontrar un > 0 de modo que |fk (x)fk (x0 )| <
/3 siempre que x A(x0 , x0 +). Usando estos hechos y la desigualdad
triangular |f (x) f (x0 )| |fk (x) f (x)| + |fk (x) fk (x0 )| + |fk (x0 ) f (x0 )|,
obtenemos que si x A (x0 , x0 + ) entonces |f (x) f (x0 )| < . Esto
muestra la continuidad de f en x0 .
42
Luis Bernal Gonz

alez
Por ejemplo, ya sabemos que la sucesion fn (x) = xn tiende puntualmente

en [0, 1] a la funcion que vale 0 en [0, 1) y 1 en el punto 1. Ya que esta funcion
no es continua en [0, 1] pero cada fn s lo es, se deduce que la convergencia
no es uniforme.
Para la propiedad de derivacion, es necesario reforzar las hipotesis. Sera necesario exigir que la sucesion de derivadas sea uniformemente convergente.
Esto, junto con la convergencia de la sucesion en un solo punto, implica la
convergencia uniforme de la sucesion. Esto es, la hipotesis de convergencia
para las derivadas implica la de la propia sucesion. Las derivadas en los extremos a y b se entiende que son las laterales f+ (a) y f (b).
Teorema 3.3.2. Sea fn : [a, b] R (n 1) una sucesi
on de funciones
derivables tales que:
(a) (fn ) converge uniformemente en [a, b] a cierta funcion g y
on numerica (fn (x0 )) converge.
(b) existe x0 [a, b] de modo que la sucesi
Entonces existe una funcion f : [a, b] R tal que fn f uniformemente en
[a, b], f es derivable en [a, b] y f (x) = g(x) para todo x [a, b].
Demostracion. Supongamos que c [a, b] y definamos una nueva sucesion
(gn ) como sigue:
gn (x) =
fn (x)fn (c)
xc
fn (c)
si x = c
si x = c.
La sucesion as formada depende del punto c. Ya que gn (c) = fn (c), la sucesion (gn (c)) es convergente. Vamos a demostrar que, de hecho, (gn ) converge
uniformemente en [a, b]. Si m, n N y x = c, tenemos
gm (x) gn (x) =
h(x) h(c)
,
xc
43
donde h(x) := fm (x) fn (x). Aplicando a h el teorema del valor medio,

obtenemos
gm (x) gn (x) = fm
(x1 ) fn (x1 ),
[1]
donde x1 esta comprendido entre x y c. Por hipotesis, (fn ) converge uniformemente. Gracias a [1] y a la condicion de Cauchy (Teorema 3.1.5), obtenemos
que (gn ) converge uniformemente en [a, b].
Probemos que (fn ) converge uniformemente en [a, b]. Formemos la sucesion particular (gm ) que resulta haciendo c = x0 . Por definicion de gn ,
tenemos
fm (x) fn (x) = fm (x0 ) fn (x0 ) + (x x0 )(gm (x) gn (x))
para todo x [a, b]. Esta igualdad, con el auxilio de la condicion de Cauchy,
establece la convergencia uniforme de (fn ) en [a, b] a cierta funcion f .
Para demostrar (b), volvamos a la sucesion (gn ) definida a principio para
un punto arbitrario c [a, b]. Sea G(x) := lmn gn (x). Como fn existe,
tenemos que lmxc gn (x) = gn (c) para cada n. En otras palabras, cada gn
es continua en c. Ya que gn G uniformemente en [a, b], la funcion G es
tambien continua en c. Esto significa que
lm G(x) = G(c).
xc
[2]
Pero para x = c tenemos

fn (x) fn (c)
f (x) f (c)
=
.
n
xc
xc
G(x) = lm gn (x) = lm
n
Luego [2] establece que la derivada f (c) existe y coincide con G(c). Ahora
bien, G(c) = lmn gn (c) = lmn fn (c) = g(c) y, por tanto, f (c) = g(c).
Puesto que c es arbitrario, el teorema queda demostrado.
Ejemplo 3.3.3. La sucesion funcional fn : [1, 1] R (n 1) dada por

1
fn (x) = 0 si x 0 y fn (x) = x1+ n si x > 0 esta formada por funciones derivables y converge uniformemente en [1, 1] a la funcion f dada por f (x) = 0
44
Luis Bernal Gonz

alez
si x 0 y f (x) = x si x > 0, pero la funcion f no es derivable en el 0. Los

detalles se dejan como ejercicio.
3.4.
Convergencia uniforme e integraci

on
La integrabilidad se propaga a traves del lmite uniforme, como muestra

el siguiente resultado.
Teorema 3.4.1. Si fn f uniformemente en [a, b] y cada fn R[a, b],
entonces f R[a, b] y
lm
fn (x) dx =
a
f (x) dx.
a
Demostracion. Llamemos gn := f fn para cada n N. Entonces gn 0

uniformemente en [a, b]. Dado > 0, existe m N tal que
|gn (x)| <
4(b a)
para todo x [a, b] y todo n m.
[3]
Ademas, por la convergencia uniforme y por estar cada fn acotada en [a, b],
f tambien esta acotada en [a, b] (Teorema 3.2.1). Como fm es integrableRiemann, por el Teorema 1.6.1 podemos encontrar una particion P de [a, b]
tal que U (fm , P ) L(fm , P ) < /2. Por otra parte, es facil ver a partir de
las definiciones y de [3] que U (gm , P ) < /4 y L(gm , P ) > /4. Asimismo,
se tienen las desigualdades elementales U (F + G, P ) U (F, P ) + U (G, P ) y
L(F + G, P ) L(F, P ) + L(G, P ). Ya que f = fm + gm , se deduce que

U (f, P )L(f, P ) U (fm , P )L(fm , P )+U (gm , P )L(gm , P ) < + + = .
2 4 4
De acuerdo con el Teorema 1.6.1, f R[a, b].
En cuanto al lmite del enunciado, observemos que gracias a [3] y a la
b b
conocida desigualdad a F a |F |, se obtiene
b
b b

|gn |
fn
f
(b a) <

4(b a)
a
a
a
45
para todo n m. Esto prueba la igualdad deseada.
Ejemplos 3.4.2. 1. En el Teorema 3.4.1, la convergencia uniforme es suficiente, pero no es necesaria. Para ilustrarlo, consideremos la sucesion fn (x) =
nx(1 x)n (n N, x [0, 1]). Entonces (fn ) no es uniformemente convergente en [0, 1] pero se verifica la igualdad del teorema anterior. La comprobacion
se deja como ejercicio.
2. Demos un ejemplo para el que no es cierto el enunciado del teorema anterior cuando las integrales de Riemann se sustituyen por integrales impropias.
(n N, x [0, +)). Se tiene que gn 0 uniformemen
te en [0, +). Pero lmn 0 gn (x) dx = lmn+ lmT [arctan(T /n)
arctan 0] = lmn /2 = /2 = 0 = 0 0 dx.
Sea gn (x) =
n
n2 +x2
Ejercicios
1.- Estudiar la convergencia puntual y uniforme de las siguientes sucesiones de
funciones:
x
en [0, 1].
nx + 1
(b) fn (x) = n x en [0, 1].

(a) fn (x) =
(c) fn (x) = (1 x)n en [0, 1].

(d) fn (x) = nf{n, 1/x} en (0, +).
1 + x log x
en (0, +).
nx + x
1 xn
(f) fn (x) =
en (0, +).
1 + xn
(e) fn (x) =
(g) fn (x) = max{x n, 0} en R.

(h) fn (x) =
log(x + n)
en [0, +).
nex
2.- Comprobar que la sucesion (fn ) converge en todo R pero que lmn fn (x) =
(lmn fn (x)) en los siguientes casos:
46
Luis Bernal Gonz

alez
1
(a) fn (x) = sen (nx).
n
x
(b) fn (x) =
.
1 + nx2
3.- Comprobar, con las sucesiones de funciones siguientes, que el hecho de que
(fn ) converja puntualmente a f en [a, b] no es condicion necesaria para que
b
b
lmn a fn = a f :
1
en [0, 1].
1 + n2 x 2
1 + nx2
(b) fn (x) =
en [0, 1].
1 + nx
(a) fn (x) =
4.- Cosideremos la sucesion de funciones fn : R R definida fn (x) =
x2n
.
1 + x2n
(a) Estudiar su convergencia puntual.

(b) Dados a y b con 0 < b < 1 < a, estudiar su convergencia uniforme
en cada uno de los subconjuntos [1, +), (1, +), [a, +), [b, b],
[a, +) [b, b].
5.- Probar que toda funcion continua en [0, 1] es lmite uniforme de una sucesion
de poligonales (funciones continuas lineales a trozos). Ocurre lo mismo con
la funcion f (x) = 1/x en (0, 1)?
6.- Demostrar el teorema de convergencia uniforme de Dini: Sean A R un
subconjunto compacto y fn : A R (n N) una sucesion de funciones continuas convergente puntualmente en A a cierta funcion continua f .
Si fn (x) fn+1 (x) para todo x A y todo n N, entonces fn f
uniformemente en A.
7.- Supongamos que fn f uniformemente en un conjunto A R, y que g :
R R es una funcion uniformemente continua. Pruebese que g fn g f
uniformemente en A.
Captulo 4
Series de funciones
En el presente captulo estudiaremos las series de funciones. El concepto
de serie de funciones se basa en la sucesion de sumas parciales asociada a una
sucesion de funciones dadas. En la primera seccion definiremos los conceptos
de convergencia puntual y uniforme de una serie de funciones. A continuacion, y basandonos en los resultados del captulo anterior, analizaremos la
continuidad, derivabilidad e integrabilidad de la funcion lmite. Finalizaremos el captulo con el criterio de Weierstrass, que resultara un instrumento
de gran aplicacion practica a la hora de poder asegurar que una serie de
funciones converge uniformemente.
4.1.
Definiciones: sumas puntual y uniforme
Reunimos en la siguiente definicion los conceptos de serie de funciones,

convergencia puntual y convergencia uniforme.
Definici
on 4.1.1. Sea (fn ) una sucesion de funciones definidas en un conjunto A R.
(a) Llamaremos serie de funciones de termino general fn a la sucesion de
47
48
Luis Bernal Gonz

alez
funciones formada por las sumas parciales sn (x) := f1 (x) + + fn (x).
Se denota por
fn .
n=1 fn ,
n fn o
(b) Se dice que la serie
fn converge puntualmente o converge simple-
mente a una funcion f : A R cuando la sucesion de sumas parciales

asociada (sn ) converge a f puntualmente en A. En tal caso, diremos
que f es la suma puntual de

fn y se denotara
fn = f .
(c) Se dice que la serie
fn converge uniformemente o a una funcion
f : A R cuando la sucesion de sumas parciales asociada (sn ) converge

a f uniformemente en A. En tal caso, diremos que f es la suma uniforme
de
fn y se denotara
fn = f uniformemente en A.
Es obvio que la convergencia uniforme de una serie funcional a una funcion
implica su convergencia puntual a la misma funcion. El recproco es falso en
general.
Ejemplo 4.1.2. Consideremos la serie funcional
fn en A = R, donde
nx2
.
n3 +x2
2
Para todo x R tenemos |fn (x)| x2 /n2 . De la convergencia

fn (x) =
de 1/n , del criterio de comparacion y del criterio de convergencia absoluta
(ver Captulo 1) resulta que n fn converge puntualmente en R. Sin embargo,

no converge uniformemente en R (ver seccion 4.3).
4.2.
Relaci
on con la continuidad, derivaci
on
e integraci
on
La demostracion de los siguientes resultados se basa en los teoremas

analogos probados en el tema anterior, sustituyendo la sucesion de funciones
por la sucesion de sumas parciales asociada a la una serie de funciones. Por
tal motivo, las pruebas seran omitidas.
SERIES DE FUNCIONES
49
Teorema 4.2.1. [Convergencia uniforme de series y continuidad]
Supongamos que n fn = f uniformemente en A R, y que x0 A. Si cada

funcion fn es continua en x0 , entonces f es continua en x0 . En particular,
si cada fn es continua en A, entonces f es continua en A.
Teorema 4.2.2. [Convergencia uniforme de series e integracion]
Si n fn = f uniformemente en un intervalo [a, b] R y cada fn R[a, b],

entonces f R[a, b] y
fn (x) dx =
f (x) dx.
a
Teorema 4.2.3. [Convergencia uniforme de series y derivacion]

Sea fn : [a, b] R (n 1) una sucesi
on de funciones derivables tales que:
(a)
fn converge uniformemente en [a, b] a cierta funcion g y
(b) existe x0 [a, b] de modo que la serie numerica

Entonces existe una funcion f : [a, b] R tal que
fn (x0 ) converge.
fn = f uniformemente
en [a, b], f es derivable en [a, b] y f (x) = g(x) para todo x [a, b].
Los teoremas anteriores expresan que, bajo las hipotesis adecuadas, se
puede intercambiar la operacion de suma infinita con la de, respectivamente,
tomar lmite cuando x x0 , integrar en [a, b] y tomar derivadas.
4.3.
Criterios de convergencia uniforme
En esta seccion estudiaremos condiciones necesarias y suficientes que

nos permitan asegurar la convergencia uniforme de una serie de funciones sin
tener conocimiento del valor de la funcion lmite.
Teorema 4.3.1. [Condicion de Cauchy de convergencia uniforme de series
de funciones] Sea (fn ) una sucesi
on de funciones en A R. Son equivalentes:
50
Luis Bernal Gonz

alez
(a)
fn tiende uniformemente en A a alguna funci

on definida en A.

(b) Para cada > 0 existe k = k() N tal que m
j=n+1 fj (x) <
para todos los m, n N con m > n k y todo x A.
Demostracion. Simplemente aplicar la condicion de Cauchy de convergencia
uniforme de sucesiones funcionales (Teorema 3.1.5) a la sucesion de sumas
parciales de (fn ).
Una sencilla, pero u

til, condicion necesaria de convergencia uniforme de
series resulta como consecuencia del resultado anterior, sin mas que hacer
m = n + 1 en la propiedad (b). La exponemos a continuacion.
Corolario 4.3.2. Si
fn converge uniformemente en A R entonces
fn 0 uniformemente en A.
Como ilustracion, la serie del Ejemplo 4.1.2 no converge uniformemente
en R, ya que supxR |fn (x) 0| |fn (n)| =
n3
1
n3 +n2 n
= 0, luego fn 0
uniformemente en R.
La condicion de Cauchy es la clave para la demostracion del siguiente
resultado, con el que cerramos el tema, conocido como criterio mayorante de
Weierstrass para la convergencia uniforme, o criterio M de Weierstrass, que
tiene gran aplicacion practica.
Teorema 4.3.3. Sea
fn una serie de funciones definida en un conjunto
A R. Supongamos que existe una sucesi

on (an ) (0, +) tal que la serie
numerica
n an es convergente y |fn (x)| an para todo n N y todo
x A. Entonces
n fn converge uniformemente en A.
Demostracion. Fijemos > 0. Por la condicion de Cauchy de convergencia de
series numericas, podemos encontrar k N tal que m

j=n+1 aj < para todos
los m, n N con m > n k. Por la desigualdad triangular y la hipotesis
SERIES DE FUNCIONES
51
m

f
(x)
de mayoracion, tenemos que m
j
j=n+1
j=n+1 aj < . Basta aplicar
ahora el Teorema 4.3.1.

Ejemplo 4.3.4. Hemos visto que la serie de funciones
nx2
n=1 n3 +x2 ,
si bien
converge puntualmente en R, no lo hace uniformemente. Sin embargo, es

uniformemente convergente en cada intervalo [0, a] con a > 0. En efecto, si
llamamos fn (x) al termino general de nuestra serie y an := a2 /n2 , resulta que
|fn (x)| an para todo n N y todo x [0, a]. Ya que

1/n2 converge,
podemos aplicar el criterio M de Weierstrass.
Ejercicios
1.- Estudiar la convergencia puntual y uniforme de las siguientes series de fun
ciones
fn :
1 3 (2n 3)
(1 x)n en [0, 1] y [1, 1].
2n n!
1
(b) fn (x) =
en [a, +), donde a > 0.
(1 + x)n
(a) fn (x) =
(c) fn (x) =
nx2
en [0, a], donde a > 0.
n3 + x3
2
(d) fn (x) = 3n xn en R, en (1/3, 1/3) y en [0, 1/4].

sen x
.
(1 + sen x)n
(a) Estudiar la convergencia puntual de la serie

n=0 fn (x) y sumarla
2.- Sea la sucesion (fn ) definida en [0, ] como fn (x) =
cuando sea convergente.

(b) Probar que si 0 < a < /2 la convergencia es uniforme en [a, a].
(c) Es uniforme la convergencia en [0, ] Y en (0, /2)?
3.- Sea A R, y supongamos que (fn ) es una sucesion de funciones tal que
fn 0 uniformemente en A. Supongamos que fn (x) fn+1 (x) para todo
n+1 f (x) converge

x A y todo n N. Estudiar si la serie
n
n=1 (1)
uniformemente en A.
52
Luis Bernal Gonz

alez
x2
converge puntualmente
(1 + x2 )n
n=1
en todo R, que converge uniformemente en cada intervalo acotado y que, en
4.- Justifquese que la serie de funciones
cada intervalo no acotado, no hay convergencia uniforme.

5.- Consideremos la sucesion de funciones (fn ) definidas en [0, ] como fn (x) =
sen x (cos x)n para cada n N0 .
(a) Demostrar que fn 0 uniformemente en [0, ].
(b) Comprobar que la serie

n=0 fn (x) es puntualmente convergente y
calcular su suma.
(c) Estudiar la convergencia uniforme de la serie en [a, /2], donde 0
a < /2, y en [/2, ].
6.- Sea la sucesion de funciones fn (x) = (1 x2 )x3n .
(a) Probar que fn 0 uniformemente en [1, 1].
(b) Estudiar la convergencia puntual de la serie

n=1 fn (x) en R. Calcular
su suma en el caso de convergencia.
(c) Estudiar la convergencia uniforme en [0, a], [0, 1] y [1, 0], siendo 0 <
a < 1.
7.- Sea fn (x) =
enx
. Demostrar:
n2 + 1
converge si y solo si x [0, +).
(b) Si se define f (x) :=

n=1 fn (x) demostrar que f es continua en
(a)
n=1 fn (x)
[0, +).
(c) f es derivable en (0, +).
(d) f no es derivable en 0.
8.- Estudiar la convergencia de las siguientes series y sumarlas donde converjan:
xn
(a)
.
n
n=1
SERIES DE FUNCIONES
(b)
(cos x)2n
n=2
(c)
2n 2
53
(x 1)n x
.
n2 n
Indicaci
on: utilizar adecuadamente el teorema de derivacion y convergencia
n=2
uniforme.
9.- Consideremos la sucesion de funciones fn (x) =
(a) Probar que
n=0 fn
ex 1
(n 0).
enx
converge puntualmente en [0, 1]. Es uniforme la
convergencia?
(b) Calcular, si convergen, la suma de las series
10.-
n=0 1/2 fn
1
n=0 0
(a) Se llama serie de Dirichlet a una serie de funciones de la forma
fn .
an
n=1 nx ,
log . Demostrar que,

donde {an }
1 R \ {0}. Recordar que := e
si existe L := lmn
log |an |
log n
R, entonces la serie de Dirichlet define
una funcion continua en el intervalo (1 + L, +).

an
(b) Probar que la serie funcional
on continua
n=1 nx define una funci
(x) en (1, +), la cual se denomina funci
on zeta de Riemann. Demostrar que, para cada x > 1, se tiene que
1
= lm
(1 pn
k ),
(x) n
n
k=1
donde (pn ) es la sucesion creciente de los n

umeros naturales primos, es
decir, p1 = 2, p2 = 3, p3 = 5, p4 = 7, p5 = 11, . . . .
11.- Demostrar el siguiente resultado. Consideremos la serie funcional
fn gn ,
donde fn , gn : A R R. Sea (Fn ) la sucesion de sumas parciales de (fn ).

Se tiene:
(a) Criterio de Dirichlet de convergencia uniforme de series: Si (Fn ) esta uniformemente acotada en A, gn+1 (x) gn (x) para cada x A y cada
n N, y gn 0 uniformemente en A, entonces
fn gn converge
uniformemente en A.
54
Luis Bernal Gonz

alez
(b) Criterio de Abel de convergencia uniforme de series: Si
fn converge
uniformemente en A hacia una funcion acotada, las gn son uniformemente convergentes en A a una funcion acotada y, o bien gn (x)
gn+1 (x) (x A, n N) o bien gn (x) gn+1 (x) (x A, n N),
entonces
fn gn converge uniformemente en A.
Indicaci
on: Usar la siguiente f
ormula de sumaci
on de Abel, la cual se demuestra por induccion. Sean a1 , . . . , an , b1 , . . . , bn R y denotemos An =
n
n
n
a
.
Entonces
a
b
=
A
b
Ak (bk+1 bk ).
n
n+1
k
k
k
k=1
k=1
k=1
Captulo 5
Series de potencias
En este captulo estudiaremos las series de potencias, que son un caso
particular muy importante de series de funciones. Comenzaremos comprobando que la convergencia puntual y la convergencia uniforme de una serie
de potencias dependen exclusivamente del radio de convergencia, el cual se
obtiene a traves del calculo de un cierto lmite. En la segunda seccion estudiaremos la continuidad, integrabilidad y derivabilidad de la funcion lmite de
una serie de potencias definida en el intervalo de convergencia. Analizaremos
el comportamiento en la frontera del intervalo de convergencia mediante el
criterio de Abel y finalizaremos el tema definiendo las funciones analticas.
Veremos condiciones suficientes que garanticen que una funcion infinitamente derivable es analtica y obtendremos la expresion en serie de potencias de
diversas funciones conocidas.
5.1.
Radio e intervalo de convergencia de una

serie de potencias
Las series de potencias constituyen el ejemplo mas sencillo y quiza mas
55
56
Luis Bernal Gonz

alez
importante dentro de las series funcionales. Tras la definicion, vamos a ver

que su dominio de convergencia es un intervalo de la recta real. Este intervalo
se puede determinar a partir de los coeficientes de la serie.
Definici
on 5.1.1. Una serie de potencias (SP) es una serie de funciones del
n
2
tipo
n=0 an (x a) = a0 + a1 (x a) + a2 (x a) + , donde an R para
todo n = 0, 1, 2, . . . . El punto a se dice que es el centro de la SP, mientras
que los n
umeros an se conocen como los coeficientes de la serie.
Por tanto, el termino n-esimo de una serie de potencias es un monomio
de grado n o es nulo. Las siguientes series de funciones son ejemplos de series
xn
xn 1
de potencias:
,
(1)n ,
(x 1)n .
2
n!
n
n
n=0
n=1
n=1
Teorema 5.1.2. [Formula de CauchyHadamard] Sea

n=0 an (x a) una
serie de potencias centrada en a, y sea = lm supn n |an |. Denotemos

R := 1/, si se entiende esta expresi
on en la recta real extendida, de modo
que R = 0 si = + y R = + si = 0. Se verifica:
(a) Si 0 < R < +, la SP es absolutamente convergente en cada punto
del intervalo abierto (a R, a + R), y no converge en ning
un punto x
con |x a| > R. Ademas, la serie converge uniformemente en cualquier
subconjunto compacto de (a R, a + R).
(b) Si R = +, la SP es absolutamente convergente en cada punto de R,
y converge uniformemente en cualquier subconjunto compacto de R.
(c) Si R = 0 la SP solo converge en el punto a.
Se llama intervalo de convergencia de la SP al conjunto (aR, a+R), a R
o a , seg
un que, respectivamente, se de el caso (a), (b) o (c). El n
umero R
[0, +] definido en el teorema anterior se denomina radio de convergencia
de la SP. Es evidente que, si I es el intervalo de convergencia de una SP y D
es su dominio de convergencia, entonces I D I.
SERIES DE POTENCIAS
57
Demostracion del Teorema 5.1.2. Probaremos solo (a) [los apartados (b)
y (c) son mas faciles y se demuestran de modo analogo]. Sea pues 0 <
R < + y fijemos un punto x (a R, a + R). Entonces |x a| < R y
1
1
lm supn n |an | = R1 < |xa|
. Elijamos cualquier con R1 < < |xa|
. Por
definicion de lmite superior, podemos encontrar n0 N tal que n |an |

para todo n n0 . Luego, para los mismos valores de n, se tiene |an (xa)n |
(|x a|)n . Ya que |x a| < 1, la serie geometrica n (|x a|)n es conver

gente. Por el criterio de comparacion (ver Captulo 1), la serie n |an (xa)n |
es tambien convergente, como se requera. Sea ahora x tal que |xa| > R. Elijamos cualquier con
1
|xa|
<<
1
.
R
Por definicion de lmite superior, existe
una sucesion {n1 < n2 < < nk < } N de modo que < |ank |1/nk ,
para todo k. Por tanto
|ank (x a)nk | |(x a)|nk > 1 para todo k N.
Se deduce que la sucesion {an (x a)n } tiene una sucesion parcial que no
tiende a 0, luego ella misma no tiende a 0. Por la condicion necesaria de
n
convergencia de series,
n=0 an (x a) no converge.
Por u
ltimo, fijemos un compacto K (a R, a + R). Entonces K es
acotado y cerrado, luego su nfimo y su supremo estan en K, as que estan
en (a R, a + R). En consecuencia, existe un intervalo cerrado J con K
J (a R, a + R). Es claro que podemos suponer que J = [a r, a + r]
para alg
un r (0, R). Por lo ya demostrado, la SP converge absolutamente
n
en el punto a + r, es decir, la serie
n=0 |an |r es convergente. Esta es una
serie numerica de terminos positiva que cumple |an (x a)n | |an |rn para
todo x J y todo n N. Por el criterio M de Weierstrass (Teorema 4.3.3),
nuestra SP es uniformemente convergente en J, y por tanto en K.
El resultado anterior no afirma nada sobre el comportamiento de la serie en los extremos del intervalo de convergencia. Por ejemplo, las series de
58
Luis Bernal Gonz

alez
potencias
xn
n=1
n2
nx
(1)
n=1
x2n
n=0
tienen radio de convergencia R = 1 y las tres presentan comportamientos

distintos en los extremos del intervalo de convergencia, es decir, en los puntos
1.
A continuacion, damos una variante de la formula de Hadamard que es
u
til en muchos casos.
an (x a)n una SP. El radio de convergencia

an
, siempre que exista este lmite.
de esta serie viene dado por R = lm
n an+1
Proposici
on 5.1.3. Sea
n=0
Demostracion. Como R es el u
nico n
umero de [0, +] tal que la serie converge siempre que |x a| < R

probar que, si := lmn an
y diverge siempre que |x a| > R, basta

, entonces goza de la misma propiedad.
an+1
|xa|
Pues bien, si x es tal que |x a| < , tenemos que lmn an+1
< 1.
an |xa|n
n
Por el criterio del cociente (ver Captulo 1), la serie
n=0 an (x a) es abn+1
solutamente convergente, luego es convergente. Por u

ltimo, si |x a| > , se
a
tiene que existe n0 N tal que |x a| n para todo n n0 , de donde
an+1
se deduce que la sucesion {|an (x a) |}nn0 es creciente, luego no tiende a

n
0. Pero entonces el termino general de nuestra SP tampoco tiende a 0 en el

punto x, as que, por la condicion necesaria de convergencia (ver Captulo
1), la SP no converge en dicho punto x.
Nota 5.1.4. Se pueden considerar series de potencias en el plano complejo,
n
es decir, series de funciones de la forma
n=0 an (z a) , donde (an ) C y
a C. En este caso la serie converge puntualmente en el disco de convergencia
{z C : |z a| < R} [donde la convergencia es incluso absoluta; recordar
que el valor absoluto o modulo de un n
umero complejo z = x + iy viene dado
por |z| = (x2 + y 2 )1/2 ] y, para cada r (0, R), converge uniformemente en el
SERIES DE POTENCIAS
59
disco {z C : |z a| < r}. Aqu R es el radio de convergencia dado por la

formula de CauchyHadamard. Si |z a| > R, la SP no converge.
5.2.
Continuidad, derivabilidad e integrabilidad de series de potencias
Consideremos una serie de potencias
n=0
an (x a)n con con radio
de convergencia R > 0. Definimos la funcion suma de la SP como

x I 7 f (x) =
an (x a)n R.
n=0
Se entiende que I = (a R, a + R) si R < + e I = R si R = +. El

siguiente resultado nos dice que esta funcion es continua, derivable y tiene
primitiva en su intervalo de convergencia, y que se puede derivar e integrar
termino a termino dentro de dicho intervalo.
Teorema 5.2.1. Sea f la funcion suma de la SP
n=0
an (x a)n en el
intervalo de convergencia I. Se verifica:

(a) La funcion f es continua en I.
(b) El intervalo de convergencia de la SP
con I, la funcion f es derivable en I y
n
n=0 (n+1)an+1 (xa) coincide
n
f (x) =
n=0 (n+1)an+1 (xa)
para todo x I.
(c) El intervalo de convergencia de la SP
an
n+1
n=0 n+1 (xa)
coincide con
I y la funcion que define es una primitiva de f en I.

Demostracion. Recordemos que el radio de convergencia de la SP original
viene dado por R = 1/ lm supn |an |1/n . Llamemos R1 , R2 a los radios de
convergencia respectivos de las series que aparacen en (b) y (c), es decir, a
60
Luis Bernal Gonz

alez
las series formales que resultan de derivar e integrar termino a termino la SP

original. Por la formula de Hadamard,
R1 =
1
lm supn [((n + 1)|an+1 |)
1
n+1
n+1
n
y R2 =
1
1
lm supn [(n1 |an1 |) n1 ]

1
Teniendo en cuenta que las cuatro sucesiones {(n+1) n+1 }, { n+1

}, {(n1 ) n1 }
n
y { n1
} tienden a 1, resulta que R1 = R = R2 y por tanto los intervalos de
n
convergencia de las tres series son el mismo, I. De acuerdo con el Teorema
5.1.2, las tres series convergen uniformemente en cada intervalo [a r, a + r]
con 0 < r < R. En particular, ya que cada monomio an (xa)n es una funcion
continua, del Teorema 4.2.1 se deduce la continuidad de f en [a r, a + r].
Como esto es cierto para todo r (0, R) y cada punto x I es interior a
alguno de estos intervalos, concluimos que f es continua en I [recordemos
que la continuidad, al igual que la derivabilidad, es una propiedad local, es
decir, solo depende del comportamiento de la funcion en un entorno del punto
considerado]. Por tanto hemos probado (a).
La primera parte de (b) [y de (c)] ya se ha probado en el parrafo anterior.
Para el resto, consideremos de nuevo las funciones fn (x) := an (x a)n , que
son derivables. Fijemos un intervalo [a r, a + r] I como antes. Habida
cuenta de la convergencia uniforme de la serie de las derivadas a cierta funcion
g : [a r, a + r] R, del Teorema 4.2.3 (donde [a, b] se sustituye por
[a r, a + r] y elegimos x0 = a) se infiere que f es derivable en [a r, a + r] y
que su derivada coincide con g. De nuevo, esto es cierto para cada r (0, R),
luego las propiedades demostradas son validas en I y (b) queda probado.
La prueba de (c) se completa de manera analoga, usando el Teorema
4.2.3 en cada [a r, a + r] pero sustituyendo f por la suma F de la serie
an
an
n+1
y fn por n+1
(x a)n+1 . Tambien se puede demostrar
n=0 n+1 (x a)
utilizando el Teorema 4.2.2 sobre integracion termino a termino de series de
funciones.
n1
n
SERIES DE POTENCIAS
61
Si I R es un intervalo y N N, se denota por C N (I) el conjunto de todas

las funciones f : I R que tienen derivadas continuas en todos los puntos de
I hasta orden N inclusive. A veces tambien se escribe C 0 := C(I). Por otra
parte, simbolizaremos mediante C (I) el conjunto de todas las funciones
f : I R que tienen derivadas de todos los ordenes en todos los puntos
de I. Es facil ver que todos estos conjuntos son espacios vectoriales, que
C 0 (I) C 1 (I) C 2 (I) C (I) y que C (I) = N N C N (I).

Corolario 5.2.2. Si f es la funcion suma de una serie de potencias
n=0 an (x a) en su intervalo de convergencia I, se tiene que f C (I)

y que es factible la derivacion termino a termino en I para todos los ordenes
f (n) (0)
para todo n N0 .
de derivacion. En particular, se tiene que an =
n!
Demostracion. Basta aplicar sucesivamente el teorema anterior. Para cualquier k N se tiene que la series de potencias que resulta al derivar k veces
cada termino an (x a)n tiene el mismo radio de convergencia R que la serie
original. Por induccion, obtenemos que f (k) existe y coincide en el intervalo
de convergencia con la suma de la serie de las derivadas k-esimas. Si en particular hacemos x = a, obtenemos f (k) (a) = k!ak + 0 + 0 + 0 + , de donde
resulta la formula deseada.
Puesto que la derivada en un punto solo depende del comportamiento de

la funcion en un entorno de dicho punto, se deduce la siguiente consecuencia.
Corolario 5.2.3. [Principio de identidad para series de potencias]
n
n
Consideremos dos series de potencias
n=0 bn (x a) ,
n=0 an (x a) y
de sumas respectivas f y g. Si f y g coinciden en un entorno de a, entonces
an = bn para todo n N0 , y por tanto las dos series son identicas.
El comportamiento de una serie de potencias en los extremos del intervalo de convergencia depende del ejemplo en concreto. El siguiente resultado
62
Luis Bernal Gonz

alez
resulta muy u
til cuando la SP converge en un extremo, ya que nos garantiza
la continuidad de la funcion suma de la serie de potencias en dicho extremo.
Lo enunciamos para el extremo derecho a + R, aunque por supuesto se puede
formular un enunciado analogo para el extremo izquierdo a R.
Teorema 5.2.4. [Teorema de Abel] Sea
n=0
an (x a)n una SP de radio
de convergencia R (0, +) y sea f la suma de la SP en su intervalo de

convergencia (a R, a + R). Supongamos que la SP converge en el punto
n
b := a + R, es decir, la serie
es convergente. Entonces la SP
n=0 an R
n
converge uniformemente en [a, b] y se cumple lmxb+ f (x) =
n=0 an R .
Demostracion. La parte final se deduce de aplicar el Teorema 4.2.1 de preservacion de la continuidad de series funcionales a nuestra SP y a la funcion
n
suma f : [a, b] R, extendida al punto b como f (b) :=
n=0 an R . En
consecuencia, nuestra tarea es demostrar la convergencia uniforme de la SP
en [a, b].
Para ello, consideremos dos n
umeros m, n N con m > n y usemos la
formula de sumacion de Abel indicada en el Ejercicio 11 del Captulo 4, solo
que los ndices k van desde n hasta m y se sustituye ak por ak Rk y bk por
( xa
)k . Denotando Ak,n := an Rn + + ak Rk para k n, obtenemos que
R
m
k=n
ak (x a) =
k
( x a )k
( x a )m+1
= Am,n
R
R
k=n
]
[
m
( x a )k ( x a )k+1
+
Ak,n
R
R
k=n
ak Rk
m
( x a )m+1 (
( x a )k
x a)
= Am,n
+ 1
Ak,n
R
R
R
k=n
para todo x [a, b]. Fijemos > 0. Por el criterio de Cauchy de convergencia
de series (ver Captulo 1), existe n0 N tal que |Ak,n | < /2 siempre que
k n n0 . Por tanto, si m > n n0 , resulta de la desigualdad triangular y
SERIES DE POTENCIAS
63
m
(
) ( xa )k
k

del hecho | xa
|
1
que
a
(xa)
< 2 + 1 xa
2 k=0 R
=
k
k=n
R
R
+ 2 = si x [a, b). Se ha tenido en cuenta que la serie geometrica
( xa )k
es convergente si x = b y que su suma en tal caso es 1 1xa .
k=0
R
R
k
Pero m
a
(x
a)
=
A
si
x
=
b.
En
resumidas
cuentas,
dado
>
0
m,n
k=n k
m

hemos hallado un n0 N tal que
ak (x a)k < para todo par
k=n
m, n N con m > n n0 y para todo x [a, b]. Basta aplicar ahora la

condicion de Cauchy de convergencia uniforme de series de funciones.
Ejemplo 5.2.5. Veremos mas adelante [Teorema 5.3.3(d)] que log(1 + x) =

(1)n+1 n
(1)n+1
x en (0, 1). Ya que
converge, obtenemos del teon=1
n=1
n
n
(1)n+1
rema anterior que
= log 2.
n=1
n
5.3.
Funciones analticas
Ya estamos familiarizados con las funciones continuas, derivables, de

clase C 1 (derivables con continuidad), de clase C N y de clase C . Vamos a
introducir ahora una nueva clase de funciones, mas peque
na que las anteriores, que surge de manera natural al considerar series de potencias. Son las
as llamadas funciones analticas. En cierta forma, son la generalizacion de
los polinomios.
Definici
on 5.3.1. Supongamos que I R es un intervalo abierto, que f :
I R es una funcion definida en I y que a I. Se dice que f es analtica
en a cuando existen un intervalo J I centrado en a y una SP centrada en
a tales que f puede expresarse como la suma de dicha serie en J. Y se dice
que f es analtica en I cuando es analtica en cada punto de I.
Notemos que tanto el intervalo J como la SP de la definicion anterior
dependen de f y del punto a. Denotaremos por C (I) el conjunto de las
funciones analticas en I, y por C (a) el conjunto de las funciones definidas
64
Luis Bernal Gonz

alez
en un entorno del punto a que son analticas en a. Es facil probar que ambos
conjuntos son espacios vectoriales. De la definicion y de la seccion anterior
se deduce que si f es analtica en a entonces tiene derivadas de todos los
ordenes en dicho punto [y de hecho en todo el intervalo J]. En particular,
C (I) C (I).
Pero la inclusion contraria es falsa, es decir, una funcion puede tener
derivadas de todos los ordenes en un punto sin ser analtica en dicho punto.
Por ejemplo, la funcion
e1/x2 si x 0
(x) =
0
si x < 0
tiene derivada de todos los ordenes en cada punto x R, siendo (n) (0) = 0
(n) (0) n
para cada n N0 . Por tanto no puede cumplirse que (x) =
x
n=0
n!
en un entorno de 0, luego f no es analtica en el 0. Esto nos lleva a estudiar
condiciones para que una funcion infinitamente derivable sea analtica.
Supongamos que f tiene derivada de todos los ordenes en un intervalo
I = (aR, a+R). Formalmente podemos escribir la serie de Taylor asociada
(n)
f (n) (a)
a f en el punto a como
(x a)n . A los n
umeros f n!(a) se les
n!
n=0
llama coeficientes de Taylor de f de a. Si a = 0, se suele hablar de serie de
MacLaurin y de coeficientes de MacLaurin.
El resultado que se enuncia a continuacion nos dice que si las derivadas
sucesivas de f no son demasiado grandes, entonces f coincide con su serie de
Taylor.
Teorema 5.3.2. [Teorema de Pringsheim] Sea f : I = (a R, a + R) R
tal que R (0, +), f C (I) y existe A (0, +) tal que
|f (n) (x)| A
n!
para todo n N y todo x I.
Rn
SERIES DE POTENCIAS
65
Entonces f C (a). De hecho, se tiene

f (x) =
f (n) (a)
n=0
n!
(x a)n para todo x I.
Demostracion. Por la formula de Lagrange del resto del polinomio de Taylor,

fijados x I y n N [sin perdida de generalidad, podemos suponer x > a]
existe c = c(x, n) N tal que
f (x) = f (a) +
f (a)
f (n) (a)
f (n+1) (c)
(x a) + +
(x a)n +
(x a)n+1 .
1!
n!
(n + 1)!
Entonces se cumplira la igualdad del enunciado en x cuando

(n+1)

(n+1)
lmn f (n+1)!(c) (x a)n+1 = 0. Ahora bien, f (n+1)!(c) (x a)n+1 A (n + 1)!
(
)n+1
(|xa|/R)n+1
= A |xa|
0 pues |xa|
< 1. Esto prueba el teorema.
(n+1)!
R
R
n
Finalizamos el tema expresando ciertas funciones conocidas como suma

de una serie de Taylor. Recordemos que, para cada R \ {0}, el n
umero
()
combinatorio generalizado n se define como
( )
( )
( 1)( 2) ( n + 1)
=
si n N y
= 1.
n
n!
0
Teorema 5.3.3. Se verifican los siguientes desarrollos, validos en los intervalos indicados:
xn
x
(a) e =
para todo x R.
n!
n=0
(1)n 2n
x
para todo x R.
(b) cos x =
(2n)!
n=0
(1)n 2n+1
(c) sen x =
x
para todo x R.
(2n
+
1)!
n=0
(1)n+1 n
(d) log(1 + x) =
x para todo x (1, 1).
n
n=1
( )
(e) [Serie binomica] (1 + x) =

x para todo x (1, 1).
n
n=1
66
Luis Bernal Gonz

alez
Demostracion. Las series de Taylor en el origen asociadas a cada una de las

5 funciones son faciles de determinar calculando f (n) (x) por induccion sobre
n y particularizando en x = 0. En los casos (a), (b) y (c), fijar R (0, +)
y y aplicar el Teorema 5.3.2 para validar los desarrollos en (R, R). Como
R es arbitrario, los desarrollos son validos en todo R. Los detalles se dejan
como ejercicio. La demostracion rigurosa de las igualdades en los casos (d) y
(e) se omite por exceder el alcance de estas notas. No obstante, no es difcil
probar que los desarrollos son validos en alg
un intervalo (, ), aplicando
de nuevo el Teorema 5.3.2.
Notas 5.3.4. 1. Las funciones seno, coseno y exponencial, consideradas en

el teorema anterior, pueden de hecho ser definidas en R por las igualdades
dadas por sus desarrollos de Taylor. Las tres son ejemplos de funciones enteras. Por definicion, se dice que una funcion f : R R es entera cuando tiene
f (n) (0) n
x
un desarrollo en serie de Taylor valido en todo R: f (x) =
n=0
n!
para cada x R. Puede probarse que toda funcion entera es analtica en
todo R. Pero el recproco no es cierto: considerese, por ejemplo, la funcion
f (x) =
1
.
1+x2
La explicacion de estos fenomenos excede el alcance de estos
apuntes, pues para ello se ha de acudir al terreno de las funciones definidas

sobre el plano complejo C.
2. Si f es analtica en un punto a, la unicidad de los coeficientes de Taylor en
dicho punto hace que estos puedan calcularse por el metodo de los coeficientes
indeterminados. Ver, por ejemplo, el Ejercicio 6.
Ejercicios
1.- Determinar el radio de convergencia R de las series de potencias
en los siguientes casos:
(a) an = log n.
n
n=1 an x
SERIES DE POTENCIAS
67
(1)n
.
n
((1)n + 3)n
(c) an =
.
n
n2
(d) an = n .
2
n!
(e) an = n .
n
(b) an =
(f) an = nn .
(g) an = np (p N).
(h) a2n = 2n , a2n+1 = 0.
(i) an = b2n , a2n+1 = a2n+1 con a, b (0, 1).
Cuando R sea finito, estudiar el comportamiento de la serie en la frontera
del disco de convergencia.
2.- Estudiar la convergencia de las siguientes series y sumarlas donde coverjan:
xn
(x 1)n
(a)
(b)
.
n
n2 n
n=1
n=2
3.- Estudiar la convergencia de las series de potencias
n
n=1 an x
y sumarlas
donde converjan, en los casos:

(a) an =
(1)n1
.
n(n + 1)
(b) an = 3n2 n + 1.
1
si n = 3k 2, an = 0 en otro caso.
3k
n2 + 2n 3
(d) an =
.
n!
4n
si k = 2n + 1.
(e) ak = 0 si k = 2n, an =
(2n + 1)!
(c) an =
4.- Detallar la demostracion de los apartados (a), (b) y (c) del Teorema 5.3.3 y
demostrar los desarrollos de (d) y (e) en alg
un entorno del origen.
5.- Obtener el desarrollo en serie de potencias, en torno al 0, de las siguientes
funciones:
68
Luis Bernal Gonz

alez
1+x
.
1x
(b) arctan x.
1+x
(c)
.
(1 x)3
(a) log
(d) sen2 x.
(e) (1 + ex )2 .
(f) log(a + bx), donde a > 0 y b = 0.
6.- Obtener, por el metodo de los coeficientes indeterminados, los primeros
terminos del desarrollo en serie de potencias, en torno al 0, de las funciones:
cos x
cos x
(c)
.
(a) tan x
(b)
1 + sen x
1 2x
7.- Sean F, G : R R dos funciones enteras que verifican F (0) = 1, G(0) = 0,
F (x) = G(x) y G (x) = F (x) para todo x R.
(a) Probar que F (x)2 G(x)2 = 1 para todo x R.
(b) Hallar las series de Taylor, en el origen, de F y G y hallar su radio de
convergencia.
(c) Probar que estas series convergen en todo x R al valor de la funcion
correspondiente.
x
x
x2n
(d) Probar que, para todo x R, se tiene F (x) = e +e
=
n=0 (2n)!
2
x
x
x2n+1
y G(x) = e e
=
n=0 (2n+1)! . A estas funciones se las denomina,
2
respectivamente, coseno hiperb
olico y seno hiperb
olico.
8.-
(a) Estudiar el dominio de convergencia y la suma de la serie
x4n1
.
4n 1
n=1
(b) Desarrollar en serie de potencias, en torno al 0, la funcion

1
1+x 1
log
arctan x.
4
1x 2
9.- Demostrar que el radio de convergencia R de una SP
dado por R = sup{ 0 : la sucesion
{an n }n1
n
n=0 an (x a)
esta acotada}.
viene
Captulo 6
Medida de Lebesgue
En este captulo vamos a definir la medida de Lebesgue de los subconjuntos de R, persiguiendo ciertas propiedades naturales que se le deben
exigir a una medida. Veremos que no sera posible medir cualquier conjunto,
de modo que nos veremos obligados a restringir la medida a una clase de
conjuntos. Esta clase, bastante amplia, es la de los conjuntos medibles. De la
definicion, iremos obteniendo las propiedades de la medida de Lebesgue.
6.1.
El problema de la medida
A finales del siglo XIX surgio la idea de que la integral de Riemann

resultaba incompleta, en relacion a su comportamiento con los procesos de
lmite. Pareca necesario reemplazarla por otro tipo de integral, mas versatil
en dichos procesos. Las contribuciones de Jordan, Borel y Young fueron completadas por Lebesgue, quien a principios de siglo XX dio con la construccion
mas adecuada.
Recordemos (ver Captulo 1) que la integral de Riemann de una funcion
f : [a, b] R se define basicamente por aproximacion de cantidades de la
n
on es
forma
k=1 f (tk )m(Ik ), donde los Ik son intervalos cerrados cuya uni
69
70
Luis Bernal Gonz

alez
[a, b] y con interiores disjuntos, y m(Ik ) denota la longitud del intervalo Ik .

La teora de Lebesgue se basa en la idea de que esos conjuntos Ik puedan
ser elegidos en una clase mas amplia de subconjuntos de R, que llamaremos
conjuntos medibles.
El problema de la medida consiste en asignar a cada conjunto A R un
n
umero m(A) [0, +], denominado medida de A, de modo que
m([a, b]) = b a para todo a, b R con a < b,
m(x + A) = m(A) para todo A R y todo x R,
m sea numerablemente aditiva, es decir, para cualquier sucesion (An )
de conjuntos disjuntos dos a dos, se tenga
m
)
An =
m(An ).
n1
n1
Resulta que no es posible hacer tal asignacion a todos los conjuntos, por lo
que se plantea la necesidad de definir el concepto de conjunto medible.
Ejemplo 6.1.1. Sea m una medida sobre los subconjuntos de R verificando
las tres propiedades anteriores. Existe un conjunto V [0, 1] al que no puede
asignarsele ning
un valor m(V ). Este conjunto se conoce con el nombre de
conjunto de Vitali y su hallazgo se debe a G. Vitali en 1905, ver Ejercicio 5.
6.2.
Espacios medibles, espacios de medida y

medida exterior
Es conveniente situar el problema anterior en un contexto mas general.

Podemos definir de manera mas abstracta una medida y la familia de conjuntos a los cuales es aplicable una medida. Partimos de un conjunto X = . Por
P(X) denotaremos el conjunto de partes de X. Recordemos que, si A X, el
MEDIDA DE LEBESGUE
71
complementario de A se define como Ac = {x X : x

/ A}; y si A, B X
entonces su diferencia se define por A \ B = A B c .
Definici
on 6.2.1. Sea X un conjunto no vaco y M P(X). Decimos que
M es una -algebra sobre X cuando se verifican las siguientes condiciones:
(a) X M.
(b) Si A M entonces Ac M.
An M.
(c) Si {An }n1 M entonces
n=1
Se llama espacio medible al par (X, M), y conjunto medible a cada miembro
de (X, M).
De propiedades elementales de algebra de conjuntos (incluyendo las leyes
de Morgan) se deduce que, si M es una -algebra sobre X, entonces estan en
M los siguientes conjuntos: , uniones finitas de miembros de M, intersecciones finitas o numerables de miembros de M, diferencia de dos miembros
de M. Como ejemplos triviales y extremos, se tiene que {, X} y P(X) son
-algebras sobre X.
Definici
on 6.2.2. Sea (X, M) un espacio medible. Por definicion, una medida positiva, o simplemente una medida, sobre (X, M) es una aplicacion
: M [0, +] tal que () = 0 y es numerablemente aditiva, es decir,
(
)
si {An }n1 M y los An son dos a dos disjuntos, entonces
An =
n=1
(An ). La terna (X, M, ) se denomina espacio de medida.
n=1
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 medida de
probabilidad o simplemente probabilidad.
Si {An }
n=1 M es tal que (An ) < + para todo n N y X =
An , se dice -finita.
n=1
72
Luis Bernal Gonz

alez
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 la restriccion |MS es una medida sobre (S, MS ). A la terna
(S, MS , |MS ) se le llama espacio de medida inducido en S.
Ejemplo 6.2.3. Sea X un conjunto y consideremos la aplicacion : P(X)
[0, +] dada por (A) = card(A) si A es finito, y (A) = + si A es infinito. Entonces es una medida positiva, denominada medida cardinal sobre
X. Es facil ver que es finita si y solo si X es finito, y que es -finita si
y solo si X es numerable.
Nota 6.2.4. Hemos visto que el valor de la medida de un conjunto puede
ser +. Esto implica que se han de realizar operaciones algebraicas que
involucran n
umeros no finitos. Por ello es conveniente considerar la recta real
ampliada, R := R {+, } = [, +]. A R 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 n
umeros a < 0. Ademas a/ = 0 [para todo a R] y
| | = +. Pero la operacion + (+) no esta definida. Tambien
es conveniente, por motivos que se veran claros en el Captulo 7, detallar la
topologa que vamos a considerar en R. A saber, una base de entornos de
cada punto a R es {(a , a + ) : > 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 R. Esto no es valido para
los cerrados, ya que por ejemplo R es un cerrado en R pero no lo es en R.
MEDIDA DE LEBESGUE
73
Observemos que los abiertos de R son los abiertos de R, los intervalos del tipo
[, c) y (c, +], y las uniones posibles de estos tres tipos de conjuntos.
En la siguiente proposicion se re
unen algunas propiedades operacionales
basicas de las medidas. Una sucesion de conjuntos (An ) se dice que es creciente [decreciente] cuando An An+1 [An An+1 , resp.] para todo n N.
Proposici
on 6.2.5. Sea (X, M, ) un espacio de medida. Se verifica:
(a) es finitamente aditiva, es decir, si A1 , . . . , AN M son dos a dos
N
N
(
)
An =
(An ).
disjuntos, entonces
n=1
n=1
(b) es monotona, es decir, si A, B M y A B entonces

(A) (B).
(c) Si A, B M con A B y (A) < + entonces
(B \ A) = (B) (A).
)
(
(An ).
(d) Si {An }
An
n=1 M, entonces
n=1
n=1
)
(
(e) Si {An }
A
.
M
es
creciente
entonces
l
m
(A
)
=
n
n
n=1
n
n=1
(f) Si {An }
n=1 M es decreciente y (A1 ) < + entonces
)
(
An .
lm (An ) =
n
n=1
Demostracion. Es facil, por lo que solo daremos algunas indicaciones. Para

(a), definir An := si n > N y aplicar la aditividad numerable de . Para (b)
y (c), descomponer B = A(B \A) y aplicar (a). En cuanto a (d), considerar
la sucesion (Bn ) dada por B1 := A1 , B2 := A2 \ (A1 A2 ), . . . , Bn := An \
(A1 An1 ), . . . , formada por conjuntos medibles disjuntos cuya union es
An ; aplquense entonces (b) y la aditividad numerable de . Para probar

n=1
(e), definir A0 := y considerar la misma sucesion disjunta (Bn ) anterior.
(
)
Como (An ) es creciente, se tiene Bn = An \ An1 . Resulta que
An =
n=1
74
Luis Bernal Gonz

alez
(
)
Bn = lm nk=1 (Bk ) = lm nk=1 [(Ak ) (Ak1 )] = lm (An ).

n=1
Se ha supuesto que cada (An ) < +, pues (e) sera trivial si alg
un (An ) =
+. Por u
ltimo, (f) se deduce aplicando (e) a la sucesion (A1 \ An ).
El ejemplo X = N, M = P(N), = medida cardinal sobre N, An =

{n, n + 1, n + 2, . . . } (n = 1, 2, ...) muestra que (f) es falso en general si se
prescinde de la hipotesis (A1 ) < +.
A veces es conveniente disponer de una aplicacion con propiedades mas
debiles que una medida, pero definida para cualquier subconjunto del conjunto soporte X. Damos el correspondiente concepto, que cierra esta seccion.
Definici
on 6.2.6. 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:
(a) () = 0.
(b) Si A B entonces (A) (B).
)
(
(An ).
(c) Si {An }
A
P(X)
entonces
n
n=1
n=1
6.3.
n=1
Construcci
on de la medida de Lebesgue
en R
Vamos pues a definir la medida m en la recta real de modo que permita

medir una clase mas amplia de conjuntos que los intervalos. Vamos a hacerlo
por etapas, empezando precisamente por los intervalos.
Dado un intervalo acotado I = (a, b), I = [a, b], I = (a, b] o I = [a, b),
con a < b, su longitud o amplitud es por definicion long (I) := b a. Si
I es un intervalo no acotado, definimos long (I) := +. Queremos que, si
I es un intervalo, su medida coincida con su longitud. Por otra parte, si
A R y A esta contenido en una union numerable de intervalos, digamos
MEDIDA DE LEBESGUE
75
Ik , debe ocurrir que la medida de A no sea mayor que la suma
k=1
de las longitudes de los intervalos In . De esta forma se define la aplicacion

m : P(X) [0, +] dada por
m (A) = nf
long (Ik ) : A
k=1
}
Ik , Ik intervalos R .
k=1
Teorema 6.3.1. La aplicaci

on m definida anteriormente verifica las siguientes propiedades:
(a) m es una medida exterior.
(b) m es invariante por traslaciones, es decir, m(a + A) = m(A) para
todo a R y todo A R. Aqu a + A := {a + x : x A}.
(c) m es homotetica, es decir, m(A) = ||m(A) para todo R y todo
A R. Aqu A := { + x : x A}.
(d) Si E R es numerable, m (E) = 0.
(e) Si I es un intervalo, m (I) es igual a su longitud.
Demostracion. La monotona de m es evidente, porque si una familia de
intervalos cubre un conjunto B, tambien cubre un subconjunto A B,
y el nfimo decrece a medida que el conjunto crece. Si ahora fijamos un
punto x A y un > 0, entonces la familia de intervalos (Ik ), donde
Ik := [x 2k1 , x + 2k1 ], cubre el conjunto {x}. Como la suma de sus
longitudes es , se tiene m ({x}) para todo > 0, as que m ({x}) = 0.
Por monotona m () = 0. Sea (An ) P(R). Si alg
un m (An ) = +, por
monotona se tiene m ( n An ) = +, luego trivialmente se da la subaditividad numerable. Si m (An ) < + para todo n, fijemos > 0. Por la
propiedad fundamental del nfimo, para cada n existe una sucesion {In,k }k1
de intervalos con
k long (In,k ) < m (Ak ) + 2k . Entonces {In,k }n,k1 es un
76
Luis Bernal Gonz

alez
cubrimiento numerable de n An por intervalos cuya suma de longitudes es

menor que
k m (Ak ) + . Por tanto m ( n An ) <
k m (Ak ) + . Ya que
esto es cierto para todo > 0, se deduce que m ( n An ) k m (Ak ), lo

cual es la subaditividad numerable. As que m es una medida exterior y (a)
esta probado.
Los apartados (b) y (c) se deducen con facilidad de la definicion de medida
exterior y del hecho de que la invariancia por traslaciones y la propiedad de
homotecia se verifican para todo intervalo. El apartado (d) resulta de la
subaditividad numerable y de que m ({x}) = 0 para cada x R, como se
probo en el primer parrafo.
En cuanto a (e), si I es un intervalo, consideramos la familia numerable {I} {Ik }k1 , donde (Ik ) es la familia de intervalos del principio
del primer parrafo (con x cualquiera). Como la suma de sus longitudes es
long (I) + , se tiene que m (I) long (I) + para todo > 0, as que
m (I) long (I). Para la desigualdad contraria, sea (Ik ) una familia de
intervalos que cubren I. Por definicion de medida exterior, basta probar
que k long (Ik ) long (I). Podemos suponer que Ik I sustituyendo Ik
por el intervalo I Ik , de modo que I = k Ik . Haciendo J1 := I1 , J2 :=

k
I2 \ I1 , J3 := I3 \ (I1 I2 ), . . . , cada Jk es un union finita disjunta nj=1
Jn,j
n k
de intervalos Jn,j , y long (Ik )
j=1 long (Jn,j ) para cada k. Entonces
nk
I = k j=1 Jn,j , union numerable disjunta de intervalos. En consecuencia,
nk

k long (Ik )
k
j=1 long (Jn,j ) = long (I).
La aplicacion m definida anteriormente se denomina medida exterior
de Lebesgue. Aunque en un principio parece que m pudiera ser un buen
candidato para representar la medida de los conjuntos de R, recordemos que
el problema de la medida expuesto a principios del tema no tiene solucion
en P(R). Observese que m cumple todas las condiciones de medida salvo
la aditividad numerable [ni siquiera es finitamente aditiva, es decir, no se
MEDIDA DE LEBESGUE
77
cumple que m (A B) = m (A) + m (B) para todo par A, B R con

A B = ]. El problema no radica en la definicion de m , sino en que existen
conjuntos que no se pueden medir.
Restringiendo convenientemente la familia de subconjuntos de R, podemos obtener una medida. Lo vamos a hacer mediante el procedimiento de
Caratheodory, que admite bastante generalidad.
Teorema 6.3.2. [Teorema de Caratheodory] Sea una medida exterior
sobre un conjunto X. Consideremos la familia
M = {M X : (A) = (A M ) + (A M c ) A X}.
Se verifica:
(a) M es una -algebra sobre X.
(b) La aplicacion := |M es una medida sobre M.
(c) La medida es completa. Adem
as, si (M ) = 0, entonces M M.
La familia M definida anteriormente se denomina la -algebra de los
conjuntos medibles-Caratheodory relativos a la medida exterior .
Demostracion del Teorema 6.3.2. Ya que () = 0, se tiene que M. Ya
que la definicion 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 ),
78
Luis Bernal Gonz

alez
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
(A) =
(A Mj ) + A
p
(
Mj
)c )
[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
Mn ). Por [1], si A X, resulta que, para todo n N,

es tambien
n=1
(A) =
(A Mj ) + A
n
(
j=1
Mj
)c )
j=1
(A Mj ) + A
j=1
Mj
)c )
j=1
lo que implica que
(A)
(A Mj ) + A
j=1
Mj
)c )
j=1
Mj
))
+ A
j=1
Mj
)c )
(A),
j=1
donde hemos usado dos veces la subaditividad. Por tanto,
(A) = A
(
j=1
Mj
))
+ A
(
j=1
Mj
)c )
para todo A X,
MEDIDA DE LEBESGUE
de donde deducimos que
79
Mn M. Hemos probado que M es una -
n=1
algebra, lo cual es (a).

Para (b), denotemos := |M . Entonces () = () = 0. En cuanto a
la aditividad numerable de , tomemos Mn M (n N) dos a dos disjuntos.
Mn en el razonamiento anterior, obtenemos todas las

Haciendo A =
n=1
desigualdades deben ser igualdades que
(
n=1
Mn =
n=1
(Mn ) + () =
(Mn ).
n=1
Probemos (c). Si M X y (M ) = 0, entonces M M. En efecto,

si A X, entonces A M M , luego (A M ) = 0, as que (A)
(A \ M ) + 0 por subaditividad, mientras que (A) (A \ M ) por
monotona. Resta probar que es completa, pero esto resulta de la propiedad
que se acaba de demostrar y de la monotona de .
Definici
on 6.3.3. Un conjunto E R se dice medible Lebesgue si es medibleCaratheodory respecto de la medida exterior de Lebesgue m , es decir, si
verifica m (A) = m (A E) + m(A E c ) para todo A R.
Denotaremos por L la -algebra de los subconjuntos medibles Lebesgue
de R. Se denomina medida de Lebesgue a la aplicacion m : L [0, +] dada
por m := m |L .
Hemos resuelto pues el problema de la medida en R planteado al principio. En efecto, por el teorema de Caratheodory, m es una medida sobre
L. Ademas, ya que m proviene de m , se tiene la propiedad de invariancia por traslaciones y la propiedad de homotecia: m( + A) = m(A) y
m(A) = ||m(A) para todo A L y todo A. Se deja como ejercicio probar que los conjuntos + A y A son medibles Lebesgue siempre
que A lo sea. De paso, obtenemos que m es una medida completa y que cada
conjunto E R numerable es medible Lebesgue con m(E) = 0. Tambien,
A L si m (A) = 0.
80
Luis Bernal Gonz

alez
6.4.
Conjuntos medibles Lebesgue
En la seccion anterior hemos resuelto el problema de la medida, al

restringir la familia de conjuntos que se pueden medir. En este punto, sera
muy interesante probar que existen muchos conjuntos medibles Lebesgue. En
particular, vamos a ver que la mayora de los conjuntos usuales son medibles
Lebesgue. Recordemos que un subconjunto de un espacio topologico se dice
que es cerrado cuando su complementario es abierto, que es un F si es
union numerable de cerrados, y que es un G si es interseccion numerable
de abiertos.
Teorema 6.4.1. Todo abierto, todo cerrado, todo subconjunto F , todo subconjunto G , todo intervalo y todo subconjunto compacto de R es medible
Lebesgue. La medida de Lebesgue de un intervalo coincide con su longitud
y la medida de un compacto es finita. Adem
as, la medida de Lebesgue es
completa y -finita.
Demostracion. Supongamos probado que cada intervalo abierto y acotado
I = (a, b), con < a < b < +, es medible. Como cada abierto de
R es union numerable de intervalos del tipo anterior y L es una -algebra,
tendramos que todo abierto es medible. Usando de nuevo que L es una algebra obtenemos que cada conjunto de los dados en el enunciado es medible
(recordar que cada compacto es cerrado). Ya sabemos que la medida exterior
de un intervalo coincide con su longitud. Al ser cada intervalo un conjunto
medible, tambien es igual a su medida. Como cada compacto esta acotado,
esta contenido en un intervalo acotado, y por monotona se concluye que su
medida es finita. Ya se vio antes que m es completa. Que m es -finita se
deduce de que podemos expresar R como la union numerable R = n [n, n],

de modo que m([n, n]) = long ([n, n]) = 2n < + para cada n.
Nuestra tarea se reduce, por tanto, a demostrar que cada intervalo abierto
MEDIDA DE LEBESGUE
81
y acotado I esta en L. Para ello, fijemos A R. Por subaditividad es cierto

que m (A) m(A I) + m (A I c ), y la desigualdad inversa es trivial si
m (A) = +. As pues, suponemos m (A) < + y se ha de probar que
m(A I) + m (A I c ) m (A).
Con tal fin, fijemos > 0. Por definicion de m existen intervalos In (n =
1, 2, ...), que se pueden suponer abiertos estirandolos levemente, tales que
n long (In ) < m (A) + y A

n In . Necesariamente los In son intervalos
abiertos acotados, y podemos suponer que In I = para todo n, luego
cada uno de estos conjuntos es un intervalo abierto acotado. Cada In se
descompone en la union disjunta de I In con I c In , y este u
ltimo conjunto
es o se descompone en la union de, a lo mas, dos componentes conexas,
digamos Jn y Kn , que son intervalos acotados [los casos I c In = o de una
sola componente conexa son mas faciles de manejar y no se consideraran;
simplemente hacer 0 el sumando correspondiente a la medida exterior o a la
longitud]. Es evidente que {Jn }n1 {Kn }n1 es un cubrimiento por intervalos
de I c A. En consecuencia, m(A I) + m (A I c ) n long (In I) +
n long (In ) < m (A) + . Como esto es

n long (Kn ) =
n long (Jn ) +
cierto para cada > 0, obtenemos la desigualdad deseada.
Ahora podemos establecer el siguiente teorema de caracterizaci

on de conjuntos medibles Lebesgue.
Teorema 6.4.2. Sea A R. Son equivalentes:
(a) A L.
(b) Para cada > 0 existe un subconjunto abierto G R tal que A G
y m (G \ A) < .
(c) A = H \ B, donde H es un G y m (B) = 0.
82
Luis Bernal Gonz

alez
(d) Para cada > 0 existe un subconjunto cerrado F R 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 L. Supongamos que m(A) <
+. Por la definicion de m , existe una sucesion de intervalos {In }
n=1 tal
In y m(A) + 2 >
long (In ). Estirando levemente los lados
que A
n=1
n=1
de cada intervalo In , podemos obtener una sucesion de intervalos abiertos
Jn (n N) tales que Jn In y m (Jn ) < long (In ) + 2n+1

. Llamemos
G :=
Jn . Entonces G es abierto [luego G L y G \ A L], A G y,
n=1
como m(A) < +, se tiene que m (G \ A) = m(G \ A) = m(G) m(A)
long (In ) + 2 <

m (Jn )
n=1 2n+1 + 2 = .
n=1
n=1
Si fuese m(A) = +, existira una sucesion {Aj }

j=1 L tal que m(Aj ) <
Aj . Fijado > 0, existe para cada j N un

+ para todo j y A =
j=1
abierto Gj tal que Aj Gj y m(Gj \ Aj ) < 2j . Sea ahora, por definicion,
G :=
Gj . Entonces G es abierto, A G y G \ A
(Gj \ Aj ), luego
j=1
m (G \ A) = m(G \ A)
m(Gj \ Aj ) <
j=1
j=1
j=1
2j
= .
(b) (c): Para = 1j , elegimos un abierto Gj con A Gj tal que m (Gj \
Gj . Entonces H es un G , H A y m (H \
A) < 1/j. Llamemos H :=
j=1
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 R \ A L y ya se tena [(a) (b)], conseguimos que dado
> 0 podemos encontrar un abierto G tal que R\A G y m(G\(R\A)) < .
En consecuencia, si definimos F := R \ G, resulta que F es cerrado, F A
y m (A \ F ) = m(A \ F ) = m(G \ (R \ A)) < .
(c) (a): Tenemos por hipotesis que A = H \B, con H un G [luego H L]
y m (B) = 0 [luego B L], as que A L.
MEDIDA DE LEBESGUE
83
(e) (a): Similar a la implicacion anterior.

(d) (e): Similar a la implicacion [(b) (c)].
El resultado anterior nos viene a decir que un subconjunto de R es medible

Lebesgue si esta arbitrariamente proximo, en terminos de medida exterior, a
un abierto o a un cerrado. De hecho, se tiene lo siguiente.
Corolario 6.4.3. La medida de Lebesgue m verifica las siguientes propiedades, para todo A L:
(a) m es exteriormente regular, es decir,
m(A) = nf{m(G) : G es abierto y G A}.
(b) m es interiormente regular, es decir,
m(A) = sup{m(K) : K es compacto y K A}.
Demostracion. La propiedad (a) es trivial si m(A) = +, y si m(A) < +
resulta de la igualdad m(G \ A) = m(G) m(A) y de la equivalencia (a)
(b) del teorema anterior. De manera analoga [usando la equivalencia (a)
(d) del teorema anterior] se obtendra que m(A) = sup{m(F ) : F es
cerrado y F A}. Ahora bien, cada cerrado F se puede expresar como
union creciente de compactos, F =

n=1 Kn , tomando por ejemplo Kn =
F [n, n]. Utilizar ahora la Proposicion 6.2.5(e). Los detalles se dejan como
ejercicio.
Notas 6.4.4. 1. Si X es un conjunto no vaco, es facil probar que la interseccion de una familia de -algebras es tambien una -algebra. Si A P(X), se
llama -algebra generada por A a la interseccion de todas las -algebras que
contienen a A. Es claro que es la menor -algebra que contiene a A. Si ahora
X es un espacio topologico y A es la familia de los abiertos, la -algebra
B que genera se conoce como -algebra de Borel de X, y sus conjuntos se
denominan borelianos o conjuntos de Borel. En el caso X = R, se tiene que
84
Luis Bernal Gonz

alez
cada boreliano es medible Lebesgue, pues L es una -algebra que contiene a

los abiertos. Puede probarse que la contencion es estricta, es decir, existen
conjuntos medibles Lebesgue que no son borelianos.
2. Hemos construido la familia de conjuntos medibles Lebesgue y la medida de Lebesgue en R. De manera analoga, con algo mas de complicacion de
notacion, se construye la medida de Lebesgue en cualquier espacio RN , partiendo de los productos I = I1 IN de intervalos reales y sustituyendo
la longitud por el volumen vol (I) := N

k=1 long (Ik ).
6.5.
El conjunto de Cantor
Acabamos el captulo presentando un conjunto especial. Sabemos que

todo conjunto numerable tiene medida de Lebesgue nula. Vamos a ver que
la numerabilidad no es una condicion necesaria para ello.
Consideremos el intervalo F0 = [0, 1] y eliminemos de el el tercio central
abierto (1/3, 2/3). Resulta el conjunto F1 = [0, 1/3] [2/3, 1] F0 . Ahora
eliminamos de este los dos tercios centrales abiertos de los intervalos que lo
componen, resultando as el conjunto F2 = [0, 1/9] [2/9, 1/3] [2/3, 7/9]
[8/9, 1] F1 . Continuemos inductivamente este proceso. Supongamos construido el conjunto Fn y obtengamos el subconjunto Fn+1 Fn obtenido
eliminando de Fn el tercio central abierto de cada uno de los subintervalos
que lo componen. Denotemos C :=

n=0 Fn . A C se le denomina conjunto
de Cantor.
Teorema 6.5.1. El conjunto de Cantor C definido anteriormente es compacto, tiene medida de Lebesgue nula y es no numerable.
Demostracion. Ya que C es interseccion de conjuntos cerrados, es cerrado.
Como C [0, 1], resulta que C es acotado, luego es compacto por el teorema de HeineBorel. En particular, es medible Lebesgue. Por construccion,
MEDIDA DE LEBESGUE
85
cada Fn es union disjunta de 2n intervalos cerrados de amplitud 1/3n , luego

m(Fn ) = (2/3)n . Por monotona y por el hecho de que C Fn para todo n,
se deduce que 0 m(C) (2/3)n para todo n. Haciendo n , resulta
m(C) = 0. En cuanto a la no-numerabilidad, supongase, por reduccion al
absurdo, que C es numerable. Entonces podemos escribir C = {xn }n1 . Como los dos intervalos que componen F1 son disjuntos, al menos uno de ellos,
llamemosle I1 , no contiene a x1 . Dos de los intervalos que forman F2 estan
contenidos en I1 . Al menos uno de esos dos intervalos, al ser disjuntos, no
contiene a x2 . Sea I2 I1 dicho intervalo. De ese modo se va construyendo
una sucesion de intervalos cerrados acotados encajados, que tienen que tener
interseccion A = . Notemos que A n Fn = C. Elijamos x0 A, as que

x0 C. Pero x0 no es ninguno de los elementos xn [y esto es contradiccion]
ya que, por construccion, xn
/ In pero x0 In para todo n.
Ejercicios
1.-
(a) Hallar la medida de Lebesgue del conjunto Q de los n

umeros racionales.
(b) Hallar la medida de Lebesgue del conjunto de los n
umeros irracionales
del intervalo [0, 1].
umeros reales al(c) Hallar la medida de Lebesgue del conjunto de los n
gebraicos, es decir, aquellos n
umeros reales que son solucion de una
ecuacion polinomica con coeficientes enteros.
2.- Sea (X, M, ) un espacio de medida y {An }n1 una sucesion de conjuntos
medibles de X, es decir, {An }n1 M.
(a) Probar que el conjunto A de los elementos de X que pertenecen a
infinitos conjuntos An es medible.
(b) Probar que el conjunto B de los elementos de X que pertenecen a todos
los An salvo a un n
umero finito de ellos es medible.
86
Luis Bernal Gonz

alez
(c) Demostrar que (B) lm inf n (An ).

(d) Demostrar que si m(An ) < entonces (A) lm supn (An ).
(e) Demostrar el lema de BorelCantelli : si

(An ) < entonces
(A) = 0.
3.- Sea A R un conjunto medible Lebesgue de medida positiva. Denotemos
por m la medida de Lebesgue sobre R.
(a) Demostrar la continuidad de la funcion f : x [0, +) 7 m(A
[x, x]).
(b) Probar que para todo (0, m(A)) existe B medible con B A tal
que m(B) = .
4.- Sea f : R R una funcion arbitraria. Llamemos A(f ) al conjunto de puntos
en que f es continua. Para cada n N, denotemos por An la union de todos
los intervalos I de extremos racionales tales que supx,yI |f (x)f (y)| 1/n.
Demostrar que A =
An y concluir que A(f ) es un conjunto de Borel.
n=1
5.- Este ejercicio describe la construccion del conjunto de Vitali.

(a) Consideremos la relacion binaria en [0, 1] dada por x y si y solo si
x y Q. Demostrar que es una relacion de equivalencia.
(b) Sea M [0, 1] un subconjunto que se forma escogiendo exactamente un
representante en cada una de las clases de equivalencia generadas por la
relacion anterior. Sea {r1 , r2 , ..., rn , ...} una enumeracion del conjunto
numerable [1, 1] Q, de modo que ri = rj si i = j. Probar que si
i = j entonces (ri + M ) (rj + M ) = .
(c) Se define V como V =

(rn + M ). Demostrar que [0, 1] V
n=1
[1, 2].
(d) Concluir, por vulneracion de la aditividad numerable, que V no es
medible Lebesgue.
Captulo 7
Integral de Lebesgue
Una vez definida la medida de Lebesgue en R, el objetivo del captulo
sera definir la integral de una funcion de R a R. Lo haremos por etapas, igual
que en el captulo anterior, empezando por las funciones simples y extendiendo la definicion por aproximaciones de estas. Como en la construccion de la
medida vista en el tema anterior, no se podra definir la integral de cualquier
funcion imaginable, sino que sera necesario definir una clase de funciones
a las que se les pueda asignar una integral. Sera la clase de las funciones
medibles. Podemos realizar este proceso de modo mas general, considerando
funciones X R, donde X es el conjunto soporte de un espacio de medida
(X, M, ) completo. Recordemos que la medida m de Lebesgue es completa. En la mayora de las aplicaciones practicas, se considerara un conjunto
medible Lebesgue M R y el espacio de medida inducido (M, LM , |LM ).
7.1.
Funciones simples
Dado un conjunto no vaco X y un subconjunto A X, la funcion

caracterstica de A se define como la funcion A : X R que vale 1 en A y
0 en X \ A. Propiedades elementales son: 0, X 1, A B = AB ,
87
88
Luis Bernal Gonz

alez
X\A = 1 A , {A = 1} = A y {A = 0} = X \ A si A, B X.
Hemos usado y usaremos notaciones conjuntistas como {f }, {f
}, {f = }, {f = g}, { f } y as sucesivamente, donde f, g :
X R y , R. Su significado respectivo es {x X : f (x) },
{x X : f (x) }, {x X : f (x) = }, {x X : f (x) = g(x)} y
{x X : f (x) }.
La idea es definir la integral de la funcion caracterstica de un conjun
to medible A como X A d = m(A) y extenderla, primero por linealidad
y despues por aproximacion de combinaciones lineales de funciones caractersticas. Esto lleva al concepto de funcion simple.
Definici
on 7.1.1. Sea (X, M) un espacio medible y : X R. Se dice que
es una funcion simple si toma un n
umero finito de valores. Diremos que
f es una funcion simple medible si ademas los toma en conjuntos medibles,
es decir, f es simple medible si (X) es finito y {f = } M para cada
(X).
De la definicion se deduce que es simple (simple medible, resp.) si y
solo si existen 1 , ..., am R y A1 , ..., Am X (A1 , ..., Am M, resp.) dos
a dos disjuntos tales que
=
m
ai Ai .
i=1
Ai = R, ya que puede a
nadirse un suman)
( m
do mas tomando a0 = 0 y A0 = R \
i=1 Ai .
Puede suponerse ademas que
i=1
Una propiedad elemental es que si A X y es simple, con =

m
m
a
,
entonces
=
i
A
A
i
i=1 ai Ai A . Si A es medible, entonces A
i=1
es medible, en cuyo caso A es simple medible Tambien es facil ver que
las funciones simples, as como las simples medibles, constituyen un espacio
n
vectorial. En efecto, si = m
j=1 bj Bj son simples con
i=1 ai Ai y =
INTEGRAL DE LEBESGUE
m
i=1
Ai = R =
j=1
m
89
Bj , y R, entonces
ai Ai
y + =
i=1
7.2.
m
n
(ai + bj )Ai Bj .
i=1 j=1
Funciones medibles
Para definir la integral de una funcion f , la idea es aproximarla por

m
funciones simples medibles del tipo
i=1 ai {ai f ai +} . Por tanto, es necesario que los conjuntos {ai f ai +} sean medibles. Esto nos lleva al
concepto de funcion medible. Conviene recordar cuales son los subconjuntos
abiertos de R, ver Nota 6.2.4.
Definici
on 7.2.1. Sea (X, M) un espacio medible y f : X R. Decimos
que f es una funcion medible cuando f 1 (G) M para todo subconjunto
abierto G de R. En el caso en que (X, M) = (M, LM ), donde M L,
diremos que f es una funci
on medible Lebesgue.
Proposici
on 7.2.2. Sea (X, M) un espacio medible y f : X R. Las
siguientes propiedades son equivalentes:
(a) La funcion f es medible.
(b) Para todo a R, {f < a} M.
(c) Para todo a R, {f a} M.
(d) Para todo a R, {f > a} M.
(e) Para todo a R, {f a} M.
Demostracion. Como M es una -algebra, un subconjunto A de X esta en
M si y solo si lo esta Ac . Se deduce que (b) y (e) son equivalentes y que (c)
y (d) son equivalentes. Fijemos a R. Si elegimos una sucesion (an ) R
estrictamente decreciente con an a, se tiene que {f a} = n {f < an }.

Si (b) es cierto, de ser M una -algebra se deduce que {f a} M,
as que (b) implica (c). Que (d) implica (e) es analogo: basta elegir cualquier
90
Luis Bernal Gonz

alez
sucesion (bn ) R estrictamente creciente con bn a y tener en cuenta que
{f a} = n {f > an }. Por tanto las 4 propiedades (b)(e) son equivalentes.

Supongamos ahora que (a) se cumple. Entonces cada conjunto G = (a, +]
es abierto en R, luego {f < a} = f 1 (G) M. As que (a) implica (b).
Finalmente, teniendo en cuenta la estructura de los abiertos de R junto con
el hecho de que cada abierto G de R es union numerable de intervalos abiertos
(an , bn ), de ser M una -algebra se deduce que (b) conjuntamente con (d)
implica (a) [notar que (b) y (d) pueden usarse conjuntamente, ya que son
equivalentes; se deduce en particular que f 1 ((an , bn )) = {f > an } {f <
an } M]. Se ha usado tambien que la operacion de tomar preimagenes
respeta las operaciones de union e interseccion de conjuntos.
Demos algunos ejemplos. La funcion caracterstica A es medible si y

solo si A M. Si es simple, es facil ver que es medible en el sentido de
la definicion anterior si y solo si lo es en el sentido de la Definicion 7.1.1. Si
A1 , ..., Am son medibles y a1 , ..., an R entonces la funcion simple m

i=1 ai Ai
es medible. Toda funcion continua f : R R es medible Lebesgue. De la
proposicion anterior tambien se deduce que si f : X R es medible y
a R entonces el conjunto {f = a} es medible. En el siguiente teorema
agrupamos ejemplos mas generales, que incluyen propiedades operacionales
de las funciones medibles.
Teorema 7.2.3. Supongamos que (X, M) es un espacio medible.
(a) Si f, g : X R son medibles y R, entonces las funciones f ,
f g, f + g y f /g son medibles. Para el cociente se supone que f y g
no son simultaneamente nulas en ning
un punto.
(b) Si f : X R es medible y g : R R es continua, entonces g f es
medible.
91
(c) Si f, g, fn : X R (n 1) son medibles, entonces las funciones max{f, g}, max{f, g}, f + , f , |f |, supn fn , nf n fn , lm supn fn
y lm inf n fn son medibles.
(d) Si f : X R es medible, A M y sobre A se considera el espacio
medible inducido (A, MA ), la restricci
on f |A : A R es medible.
(e) Si fn : X R (n 1) son medibles, el conjunto L := {x X :
lmn fn (x) R} es medible. Adem
as, si sobre L se considera el espacio medible inducido, la funcion f : L R dada por f (x) = lmn fn (x)
es medible.
Demostracion. (a) Partimos de que f y g son medibles. Sea R. Que f
es medible se prueba facilmente usando la Proposicion 7.2.2 y distinguiendo
los casos = 0, > 0, < 0. Fijado R, se tiene que + f es medible
si lo es f . En efecto, usando de nuevo la Proposicion 7.2.2 y fijando a R,
resulta que { + f < a} = {f < a } M, y se obtiene lo deseado.
Por otra parte, se tiene que g = (1)g es medible y, por lo anterior, g
tambien es medible. Si ahora fijamos a R, obtenemos que {f + g < a} =
{f < ag} =
on
n=1 ({f < qn }{qn < ag}), donde (qn ) es una enumeraci
de los elementos de Q [se ha usado que Q es denso en R]. La u
ltima union es
medible porque M es una -algebra, de donde f + g es medible. Probemos
ahora que f 2 es medible. Si a 0 entonces {f 2 < a} = M. Si a > 0,
resulta que {f 2 < a} = {f < a} {f > a} M. As que f 2 es medible.
Observemos ahora que f g = (1/2)((f +g)2 f 2 g 2 ). Uniendo los resultados
anteriores, f g es medible. En cuanto al cociente, si a 0, tenemos que
{1/f > a} = {f > 0} {f < 1/a} M, mientras que si a < 0 resulta que
{1/f > a} = {f > 0} {f < 1/a} M. Por la Proposicion 7.2.2, 1/f es
medible. Luego f /g = (1/f ) g es medible.
(b) Sea G un abierto de R. Como g es continua, g 1 (G) es abierto en R y,
92
Luis Bernal Gonz

alez
ya que f es medible, f 1 (g 1 (G)) M. Pero f 1 (g 1 (G)) = (g f )1 (G).

As que g f es medible.
(c) Llamemos F := supn fn y G := nf n fn . Si a R, tenemos que {F
a} = n {fn a} M porque cada fn es medible y M es una -algebra.
As que F es medible. De la igualdad {G a} = n {fn a} se deduce

analogamente que G es medible. Haciendo f1 = f , f2 = g, f3 = f , f4 = g, . . .
resulta como caso particular que max{f, g} y max{f, g} son medibles. Ya
que f es medible y se tiene |f | = max{f, f }, f + = max{f, 0} y f =
max{f, 0}, inferimos la medibilidad de estas tres funciones. Recordando
que lm supn fn = nf n supkn fk y lm inf n fn = supn nf kn fn , concluimos
que lm supn fn y lm inf n fn son asimismo medibles.
(d) Si G es un abierto de R entonces (f |A )1 (G) = A f 1 (G), que es un
conjunto medible porque A y f 1 (G) lo son.
(e) Bajo las hipotesis del enunciado, si llamamos = lm supn fn y =
lm inf n fn , se tiene que L = [1 (R) 1 (R) { = 0}] [{ =
+} { = +}] [{ = } { = }]. Este es un conjunto medible
porque y son medibles y M es una -algebra. Por u
ltimo, f = |L . Se
deduce de (d) que f es medible.
El u
ltimo resultado de esta seccion muestra que las funciones medibles
son aquellas que pueden ser aproximadas por funciones simples medibles.
Teorema 7.2.4. [Teorema de aproximacion por funciones simples]
(a) Sea (X, M) un espacio medible y f : X [0, +] medible. Entonces
existe una sucesion n ) de funciones simples medibles tales que 0
n (x) n+1 (x) f (x) para todo x X y todo n N, de modo que
lm n (x) = f (x) para todo x X.
(b) Sea (X, M) un espacio medible y f : X R medible. Entonces existe

una sucesion (n ) de funciones simples medibles tales que |n (x)|
93
|f (x)| para todo x X y todo n N, de modo que lm n (x) = f (x)

n
para todo x X. Si f es acotada, la convergencia puede conseguirse

uniforme.
Demostracion. Supuesto probado (a), la parte (b) es inmediata. En efecto:
f = f + f con f + , f : X [0, +] medibles. Entonces existen n , n
(n N) simples y medibles de X en [0, +] tales que n (x) f + (x) y
n (x) f (x) para todo x X. Luego {n n }
on de
n=1 es una sucesi
funciones simples y medibles tales que n (x) n (x) f (x) (n ) para
todo x X. La desigualdad |n (x)| |f (x)| y la parte de la convergencia
uniforme se deduce de la prueba de (a), donde se vera esta propiedad de
convergencia uniforme en el caso de f 0 con f acotada. Basta observar que
si f : X R es acotada, entonces f = f + f con f + y f acotadas.
Probemos (a). Sea f 0 y medible. Entonces los conjuntos En,i :=
, i )) (1 i n2n , n N) y Fn := f 1 ([n, +]) (n N) son
f 1 ([ i1
2n 2n
medibles, al serlo f . Se deduce que, para cada n N, la funcion
n2
i1
n
n :=
i=1
2n
En,i + nFn
es no negativa, simple y medible.

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

{n (x)}n1 es creciente para cada x X.
Si f (x) n + 1 entonces n (x) = n n + 1 = n+1 (x).
94
Luis Bernal Gonz

alez
Si n f (x) < n + 1 entonces n (x) = n y n+1 (x) =

i {1, . . . , (n + 1)2n+1 } es tal que
n <
i
,
2n+1
i1
2n+1
f (x) <
i1
,
2n+1
i
.
2n+1
donde
Por tanto
luego n2n+1 < i. Se deduce que n2n+1 i 1, as que
n (x) = n
i1
2n+1
= n+1 (x).
Si f (x) < n, se tiene que f (x) < n + 1, luego existe i {1, . . . , n2n }
y existe j {1, . . . , (n + 1)2n+1 } tales que
f (x) <
j
,
2n+1
i1
2n
f (x) <
i
2n
j1
2n+1
i1
y n+1 (x) = 2j1
n+1 . Pero de las
2n
j
< 2n+1
, luego 2(i 1) < j,
obtenemos que i1
2n
i1
y por tanto n (x) = 2n 2j1
n+1 = n+1 (x).
de donde resulta n (x) =
desigualdades anteriores
as que 2(i 1) j 1,
En todos los casos obtenemos que n (x) n+1 (x).

Por u
ltimo, probemos que lm n (x) = f (x) para todo x X.
n
Si f (x) = +, entonces n (x) = n para todo n N, de donde

lm n (x) = f (x).
Si f (x) < +, existe n0 N tal que f (x) < n0 , luego, para todo n
n0 , se tiene que n (x) =
in 1
2n
f (x) <
in
2n
con in {1, . . . , n2n }. Esto
implica que |n (x) f (x)| = f (x) n (x) <
1
2n
0. En consecuencia,
n (x) f (x) (n ).
Notemos finalmente que, si f es acotada, el n0 obtenido anteriormente no
depende de x, con lo que tendramos que, para todo n n0 , sup |n (x)
f (x)|
7.3.
1
2n
0, de donde obtenemos la convergencia uniforme.
xX
Integral de Lebesgue de funciones no negativas
Nuestro objetivo es definir la integral de Lebesgue de una funcion medible. De aqu en adelante, e incluyendo el Captulo 8, vamos a considerar
95
un espacio de medida completo (X, M, ).

Comenzaremos por las funciones medibles y no negativas, y dentro de
estas por las funciones simples. Si A es un conjunto medible, es natural
definir A A d = (A). Extendemos la definicion por linealidad.

Definici
on 7.3.1. Dada una funcion simple medible no negativa : X
[0, +), de modo que = m

i=1 ai Ai , con ai [0, +) y Ai conjuntos
medibles dos a dos disjuntos, se define la integral de Lebesgue de sobre
X respecto de como
d =
X
ai (Ai ).
i=1
Notese que la integral de es un n

umero de [0, +]. Si para alg
un i es
ai > 0 y (Ai ) = +, entonces X d = +. Se toma la convencion de

que 0 (+) = 0, de modo que si para alg
un i es ai = 0 y (Ai ) = +,
se entiende que el sumando correspondiente es ai (Ai ) = 0.
La definicion dada no depende de la representacion usada de como
combinacion lineal de funciones caractersticas de conjuntos dos a dos disjuntos. Definimos ahora la integral sobre un conjunto medible.
Definici
on 7.3.2. Si es una funcion simple medible no negativa como en
la definicion anterior y A M, se define la integral de Lebesgue de sobre
A como
A =
d =
A
ai (Ai A).
i=1
Reunimos algunas propiedades en la siguiente proposicion. Su prueba es

sencilla a partir de la definicion, por lo que se deja como ejercicio. Baste decir
que para demostrar la segunda parte de (a) puede usarse la representacion
de + dada al final de la seccion 7.1.
Proposici
on 7.3.3. Sean 0 y , funciones simples medibles no negativas. Se tiene:
96
Luis Bernal Gonz

alez
d
y
(
+
)
d
=
d
+
d.
X
X
X
X
(b) Si entonces X d X d.
(c) Si A M con (A) = 0 entonces A d = 0.
(d) La aplicacion : E M 7 E d [0, +] es una medida positiva,

on (En ) de
es decir, En d =
n En d para toda sucesi
(a)
( ) d =
X
conjuntos medibles y disjuntos dos a dos.

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

f d = sup
X
Si A M, la integral de f sobre A se define como
f d =
f A d.
El supremo de la definicion anterior se entiende perteneciente a [0, +],

de modo que siempre existe: es un n
umero real 0 si el conjunto esta acotado
superiormente, y + si no lo esta. Observemos tambien que la definicion de
integral es consistente con la dada en el caso en que f sea simple y medible.
7.4.
Propiedades de la integral de funciones

no negativas
Reunimos las principales propiedades en la siguiente proposicion.

Proposici
on 7.4.1. Sean f, g : X [0, +] medibles, A, B M y 0.
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 d = X f d.
(d) X (f + g) d = X f d + X g d.
(e) Si o bien f 0 en A o bien (A) = 0, entonces
(f) Si (A) = 0 entonces X f d = X\A f d.
97
f d = 0.
Demostracion. El apartado (a) es evidente a partir de la definicion, porque

si es simple y medible y 0 f entonces 0 g.
El apartado (b) resulta de (a) y del hecho de que f A f B si A B.
Si = 0, la propiedad dada en (c) se cumple trivialmente. Si > 0, el
resultado sale de la definicion de integral, de que X d = X d si

es simple, medible y 0, y del hecho de que, si C [0, +], entonces
sup (C) = sup C.
Probemos (d). Existen dos sucesiones crecientes (fn ) y (gn ) de funciones
simples, medibles y no negativas tales que fn f y gn g puntualmente.
As que fn + gn f + g puntualmente. Por el teorema de la convergencia
monotona para funciones medibles no negativas [Teorema 8.1.1(a), que se
demostrara independientemente] y por la aditividad de la integral de este
tipo de funciones, resulta que X (f + g) d = lmn X (fn + gn ) d =
lmn X fn d + lmn X gn d = X f d + X g d, como se requera.
En cuanto a (e), si f = 0 en A entonces A f d = X f A d = X 0 d =

0, mientras que la segunda parte de (e) se deduce de la definicion de integral
y de la Proposicion 7.3.3 (c). Finalmente, para probar (f), descomponer f =
f A + f X\A y usar (d).
7.5.
Conjuntos de medida nula
Las propiedades (e) y (f) de la proposicion anterior nos vienen a decir

que los conjuntos de medida nula son despreciables para la integracion.
98
Luis Bernal Gonz

alez
Observando esta propiedad, tenemos que si Z M, con (Z) = 0, y f :

X \ Z [0, +] es medible (considerando en X \ Z el espacio de medida
inducido), podramos definir X f d := X F d, donde F : X [0, +]

es la funcion dada por F (x) := f (x) si x X \ Z y F (x) := 0 si x Z.
Esto sugiere que es importante estudiar mas detenidamente los conjuntos de
medida nula en relacion con la integracion.
Definici
on 7.5.1. Sea (X, M, ) un espacio de medida completo y P () una
propiedad definida sobre los elementos de X. Si A M, se dice que P se
verifica en casi todo A (e.c.t. A, o bien e.c.t. x A) cuando el conjunto
N := {x A : P (x) no se verifica} M y (N ) = 0.
Por ejemplo, la expresion f = g en casi todo X significa que el conjunto
{x X : f (x) = g(x)} es medible y que su medida es nula. En tal caso
tambien 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 puntual e.c.t. Ademas la integral no vara por -equivalencias.
Proposici
on 7.5.2.
(a) Si f, g : X R son tales que f es medible y
f = g e.c.t., entonces g es tambien medible.

(b) Si fn , f : X R (n = 1, 2, ...) son tales que cada fn es medible y
lm fn (x) = f (x) e.c.t. X, entonces f es medible.
(c) Si f, g : X [0, +] son medibles e iguales e.c.t. X, entonces
g d.
X
f d =
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.
99
(b) Llamemos N = {x X : fn (x) 9 f (x)}. Entonces N M y (N ) = 0.

Denotemos g(x) := lm supn fn (x). Sabemos que g es medible. Por otra
parte, 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 e.c.t. De (a) se deduce que f es medible.
(c) Descomponer f = f N + f N c , donde N = {x X : f (x) = g(x)}.
Cuando se defina la integral para toda funcion medible, se vera que el

apartado (c) es tambien valido.
Corolario 7.5.3. Si f : R R es una funcion continua salvo en los puntos
de un conjunto de medida de Lebesgue nula, entonces f es medible Lebesgue.
El siguiente resultado auxiliar es interesante por s mismo y tendra importantes consecuencias.
Lema 7.5.4. [Desigualdad de Chebyshev] Si a (0, +) y f : X
1
[0, +] es medible, entonces ({f a})
f d.
a X
Demostracion. Pruebese que a {f a} f e integrese.
Corolario 7.5.5. Sean f : X [0, +] una funcion medible y A M.
(a) Si A f d = 0, entonces f (x) = 0 e.c.t. x A.

(b) Si
f d < + entonces f (x) < + e.c.t. x A.
Demostracion. (a) El conjunto N := {x A : f (x) = 0} es medible. Hemos
de probar que (N ) = 0. Notemos que N = {x A : f (x) > 0} =

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

un
m N tal que ({x A : f (x) m1 }) > 0. Por la desigualdad de Chebyshev,
se iene 0 < m A f d. Por tanto A f d > 0, lo cual es una contradiccion.

(b) 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}.
n=1
100
Luis Bernal Gonz

alez
Por la desigualdad de Chebyshev, ({x A : f (x) n})
1
n
f d 0
(n ). Entonces, ya que cada conjunto {x A : f (x) n} tiene medida

finita y la interseccion anterior es decreciente, se obtiene de la Proposicion
6.2.5 (f) que (N ) = lm ({x A : f (x) n}) = 0.
n
7.6.
Integral de Lebesgue de funciones medibles
Consideramos ahora el caso de una funcion medible general. Para ello,

consideraremos sus partes positiva y negativa. Recordemos que estamos suponiendo que las funciones estan definidas en un espacio de medida completo
(X, M, ).
Definici
on 7.6.1. Sea f : X R medible. Se dice que f es integrable
Lebesgue sobre X cuando ambas integrales X f + d e X f d son finitas.

En tal caso, se define la integral de f en X como el n
umero real
f d :=
f + d
f d.
X
Si A M, se dice que f es integrable Lebesgue sobre A cuando f A

es integrable sobre X, en cuyo caso la integral de f en A es por definicion
f
d
:=
f A d.
A
X
Notese que, ya que f + = f y f = 0 si f 0, la definicion de integral es consistente con la dada para funciones no negativas. Se denotara por
L1 (, X), o bien por L1 (X) si no hay confusion en la medida, el conjunto
de las funciones integrables sobre X respecto de . Si A M, por L1 (A)
denotaremos el conjunto de las funciones integrables sobre A. En el caso de
una de las dos integrales X f + d o X f d sea finita y la otra no, se

puede definir la integral como o +; en ese caso, f no es integrable,
aunque existe la integral.
101
Reunimos en la proposicion que viene a continuacion las propiedades operacionales basicas de la integral de Lebesgue.
Proposici
on 7.6.2.
(a) Si f integrable en X y A M entonces f es
integrable en A.
(b) Si f L1 (X), entonces f es finita e.c.t. X.
(c) Si f = 0 e.c.t. A o si (A) = 0, entonces
f d = 0. En consecuen-
cia, si f y g son funciones medibles -equivalentes, entonces si una
de ellas es integrable en X, la otra lo es y X f d = X g d.

(d) L1 (X) es un espacio vectorial. Especficamente, si f, g L1 (X) y
, R, entonces f + g L1 (X) y ademas
(f + g) d = X f d + X g d.
X
(e) Si A y B son medibles y disjuntos y f es integrable en X, entonces
f d = A f d + B d.
AB
(f) Si f y g son integrables en X y f g e.c.t. X, entonces
f
d
g d.
X
X
(g) Si f, g L1 (X) entonces max{f, g}, mn{f, g} L1 (X).
(h) Si f L1 (X) y
f d = 0 para todo A M, entonces f = 0
e.c.t. X.
Demostracion. Las propiedades (a), (b) y (c) son ciertas para funciones medibles no negativas. Considerando que f = f + f , (a), (b) y (c) se demuestran
sin dificultad para cualquier funcion medible f .
En (d), observar que f + g esta definida e.c.t. X, y por (c) se puede definir como 0 por ejemplo en el conjunto de medida nula donde no
esta definida. Que f + g y f son integrables si f y g lo son y 0, as como las correspondientes igualdades integrales, son validas para f + y f . Si
102
Luis Bernal Gonz

alez
< 0, es inmediato ver que es integrable para toda 0 integrable, y
que X d = X d. Aplicandolo a = f + , f y combinando estos

resultados, se obtiene (d).
El apartado (e) resulta de aplicar (d) a la descomposicion f AB =
f A + f B .
En cuanto a (f), se tiene por (a) que g f es real y 0 e.c.t. X, y de
nuevo por (c) podemos suponer que g f 0 en todo X. As que g f
es una funcion integrable [por (d)] y no negativa, luego X (g f ) d 0.

Aplicando (d) [con = 1 y = 1], se deduce la desigualdad deseada.
Para (g), partimos de que f, g L1 (X). Entonces F := max{f, g} y
G := mn{f, g} son medibles y sus partes positivas y negativas cumplen
F + , F , G+ , G f + + f + g + + g . Pero las integrales de cada una de las
funciones f + , f , g + , g es finita, luego la integral de su suma tambien lo es.
Por tanto, la integral de cada de las funciones F + , F , G+ , G es finita. Esto
prueba la integrabilidad de F y G.
Finalmente, (h) se deduce del Corolario 7.5.5(a) aplicado a los pares
(f + , A = {f (x) 0}), (f , A = {f (x) 0}).
El siguiente resultado es muy u

til en la teora y en la practica, ya que
reduce la integrabilidad de una funcion medible al hallazgo de una mayorante positiva integrable. La afirmacion es falsa para integrales impropias. Por
ejemplo, la funcion senx x es integrable Riemann impropiamente en (0, +),

pero sen x no lo es.
x
Teorema 7.6.3. Sea f : X R. Son equivalentes:

(a) f L1 (X).
(b) f es medible y |f | L1 (X).
(c) f es medible y existe g L1 (X) con g(x) 0 y |f (x)| g(x)
e.c.t. x X.
103
Si se da cualquiera de las propiedades anteriores, se verifica

+

f d
|f | d =
f d +
f d.
X
En particular, cada funcion medible y acotada f : X R es integrable en

cada conjunto medible A de medida finita, de modo que

f d (A) sup |f |,
A
y las funciones continuas R R son integrables respecto de la medida de

Lebesgue m en cada subconjunto compacto de R.
Demostraci
on. La igualdad y las desigualdades finales resultan de las definiciones, de la proposicion anterior, de que |f |A supA |f |A y de los hechos
de que toda funcion continua R R es medible Lebesgue, es acotada en
cada compacto, y cada compacto de R tiene medida m finita.
Probemos ahora que (a), (b) y (c) son equivalentes. Si partimos de (a),
tenemos que f es medible y f + y f son integrables. Como |f | = f + + f ,
de la proposicion anterior se deduce que |f | es integrable, y esto nos da (b).
Que (b) implica (c) es trivial sin mas que tomar g = |f |. Por u
ltimo, si
partimos de (c), tenemos por hipotesis que f es medible. As que f + y f +
son medibles y positivas. Ademas f + , f ge en X, donde ge es la funcion
definida como ge = g en X \ Z y ge = |f | en Z, siendo Z es el conjunto de
medida nula donde g(x) < |f (x)|. Entonces ge es medible, no negativa, y
ge d = X g d [pues ge = g e.c.t.]. Se deduce que X f + d y X f + d

X
son tambien finitas, y ya tenemos (a).
Por razones que apareceran claras en el proximo captulo, se conservara la
notacion A f (x) dx para la integral de Lebesgue de una funcion medible f

b
en un conjunto medible A, y a f (x) dx para la integral de Lebesgue de f
en un intervalo de extremos a y b.
104
Luis Bernal Gonz

alez
Ejercicios
1.- Probar con detalle la Proposicion 7.3.3 y el Corolario 7.5.3.
2.- Demostrar que si f : R R es continua y transforma conjuntos de medida
nula en conjuntos de medida nula, entonces f transforma conjuntos medibles
en conjuntos medibles. Indicaci
on: usar el Teorema 6.4.2 [(a) (e)].
3.- Sea f : R R definida por f (x) = 0 si x Qc y f (x) = 1/q si x = p/q,
donde q > 0 y la fraccion p/q es irreducible. Probar que f es medible y hallar
una sucesion de funciones simples que tienda puntualmente a f .
4.- Pruebese que cada funcion f : R R monotona es medible.
5.- Sea (X, M) un espacio medible. Pruebese que una funcion f : X R es
medible si y solo solo si se verifica cualquiera de las propiedades (b)(e) de
la Proposicion 7.2.2 en las que se sustituye para todo a R por para
todo a Q. Indicaci
on: para cada a R existen sucesiones (bn ) y (cn ) de
n
umeros racionales con bn < a < cn para todo n y bn a cn .
5.- Decidir razonadamente si las funciones siguientes son integrables-Lebesgue
o no, en los conjuntos que se indican:
(a)
1cos x
x(1+x2 )
(b)
xarctan x
1+x2
en [1, +).
(c)
log(1+x2 )
x 1x2
en (0, 1).
en (0, +).
(d) ex log x en (0, +).

2
(e)
sen x
x
en (0, +).
6.- Sea (An ) una sucesion de subconjuntos de R. Definimos f :=
n=1
10n
. Pro-
bar que f es medible si y solo si los conjuntos An son medibles.

Indicaci
on: considerar primero el caso en que los An son dos a dos disjuntos.
105
7.- Sea f : R R una funcion medible. El soporte de f se define como {x

R : f (x) = 0}.
(a) Probar que f es integrable-Lebesgue si y solo si
2n m({x R : 2n < |f (x)| 2n+1 }) < .

n=
(b) Probar que si el soporte de f tiene medida finita, entonces f es inte
grable Lebesgue si y solo si

2n m({x R : |f (x)| > 2n }) < .
n=1
8.- Sea f una funcion integrable-Lebesgue en R y no negativa. Si A R es un
conjunto medible-Lebesgue, definimos f (A) := A f (x) dx.

(a) Demostrar que f es una medida sobre los conjuntos medibles-Lebesgue
de R.
(b) Si f (x) =
1
1+x2
y A = {x R : x3 + 3x 3x2 + 1}, calcular f (A).
Indicaci
on: Para el apartado (b), u
sese el hecho de que si una funcion 0 es
integrable Riemann impropiamente en un intervalo I entonces es integrable
Lebesgue respecto de m y ambas integrales coinciden (ver Captulo 8).
9.- Sea : [0, +) [0, +] con (0) = 0. Se define la funcion
: y [0, +) 7 sup{xy (x) : x 0}.
(a) Probar que es medible viendo que cada conjunto 1 ((a, +)) es
abierto.
(b) Probar que se cumple xy (x) + (y) para todo x, y [0, +).
(c) Hallar para (x) = xp /p, con 1 < p < +.
10.- Sea f : R R una funcion medible y acotada, y llamemos g(x) := sup{f (t) :
t > x} para cada x R.
(a) Probar que g es medible.
(b) Demostrar que el conjunto A := {x R : t > x con f (t) > f (x)} es
medible.
106
Luis Bernal Gonz

alez
11.- Sean (X, M, ) un espacio de medida completo y f, g : X (0, +)
dos funciones medibles. Demuestrese que
4x2
pruebese que
dx 2( 3 1).
4
R x +3
X f /g d
({f g})
1. Como aplicacion,
12.- Supongamos que f : [a, b] R es una funcion acotada. Para cada > 0,
se consideran las funciones f , f : [a, b] R, llamadas funci
on superior y
funci
on inferior de f , dadas respectivamente por
f (x) := lm sup{f (y) : y [a, b] [x , x + ]} y
0+
f (x) := lm nf{f (y) : y [a, b] [x , x + ]}.

0+
(a) Probar que f y f estan bien definidas y que, de hecho, se puede

sustituir lm0+ en su definicion por nf >0 y sup>0 , respectivamente.
(b) Demostrar que f (x) f (x) f (x) para todo x [a, b].
(c) Fijados R y x0 {f < }, demostrar que existe > 0 tal que
[a, b] (x0 , x0 + ) {f < }.
(d) Deducir de (b) que f es medible Lebesgue.
(e) De manera analoga, considerando conjuntos de la forma {f > },
demostrar que f es medible.
(f) Fijado x0 [a, b], probar que f es continua en x0 si y solo si f (x0 ) =
f (x0 ), en cuyo caso f (x0 ) = f (x0 ) = f (x0 ).
(g) El conjunto C(f ) de puntos de [a, b] donde f es continua, as como el
conjunto D(f ) de [a, b] donde f es discontinua, son medibles Lebesgue.
(h) Si {Ik,n : k = 1, ..., n} es una particion de [a, b] en n intervalos cerrados
y denotamos n (x) := nk=1 sup{f (y) : y Ik,n }

de longitud ba
n
n
In,k y n (x) :=
nf{f (y) : y Ik,n } In,k demostrar que
k=1
n (x) f (x) y n (x) f (x) e.c.t. x [a, b]. Indicaci
on: la union
en n N de los conjuntos de puntos extremos de los intervalos Ik,n
(k = 1, ..., n) es numerable, y por tanto su medida de Lebesgue es nula.
Captulo 8
Teoremas de convergencia
En este tema veremos los resultados clasicos sobre convergencia de la
integral de Lebesgue. En ellos se muestra como puede deducirse la integrabilidad de una funcion lmite, y como puede calcularse su integral intercambiandola con el lmite. Estos resultados serviran para comparar la integral
de Lebesgue con la de Riemann, y para ver algunas propiedades del espacio
de funciones integrables, entre ellas, la densidad de ciertos subconjuntos de
funciones.
8.1.
Teoremas de convergencia
Recordemos que en todo el captulo las funciones estan definidas sobre

un espacio de medida completo (X, M, ), salvo que especficamente se diga
lo contrario. Comencemos con el teorema de la convergercia monotona de
Beppo Levi. Lo divideremos en dos apartados, el primero de los cuales fue ya
usado en el tema anterior para probar la aditividad de integrales de funciones
medibles no negativas.
Teorema 8.1.1. [Teorema de la convergencia monotona]
Sea fn : X R (n N) una sucesi
on de funciones medibles tales que
107
108
Luis Bernal Gonz

alez
fn (x) fn+1 (x) e.c.t. x X para cada n N. Llamemos f := lm fn =

n
sup fn , definida e.c.t. X. Se tiene:

nN
(a) Si fn 0 para todo n N, entonces lm
n X
fn d =
f d.
(b) Supongamos que fn L1 () para todo n N. Entonces f L1 ()
si y solo si sup X fn d < +, y en ese caso se tiene

n1
lm
fn d =
f d.
X
Demostracion. Para cada n N, llamemos Ln := {x X : fn (x) >

fn+1 (x)}. Entonces Ln M y (Ln ) = 0. Por tanto L M y (L) = 0.
Ahora bien, si x X \ L, la sucesion (fn (x)) es creciente, luego existe su
lmite f (x) = supn fn (x) [0, +]. Puesto que la medibilidad, la integrabilidad y, en su caso, el valor de la integral, no quedan afectados si se cambia el
valor de una funcion en un conjunto de medida nula, podemos suponer que
fn fn+1 en todo X para cada n, y por tanto f esta definida en todo X.
Notemos que f es medible.
Si (a) se supone demostrado, aplicandolo a fn f1 y cambiando f por
f f1 obtendramos la parte si de (b) y la validez del intercambio del lmite
con la integral. Si fuese f L1 () se tendra X f d < +. Como fn f
para todo n, se deduce que supn X fn d X f d < +, lo cual completa

la prueba de (b).
Probemos (a). Como fn f y fn fn+1 para todo n, se tiene que
f
d
f
y
la
sucesi
o
n
{
f d}n1 es creciente, y por tanto exisn
X
X
X n
te su lmite (en R) y coincide con su supremo. Por tanto lmn X fn d
f d.
X
Queda probar la desigualdad . 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 }
TEOREMAS DE CONVERGENCIA
109
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 suficiente
demostrar que X f d lm X n d, para lo cual, a su vez, basta fijar una

n
funcion simple medible con 0 f y probar que
d lm
n d.
n
[1]
Probemos primero la desigualdad [1] en el caso en que que c = constante

[0, +). Si c = 0, es trivial. Si c > 0, fijemos a (0, c). Ya que f =
sup n , resulta que para cada x X, existe n0 N tal que n (x) > a para
nN
todo n n0 . Sea An := {n > a}. Entonces la sucesion {An }

n=1 es creciente
An . Por tanto (An ) (X). Por otra parte, a An n ,

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

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

n
caso.
En el caso general, se tiene que =
dos a dos disjuntos con X =
funcion ci Ei y obtenemos:
d =
X
i=1
Ei . Aplicamos entonces el resultado a cada
i=1
i=1
ci Ei d =
X
lm
n d = lm
Ei
ci Ei con ci [0, +) y Ei M
i=1
i=1
i=1
Ei
Ei
n d = lm
n d,
X
como queramos demostrar.
Corolario 8.1.2. Sean f, fn : X [0, +] (n N) funciones medibles

definidas en un espacio de medida completo (X, M, ). Se verifica:
(a)
n=1
fn d =
n=1
fn d.
110
Luis Bernal Gonz

alez
(b) Si
n=1
n=1
f d < +, la funcion
X n
la serie
fn es integrable y, en particular,
fn (x) converge e.c.t. x X.
n=1
(c) La aplicacion : E M 7 (E) =
f d [0, +] es una medida
positiva.
Demostraci
on. El apartado (a) se deduce de aplicar el teorema de la conn
fi (n N). El
vergencia monotona a la sucesion {gn }
dada
por
g
:=
n
n=1
i=1
apartado (b) es consecuencia directa de (a) y de la Proposicion 7.6.2(b). Para

probar (c), aplquese (a) a las funciones fn := f An (n N), donde los An
son conjuntos medibles disjuntos.
La parte (c) 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.
El siguiente resultado ni siquiera exige convergencia, y nos da una condicion sobre la integrabilidad de los lmites de oscilacion.
Teorema 8.1.3. [Lema de Fatou] Sea fn : X [0, +] (n N) una
sucesion de funciones medibles. Entonces
lm inf fn d lm inf
fn d.
X
Demostracion. Definimos gk := nf{fk , fk+1 , . . .} para cada k N. Entonces

cada gk es medible y no negativa, la sucesion {gk }k1 es creciente, lm gk =
k
lm inf fn y gk fk para todo k N. Del teorema de la convergencia

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

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

n
De aqu deducimos el resultado.
A continuacion, establecemos el que quizas sea el resultado mas importante de intercambio de las operaciones de lmite e integracion. Se deduce
111
del Lema de Fatou, en el que la hipotesis de monotona se sustituye por la

de acotacion.
Teorema 8.1.4. [Teorema de Lebesgue de la convergencia dominada]
Supongamos que f, fn : X R (n = 1, 2, ...) y g : X [0, +] son
funciones tales que cada fn es medible, |fn | g e.c.t. X para cada n N, g
es integrable y f (x) = lm fn (x) e.c.t. x X. Entonces f es integrable y
n
f d = lm
fn d.
X
Demostraci
on. Ya que el conjunto Z := {x X : fn (x) 9 f (x)}
{|fn | >
n=1
g} es medible y (Z) = 0, podemos suponer una vez mas que todos los lmites
y desigualdades de la hipotesis son en todo x X.
Tenemos pues que f es medible y |f | g L1 (X), as que
|f | d
g d < +, de donde inferimos que f L1 (X). Probemos ahora que
|fn f | d = 0.
lm
[2]
De aqu se deduce que X f d = lm X fn d pues X fn d X f d| =

n

| X (fn f ) d X |fn f | d. Esto concluira la demostracion.

Luego basta probar [2]. Para ello, notemos en primer lugar que |fn f |
|fn | + |f | 2g, luego 2g |fn f | 0. Por el Lema de Fatou,
lm (2g |fn f |) d lm inf (2g |fn f |) d.

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

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

umeros reales),
n
resulta que lm sup X |fn f | d 0. Pero lm inf X |fn f | d 0, porque

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

las dos u
ltimas desigualdades sobre lm sup, lm inf se deduce [2].
n
112
Luis Bernal Gonz

alez
Como consecuencia, obtenemos el siguiente resultado de intercambio de

series con integrales, as como la aditividad respecto al dominio de integracion
en su version mas general.
Teorema 8.1.5.
(a) Sea fn : X R (n N) una sucesi

on de funciones
medibles tales que
n=1
Entonces
|fn | d < +.
fn (x) converge absolutamente en casi todo x X, la
n=1
funcion suma es integrable y

fn d =
fn d.
X n=1
n=1
(b) Sean f L1 (X) y (An ) una sucesi

on de conjuntos medibles dos a dos
disjuntos. Entonces
f d =
X
n=1
f d.
An
Demostracion. (a) Notese que de la hipotesis se deduce que cada funcion |fn |
es integrable, luego cada fn tambien lo es. Aplicar el Corolario 8.1.2(b) a las
funciones |fn |. Se deduce que g := n |fn | es integrable, luego tambien lo es
a mayorada por la anterior. Por u

ltimo, aplicar
n fn , ya que es medible y est
el teorema de la convergencia dominada a la sucesion de sumas parciales de
la sucesion {fn }n1 .
(b) Usar el apartado (a) con fn := f An (n = 1, 2, ...).
8.2.
Relaci
on entre las integrales de Riemann
y de Lebesgue
Trataremos en esta seccion de la importante conexion entre estos dos

tipos de integrales, plasmada en el siguiente criterio de Lebesgue de integrabi-
113
lidad Riemann. La prueba se basa en el teorema de la convergencia dominada

de Lebesgue. Por supuesto, estamos aqu en el caso de la medida de Lebesgue
b
m sobre R. El criterio justifica que la notacion a f (x) dx tambien se utilice
para integrales de Lebesgue respecto de la medida m.
Teorema 8.2.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.
En tal caso, f L1 (m, [a, b]) y
b
f (x) dx =
a
f dm.
[a,b]
Demostracion. Recordemos que f es acotada en ambas hipotesis de la doble

implicacion. Consideremos las funciones superior e inferior f , f : [a, b] R
y las funciones simples medibles n , n (n 1) descritas en el Ejercicio 12
del Captulo 7. As que f y f son medibles, f f f , y f es continua
en un punto x0 si y solo si f (x0 ) = f (x0 ). Para las notaciones L(f, P ),
b
b
U (f, P ), a f y a f que vienen a continuacion, remitimos al Captulo 1.
Sea P = {a = t0 < t1 < < tn = b} una particion de [a, b]. Denotemos
Ik := [tk1 , tk ], Jk := Ik0 = (tk1 , tk ) y Mk := sup{f (y) : y Ik } (k =
1, ..., n). Recordemos que U (f, P ) = nk=1 Mk (tk tk1 ). Fijado k, es claro
que f (x) Mk para todo x Jk . Como el conjunto {t0 , t1 , ..., tn } tiene

medida de Lebesgue nula, se tiene [a,b] f dm = nk=1 Jk f dm nk=1 Mk
m(Jk ) = nk=1 Mk (tk tk1 ) = U (f, P ). Tomando nfimos en P , resulta que
b
f dm a f . Analogamente, [a,b] f a f .
[a,b]
Recordemos que n f y n f en casi todo [a, b]. En el apartado
(h) del Ejercicio 12 del Captulo 7, estas funciones se generaban a partir de f
y de ciertos intervalos Jk,n . Como |n |, |n | M := sup[a,b] |f |, del teorema
de la convergencia dominada se deduce que
n dm = lm
sup f long (Jn,k ).
f dm = lm
[a,b]
[a,b]
k=1
Jk,n
114
Luis Bernal Gonz

alez
Fijado > 0, existe n N tal que [a,b] f dm nk=1 supJk,n f long (Jn,k ) <
. Si tomamos como P la particion correspondiente a {J1,n , ..., Jn,n }, se tiene
que U (f, P ) = nk=1 supJk,n f long (Jn,k ), luego [a,b] f dm + > U (f, P ).
De la propiedad fundamental del nfimo y de la definicion de integral supe
b
rior de Darboux, se deduce que [a,b] f dm = a f . Analogamente, usando las
n junto con la propiedad fundamental del supremo y la definicion de inte
b
gral inferior de Darboux, se infiere que [a,b] f dm = a f . En consecuencia,
tenemos
(f f ) dm =
[a,b]
f
a
f.
a
Supongamos que f R[a, b]. Recordemos que x D(f ) si y solo si
f (x) f (x) > 0. Si fuese m(D(f )) > 0, se tendra que 0 < D(f ) (f
b
b
f ) dm [a,b] (f f ) dm = a f a f = 0, lo que es absurdo, as que
m(D(f )) = 0.
Recprocamente, supongamos que m(D(f )) = 0. Como en los puntos de
continuidad se tiene que f (x) f (x) = 0, resulta que [a,b] (f f ) dm = 0.

b
b
b
b
Entonces a f a f = 0, as que a f = a f , es decir, f es integrable
Riemann.
Finalmente, probemos que las integrales de Lebesgue y de Riemann coinciden. En las condiciones anteriores, f es medible [por ser continua e.c.t.] y
es acotada en un intervalo compacto, luego es integrable Lebesgue. Como
f = f e.c.t., resulta que
f dm =
[a,b]
[a,b]
f dm =
f (x) dx =
a
f (x) dx.
Notas 8.2.2. 1. El recproco de la segunda parte del teorema anterior es

falso. Sirva como ejemplo la funcion f := Q , que esta en L1 (m, [0, 1]) pero
no en R[0, 1].
2. Por otra parte, si f es integrable Lebesgue en R, entonces R f dm =
lm [n,n] f dm. En efecto, basta aplicar a {fn := f [n,n] }

n=1 el teorema
115
de la convergencia dominada. Si ademas f R[a, b] para cada intervalo
n
[a, b] R, se tendra que R f dm = lm n f (x) dx. Por tanto, en muchos
n
casos, las integrales de Lebesgue se pueden calcular usando primitivas.

3. Supongamos que I R es un intervalo y que f : I R es una funcion
tal que f R[a, b] en cada intervalo compacto [a, b] I. De nuevo con la
ayuda del teorema de la convergencia dominada, es facil probar que la integral
impropia de Riemann de f es absolutamente convergente si y solo si f es
integrable Lebesgue en I, en cuyo caso las integrales de Lebesgue e impropia
de Riemann coinciden. Ya sabemos que esto es falso si la integral impropia
de Riemann en I es condicionalmente convergente: considerar I = (0, +),
f (x) =
8.3.
sen x
.
x
El espacio L1(X)
En esta seccion vamos a indagar un poco en las estructuras lineal y

topologica del conjunto L1 (X) de las funciones integrables. Sabemos que es
un espacio vectorial sobre R. Demos antes la siguiente definicion general.
Definici
on 8.3.1. Supongamos que E
es un espacio vectorial sobre R.
Una aplicacion : x E 7 x [0, +) se dice que es una seminorma

sobre E cuando es homogenea y subaditiva, es decir, x = ||x y
x + y x| + y para todo R y todo par x, y E. Si ademas se
cumple que x = 0 implica x = 0, entonces se dice que es una norma
sobre E. En tal caso, se llama espacio normado al par (E, ).
Es facil ver que todo espacio normado (E, ) es tambien un espacio
metrico, sin mas que considerar la aplicacion d : (x, y) X X 7 d(x, y) =
x y [0, +). En efecto, tal d es una distancia sobre E, pues cumple la
propiedad de simetra, la propiedad triangular y ademas d(x, y) = 0 solo en
el caso en que x = y. Como ejemplo trivial, el espacio E = R es un espacio
116
Luis Bernal Gonz

alez
normado, donde la norma es el valor absoluto, x = |x|. Esta genera la

distancia eucldea d(x, y) = |x y| sobre la recta real.
Si ahora consideramos el espacio E = L1 (X), se tiene que X f d =
X f d e X (f + g) d = X f d + X g d para todo R y todo

par f, g L1 (X). De la desigualdad triangular |f + g| |f | + |g| y de la
monotona de la integral se deduce que la aplicacion
f 1 :=
|f | d
X
es una seminorma sobre L1 (X). Pero no es una norma, porque si
|f | d =
0 entonces f (x) = 0 e.c.t. x X, pero no necesariamente f 0. La solucion

a este inconveniente es la siguiente. Se denotara por L1 (X) la familia de las
funciones f : X R integrables en X, donde se identifican dos funciones f, g
cuando son -equivalentes; as que, estrictamente hablando, L1 (X) consta
de clases de equivalencia [es facil probar que la relacion f = g e.c.t. X
es de equivalencia en L1 (X)]. Por otra parte, f , f + g tienen sentido para
f, g L1 (X) y R, pues f y g son finitas e.c.t. X. Como dos funciones
iguales e.c.t. tienen la misma integral, podemos elegir cualquier elemento de
cada clase de equivalencia para definir sin ambig
uedad la integral de una
clase. Por tanto la aplicacion f L1 (X) 7 f 1 = X f d [0, +)

esta bien definida y es una norma sobre L1 (X) [notese que ahora f 1 = 0
implica que f es equivalente a la funcion 0, luego f = 0 como clase de
equivalencia]. Esta norma se denomina norma-1.
La norma-1 genera en L1 (X) la distancia d(f, g) :=
|f g| d, convir-
tiendo as L1 (X) en un espacio metrico. Puede probarse que dicho espacio

metrico es completo, es decir, toda sucesion de Cauchy para la distancia d
es convergente. Se dice en tal caso que el espacio normado que genera esa
distancia es un espacio de Banach.
8.4.
117
Subespacios densos de L1(R)
A veces conviene disponer, en un espacio de funciones, de subconjuntos

densos, es decir, de subconjuntos de funciones con propiedades mas ricas que
aproximen bien cualquier funcion del espacio original. La nocion abstracta
de subconjunto denso en un espacio metrico es la siguiente.
Definici
on 8.4.1. Sea (X, d) un espacio metrico, y A X un subconjunto.
Se dice que A es denso en X si, dados x X y > 0, existe a A tal que
d(x, a) < .
Una funcion escalonada es una funcion simple : R R de la forma
= m
k=1 aa Ik , donde los Ik son intervalos acotados. El conjunto S de las
funciones escalonadas es un espacio vectorial con S(R) L1 (R). Tambien
es un subespacio vectorial de L1 (R) el conjunto de las funciones continuas
f : R R de soporte compacto, es decir, que se anulan fuera de un compacto
K = Kf . Su conjunto se denota por Cc (R). Aqu estamos considerando la
medida m de Lebesgue en R.
Teorema 8.4.2. S(R) y Cc (R) son densos en L1 (R).
Demostracion. Fijemos una funcion f L1 (R) y un > 0. Aplicando el
teorema de la convergencia dominada a la sucesion (|f | [n,n] ), podemos
encontrar un m N tal que R\[m,m] |f | dm < /3. Por el teorema de

aproximacion por funciones simples, existe una sucesion (k ) de funciones
simples medibles tales que k (x) g(x) para todo x R y |k (x)| |g(x)|
para todo x R y todo k N, donde g := f [m,m] . Notemos que
tambien k [m,m] g(x) para todo x R cuando k , as que
p
podemos suponer que cada k tiene la forma
i=1 ai Ai , donde Ai L y
Ai [m, m] (i = 1, ..., p). Ademas, |g k | 2|g| para todo k. Como
|g k | 0 puntualmente en todo R, del teorema de la convergencia
118
Luis Bernal Gonz

alez
dominada se deduce que R |g k | dm 0 (k ), luego existe J N
tal que R |g J | dm < /3. Por la desigualdad triangular,
|f J | dm
|f g| dm +
|g J | dm < 2/3,
ya que el primer sumando de la suma anterior es
R\[m,m]
|f | dm. Ahora hay
que aproximar J en norma-1 por una funcion de S(R), lo cual se hace

usando el teorema de estructura de los medibles Lebesgue [notar que, fijados
> 0 y Ai L, existe un abierto G R tal que m(G \ Ai ) < ]. Podemos
obtener S(R) con J 1 < /3, y por la desigualdad triangular
obtendramos f 1 < , lo que dara la densidad de S(R).
Habida cuenta de lo anterior, para probar la densidad de Cc (R) es su
ficiente fijar un > 0 y una funcion = m
k=1 ak Ik S(R), donde los
Ik son intervalos acotados, y encontrar una funcion Cc (R) tal que
| | d < . Para ello, se aproxima cada Ik en norma-1 por una

R
funcion continua adecuada de soporte compacto, y como se elige la combinacion lineal correspondiente.
De forma analoga, se tiene que C([a, b]) es denso en L1 ([a, b]).
Ejercicios
1.- Calcular, razonadamente, los siguientes lmites de integrales, entendidas estas como respecto de la medida de Lebesgue en los intervalos indicados:
+ dx
1+x+xn .
n 0
(a) lm
(b) lm
+ ( log(1+x) )n
x
n 0
(c) lm
n 0
(d) lm
ex
2 +nx
enx
2 +x
dx.
dx.
dx.
+
x
(1+x3n )1/n
n 0
(e) lm
119
dx.
+ log(x+n) x
e cos x dx.
n
n 0
1
lm
arctan( nx log x) dx.
n 0
(f) lm
(g)
(h) lm
n 0
(i) lm
n 1
arctan(x/n)
x x
x2
e n dx.
n
1+nx2
n log(1+
x
n 0
(j) lm
(k) lm
n 1
dx.
x
)
n
[1(log x)n ]x
x2 1
dx.
dx.
+ (sen x)n+1
x(x+1) dx.
n 0
( x2 +2n )
+ 1
lm 0
dx.
log
2
1+x
x2 +n
n
(l) lm
(m)
(n) lm
n 0
nx
n+x2
enx dx.
2.- Probar las siguientes igualdades:

(a)
(b)
1
0
x log2 x dx =
log2 x
0 1+x2
2
si > 1.
( 1)3
2(1)n
dx =
.
(2n + 1)3
n=0
3.- Sea f (x) =
1/x2
x2
y definamos fn (x) = f (xn ) si n N.
(a) Probar que la serie

fn (x) es convergente para x > 1.
(b) Probar que S := fn es integrable en [a, +) para todo a > 1.
1/n
(c) Demostrar que 1 fn (x) dx = 1 f (x)x
dx.
nx
(d) Deducir que lmn n 1 fn (x) dx = e1

2e .
on S en
(e) Es convergente la serie
1 fn ? Es integrable la funci
(1, +)?
( 1 )n
.
1 + x2

|fn (x)| dx < + si y solo si > 0.

(a) Dado 0, probar que
4.- Para cada n N sea fn (x) =
n=1
120
Luis Bernal Gonz

alez
(b) Probar que para todo > 0 se tiene que
fn (x) dx =
n=1
dx
dx.
2 + x2
(c) Que ocurre en el caso = 0?

5.-
(a) Sea [a, b] un intervalo cerrado y acotado de R y A [a, b]. Sea x0

[a, b]. Demostrar que A es continua en x0 si y solo si x0
/ A.
(b) Si C es el conjunto de Cantor, demostrar que C R[0, 1].
6.-
(a) Sea m 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 dm = X lm fn dm?
n
(b) Idem con X = [0, 1] y
2n
fn (x) :=
0
si x 2n
si x > 2n .
7.- Consideremos las tres sucesiones de funciones definidas para x (0, +) y

( n+x )n
n N como: fn (x) = n+2x
, gn (x) = fn (x)ex/2 y hn (x) = fn (x)ex/2 .
(a) Calcular las funciones lmite puntual de las sucesiones (gn ) y (hn ).
+
(b) Calcular el lm
gn (x) dx.
n 0
(c) Justificar si es cierta la igualdad
+
lm
hn (x) dx =
n 0
lm hn (x) dx.
8.- Se considera el conjunto N de los n

umeros naturales y la medida cardinal
(A) = card (A), A N. Se pide:
(a) Determinar que funciones f : N R son integrables.
1 si 1 x k
k
(b) Probar que la sucesion fk (x) :=
converge unifor 0 si x > k
memente, pero no converge en L1 ().
121
(c) Probar que la sucesion fk (x) :=
1
x
si 1 x k
0 si x > k
memente a una funcion no integrable.
converge unifor-
9.- Sea (X, M, ) un espacio de medida completo y (n ) L1 (). Sea L1 ()

tal que n (x) (x) e.c.t. x X y n 1 1 (n ). Demostrar
que n 1 0. Indicaci
on: aplicar el Lema de Fatou a la sucesion
{|n | + || + |n |}n1 .
10.- Sea f la funcion definida como f (x) = 1/ x si x (0, 1) y f (x) = 0

en el resto de los puntos de R. Sea (qn ) una enumeracion de los n
umeros
racionales. Definimos
g(x) :=
1
f (x qn ).
2n
n=1
Demostrar que g es integrable-Lebesgue en R y, por tanto, g(x) es finito

para casi todo x R.
( x2 )n
.
1 + x2
(a) Probar que la serie

n=1 fn (x) es convergente para todo x R.
a
(b) Si a (0, +), probar que
n=1 0 |fn (x)| dx < +.
11.- Se define fn (x) =
(c) Si llamamos S(x) a la funcion suma de la serie de (a), deducir que S

es integrable en [0, a] y demostrar que

fn (x) dx =
n=1 0
a
1
+ arctan( 2 a).
2
2 2
(d) Estudiar la existencia de cada una de las siguientes expresiones y, en

su caso, su posible igualdad:
+
n=1
fn (x) dx
n=1 0
fn (x) dx.
122
Luis Bernal Gonz

alez
12.- Sean (X, M, ) un espacio de medida completo y f L1 (X) y > 0.

Demostrar lo siguiente:
(a) Para cada > 0, el conjunto {|f | > } tiene medida finita.
Indicaci
on: utilizar la desigualdad de Chebysev.
(b) El conjunto {f = 0} es -finito.
(c) Para cada > 0 existe A M tal que (A) < + y

f d
f d < .

X
Indicaci
on: usar el Teorema 8.1.5(b).
13.- Completar los detalles de la prueba del Teorema 8.4.2.
14.- Este ejercicio pretende generalizar, para el caso de la integral de Lebesgue,
algunos resultados bien conocidos en el caso de la integral de Riemann. Los
resultados seran usados de forma mas o menos explcita en el Captulo 10.
Se supone que a y T son n
umeros reales positivos.
(a) Sea f : [a, a] R una funcion integrable Lebesgue en [a, a]. Probar que, si f es par [es decir, f (x) = f (x) para todo x] entonces
a
0
a
a
alogamen0 f dm = a f dm, y por tanto a f dm = 2 0 f dm. An
te, probar que, si f es impar [es decir, f (x) = f (x) para todo x]
a
0
a
entonces 0 f dm = a f dm, y por tanto a f dm = 0.
(b) Si f : R R es peri
odica de perodo T [es decir, f (x + T ) = f (x)
T
para todo x R] y es integrable en [0, T ], entonces I f dm = 0 f dm
para cualquier intervalo I de amplitud T .
Captulo 9
Integrales param
etricas
En este tema vamos a definir funciones a traves de integrales que dependen de un parametro. La integral de Lebesgue y los teoremas de convergencia
expuestos en los temas anteriores nos permitiran estudiar la continuidad y
derivabilidad de estas funciones, as como calcular la expresion de su derivada. En la practica consultar la seccion de Ejercicios veremos como aplicar
estos resultados para calcular, a traves de sus derivadas, funciones definidas
por integrales.
9.1.
Introducci
on
Sean A R un subconjunto medible Lebesgue y B R un intervalo.

Supongamos que tenemos una funcion de dos variables
f : (x, t) A B 7 f (x, t) A B.
Siempre que tenga sentido, podemos definir la siguiente funcion, que es una
integral parametrica o integral que depende de un parametro:
F : t B 7
f (x, t) dx R.
A
123
124
Luis Bernal Gonz

alez
El objetivo fundamental de este tema sera estudiar condiciones sobre

la funcion f (x, t) que determinen si la funcion F (t) esta bien definida, es
continua y, en este caso, estudiar su derivabilidad.
El tema esta dividido en dos secciones, donde estudiaremos respectivamente condiciones suficientes para la continuidad y derivabilidad de F. De
hecho, obtendremos criterios para poder intercambiar las operaciones de lmite e integracion, y las de derivacion e integracion. Enunciaremos los resultados
suponiendo que las hipotesis se cumplen en todo punto del dominio. Sin embargo, teniendo en cuenta que las integrales de dos funciones que coinciden
en casi todo son iguales, los resultados son tambien validos si las hipotesis
referentes al espacio de medida A se cumplen en casi todo.
9.2.
Continuidad de integrales param

etricas
En este seccion estudiaremos la continuidad de la funcion F , definida

anteriormente a traves de una integral parametrica.
Teorema 9.2.1. [Teorema de continuidad de integrales parametricas]
Supongamos que se cumple lo siguiente:
(a) Para cada x A, la funcion t B 7 f (x, t) R es continua.
(b) Para cada t B, la funcion x A 7 f (x, t) R es medible Lebesgue.
(c) Existe una funcion g : A [0, +) integrable Lebesgue tal que
|f (x, t)| g(x) para todo x A y todo t B.
Entonces la funcion F : t B 7
continua en B.
f (x, t) dx R est
a bien definida y es

INTEGRALES PARAMETRICAS
125
Demostracion. Fijemos t0 B. Seg

un (b) y (c), la funcion x A 7
f (x, t0 ) R es medible y esta mayorada por una funcion integrable, luego
la primera funcion es tambien integrable. Esto prueba que F esta bien definida. En cuanto a la continuidad, se ha de probar que lmtt0 F (t) = F (t0 ).
Por el teorema fundamental del lmite, basta fijar una sucesion (tn ) B con
t t0 y probar que F (tn ) F (t0 ). Sea pues (tn ) una tal sucesion, y denotemos fn (x) := f (x, tn ) y (x) := f (x, t0 ). Entonces (fn ) es una sucesion
de funciones integrables Lebesgue en A tales que |fn (x)| g(x) para todo
(x, n) A N [por (c)] y fn (x) (x) para todo x A. Por el teorema
n
de la convergencia dominada, existe lmn A fn (x) dx = A (x) dx. Pero

esto es lo mismo que F (tn ) F (t0 ), como se requera.
9.3.
Derivabilidad de integrales param

etricas
En esta seccion estudiaremos cuando la funcion F es derivable y calcularemos el valor de su derivada.

Teorema 9.3.1. [Teorema de derivabilidad de integrales parametricas]
Supongamos que se cumple lo siguiente:
(a) Para cada x A, la funcion t B 7 f (x, t) R es derivable, es
decir, existe
f
(x, t)
t
R para todo (x, t) A B.
(b) Para cada t B, la funcion x A 7 f (x, t) R es medible Lebesgue.

(c) Para alg
un t0 B, la funcion x A 7 f (x, t0 ) es integrable Lebesgue.
(d) Existe una funcion g : A [0, +) integrable Lebesgue tal que
f

(x, t) g(x)
t
para todo x A y todo t B.
126
Luis Bernal Gonz

alez
Entonces la funcion F : t B 7
f (x, t) dx R esta definida y es
derivable en B. Ademas
F (t) =
A
f
(x, t) dx
t
para todo t B.
Demostracion. Veamos primero que F esta bien definida. Fijemos t1 B.

Por (b), la funcion x A 7 f (x, t1 ) R es medible. Por (a) y el teorema
del valor medio, para cada x A existe un punto t2 = t2 (x) en el intervalo
que une t0 con t1 tal que f (x, t1 ) f (x, t0 ) =
f
(x, t2 )(t1
t
t0 ). Gracias a (d)
y a la desigualdad triangular, obtenemos

|f (x, t1 )| |t1 t0 |g(x) + |f (x, t0 )| para todo x A.
Por (c) y ya que g es integrable, resulta que x 7 f (x, t1 ) es integrable
Lebesgue en A, luego F esta bien definida.
Por otra parte, si elegimos cualquier sucesion (un ) B \{t1 } con un t1 ,
se tiene que
f
(x, t1 )
t
= lmn
f (x,un )f (x,t1 )
,
un t1
que es el lmite puntual de una
sucesion de funciones medibles, luego la funcion x 7
f
(x, t)
t
es medible para
cada t B. Al estar mayorada por una funcion integrable [por (d)] resulta
que cada integral A f

(x, t) dx existe y es finita.
t
Queda probar que F (t1 ) existe y que su valor coincide con la integral
anterior en t = t1 . Usamos de nuevo el teorema fundamental del lmite y
fijamos una sucesion (un ) como la del parrafo anterior. Basta demostrar que
(t1 )
Jn := F (uunn)F
A f
(x, t1 ) dx 0. Para cada n N, se tiene que
t1
t
n
f (x,un )f (x,t1 )
Jn = A n (x) dx, donde n (x) :=
f
(x, t1 ). Observemos que,
un t1
t
por definicion de derivada, n (x) 0 cuando n para cada x A.
Ademas, usando como antes el teorema del valor medio junto con la hipotesis
(d), resulta que |n (x)| 2g(x) para todo n N y todo x A. Una vez mas,
del teorema de la convergencia dominada se infiere que Jn A 0 dx = 0,

como se deseaba.

INTEGRALES PARAMETRICAS
127
Nota 9.3.2. En orden practico, lo mas difcil en la aplicacion de los teoremas

de este captulo suele ser hallar la funcion integrable g que mayora a una
familia de funciones parametrizada en t. A veces no se puede encontrar una
g valida simultaneamente para todos los t. Pero, habida cuenta de que la
continuidad y la derivabilidad son propiedades locales, es suficiente fijar un
t0 y encontrar un entorno U B de t0 tal que alguna funcion g valga para
todos los puntos de U .
Concluimos el captulo comentando que los dos teoremas anteriores se
extienden sin apenas dificultad cuando A se sustituye por un espacio de
medida que no es necesariamente la de Lebesgue. Asimismo, en el teorema
de continuidad, el intervalo parametrico B se puede sustituir por un espacio
metrico mas general; y en el teorema de derivabilidad, B puede reemplazarse
por un abierto de RN y la derivada por alguna derivada parcial.
Ejercicios
log(e + tx)
dx.
t0+ 0
1 + (1 + t)(x2 + tx5 )

sen (x + y 2 )
2.- Probar que la funcion F (x) =

dx esta bien defi(x + y 2 )(1 + x + y)
0
nida y es continua en [0, +).
1.- Hallar el lm
3.-
(a) Estudiar para que valores det R esta bien definida, es continua y es
t
x log x
derivable la funcion F (t) =
dx.
x2 1
0

dx
.
(b) Lo mismo para la funcion G(t) =
(1 + x + x2 )t
0
Es G acotada en su dominio de definicion?
4.- Definamos f (x) =
(x
0
et dt
2
)2
y g(x) =
ex (t +1)
0
t2 +1
dt.
(a) Verificar que f y g estan bien definidas y son derivables en R.

(b) Demostrar que g (x) + f (x) = 0 para todo x R.
128
Luis Bernal Gonz

alez
(c) Deducir que g(x) + f (x) = /4 para todo x R.
2
(d) Utilizar (c) para probar que 0 et dt = /2.
5.-
(a) Demostrar que, para cada t R, la funcion x 7 ex cos(2xt) es

2
integrable-Lebesgue en R.
2
(b) Definimos F (t) = 0 ex cos(2xt) dx para todo t R. Demostrar
que F satisface la ecuacion diferencial F (t) + 2tF (t) = 0 en R.
2
(c) Deducir que F (t) = (1/2) et . Indicaci
on: usar el apartado (d) del
ejercicio anterior.
6.- Sea la funcion F : (0, +) R definida por
+
arctan(tx) arctan x
F (t) =
dx
x
0
(a) Probar que F esta bien definida.
(b) Probar que F cumple las hipotesis del Teorema de derivacion parametrica en (t0 , +) para todo t0 > 0.
(c) Deducir que F es derivable en (0, +) y calcular su derivada.
(d) Deducir que F (t) =
log t para todo t (0, +).

2
Captulo 10
Series de Fourier
En este captulo veremos otro caso particular de series funcionales, a
saber, las series de Fourier, cuyos terminos son funciones trigonometricas.
El estudio de diversos problemas fsicos como por ejemplo la descripcion
del movimiento de una cuerda fijada por sus extremos o la transmision del
calor llevo a importantes matematicos (entre los que se encontraban Daniel
Bernoulli y Joseph Fourier) a plantearse la posibilidad de representar toda
funcion periodica f (x) como una serie de senos y cosenos de la forma
a0
+
[an cos(nx) + bn sen(nx)].
f (x) =
2
n=1
[1]
El esfuerzo para establecer la extension y el sentido preciso de la igualdad

anterior ocupo gran parte de las matematicas del siglo XIX, continuando en
el siglo XX y todava en la actualidad.
10.1.
Serie de Fourier y coeficientes de Fourier
Comenzamos el tema motivando la definicion de los coeficientes de

Fourier. Sea f : R R una funcion real. Se dice que f es peri
odica de perodo
129
130
Luis Bernal Gonz

alez
T > 0, o que es T -periodica, cuando f (x + T ) = f (x) para todo x R.

Estas funciones quedan perfectamente definidas en cualquier intervalo [a, b] de
amplitud b a = T . Es claro que coinciden los valores extremos: f (a) = f (b).
De este modo, tambien podemos partir de cualquier funcion f : [a, b] R
con f (a) = f (b) y extenderla de modo periodico a todo R. Si consideramos el
cambio afn de variable x [, ] 7
+ ) + a [a, b] y componemos
(
)
f con esta aplicacion, obtenemos la funcion g(x) = f ba
(x + ) + a , que
2
ba
(x
2
es periodica de perodo 2. As que podemos suponer que todas las funciones

consideradas tienen perodo 2. Despues, la funcion original se recupera con
)
( 2
el cambio inverso, es decir, f (x) = g ba
(x a) + .
As pues, partimos de una funcion f : [, ] R con f () = f ().
Si queremos que exista un desarrollo como el de [1], hallemos formalmente cuales deben ser los coeficientes an y bn . Suponiendo que f es integra
[
ble Lebesgue, se tiene que f (x) dx = a0 +
n=1 (an cos(nx) +
]
bn sen (nx)) dx. Si se dieran las condiciones para intercambiar las operaciones de suma e integracion, tendramos que la integral de la suma sera
igual a
n=1 [an cos(nx) dx + bn sen (nx) dx] =
n=1 0 = 0, luego
a0 = 1 f (x) dx. Para el calculo de los restantes coeficientes, vamos a

emplear las conocidas formulas
sen cos = (1/2)[sen( + ) + sen( )],
cos cos = (1/2)[cos( + ) + cos( )],
sen sen = (1/2)[cos( ) cos( + )].
Fijados m, n N, se deduce que
0 si m = n
cos(mx) cos(nx) dx =
sen(mx) sen(nx) dx =
si m = n
sen(mx) cos(nx) dx = 0 para todo par m, n N. Ahora multiplicamos
[1] sucesivamente por cos(mx), sin(mx) e integramos en cada caso, supo-
SERIES DE FOURIER
131

niendo asimismo la validez del intercambio
=
n
n . Obtenemos
am = 1 f (x) cos(mx) dx y bm = 1 f (x) sen(mx) dx. Estos calculos

conducen a la siguiente definicion. Notese que para darla no es necesario en
principio que f () = f (), ya que en los calculos han intervenido integrales
y la integral de una funcion en un intervalo no vara si se modifica su valor
en los extremos.
Definici
on 10.1.1. Sea f : [, ] R integrable. Se define la serie trigonometrica de Fourier asociada a f como la serie de funciones
a0
+
[an cos(nx) + bn sen (nx)],
2
n=1
donde
1
f (x) dx, an =
f (x) cos(nx) dx

1
y bn =
f (x) sen(nx) dx (n N).

1
a0 =
A los coeficientes an (n = 0, 1, ...) y bn (n = 1, 2, ...) se les llama los coeficientes de Fourier de la funcion f .
Notas 10.1.2. (a) Observese que los coeficientes a0 , an y bn (n 1) estan
bien definidos ya que las funciones que intervienen son integrables en [, ].
Por otra parte, en caso de que la funcion f sea par (es decir, f (x) = f (x)
para todo x [, ]), es facil comprobar que bn = 0 para todo n, mientras
que si f es impar (es decir, f (x) = f (x)) para todo x [, ]) entonces
a0 = 0 = an para todo n N. Obtenemos pues una serie de cosenos
a0
on par, y una serie de senos
+
n=1 an cos(nx) en el caso de una funci
2
on impar.
n=1 an sen(nx) en el caso de una funci
(b) Volviendo al caso general de una funcion integrable f : [a, b] R, con el
cambio de variable mencionado al principio resultara que la serie de Fourier
132
Luis Bernal Gonz

alez
asociada a f es
( 2n
)
( 2n
)]
a0 [
+
an cos
(x a) + bn sen
(x a) ,
2
ba
ba
n=1
[ 2n
]
1 b
1 b
f (x) dx, an =
f (x) cos
donde a0 =
(x a) dx y
a
ba
b a
[
]
1
2n
bn =
f (x) sen
(x a) dx.
a
ba
(c) Notemos que si [a, b] = [0, 2] entonces la serie de Fourier es la misma
que la que se obtendra si la funcion estuviese definida en [, ], excepto
2
que las integrales que aparecen seran 0 . De todas formas, si la funcion en
2
[0, 2] se prolongase a R de manera periodica, los valores 0 coincidiran
con los correspondientes valores .
10.2.
Desigualdades e igualdades con coeficientes de Fourier
Comenzaremos con un sencillo resultado que afirma que los coeficientes de Fourier de una funcion integrable Lebesgue estan controlados por su
norma-1. En efecto, si f : [, ] R es integrable Lebesgue, del hecho
de que cos(nx) y sen(nx) estan acotadas por 1 en valor absoluto y de que
| | ||, se deduce que |a0 |, |an |, |bn | 1 |f (x)| dx para todo n N.

De hecho, se tiene no solo que (an ) y (bn ) estan acotadas, sino que tienden
a cero. Para verlo, incluimos un resultado tecnico que tambien usaremos en
la seccion siguiente.
Teorema 10.2.1.
(a) [Lema de RiemannLebesgue] Sea I R un inter-
valo y supongamos que L1 (I). Entonces, para todo R,
lm
(t) sen(t + ) dt = 0.
+
SERIES DE FOURIER
133
(b) Los coeficientes de Fourier an y bn de una funcion f : [, ] R

integrable Lebesgue cumplen an 0 y bn 0.
Demostracion. El apartado (b) se deduce de (a) haciendo I = [, ], =
f, = n y tomando sucesivamente = 0, = /2.
Para probar (a), fijemos > 0. Por el Teorema 8.4.2 existe una funcion
escalonada = pj=1 aj Ij con R |F (t) (t)| dt < /2, donde los aj R,

los Ij son intervalos acotados y F es la funcion R R definida como en I y
0 fuera de I. Notese que F es integrable en R. Ahora bien, F (t) sen(t+) =
(F (t) (t)) sen(t + ) + (t) sen(t + ). Integrando en I y teniendo en
cuenta que | sen u| 1 y la desigualdad | h| |h|, resulta que

(t) sen(t + ) dt
|F (t) (t)| dt +

|aj |
j=1

sen(t + ) dt.
Ij I
Si J es un intervalo acotado de extremos c y d, se tiene que J sen(t+) dt =

p
1
[cos(c + ) cos(d + )] 0. Luego
j=1 0 cuando + y,
+
p
en consecuencia, podemos encontrar un 0 tal que
j=1 < /2 para todo
> 0 . Por tanto | I (t) sen(t + ) dt| < para los mismos valores de ,
y la demostracion ha terminado.
Denotaremos por (Sn f ) la sucesion de sumas parciales de la serie de Fou

rier de f , es decir, Sn f (x) = a20 + nk=1 [ak cos(kx) + bk sen(kx)] para cada
n N. Vamos a ver que, si suponemos algo mas sobre la funcion f , sus
coeficientes de Fourier van a tender rapidamente a 0.
Teorema 10.2.2. Sea f : [, ] R integrable Lebesgue. Se verifica:
1
a20 2
2
(a) [Desigualdad de Bessel]
+
(an + bn )
f (x)2 dx.
4
n=1
2
2
y
a
(b) Si f 2 es integrable, las series
n=1 bn son convergentes.
n=1 n
Demostracion. El apartado (b) es consecuencia trivial de (a). En cuanto a
este, recordemos que el sistema trigonometrico {1, sen(nx), cos(nx) : n 1}
134
Luis Bernal Gonz

alez
es ortogonal, es decir, la integral en [, ] del producto de cada par de

funciones distintas en el es 0. Ahora calculamos (f (x) Sn f (x))2 = f (x)2
2f (x)Sn f (x) + (Sn f (x))2 , sustituimos Sn f (x) por la expresion que la define,
e integramos teniendo en cuenta la definicion de los coeficientes de Fourier.
Se obtiene [los detalles se dejan como ejercicio] que

n
[ a20
]
2
2
(f (x) Sn f (x)) dx =
f (x) dx
+
(a2k + b2k ) .
4
k=1
Como el primer miembro es 0, se deduce que
1
f (x)2 dx. Basta hacer ahora n .

a20
4
2
k=1 (ak
[2]
+ b2k )
Teorema 10.2.3. Sea f : [, ] R integrable Lebesgue. Entonces tiene
a20 2
1
2
f (x)2 dx
lugar la identidad de Parseval
+
(an + bn ) =
4
n=1
si y solo si (Sn f ) tiende cuadraticamente a f , es decir, si y solo si
lmn (f (x) Sn f (x))2 dx = 0. En particular, se da la identidad de

Parseval si (Sn f ) converge uniformemente a f en [, ].
Demostracion. El resultado se deduce de [2]. Para el caso particular, aplicar,
por ejemplo, el teorema de la convergencia dominada.
10.3.
Convergencia puntual de la serie de Fourier
En esta seccion nos planteamos que relacion tiene la serie de Fourier obtenida con la funcion f de partida. Asimismo, vamos a estudiar las siguientes
cuestiones:
1. La serie de Fourier asociada a una funcion f , converge puntualmente
para alg
un valor de x en el domino de la funcion?
2. Si la serie de Fourier converge para alg
un valor de x, lo hace a f (x)?
SERIES DE FOURIER
135
3. Hay convergencia uniforme?
Notese que la serie trigonometrica de Fourier de una funcion f en [, ] es

una funcion periodica de periodo 2. De esta forma, vamos a suponer que
f : [, ] R es una funcion integrable y extendemos f a todo R de
forma 2-periodica con periodo 2.
Nuestro objetivo en esta seccion es hallar respuestas a las dos primeras
cuestiones, es decir, estudiar si existe lmn Sn f (x) y hallar su valor. Necesitamos la siguiente funcion auxiliar.(Si n )N, se llama n
ucleo de Dirichlet
t
sen 2n+1
2
. Es evidente que cada Dn es
de orden n a la funcion Dn (t) :=
2 sen 2t
par y 2-periodica.
El teorema de representaci
on integral de las sumas parciales de una serie
de Fourier que se presenta a continuacion sera de suma importancia para
encontrar condiciones de regularidad en la funcion f que garanticen la convergencia puntual de la serie de Fourier.
Teorema 10.3.1. Para las sumas parciales Sn f de la serie de Fourier de

una funcion f : [, ] R integrable Lebesgue, se verifica
1
Sn f (x) =
1
f (x + t)Dn (t) dt =
(f (x + t) + f (x t))Dn (t) dt.

0
Demostracion. Si tenemos en cuenta las formulas para productos de senos

y cosenos de la primera seccion, resulta que para cualquier u R se tiene
sen u2 = cos u2 sen u2 ,..., sen( 2n+1
u)sen( 2n1
u) =
sen u = 12 2 sen u2 , sen 3u
2
2
2
cos(nu) 2 sen u2 . Sumando miembro a miembro estas igualdades obtenemos
(
)
sen 2n+1
u
1
2
+ cos u + + cos(nu) =
= Dn (u).
2
2 sen u2
136
Luis Bernal Gonz

alez
Sea x [, ]. Entonces
Sn f (x) =
=
=
=
n
a0
+
[ak cos(kx) + bk sen(kx)]
2
k=1
n
[1
]
1
f (u) +
(cos(kx) cos(ku) + sen(kx) sen(ku)) du

2 k=1

n
[1
]
1
f (u) +
cos(k(u x)) du

2 k=1

1
1
f (u)Dn (u x) du =
f (x + t)Dn (t) dt.

En el u
ltimo paso se ha efectuado el cambio de variable t = u x y se
ha tenido en cuenta que la integral de una funcion T -periodica es la misma
en intervalos que tengan longitud T . Esto prueba la primera igualdad del
enunciado. La segunda resulta de descomponer la u
ltima integral en suma
de dos integrales, una en [0, ] y otra en [, 0]. En la integral sobre este
intervalo, practicar el cambio de variable t 7 t y tener en cuenta que Dn
es una funcion par.

Notemos que, como consecuencia, obtenemos que
Dn (t) dt = 1 para
todo n N. Tambien se obtiene el siguiente corolario, conocido como teorema

de localizaci
on de Riemann.
Corolario 10.3.2. Sea f : [, ] R integrable Lebesgue y x0 [, ].
Si f es nula en un entorno de x0 entonces lmn Sn f (x0 ) = 0.
Demostracion. Por hipotesis, existe (0, ) tal que f (x0 +t) = 0 para todo
t (, ). Entonces |2 sen(t/2)| := 2 sen(/2) > 0 para todo t A :=
[, ] [, ]. De la primera igualdad del Teorema 10.3.1 deducimos que
( 2n + 1 )
1
1
f (x0 + t)Dn (t) dt =
(t) sen
t dt,
Sn f (x0 ) =

A
2
donde (t) :=
f (x0 +t)
,
2 sen(t/2)
la cual es integrable en A por ser medible y estar
mayorada en A por la funcion (1/)f (x0 + t). Por el Lema de Riemann
SERIES DE FOURIER
Lebesgue,
137
(t) sen((2n+1)t/2) dt 0 cuando n . De aqu deducimos

lo que queremos.
Por tanto, si dos funciones f y g coinciden en un entorno de x0 y la serie

de Fourier de una de ellas converge en x0 , entonces la serie de Fourier de la
otra converge a la misma suma: aplicar a f g el teorema anterior. Este
comportamiento contrasta con el de las series de Taylor, donde el comportamiento de una serie en un entorno de un punto determina su valor en todo
su intervalo de convergencia. As pues, dos funciones distintas, por el hecho
de coincidir en un intervalo, pueden tener la misma serie de Fourier en ese
intervalo.
A continuacion, enunciamos por fin un criterio suficiente de convergencia
de la serie de Fourier, es decir, de existencia y finitud del lmite lmn Sn f (x).
Recordemos que f (x+

mite lateral
0 ) y f (x0 ) denotan, respectivamente, el l
a la derecha de f en x0 , lmxx+0 f (x), y el lmite lateral a la izquierda de f

en x0 , lmxx0 f (x), si existen. Asimismo, f+ (x0 ) y f (x0 ) denotan, respectivamente, la derivada lateral a la derecha de f en x0 , lmxx+0
f (x)f (x+
0 )
,
xx0
la derivada lateral a la izquierda de f en x0 , lmxx0
si existen.
f (x)f (x
0 )
,
xx0
Teorema 10.3.3. [Condicion de JordanDini] Sea f : [, ] R integrable

Lebesgue con f () = f (), y supongamos que f esta extendida peri
odicamente a todo R con perodo 2. Sea x0 R. Se verifica:
(a) Si los lmites y derivadas laterales f (x+

0 ), f (x0 ), f+ (x0 ), f (x0 ) existen
f (x+
0 ) + f (x0 )
. Si ademas
y son finitos, entonces lmn Sn f (x0 ) =
2
f es continua en x0 , se tiene lmn Sn f (x0 ) = f (x0 ).
(b) Si f es derivable en x0 entonces lmn Sn f (x0 ) = f (x0 ).

Demostracion. Es evidente que (b) es un caso particular de (a). Ya en las
hipotesis de (a), si f es continua en x0 entonces f (x+

0 ) = f (x0 ) = f (x0 ), luego
138
Luis Bernal Gonz

alez
basta probar el primer lmite del enunciado. Para ello, usamos la segunda
igualdad integral del Teorema 10.3.1 y el hecho de que 1 0 Dn (t) dt = 1/2
[porque 1 Dn (t) dt = 1 y Dn es par]. Tenemos as que
f (x+
1
0 ) + f (x0 )
Sn f (x0 )
=
2
(f (x0 + t) f (x+
0 ))Dn (t) dt
0
1
+
(f (x0 t) f (x
0 ))Dn (t) dt.
0
2 sen(t/2)
=
t
f (x0 t)f (x
0 )
,
2 sen(t/2)
Como las derivadas laterales de f existen y son finitas y lmt0

1, resulta que la funciones 1 (t) :=
f (x0 +t)f (x+

0 )
2 sen(t/2)
y 2 (t) :=
que son medibles, estan mayoradas por alguna funcion positiva integrable en
[, ] (para comprobarlo, dividir el intervalo anterior en (, ) y [, ] \
(, ), con un > 0 adecuado que viene de que el lmite proporcionado por
las derivadas laterales existe y es finito: se dejan los detalles como ejercicio).
La primera integral en la expresion anterior es
)
(

2n + 1
+
t dt,
(f (x0 + t) f (x0 ))Dn (t) dt =
1 (t) sen
2
0
0
la cual 0 cuando n gracias al Lema de RiemannLebesgue. Analogamente, utilizando 2 , la segunda integral que interviene en la expresion de
Sn f (x0 )
f (x+
0 )+f (x0 )
2
tambien tiende a 0, as que Sn f (x0 )
f (x+
0 )+f (x0 )
.
2
En realidad, son conocidas una condicion debida a Jordan y otra a Dini,

cada una de las cuales implica el teorema anterior. No obstante, dicho teorema
es suficiente para nuestros objetivos.
10.4.
Convergencia uniforme de la serie de

Fourier
Existen varios resultados que aseguran la convergencia uniforme de la

serie de Fourier. Presentamos ahora uno que puede aplicarse en muchos casos.
SERIES DE FOURIER
139
Notese que la convergencia uniforme obliga a que la funcion f sea continua,

ya que cada suma parcial de Fourier SN f es una funcion continua.
Teorema 10.4.1. Sea f : [, ] R una funcion continua con f () =

f (), extendida a R periodicamente con periodo 2. Supongamos que existe
un conjunto finito F [, ] tal que f es derivable, y con derivada continua
y acotada, en [, ] \ F . Entonces lmN SN f = f uniformemente en R.
Demostracion. Por el Teorema 10.3.3, lmn Sn f (x) = f (x) para todo x

[, ] \ F . Si lograsemos probar la convergencia uniforme de (Sn f ) a alguna
funcion g, esta debe ser continua, pues cada termino de (Sn f ) es continuo. Ya
que convergencia uniforme implica convergencia puntual, y el lmite puntual
es u
nico si existe, tendramos que g(x) = f (x) para todo x [, ]\F . Este
es un subconjunto denso de [, ], luego f = g en [, ] por continuidad.
As que lmN SN f = f uniformemente en [, ], y por tanto en R
debido a la periodicidad. En consecuencia, resta ver la convergencia uniforme
de la serie de Fourier en [, ], sin necesidad de comprobar cual es la funcion
suma.
Para demostrar esto, observese en primer lugar que tanto f como f son
integrables Riemann, si extendemos arbitrariamente f al conjunto finito F .
Como los calculos que siguen involucran coeficientes de Fourier de f y f ,
los cuales se definen a traves de integrales, y estas no varan si se cambia la
funcion integrando en un n
umero finito de puntos, podemos suponer que f
existe y es continua en todo [, ]. Llamemos An (n 0) y Bn (n 1) a
los coeficientes de Fourier de f , que estan definidos por ser f integrable Le
besgue. As que An = 1 f (x) cos(nx) dx y Bn = 1 f (x) sen(nx) dx.

Usando la formula de integracion por partes, es facil ver que an = Bn /n y
bn = An /n. Utilizando que 0 (|t| |u|)2 = t2 + u2 2|t||u| para todo par
140
Luis Bernal Gonz

alez
t, u R, resulta que, para todo x [, ],

|an cos(nx) + bn sen(nx)| |an | + |bn | =
|An | |Bn |
+
n
n
1 ) 1(
1)
1
1
1( 2
An + 2 + Bn2 + 2 = 2 + (A2n + Bn2 ).
2
n
2
n
n
2
El u
ltimo miembro es el termino general de una serie numerica convergente
2
de terminos positivos, ya que
n 1/n converge [pues el exponente 2 es > 1]
2
2
y tambien lo hace
n (An + Bn ) [por la desigualdad de Bessel aplicada a
f : notese que (f )2 L1 ([, ])]. Finalmente, el criterio M de Weierstrass
(Teorema 4.3.3) garantiza la convergencia uniforme de la serie de Fourier.
En terminos de los coeficientes de Fourier, puede asegurarse la convergencia uniforme cuando sea aplicable el criterio M de Weierstrass, como se ha
hecho en la parte final de la prueba del teorema anterior.
Teorema 10.4.2. Sea f : [, ] R una funcion continua con f () =
f (), extendida a R periodicamente con periodo 2. Si su serie de Fourier
converge puntualmente a f en R y las series de los coeficientes de Fourier
an y
bn son absolutamente convergentes, entonces lmN SN f = f
n=1
n=1
uniformemente en R.
Demostraci
on. La hipotesis de convergencia puntual implica, de manera parecida al principio de la prueba del teorema anterior, que si la serie de Fourier
converge uniformemente a alguna funcion, esta debe ser f . En consecuencia,
basta mostrar la convergencia uniforme. Pero esto se desprende del criterio
M de Weierstrass, ya que |an cos(nx) + bn sen(nx)| |an | + |bn | para todo
x R y todo n N.
Dos fuertes resultados, cuya prueba no incluimos aqu pero que tienen
importantes consecuencias, son los siguientes.
SERIES DE FOURIER
141
El teorema de Fejer asegura que si f : R R es continua y 2periodica, entonces la sucesion de medias aritmeticas (n f ) de sus sumas
parciales de Fourier convergen uniformemente a f en R. Aqu n f :=
1
(S0 f
n+1
+ S1 f + + Sn f ) [con S0 f := a0 /2]. La demostracion se basa
en expresar n f como una integral de n

ucleo adecuado. De este teorema
se deduce que, si una funcion f : R R continua y 2-periodica tiene
una serie de Fourier convergente uniformemente en R, entonces la suma de
la serie es precisamente f . Por tanto, en el Teorema 10.4.2 la hipotesis de
convergencia puntual a f es superflua. Tambien se puede deducir el teorema
de aproximacion de Weierstrass: para cada funcion continua f : [a, b] R
existe una sucesion polinomios (Pn ) tal que Pn f uniformemente en [a, b].
El teorema de Carleson nos dice que, para cualquier funcion medible f
con f 2 L1 ([, ]), la sucesion de sumas parciales (Sn f (x)) converge a
f (x) e.c.t. x [, ]. Esto se aplica, en particular, a cualquier funcion
continua en [, ].
Ejercicios
1.-
(a) Probar que las series de Fourier de las funciones siguientes definidas en
[0, 2) son las que se indican:
1 1
f1 (t) = t; S(f1 ) = +
sen t
2
n
n=1
2 cos (nt)
2
f2 (t) = t 2t; S(f2 ) =
+
6
n2
n=1
4 sen(2n 1)t
f3 (t) = [,2) [0,] ; S(f3 ) =
.
2n 1
n=1
(b) Estudiar la coincidencia entre las funciones y sus series de Fourier.

(c) Deducir la suma de las siguientes series numericas:
1
(1)n
y
.
2
n
n2
n=1
n=1
2.- Hallar la funcion continua en [0, 2] de la que proviene la serie de Fourier
142
Luis Bernal Gonz

alez
sen (nt)
n=1
n3
. Aplicar el resultado a calcular
1
.
n4
n=1
3.- Determinar la serie de Fourier de la funcion t [0, 2] 7 t sen t R y

estudiar su coincidencia con la funcion.
4.- Consideremos el sistema trigonometrico {sen(nt), cos(mt) : n 1, m
1} y el sistema exponencial {eint : n Z}. Un sistema A de funciones
definidas sobre un mismo intervalo I R se dice que es ortogonal cuando
I f (x)g(x) dx = 0 para todo par f, g A con f = g. Recordemos que z

denota el conjugado x iy del n
umero complejo z = x + iy, de modo que
z = z si y solo si z R. Denotemos por a0 , an , bn (n 1) los coeficientes de
Fourier de f respecto del sistema trigonometrico.
(a) Probar que cada uno de los sistemas trigonometrico y exponencial es
ortogonal en [0, 2].
(b) Sea f : [0, 2] C una funcion integrable Lebesgue, lo cual significa
que Re f e Im f son integrables Lebesgue. Consideremos los coeficientes
de Fourier de f respecto del sistema exponencial, es decir, el sistema
de n
umeros complejos fb(n) (n Z) definidos como
2
1
b
f (n) =
f (t)eint dt.
2 0
5.-
Demostrar las relaciones:

a0 = 2fb(0), an = fb(n) + fb(n), bn = i(fb(n) + fb(n)),
an ibn b
an + ibn
fb(n) =
, f (n) =
para todo n 1.
2
2
n int 1 a cos t + ia sen t
=
(a) Probar que
a (1, 1).
n=0 a e
1 2a cos t + a2
a sen t
(b) Hallar la serie de Fourier en [, ] de f (t) =
.
1 2a cos t + a2
(c) Probar que el desarrollo de Fourier del apartado anterior converge uniformemente en R.
(d) Hallar la serie de Fourier en [, ] de h(t) = log(1 2a cos t + a2 ).
(e) Calcular log(1 2a cos t + a2 ) dt.
Bibliografa
Existe una abundante bibliografa sobre series e integracion. Los libros que a
continuacion se enumeran constituyen solo una peque
na parte. Cada uno de ellos
ha podido ser usado en la elaboracion de alguna o algunas secciones de estas notas,
pero hay que tener en cuenta que el enfoque de los temas a tratar puede variar
de libro a libro. Por supuesto, todos contienen mucho mas material adicional, que
puede ayudar al lector interesado tanto a profundizar en la teora dada aqu como a
introducirse en temas nuevos. Ademas, la mayora de los textos sugeridos contienen
listados de ejercicios y problemas sobre las materias tratadas, y en algunos casos
se dan sugerencias para resolverlos. Debe observarse que algunos de los libros que
se citan abajo estan completamente dedicados a resolver o proponer ejercicios.
alisis Matem
atico, 2a ed., Reverte, Barcelona, 1991.
T.M. Apostol, An
T.M. Apostol, Calculus, 2a ed., Reverte, Barcelona, 1998.
S.K. Berberian, Introducci
on al espacio de Hilbert, Teide, Barcelona, 1977.
H.S. Bear, A Primer of Lebesgue Integration, 2nd ed., Academic Press, New
York, 2002.
J. Casasayas y M.C. Cascante, Problemas de an
alisis matem
atico, Edunsa,
Barcelona, 1990.
G. Chilov, Analyse Mathematique, Mir, Moscou, 1975.
D.L. Cohn, Measure Theory, Birkauser, Boston, 1997.
143
144
Luis Bernal Gonz

alez
B.P. Demidovich, 5000 problemas de an

alisis matem
atico, 3a ed., Paraninfo,
Madrid, 1985.
M. Guzman y B. Rubio, Problemas, conceptos y metodos del an
alisis matem
atico, Piramide, Madrid, 1993.
M. Guzman y B. Rubio, Integraci
on: Teora y Tecnicas, Alhambra, Madrid,
1979.
T. Hawkins, Lebesgue theory of integration: its origins and development,
Chelsea, USA, 1975.
F. Jones, Lebesgue Integration on Euclidean Space, Jones and Bartlett, Sudbury MA, 2001.
A.N.K. Kolmogorov y S.V. Fomin, Elementos de la teora de funciones y del
an
alisis funcional, Mir, Mosc
u, 1975.
H.L. Royden, Real analysis, 3a ed., MacMillan, New York, 1988.
B. Rubio, Funciones de variable real, B. Rubio, Madrid, 2006.
W. Rudin, An
alisis real y complejo, Alhambra, Madrid, 1987.
W. Rudin, Principios de an
alisis matem
atico, 3a ed., MacGraw-Hill, Madrid,
1980.
M. Spivak, Calculus, 2a ed., Reverte, Barcelona, 1996.
A.J. White, Introducci
on al an
alisis real, Promocion cultural, Barcelona,
1973.
H.J. Wilcox and D.L. Myers, An Introduction to Lebesgue Integration and
Fourier Series, Dover Publication Inc., New York, 1994.
Lista de smbolos y
abreviaturas
STP = serie de terminos positivos
SP = serie de potencias
VPC = valor principal de Cauchy
A := B el objeto A se define como el objeto ya conocido B
erica de termino general an

n=1 an serie num
ermino general fn
n=1 fn (x) serie de funciones de t
U (f, P ) = suma superior de Riemann de f respecto de la particion P
L(f, P ) = suma inferior de Riemann de f respecto de la particion P
[x] = parte entera del n
umero real x.
d(x, y) = distancia entre x e y en un espacio metrico
= norma en un espacio vectorial
1 = norma en el espacio L1 (X)
N = conjunto de los n
umeros naturales
N0 = N {0}
Z = conjunto de los n
umeros enteros
Q = conjunto de los n
umeros racionales
R = conjunto de los n
umeros reales
C = conjunto de los n
umeros complejos
Re z = parte real del n
umero complejo z
145
146
Luis Bernal Gonz

alez
Im z = parte imaginaria del n

umero complejo z
A0 = interior del conjunto A
A = clausura, cierre o adherencia del conjunto A
A = frontera del conjunto A
m = medida de Lebesgue
L = -algebra de los subconjuntos medibles Lebesgue de R
P (X) = conjunto de los subconjuntos del conjunto X
x + A = {x + u : u A}
A = {x : x A}
C(S) = espacio de las funciones continuas S R
C N (I) = espacio de las funciones diferenciables con continuidad
hasta orden N en el intervalo I
C (I) = espacio de las funciones infinitamente diferenciables en
el intervalo I
C (x0 ) = espacio de las funciones analticas en el punto x0
C (I) = espacio de las funciones analticas en el intervalo I

Cc (R) = espacio de las funciones continuas en R de soporte compacto
L1 (X) o L1 (, X) = espacio de las funciones integrables en X
respecto de la medida
L1 (X) = espacio de las clases de equivalencia de funciones
integrables en X
R[a, b] = espacio de las funciones integrables Riemann en [a, b]
S(R) = espacio de las funciones escalonadas
Indice alfab
etico
F -conjunto, 80
Convergencia
G -conjunto, 80
puntual o simple, 36
-
algebra, 71
uniforme, 36
de Borel, 83
Coseno hiperb
olico, 68
generada por una familia de subconjuntos, 83
Criterio
de convergencia de Dirichlet, 14
Antiderivaci
on, 17
de Abel de convergencia uniforme de series, 54
Asociatividad de una serie, 10
de Cauchy de convergencia de series, 11

de comparaci
on, 13
campo o dominio de convergencia de una sucesi

on
de comparaci
on para integrales impropias, 30
funcional, 36
de comparaci
on por paso al lmite, 13
Coeficientes
de comparaci
on por paso al lmite para inte-
de Fourier, 131
grales impropias, 30
de MacLaurin, 64
de condensaci
on de Cauchy, 13
de Taylor, 64
de convergencia de Abel, 14
Coeficientes de la SP, 56
de convergencia de la raz o de Cauchy, 13
Complementario de un conjunto, 71
de convergencia de Leibniz, 14
Condici
on
de convergencia de Pringsheim, 19
de Cauchy de convergencia de integrales im-
de convergencia de RaabeDuhamel, 13
propias, 28
de Dirichlet de convergencia uniforme de se-
de Cauchy de convergencia uniforme de series
ries, 53
de funciones, 49
de Lebesgue de integrabilidad Riemann, 113
de Cauchy de convergencia uniforme de suce-
del cociente o de DAlembert, 13
siones de funciones, 37
integral de convergencia de series, 31
de JordanDini, 137
logartmico, 19
necesaria de convergencia de series, 11
M de Weierstrass, 50
necesaria de convergencia uniforme de series,
mayorante de Weierstrass para la convergencia
50
uniforme, 50
Conjunto
mayorante para integrales impropias, 30
boreliano o de Borel, 83
de Cantor, 84
Criterios de convergencia de STPs, 13
de Vitali, 70, 86
medible, 70, 71
Desigualdad de Chebyshev, 99
medible Carath
eodory, 77
Diferencia entre dos conjuntos, 71
medible Lebesgue, 79
Distancia, 115
147
148
Luis Bernal Gonz

alez
Espacio
inferior de Darboux, 15
de Banach, 116
mixta, 27
de medida, 71
param
etrica, 123
inducido, 72
m
etrico, 115
superior de Darboux, 15
Intervalo de convergencia, 56
medible, 71
normado, 115
Lmite
puntual o simple, 36
F
ormula
uniforme, 36
de CauchyHadamard, 56
Lema
de integraci
on por partes, 19
de BorelCantelli, 86
de Lagrange del resto, 65
de Fatou, 110
de sumaci
on de Abel, 54, 62
de RiemannLebesgue, 132
del cambio de variables, 19
Linealidad para series, 10
Funci
on
analtica, 63
M
etodo de los coeficientes indeterminados, 66
beta, 34
Medida, 70, 71
caracterstica de un subconjunto, 87
-finita, 71
continua de soporte compacto, 117
cardinal, 72
entera, 66
completa, 72
escalonada, 117
de Lebesgue, 79
gamma de EulerGauss, 33
de probabilidad, 71
impar, 122, 131
exterior, 74
integrable Lebesgue, 100
exterior de Lebesgue, 76
integrable Riemann, 15
exteriormente regular, 83
medible, 89
finita, 71
medible Lebesgue, 89
interiormente regular, 83
par, 122, 131
positiva, 71
peri
odica, 122, 129
simple, 88
N
ucleo de Dirichlet, 135
simple medible, 88
N
umero combinatorio generalizado, 65
superior de una funci

on, 106
Norma, 115
zeta de Riemann, 53
Norma-1, 116
Identidad de Parseval, 134
Partes positiva y negativa de una funci

on, 17
Integral
Partici
on de un intervalo, 15
de Lebesgue de una funci

on medible, 100
Perodo de una funci

on, 129
de Lebesgue de una funci

on simple no negati-
Permutaci
on de N, 12
va, 95
Poligonal, 46
de Riemann, 15
Primer teorema fundamental del C

alculo, 18
impropia absolutamente convergente, 28
Primitiva de un funci
on, 17
impropia de primera especie, 24
Problema de la medida, 70
impropia de segunda especie, 26
Procedimiento de Carath
eodory, 77
indefinida, 18
Propiedad

Indice alfab
etico
149
conmutativa de las STPs, 12
de aproximaci
on por funciones simples, 92
distributiva para series, 10
de B. Levi de la convergencia mon

otona, 107
reproductiva de la funci
on gamma, 33
de caracterizaci
on de conjuntos medibles Lebesgue, 81
Radio de convergencia, 56
de Carath
eodory, 77
Recta real ampliada, 72
de Carleson, 141
Regla de Barrow, 18
de continuidad de integrales param

etricas, 124
de convergencia uniforme de Dini, 46
Segundo teorema fundamental del C

alculo, 18
Seminorma, 115
Seno hiperb
olico, 68
Serie, 9
absolutamente convergente, 11
alternada, 14
anarm
onica, 14
condicionalmente convergente, 12
convergente, 10
de Dirichlet, 53
de derivabilidad de integrales param

etricas, 125
de F
ejer, 141
de Lebesgue de la convergencia dominada, 111
de localizaci
on de Riemann, 136
de Pringsheim, 64
de representaci
on integral de las sumas parciales de una serie de Fourier, 135
de RiemannDirichlet, 13
del valor medio integral, 17
generalizado del valor medio integral, 21
de funciones, 47
de MacLaurin, 64
Valor medio integral, 17
de potencias, 56
Valor principal de Cauchy, 25
de t
erminos positivos, 11
de Taylor, 64
divergente, 10
incondicionalmente convergente, 12
num
erica, 9
oscilante, 10
reordenada, 12
trigonom
etrica de Fourier, 131
Sistema
exponencial, 142
ortogonal, 134, 142
trigonom
etrico, 142
Soporte de una funci
on, 105
Subconjunto denso en un espacio m
etrico, 117
Sucesi
on de funciones, 35
Suma
de una serie, 10
inferior de Riemann, 15
superior de Riemann, 15
Teorema
de Abel, 62
de aproximaci
on de Weierstrass, 141

Series de Funciones

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Series de Funciones

Uploaded by

Copyright:

Available Formats

UNIVERSIDAD DE SEVILLA

Series de funciones e integral

Luis Bernal Gonzalez

Departamento de Analisis Matematico

1.1. Series numericas . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2. Criterios de convergencia . . . . . . . . . . . . . . . . . . . . . 11

2.1. Integrales impropias de primera especie . . . . . . . . . . . . . 23

3.1. Convergencia puntual y convergencia uniforme . . . . . . . . . 35

Luis Bernal Gonz

4.1. Definiciones: sumas puntual y uniforme . . . . . . . . . . . . . 47

5.1. Radio e intervalo de convergencia de una serie de potencias . . 55

6.1. El problema de la medida . . . . . . . . . . . . . . . . . . . . 69

7.1. Funciones simples . . . . . . . . . . . . . . . . . . . . . . . . . 87

7.6. Integral de Lebesgue de funciones medibles . . . . . . . . . . . 100

8.1. Teoremas de convergencia . . . . . . . . . . . . . . . . . . . . 107

9.1. Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123

10.1. Serie de Fourier y coeficientes de Fourier . . . . . . . . . . . . 129

Lista de smbolos y abreviaturas

Luis Bernal Gonz

corporado, como recordatorio para el lector, algunos conceptos y resultados

La medida de Lebesgue sobre la recta real, como extension natural del

Luis Bernal Gonz

Para concluir, es de justicia expresar mi agradecimiento a los profesores

Como es usual, denotaremos por N el conjunto {1, 2, . . . } de los enteros

a la sucesion {Sn } de sumas parciales de aquella, es decir, Sn = nk=1 ak =

Luis Bernal Gonz

a1 + + an para todo n N. Se representa por

an , y a veces tambien por a1 +a2 + +an + . Por definicion, el caracter

an es convergente cuando {Sn }

converge, esto es, cuando existe un n

tal que Sn S. Este hecho se representa por n=1 an = S, y se dice en

tal caso que S es la suma de la serie. En el caso de que la serie

que dicha serie es convergente (con suma

si a (1, 1), divergente si

a (, 1) [1, +), y oscilante si a = 1.

asociatividad, que afirma que si una serie

y consideramos la serie reagrupada

b2 = an1 +1 + + an2 , ... con n1 < n2 < , entonces

caracter y la misma suma que la serie original n=1 an . Pero la propiedad

Anotamos que a veces la sucesion {an } que genera la serie

N {0}. En tal caso la serie se expresa como

Teorema 1.2.1. Si la serie

Por ejemplo, las series (1)n n y

Por ejemplo, la serie armonica

tal que cn 0 para todo n N. De manera natural, una serie numerica

lleva asociada una STP, a saber,

Luis Bernal Gonz

Por ejemplo, la serie

/2n converge; en efecto, la serie

Trataremos aqu sobre estos dos tipos especiales de series. Se conoce la

an se dice que es incondicionalmente

convergente cuando toda reordenacion suya converge, y a la misma suma.

Como generalizacion del teorema anterior, se tiene el teorema de Riemann

Dirichlet, que afirma que una serie

bn dos STPs. Se verifica:

(a) [Criterio de comparacion] Si existe n0 N tal que an bn para todo

n0 N tal que an bn para todo n n0 y

( (0, +], resp.) y

an es convergente (divergente, resp.).

(c) [Criterio de la raz o de Cauchy] Si existe lmn an =: L [0, +]

y L < 1 (y L > 1, resp.), entonces la serie

[0, +] y L < 1 (y L > 1, resp.), la serie

y L < 1 (y L > 1, resp.), entonces la serie