IntSeries02 2017

Integracion y Series
Notas de Clase - Semestre 02-2017
Universidad Nacional de Colombia

Sede Medelln
Escuela de Matematicas
Profesor
Eddye Bustamante (eabusta0@unal.edu.co), oficina: 43-218.
Horario de asesora: martes y jueves, 2:00 a 4:00 pm.
Bibliografa
Apostol, T. Mathematical Analysis. Segunda Edicion, Addison-Wesley. 1974.
Bartle, R. The Elements of Real Analysis. Segunda Edicion. John Wiley & Sons, Inc. 1976.
Munkres, J. Analysis on Manifolds. Westview Press. 1991.
Rudin, W. Principles of Mathematical Analysis. Tercera Edicion. McGraw-Hill International Editions.

1976.
Se realizaran 4 examenes parciales de acuerdo a la informacion de la siguiente tabla.
Primer parcial (30%) Jueves 7 de septiembre Captulo 1

Segundo parcial (25%) Jueves 12 de octubre Captulo 2
Tercer parcial (25% ) Jueves 9 de noviembre Captulo 3
Cuarto parcial (20%) Jueves 23 de noviembre Captulo 4
i
ii
Captulo 1
Integracion de Riemann
1.1 La Integral Sobre un Rectangulo

(Munkres, Seccion 10)
Definicion. Sea Q := [a1 , b1 ] [an , bn ] un rectangulo en Rn . A cada uno de los intervalos [ai , bi ] lo
llamamos intervalo componente de Q. Al maximo de los numeros b1 a1 , . . . , bn an lo llamamos ancho de Q
y al producto
v(Q) := (b1 a1 ) (bn an )
lo llamamos volumen de Q.
Dado un intervalo cerrado [a, b] de R, una particion de [a, b] es una coleccion finita P de puntos del intervalo
que incluye los puntos a y b. Usualmente indexaremos los elementos de P en orden creciente de la siguiente
forma.
a = t0 < t1 < < tk = b.
Cada uno de los intervalos [ti1 , ti ], para i = 1, . . . , k, es llamado subintervalo determinado por P , del intervalo
[a, b].
En una forma mas general, dado un rectangulo
Q = [a1 , b1 ] [an , bn ]
en Rn , una particion P de Q es una n-tupla (P1 , . . . , Pn ) tal que Pj es una particion de [aj , bj ] para cada j.
Si para cada j, Ij es uno de los subintervalos determinados por Pj del intervalo [aj , bj ], entonces el rectangulo
R = I1 In es llamado subrectangulo determinado por P , del rectangulo Q. Al maximo ancho de estos
subrectangulos lo llamaremos norma de P .
Sea Q un rectangulo en Rn y sea f : Q R una funcion acotada. Sea P una particion de Q. Para cada
subrectangulo R determinado por P definimos
mR (f ) := inf{f (x) : x R},

MR (f ) := sup{f (x) : x R}.
Definimos las sumas inferior y superior de f determinadas por P , respectivamente a

X
L(f, P ) := mR (f )v(R),
R
X
U (f, P ) := MR (f )v(R),
R
1
donde las sumas se hacen sobre todos los rectangulos R determinados por P .
Sea P := (P1 , . . . , Pn ) una particion del rectangulo Q. Si P 00 es una particion de Q obtenida de P adicionando
puntos nuevos a alguna o a todas las particiones P1 , . . . Pn entonces P 00 es llamada refinamiento de P . Dadas
dos particiones P = (P1 , . . . Pn ) y P 0 = (P10 , . . . Pn0 ) de Q, entonces la particion
P 00 := (P1 P10 , . . . , Pn Pn0 )
es un refinamiento tanto de P como de P 0 . A este refinamiento lo llamaremos refinamiento comun de P y P 0 .
Lema 1. (Munkres, Lema 10.1). Sea P una particion de un rectangulo Q en Rn y sea f : Q R una funcion
acotada. Si P 00 es un refinamiento de P , entonces
L(f, P ) L(f, P 00 ) y U (f, P 00 ) U (f, P ).
Prueba. Sea Q un rectangulo de la forma
Q = [a1 , b1 ] [an , bn ]
y P = (P1 , . . . Pn ) una particion de Q.
Es suficiente probar el lema para una particion P 00 obtenida al agregar un solo punto en alguno de los intervalos
componentes de Q. Por lo tanto sea P 00 la particion obtenida de P al agregar el punto q a la particion P1 .
Supongamos que P1 es la particion cuyos puntos son
a1 = t0 < t1 < < tk = b1
y que el punto q esta en el interior del intervalo [ti1 , ti ].
Observemos que la mayora de los subrectangulos determinados por P son los subrectangulos determinados por
P 00 , excepto por los subrectangulos determinados por P que tienen la forma
RS = [ti1 , ti ] S
donde S es un subrectangulo de [a2 , b2 ] [an , bn ] determinado por (P2 , . . . , Pn ).
Identifiquemos ahora dos tipos de subrectangulos, RS0 = [ti1 , q] S y RS00 = [q, ti ] S. Estos tipos de sub-
rectangulos son determinados por P 00 y ademas v(RS ) = v(RS0 ) + v(RS00 ).
De la definicion de nfimo es claro que mRS (f ) mRS0 (f ) y que mRS (f ) mRS00 (f ). De esta forma
mRS (f )v(RS ) = mRS (f )[v(RS0 ) + v(RS00 )] mRS0 (f )v(RS0 ) + mRS00 (f )v(RS00 ).
Y como esta desigualdad es cierta para todos los subrectangulos de la forma RS entonces se sigue que
L(f, P ) L(f, P 00 ).
En forma analoga se deduce que

U (f, P ) U (f, P 00 ).
Lema 2. (Munkres, Lema 10.2). Sea Q un rectangulo en Rn y f : Q R una funcion acotada. Si P y P 0 son
dos particiones de Q, entonces
L(f, P ) U (f, P 0 ).
2
Prueba. En el caso en que P = P 0 el resultado es obvio de las definiciones de suma superior y suma inferior.
Supongamos entonces que P 6= P 0 y definamos P 00 como su refinamiento comun. Del lema anterior se sigue que
L(f, P ) L(f, P 00 ) U (f, P 00 ) U (f, P 0 ).
Definicion. Sean Q un rectangulo en Rn y f : Q R una funcion acotada. Definamos, para P recorriendo

todas las particiones de Q, Z Z
f := sup{L(f, P )} y f := inf {U (f, P )}.
Q P Q P
Este par de numeros son llamados, respectivamente, integrales inferior y superior de f sobre Q. Observemos
que la existencia de las integrales superior e inferior esta garantizada ya que como f es acotada, si fijamos una
particion P 0 de Q, entonces el conjunto
{L(f, P ) : P es particion de Q}
es acotado superiormente por U (f, P 0 ) y el conjunto
{U (f, P ) : P es particion de Q}
es acotado inferiormente por L(f, P 0 ).
Si las integrales superior e inferior son iguales decimos que f es integrable sobre Q y definimos la integral de f
sobre Q por Z Z Z Z
f f (x) := f = f.
Q xQ Q Q
Teorema 3. (Munkres, Teorema 10.3). (Condicion de Riemann). Sea Q un rectangulo en Rn y f : Q R

una funcion acotada. Entonces Z Z
f f.
Q Q
La igualdad se da si y solo si para todo > 0 existe una particion P de Q para la cual
U (f, P ) L(f, P ) < .
Prueba. Fijemos una particion P 0 arbitraria de Q. Sabemos que L(f, P ) U (f, P 0 ) para toda particion P de
Q, entonces Z
f U (f, P 0 ).
Q
Ahora, como P 0 es una particion arbitraria entonces, tomando nfimo en el lado derecho sobre todas las posibles
particiones de Q, obtenemos Z Z
f f.
Q Q
Supongamos
Z ahora que las integrales superior e inferior son iguales. Sea > 0 arbitrario. Teniendo presente
que f = sup{L(f, P ) : P es particion de Q}, entonces existe una particion P de Q tal que
Q
Z

f < L(f, P ).
Q 2
En forma similar, existe P 0 , particion de Q, tal que

Z

U (f, P 0 ) < f+ .
Q 2
3
Definamos P 00 como el refinamiento comun de P y P 0 . Entonces de las dos desigualdades anteriores y del lema
2 se sigue que Z Z
00 00
U (f, P ) L(f, P ) < f+ f + = .
Q 2 Q 2
Para finalizar la prueba demostremos el contrarrecproco de la implicacion restante. Para esto supongamos que
las integrales inferior y superior no son iguales.
Z Z
Definamos := f f > 0. Sea P una particion arbitraria de Q. Entonces
Q Q
Z Z
L(f, P ) f y f U (f, P ).
Q Q
Luego Z Z
U (f, P ) L(f, P ) f f = .
Q Q
Teorema 4. (Munkres, Teorema 10.4). Sea Q un rectangulo en Rn y f (x) = c R para todo x Q, entonces
f es integrable en Q. Ademas, si P es una particion arbitraria de Q, se sigue que
Z X
c = c v(Q) = c v(R),
Q R
donde la suma es realizada sobre todos los subrectangulos determinados por P .
Prueba. Sea R un subrectangulo determinado por P . Entonces mR (f ) = MR (f ) = c. De esta forma

X X X
L(f, P ) = U (f, P ) = MR (f )v(R) = cv(R) = c v(R).
R R R
Esta igualdad es cierta para cualquier particion P . En particular es cierta si P es la particion cuyo unico
subrectangulo determinado es Q. Luego L(f, P ) =ZU (f, P ) = cv(Q). Por lo tanto U (f, P ) L(f, P ) = 0 < ,
para todo > 0. As que f es integrable y ademas c = cv(Q).
Q
Corolario 5. (Munkres, Corolario 10.5). Sea Q un rectangulo en Rn y sea {Q1 , . . . , Qk } una coleccion finita
de rectangulos, cuya union cubre a Q. Entonces
k
X
v(Q) v(Qi ).
i=1
Prueba. Sea Q0 un rectangulo en Rn que contenga a todos los rectangulos Q1 , . . . Qk . Usando los puntos
extremos de los intervalos componentes de los rectangulos Q, Q1 , . . . Qk definamos una particion P de Q0 .
Entonces cada uno de los rectangulos Q, Q1 , . . . , Qk es una union de subrectangulos determinados por P . De
esta forma, por el teorema anterior X
v(Q) = v(R).
RQ
Ahora, como cada uno de los rectangulos R contenidos en Q tambien esta contenido por lo menos en algun Qi
entonces
X Xk X Xk
v(R) v(R) = v(Qi ),
RQ i=1 RQi i=1
donde, la ultima desigualdad se debe nuevamente al teorema anterior.
4
Notacion. En el caso de n = 1, Q es un intervalo cerrado de la forma [a, b]. En este caso emplearemos el
smbolo Z b
f
a
para referirnos a la integal de f sobre el intervalo [a, b].
1.2 Existencia de la Integral

Definicion. Sea A un subconjunto de Rn . Decimos que A tiene medida cero en Rn si para todo > 0 existe
un cubrimiento de A, a lo sumo contable, de rectangulos {Q1 , Q2 , . . . } tal que

X
v(Qi ) < .
i=1
En estas condiciones decimos que el volumen total de los rectangulos es menor que epsilon.
Teorema 6. (Munkres, Teorema 11.1).
(a) Si B A y A tiene medida cero en Rn , entonces B tiene medida cero en Rn .
(b) Sea A la union contable de los conjuntos A1 , A2 , . . . . Si cada Ai tiene medida cero en Rn , entonces A
tiene medida cero en Rn .
(c) Un conjunto A tiene medida cero en Rn si y solo si para todo > 0 existe un cubrimiento de A, contable,
de rectangulos abiertos {Int Q1 , Int Q2 , . . . } tal que

X
v(Qi ) < .
i=1
(d) Si Q es un rectangulo en Rn , entonces su frontera, Q, tiene medida cero pero Q no.
Prueba.
(a) El resultado es inmediato pues todo cubrimiento de A es cubrimiento de B.
(b) Sea > 0 arbitrario. Como cada Aj tiene medida cero entonces cada Aj tiene un cubrimiento a lo sumo
contable de rectangulos {Q1j , Q2j , . . . } en Rn tal que
X
v(Qij ) < .
2j
i
(La suma se extiende sobre todos los i, sean finitos o infinitos). El conjunto de todos los rectangulos {Qij }
es contable y ademas
X
X X X
v(Qij ) = v(Qij ) < = .
2j
i,j j=1 i j=1
(c) Supongamos que A tiene medida cero. Sea > 0 arbitrario. Existe un cubrimiento de A a lo sumo
contable de rectangulos {Q01 , Q02 , . . . } de un volumen total menor que /2. Para cada i N escojamos un
rectangulo Qi tal que Q0i Int Qi y v(Qi ) 2v(Q0i ). (Esto es posible ya que la funcion v(Q) es continua
de los puntos extremos de los intervalos componentes de Q en R).
5
Entonces el conjunto {Int Q1 , Int Q2 , . . . } cubre a A y ademas

X
X
v(Qi ) < 2v(Q0i ) < 2/2 = .
i=1 i=1
La otra implicacion es trivial ya que Int Qi Qi para todo i N y entonces el conjunto {Q1 , Q2 , . . . } es
un cubrimiento de A.
(d) Sea Q := [a1 , b1 ] [an , bn ]. Para cada i = 1, . . . , n, el subconjunto {x Q : xi = ai } es llamado

una de las dos i-esimas caras de Q. La otra i-esima cara corresponde al conjunto {x Q : xi = bi }.
Claramente cada cara de Q tiene medida cero, por ejemplo, la cara {x Q : xi = ai } se puede cubrir con
el rectangulo
[a1 , b1 ] [ai , ai + ] [an , bn ],
cuyo volumen puede hacerse tan pequeno como se desee tomando suficientemente pequeno.
Ahora, observemos que Q es la union de todas las caras de Q, las cuales son finitas, por lo tanto Q
tiene medida cero en Rn .
Razonando por el absurdo, supongamos ahora que Q tiene medida cero en Rn . Sea := v(Q). Por
el literal (c) podemos cubrir a Q por medio de un conjunto a lo sumo contable de rectangulos abiertos
{Int Q1 , Int Q2 , . . . } tales que X
v(Qi ) < .
i
Como Q es compacto, existe k N tal que el conjunto {Int Q1 , Int Q2 , . . . , Int Qk } cubre a Q. Sin
embargo
Xk
v(Qi ) < = v(Q),
i=1
lo cual es una contradiccion (corolario 5). Concluimos entonces que los rectangulos no tienen medida cero.
Definicion. Sea Q un rectangulo en Rn y f : Q R una funcion acotada. Si a Q, > 0 y | | es la norma

euclidea en Rn , denotamos por A al conjunto
A := {f (x) : x Q, |x a| < }.
Ademas, si definimos M (f ) := sup A , y m (f ) := inf A , entonces llamamos oscilacion de f en el punto a al

numero, no negativo,
(f ; a) := inf [M (f ) m (f )].
>0
Lema 7. (Munkres, Parte de la prueba del Teorema 11.2). Sea Q un rectangulo en Rn , f : Q R una funcion
acotada y a Q. f es continua en a si y solo si (f ; a) = 0.
Prueba. Supongamos que f es continua en a. Sea > 0 arbitrario. Entonces existe > 0 tal que
|f (x) f (a)| <
para todo x Q con |x a| < . Luego
M (f ) f (a) + y m (f ) f (a) .
De esta forma M (f ) m (f ) 2 y por lo tanto (f ; a) 2. Ahora, como es arbitrario entonces v(f ; a) = 0.
6
Supongamos ahora que (f ; a) = 0. Sea > 0. Por la propiedad de aproximacion al nfimo existe > 0 tal que
M (f ) m (f ) < .
Sea x Q tal que |x a| < . Entonces
m (f ) f (x) M (f ).
Como ademas
m (f ) f (a) M (f )
entonces se sigue que
[M (f ) m (f )] < f (x) f (a) < M (f ) m (f ),
lo cual implica que < f (x) f (a) < , es decir |f (x) f (a)| < . Luego f es continua en a.
Teorema 8. (Munkres, Teorema 11.2). Sea Q un rectangulo en Rn y f R: Q R una funcion acotada. Sea D
el conjunto de los puntos de Q en los cuales f no es continua. Entonces Q f existe si y solo si D tiene medida
cero en Rn .
Prueba. Sea M > 0 tal que |f (x)| M para todo x Q.
Paso 1. Probemos que si D tiene medida cero entonces f es integrable sobre Q.

Sea > 0 arbitrario y sea 0 :=
2M + 2v(Q)
Como D tiene medida cero existe un cubrimiento de D de rectangulos abiertos {Int Q1 , Int Q2 , . . . } de un
volumen total menor que 0 . Definamos ahora, para cada punto a / D, un rectangulo abierto Int Qa tal que
a Int Qa y ademas
|f (x) f (a)| < 0 para todo x Qa Q.
(Para esto, tenemos en cuenta que f es continua en a). Entonces el conjunto
{Int Q1 , Int Q2 , ...} {Int Qa : a

/ D}
es un cubrimiento abierto de Q y como Q es compacto entonces existe un subcubrimiento finito de rectangulos

abiertos,
{Int Q1 , ..., Int Qk } {Int Qa1 , . . . , Int Qal }.
Definamos, para cada i = 1, . . . , k, Si := Qi Q y para cada i = 1 . . . , l, Ti := Qai Q.
El conjunto
{S1 , . . . , Sk } {T1 , . . . , Tl }
sigue siendo cubrimiento de Q y se cumple que
k
X
v(Si ) < 0 ,
i=1
y ademas, empleando la desigualdad triangular, que
|f (x) f (y)| 20 para todo x, y Ti , con i = 1, . . . , l.
Definamos una particion P de Q empleando los puntos extremos de los intervalos componentes de los rectangulos
S1 , . . . , Sk , T1 , . . . , Tl . Luego cada uno de estos rectangulos es una union de subrectangulos determinados por P .
7
Ahora dividamos todos los subrectangulos determinados por P en dos conjuntos disjuntos, R y R0 , de tal forma
que si R R es porque R Si para algun i = 1, . . . , k y si R R0 es porque R Ti para algun i = 1, . . . , l.
Entonces X X
(MR (f ) mR (f ))v(R) 2M v(R) 2M 0 ,
RR RR
y X X
(MR (f ) mR (f ))v(R) 20 v(R) 20 v(Q).
RR0 RR0
Por lo tanto
U (f, P ) L(f, P ) 2M 0 + 20 v(Q) = .
Luego f es integrable sobre Q.
Paso 2. Probemos ahora que si f es integrable sobre Q entonces D tiene medida cero.
Para cada m N definamos

Dm := {a Q : (f ; a) 1/m}.
Observemos que todos los puntos de los conjuntos Dm son puntos de discontinuidad de f y ademas si un punto
x Q no pertenece a la union de todos los Dm entonces (f, x) = 0 y se trata de un punto de continuidad de
f . Por lo tanto [
D= Dm .
mN
Sea m N arbitrario. Probemos que Dm tiene medida cero. Para esto fijemos > 0 arbitrario. Existe una
particion P de Q tal que

U (f, P ) L(f, P ) < .
m
0
Sea Dm el conjunto de los puntos de Dm que estan en la frontera de algun subrectangulo determinado por la
00 el conjunto de los demas puntos de D .
particion P y sea Dm m
0 es
La union de las fronteras de todos los rectangulos determinados por P es un conjunto de medida cero y Dm
0
subconjunto de esta union. Luego Dm tiene medida cero.
Veamos que Dm 00 tambien tiene medida cero. Sean R , . . . , R aquellos subrectangulos determinados por P que
1 k
contienen puntos de Dm 00 . Entonces para cada i = 1, . . . , k el rectangulo R contiene por lo menos un punto
i
a Dm00 el cual no esta en la frontera de R . Por lo tanto existe > 0 tal que el cubo abierto centrado en a con
i
radio esta completamente contenido en Ri y con esto
1
(f ; a) M (f ) m (f ) MRi (f ) mRi (f ).
m
Si multiplicamos la anterior desigualdad por v(Ri ) y sumamos de 1 a k obtenemos
k
X 1
v(Ri ) U (f, P ) L(f, P ) < .
m m
i=1
Luego
k
X
v(Ri ) < .
i=1
00 es subconjunto de esta union
Es decir, la union de los rectangulos R1 a Rk tiene medida cero y como Dm
entonces tambien tiene medida cero.
Como Dm = Dm 0 D 00 entonces cada D

m m tiene medida cero y as, D es la union contable de conjuntos de
medida cero, por lo tanto tiene medida cero.
8
Teorema 9. (Munkres, Teorema 11.3). Sea Q un rectangulo en Rn y f : Q R una funcion integrable sobre
Q.
R
(a) Si f 0 excepto en un conjunto de medida cero, entonces Q f = 0.
R
(b) Si f es no negativa y Q f = 0, entonces f 0 excepto en un conjunto de medida cero.
Prueba.
(a) Supongamos que f 0 excepto en un conjunto E de medida cero. Sea P una particion arbitraria de Q.
Si R es un subrectangulo determinado por P entonces R no esta contenido en E, por lo tanto f (x) = 0
para algun x R. Entonces mR (f ) 0 y MR (f ) 0, con lo cual L(f, P ) 0 y U (f, P ) 0. Como P es
arbitrario entonces Z Z
f 0 y f 0.
Q Q
R R
Ahora, como Qf existe entonces Qf = 0.
R
(b) Supongamos que f (x) 0 para todo x Q y Q f = 0. Como f es integrable sobre Q, por el teorema
anterior, el conjunto de puntos de discontinuidad de f tiene medida cero. Resta entonces probar que
f (x) = 0 para todos los puntos x Q en los cuales f es continua.
Supongamos que a Q es tal que f es continua en a y razonando por el absurdo supongamos que f (a) > 0.
Sea := f (a). Como f es continua en a entonces existe > 0 tal que f (x) > /2 para todo x Q tal que
|x a| < .
Tomemos una particion P de Q tal que la mayor distancia entre dos puntos de un mismo subrectangulo
determinado por P sea menor que . Si R0 es un subrectangulo determinado por P que contiene a a

entonces mR0 (f ) . De otra parte, mR (f ) 0 para todo R, luego
2
X
L(f, P ) = mR (f )v(R) mR0 (f )v(R0 ) v(R0 ) > 0.
2
R
R
Pero L(f, P ) Qf = 0.
Concluimos que f (a) = 0 y como a es un punto de continuidad arbitrario entonces f (x) = 0 para todo
x Q tal que f es continua en x.
1.3 Evaluacion de la Integral

Teorema 10. (Teorema de Fubini). Sea Q := A B donde A es un rectangulo en Rk y B es un rectangulo en

Rn . Sea f : Q R una funcion acotada, la cual escribiremos en la forma f (x, y) para x A y y B. Para
cada x A consideremos las integrales inferior y superior
Z Z
f (x, y) y f (x, y).
yB yB
Si f es integrable sobre Q, entonces estas dos funciones de x son integrables sobre A y

Z Z Z Z Z
f= f (x, y) = f (x, y).
Q xA yB xA yB
9
Prueba. Definamos, para cada x A,
Z Z
I(x) := f (x, y) y I(x) := f (x, y).
yB yB
R R
Suponiendo que Qf existe, probaremos que I y I son integrables sobre A y que sus integrales son iguales a Q f.
Sea P una particion arbitraria de Q. Entonces P consiste de una particion PA de A y una particion PB de B y
escribimos P = (PA , PB ). Ademas un subrectangulo de Q determinado por P puede escribirse como RA RB
donde RA es un subrectangulo de A determinado por PA y RB es un subrectangulo de B determinado por PB .
Veamos que L(f, P ) L(I, PA ) y que U (f, P ) U (I, PA ).
Tomemos un subrectangulo RA RB , determinado por P y un punto x0 RA . Claramente
mRA RB (f ) mRB (f (x0 , y)).
Fijemos a x0 y a RA , multipliquemos por v(RB ) y sumemos sobre todos los rectangulos RB .

X Z
mRA RB (f )v(RB ) L(f (x0 , y), PB ) f (x0 , y) = I(x0 ).
RB yB
Como este resultado es valido para todo x0 RA entonces

X
mRA RB (f )v(RB ) mRA (I).
RB
Si multiplicamos por v(RA ) y sumamos sobre todos los rectangulos RA obtenemos
L(f, P ) L(I, PA ).
Con un procedimiento analogo al empleado anteriormente se puede ver que U (f, P ) U (I, PA ).
Tenemos as que
L(f, P ) L(I, PA ) U (I, PA ) U (I, PA ) U (f, P ) (1)
y que
L(f, P ) L(I, PA ) L(I, PA ) U (I, PA ) U (f, P ). (2)
Sea > 0 arbitrario. Como f es integrable sobre Q entonces existe una particion P = (PA , PB ) de Q tal que
U (f, P ) L(f, P ) < .
De esta forma, empleando (1) y (2), se sigue que
U (I, PA ) L(I, PA ) U (f, P ) L(f, P ) <
y que
U (I, PA ) L(I, PA ) U (f, P ) L(f, P ) < .
Luego I y I son integrables sobre A y entonces
Z
L(I, PA ) I U (I, PA ), (3)
A
Z
L(I, PA ) I U (I, PA ). (4)
A
10
Por lo tanto, empleando las desigualdades (1) a (4), obtenemos
Z Z Z Z

I I =
I I U (I, PA ) L(I, PA ) < U (f, P ) L(f, P ) < .

A A A A
Y como > 0 es arbitrario entonces Z Z

I= I.
A A
Z Z
Ahora, si I> f , tenemos que
A Q
Z Z Z Z

I f =
I f U (I, PA ) L(f, P ) < U (f, P ) L(f, P ) < ,

A Q A Q
Z Z
y si f> I,
Q A
Z Z Z Z

I f =
f I U (f, P ) L(I, PA ) < U (f, P ) L(f, P ) < .

A Q Q A
En cualquier caso Z Z

I f < ,

A Q
y como es arbitrario, en realidad Z Z Z
f= I= I.
Q A A
Corolario 11. (Munkres, Corolario 12.3). Sea Q = A RB, donde A Res un rectangulo en Rk y B es un
rectangulo en Rn . Sea f : Q R una funcion acotada. Si Q f existe y yB f (x, y) existe para todo x A,
entonces Z Z Z
f= f (x, y).
Q xA yB
Corolario 12. (Munkres, Corolario 12.4). Sea Q = I1 In , donde Ij es un intervalo cerrado de R para
cada j. Si f : Q R es continua, entonces
Z Z Z
f= f (x1 , . . . , xn ).
Q x1 I1 xn In
1.4 La Integral Sobre un Conjunto Acotado

Definicion. Sean S Rn un conjunto acotado y f : S R una funcion acotada. Definamos fS : Rn R por

f (x) si x S,
fS (x) :=
0 si x
/ S.
Tomemos un rectangulo Q Rn tal que S Q. Definimos la integral de f sobre S por
Z Z
f= fS
S Q
si la ultima integral existe.

R
La definicion de S f es independiente del rectangulo Q tomado, tal como se puede concluir del siguiente lema.
11
Lema 13. (Munkres, Lema 13.1). Sean Q y Q0 rectangulos en Rn . Sea f : Rn R una funcion acotada tal
que f (x) = 0 para todo x / (Q Q0 ). f es integrable sobre Q si y solo si f es integrable sobre Q0 . En el caso
en el que las integrales existen se cumple que
Z Z
f= f.
Q Q0
Prueba. Inicialmente consideremos el caso en el cual Q Q0 . Sea E el conjunto de puntos de Int Q en los
cuales f no es continua. Entonces f : Q R y f : Q0 R son continuas excepto en los puntos de E y
probablemente en los puntos de Q. Como la existencia de cada integral es equivalente a que el conjunto E
tenga medida cero, entonces f es integrable sobre Q si y solo si f es integrable sobre Q0
Supongamos que ambas integrales existen. Sea P una particion de Q0 y P 00 un refinamiento de P obtenido
agregandole los extremos de los intervalos componentes de Q. Entonces Q es la union de subrectangulos R
determinados por P 00 . Si R es un subrectangulo determinado por P 00 que no esta contenido en Q entonces existe
por lo menos un punto de R en el cual f es cero, luego mR (f ) 0 y entonces
X Z
00
L(f, P ) L(f, P ) mR (f )v(R) f.
RQ Q
R
Con un argumento similar se puede ver que U (f, P ) Q f . As que
Z
L(f, P ) f U (f, P ).
Q
Y como P es una particion arbitraria de Q0 , tomando supremo en la desigualdad del lado izquierdo e nfimo en
la del lado derecho, obtenemos Z Z Z
f f f.
Q0 Q Q0
Es decir, Z Z
f= f.
Q Q0
Ahora, para el caso general de Q y Q0 , rectangulos arbitrarios de Rn , tomemos un rectangulo Q00 tal que
(Q Q0 ) Q00 . Entonces Z Z Z
f= f= f.
Q Q00 Q0
Lema 14. (Munkres, Lema 13.2). Sean S un subconjunto acotado de Rn , f, g : S R y F, G : S R las

funciones definidas por
F (x) := max{f (x), g(x)} y G(x) := min{f (x), g(x)}.
(a) Si f y g son continuas en x0 , entonces tambien lo son F y G,
(b) Si f y g son integrables sobre S, entonces tambien lo son F y G.

Prueba.
(a) Supongamos que f y g son continuas en x0 . Inicialmente consideremos el caso en el cual f (x0 ) = g(x0 ) = r,
entonces F (x0 ) = G(x0 ) = r. Sea > 0 arbitrario. Por la continuidad de f y g en x0 existe > 0 tal que
|f (x) r| < y |g(x) r| <
si |x x0 | < y x S. Para estos valores de x tambien se cumple que
|F (x) r| < y |G(x) r| < .
12
Luego F y G son continuas en x0 .
Supongamos ahora, sin perdida de generalidad, que f (x0 ) > g(x0 ). Por la continuidad de h := f g en
x0 , para = h(x0 ) > 0, existe > 0 tal que
|h(x) h(x0 )| < < h(x) h(x0 ) < 0 < h(x) < 2 para todo x B(x0 , ) S.
En particular, 0 < f (x) g(x) para todo x B(x0 , ) S, implica que en este conjunto, f (x) > g(x). As
que F (x) = f (x) y G(x) = g(x) en B(x0 , ) S. Como f y g son continuas en x0 , se sigue que F y G son
continuas en x0 .
(b) Supongamos ahora que f y g son integrables sobre S. Sea Q un rectangulo en Rn tal que S Q. En-
tonces fS y gS son continuas en Q excepto quizas, respectivamente, en conjuntos D, E Q de medida cero.
Claramente FS (x) = max{fS (x), gS (x)} y GS (x) = min{fS (x), gS (x)}.
Se sigue que FS y GS son continuas en Q excepto, quizas, en D E, que tiene medida cero. Ademas FS y
GS son acotadas porque fS y gS son acotadas (por ser integrables). Por lo tanto FS y GS son integrables
sobre Q.
Teorema 15. (Munkres, Teorema 13.3). (Propiedades de la Integral). Sean S un conjunto acotado de Rn y
f, g : S R funciones acotadas.
(a) (Linealidad). Si f y g son integrables sobre S y a, b R, entonces af + bg es integrable sobre S y

Z Z Z
(af + bg) = a f + b g.
S S S
(b) (Comparacion). Supongamos que f y g son integrables sobre S. Si f (x) g(x) para todo x S, entonces
Z Z
f g.
S S
Z Z

Ademas, |f | es integrable sobre S y f |f |.
S S
Z Z
(c) (Monotonicidad). Sea T S. Si f es no negativa en S e integrable sobre T y S, entonces f f.
T S
(d) (Aditividad). Si S = S1 S2 y f es integrable sobre S1 y S2 , entonces f es integrable sobre S y S1 S2 .

Ademas Z Z Z Z
f= f+ f f.
S S1 S2 S1 S2
Prueba.
(a) Es suficiente probar este resultado para la integral sobre un rectangulo ya que
(af + bg)S = afS + bgS .
Supongamos entonces que f y g son integrables sobre Q. Entonces f y g son continuas excepto, respecti-
vamente, en conjuntos D, E Q de medida cero. De esta forma af + bg es continua excepto, quizas, en
el conjunto D E. Luego es integrable sobre Q.
13
Consideremos inicialmente el caso en el cual a, b 0. Sea P 00 una particion arbitraria de Q. Si R es un
subrectangulo determinado por P 00 entonces
amR (f ) + bmR (g) af (x) + bg(x), para todo x R,
luego
amR (f ) + bmR (g) mR (af + bg).
Por lo tanto Z
00 00 00
aL(f, P ) + bL(g, P ) L(af + bg, P ) (af + bg).
Q
Y con un argumento similar puede verse que
Z
aU (f, P 00 ) + bU (g, P 00 ) (af + bg).
Q
Sean ahora P y P 0 dos particiones de Q y sea P 00 su refinamiento comun. Se sigue que

Z
aL(f, P )+bL(g, P 0 ) aL(f, P 00 )+bL(g, P 00 ) (af +bg) aU (f, P 00 )+bU (g, P 00 ) aU (f, P )+bU (g, P 0 ).
Q
Pero ademas tambien tenemos que

Z Z
aL(f, P ) + bL(g, P 0 ) a f +b g aU (f, P ) + bU (g, P 0 ).
Q Q
De esta forma, de las dos cadenas de desigualdades anteriores, se tiene que

Z Z Z
g a[U (f, P ) L(f, P )] + b[U (g, P 0 ) L(g, P 0 )].

(af + bg) a f + b

Q Q Q
Entonces, como P y P0 son particiones arbitrarias y las funciones f y g son integrables, se sigue que
Z Z Z
(af + bg) = a f +b g.
Q Q Q
Veamos ahora que Z Z

(f ) = f
Q Q
y con eso la prueba estara completa ya que, si por ejemplo, a < 0 entonces se considera (a)(f ) + bg.
Sea P una particion arbitraria de Q y sea R un subrectangulo determinado por P . Para x R tenemos
que
MR (f ) f (x) mR (f ).
Luego
MR (f ) mR (f ) y MR (f ) mR (f ).
Al multiplicar por v(R) y sumar obtenemos
Z
U (f, P ) L(f, P ) (f ) U (f, P ) L(f, P ).
Q
Pero ademas Z
U (f, P ) f L(f, P ).
Q
Luego Z Z

(f ) f U (f, P ) + L(f, P ).

Q Q
Ahora, como P es una particion arbitraria de Q y f es integrable sobre Q entonces
Z Z
(f ) = f.
Q Q
14
(b) Es suficiente probar la propiedad de comparacion sobre un rectangulo. Supongamos que f (x) g(x) para
todo x Q, donde Q es un rectangulo de Rn . Si R es cualquier rectangulo contenido en Q entonces
mR (f ) f (x) g(x)
para todo x R. Luego mR (f ) mR (g). De lo anterior se sigue que si P es una particion arbitraria de
Q entonces Z
L(f, P ) L(g, P ) g.
Q
Ahora, como P es una particion arbitraria, tenemos que
Z Z
f g.
Q Q
Observemos ademas que

|f (x)| = max{f (x), f (x)}.
Luego |f | es integrable sobre S y como
|f (x)| f (x) |f (x)|
entonces Z Z Z
|f | f |f |.
S S S
Es decir Z Z Z Z
f |f | y f |f |.
S S S S
Luego Z Z
| f| |f |.
s S
(c) Si f es no negativa y T S entonces fT (x) fS (x) para todo x S. Por lo tanto

Z Z Z Z Z
f= fT fS = fS = f.
T T T S S
(d) Sea T := S1 S2 . Probemos que f es integrable sobre S y sobre T . Inicialmente consideremos el caso en
el cual f es no negativa en S. Sea Q un rectangulo tal que S Q entonces, por hipotesis, fS1 y fS2 son
integrables sobre Q. Ademas fS y fT son integrables sobre Q ya que
fS (x) := max{fS1 (x), fS2 (x)} y fT (x) := min{fS1 (x), fS2 (x)}.
Ahora, si f no es no negativa, consideremos las funciones
f+ (x) := max{f (x), 0} y f (x) := max{f (x), 0},
que son no negativas. Como f es integrable sobre S1 y sobre S2 se sigue que f+ y f tambien lo son y
entonces, por lo considerado anteriormente para funciones no negativas, f+ y f son integrables sobre S
y T . Teniendo en cuenta que
f (x) = f+ (x) f (x)
se sigue que f es integrable sobre S y T .
Finalmente observemos que

fS (x) = fS1 (x) + fS2 (x) fT (x).
Luego Z Z Z Z
f= f+ f f.
S S1 S2 S1 S2
15
Corolario 16. (Munkres, Corolario 13.4). Sean S1 , . . . Sk conjuntos acotados de Rn . Supongamos que Si Sj
tiene medida cero si i 6= j. Sean S := S1 Sk y f : S R integrable sobre cada Si . Entonces f es
integrable sobre S y Z Z Z
f= f + + f.
S S1 Sk
Prueba. El caso k = 2 es inmediato del teorema anterior ya que si Q es un rectangulo tal que S1 S2 Q
entonces fS1 S2 (x) = 0 excepto, quizas, en un conjunto de medida cero. Luego
Z Z
f= fS1 S2 = 0.
S1 S2 Q
Para el caso general se usa induccion.
Teorema 17. (Munkres, Teorema 13.5). Sean S un conjunto acotado de Rn y f : S R una funcion acotada
y continua. Sea E el conjunto de puntos x0 S para los cuales
lim f (x) 6= 0.
xx0
Si E tiene medida cero, entonces f es integrable sobre S.
Prueba. Sea x0
/ E. Veamos que la funcion fS es continua en x0 y con esto se sigue el teorema.
Si x0 Int S entonces f y fS coinciden en una vecindad de x0 y como f es continua en x0 tambien lo es

fS .
Si x0 Ext S entonces f (x) = 0 para todo x en una vecindad de x0 , luego fS es continua en x0 .
Si x0 S entonces
lim f (x) = 0
xx0
(donde x x0 a traves de puntos de S). Y con eso, tambien
lim fS (x) = 0
xx0
(donde x x0 a traves de puntos de Rn ).
Si x0
/ S entonces
fS (x0 ) = 0 = lim fS (x)
xx0
luego fS es continua en x0 ; y si x0 S entonces, como f es continua en x0 ,
fS (x0 ) = f (x0 ) = lim f (x) = 0 = lim fS (x)

xx0 xx0
luego fS es continua en x0 .
Teorema 18. (Munkres, Teorema 13.6). Sean S un conjunto acotado en Rn , f : S RR una funcion
R acotada
y continua y A := Int S. Si f es integrable sobre S, entonces f es integrable sobre A y S f = A f .
16
Prueba.
Paso 1. Veamos que si fS es continua en un punto de Rn entonces fA es continua en tal punto y coincide con
fS all.
Sea x0 Rn un punto de continuidad de fS . Si x0 Int S o x0 Ext S el resultado se sigue igual que en el

teorema anterior. Supongamos entonces que x0 S. Por la continuidad de fS en x0 se sigue que
lim fS (x) = fS (x0 ).

xx0
Ahora, como x0 S, entonces para todo > 0 existe x B(x0 , ) tal que x
/ S y entonces fS (x) = 0. Este
hecho hace que
lim fS (x) = 0,
xx0
luego fS (x0 ) = 0. Ahora como fA (x) = fS (x) o fA (x) = 0 entonces
lim fA (x) = 0
xx0
y como x0
/ A entonces fA (x0 ) = 0.
Paso 2. Prueba del teorema.
Como f es integrable sobre S entonces fS es continua excepto en un conjunto D de medida cero. Luego, por
el paso 1, fA es continua en los puntos que no esten en D. As que f es integrable sobre A y ademas, como
fS (x) fA (x) = 0 para todo x
/ D, entonces
Z
(fS fA ) = 0,
Q
donde Q es un rectangulo en Rn tal que S Q. Por lo tanto

Z Z
f= f.
S A
1.5 Integracion y Diferenciacion

(Rudin, Captulo 6)
Teorema 19. (Rudin, Teorema 6.20). Sea f : [a, b] R una funcion acotada e integrable. Definamos, para
x [a, b], Z x
F (x) := f.
a
Entonces F es continua en [a, b]. Ademas, si f es continua en x0 [a, b], entonces F es diferenciable en x0 y
F 0 (x0 ) = f (x0 ).
Prueba. En primer lugar, observemos que F esta bien definida pues f es integrable sobre [a, b] y entonces
facilmente puede verse que es integrable sobre cualquier intervalo [c, d] [a, b]. Sea M > 0 tal que |f (t)| M
para todo t [a, b]. Sean x, y [a, b] tales que a x < y b, entonces
Z y

|F (y) F (x)| = f M (y x).
x
17

Sea > 0 arbitrario. Si definimos > 0 tal que < entonces tenemos que si x, y [a, b] son tales que
M
|x y| entonces |F (x) F (y)| < . Luego F es continua en [a, b]. De hecho es uniformemente continua en
[a, b].
Supongamos ahora que f es continua en x0 [a, b].
Sea > 0 arbitrario, entonces existe > 0 tal que
|f (t) f (x0 )| < ,
si t [a, b] es tal que |t x0 | < . Luego, si s [a, b] es tal que s > x0 y s x0 < , se sigue que
Z s Z s
F (s) F (x0 ) 1 1
f (x0 ) =
[F (s) F (x0 ) f (x0 )(s x0 )] =
f f (x0 ) 1
s x0 s x0 s x 0 x0 x0
Z s Z s
1 1
= [f (t) f (x0 )]dt < = .
s x 0 x0 s x 0 x0
Y el mismo resultado se obtiene si s [a, b] es tal que s < x0 y x0 s < . Por lo tanto F 0 (x0 ) = f (x0 ).
Teorema 20. (Teorema Fundamental del Calculo). (Rudin, Teorema 6.21). Sean f : [a, b] R una funcion
acotada e integrable y F : [a, b] R una funcion diferenciable tal que F 0 = f , entonces
Z b
f = F (b) F (a).
a
Prueba. Sea > 0 arbitrario. Como f es integrable en [a, b] entonces existe una particion P de [a, b] tal que
U (f, P ) L(f, P ) < .
Aplicando el Teorema del Valor Medio en cada intervalo [xi1 , xi ] existe ti (xi1 , xi ) tal que
F (xi ) F (xi1 ) = f (ti )(xi xi1 ).
De esta forma
n
X
f (ti )(xi xi1 ) = F (b) F (a).
i=1
Con esto Z b X Z b
n

F (b) F (a) f = f (ti )(xi xi1 ) f U (f, P ) L(f, P ),

a
i=1 a
donde, la ultima desigualdad se sigue del siguiente par de hechos:

n
X Z b
L(f, P ) f (ti )(xi xi1 ) U (f, P ) y L(f, P ) f U (f, P ).
i=1 a
De esta forma Z b

F (b) F (a) f < ,

a
y como es arbitrario entonces
Z b
f = F (b) F (a).
a
18
1.6 Conjuntos Rectificables
Definicion. Sea S Rn un conjunto acotado. Si la funcion constante 1 es integrable sobre S decimos que S
es rectificable y definimos el volumen de S por
Z
v(S) := 1.
S
Teorema 21. (Munkres, Teorema 14.1). Un subconjunto S Rn es rectificable si y solo si S es acotado y S

tiene medida cero.
Prueba. La funcion 1S es continua en los conjuntos Int S y Ext S y es discontinua en S. Sea Q un rectangulo
en Rn tal que S Q. Entonces 1S es integrable sobre Q si y solo si S tiene medida cero.
Teorema 22. (Munkres, Teorema 14.2). (Propiedades de los Conjuntos Rectificables).
(a) (Positividad). Si S es rectificable, entonces v(S) 0.
(b) (Monotonicidad). Si S1 y S2 son rectificables y si S1 S2 entonces v(S1 ) v(S2 ).
(c) (Aditividad). Si S1 y S2 son rectificables, entonces tambien lo son S1 S2 y S1 S2 y ademas
v(S1 S2 ) = v(S1 ) + v(S2 ) v(S1 S2 ).
(d) Sea S rectificable. v(S) = 0 si y solo si S tiene medida cero.
(e) Si S es rectificable, entonces A := Int S es rectificable y v(S) = v(A).
(f ) Si S es rectificable y f : S R es una funcion acotada y continua, entonces f es integrable sobre S.
Prueba. La prueba de este teorema se sigue inmediatamente de los resultados anteriormente probados.
Definicion. Sean C Rn1 un conjunto compacto rectificable y , : C R funciones continuas tales que
(x) (x) para todo x C. El conjunto S Rn definido por
S := {(x, t) Rn : x C y (x) t (x)}
es llamado region simple de Rn .
Lema 23. (Munkres, Lema 14.3). Si S es una region simple de Rn , entonces S es compacto y rectificable.
Prueba. Supongamos que S es una region simple. Veamos que S es compacto y que S tiene medida cero,
con lo cual S es rectificable.
Paso 1. Probemos que S (G G D), donde G y G son las graficas de y , respectivamente, las
cuales estan definidas por
G := {(x, t) : x C y t = (x)} y G := {(x, t) : x C y t = (x)}
y D es el conjunto definido por
D := {(x, t); x C y (x) t (x)}.
Claramente (G G D) S luego, despues de realizado el paso 1, S S con lo cual S resulta ser cerrado.
Ademas, de la definicion, S es acotado por lo tanto es compacto.
19
Supongamos que (x0 , t0 )
/ (G G D). Probemos que (x0 , t0 )
/ S.
Si x0 / C entonces existe > 0 tal que B(x0 , ) C = . Luego [B(x0 , ) R] S = y entonces

(x0 , t0 ) Ext S.
Si x0 C y t0 < (x0 ) consideremos la funcion F : C R R definida por F (x, t) = (x)t. Claramente

esta funcion es continua en (x0 , t0 ) y F (x0 , t0 ) > 0. Luego existe > 0 tal que F (x, t) > 0 para todo
(x, t) B((x0 , t0 ), ) tal que x C. De esta forma (x0 , t0 ) Ext S.
Si x0 C y t0 > (x0 ), con un argumento analogo al caso anterior se sigue que (x0 , t0 ) Ext S.
Si x0 Int C y (x0 ) < t0 < (x0 ) nuevamente con un argumento analogo se sigue que (x0 , t0 ) Int S.
Paso 2. Probemos que G y G tienen medida cero.

Tomemos un rectangulo Q Rn1 tal que C Q. Sean > 0 arbitrario y 0 := . Como es continua y
2v(Q)
C es compacto entonces es uniformemente continua en C luego existe > 0 tal que
|(x) (y)| < 0
si x, y C son tales que |x y| < .
Sea P una particion de Q tal que todo par de puntos de cualquier subrectangulo determinado por P esten
a una distancia menor que . Si R es un subrectangulo determinado por P y R intercepta a C entonces
|(x) (y)| < 0 para todo x, y R C. Para cada R de esos tomemos un punto xR R C y definamos el
intervalo
IR := [(xR ) 0 , (xR ) + 0 ].
El rectangulo R IR de Rn contiene todos los puntos de la forma (x, (x)) para los cuales x C R. Luego
el conjunto
{R IR : C R es no vaco}
es un cubrimiento de G tal que
X X
v(R IR ) = v(R)(20 ) 20 v(Q) = .
R R
Por lo tanto G tiene medida cero.
En forma similar se prueba que G tiene medida cero.
Paso 3. Probemos que D tiene medida cero, con lo cual el teorema estara probado.
Como y son continuas y C es compacto entonces existe M > 0 tal que
M (x) (x) M
para todo x C.
Sea > 0 arbitrario. Como C es rectificable (por definicion de S), entonces C tiene medida cero en Rn1 ,
luego existe un cubrimiento a lo sumo contable {Q1 , Q2 , . . . } de C de rectangulos en Rn1 de un volumen
total menor que /2M . Entonces el conjunto
{Qi [M, M ] : i = 1, 2, . . . }
es un cubrimiento de D en Rn con volumen menor que . Luego D tiene medida cero.
20
Teorema 24. (Teorema de Fubini Para Regiones Simples). (Munkres, Teorema 14.4). Sea
S := {(x, t) : x C y (x) t (x)}
una region simple en Rn . Sea f : S R una funcion continua. Entonces f es integrable sobre S y
Z Z Z t=(x)
f= f (x, t).
S xC t=(x)
Prueba. Del lema anterior tenemos que S es compacto y rectificable. Como f es continua en S y S es com-
pacto, f es acotada en S. Luego, del Teorema 22 literal f, se sigue que f es integrable sobre S.
Sea Q[M, M ] un rectangulo en Rn que contiene a S. Si x0 Q esta fijo, la funcion fS (x0 , t ) es identicamente
cero (si x0
/ C), o es continua excepto quizas en dos puntos de R. Luego fS (x0 , t ) es integrable en [M, M ]
para todo x0 Q. Concluimos del Teorema de Fubini para rectangulos, que
Z Z Z t=M
f := fS (x, t).
S xQ t=M
Pero la integral interior es cero si x

/ C, luego
Z Z Z t=M
f := fS (x, t).
S xC t=M
Ahora, fS (x, t) = 0 a menos que (x) t (x), caso en el cual fS (x, t) = f (x, t). Por lo tanto
Z Z Z t=(x)
f= f (x, t).
S xC t=(x)
1.7 Integrales Impropias

Definicion. Sean A un conjunto abierto en Rn y f : A R unaR funcion continua. Si f es no negativa

R sobre
A, definimos la integral extendida de f sobre A, y la denotamos A f , al supremo de los numeros D f , donde
D son todos los subconjuntos compactos rectificables de A, dado que tal supremo exista. En este caso decimos
que f es integrable sobre A (en el sentido extendido). En una forma mas general, si f es una funcion continua
arbitraria definida sobre un conjunto A, y definimos
f+ (x) := max{f (x), 0} y f (x) := max{f (x), 0},
decimos que f es integrable sobre A (en el sentido extendido) si tanto f+ como f lo son. En este caso
Z Z Z
f := f+ f .
A A A
Convencion. Si A es un conjunto abierto en Rn , entonces

R
Af denotara la integral extendida, a menos que se
especifique lo contrario.
Lema 25. (Munkres, Lema 15.1). Sea A un conjunto abierto en Rn . Entonces existe una sucesion C1 , C2 , . . .
de subconjuntos compactos rectificables de A cuya union es A, tal que CN Int CN +1 para todo N N.
21
Prueba. Definamos d(x, y) := |x y| para x, y Rn y si B Rn , denotemos d(x, B) a la distancia desde
x Rn hasta B.
Sea B = Rn A y dado N N, definamos
DN := {x Rn : d(x, B) 1/N y d(x, 0) N }.
Como d(x , B) y d(x , 0) son funciones continuas de x entonces DN es un conjunto cerrado de Rn . Ademas DN
es acotado pues esta contenido en la bola de radio N centrada en 0, luego DN es un compacto.
Observemos que la desigualdad d(x, B) 1/N implica que si x DN entonces x

/ B. Luego DN A.
Veamos ahora que el conjunto

{DN : N N}
es un cubrimiento de A. Sea x A. Como A es un conjunto abierto tenemos que d(x, B) > 0, entonces existe
N N tal que d(x, B) 1/N y d(x, 0) N y con esto x DN . Por lo tanto la union de los DN es igual a A.
Definamos, para cada N N,
AN := {x Rn : d(x, B) > 1/N y d(x, 0) < N }.
Los conjuntos AN son abiertos (nuevamente por el hecho de ser d(x , B) y d(x , 0) funciones continuas). Ademas
DN AN +1 DN +1 para todo N N, por definicion, luego DN Int DN +1 para todo N N.
Construyamos los compactos rectificables CN de la siguiente forma: dado N N, por cada x DN tomemos
un cubo cerrado centrado en x y contenido en Int DN +1 . Los interiores de estos cubos cubren a DN . Como DN
es compacto existe una subcoleccion finita de este cubrimiento. Llamemos a CN a la union finita de los cubos
cerrados cuyos interiores cubren a DN . Claramente CN es compacto y, por ser la union finita de rectangulos,
CN es rectificable.
Por la forma en que se construyeron los CN tenemos, para todo N N, que
DN Int CN CN Int DN +1 .
Luego CN Int CN +1 (pues Int DN +1 DN +1 Int CN +1 ) y la union de los CN es igual a A.
Teorema 26. (Munkres, Teorema 15.2). Sean A un conjunto abierto de Rn y f : A R una funcion
continua. Tomemos una sucesion {CN } de subconjuntos compactos y rectificables de A tal que suR union sea
A y CN Int CN +1 para todo N N. Entonces f es integrable sobre A si y solo si la sucesion { CN |f |} es
acotada. En este caso Z Z
f = lim f.
A N CN
Prueba.
Paso 1. Probemos el teorema en el caso en el que f es no negativa.

R
Tenemos que f = |f | y que la sucesion { CN f } es creciente. Por lo tanto, tal sucesion converge si y solo si es
acotada.
Inicialmente supongamos que f es integrable sobre A. Entonces

Z Z Z
f sup f = f,
CN D D A
22
donde los conjuntos D son todos los compactos rectificables subconjuntos de A. Luego la sucesion
Z
f :N N
CN
es acotada y Z Z
lim f f.
N CN A
Supongamos ahora que la sucesion Z

f :N N
CN
es acotada. Sea D un subconjunto compacto rectificable de A. Entonces D esta cubierto por
{Int C1 , Int C2 , . . . }.
Por lo tanto existe una subcoleccion finita que tambien cubre a D (por ser compacto). Luego existe M N tal
que D CM . Entonces Z Z Z
f f lim f.
D CM N CN
Como D es arbitrario se sigue que f es integrable sobre A y

Z Z
f lim f.
A N CN
Paso 2. Consideremos ahora f : A R continua, arbitraria.
Por definicion, f es integrable

R sobre A Rsi y solo si f+ y f son integrables sobre A y, por el paso 1, esto ocurre
si y solo si las sucesiones { CN f+ } y { CN f } son acotadas.
Notemos que
0 f+ (x) |f (x)| y 0 f (x) |f (x)|,
y que
|f (x)| = f+ (x) + f (x).
R R R
Se sigue entonces que las sucesiones { CN f+ } y { CN f } son acotadas si y solo si la sucesion { CN |f |} es
R R
acotada. En este caso, las dos sucesiones anteriores convergen a A f+ y A f , respectivamente. Como las
sucesiones convergentes pueden ser sumadas termino a termino, la sucesion
Z
f ,
CN
R R R R R R
donde CN f= CN f+ CN f , converge a A f+ A f lo cual es igual a A f, por definicion.
Nota. Del teorema anterior se sigue que f es integrable sobre A si y solo si |f | es integrable sobre A.
23
Teorema 27. (Munkres, Teorema 15.3). Sean A un conjunto abierto en Rn y f, g : A R funciones continuas.
(a) (Linealidad). Si f y g son integrables sobre A, entonces tambien lo son af + bg y

Z Z Z
(af + bg) = a f +b g,
A A A
donde a, b son constantes reales.
(b) (Comparacion). Sean f y g integrables sobre A. Si f (x) g(x) para todo x A, entonces
Z Z
f g.
A A
En particular Z Z
| f| |f |.
A A
(c) (Monotonicidad). Supongamos que B es un conjunto abierto en Rn y que B A. Si f es no negativa en

A e integrable sobre A, entonces f es integrable sobre B y
Z Z
f f.
B A
(d) (Aditividad). Supongamos que A y B son abiertos en Rn y que f es una funcion continua definida sobre
A B. Si f es integrable sobre A y sobre B, entonces f es integrable sobre A B y A B y
Z Z Z Z
f= f+ f f.
AB A B AB
Observacion: en todo el teorema la integral que se esta considerando es la integral extendida.
Prueba. Sea {CN } una sucesion de conjuntos compactos rectificables cuya union es A, tales que CN Int CN +1
para todo N N.
(a) Por las propiedades de la integral ordinaria tenemos que

Z Z Z
|af + bg| |a| |f | + |b| |g|.
CN CN CN
R R R
Como las sucesiones { CN |f |} y { CN |g|} son acotadas, tambien lo es la sucesion { CN |af + bg|}. De
esta forma, el resultado se sigue tomando lmite en la ecuacion
Z Z Z
(af + bg) = a f +b g.
CN CN CN
(b) Si f (x) g(x), tomamos lmite en la desigualdad

Z Z
f g
CN CN
y obtenemos el resultado.
(c) Si D es un subconjunto compacto rectificable de B, entonces D tambien es un subconjunto compacto

rectificable de A, as que Z Z
f f,
D A
R R
por definicion. Como D es arbitrario entonces f es integrable sobre B y B f A f.
24
(d) Sea {DN } una sucesion de subconjuntos compactos rectificables cuya union es B tal que DN Int DN +1
para todo N N. Sea
EN := CN DN y FN := CN DN .
Entonces EN y FN son sucesiones de compactos rectificables cuyas uniones son iguales a A B y A B,
respectivamente.
Mostremos que EN Int EN +1 y FN Int FN +1 .
Si x EN entonces x pertenece a CN o a DN luego existe > 0 tal que B(x, ) esta contenida en Int CN +1
o en Int DN +1 , respectivamente. En ambos casos B(x, ) EN +1 y por consiguiente x Int EN +1 .
En forma similar, si x FN entonces existen 1 , 2 > 0 tal que B(x, 1 ) Int CN +1 y B(x, 2 ) Int DN +1 .
Luego x B(x, 1 ) B(x, 2 ) Int FN +1 . Entonces x Int FN +1 .
Por aditividad de la integral ordinaria tenemos que

Z Z Z Z
f= f+ f f. (5)
EN CN DN FN
R R
Aplicando esta ecuacion a la funcion |f | vemos que EN |f | y FN |f | son acotadas superiormente por
Z Z
|f | + |f |.
CN DN
Luego, f es integrable sobre A B y sobre A B y tomando lmites en (5) obtenemos

Z Z Z Z
f= f+ f f.
AB A B AB
Teorema 28. (Munkres, Teorema 15.4). Sean A un conjunto R abierto y acotado de Rn y f : RA R una
funcion continua y acotada. Entonces la integral extendida A f existe. Si la integral ordinaria A f tambien
existe entonces las dos integrales son iguales.
Prueba. Sea Q un rectangulo en Rn tal que A Q.
Paso 1. Mostremos que la integal extendida de f existe.
Sea M > 0 tal que |f (x)| M para todo x A. Entonecs para todo subconjunto compacto y rectificable D de
A se tiene que Z Z
|f | M M v(Q).
D D
Luego f es integrable sobre A en el sentido extendido.
Paso 2. Consideremos el caso en el cual f es no negativa.
Supongamos que la integal ordinaria de f sobre A existe, entonces es igual a la integral ordinaria de fA sobre
Q. Si D es un subconjunto compacto y rectificable de A entonces
Z Z Z Z
f= fA fA = f.
D D Q A
25
Como D es arbitrario entonces la integral extendida de f sobre A es menor o igual que la integral ordinaria de
f sobre A.
Probemos ahora la otra desigualdad. Sea P una particion de Q. Si no existe algun subrectangulo determinado
por la particion que este completamente contenido en A, entonces L(fA , P ) = 0 y si esto ocurre para todas las
posibles particiones, entonces la integral extendida de f sobre A es cero y se tiene el resultado.
Supongamos entonces que existe por lo menos una particion P en la cual uno o mas subrectangulos determinados
por la particion estan contenidos en A. Llamamos R1 , . . . Rk a aquellos subrectangulos y D := R1 Rk .
Entonces
k
X
L(fA , P ) = mRi (f )v(Ri )
i=1
ya que mR (fA ) = mR (f ) si R A y mR (fA ) = 0 si R 6 A. Por lo tanto
k
X k Z
X Z Z
L(fA , P ) = mRi (f )v(Ri ) f= f f,
i=1 i=1 Ri D A
donde la ultima integral es en el sentido extendido.
Si tomamos supremo en esta desigualdad, sobre todas las particiones, se tiene que la integral ordinaria de f
sobre A es menor o igual que la integral extendida de f sobre A.
Concluimos que las dos integrales (la ordinaria y la extendida) son iguales.
Paso 3. Consideremos ahora el caso general.
Escribamos f = f+ f . Como f es integrable sobre A en el sentido ordinario entonces tambien lo son f+ y

f . Entonces Z Z Z
f= f+ f
A A A
(todas las integrales en el sentido ordinario). Pero por el paso 2, Rla suma del lado derecho es igual a las mismas
integrales en el sentido extendido y a su vez esta suma es igual a A f en el sentido extendido. Luego la integral
de f sobre A en el sentido ordinario y en el sentido extendido son iguales.
Corolario 29. (Munkres, Corolario 15.5). Sean S un conjunto acotado en Rn y f : S R una funcion acotada
y continua. Si f es integrable sobre S en el sentido ordinario, entonces
Z Z
f= f.
S Int S
(La integral del lado izquierdo en el sentido ordinario y la integral del lado derecho en el sentido extendido).
Prueba. La prueba de este resultado se obtiene directamente aplicando los Teoremas 18 y 28.
Teorema 30. (Munkres, Teorema 15.6). Sean A un conjunto abierto en Rn y f : A R una R funcion continua.
n
Sean U1 U2 R una sucesion de conjuntos abiertos en R cuya union sea A. Entonces A f existe si y solo
si la sucesion { UN |f |} existe y es acotada, en este caso
Z Z
f = lim f.
A N UN
R
Prueba. Sin perdida de generalidad supongamos que f es no negativa. Supongamos que A f existe. Por la
monotonicidad de la integral extendida se sigue que f es integrable sobre UN y que para cada N
Z Z
f f.
UN A
26
R
Luego la sucesion creciente { UN f } converge y
Z Z
lim f f.
N UN A
R
Supongamos ahora que { UN f } existe y que es acotada. Sea D un subconjunto compacto y rectificable de A.
Como D es cubierto por la sucesion U1 U2 , por compacidad tambien es cubierto por un numero finito
de ellos y por consiguiente por un UM . Entonces
Z Z Z
f f lim f.
D UM N UN
Ahora, como D es arbitrario entonces Z Z

f lim f.
A N UN
27
Captulo 2
Series Infinitas
2.1 Sucesiones Convergentes y Divergentes de Numeros Complejos

(Apostol, Seccion 8.2)
Definicion. Decimos que una sucesion {an } de puntos en C es convergente si existe un punto p C con la
siguiente propiedad:
Para todo > 0 existe un numero entero N (que depende de ) tal que
|an p| < cuando n N .
Si {an } converge a p escribimos lim an = p y llamamos a p el lmite de la sucesion.

n
Decimos que una sucesion es divergente si no es convergente.
Una sucesion en C es llamada sucesion de Cauchy si satisface la condicion de Cauchy:

Para todo > 0 existe un entero N tal que
|an am | < cuando n N y m N .
Como C es un espacio metrico completo entonces una sucesion en C es convergente si y solo si es una sucesion
de Cauchy.
Toda sucesion convergente es acotada y por lo tanto una sucesion no acotada es necesariamente divergente.
Si una sucesion {an } converge a p entonces toda subsucesion {ank } tambien converge a p.
Una sucesion {an } cuyos terminos son numeros reales se dice que diverge a + si para todo M > 0 existe un
entero N (que depende de M ) tal que
an > M cuando n N .
En este caso escribimos lim an = +.
n
Si lim (an ) = + escribimos lim an = y decimos que {an } diverge a .

n n
28
2.2 Lmites Superior e Inferior de Sucesiones de Valor Real
Definicion. Sea {an } una sucesion de numeros reales. Supongamos que existe un numero U que satisface las
siguientes dos condiciones.
(i) Para todo > 0 existe un entero N tal que n > N implica que an < U + .
(ii) Dado > 0 y dado m > 0 existe un entero n > m tal que an > U .
Entonces U es llamado el lmite superior de {an } y escribimos
U = lim sup lim an .

n n
La afirmacion (i) implica que el conjunto {a1 , a2 , . . . } es acotado superiormente. Si este conjunto no es acotado
superiormente definimos
lim an = +.
n
Si el conjunto es acotado superiormente pero no inferiormente y si {an } no tiene un lmite superior finito
entonces decimos que
lim = .
n
Entonces el lmite inferior de {an } se define por
lim inf an lim an = lim bn , donde bn = an , para n = 1, 2, . . .

n n n
Notas
La afirmacion (i) significa que al final de la sucesion todos los terminos estan a la izquierda de U + .
La afirmacion (ii) significa que un numero infinito de terminos estan a la derecha de U .
Es claro que no puede haber mas de un U que satisfaga (i) y (ii) a la vez.
Toda sucesion de numeros reales tiene un lmite superior y un lmite inferior en el sistema de los reales
extendidos.
Teorema 1. (Apostol, Teorema 8.3). Sea {an } una sucesion de numeros reales. Entonces tenemos:
(a) lim an lim an .

n n
(b) La sucesion converge si y solo si lim an y lim an son ambos finitos e iguales. Si este es el caso entonces
n n
lim an = lim an = lim an .

n n n
(c) La sucesion diverge a + si y solo si lim an = lim an = +.

n n
(d) La sucesion diverge a si y solo si lim an = lim an = .

n n
La prueba de este teorema se deja como ejercicio.
Nota. Una sucesion para la cual lim an 6= lim an se dice que oscila.
n n
29
Teorema 2. (Apostol, Teorema 8.4). Sean {an } y {bn } sucesiones tales que an bn para todo n N. Entonces
lim an lim bn y lim an lim bn .

n n n n
La prueba de este teorema se deja como ejercicio.
Ejemplos
Sea {an } una sucesion tal que an = (1)n (1 + 1/n). Entonces lim an = 1 y lim an = 1.
n n
Sea {an } una sucesion tal que an = (1)n . Entonces lim an = 1 y lim an = 1.
n n
Sea {an } una sucesion tal que an = (1)n n. Entonces lim an = y lim an = +.
n n
1
Sea {an } una sucesion tal que an = n2 sen2 ( n). Entonces lim an = 0 y lim an = +.
2 n n
2.3 Sucesiones Monotonas de Numeros Reales

Definicion. Sea {an } una sucesion de numeros reales. Decimos que la sucesion es creciente y escribimos an %
si an an+1 para n = 1, 2, 3, . . . y decimos que la sucesion es decreciente y escribimos an & si an an+1 para
n = 1, 2, 3, . . .
Una sucesion es llamada monotona si es creciente o decreciente.
Teorema 3. (Apostol, Teorema 8.6). Una sucesion monotona converge si y solo si es acotada.
Prueba. Sabemos que si una sucecion converge entonces es acotada. Veamos ahora la otra implicacion.
Sin perdida de generalidad supongamos que an % (el caso an & es analogo). Definamos E como el rango de la
sucesion, es decir, E := {a1 , a2 , . . . }. Supongamos que la sucesion es acotada y definamos a := sup E. Entonces
an a para todo n N.
Si > 0 es arbitrario entonces por el principio de aproximacion al supremo existe N N tal que
a < aN a.
Por lo tanto, si n > N entonces tenemos que
a < aN an a < a + .
De lo anterior concluimos que |an a| < . Es decir an a.
2.4 Series Infinitas

Definicion. Sea {an } una sucesion dada de numeros reales o complejos. Formemos una nueva sucesion {sn }
de la siguiente forma.
n
X
sn := a1 + a2 + a3 + = ak , para cada n N.
k=1
30
El par ordenado de sucesiones ({an }, {sn }) es llamado serie infinita. El numero sn es llamado n-esima suma
parcial de la serie. Decimos que la serie converge o diverge de acuerdo a si {sn } es una sucesion convergente o
divergente. Si la sucesion {sn } converge a s entonces el numero s es llamado suma de la serie y escribimos

X
s= ak .
k=1

P P
De esta forma, para las series convergentes, el smbolo ak ( o simplemente ak ) es usado para denotar tanto
k=1
a la serie como a la suma.
P P
Teorema 4. (Apostol, Teorema P 8.8). Sean a = ak y b = bk series convergentes. Entonces para todo par
de constantes y , la serie (ak + bk ) converge a la suma a + b. Es decir,

X
X
X
(ak + bk ) = ak + bk .
k=1 k=1 k=1
Prueba. Observemos que para cada n N tenemos que

n
X n
X n
X
(ak + bk ) = ak + bk .
k=1 k=1 k=1
Definamos las sucesiones {sn }, {an } y {bn } por

n
X n
X n
X
sn := (ak + bk ), an := ak , bn := bk .
k=1 k=1 k=1
Entonces, para cada n N obtenemos sn = an + bn .
Como an a y bn b entonces se sigue el resultado.

P
Teorema 5. (Apostol, Teorema 8.9). Sea an 0 para todo n N. Entonces an converge si y solo si la
sucesion de sumas parciales es acotada superiormente.
Prueba. Para cada n N definamos sn := a1 + + an . Como an 0 para todo n, entonces la sucesion {sn }
es creciente. De lo anterior se sigue el resultado.
Teorema 6. (Series Telescopicas). (Apostol, P Teorema 8.10). Sean {an } y {bn } dos sucesiones tales que
an = bn+1 bn para n = 1, 2, . . . Entonces an converge si y solo si lim bn existe, caso en el cual
n

X
an = lim bn b1 .
n
n=1
Prueba. Observemos que para cada n N tenemos que

n
X n
X
ak = (bk+1 bk ) = bn+1 b1 .
k=1 k=1
De la anterior igualdad se sigue el resultado.

P
Teorema 7. (Condicion de Cauchy Para Series). (Apostol, Teorema 8.11). La serie an converge si y solo
si para todo > 0 existe un entero N tal que si n > N se sigue que
|an+1 + + an+p | < para cada p = 1, 2, . . .
Pn
Prueba. Definamos sn := k=1 ak y observemos que sn+p sn = an+1 + + an+p .
Como R es un espacio metrico completo entonces la sucesion {sn } converge si y solo si es una sucesion de
Cauchy.
31
Observaciones:
P
Supongamos que la serie ak es convergente. Entonces aplicando el teorema anterior con p = 1, dado
> 0 existe un entero N tal que si n > N se sigue que
|an+1 0| < .
Lo cual significa que an 0.

P
El hecho de que una sucesion {an } sea tal que an 0 no implica que la serie ak sea convergente. Por
ejemplo si para cada n N an := 1/n entonces cuando n = 2m y p = 2m , se sigue que
1 1 1 2m 1
an+1 + + an+p = + + + = .
2m + 1 2m + 2 2m + 2m 2m + 2m 2
1
Por lo tanto si no se cumple la condicion de Cauchy y entonces la serie diverge.
2

P
La serie (1/n) es llamada serie armonica.
n=1
2.5 Insertando y Removiendo Parentesis

Definicion. Sea p : N N una funcion estrictamente creciente, es decir, p(n) < p(m) para todo n, m N tales
que n < m. Observemos que p cumple la siguiente propiedad, la cual usaremos mas adelante y que facilmente
se puede probar empleando induccion matematica: p(n) n para todo n N.
P P
Si an ybn son dos series tales que

b1 = a1 + a2 + + ap(1) ,
(1)
bn+1 = ap(n)+1 + ap(n)+2 + + ap(n+1) , si n = 1, 2, . . .
P P P P
entonces decimos que bn es obtenida de an insertando parentesis y que an es obtenida de bn re-
moviendo parentesis.
P P P
Teorema 8. (Apostol, Teorema 8.13). Si an converge a s, entonces todas las series bn obtenidas de an
insertando parentesis tambien convergen a s.
P P
Prueba. Sean an y bn dos series relacionadas mediante (1) y definamos
n
X n
X
sn := ak y tn := bk .
k=1 k=1
Entonces {tn } es una subsucesion {sn }. En realidad tn = sp(n) . Por lo tanto la convergencia de {sn } a s implica
la convergencia de {tn } a s.
Observacion. Remover parentesis puede afectar la convergencia de una serie.P Por ejemplo, si bn := 0 y
an := (1)n para
P todo n N y p es Pla funcion definida por
P p(n) := 2n, entonces an es obtenida removiendo
parentesis de bn . Sin embargo, bn es convergente y an es divergente.
P P
Teorema 9. (Apostol, Teorema 8.14). Sea an obtenida removiendo parentesis de bn . SupongamosPque
existe una constante M > 0 tal que p(n + 1) p(n) < M para todo n y que ademas lim an = 0. Entonces an
P n
converge si y solo si bn converge, caso en el cual tienen la misma suma.
32
P P
Prueba. Si an converge sabemos que bn converge. Veamos la otra implicacion. Sean
n
X n
X
sn := ak , tn := bk y t := lim tn .
n
k=1 k=1
Sea > 0 arbitrario, entonces existe N N tal que si n > N se sigue que

|tn t| < y |an | < .
2 2M
Sea n > p(N ). Como p(N ) N , entonces en realidad tenemos la cadena de desigualdades
N p(N ) < n.
Consideremos el conjunto
A := {m N : N p(m) < n},
el cual es no vaco pues N A. Ademas A es finito. Sea m := max A. Si p(m) = n, como p es estrictamente
creciente, tenemos que n < p(m + 1). Ahora, si p(m) 6= n, es porque n no es un elemento del rango de p. En este
caso tambien se cumple que n < p(m + 1). Reuniendo todo lo anterior tenemos que N p(m) n < p(m + 1).
Luego
sn =a1 + + ap(m+1) (an+1 + an+2 + + ap(m+1) )

=tm+1 (an+1 + an+2 + + ap(m+1) ).
Como N A y m = max A, entonces m N , y con esto m + 1 > N . Por lo tanto
|sn t| |tm+1 t| + |an+1 + an+2 + + ap(m+1) |

|tm+1 t| + |an+1 | + |an+2 | + + |ap(m+1) |

< + [p(m + 1) p(m)] < + = .
2 2M 2 2
Lo cual prueba que lim sn = t.
n
2.6 Series Alternantes


(1)n+1 an es llamada serie alternante.
P
Definicion. Si an > 0 para todo n, entonces la serie
n=1
Teorema 10. (Apostol, Teorema 8.16). Si {an } es una sucesion decreciente que converge a 0, la serie alternante
(1)n+1 an converge. Si s denota su suma y sn su nesima suma parcial, entonces se sigue la siguiente
P
n=1
desigualdad.
0 < (1)n (s sn ) < an+1 , para n = 1, 2, . . . (2)
Nota. La desigualdad (2) nos dice que al aproximar s por sn el error cometido tiene el mismo signo que el
primer termino despreciado y es menor que el valor absoluto de este termino.

(1)n+1 an para formar la nueva serie
P P
Prueba. Si definimos p(n) := 2n e insertamos parentesis en bn ,
n=1 n=1
entonces
b1 = a1 a2 , b2 = a3 a4 , ..., bn = a2n1 a2n .
33

(1)n+1 an converge si
P P
Como an 0 y p(n + 1) p(n) = 2, entonces sabemos que bn converge. Pero
n=1 n=1
bn 0 para todo n N ya que an & y ademas sus sumas parciales estan acotadas superiormente pues
n
X
bk = a1 (a2 a3 ) (a2n2 a2n1 ) a2n < a1 .
k=1

(1)n+1 an converge.
P P
Luego bn converge y
n=1 n=1
Probemos ahora la desigualdad (2).

X
X
X
(1)n (s sn ) =(1)n (1)k+1 ak = (1)k+n+1 ak = (1)k+2n+1 ak+n
k=n+1 k=n+1 k=1

X
X
= (1)k+1 ak+n = (an+2k1 an+2k ) > 0,
k=1 k=1
(Para obtener la ultima igualdad se aplico la insercion de parentesis definida por p(n) = 2n). Ademas,

X
X
X
(1)n (s sn ) =an+1 + (1)k+1 ak+n = an+1 + (1)k+2 ak+n+1 = an+1 + (1)k+1 (1)ak+n+1
k=2 k=1 k=1

X
=an+1 (an+2k an+2k+1 ) < an+1 .
k=1
(Nuevamente para obtener la ultima igualdad se aplico la insercion de parentesis definida por p(n) = 2n).
2.7 Convergencia Absoluta y Condicional

P P
Definicion. Decimos que una P serie an converge
P absolutamente si la serie |an | converge y decimos que
converge condicionalmente si an converge pero |an | diverge.
P
Teorema 11. (Apostol, Teorema 8.18). Si una serie an converge absolutamente, entonces tambien converge.
Prueba. Observemos que para todo n, p N tenemos que
|an+1 + + an+p | |an+1 | + + |an+p | ||an+1 | + + |an+p ||.
Entonces, por la condicion de Cauchy se sigue el resultado.
Observacion. El recproco del teorema anterior no es cierto. Para ver esto consideremos la serie

X (1)n+1
,
n
n=1
la cual converge, pero no converge absolutamente.
34
P
Teorema 12. (Apostol, Teorema 8.19). Sea an tal que an R para todo n N. Para cada n N definamos
|an | + an |an | an
pn := , qn := .
2 2
Entonces
P P P
(i) Si an es condicionalmente convergente, pn y qn divergen.
P P P
(ii) Si |an | converge, pn y qn convergen y tenemos que

X
X
X
an = pn qn .
n=1 n=1 n=1
Nota. Si an 0 entonces pn = an y qn = 0 y si an 0 entonces qn = an y pn = 0.
Prueba. Observemos que an = pn qn y que |an | = pn + qn .

P P
Para probar (i) supongamos
P Pque an converge y |an | diverge. Razonando por el absurdo supongamos que
alguna de las
P series p n o q converge.
n P La convergencia de una de estas series implica la convergencia
P de la
P
otra (pues an converge). Luego |an | converge, lo cual es absurdo. Concluimos que tanto pn como qn
divergen.
P P
Ahora, para probar (ii) basta tener en cuenta como se definen pn y qn y que si |an | converge entonces an
converge.
2.8 Partes Real e Imaginaria de una Serie Compleja

P
Definicion.
P P Sea cn una serie con terminos complejos donde cn = an + ib Pn , con an y bn reales. Las series
an y bn son llamadas, respectivamente, las partes real e imaginaria de cn .
P P P
Es claro que la convergencia de an y bn implica la convergencia de cn .
2.9 Criterios de Convergencia de Series con Terminos Positivos

Teorema 13. (Criterio de Comparacion). (Apostol, Teorema 8.20). Si an > 0 y bn > 0 para n = 1, 2, . . . y si
existen constantes positivas c y N tales que
an < c bn para todo n N ,

P P
entonces la convergencia de bn implica la convergencia de an .
P
Prueba. Como bn es convergente, entonces su sucesion de sumas parciales esP
acotada superiormente. Ahora,
P todo n N entonces la sucesion de sumas parciales de
como an < c bn para an tambien es acotada supe-
riormente, luego an es convergente.
Teorema 14. (Criterio de Comparacion por Lmite). (Apostol, Teorema 8.21). Sean an > 0 y bn > 0 para
todo n N y supongamos que
an
lim = 1.
n bn
P P
Entonces an converge si y solo si bn converge.
35

1 an an 1
Prueba. Sea = . Como lim = 1 entonces existe N N tal que n N implica que 1 < , lo

2 n bn bn 2
cual es equivalente a
1 an 3
< < .
2 bn 2
Aplicando la desigualdad del lado derecho y la del lado izquierdo por aparte y el teorema anterior se sigue el
resultado.
an an
Nota. El teorema anterior tambien es cierto si lim = c 6= 0. Si lim = 0 entonces solo se puede concluir
P n bn P n bn
que la convergencia de bn implica la convergencia de an .
2.10 Serie Geometrica

1
xk converge a
P
Teorema 15. (Apostol, Teorema 8.22). Si |x| < 1, la serie y si |x| 1, la serie
k=0 1x
diverge.
Prueba. Observemos que

n
X n
X
(1 x) xk = (xk xk+1 ) = 1 xn+1 .
k=0 k=0
Si |x| < 1, se tiene que

n
X
lim (1 x) xk = 1.
n
k=0
Luego

X 1
xk = .
1x
k=0

Ahora, si |x| 1, entonces lim xk 6= 0 y xk diverge.
P
n k=0
2.11 Criterio de la Integral

Teorema 16. (Criterio de la Integral). (Apostol, Teorema 8.23). Sea f una funcion positiva decreciente
definida en [1, +) tal que lim f (x) = 0. Definamos, para n N,
x+
n
X Z n
sn := f (k), tn := f (x)dx, dn := sn tn .
k=1 1
Entonces
(i) 0 < f (n + 1) dn+1 dn f (1), para todo n N.
(ii) lim dn existe.

n

P
(iii) f (n) converge si y solo si la sucesion {tn } converge.
n=1
(iv) 0 dk lim dn f (k), para k N.

n
36
Prueba.
(i) Observemos que, para cada n N,
Z n+1 n Z
X k+1 n Z
X k+1 n
X
tn+1 = f (x)dx = f (x)dx f (k)dx = f (k) = sn ,
1 k=1 k k=1 k k=1
lo cual implica que f (n + 1) = sn+1 sn sn+1 tn+1 = dn+1 , y entonces

0 < f (n + 1) dn+1 .
Pero ademas
Z n+1
dn dn+1 =tn+1 tn (sn+1 sn ) = f (x)dx f (n + 1) (3)
n
Z n+1
f (n + 1)dx f (n + 1) = 0,
n
luego dn+1 dn d1 = f (1), de donde se sigue la afirmacion.

(ii) De (i) la sucesion {dn } es decreciente y acotada luego es convergente.
(iii) Como de (ii) {dn } converge, de la definicion de dn , se sigue que {sn } converge si y solo si {tn } converge.
(iv) Usando nuevamente (3) se sigue que
Z n+1 Z n+1
0 dn dn+1 = f (x)dx f (n + 1) f (n)dx f (n + 1) = f (n) f (n + 1).
n n
Por lo tanto, para k N,

X
X
0 (dn dn+1 ) [f (n) f (n + 1)]
n=k n=k
0 dk lim dn f (k) 0.
n
Nota. Sea D := lim dn . Entonces (i) del teorema anterior implica que 0 D f (1), mientras que de (iv) se
n
sigue que
Xn Z n
0 f (k) f (x)dx D f (n). (4)
k=1 1
Esta desigualdad se usa para aproximar algunas sumas finitas mediante integrales.
2.12 Notacion O Grande y O Pequena

Definicion. Dadas dos sucesiones {an } y {bn } tales que bn 0 para todo n N, escribimos
an = O(bn )
y leemos an es o grande de bn si existe una constante M > 0 tal que |an | M bn para todo n N. Ademas
escribimos
an = o(bn ) cuando n
an
y leemos an es o pequena de bn si lim = 0.
n bn
37
Notas:
Una ecuacion de la forma an = cn + O(bn ) significa que an cn = O(bn ).
Una ecuacion de la forma an = cn + o(bn ) significa que an cn = o(bn ).
La ventaja de esta notacion se encuentra en el hecho de reemplazar algunas desigualdades por ecuaciones.
Por ejemplo, de (4), se sigue que
Xn Z n
f (k) = f (x)dx + D + O(f (n)). (5)
k=1 1
Ejemplos:
Z n Z n
1. Sean f (x) := 1/x y tn := f (x)dx = 1/x dx = ln(n). Entonces del teorema anterior
1 1
n
!
X 1
lim ln(n)
n k
k=1
existe. Este lmite es conocido como la constante de Euler y es denotado por la letra C o por la letra y
su valor es aproximadamente 0.577.... Segun (5) tenemos que
n
X 1 1
= ln(n) + C + O( ).
k n
k=1
Z n Z n
1
2. Sean f (x) := xs para s > 0, s 6= 1 y tn := f (x)dx = xs dx =
(ns+1 1). Sabemos que
1 1 s + 1 P s
{tn } solo converge para s > 1 por lo tanto, del teorema anterior, se sigue que la serie n converge
para s > 1 y diverge para s < 1. Si s > 1, la serie

X 1
(s) =
ns
n=1
define una funcion llamada Zeta de Riemann.
2.13 Criterios de la Razon y de la Raz

P
Teorema 17. (Criterio de la Razon). (Apostol, Teorema 8.25). Dada una serie an de numeros complejos
diferentes de cero, sean
an+1 an+1
r := lim inf , R := lim sup .
n an n an
P
(a) La serie an converge absolutamente si R < 1.
P
(b) La serie an diverge si r > 1.
Prueba.
(a) Supongamos
que R < 1 y escojamos x tal que R < x < 1. De la definicion de R existe un N N tal que
an+1
an < x para todo n N . Es decir |an+1 | < |an |x para todo n N . Luego

|an+1 | |an |x |an | |aN |

n+1
< n+1 = n N , para todo n N .
x x x x
Luego, |an | cxn si n N , donde c = |aN |xN . Entonces el resultado se sigue aplicando la prueba de
comparacion para series con terminos positivos.
38
an+1
(b) Supongamos que r > 1 y que 1 < x < r. Entonces | | > x > 1 para todo n N para algun N N,
an
esto es |an+1 | > |an | para todo n N . Por lo tanto lim an 6= 0.
n

an+1 P
Nota. Si lim = 1 no se puede concluir
acerca de la convergencia de an . Para ver esto consideremos
n an
P 1 P 2 an+1
las series n y n . En ambos casos lim = 1, pero P n1 diverge, mientras que P n2 converge.
n an
P
Teorema 18. (Criterio de la Raz). (Apostol, Teorema 8.26). Dada una serie an de numeros complejos,
definamos p
:= lim sup n |an |.
n
P
(a) La serie an converge absolutamente si < 1.
P
(b) La serie an diverge si > 1.
Prueba.
(a) Supongamos que < 1 y escojamos x tal que

n
P < x < 1. La definicion de implica la existencia de N N
tal que |an | < x para todo n N . Luego |an | converge por el criterio de comparacion para series con
terminos positivos.
(b) Si > 1, tomando x tal que 1 < x < , existen existen infinitos n N tales que |an | > x > 1. Luego
lim an 6= 0.
n
p P
Nota. Si lim sup n |an | = 1 no puede concluirse nada acerca de la convergencia de an . Las dos series
n
consideradas en la nota anterior sirven para ver esto.
2.14 Criterios de Dirichlet y de Abel

P
Teorema 19. (Criterio de Dirichlet). (Apostol, Teorema). Sean an una serie de numeros complejos cuyas
sumas parciales forman unaPsucesion acotada y {bn } una sucesion decreciente de numeros reales positivos que
converge a cero. Entonces an bn converge.
Prueba. Sea An := a1 + + an . Observemos que para cada n N

n
X
Ak (bk+1 bk ) = A1 (b2 b1 ) + A2 (b3 b2 ) + A3 (b4 b3 ) + + An (bn+1 bn )
k=1
= A1 b1 a1 b1 + A2 b3 A1 b2 a2 b2 + A3 b4 A2 b3 a3 b3 + + An bn+1 An1 bn an bn
X n
= An bn+1 ak bk .
k=1
Es decir,
n
X n
X
ak bk = An bn+1 Ak (bk+1 bk ).
k=1 k=1
Por hipotesis existe M > 0 tal que |An | M para todo n N. Entonces
lim |An bn+1 | M lim bn+1 = 0.

n n
39
Luego lim |An bn+1 | = 0, lo cual implica que lim An bn+1 = 0.
n n
Ahora, teniendo en cuenta que bn &, se sigue que
|Ak (bk+1 bk )| M (bk bk+1 ) para cada k N.

P
Como la serie (bk+1 bk ) es una
P serie telescopica convergente, por la prueba de comparacion para series de
numeros positivos, tenemos que Ak (bk+1 bk ) converge absolutamente y por consiguiente converge.
As que

X
X
X
ak bk = lim bn+1 An Ak (bk+1 bk ) = Ak (bk+1 bk ).
n
k=1 k=1 k=1
P
Teorema 20. (Criterio de Abel). (Apostol,PTeorema 8.29). Sea an una serie convergente y {bn } una sucesion
monotona convergente. Entonces la serie an bn converge.
P
Prueba. Que an sea convergente significa que la sucesion de sus sumas parciales {An } es convergente.
Ademas {bn } es una sucesion convergente. Entonces esta garantizada la existencia de
lim An bn+1 .
n
Ademas, {An } es acotada por ser convergente. Entonces, siguiendo el mismo procedimiento de la prueba del
teorema anterior se sigue que

X
X
ak bk = lim bn+1 An Ak (bk+1 bk ).
n
k=1 k=1
2.15 Reordenamiento de Series

P P
Definicion. Sea f una funcion uno a uno cuyo dominio es N y cuyo rango es N. Sean an y bn dos series
tales que
bn = af (n) , para n N.
P P
Entonces decimos que bn es un reordenamiento de an .
P P
Ademas, como an = bf 1 (n) entonces an tambien es un reordenamiento de bn .
P P
Teorema 21. (Apostol, TereomaP8.32). Sea an una serie absolutamente convergente tal que an = s.
Entonces todo reordenamiento de an tambien converge absolutamente y tiene suma s.
P P
Prueba. Sea {bn } tal que bn es un reordenamiento de an . Entonces existe f : N N tal que f (N) = N
y tal que bn = af (n) para cada n N. Se sigue que
n
X
X
|bk | = |b1 | + + |bn | = |af (1) | + + |af (n) | |ak |.
k=1 k=1
P
Por lo tanto bn converge absolutamente.
40
P
Veamos ahora que bn = s. Sean, para cada n N, tn := b1 + + bn y sn := a1 + + an . Sea ademas > 0
P
arbitrario. Escojamos N N tal que |sN s| < /2 y tal que |ak | /2. Entonces
k=N +1

|tn s| |tn sN | + |sN s| < |tn sN | + .
2
Escojamos M N tal que {1, 2, . . . , N } {f (1), f (2), . . . , f (M )}. Si n > M , tenemos que f (n) > N y para tal
n se sigue que
|tn sN | =|b1 + + bn (a1 + + aN )|
=|af (1) + + af (n) (a1 + + aN )|
|aN +1 | + |aN +2 | +

.
2
P
De esta forma, si n > M , tenemos que |tn s| < , lo cual significa que bn = s.
2.16 Teorema de Riemman Sobre Series Condicionalmente Convergentes

P
Teorema 22. (Apostol, Teorema 8.33). Sea an una serie condicionalmente
P convergente
P de terminos reales.
Sean x, y [, +], tales que x y. Entonces existe un reordenamiento bn de an tal que
lim inf tn = x y lim sup tn = y,
n n
donde tn := b1 + + bn .
Prueba. Descartar losPterminos de una serie que son cero no afecta su convergencia o divergencia. PorP lo tanto
podemos suponer que an no tiene terminos P
que son cero. Sea pn el n-esimo termino
P positivo
P de an y qn
el n-esimo termino negativo. Entonces, como |an | es divergente, se sigue que pn y qn son ambas series
divergentes de terminos positivos. Ademas, como an 0, entonces pn 0 y qn 0.
Supongamos inicialmente que x R y y R. Construyamos una sucesion creciente {xn } y una decreciente
{yn } tales que
lim xn = x R, lim yn = y R.
n n
Definamos ahora dos sucesiones {kn } y {rn } de la siguiente forma: sea k1 el menor numero natural tal que
p1 + + pk1 > y1 ,
sea r1 el menor numero natural tal que
p1 + + pk1 q1 qr1 < x1 ,
sea k2 el menor numero natural tal que
p1 + + pk1 q1 qr1 + pk1 +1 + + pk2 > y2 ,
sea r2 el menor numero natural tal que
p1 + + pk1 q1 qr1 + pk1 +1 + + pk2 qr1 +1 qr2 < x2 ,
P P
etc. Esto es posible ya que las sumas parciales de pn y qn son positivas y no acotadas.
P
La suma que se obtiene con este procedimiento es obviamente un reordenamiento de an . Ademas, como
pn 0 y qn 0, se sigue que la sucesion de sumas parciales de este reordenamiento tiene lmite superior y y
lmite inferior x.
El caso en el que alguno de los lmites sea o + se sigue con el mismo razonamiento, realizando unas
pequenas modificaciones a la prueba.
41
2.17 Multiplicacion de Series

P
P
Definicion. Dadas dos series ak y bk , definamos
k=0 k=0
n
X
cn := ak bnk , si n = 0, 1, 2, . . .
k=0

P P P
La serie cn es llamada producto de Cauchy de an y bn .
k=0

P
Teorema 23. (Teorema de Mertens). Supongamos que ak converge absolutamente y que tiene suma A y
k=0

P
que bk converge y tiene suma B. Entonces el producto de Cauchy de estas dos series converge y tiene suma
k=0
AB.
n n n k
X
P P P
Prueba. Definamos An := ak , Bn := bk , Cn := ck , donde ck := an bkn . Sean ademas dn := BBn
k=0 k=0 k=0 n=0
n
X
y en := ak dnk . Entonces
k=0
p X
X n p X
X p
Cp = ak bnk = fn (k),
n=0 k=0 n=0 k=0
donde
ak bnk , si n k,
fn (k) :=
0, si n < k.
Por lo tanto
X p
p X X p
p X p
X pk
X
Cp = fn (k) = ak bnk = ak bn
k=0 n=0 k=0 n=k k=0 n=0
p
X p
X
= ak Bpk = ak (B dpk ) = Ap B ep .
k=0 k=0
Veamos entonces que ep 0 cuando p y con eso la prueba queda completa.
P
La sucesion {dn } converge a 0 pues B = bn . Por ser {dn } convergente, es acotada y entonces existe M > 0

P
tal que |dn | M para todo n N. Definamos K := |an |. Sea > 0 arbitrario, entonces existe N N tal
n=0
que si n > N ,

X
|dn | < y |an | < .
2K 2M
n=N +1
Entonces, para p > 2N tenemos que
N p N p
X X X X
|ep 0| |ak dpk | + |ak dpk | |ak | + M |ak |
2K
k=0 k=N +1 k=0 k=N +1

X X
|ak | + M |ak | < + = .
2K 2 2
k=0 k=N +1
Como es arbitrario entonces ep 0 cuando p .
Por lo tanto Cp AB cuando p .
42
Captulo 3
Sucesiones y Series de Funciones
3.1 Convergencia Puntual

(Rudin, Captulo 7)
En el presente captulo consideraremos funciones cuyo dominio es un subconjunto de C y cuyo rango es un

subconjunto de R.
Definicion. Sea {fn } una sucesion de funciones definidas en un conjunto E y supongamos que la sucesion de
numeros {fn (x)} converge para cada x E. Si definimos, para x E, una funcion f por
f (x) := lim fn (x),

n
decimos que {fn } converge en E y que f es el lmite de {fn }. Tambien diremos, para ser mas especficos, que
{fn } converge a f puntualmente en E.
P
Si fn (x) converge para cada x E y definimos, para cada x E,

X
f (x) := fn (x),
n=1
P
decimos que f es la suma de la serie fn .
El problema principal que queremos estudiar en este captulo es determinar que propiedades importantes de
las funciones son preservadas bajo operaciones de lmite. Por ejemplo, si las funciones fn son continuas, o
diferenciables, o integrables, tambien lo sera la funcion lmite f ? Que relacion habra entre fn0 y f 0 ? Que
relacion habra entre las integrales de fn y la integral de f ?
Sabemos que una funcion f es continua en un punto x si se cumple que
lim f (t) = f (x).

tx
Entonces, preguntarnos si el lmite de una sucesion de funciones continuas en x es una funcion continua en x es
preguntarnos si
lim lim fn (t) = lim fn (x) = lim lim fn (t).
tx n n n tx
Es decir, es preguntarnos si no importa en que orden tomamos los lmites n y t x.
En general, el proceso de tomar lmite no puede ser intercambiado sin afectar el resultado. Veamos algunos
ejemplos.
43
Ejemplo. Para cada n N, consideremos la funcion fn definida por
x
fn (x) := , donde x R.
x+n
Observemos que si dejamos x fijo, fn (x) 0, por lo tanto la sucesion de funciones {fn } converge puntualmente
a la funcion f 0, que es una funcion continua en todo R y entonces
lim lim fn (t) = 0, para todo x R.

tx n
Sin embargo, cada funcion fn no esta definida en x = n y entonces el orden en los lmites que se tomaron no
se puede intercambiar si x = n.
Observemos ademas que cada funcion fn tiene una asntota horizontal con ecuacion y = 1 mientras que la
funcion lmite es la recta horizontal y = 0, por lo tanto
lim lim fn (x) = 0 mientras que lim lim fn (x) = 1.

x n n x
Luego los lmites n y x no son intercambiables sin alterar el resultado.
Ejemplo. Para cada n = 0, 1, 2, 3 . . . definamos la funcion fn por
x2
fn (x) := , donde x R.
(1 + x2 )n
Observemos que fn es continua en R para todo n.
Consideremos ahora

X x2 X
f (x) := fn (x) = .
(1 + x2 )n
n=0 n=0

1
Como fn (0) = 0 para todo n entonces f (0) = 0. Ahora, si x 6= 0, como < 1, tenemos que
1 + x2

X 1
(1 + x2 )n
n=0
es una serie geometrica convergente y su suma es

1 1
= + 1.
1 x2
1
1 + x2
Por lo tanto, si x 6= 0, entonces

2
X 1 1
f (x) = x = x2 +1 = 1 + x2 .
(1 + x2 )n x2
n=0
Es decir
0 si x = 0,
f (x) = ,
1 + x2 si x 6= 0.
que es una funcion discontinua en 0.
De esta forma, una serie convergente de funciones continuas puede tener por suma, una funcion discontinua.
44
Ejemplo. Para n N y x R definamos fn por
sen(nx)
fn (x) :=
n
y para cada x R definamos f por
f (x) := lim fn (x) = 0.
n
Tenemos entonces que f 0 (x) = 0 para todo x R y que

fn0 (x) = n cos(nx).

As que la sucesion {fn0 } no converge a f 0 . Por ejemplo, fn0 (0) = n + cuando n , mientras que
f 0 (0) = 0.
3.2 Convergencia Uniforme

(Rudin, Captulo 7)
Definicion. Decimos que una sucesion de funciones {fn } converge uniformemente en un conjunto E a una
funcion f , si para todo > 0 existe N N tal que n N implica que
|fn (x) f (x)|
para todo x E.
Claramente toda sucesion uniformemente convergente es puntualmente convergente.
Observemos que si {fn } converge puntualmente en E entonces existe una funcion f tal que, para todo > 0, y
para todo x E, existe N N, que depende de y de x, tal que n N implica que
|fn (x) f (x)| ,
mientras que si {fn } converge uniformemente en E entonces para todo > 0 es posible encontrar N N el cual
funciona para todo x E, es decir, N no depende de x.
P
Decimos que la serie fn converge uniformemente en E si la sucesion de sumas parciales {sn } definida por
n
X
sn (x) := fi (x)
i=1
converge uniformemente en E.
Teorema 1. (Criterio de Cauchy Para Convergencia Uniforme). (Rudin, Teorema 7.8). Una sucesion de
funciones {fn } definida en E converge uniformemente en E si y solo si para todo > 0 existe N N tal que
m N , n N y x E implican que
|fn (x) fm (x)| .
Prueba. Supongamos que {fn } converge uniformemente en E y definamos f como la funcion lmite. Entonces
existe N N tal que n N y x E implican que

|fn (x) f (x)| .
2
De esta forma, si m N , n N y x E, entonces tenemos que
|fn (x) fm (x)| |fn (x) f (x)| + |f (x) fm (x)| .
45
Supongamos ahora que para todo > 0 existe N N tal que m N , n N y x E implican que
|fn (x) fm (x)| .
Entonces para cada x E la sucesion {fn (x)} es de Cauchy y como tal sucesion ocurre en R, que es un espacio
metrico completo, entonces para cada x E existe un numero real, que denotaremos f (x), tal que fn (x) f (x).
De esta forma la sucesion {fn } converge puntualmente a f . Veamos que en realidad converge uniformemente.
En efecto, sea > 0 arbitrario. Entonces existe N N para el cual se cumple la condicion de Cauchy. Si
dejamos n fijo y tomamos m , como fm (x) f (x) cuando m , entonces
|fn (x) f (x)|
para todo n N y todo x E. Es decir, {fn } converge uniformemente a f .
Teorema 2. (Rudin, Teorema 7.9). Sea {fn } una sucesion de funciones definidas sobre un conjunto E. Supon-
gamos que {fn } converge puntualmente a una funcion f . Es decir, que para cada x E,
f (x) := lim fn (x).

n
Definamos
Mn := sup |fn (x) f (x)|.
xE
Entonces fn f uniformemente en E si solo si Mn 0 cuando n .
Prueba. Ejercicio.
Teorema 3. (Rudin, Teorema 7.10). Sea {fn } una sucesion de funciones definidas en E y {Mn } una sucesion
de numeros reales. Supongamos que, para todo x E y todo n N, tenemos que
|fn (x)| Mn .
P P
Si Mn converge entonces fn converge uniformemente en E.
P
Prueba. Sea > 0 arbitrario. Si Mn converge, entonces por la condicion de Cauchy para series existe N N
tal que para todo n N y todo m n, se tiene que
m
X
Mi < .
i=n
Luego, por el criterio de Cauchy para convergencia uniforme,

m m m
X X X
fi (x) |fi (x)| Mi < .

i=n i=n i=n
P
De esta forma, fn converge uniformemente en E.
3.3 Convergencia Uniforme y Continuidad

(Rudin, Captulo 7)
Teorema 4. (Rudin, Teorema 7.11 y 7.12 ). Supongamos que {fn } es una sucesion de funciones continuas
que converge uniformemente a una funcion f en un conjunto E de un espacio metrico. Entonces f es continua
en E.
46
Prueba. Sea x un punto lmite de E y > 0 arbitrario. Por la convergencia uniforme de fn a f elijamos n N
tal que

|f (t) fn (t)| (1)
3
para todo t E. Ahora, para tal n, por la continuidad de fn en x, podemos tomar una bola abierta B, centrada
en x, tal que si t B E, t 6= x,

|fn (t) fn (x)| . (2)
3
Por lo tanto, si t B E, t 6= x, se sigue que
|f (t) f (x)| |f (t) fn (t)| + |fn (t) fn (x)| + |fn (x) f (x)| . (3)
Luego f es continua en x.
Observacion. Si en el teorema anterior x es un punto de acumulacion de E tal que x

/ E, pero An := lim fn (t)
tx
existe para todo n N, entonces por la convergencia uniforme de fn , dado > 0 arbitrario, existe N N tal que
si n, m N , se sigue que |fn (t) fm (t)| para todo t E. Tomando lmite t x obtenemos |An Am | .
Por lo tanto {An } es una sucesion de Cauchy en R y por lo tanto convergente a un valor A.
Ademas, siguiendo el mismo razonamiento de la prueba, en vez de la desigualdad (2), se obtiene

|fn (t) An | . (4)
3
Y por la convergencia An A, es posible tomar el n N de la prueba suficientemente grande de tal forma que
tambien se cumpla que

|An A| . (5)
3
Luego, de (1), (4) y (5), en vez de la desigualdad (3), se obtiene
|f (t) A| |f (t) fn (t)| + |fn (t) An | + |An f (x)| .
As que
lim lim fn (t) = lim f (t) = A = lim An = lim lim fn (t).
tx n tx n n tx
Teorema 5. (Rudin, Teorema 7.13). Sean K un conjunto compacto y

(a) {fn } una sucesion de funciones continuas en K,
(b) {fn } convergente puntualmente a una funcion f continua en K,
(c) fn (x) fn+1 (x) para todo x K, n = 1, 2, 3, . . .

Entonces fn f uniformemente en K.
Prueba. Sea gn := fn f para cada n N. Entonces cada gn es continua, gn 0 puntualmente y gn gn+1
para todo n N. Probemos que gn 0 uniformemente en K.
Sea > 0 arbitrario. Para cada n N sea
Kn := {x K : gn (x) }.
Como gn es continua y el conjunto [, ) es cerrado entonces Kn = gn1 ([, )) es un conjunto cerrado y por lo
tanto compacto (pues Kn K y K es compacto).
47
Como gn gn+1 entonces Kn Kn+1 para T todo n N. Fijemos x K.T Como gn (x) 0, entonces x / Kn
si n es suficientemente grande. Luego x / Kn . En otras palabras Kn = . Luego, por el teorema de
interseccion de Cantor, KN es vaco para algun N . Se sigue que 0 gn (x) < para todo x K y para todo
n N . Con lo cual queda probado el teorema.
Definicion. Si X es un espacio metrico C(X) denotara el conjunto de todas las funciones continuas y acotadas
con dominio X.
A cada f C(X) le asociaremos su norma del supremo, definida por
kf k := sup |f (x)|.
xX
Como f es acotada entonces kf k < . Obviamente kf k = 0 solo si f (x) = 0 para todo x X, es decir solo si
f = 0. Si h = f + g, entonces |h(x)| |f (x)| + |g(x)| kf k + kgk para todo x X, luego
kf + gk kf k + kgk.
Si definimos la distancia entre dos funciones f, g C(X) por kf gk, entonces C(X) es un espacio metrico con
la norma del supremo.
De esta forma, una sucesion {fn } converge a f con respecto a la metrica de C(X) si y solo si fn f uniforme-
mente en X.
Teorema 6. (Rudin, Teorema 7.15). C(X) con la metrica del supremo es un espacio metrico completo.
Prueba. Sea {fn } una sucesion de Cauchy en C(X). Esto significa que para todo > 0 existe N N tal que
kfn fm k < si n, m N . Luego {fn } converge uniformemente a una funcion f con dominio X. Como fn es
continua en X para todo n N entonces f es continua en X.
Ademas f es acotada. En efecto, dado = 1, la convergencia uniforme de fn a f implica la existencia de un

m N tal que |fm (x) f (x)| < 1 para todo x X. De esta forma si x X, como fm es acotada, digamos por
M , tenemos que
|f (x)| |f (x) fm (x)| + |fm (x)| 1 + M.
Luego f C(X) y como fn f uniformemente en X entonces kf fn k 0 cuando n .
3.4 Convergencia Uniforme e Integracion

(Rudin, Captulo 7)
Teorema 7. (Rudin, Teorema 7.16). Sea fn : [a, b] R para n = 1, 2, 3, . . . tal que fn es integrable sobre [a, b],
para todo n N, y fn f uniformemente en [a, b]. Entonces f es integrable sobre [a, b] y
Z b Z b
f = lim fn .
a n a
Prueba. Sea n := sup |fn (x) f (x)|. Entonces |fn (x) f (x)| n para todo x [a, b], o equivalentemente
x[a,b]
fn (x) n f (x) fn (x) + n , para todo x [a, b],
luego
Z b Z Z Z b
(fn n ) f f (fn + n ).
a a
48
Por lo tanto
Z Z Z Z Z b Z Z b Z

f f = f f (fn + n ) f = fn + n (b a) f

a a
Z Z
= (fn f ) + n (b a) |fn f | + n (b a) 2n (b a).
Como fn f uniformemente en [a, b] entonces n 0 cuando n . Luego, de la anterior desigualdad se

sigue que f es integrable sobre [a, b]. Ademas
Z b Z b Z b Z b Z b

f f n
=
(f n f )
|fn f | n 1 = n (b a).
a a a a a
Por lo tanto Z b Z b
f = lim fn .
a n a
Corolario 8. (Rudin, Corolario al Teorema 7.16). Sea fn : [a, b] R para n = 1, 2, 3, . . . tal que fn es
integrable sobre [a, b] para cada n N. Sea, para cada x [a, b],

X
f (x) := fn (x)
n=1
tal que converge uniformemente en [a, b], entonces

Z b Z
X b
f= fn .
a n=1 a
n
P
Prueba. Para cada n N y cada x [a, b] definamos Sn (x) := fn (x). Entonces Sn f uniformemente
k=1
en [a, b]. Ademas Sn es integrable sobre [a, b] por ser la suma finita de funciones integrables sobre [a, b]. Por el
teorema anterior, f es integrable sobre [a, b] y
Z b Z b n
Z bX n Z
X b Z
X b
f = lim Sn = lim fk = lim fk = fk .
a n a n a n a a
k=1 k=1 k=1
3.5 Convergencia Uniforme y Diferenciacion

(Rudin, Captulo 7)
Teorema 9. (Rudin, Teorema 7.17). Sea {fn } una sucesion de funciones, diferenciables en [a, b] y tales que
{fn (x0 )} converge para algun x0 [a, b]. Si {fn0 } converge uniformemente en [a, b] entonces {fn } converge
uniformemente en [a, b] a una funcion f y
f 0 (x) = lim fn0 (x)

n
para todo x [a, b].

Prueba. Sea > 0 arbitrario. Como la sucesion {fn (x0 )} es convergente (entonces es de Cauchy) y la sucesion
{fn0 } es uniformemente convergente entonces existe N N tal que si n, m N se sigue que

|fn (x0 ) fm (x0 )| < y |fn0 (t) fm
0
(t)| < , para todo t [a, b].
2 2(b a)
49
Sean x, t [a, b], x < t. Entonces por el Teorema del Valor Medio aplicado a fn fm existe [a, b] tal que
|fn (x) fm (x) fn (t) + fm (t)|
= |fn0 () fm
0
()| .
|x t| 2(b a)
Luego
|x t|
|fn (x) fm (x) fn (t) + fm (t)|
2(b a) 2
para todo x, t [a, b], x < t, si n, m N .
Sean x [a, b] y n, m N . Entonces

|fn (x) fm (x)| |fn (x) fm (x) fn (x0 ) + fm (x0 )| + |fn (x0 ) fm (x0 )| + = .
2 2
Es decir, {fn } converge uniformemente en [a, b].
Definamos ahora, para cada x [a, b],

f (x) := lim fn (x).
n
Sea y [a, b] fijo y para t 6= y, t [a, b], sean
fn (t) fn (y) f (t) f (y)
n (t) := y (t) := .
ty ty
Entonces
lim n (t) = fn0 (y), n = 1, 2, 3, . . . .
ty
Observemos que
fn (t) fn (y) fm (t) + fm (y)
|n (t) m (t)| =

ty 2(b a)
para todo n, m N . Luego {n } converge uniformemente para t 6= y.
Como {fn } converge a f entonces

lim n (t) = (t)
n
uniformemente para t [a, b], t 6= y. Empleando la observacion hecha despues de la prueba del Teorema 4, el
lmite t y en la anterior igualdad existe y
f (t) f (y)
lim f 0 (y) = lim lim n (t) = lim lim n (t) = lim (t) = lim = f 0 (y).
n n n ty ty n ty ty ty
Teorema 10. (Rudin, Teorema 7.18). Existe una funcion f : R R continua en R la cual es no diferenciable
para todo x R.
Prueba. Sea : R R la funcion definida por (x) := |x| si x [1, 1] y tal que (x + 2) = (x). Facilmnete
puede probarse que para todo s, t R se tiene que
|(s) (t)| |s t|.
Por lo tanto la funcion es continua en R.

n
3
Definamos, para x R, fn (x) := (4n x) y
4

X
f (x) := fn (x).
n=0
50
Como |(4n x)| 1 para todo x R, entonces
n
3
|fn (x)|
4
n
P 3 P
para todo x R, y como la serie converge, por el Teorema 3 tenemos que fn converge uniforme-
4
mente en R.
P
Observemos ademas que las sumas parciales de fn son funciones continuas, entonces, como la sucesion de
sumas parciales converge uniformemente a f se sigue que f es continua.
Fijemos ahora x R y m N y definamos

1
m := 4m
2
donde el signo se elige de tal forma que no exista un entero entre 4m x y 4m (x + m ). Lo cual es posible ya que
1
4m |m | = .
2
Definamos
(4n (x + m )) (4n x)
n := , n = 0, 1, 2, 3 . . .
m
Si n > m entonces 4n m es un numero par, por lo tanto n = 0 y si 0 n m,
|(4n (x + m )) (4n x)| |4n x + 4n m 4n x|
|n | = = 4n .
|m | |m |
Ahora, como no existe un entero entre 4m x y 4m (x + m ) se sigue que
|(4m (x + m )) (4m x)| |4m x + 4m m 4m x|
|m | = = = 4m .
|m | |m |
De esta forma
n X m n

3 m m1 n
f (x + m ) f (x) X 3 3 X 3
= n =

n =

m + n

m 4 4 4 4
n=0 n=0 n=0
m m1
m1
X 3 n

3 m
X 1 1

m
n 3 3n = 3m (3m 1) = (3m + 1).
4 4 2 2
n=0 n=0
As, cuando m , m 0 y
f (x + m ) f (x)
.
m
Es decir, f no es diferenciable en x.
3.6 Familias Equicontinuas de Funciones

(Rudin, Captulo 7)
Definicion. Sea {fn } una sucesion de funciones definidas en un conjunto E. Decimos que {fn } es puntualmente
acotada en E si la sucesion {fn (x)} es acotada para todo x E, es decir, si existe definida sobre E, tal que
|fn (x)| < (x),
para todo n N y todo x E.
51
Decimos que {fn } es uniformemente acotada en E si existe un numero M tal que
|fn (x)| < M
para todo n N y todo x E.
Definicion. Una familia F de funciones f : E X R, donde (X, d) es un espacio metrico, se dice

equicontinua en E si para todo > 0 existe un > 0 tal que
|f (x) f (y)| < ,
cuando d(x, y) < , para todo x, y E y toda f F.
Claramente todo miembro de una familia equicontinua es uniformemente continua.
Teorema 11. (Rudin, Teorema 7.23). Si {fn } es una sucesion de funciones puntualmente acotada en un
conjunto a lo sumo contable E, entonces {fn } tiene una subsucesion {fnk } tal que {fnk (x)} converge para todo
x E.
Prueba. Supongamos inicialmente que E es infinito. Sea {xi }, i=1,2,3,. . . , el conjunto de los puntos de E,
arreglados en una sucesion. Como {fn (x1 )}n es acotada, entonces existe una subsucesion, la cual denotaremos
S1 , de la forma {f1,k }k , tal que {f1,k (x1 )}k converge cuando k . Como {f1,k (x2 )}k es acotada, entonces a
su vez tiene una subsucesion S2 , de la forma {f2,k }k , tal que {f2,k (x2 )} converge cuando k . Continuando
con este procedimiento obtenemos sucesiones S1 , S2 , . . . , las cuales podemos representar en el siguiente arreglo
S1 : f1,1 f1,2 f1,3 f1,4

S2 : f2,1 f2,2 f2,3 f2,4
S3 : f3,1 f3,2 f3,3 f3,4
S4 : f4,1 f4,2 f4,3 f4,4
.. .. .. .. .. ..
. . . . . .
y en las cuales se cumplen las siguientes propiedades:
(a) Sn es subsucesion de Sn1 , n = 2, 3, 4 . . . , es decir {fn,k }k es subsucesion de {fn1,k }k , n = 2, 3, 4, . . .
(b) {fn,k (xn )}k converge cuando k .
Entonces consideramos la sucesion diagonal
S: f1,1 , f2,2 , f3,3 , . . .
Claramente S es una subsucesion de {fn }n , ademas {fn,n (xi )}n converge para todo xi E cuando n .
Para el caso finito, E = {x1 , . . . , xN }, se consideran las subsucesiones S1 , . . . , SN de igual forma que para el
caso infinito. Tenemos entonces que SN es subsucesion de {fn } y converge en cada uno de los puntos de E.
Teorema 12. (Rudin, Teorema 7.24). Si K es un espacio metrico compacto y fn C(K) para n = 1, 2, 3, . . . ,
y {fn } converge uniformemente en K, entonces {fn } es equicontinua en K.
Prueba. Sea > 0 arbitrario. Como {fn } converge uniformemente entonces existe N N tal que

kfn fN k <
3
para todo n > N .
52
Como cada fn es continua y esta definida en el compacto K, entonces es uniformemente continua. Luego existen
1 , , N > 0 tales que

|fn (x) fn (y)| < , si d(x, y) < n , para cada n = 1, . . . , N .
3
Si definimos := min{1 , . . . , N }, entonces se cumple que

|fn (x) fn (y)| < , si d(x, y) < , para cada n = 1, . . . , N .
3
Ahora, si n > N y d(x, y) < se sigue que

|fn (x) fn (y)| |fn (x) fN (x)| + |fN (x) fN (y)| + |fN (y) fn (y)| < + + = .
3 3 3
As que |fn (x) fn (y)| para todo n N, si d(x, y) < . Concluimos que {fn } es equicontinua en K.
Teorema 13. (Rudin, Teorema 7.25). Sea K compacto y {fn } una sucesion tal que fn C(K) para todo
n N. Si {fn } es puntualmente acotada y equicontinua en K, entonces {fn } es uniformemente acotada en K.
Prueba. Sea > 0 arbitrario. Como {fn } es equicontinua entonces existe > 0 tal que si d(x, y) < se sigue
que
|fn (x) fn (y)| <
para todo n N.
Como K es compacto entonces existen finitos puntos p1 , . . . , pr en K tales que el conjunto
{B(pi , ) : i = 1, 2, . . . , r}
es un cubrimiento abierto de K.
Sea x K arbitrario entonces existe 1 m r tal que x B(pm , ), es decir, d(pm , x) < . Ahora, como {fn }
es puntualmente acotada, entonces para cada i = 1, 2, . . . , r existe Mi tal que |fn (xi )| < Mi para todo n N.
De esta forma, si definimos M := max{M1 , . . . , Mr }, tenemos que, para cada n N
|fn (x)| |fn (x) fn (pm )| + |fn (pm )| < + Mm + M.
Como y x son arbitrarios, entonces

|fn (x)| < M
para todo n N y todo x K.
Teorema 14. (Teorema de Arzela-Ascoli). (Bartle, Teorema 26.7). Sea K compacto y F una familia de
funciones tal que f C(K) para toda f F. Se sigue que F es uniformemente acotada y equicontinua en K
si y solo si toda sucesion de funciones de F tiene una subsucesion uniformemente convergente en K.
Prueba. Supongamos inicialmente que no se cumple que F sea uniformemente acotada y equicontinua en
K y probemos que no se cumple que toda sucesion de funciones de F tiene una subsucesion uniformemente
convergente en K. Tenemos dos posibilidades; la primera es que F no sea uniformemente acotada. En este caso
existe una sucesion {fn } en F tal que kfn k n para todo n N. Esto implica que ninguna subsucesion de
{fn } es uniformemente convergente en K. La segunda posibilidad es que F no sea equicontinua. Esto significa
que existe 0 > 0 tal que para todo > 0, y en particular para cada n := 1/n con n N, existen xn , yn K y
fn F tales que d(xn , yn ) < n y |fn (xn ) fn (yn )| > 0 . Obtenemos entonces una sucesion {fn } en F, la cual
claramente no tiene subsucesiones que sean uniformemente convergentes.
Supongamos ahora que F es uniformemente acotada y equicontinua en K y probemos que toda sucesion en F
tiene una subsucesion uniformemente convergente en K. Fijemos m N. Por la compacidad de K existe un
53
cubrimiento de K conformado por bolas abiertas de radio 1/m y centros en un numero finito de puntos de K.
Al conjunto conformado por los centros de estas[bolas lo llamaremos Em . Si repetimos este procedimiento para
cada m N y consideramos el conjunto E := Em , entonces E es un subconjunto a lo sumo contable de K
mN
que cumple la siguiente condicion: para todo x K existe y E tal que kx yk < . Sea {fn } una sucesion
arbitraria en F. Como F es uniformemente acotada, entonces {fn } es puntualmente acotada en E. De esta
forma, por el Teorema 11, existe {fnk } subsucesion de {fn } que converge para todo punto de E. Mostremos
que en realidad {fnk } converge en todo K y que esta convergencia es uniforme. Sea > 0 arbitrario. Para este
sea el valor dado por la definicion de equicontinuidad de F y sea m N tal que 1/m < . Dado x K
arbitrario, existe y Em tal que kx yk < 1/m < . Por la equicontinuidad de F,
kfnk (x) fnk (y)k < , para todo k N.
Ademas, {fnk (y)} es convergente, y por lo tanto de Cauchy. Luego existe N N tal que para todo m, l > N se
sigue que
kfnm (y) fnl (y)k < .
Tenemos entonces que si m, l > N ,
kfnm (x) fnl (x)k kfnm (x) fnm (y)k + kfnm (y) fnl (y)k + kfnl (y) fnl (x)k + + = 3.
Como es arbitrario, empleando el Criterio de Cauchy Para Convergencia Uniforme (Teorema 1) concluimos
que {fnk } converge uniformemente en K.
3.7 El Teorema de Stone-Weierstrass

(Rudin, Captulo 7)
Teorema 15. (Rudin, Teorema 7.26). Si f es una funcion continua en [a, b] entonces existe una sucesion de
polinomios Pn tal que Pn f uniformemente en [a, b].
Prueba. Para tener claridad sobre la variable de integracion,

Rb teniendo en cuenta
Rb que en algunas integrales se
incluiran varias variables, adoptaremos la notacion a f (x)dx para denotar a f .
Supongamos inicialmente que [a, b] = [0, 1] y que f (0) = f (1) = 0.
Definamos f (x) = 0 si x R y x
/ [0, 1]. De esta forma f es uniformemente continua en R. Definamos ahora,
para n N, una funcion Qn : R R por
Qn (x) := cn (1 x2 )n
donde cn es una constante tal que Z 1

Qn (x)dx = 1.
1
Observemos que

Z 1 Z 1 Z 1/ n Z 1/ n
2 n 2 n 2 n 4 1
(1 x ) dx = 2 (1 x ) dx 2 (1 x ) dx 2 (1 nx2 )dx = > .
1 0 0 0 3 n n

Luego cn < n.

Sea 0 < < 1. Se sigue que, si |x| 1 entonces, Qn (x) n(1 2 )n . De esta forma, como n(1 2 )n 0
cuando n , entonces Qn 0 uniformemente en el conjunto {x [1, 1] : |x| 1}.
54
Definamos ahora, para cada n N y x [0, 1],
Z 1 Z 1x
Pn (x) := f (x + t)Qn (t)dt = f (x + t)Qn (t)dt.
1 x
Por el teorema de cambio de variable tenemos que

Z 1
Pn (x) = f (t)Qn (t x)dt.
0
Por lo tanto, para cada n N, Pn es un polinomio de grado 2n y entonces {Pn } es una sucesion de polinomios.
Sea > 0 arbitrario. Por la continuidad uniforme de f escojamos > 0 tal que si |y x| < entonces

|f (y) f (x)| < .
2
Sea M = sup |f (x)| y x [0, 1] entonces
x[0,1]
Z 1 Z 1 Z 1

|Pn (x) f (x)| = f (x + t)Qn (t)dt f (x) = f (x + t)Qn (t)dt f (x) Qn (t)dt
1 1 1
Z 1 Z 1

= [f (x + t) f (x)]Qn (t)dt |f (x + t) f (x)|Qn (t)dt
1 1
Z Z Z 1
= |f (x + t) f (x)|Qn (t)dt + |f (x + t) f (x)|Qn (t)dt + |f (x + t) f (x)|Qn (t)dt
1

Z Z Z 1
2M Qn (t)dt + Qn (t)dt + 2M Qn (t)dt
1 2

4M n(1 2 )n + <
2
para todo n > N donde N es un numero natural suficientemente grande.
Para el caso general definimos una funcion g : [0, 1] R por
g(x) := f ((b a)x + a) f (a) x[f (b) f (a)].
Observemos que g(0) = g(1) = 0. Entonces aplicamos el resultado ya probado a g y con esto es clara la existencia
de la sucesion de polinomios que converge uniformemente a f ya que la diferencia f g es un polinomio.
3.8 Series de Potencias

(Rudin, Captulos 3 y 8)
Definicion. Dada una sucesion {cn } de numeros complejos, la serie

X
cn z n
n=0
es llamada una serie de potencias. Los numeros cn son llamados coeficientes de la serie y z es un numero
complejo.
A cada serie de potencias esta asociado un crculo, llamado crculo de convergencia o disco de convergencia.
Este es tal que la serie converge si z esta en el interior del disco y diverge si esta en el exterior.
55
cn z n , definamos
P
Teorema 16. (Rudin, Teorema 3.39). Dada la serie de potencias
p
n 1
:= lim sup |cn | y R := .
n
cn z n converge si |z| < R y diverge
P
(Si = 0, definimos R := + y si = + definimos R := 0). Entonces
si |z| > R.
Prueba. Sea an := cn z n para cada n N. Entonces
p
n
p |z|
lim sup |an | = |z| lim sup n |cn | = .
n n R
Por el criterio de convergencia de la raz se sigue el resultado del teorema.
Ejemplos
P n n
(a) La serie n z tiene radio de convergencia R = 0. Por lo tanto la serie diverge si |z| > 0. Ahora, si
|z| = R, es decir si z = 0 obviamente la serie converge.
P zn
(b) La serie tiene R = + (esto puede verse mas facilmente por el criterio de convergencia de la razon).
n!
Por lo tanto la serie converge para todo z C.
P n
(c) La serie z tiene R = 1. Si |z| = 1 la serie diverge ya que en este caso la sucesion {z n } no converge a
cero cuando n .
P zn
(d) La serie tiene R = 1. Si |z| = 1 la serie puede ser convergente o divergente. Por ejemplo, si z = 1
n
la serie diverge y si z = 1 la serie converge.
P zn
n
z 1
(e) La serie 2
tiene R = 1. Si |z| = 1 se tiene que 2 = 2 . Por lo tanto, empleando el criterio de
n n n
comparacion, podemos concluir que la serie converge para todo z tal que |z| 1.
cn xn y por
P
En los siguientes teoremas restringiremos los valores de x a valores reales en la serie de potencias
lo tanto hablaremos de intervalos de convergencia (R, R) en vez de discos de convergencia.
Teorema 17. (Rudin, Teorema 8.1). Supongamos que la serie

X
cn xn
n=0
converge para |x| < R y definamos

X
f (x) := cn xn (|x| < R).
n=0
Entonces la serie converge uniformemente en el intervalo [R+, R] para todo (0, R). Ademas la funcion
f es continua y diferenciable en (R, R) y

X
f 0 (x) = ncn xn1 (|x| < R).
n=1
Prueba. Sea 0 < < R arbitrario. Para |x| R tenemos que
|cn xn | |cn (R )n |;
|cn (R )n | converge (lo cual puede probarse facilmente

P
y como con el criterio de la raz teniendo presente
que R es un punto del intervalo de convergencia), entonces cn xn converge uniformemente en [R+, R].
P
56

Ahora, como n
n 1 cuando n entonces
p
n
p
lim sup n|cn | = lim sup n |cn |.
n n
Luego, las series

X
X
n
cn x y ncn xn1
n=0 n=1
tienen el mismo intervalo de convergencia.
cn xn tenemos que
P
Aplicando el resultado ya probado para

X
ncn xn1
n=1
converge uniformemente en [R + , R ] para todo 0 < < R.
Si definimos, para cada n N,

n
X
Sn (x) := ck xk .
k=0
Entonces la sucesion {Sn (0)} converge y ademas la sucesion {Sn0 } converge uniformemente en [R + , R ].
Por lo tanto

X
f 0 (x) = lim Sn0 (x) = ncn xn1 para |x| R .
n
n=1
En realidad la igualdad se sigue para todo x tal que |x| < R ya que dado x (R, R) arbitrario, tomando
[|x|, R] se sigue que |x| R .
Finalmente observemos que f es continua en (R, R) por la existencia de f 0 en (R, R).

Observemos que del teorema anterior es claro el siguiente resultado.
Corolario 18. (Rudin, Corolario al Teorema 8.1). Supongamos que la serie

X
cn xn
n=0
converge para |x| < R y definamos

X
f (x) := cn xn (|x| < R).
n=0
Entonces f tiene derivadas de todos los ordenes en (R, R), las cuales estan dadas por

X
f (k) (x) = n(n 1) (n k + 1)cn xnk .
n=k
En particular
f (k) (0) = k!ck , para todo k = 0, 1, 2, . . .
(Aqu, f (0) significa f y f (k) es la derivada de f de orden k, para k N).
P
Teorema 19. (Rudin, Teorema 8.2). Supongamos que cn es una serie convergente. Definamos

X
f (x) := cn xn (1 < x < 1).
n=0
Entonces

X
lim f (x) = cn .
x1
n=0
57
Prueba. Para n = 0, 1, 2, . . . definamos sn := c0 + + cn y s1 := 0. Entonces
m
X m
X m1
X m
X m1
X m1
X
cn xn = (sn sn1 )xn = sn xn + sm xm sn1 xn = sn xn + sm xm sn xn+1
n=0 n=0 n=0 n=0 n=0 n=1
m1
X m1
X m1
X
= sn xn + sm xm x sn xn = (1 x) sn xn + sm xm .
n=0 n=0 n=0
Si |x| < 1 y tomamos m obtenemos

X
f (x) = (1 x) s n xn
n=0
Definamos s := lim sn . Sea > 0 arbitrario. Escojamos N N tal que si n > N entonces
n

|s sn | < .
2
De esta forma, como

X
(1 x) xn = 1 (|x| < 1),
n=0
entonces tenemos que

N
X
n
X
|f (x) s| = (1 x) (sn s)x (1 x) |sn s||x|n +

2
n=0 n=0
si x > 1 , para cierto > 0 escogido adecuadamente.
Teorema 20. (Rudin, Teorema 8.3). Dada una sucesion doble {aij }, i = 1, 2, 3, . . . , j = 1, 2, 3, . . . , supongamos
que

X
|aij | = bi (i = 1, 2, 3, . . . )
j=1
P
y que bi converge. Entonces
X
X X
X
aij = aij .
i=1 j=1 j=1 i=1
Prueba. Sea E := {x0 , x1 , x2 , . . . } un conjunto contable tal que xn x0 cuando n . Definamos

X
fi (x0 ) := aij (i = 1, 2, 3, . . . ),
j=1
n
X
fi (xn ) := aij (i, n = 1, 2, 3, . . . ),
j=1
X
g(x) := fi (x) (x E).
i=1
Observemos que para cada i N tenemos que fi (xn )P

fi (x0 ). Luego fi es continua en x0 para toda i N.
Ahora, como |fi (x)| bi para todo x E entonces fi (x) converge uniformemente en E, con lo cual g es
continua en x0 .
58
De esta forma tenemos que
X
X
X
aij = fi (x0 ) = g(x0 ) = lim g(xn )
n
i=1 j=1 i=1
= lim [g(x1 ) + (g(x2 ) g(x1 )) + (g(x3 ) g(x2 )) + + (g(xn ) g(xn1 ))]

n
"
# n X X
X X X X X X
= lim ai1 + ai2 + ai3 + + ain = lim aij = aij .
n n
i=1 i=1 i=1 i=1 j=1 i=1 j=1 i=1
Teorema 21. (Teorema de Taylor). (Rudin, Teorema 8.4). Sea

X
f (x) := cn xn ,
n=0
convergente en |x| < R. Si R < a < R entonces f puede ser expandida en una serie de potencias alrededor de
x = a, la cual converge en |x a| < R |a| y

X f (n) (a)
f (x) = (x a)n (|x a| < R |a|).
n!
n=0
Prueba. Observemos que como |x a| < R |a| entonces |x a| + |a| < R, luego

X
|cn |(|x a| + |a|)n
n=0
es una serie convergente. Por lo tanto

X
n
X n nm m
X
|cn |(|x a| + |a|)n

cn a (x a) =
m
n=0 m=0 n=0
converge, y con esto, del teorema anterior se sigue que

X
n X
X n nm m
X n nm
cn a (x a) = cn a (x a)m .
m n=m
m
n=0 m=0 m=0
De esta forma
n
" #
X X X n X X n
f (x) = cn [(x a) + a]n = cn anm (x a)m = cn anm (x a)m .
m n=m
m
n=0 n=0 m=0 m=0
Pero

X n nm
X n! nm
X n(n 1) (n m + 1) nm f (m) (a)
cn a = cn a = cn a = .
n=m
m n=m
m!(n m)! n=m
m! m!
Por lo tanto

X f (n) (a)
f (x) = (x a)n .
n!
n=0
59
an xn y bn xn series convergentes en el intervalo S := (R, R)
P P
Teorema 22. (Rudin, Teorema 8.5). Sean
y sea E el conjunto de los puntos x de S en los cuales

X
X
an xn = bn xn . (6)
n=0 n=0
Si E tiene un punto lmite en S entonces an = bn para n = 0, 1, 2, . . . , es decir, la igualdad (6) se cumple para
todo x S.
Prueba. Para cada n N definamos cn := an bn y para cada x S definamos

X
f (x) := cn xn .
n=0
Entonces f (x) = 0 para todo x E.
Sea A el conjunto de todos los puntos lmites de E en S y sea B el conjunto de los demas puntos de S, entonces
B es abierto. Probemos que A tambien es abierto.
Sea x0 A un punto arbitrario. Como A S entonces por el teorema anterior

X
f (x) = dn (x x0 )n (|x x0 | < R |x0 |).
n=0
Mostremos que dn = 0 para todo n = 0, 1, 2, 3 . . . Supongamos, razonando por el absurdo, que no es as. Sea k
el menor entero positivo tal que dk 6= 0. Entonces

X
X
X
f (x) = dn (x x0 )n = (x x0 )k dn (x x0 )nk = (x x0 )k dn+k (x x0 )n (x x0 )k g(x).
n=k n=k n=0
Observemos que la funcion g es una serie de potencias que tiene radio de convergencia |x x0 | < R |x0 | luego
es continua en x0 . Ademas g(x0 ) = dk 6= 0. Por lo tanto existe 0 < < R |x0 | tal que g(x) 6= 0 si |x x0 | < .
Lo cual implica que f (x) 6= 0 si x 6= x0 y |x x0 | < . Esto es absurdo ya que x0 es un punto lmite de E.
De esta forma f = 0 en un intervalo abierto I S que contiene a x0 . Luego todos los puntos de I son puntos
lmites de E en S y entonces I A. Lo cual significa que A es abierto.
Tenemos entonces hasta el momento que S = A B, donde A y B son abiertos. Como S es conexo y por
hipotesis A 6= entonces B = . Es decir A = S.
Pero A E ya que si x A entonces existe una sucesion {xn } de puntos en E tal que xn x y como f es
continua en S entonces f (xn ) f (x), donde f (xn ) = 0 para todo n N, luego f (x) = 0, es decir x E.
Concluimos que E = S.
60
Captulo 4
Series de Fourier
4.1 La Funcion Exponencial

(Rudin, Captulo 8)
Definicion. Sea

X 1
e := .
n!
n=0
Observemos que la anterior serie converge pues
1 1
< 2
n! n
para todo n 4.
Definamos ahora, para z C,

X zn
E(z) := .
n!
n=0
Como n+1
z

(n + 1)! |z|
zn = n + 1 0

n!
para todo z C entonces la serie converge absolutamente para todo z C.
Veamos algunas propiedades.
Por el teorema de Mertens sobre el producto de Cauchy de series tenemos que, si

n
zn wn X
an := , bn := y cn := ak bnk ,
n! n!
k=0
entonces

X
X
X
an bn = cn .
n=0 n=0 n=0
Es decir
X n X n
X z k wnk X 1 n!
E(z)E(w) = = z k wnk
k! (n k)! n! k!(n k)!
n=0 k=0 n=0 k=0
n
X 1 X n k nk X (z + w)n
= z w = = E(z + w).
n! k n!
n=0 k=0 n=0
61
Como consecuencia de lo anterior se sigue que
1
E(z)E(z) = E(z z) = E(0) = = 1.
0!
Por lo tanto E(z) 6= 0 para todo z C. Ahora, si x R es tal que x > 0 entonces, de la definicion,
1
E(x) > 0 y si x < 0 entonces E(x) > 0 y E(x) = > 0. Es decir, E(x) > 0 para todo x R.
E(x)
Nuevamente de la definicion se sigue que E(x) si x . Luego

1
lim E(x) = lim = 0.
x x E(x)
Si 0 < x < y entonces

X xn X yn
E(x) = < = E(y)
n! n!
n=0 n=0
y
1 1
E(y) = < = E(x).
E(y) E(x)
Por lo tanto, E es estrictamente creciente en R.
Observemos que
E(z + h) E(z) E(z)E(h) E(z) E(h) 1
lim = lim = E(z) lim
h0 h h0 h h0 h
n n1
1 X h X h
=E(z) lim = E(z) lim .
h0 h n! h0 n!
n=1 n=1
Ahora, como la funcion

X hn1
f (h) :=
n!
n=1
es continua en todo R (ya que es una serie de potencias convergente en todo R lo cual puede comprobarse
facilmente con el criterio de la razon), entonces en particular es continua en h = 0 y por lo tanto
lim f (h) = f (0) = 1.
h0
Es decir

X hn1
lim = 1.
h0 n!
n=1
De esta forma
E(z + h) E(z)
lim = E(z).
h0 h
Por lo tanto E 0 (z) = E(z).
E(z1 + + zn ) = E(z1 ) E(zn ). Por lo tanto, si z1 = = zn = 1, se sigue que
E(n) = [E(1)]n = en (n = 1, 2, 3, . . . ).
n
Si p = donde n, m N, tenemos que
m
[E(p)]m = E(p) E(p) = E(mp) = E(n) = en .
1 1
Luego si p > 0 y p Q entonces E(p) = en/m = ep y E(p) = = p = ep . Por lo tanto E(p) = ep
E(p) e
para todo p Q.
62
Definimos, para x R, ex := sup{ep : p < x, p Q}. Entonces, como E es continua en R y ademas
ep = E(p) si p Q y E es creciente en R se sigue que E(x) = ex para todo x R.
Observemos que si x > 0

X xn xn+1
ex = >
n! (n + 1)!
n=0
para todo n N. Luego
(n + 1)!
xn ex <
x
para todo x > 0 y todo n N. Lo cual implica que
lim xn ex = 0
x
para todo n N. Esto significa que la funcion ex tiende a infinito mas rapido que cualquier potencia
de x, cuando x tiene a infinito.
Podemos resumir los resultados vistos acerca de la funcion ex en el siguiente teorema.

Teorema 1. (Rudin, Teorema 8.6). Para x R,
(a) ex es continua y diferenciable en R.
(b) (ex )0 = ex .
(c) ex es una funcion estrictamente creciente y ex > 0.
(d) ex+y = ex ey .
(e) ex + cuando x + y ex 0 cuando x .
(f ) lim xn ex = 0 para todo n N.

x+
4.2 Las Funciones Trigonometricas

(Rudin, Captulo 8)
Definicion. Sean, para cada x R,

1 1
C(x) := [E(ix) + E(ix)], S(x) := [E(ix) E(ix)].
2 2i
Veamos algunas propiedades.
Si x R entonces

X 1 n n
X 1
E(ix) + E(ix) = [(ix) + (ix) ] = [(i)n + (i)n ]xn .
n! n!
n=0 n=0
Ademas
n n 0 si n es impar,
(i) + (i) =
2 si n es par.
Por lo tanto C(x) R para todo x R.
Tambien tenemos que

X 1 n n
X 1
E(ix) E(ix) = [(ix) (ix) ] = [(i)n (i)n ]xn ,
n! n!
n=0 n=0
63
con
n n 2i si n es par,
(i) (i) =
0 si n es impar.
Luego S(x) R para todo x R.
Para x R tenemos que
C(x) + iS(x) = E(ix).
Entonces C(x) y S(x) son, respectivamente, las partes real e imaginaria de E(ix) si x R. De esta forma
|E(ix)|2 =E(ix)E(ix) = [C(x) + iS(x)][C(x) iS(x)] = C 2 (x) + S 2 (x)

1 1
= [E 2 (ix) + 2E(ix)E(ix) + E 2 (ix)] [E 2 (ix) 2E(ix)E(ix) + E 2 (ix)]
4 4
=E(ix)E(ix) = 1.
Por lo tanto |E(ix)| = 1 si x R y como C(x) y S(x) son, respectivamente, las partes real e imaginaria
de E(ix) entonces |C(x)| 1 y |S(x)| 1 para todo x R.
De las definiciones de C y S tenemos que
1 1
C(0) = [E(0) + E(0)] = 1, S(0) = [E(0) E(0)] = 0.
2 2i
Como E 0 (z) = E(z) para todo z C entonces, si x R, se sigue que
1 1 1
C 0 (x) = [E 0 (ix) + E 0 (ix)] = [iE(ix) iE(ix)] = [E(ix) E(ix)] = S(x)
2 2 2i
y ademas que
1 0 1 1
S 0 (x) = [E (ix) E 0 (ix)] = [iE(ix) + iE(ix)] = [E(ix) + E(ix)] = C(x).
2i 2i 2
Existe x > 0 tal que C(x) = 0. En efecto, razonando por el absurdo, supongamos que esto no es cierto.
Como C(0) = 1 y C es continua en R entonces C(x) > 0 para todo x > 0. Es decir S 0 (x) > 0 para todo
x > 0. As que S es estrictamente creciente en x > 0 y como S(0) = 0 entonces S(x) > 0 para todo x > 0.
De esta forma si 0 < x < y tenemos que, si t > x, S(t) > S(x) y
Z y Z y
S(t)dt > S(x)dt = S(x)(y x).
x x
Pero Z y Z y
S(t)dt = C 0 (t)dt = C(x) C(y) |C(x) C(y)| |C(x)| + |C(y)| 2.
x x
2
Luego S(x)(y x) 2. Lo cual es absurdo ya que si y > x + entonces S(x)(y x) > 2.
S(x)
Como C es continua el conjunto de ceros de C es un conjunto cerrado. Sea a un cero de C. Entonces el
conjunto A := {x [0, a] : C(x) = 0} es un conjunto compacto, luego tiene mnimo, el cual llamaremos
x0 . (Observemos que x0 > 0 ya que C(0) = 1).
Definamos el numero por

= 2x0 .
Entonces C(/2) = 0. Y como
1 = |E(i/2)| = |C(/2) + iS(/2)| = |S(/2)|
tenemos que S(/2) = 1. Ahora, como C(x) > 0 en (0, /2) entonces S es creciente en (0, /2). Luego
S(/2) = 1.
64
De lo anterior se sigue que
E(i/2) = C(/2) + iS(/2) = i
y entonces
E(i) = E(i/2 + i/2) = E(i/2)E(i/2) = 1
y
E(2i) = E(i + i) = E(i)E(i) = 1.
Por lo tanto
E(z + 2i) = E(z) (z C).
Si x R entonces
1 1
C(x + 2) = [E(ix + 2i) + E(ix 2i)] = [E(ix) E(ix)] = C(x)
2 2
y ademas
1 1
S(x + 2) = [E(ix + 2i) E(ix 2i)] = [E(ix) E(ix)] = S(x).
2i 2i
En adelante llamaremos, para x R, cos x al numero C(x) y sen x al numero S(x).
Podemos resumir los resultados vistos acerca de las funciones cos x y sen x en el siguiente teorema.
Teorema 2. (Rudin, Teorema 8.7). Para x R,
(a) cos(x) = cos(x) para todo x R. Es decir, cos x es una funcion par.
(b) sen(x) = sen(x) para todo x R. Es decir, sen x es una funcion impar.
(c) cos x y sen x son continuas y diferenciables en R.
(d) (cos x)0 = sen x y (sen x)0 = cos x.
(e) |cos x| 1 y |sen x| 1 para todo x R.
(f ) cos x y sen x son funciones periodicas y tienen perodo 2.
4.3 El Espacio PC(2)

(Bartle, Seccion 38)
Definicion. Sea f : R R una funcion 2 periodica. Diremos que f es continua por secciones o continua a
tramos si f es continua excepto, posiblemente, en un numero finito de puntos x1 , . . . , xr en cualquier intervalo
de longitud 2 y ademas existen los lmites laterales f (xj ) y f (xj +) para todo j = 1, . . . , r.
Denotaremos P C(2) al conjunto de funciones 2 periodicas y continuas a tramos. Facilmente puede verse que
P C(2) es un espacio vectorial bajo las operaciones suma y producto por escalar.
Definiremos dos normas en el espacio P C(2): la norma L y la norma L2 de la siguiente forma.

Z 1/2
2
kf k := sup{|f (x)| : x [, ]}, kf k2 := [f (x)] dx .

Ambas normas estan bien definidas porque una funcion en P C(2) es acotada y Riemann integrable. Observe-
mos ademas que
1/2 Z 1/2 Z 1/2

Z
2 2
kf k2 = [f (x)] dx kf k dx = kf k dx = 2kf k .

Lo cual implica que convergencia uniforme implica convergencia en la norma L2 .
65
4.4 Coeficientes de Fourier y Serie de Fourier de una Funcion
Definicion. Si f P C(2) entonces llamaremos coeficientes de Fourier a los numeros

1 1
Z Z
an := f (t)cos(nt)dt, bn := f (t)sen(nt)dt, n = 0, 1, 2, 3, . . .

Y llamaremos serie de Fourier a la serie

1 X
a0 + (an cos(nx) + bn sen(nx)).
2
n=1
Para indicar la asociacion de la serie de Fourier de f con f escribiremos

1 X
f (x) a0 + (an cos(nx) + bn sen(nx)).
2
n=1
Lo cual no significa que necesariamente la serie de Fourier de f converja puntualmente a f .
Observemos que si f P C(2) es una funcion par, es decir, si f (x) = f (x) para todo x R, entonces bn = 0
para todo n = 1, 2, 3, . . . y
2
Z
an = f (t)cos(nt)dt, n = 0, 1, 2, . . .
0
Y si f P C(2) es una funcion impar, es decir, si f (x) = f (x) para todo x R, entonces an = 0 para todo
n = 0, 1, 2, . . . y
2
Z
bn = f (t)sen(nt)dt, n = 1, 2, 3, . . .
0
Supongamos que f P C(2) es tal que f 0 P C(2). Si llamamos an , bn a los coeficientes de Fourier de f y
a0n y b0n a los coeficientes de Fourier de f 0 , entonces, usando integrando por partes, obtenemos
1 0
Z Z
0 1
an = f (t)cos(nt)dt = f ()cos(n) f ()cos(n) + f (t) n sen(nt)dt

Z
=n f (t)sen(nt)dt = nbn , n = 1, 2, 3, . . .

Y en forma similiar b0n = nan para n = 1, 2, 3, . . . .
4.5 Polinomios Trigonometricos

Definicion. Sean 0 , . . . , n y 1 , . . . , n numeros reales. Llamamos polinomios trigonometricos de grado n a

las funciones de la forma
n
1 X
Tn (x) := 0 + [k cos(kx) + k sen(kx)].
2
k=1
Lema 3. (Bartle, Lema 38.3). Sea f P C(2) y Tn un polinomio trigonometrico de grado n. Entonces
n n
" # " #
1 X 1 X
kf Tn k22 = kf k22 a2 + (a2k + b2k ) + (0 a0 )2 + [(k ak )2 + (k bk )2 ] ,
2 0 2
k=1 k=1
donde ak y bk denotan los coeficientes de Fourier de f .
66
Prueba.
Z Z Z Z
kf Tn k22 = 2
[f (t) Tn (t)] dt = 2
[f (t)] dt 2 f (t)Tn (t)dt + [Tn (t)]2 dt. (1)

Pero
Z Z n Z n Z
1 X X
f (t)Tn (t)dt = 0 f (t)dt + k f (t)cos(kt)dt + k f (t)sen(kt)dt
2
k=1 k=1
n
" #
1 X
= 0 a0 + (k ak + k bk ) . (2)
2
k=1
Ademas, teniendo en cuenta que

Z Z
2
[cos(kx)] dx = [sen(kx)]2 dx = , k N,

Z Z
sen(kx)sen(nx)dx = cos(kx)cos(nx)dx = 0, k, n N, k 6= n,

Z
sen(kx)cos(mx)dx = 0, k, m = 0, 1, 2, . . . ,

se sigue que
Z Z n Z Z
2 1 2 X
2 2
[Tn (t)] dt = 0 dt + [k cos(kt)] dt + [k sen(kt)] dt
4
k=1
n n
" #
X 1 X
= 02 + [k2 + k2 ] = 2 + (k2 + k2 ) . (3)
2 2 0
k=1 k=1
De esta forma, reemplazando, (2) y (3) en (1) obtenemos

n n n
" # " # " #
1 X 1 X X
kf Tn k22 =kf k22 a2 + (a2k + b2k ) + a2 + (a2k + b2k ) 0 a0 + (2k ak + 2k bk )
2 0 2 0
k=1 k=1 k=1
n
" #
1 2 X 2 2
+ + (k + k )
2 0
k=1
n n
" # " #
2 1 2 X 2 2 1 2
X
2 2
=kf k2 + a (ak + bk ) + (0 a0 ) + [(k ak ) + (k bk ) ] .
2 0 2
k=1 k=1
Observemos que del lema anterior podemos concluir que el unico polinomio trigonometrico de grado n que
minimiza la expresion kf Tn k22 es aquel en el cual k = ak para k = 0, 1, . . . , n. Denotemos Sn (f ) a tal
polinomio minimizador. Entonces
n
1 X
Sn (f ) = a0 + [ak cos(kx) + bk sen(kx)]
2
k=1
es la n-esima suma parcial de la serie de Fourier de f . Ademas

n
" #
2 2 1 2 X 2 2
kf Sn (f )k2 = kf k2 a + (ak + bk ) .
2 0
k=1
67
4.6 Desigualdad de Bessel
Teorema 4. (Bartle, Teorema 38.4). Sea f P C(2). Entonces

1 2 X 2 1
a0 + (ak + b2k ) kf k22 .
2
k=1
Prueba. Sea n N arbitrario. Entonces

n
1 1 X 1
kf Sn (f )k22 + a20 + (a2k + b2k ) = kf k22
2
k=1
n
1 2 X 1
a + (a2k + b2k ) kf k22 .
2 0
k=1
Luego, la sumas parciales de la serie son acotadas superiormente. Como todos los terminos de la serie son
positivos se sigue que entonces esta serie es convergente y se sigue el resultado.
Observemos que de la desigualdad de Bessel se sigue que si an y bn son los coeficientes de Fourier de una funcion
f P C(2) entonces las sucesiones {an } y {bn } convergen a cero.
4.7 Convergencia Puntual de la Serie de Fourier

Teorema 5. (Lema de Riemann-Lebesgue). (Bartle, Teorema 38.5). Sea g P C(2). Entonces
Z
1
lim g(t)sen[(n + )t]dt = 0.
n 2
1 1 1
Prueba. Como sen[(n + )t] = sen(nt)cos( t) + cos(nt)sen( t) entonces
2 2 2
Z Z
1
Z
1 1 1 1
g(t)sen[(n + )t]dt = [g(t)cos( t)]sen(nt)dt + [g(t)sen( t)]cos(nt)dt.
2 2 2
=an + bn .
1 1
Donde an y bn son algunos de los coeficientes de Fourier de las funciones g(t)cos( t) y g(t)sen( t), respec-
2 2
tivamente. Por lo tanto Z
1
lim g(t)sen[(n + )t]dt = lim (an + bn ) = 0.
n 2 n
Lema 6. (Bartle, Lema 38.6). Si f P C(2) entonces las sumas parciales Sn (f ) de su serie de Fourier estan
dadas por
1
Z
Sn (f ) = f (x + t)Dn (t)dt,

donde Dn es el n-esimo kernel de Dirichlet, definido por
1

sen[(n + )t]
n

2 si 0 < |t| ,
1 X
1
Dn (t) = + cos(kt) = 2sen( t)
2 2
k=1
n+ 1

si t = 0.
2
68
Prueba. En primer lugar observemos que para cada k N se tiene que
1 1 1 1 1 1
sen[(k + )x] sen[(k )x] =sen(kx)cos( x) + sen( x)cos(kx) sen(kx)cos( x) + sen( x)cos(kx)
2 2 2 2 2 2
1
=2sen[( )x]cos(kx).
2
Luego
1 3 1 5 3
2sen( x)[cos x + + cos(nx)] =sen( x) sen( x) + sen( x) sen( x)
2 2 2 2 2
1 1
+ + sen[(n + )x] sen[(n )x]
2 2
1 1
=sen[(n + )x] sen( x).
2 2
1
Y de esta forma, si sen( x) 6= 0, entonces
2
1 1 1
n sen[(n + )x] sen( x) sen[(n + )x] 1
2 2 = 2
X
cos(kx) = (4)
1 1 2
k=1 2sen( x) 2sen( x)
2 2
Z n
1 X
Z
1
Sn (f )(x) = f (t)dt + f (t)[cos(kx)cos(kt) + sen(kx)sen(kt)]dt
2
k=1
n n
" # " #
1 1 x
Z Z
1 X 1 X
= f (t) + cos[k(x t)] dt = f (x + s) + cos(ks) ds
2 x 2
k=1 k=1
n
" #
1
Z
1 X
= f (x + s) + cos(ks) ds. (5)
2
k=1
De (4) y (5) se sigue el resultado.

Teorema 7. (Teorema de Convergencia Puntual). (Bartle, Teorema 38.7). Sea f P C(2) tal que las
derivadas laterales de f existen en todo punto. Entonces la serie de Fourier de f converge a
1
[f (c) + f (c+)]
2
en cada punto c R. Es decir, si c R entonces

1 1 X
[f (c) + f (c+)] = a0 + [an cos(nc) + bn sen(nc)].
2 2
n=1
1
Prueba. En la prueba del lema anterior se mostro que si sen( x) 6= 0 entonces
2
1
1 X
n sen[(n + )t]
+ cos(kt) = 2 .
2 1
k=1 2sen( t)
2
1 R
Sea c R. Multiplicando por f (c+), integrando en [0, ] y teniendo en cuenta que 0 cos(kt)dt = 0 para todo

k N, obtenemos
1
1 1
Z sen[(n + )t]
f (c+) = f (c+) 2 dt.
2 0 1
2sen( t)
2
69
1
Similarmente, si multiplicamos por f (c) e integramos en [, 0] obtenemos

1
1 1
Z 0 sen[(n + )t]
f (c) = f (c) 2 dt.
2
1
2sen( t)
2
Por lo tanto, empleando la expresion para Sn (f )(c) del lema anterior, se sigue que
1 0 f (c + t) f (c)
Z
1 1
Sn (f )(c) [f (c) + f (c+)] = sen[(n + )t]dt
2 1 2
2sen( t)
2
1 f (c + t) f (c+)
Z
1
+ sen[(n + )t]dt. (6)
0 1 2
2sen( t)
2
Ahora, como
f (c + t) f (c+) f (c + t) f (c+) t
lim = lim = f+0 (c),
t0+ 1 t0 + t 1
2sen( t) 2sen( t)
2 2
se sigue que la funcion
si t (, 0),

0

0
f+ (c) si t = 0,
F+ (t) := f (c + t) f (c+)
si t (0, ].
1

2sen( t)
2
es continua por secciones en el intervalo (, ]. Luego, por el Lema de Riemann-Lebesgue, se sigue que la
segunda integral del lado derecho en (6) tiende a cero cuando n tiende a infinito. En forma similar se muestra
que la primera integral de esa desigualdad tambien tiende a cero cuando n tiende a infinito. De esta forma, de
(4), se sigue el resultado.
4.8 Convergencia Uniforme de la Serie de Fourier

Teorema 8. (Bartle, Teorema 38.9). Sea f una funcion continua y 2 periodica tal que f 0 P C(2). Entonces
la serie de Fourier de f converge uniformemente a f en R.
Prueba. Como f es continua en R y sus derivadas laterales existen en todo R entonces se sigue, del teorema
de convergencia puntual, que la serie de Fourier de f converge a f en R. Veamos que la convergencia es uniforme.
De la desigualdad de Bessel aplicada a f 0 se sigue que la serie (|a0k |2 + |b0k |2 ) es convergente. Luego, empleando
P
la desigualdad de Cauchy-Schwarz, se sigue que
m m m
!1/2 m
!1/2
X X b0 X 1 X
|ak | = | k| |b0k |2 ,
k k2
k=1 k=1 k=1 k=1
P P
y entonces la serie |ak | tambien es convergente. En forma similar puede probarse que la serie |bk | es
convergente. Ademas tenemos que

X
X
X
|ak cos(kx) + bk sen(kx)| [|ak ||cos(kx)| + |bk ||sen(kx)|] (|ak | + |bk |).
k=1 k=1 k=1
Por lo tanto se sigue que la serie de Fourier de f converge uniformemente.
70
4.9 Convergencia de la Serie de Fourier en la norma L2
Teorema 9. (Bartle, Teorema 38.10). Sea f P C(2). Si Sn (f ) es la sucesion de sumas parciales de la serie
de Fourier de f entonces
lim kf Sn (f )k2 = 0.
n
Prueba. Sean f P C(2) y > 0 arbitrario. Existe una funcion g P C(2), continua y lineal por tramos,
tal que

kf gk2 < .
4
Del teorema anterior existe N N tal que si n > N se sigue que

kg Sn (g)k < .
4
De esta forma, si n > N , tenemos que

kf Sn (g)k2 kf gk2 + kg Sn (g)k2 < + 2kg Sn (g)k < + 3 = .
4 4 4
Ahora, como Sn (f ) es el polinomio trigonometrico de grado n mas cercano a f en la norma L2 se sigue que
kf Sn (f )k2 kf Sn (g)k2 <
para todo n > N . Luego

lim kf Sn (f )k2 = 0.
n
Corolario 10. (Igualdad de Parseval). (Bartle, Teorema 38.11). Sea f P C(2). Entonces

1 1 X
kf k22 = a20 + (a2k + b2k ),
2
k=1
donde los ak y bk son los coeficientes de Fourier de f .
Prueba. Anteriormente habamos obtenido que, para cada n N,

n
1 1 X 1
kf Sn (f )k22 + a0 + (a2k + b2k ) = kf k22 .
2
k=1
Por lo tanto, tomando lmite n , se sigue el resultado.
4.10 Teorema de Fejer

Definicion. Sea f P C(2). Si Sn (f ), n = 0, 1, 2, . . . , son las sumas parciales de la serie de Fourier de f

definimos el promedio de Cesaro por
1
n (f ) := [S0 (f ) + S1 (f ) + + Sn1 (f )].
n
71
Observemos que si , R entonces

+ +
cos cos =cos + cos
2 2 2 2

+ +
=cos cos sen sen
2 2 2 2

+ +
cos cos sen sen
2 2 2 2

+
= 2sen sen
2 2
Por lo tanto para cada k N se tiene que
1 1
2sen[(k )t]sen( t) = cos[(k 1)t] cos(kt). (7)
2 2
Definamos, para cada n N, el n-esimo kernel de Fejer por
1
Kn := [D0 (t) + D1 (t) + + Dn1 (t)],
n
donde, recordemos que
1

sen[(n + )t]
n

2 si 0 < |t| ,
1 X
1
Dn (t) = + cos(kt) = 2sen( t)
2 2
k=1
n+ 1

si t = 0.
2
1
Entonces, aplicando la identidad (7), tenemos que, si sen( t) 6= 0,
2
1 1 1

1 sen[(0 + )t] + sen[(1 + )t] + + sen[(n 1 + )t]
Kn = 2 2 2
n 1
2sen( t)
2
1 1 1

1 sen[(1 )t] + sen[(2 )t] + + sen[(n )t] 1
= 2 2 2 2sen( t)
2n 1 2
2sen2 ( t)
2
1 cos[(1 1)t] cos(t) + cos[(2 1)t] cos(2t) + + cos[(n 1)t] cos(nt)
=
2n
1
2sen2 ( t)
2
2
n n n

1 cos(0t) cos(nt) 1 sen( 2 t)sen( 2 t) 1 sen( 2 t)
= = = ,
2n 1
n 1
2n
1
2sen2 ( t) 2sen2 ( t) sen( t)
2 2 2
y si t = 0,

1 1 1 1 1 (n 1)n 1 n
Kn = (0 + ) + (1 + ) + + (n 1 + ) = + n = .
n 2 2 2 n 2 2 2
Claramente, de lo anterior, Kn 0 para todo n = 0, 1, 2, 3, . . . , ademas como
n
"Z ! #
1
Z
1 1 X
Dn (t)dt = + cos(kt) dt = 1
2
k=1
72
para todo k = 0, 1, 2, 3 . . . , se sigue que
1 1 1
Z Z
Kn (t)dt = [D0 (t) + D1 (t) + + Dn1 (t)]dt = 1.
n

Observemos ademas que, como para 0 se tiene que
2
2
sen ,

entonces
1 2 1 2 2
0 Kn = para |t| .
2n t 2n 2n 2
Notemos tambien que
1
n (f )(x) = [S0 (f ) + S1 (f ) + + Sn1 (f )]
n Z
11
= f (x + t) [D0 (t) + D1 (t) + + Dn1 (t)] dt
n
1
Z
= f (x + t)Kn (t)dt.

Teorema 11. (Teorema de Fejer). (Bartle, Teorema 38.12). Sea f P C(2) una funcion continua. Entonces
el promedio de Cesaro de la serie de Fourier de f converge uniformemente a f en R.
Prueba. Tenemos que
Z Z
1 1
f (x) = f (x) 1 = f (x) Kn (t)dt = f (x)Kn (t)dt.

Por lo tanto Z
1
n (f )(x) f (x) = [f (x + t) f (x)]Kn (t)dt

Como Kn (t) 0 para todo t y todo n entonces

Z
1
|n (f )(x) f (x)| |f (x + t) f (x)|Kn (t)dt. (8)

Sea > 0 arbitrario. Como f es continua en R y ademas 2 periodica entonces es uniformemente continua en
R. Luego existe 0 < < tal que si |t| se sigue que
|f (x + t) f (x)| < para todo x [, ].
Por lo tanto
Z Z Z
1
|f (x + t) f (x)|Kn (t)dt Kn (t)dt Kn (t)dt = . (9)

Ademas

2 1 2 kf k
Z
1
|f (x + t) f (x)|Kn (t)dt 2kf k .
2n 2 n 2
2 kf k

1
Luego, si n > , se sigue que
2
1
Z
|f (x + t) f (x)|Kn (t)dt . (10)

73
En forma similar se sigue que
Z
1
|f (x + t) f (x)|Kn (t)dt (11)

para n suficientemente grande.
Se sigue entonces, de (8) a (11) que, para n suficientemente grande
kn (f ) f k < 3.
Por lo tanto n (f ) f uniformemente en R.
Corolario 12. (Teorema de Aproximacion de Weierstrass). (Bartle, Teorema 38.13). Si f P C(2) es una
funcion continua entonces puede ser aproximada uniformemente mediante polinomios trigonometricos.
Prueba. Claramente el resultado se sigue del teorema anterior debido a que n (f ) es un polinomio trigonometrico
para todo n N.
74

IntSeries02 2017

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

IntSeries02 2017

Загружено:

Авторское право:

Доступные форматы

Integracion y Series

Notas de Clase - Semestre 02-2017

Universidad Nacional de Colombia

Munkres, J. Analysis on Manifolds. Westview Press. 1991.

Rudin, W. Principles of Mathematical Analysis. Tercera Edicion. McGraw-Hill International Editions.

Se realizaran 4 examenes parciales de acuerdo a la informacion de la siguiente tabla.

Primer parcial (30%) Jueves 7 de septiembre Captulo 1

1.1 La Integral Sobre un Rectangulo

En una forma mas general, dado un rectangulo

mR (f ) := inf{f (x) : x R},

Definimos las sumas inferior y superior de f determinadas por P , respectivamente a

P 00 := (P1 P10 , . . . , Pn Pn0 )

es un refinamiento tanto de P como de P 0 . A este refinamiento lo llamaremos refinamiento comun de P y P 0 .

L(f, P ) L(f, P 00 ) y U (f, P 00 ) U (f, P ).

Prueba. Sea Q un rectangulo de la forma

y P = (P1 , . . . Pn ) una particion de Q.

Supongamos que P1 es la particion cuyos puntos son

a1 = t0 < t1 < < tk = b1

y que el punto q esta en el interior del intervalo [ti1 , ti ].

donde S es un subrectangulo de [a2 , b2 ] [an , bn ] determinado por (P2 , . . . , Pn ).

mRS (f )v(RS ) = mRS (f )[v(RS0 ) + v(RS00 )] mRS0 (f )v(RS0 ) + mRS00 (f )v(RS00 ).

En forma analoga se deduce que

L(f, P ) L(f, P 00 ) U (f, P 00 ) U (f, P 0 ).

Definicion. Sean Q un rectangulo en Rn y f : Q R una funcion acotada. Definamos, para P recorriendo

es acotado superiormente por U (f, P 0 ) y el conjunto

es acotado inferiormente por L(f, P 0 ).

Teorema 3. (Munkres, Teorema 10.3). (Condicion de Riemann). Sea Q un rectangulo en Rn y f : Q R

U (f, P ) L(f, P ) < .

En forma similar, existe P 0 , particion de Q, tal que

donde la suma es realizada sobre todos los subrectangulos determinados por P .

Prueba. Sea R un subrectangulo determinado por P . Entonces mR (f ) = MR (f ) = c. De esta forma

donde, la ultima desigualdad se debe nuevamente al teorema anterior.

1.2 Existencia de la Integral

Teorema 6. (Munkres, Teorema 11.1).

(a) Si B A y A tiene medida cero en Rn , entonces B tiene medida cero en Rn .

(d) Si Q es un rectangulo en Rn , entonces su frontera, Q, tiene medida cero pero Q no.

(a) El resultado es inmediato pues todo cubrimiento de A es cubrimiento de B.

(d) Sea Q := [a1 , b1 ] [an , bn ]. Para cada i = 1, . . . , n, el subconjunto {x Q : xi = ai } es llamado

Definicion. Sea Q un rectangulo en Rn y f : Q R una funcion acotada. Si a Q, > 0 y | | es la norma

Ademas, si definimos M (f ) := sup A , y m (f ) := inf A , entonces llamamos oscilacion de f en el punto a al

|f (x) f (a)| < 

para todo x Q con |x a| < . Luego

Sea x Q tal que |x a| < . Entonces

Prueba. Sea M > 0 tal que |f (x)| M para todo x Q.

Paso 1. Probemos que si D tiene medida cero entonces f es integrable sobre Q.

{Int Q1 , Int Q2 , ...} {Int Qa : a

es un cubrimiento abierto de Q y como Q es compacto entonces existe un subcubrimiento finito de rectangulos

y ademas, empleando la desigualdad triangular, que

|f (x) f (y)| 20 para todo x, y Ti , con i = 1, . . . , l.

Para cada m N definamos

Como Dm = Dm 0 D 00 entonces cada D

1.3 Evaluacion de la Integral

Teorema 10. (Teorema de Fubini). Sea Q := A B donde A es un rectangulo en Rk y B es un rectangulo en

Si f es integrable sobre Q, entonces estas dos funciones de x son integrables sobre A y

Veamos que L(f, P ) L(I, PA ) y que U (f, P ) U (I, PA ).

Tomemos un subrectangulo RA RB , determinado por P y un punto x0 RA . Claramente

mRA RB (f ) mRB (f (x0 , y)).

Fijemos a x0 y a RA , multipliquemos por v(RB ) y sumemos sobre todos los rectangulos RB .

Como este resultado es valido para todo x0 RA entonces

Si multiplicamos por v(RA ) y sumamos sobre todos los rectangulos RA obtenemos

L(f, P ) L(I, PA ) U (I, PA ) U (I, PA ) U (f, P ) (1)

L(f, P ) L(I, PA ) L(I, PA ) U (I, PA ) U (f, P ). (2)

U (f, P ) L(f, P ) < .

U (f, P ) L(f, P ) < .

|f (x) f (a)| <

|f (x) f (y)| 20 para todo x, y Ti , con i = 1, . . . , l.

U (f, P ) L(f, P ) < .

U (I, PA ) L(I, PA ) U (f, P ) L(f, P ) <

Y como > 0 es arbitrario entonces Z Z

|f (x) r| < y |g(x) r| <

|F (x) r| < y |G(x) r| < .

Sea > 0 arbitrario, entonces existe > 0 tal que

|f (t) f (x0 )| < ,

U (f, P ) L(f, P ) < .

|(x) (y)| < 0

es un cubrimiento de D en Rn con volumen menor que . Luego D tiene medida cero.