DEPARTAMENT DE MATEMATICA APLICADA

UNIVERSITAT POLITECNICA DE VALENCIA

Apuntes de MATEMTICAS I
para los Grados en:

Ingeniera en Tecnologas Industriales (GITI)

Ingeniera de Organizacin Industrial (GIOI)

Mara Jos Martnez Us ? Jos Mara Sanchis Llopis

2 de septiembre de 2016
2
ndice

1. Nmeros, sucesiones y series numricas 1

1.1. Los Nmeros Reales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

1.2. Topologa en Rn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4

1.3. Nmeros complejos y polinomios . . . . . . . . . . . . . . . . . . . . . . . . 7

1.3.1. Los nmeros complejos . . . . . . . . . . . . . . . . . . . . . . . . . . 7

1.3.2. Polinomios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

1.3.3. Polinomios reales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11

1.3.4. Forma polar de los nmeros complejos . . . . . . . . . . . . . . . . . 13

1.4. Sucesiones de nmeros reales . . . . . . . . . . . . . . . . . . . . . . . . . . . 18

1.4.1. Sucesiones convergentes y sucesiones de Cauchy . . . . . . . . . . . . 19

1.4.2. Sucesiones acotadas y montonas . . . . . . . . . . . . . . . . . . . . 25

1.4.3. Sucesiones divergentes . . . . . . . . . . . . . . . . . . . . . . . . . . 28

1.5. Sucesiones en Rn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32

1.6. Series de nmeros reales . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33

1.6.1. Criterios para series de trminos positivos . . . . . . . . . . . . . . . 38

1.6.2. Series de trminos cualesquiera, series alternadas y reordenacin . . . 41

1.7. Series de potencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44

2. Funciones 47
2.1. Funciones de una variable . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47

2.1.1. Representacin grca . . . . . . . . . . . . . . . . . . . . . . . . . . 47

2.1.2. Funciones Inyectivas . . . . . . . . . . . . . . . . . . . . . . . . . . . 49

2.1.3. Funciones importantes . . . . . . . . . . . . . . . . . . . . . . . . . . 51

i
 2.2. Funciones de varias variables . . . . . . . . . . . . . . . . . . . . . . . . . . . 63

2.2.1. Campos escalares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63

2.2.2. Campos vectoriales . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66

3. Lmites y continuidad de funciones 69

3.1. Lmites de funciones de una variable . . . . . . . . . . . . . . . . . . . . . . 69

3.2. Continuidad de funciones de una variable . . . . . . . . . . . . . . . . . . . . 73

3.2.1. La idea de continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . 73

3.2.2. La continuidad en un punto . . . . . . . . . . . . . . . . . . . . . . . 74

3.2.3. Clculo de lmites del tipo lm f (x)g(x) . . . . . . . . . . . . . . . . . 77

xa

3.2.4. Teoremas de Weierstrass y Bolzano . . . . . . . . . . . . . . . . . . . 79

3.2.5. El mtodo de la biseccin . . . . . . . . . . . . . . . . . . . . . . . . 81

3.3. Lmites y continuidad de funciones de varias variables . . . . . . . . . . . . 83

3.3.1. Clculo de lmites de funciones de dos variables . . . . . . . . . . . . 85

4. Diferenciabilidad de funciones de una variable 89

4.1. La derivada en un punto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91

4.2. La funcin derivada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96

4.3. Los Teoremas de Rolle y de Lagrange . . . . . . . . . . . . . . . . . . . . . . 101

4.4. El mtodo de Newton . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104

4.5. Derivadas sucesivas: desarrollos de Taylor . . . . . . . . . . . . . . . . . . . 106

4.5.1. La frmula de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . 107

4.5.2. La serie de Taylor - McLaurin . . . . . . . . . . . . . . . . . . . . . . 113

4.5.3. Operaciones con series de McLaurin (series de potencias) . . . . . . . 116

4.6. La inversa de la derivada: la funcin primitiva . . . . . . . . . . . . . . . . . 118

4.6.1. Integracin trmino a trmino . . . . . . . . . . . . . . . . . . . . . . 121

4.7. Qu es una ecuacin diferencial? . . . . . . . . . . . . . . . . . . . . . . . . 123

4.7.1. Taylor y ecuaciones diferenciales . . . . . . . . . . . . . . . . . . . . . 126

5. Diferenciabilidad de funciones de varias variables 129

ii
 5.1. Derivadas parciales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 130

5.2. Derivadas direccionales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133

5.3. El plano tangente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 134

5.4. Diferenciabilidad global de una funcin de dos variables. . . . . . . . . . . 135

5.5. Derivadas parciales de segundo orden . . . . . . . . . . . . . . . . . . . . . . 138

5.6. La regla de la cadena (dos variables) . . . . . . . . . . . . . . . . . . . . . . 141

5.7. La regla de la cadena vectorial . . . . . . . . . . . . . . . . . . . . . . . . . . 147

5.8. El mtodo de Newton de varias variables . . . . . . . . . . . . . . . . . . . . 150

5.9. La frmula de Taylor de 2 variables . . . . . . . . . . . . . . . . . . . . . . . 151

5.10. La Funcin potencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 152

5.11. Qu es una Ecuacin Diferencial en Derivadas Parciales? . . . . . . . . . . . 154

6. Integrales de una variable 157

6.1. La integral de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 159

6.2. Clculo de la Integral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 164

6.3. Integracin numrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 166

6.4. Aplicaciones de la integral . . . . . . . . . . . . . . . . . . . . . . . . . . . . 167

6.4.1. Valor promedio de una funcin . . . . . . . . . . . . . . . . . . . . . 167

6.4.2. Lmites e integrales . . . . . . . . . . . . . . . . . . . . . . . . . . . . 167

6.4.3. Longitud de arco . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 168

6.4.4. rea y volumen de revolucin . . . . . . . . . . . . . . . . . . . . . . 170

6.4.5. Longitud de arco en paramtricas . . . . . . . . . . . . . . . . . . . . 171

6.4.6. Integral de lnea de una funcin escalar . . . . . . . . . . . . . . . . . 173

6.4.7. Integral de lnea de una funcin vectorial . . . . . . . . . . . . . . . . 175

6.4.8. El Teorema de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . 176

6.5. Integrales innitas e impropias . . . . . . . . . . . . . . . . . . . . . . . . . 178

7. Integrales dobles y triples 183

7.1. Integrales dobles en un recinto rectangular . . . . . . . . . . . . . . . . . . . 183

iii
 7.2. Integrales dobles en un recinto general . . . . . . . . . . . . . . . . . . . . . 187

7.3. Integrales triples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 189

7.4. Cambios de coordenadas para integrales dobles y triples . . . . . . . . . . . 190

7.4.1. Integral doble por cambio a coordenadas polares . . . . . . . . . . . . 191

7.4.2. Integral doble por cambio a coordenadas elpticas . . . . . . . . . . . 194

7.4.3. Integral triple por cambio a coordenadas cilndricas . . . . . . . . . . 194

7.4.4. Integral triple por cambio a coordenadas esfricas . . . . . . . . . . . 195

7.5. Integral doble y clculo de reas de supercies curvas . . . . . . . . . . . . . 199

8. Mximos y mnimos (puntos extremos) 201

8.1. Extremos locales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 201

8.2. Extremos condicionados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 207

8.3. Extremos absolutos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 214

iv
 SESIONES 2016: 36 Teoras + 24 Problemas

Teora Problemas

1 Gua Docente + Nmeros reales 1 Complejos

2 Rn + Suc 18,19 2 Complejos. Polinomios
3 Sucesiones (19-23)
4 Sucesiones (24-27) 3 Complejos. Reales
5 Sucesiones + Series (28-32) 4 Sucesiones I
6 Series (33-36)
7 Series (37-41) 5 Sucesiones II
8 Series (42-46) 6 Series I
9 Funciones (47-55 )
10 Funciones (56-62 ) 7 Series II
11 Func f (x, y) + cont. (63-70) 8 Series III
12 Continuidad (71-76)
13 Continuidad (77-80)+(83-85) 9 Funciones y lmites
14 cont. (86-88) + Dif. (89-91) 10 Lmites funcionales
15 Dif. f (x) (92-96)
16 Dif (97-103) Rolle&Lagrange 11 Fun cont. Lim 2 variables
17 Taylor (104-109) 12 Dif. Rolle y TVML
18 Taylor (110-113)

19 Taylor (114-117) 13 Operaciones con S. Taylor

20 Primitivas (118-123) + DIF (125-127) 14 Frmula de Taylor
21 DIF (129-133)
22 DIF (134-138) 15 Primitivas
23 DIF (139-144) 16 Parciales, Direcc, Plano tg
24 DIF (144-150)
25 Integrales f (x) (157-162) 17 Schwarz, RC, Direcc
26 Integrales f (x) (162-168) 18 RC vect, F. Potencial
27 Integrales f (x) (169-173)
28 Int. dobles (183-188) 19 Integrales (una variable).
29 Int. dobles (188-193) 20 Integrales dobles y triples (I)
30 Int. dobles (194-197))
31 Extremos (201-206) 21 Integrales dobles y triples (II)
32 Extremos (206-211) 22 Integrales dobles y triples (III)
33 Extremos (214-217)
34 23 Extremos locales
35 Problemas: Extremos absolutos 24 Extremos condicionados
36 Problemas: Extremos absolutos

Primer parcial: Teoras desde 1 hasta 16, Problemas desde 1 hasta 12, incluidos.

v
vi
1. Nmeros, sucesiones y series numricas

1.1. Los Nmeros Reales

Para llegar a los nmeros reales, que son el objeto principal de esta asignatura, vamos a
presentar los distintos conjuntos de nmeros. Partimos de los nmeros naturales:

N = {1, 2, 3, 4, }

A partir de N construimos el conjunto Z de los nmeros enteros:

Z = {0, +1, 1, +2, 2, +3, 3, }

A partir de Z construimos el conjunto Q de los nmeros racionales, es decir, el conjunto

de todas las fracciones de enteros con denominador no nulo:
 
p
Q= , con p, q Z, q =
6 0
q
p
El nombre de racional viene de que el nmero representa la razn que hay entre el entero p
q
y el entero q . Notar que todo nmero entero, como 7, puede expresarse como una fraccin,
7
, luego Z Q. El conjunto Q puede representarse por puntos de una recta. En este caso,
1
entre cada par de nmeros racionales hay una innidad de nmeros racionales y por eso,
grcamete, el conjunto Q se podra representar como una recta de puntos suspensivos
innitamente nos:

 | | -
0 1

En la recta hay puntos que no representan a ningn racional. Por ejemplo, 2 no es un
p p 2
racional, pues no existe ninguna fraccin de enteros tal que ( ) = 2. Por lo tanto, tenemos
q q
que ampliar Q. Para ello, recordemos que cada nmero racional (fraccin) puede expresarse
como un desarrollo decimal peridico,

1 3
= 0.33333.... = 0.b
3 = 0.33,
b o tambin = 1.50000.... = 1.5b
0 = 1.5
3 2
y que todo desarrollo decimal peridico puede expresarse como una fraccin, luego Q es
tambin el conjunto de todos los desarrollos decimales peridicos:
  n
p o
Q= , con p, q Z, q 6= 0 = desarrollos decimales peridicos .
q

1
Ahora podemos denir el conjunto de los nmeros reales, R, como:

n o
R= desarrollos decimales (peridicos y no peridicos)

y se cumple que Q R. Adems, R tiene

ms nmeros que Q pues hay expresiones decimales
que no son peridicas. Por ejemplo, 2 tiene un desarrollo decimal en el que no aperecer
nunca ningn periodo. Otro ejemplo de un desarrollo decimal no peridico es:

x = 0.1010010001000010000010000001 R \ Q

Notar que entre cada par de unos tenemos un cero, dos ceros, tres ceros, etc., luego no puede
aparecer ningn periodo. A los nmeros reales que no son racionales, es decir, a R\Q (el
smbolo  \ es el menos entre conjuntos, de modo que R \ Q son todos los reales excepto los
racionales), los llamamos irracionales, pues no pueden expresarse como la razn entre dos
enteros, y son desarrollos decimales no peridicos.

El conjunto R (racionales e irracionales) cubre completamente la recta (que se llama la

recta real), es decir, cada punto de la recta se corresponde con un nmero real y viceversa:

 | | -
0 1

Adems, entre cualquier par de nmeros reales distintos existen una innidad de raciona-
les y de irracionales, es decir, los racionales y los irracionales estn, digamos, innitamente
mezclados en la recta. Sin embargo, puede probarse que hay una cantidad innitamente
mayor de irracionales que de racionales. As, el salto importante en la construccin de los
conjuntos de nmeros es el que hacemos de Q a R. Notar que un slo nmero irracional tie-
ne innitas cifras decimales, que nunca podremos conocer completamente. En este sentido,
podramos decir, cuntos nmeros irracionales caben en el ordenador con ms capacidad
del mundo? Ninguno.

R es ordenado, es decir, dados x 6= y R cualesquiera se cumple que, o bien

El conjunto
x < y o bien x > y . Recordemos ahora algunas de las propiedades de las desigualdades. Lo
haremos para  <, pero son tambin vlidas para  >, , .

Propiedades de las desigualdades: Para cualesquiera reales x, y, z, t R se cumple que:

(1) Si x < y, e y < z, entonces x < z.

(2) Si x<y entonces x + z < y + z, x z < y z .


xz < yz, si z > 0
(3) Si x<y entonces
xz > yz, si z < 0
.

(4) Si x < y entonces x1 > y1 , si xy > 0 (es decir, ambos positivos o ambos negativos).


x<y
(5) Si
z<t
entonces x + z < y + t.

2
 Estas propiedades signican que podemos operar con desigualdades como si fuesen igual-
dades, aunque con dos excepciones: al multiplicar por un nmero negativo (propiedad 3)
y al invertir dos nmeros del mismo signo (propiedad 4) hay que cambiar el sentido de la
desigualdad (de  < a  > o viceversa).

Las desigualdades nos sirven para denir intervalos de Ry el mdulo de un nmero real:

Denicin 1 (Intervalos) Dados a, b R llamaremos intervalo abierto, (a, b), e intervalo

cerrado, [a, b], a:
n o n o
(a, b) = x R tales que a<x<b , [a, b] = x R tales que axb .

Notar que en el intervalo abierto no estn incluidos los extremos del intervalo, a, b,
mientras que en el intervalo cerrado s. Tambin podemos denir intervalos que no son
abiertos ni cerrados, como
n o n o
[a, b) = x R : ax<b , (a, b] = x R : a<xb ,
donde el smbolo  :  representa aqu tales que, e intervalos de longitud innita:
n o n o
(, b) = x R : x < b , (, b] = x R : x b ,
n o n o
(a, +) = x R : x > a , [a, +) = x R : x a .

Denicin 2 (Mdulo) Llamaremos mdulo o valor absoluto de un nmero real x a


x si x0
|x| = .
x si x0

Por ejemplo, |7| = 7, | 7| = 7. El valor absoluto sirve para calcular distancias entre
nmeros reales, pues |xy| es la distancia en la recta entre x e y . As por ejemplo, el conjunto
de reales x que cumplen la desigualdad

|x 7| < 2

son los puntos x de la recta que estn a una distancia del punto 7 menor que 2, es decir, son
los puntos x del intervalo (5, 9).
Propiedades del valor absoluto: Para cualesquiera reales x, y R:
(1) |x| 0. Adems, |x| = 0 si, y slo si, x=0
(2) |xy| = |x||y|
(3) |x + y| |x| + |y|
(4) |x| y si, y slo si, y x y

3
(5) |x| |y| |x y|
 

Ahora podemos hacer analticamente lo que hemos hecho antes intuitivamente:

n o h i n o
xR : |x 7| < 2 = propiedad 4 = x R : 2 < x 7 < +2 =
n o n o h i
= xR : 72<x<7+2 = xR : 5 < x < 9 = Denicin 1 = (5, 9).

1.2. Topologa en Rn

A partir de R se dene R2 :

R2 = R R = (x, y) : x, y R .


Como R se representa con una recta (la recta

real), R2 se representa con un plano, en el que
cada par (x, y) se corresponde con un punto
del plano y viceversa (ver Figura).

Del mismo modo se dene R3 :

n o
3
R = R R R = (x, y, z) : x, y, z R ,

que representa el espacio tridimensional, (ver Figura),

y en general para cualquier n N, se dene el espacion dimensional

n o
n
R = R R R = (x1 , x2 , . . . , xn ) : xi R i .

Las siguientes deniciones las vamos a dar para Rn en general, luego sern vlidas para
R , R3 , R4 , etc. y tambin para R.
2

Denicin 3 (Norma en Rn ) x Rnr , x = (x1 , x2 , ..., xn ),

Dado llamamos norma o m-
p n
kxk = + x21 + x22 + + x2n = + x2i .
P
dulo de x a
i=1

4

Nota 1 EnR
p
2
, la norma coincide con el valor absoluto, pues kxk = + x2 = |x|. En R ,
2 2
k(x, y)k = + x + y representa, por el Teorema de Pitgoras, la distancia del punto (x, y)
n
al origen. En general, la norma sirve para medir distancias: dados a, b R , kabk es la
n 4
distancia en R que hay entre los puntos a y b. Por ejemplo, la distancia en R del punto
a = (1, 3, 4, 7) al origen (0, 0, 0, 0) es:
p p
kak = x21 + x22 + ... + x2n = (1)2 + (3)2 + (4)2 + (7)2 = 75.

Puede demostrarse que se cumplen las siguientes propiedades:

(1) kxk 0. Adems, kxk = 0 si, y slo si, x = (0, 0, . . . , 0)

(2) kxk = || kxk x Rn , R
(3) kx + yk kxk + kyk x, y Rn

Denicin 4 (Bola abierta) Se llama bola abierta con centro en a Rn y radio >0 a:

B a, = x Rn : kx ak <



n

y se llama bola cerrada con centro en a R y radio > 0 a x Rn : kx ak .

Ejemplo 1 En R, la bola abierta con centro en a R y radio > 0 es el intervalo abierto

centrado en a:

  

B a, = x R : x a < = a , a + ,
    
y la misma bola, pero cerrada, es el intervalo cerrado x R : x a = a , a + .

En R2 , la bola de centro a = (0, 0) y radio = 1 es:

  n o n p o
B (0, 0) , 1 = (x, y) R2 : k(x, y) (0, 0)k < 1 = (x, y) R2 : x2 + y 2 < 1 =
n o
= (x, y) R2 : x2 + y 2 < 1

es decir, es el crculo de centro (0, 0) y radio 1. Notar que en la bola abierta, la circunferencia
exterior (de radio 1) no est incluida, mientras que las bolas cerradas (con ), s incluyen la
circunferencia exterior:

5


En R3 , la bola B a, es la esfera de centro a y radio . De nuevo, la bola abierta es el
interior de la esfera y la bola cerrada (con ) incluye la supercie exterior de la esfera.

Denicin 5 (Punto interior, entorno, conjunto abierto y conjunto cerrado) Sea

D Rn y sea a D. Diremos que a es un punto interior de D, y que D es un entorno de
a, si:
existe un >0 tal que B(a, ) D.
n
Diremos que D R es un conjunto abierto si todos sus puntos son interiores. Diremos
n n
que D R es un conjunto cerrado si su complementario (R \ D ) es un conjunto abierto.

Ejemplo 2 En R, a = 2 es un punto interior de D = [1, 7) y, por lo tanto, [1, 7) es un

entorno de 2. Los siguientes son conjuntos abiertos, porque todos sus puntos son interiores:

(1, 3), (5, +), (, 1), (1, 3) (5, +), (, 3) (5, +),
y los complementarios de estos abiertos son conjuntos cerrados:

(, 1] [3, +), (, 5], [1, +), (, 1] [3, 5], [3, 5].

Visualmente, los conjuntos abiertos son los que no contienen a ningn punto de su frontera
y los conjuntos cerrados son los que incluyen a toda su frontera. Recordemos que hay
conjuntos que no son abiertos ni cerrados, como (a, b].

Ejemplo 3

En R2 , el rectngulo R = (x, y) R2 : 3 < x < 3, 2 y 2 es un entorno
del punto (1, 1), y ste es un punto interior de R. Los siguientes son conjuntos abiertos,
porque todos sus puntos son interiores:
  
(x, y) R2 : x + y < 3 , (x, y) R2 : x2 + y 2 < 1 , (x, y) R2 : 3 < x < 3, 2 < y < 2
 2

y los complementarios de estos abiertos son conjuntos cerrados: (x, y) R : x + y 3 ,
 
(x, y) R2 : x2 + y 2 1 , (x, y) R2 : x 3 x 3 y 2 y 2 .
 2 2 2

La bola cerrada (x, y) R : x +y 1 es un conjunto cerrado porque su complementario,

(x, y) R2 : x2 + y 2 > 1 es un abierto (todos sus puntos son interiores). Visualmente, en
R2 los conjuntos abiertos son tambin los que no contienen a ningn punto de su frontera,
como el conjunto D de la Figura 1, y todos sus puntos son interiores, mientras que los
2
conjuntos cerrados s incluyen a toda su frontera, como el conjunto R \ D de la Figura 1.
2
Tambin en R hay conjuntos que no son abiertos ni cerrados (contienen parte de su frontera
pero no toda).

Para tener una caracterizacin de conjunto cerrado en funcin de sus puntos y no de que
su complementario sea abierto, necesitamos el concepto de punto de acumulacin:

Denicin 6 (Punto de acumulacin) Sea D Rn y sea a Rn . Diremos que a es un

punto de acumulacin de D, si:

para todo > 0, en B(a, ) existen puntos de D diferentes de a.

6
 Figura 1: D es un abierto y R2 \ D es un cerrado

Ejemplo 4 En R, sea D = (0, 1]. Sus puntos de acumulacin son todos los de [0, 1]. En el
conjunto D R2 de la Figura 1, los puntos a y c son de acumulacin de D. Los puntos
interiores de un conjunto D son tambin puntos de acumulacin de D , pero hay puntos de
acumulacin que no son interiores (los puntos de la frontera). Puede probarse que

Teorema 1 (Caracterizacin de cerrados) Un conjunto D Rn es cerrado si, y slo

si, D contiene a todos sus puntos de acumulacin.

Nota 2 Sin embargo, un conjunto cerrado puede tener puntos que no son de acumulacin.
Por ejemplo, en R, sea D = [2, 3] {5}. Es D un cerrado? S, pues su complementario,
R \ D = (, 2) (3, 5) (5, +), es un abierto (todos sus puntos son interiores). Pero
los puntos de acumulacin de D son [2, 3]. Se llaman puntos aislados de D a los puntos de
D que no son de acumulacin de D. As, un conjunto cerrado est formado por todos sus
puntos de acumulacin y puntos aislados.

1.3. Nmeros complejos y polinomios

1.3.1. Los nmeros complejos

En el conjunto R de los nmeros reales hay ecuaciones que no tienen solucin, como por
ejemplo x2 +5 = 0, luego tenemos que ampliar R. Notar que la solucin de la ecuacin anterior
2
debera ser x = 5 . Si denimos el nmero imaginario i como un nmero tal que i = 1,
2 2
podemos decir que x = 5 i es una solucin de la ecuacin pues ( 5 i) = 5 i = 5(1) = 5.
As, podemos denir el conjunto de los nmeros complejos, C, como:
n o
C = a + b i, con a, b R ,

donde i es un nmero llamado imaginario que cumple que i2 = 1. Con esta denicin, los
nmeros complejos incluyen a los reales, R C, pues por ejemplo el nmero real 2 puede
expresarse como 2 + 0 i C.
Todo nmero complejo z = a+b i tiene dos partes, una parte real a y una parte imaginaria
b, que se denotan por:
Re(z) = a, Im(z) = b.

7
Notar que los complejos tales que Im(z) = 0 son nmeros reales. Los complejos tales que
Re(z) = 0 se llaman imaginarios puros.

Los nmeros complejos pueden sumarse y multiplicarse como binomios:

(2 + i) + (3 2 i) = 2 + 3 + i 2 i = 5 i,
(2 + i)(3 2 i) = 6 4 i + 3 i 2 i2 = 6 4 i + 3 i + 2 = 8 i

En general, si z = a + b i, w = c + d i son dos complejos, denimos

Suma: z + w = (a + b i) + (c + d i) = (a+c) + (b+d) i C,

Producto: zw = (a+b i)(c+d i) = ac+ad i+bc i+bd i2 = (acbd)+(ad+bc) i C.

En el producto hemos utilizado que i2 = 1. Al multiplicar complejos pueden aparecer

distintas potencias de i, pero todas pueden simplicarse:

i0 = 1 i1 = i i2 = 1 i3 = i i4 = 1 i5 = i i6 = 1 i7 = i . . .
es decir, para cada nN tenemos que in = ir siendo r el resto de dividir n entre 4.
1
Para dividir complejos, como en , y expresar el resultado en forma a + b i, necesitamos
2+i
quitar el nmero i del denominador, multiplicando arriba y abajo por el conjugado:

1 (2 i) 2i 2i 2 1
= = 2 2
= = i
2+i (2 + i)(2 i) 2 i 4+1 5 5

Denicin 7 (Conjugado) Se llama conjugado de z = a + b i, al complejo z = a b i.

Puede probarse que el conjugado tiene las siguientes propiedades:

(1) z = z si, y slo si, b = 0, si, y slo si, z R.

(2) z + w = z + w, z w = z w
(3) z = z
(4) z z = (a + b i)(a b i) = a2 b2 i2 = a2 + b2 R+

La propiedad 1 dice que los reales coinciden con su conjugado. La propiedad 2 dice que el
conjugado de la suma es la suma de los conjugados y que lo mismo ocurre con el producto. La
propieded 3 dice que el conjugado de z es el propio z . La propiedad 4 dice que si multiplicamos
un complejo por su conjugado obtenemos un real positivo. Como hemos visto, esta propiedad
es til en operaciones con fracciones para eliminar la unidad imaginaria i del denominador.

Nota 3 El conjugado es tambin til para otras expresiones con nmeros complejos. Por
ejemplo, si sumamos z+z obtenemos 2a, luego

1 1
Re(z) = (z + z). Del mismo modo, Im(z) = (z z).
2 2i

8
 Como R se representa por una recta, la recta real, el conjunto C se representa por un
plano, el plano complejo (Figura 2), en donde cada nmero z = a + b i se representa por el
2
punto del plano R de coordenadas (a, b).

Figura 2: El plano Complejo

Nota 4 (C no es un conjunto ordenado) Puesto que no puede representarse en una rec-

ta, el conjunto C no es un conjunto ordenado, y dados dos complejos z 6= w no reales, no
podemos decir ni que z<w ni que w < z. Lo que s podemos comparar son sus mdulos:

Denicin 8 (Mdulo de un complejo) z = a + b i,

Dado llamaremos mdulo de z a

|z| = + a2 + b2 = + zz.

Notar que, si z R, esta denicin coincide con la Denicin 2 del mdulo de un real. Por
el Teorema de Pitgoras, |z| es la distancia en el plano del complejo z al origen. Como en
los reales, |z w| representa la distancia en el plano entre los complejos z y w. Tambin
comparte con R las propiedades ms importantes:

(1) |z| 0. Adems, |z| = 0 si, y slo si, z=0

(2) |zw| = |z||w|
(3) |z + w| |z| + |w|
(4) |z| = |z|
(5) Si z 6= 0, | z1 | = |z|
1

(6)
 
|z| |w| |z w|

9
1.3.2. Polinomios

Para ver que ya no necesitamos ampliar el conjunto C, recordemos algo de polinomios.

Un polinomio con coecientes en C (o simplemente polinomio complejo) es una expresin de
la forma
a0 + a1 x + a2 x2 + . . . + an xn ,
donde cada ai C se llama coeciente de xi y n es el grado del polinomio (si an 6= 0). Por
2
ejemplo, (2 + 3 i)x + (1 i)x 5 5 i es un polinomio de grado 2 con coecientes en C:
2+3 i es el coeciente de x2 , 1i es el coeciente de x y 55 i es el trmino independiente.
4 1 2
Notar que 10x x 5x + 2 es un polinomio (de grado 4) con coecientes en R pero
2
tambin es un polinomio con coecientes en C, pues R C.

Por comodidad, denotamos a los polinomios con letras (f , g , p, q , etc.) y llamamos, por
ejemplo, polinomio f a f (x) = a0 + a1 x + a2 x2 + . . . + an xn . Lo que Lo que nos interesa
ahora de los polinomios son sus ceros o raices. Decimos que un nmero C es un cero o
una raz de un polinomio f (x) = a0 + a1 x + a2 x2 + . . . + an xn si f () = 0, donde f () es el
2 n
resultado de sustituir x por : f () = a0 + a1 + a2 + . . . + an .

Teorema 2 (Fundamental del lgebra) Todo polinomio complejo de grado mayor o

igual que 1 tiene, al menos, un cero complejo.

Este Teorema arma que cualquier ecuacin polinmica f (x) = 0 tiene solucin en C,
por lo que ya no necesitamos ms sistemas de nmeros y stos terminan en C:

N Z Q R C.

Los ceros de un polinomio f estn relacionados con la descomposicin del polinomio f

en polinomios de grado uno. Por ejemplo, si un polinomio f puede descomponerse como

f (x) = 5(x 2)(x 2)(x 3 + 2i)(x + i),

entonces est claro que 2, 32i, i son ceros de f , pues f (2) = f (3 2i) = f (i) = 0. Esto
es cierto en general:

Teorema 3 (Caracterizacin de los ceros) Un complejo C es un cero del polinomio

f si, y slo si, f (x) = (x ) q(x).

Demostracin: f (x) = (x ) q(x) entonces f () = ( ) q() = 0.

Obviamente, si
Recprocamente, supongamos que f () = 0. Dividimos f (x) por el polinomio (x ) y
obtenemos un cociente, q(x), y un resto, que deber ser de grado menor que el de (x ),
es decir, el resto es una constante r . As, f (x) = q(x)(x ) + r. Sustituyendo por
tenemos que f () = q()( ) + r , luego r = f () = 0 y f (x) = q(x) (x ). 

10
 As, dado un polinomio complejo f, por el Teorema Fundamental del lgebra (TFA,
Teorema 2) f tiene un cero 1 C, y por el Teorema 3:

f (x) = (x 1 )q(x).

Como q es tambin un polinomio con coecientes complejos, por el TFA tiene, al menos, un
cero 2 C, y por el Teorema 3, q(x) = (x 2 )q2 (x), luego sustituyendo:

f (x) = (x 1 )(x 2 )q2 (x).

As sucesivamente, todo polinomio complejo f de grado n1 puede descomponerse de la

forma
f (x) = M (x 1 )(x 2 ) (x n ) con i , M C,
es decir, todo polinomio complejo de grado n 1, tiene exactamente n ceros complejos, no
necesariamente distintos. Por ejemplo, un polinomio complejo de grado 4 podra descompo-
nerse como

f (x) = 5(x 7)(x 7)(x 3)(x + 1) = 5(x 7)2 (x 3)(x + 1).

En este caso, f (x) tiene al 7 como cero de multiplicidad 2 (cero doble), y a 3 y a -1 como
ceros de multiplicidad uno (ceros simples). Con esta idea de multiplicidad, podemos decir
que todo polinomio complejo de grado n 1, tiene exactamente n ceros complejos contando
su multiplicidad:
f (x) = M (x 1 )m1 (x 2 )m2 (x k )mk ,
con todos los i nmeros complejos distintos y con m1 + m2 + + mk = n.

1.3.3. Polinomios reales

Supongamos ahora que f es un polinomio con coecientes reales. Considerado como

polinomio complejo, f puede descomponerse como antes:

f (x) = M (x 1 )m1 (x 2 )m2 (x k )mk , (1)

con todos los i nmeros complejos distintos y con m1 + m2 + + mk = n. Sin embargo,

si f (x) es un polinomio real, podemos estar interesados en una descomposicin de f en
polinomios reales, y (x 1 ) no lo es si 1
/ R. A partir de la descomposicin compleja (1),
obtenemos la descomposicin real aplicando los siguientes resultados.

Teorema 4 (Ceros conjugados) Sea f un polinomio REAL. Si = a + bi es un cero de

f (x), entonces su conjugado = a bi es tambin un cero de f.

Demostracin: Sea f (x) = a0 + a1 x + + an xn , con cada ai R, y supongamos que

f () = 0. Tomando conjugados, f () = 0 = 0, es decir,

a0 + a1 + + an n = 0, y por las propiedades del conjugado:

11
 a0 + a1 + + an ()n = 0, y como los ai son reales, ai = ai , luego

a0 + a1 + + an ()n = 0, es decir, f () = 0 y es un cero de f. 

De esta manera, en la descomposicin anterior (1), para cada cero complejo = a + bi,
tambin est su conjugado = a bi. Adems,

Teorema 5 Si multiplicamos (x )(x ) obtenemos un polinomio real (de grado 2).

Demostracin: Sean = a + bi y = a bi. Entonces,

(x )(x ) = x2 ( + )x + = x2 2a x + (a2 + b2 ),
que es un polinomio real pues 2a y a2 + b2 son reales. 

Por lo tanto, agrupando en (1) cada cero complejo con su conjugado, tenemos que un
polinomio real de grado n1 puede descomponerse como producto de polinomios:

de grado 1, correspondientes a sus ceros reales, y

de grado 2, correspondientes a parejas de ceros complejos congugados (no reales),

f (x) = M (x 1 )m1 (x 2 )m1 (x k )mk (x2 + b1 x + c1 )n1 (x2 + bj x + cj )nj ,

con todos los i , bi , ci nmeros reales distintos, todos los polinomios (x2 + bi x + ci )nj sin ceros
reales y con m1 + m2 + + mk + 2n1 + + 2nj = n.

El Teorema 2 (TFA) es un teorema de existencia, que asegura que cualquier ecuacin

polinmica tiene solucin en C, pero no indica cmo calcular los ceros de un polinomio
dado. Hasta el siglo XIX se pensaba que todas estas ecuaciones podan resolverse por
radicales, es decir, con frmulas expresadas con las 5 operaciones bsicas: suma, resta,
multiplicacin, divisin y radicacin. Esto es cierto para todos los polinomios de grado 2, 3
2
y 4. Por ejemplo, dado un polinomio complejo de grado 2, f (x) = ax + bx + c, sus ceros son:

b b2 4ac b + b2 4ac
1 = , 2 = .
2a 2a
El modo de resolver polinomios de grado 3 y 4 es ms complicado y no lo veremos aqu.
Pero no es cierto para polinomios de grado 5 o ms: Galois demostr en 1832 que no existen
frmulas por radicales para resolver cualquier polinomio de grado 5 o ms.

Sin embargo, algunos de estos polinomios s pueden resolverse. Por ejemplo, si un poli-
nomio tiene sus ceros enteros o fraccionarios, podemos calcularlos con el mtodo de Runi:
6 5 4 3 2
dado f (x) = 3x + 4x 5x 5x 4x + 5x + 2, hacemos

12
 3 4 -5 -5 -4 5 2

1 3 7 2 -3 -7 -2
3 7 2 -3 -7 -2 0

1 3 10 12 9 2
3 10 12 9 2 0

-2 -6 -8 -8 -2
3 4 4 1 0

-1/3 -1 -1 -1
3 3 3 0

luego f (x) = (x 1)2 (x + 2)(x + 31 )(3x2 + 3x + 3) = 3(x 1)2 (x + 2)(x + 31 )(x2 + x + 1)

y los ceros racionales de f {1, 1, 2,1/3}. Adems,
son

los ceros de x2 + x + 1 podemos
1 12 4 1 3i
calcularlos con la frmula anterior:
2
= 2
.

Otro ejemplo de polinomios que pueden resolverse son los de la forma f (x) = xn z,
con z C. Para resolverlos, necesitamos la forma polar de un nmero complejo.

1.3.4. Forma polar de los nmeros complejos

Como cada complejo se corresponde con un punto en el plano, adems de las coordenadas
cartesianas (Figura 2) tambin podemos utilizar las coordenadas polares (ver Figura 3). Cada

a = r cos()
b = r sen()

r= a2 + b 2
= arc tg( ab )

Figura 3: El plano Complejo: coordenadas polares.

punto z 6= 0 del plano est determinado por su distancia al origen, que llamaremos r (notar
que r = |z|), y por el ngulo, que llamaremos , que forma el segmento Oz con el eje de
abcisas. El par (r, ) forman las coordenadas polares de un punto z del plano. Conocidas las

13
polares, podemos calcular las coordenadas cartesianas y viceversa con las frmulas

a = r cos() r= a2 + b 2
, .
b = r sen() = arc tg( ab )

Nota 5 (Clculo del argumento) arc tg(x) en las calculadoras da un resulta-

La funcin
2 , 2



do en el intervalo , pero el argumento puede estar en el intervalo , . Por
ejemplo, para el complejo 1 + i tenemos que = arc tg( ab ) = arc tg( 11 ) = arc tg(1) = 4 ,
b
lo cual es correcto. Sin embargo, para el complejo 1 i tenemos que = arc tg( ) =
a
1
arc tg( 1 ) = arc tg(1) = 4 , lo cual no es correcto, pues el argumento de 1 i (dibjalo en

el plano) es otro arcotangente de 1, =
4
+ = 54
.

Vamos a utilizar estas coordenadas polares para obtener otro modo de escribir un nmero
complejo. El mdulo de un complejo y sus propiedades fueron estudiados en la Denicin 8.
Denimos ahora el argumento de un complejo:

Denicin 9 (Argumento) Llamaremos argumento de z = a + b i 6= 0, arg(z), a cual-

quier nmero real (ngulo) tal que

a = |z| cos()
.
b = |z| sen()
Notar que el argumento no es nico: si es argumento de z, entonces tambin lo es + 2k
para cualquier k Z. Con el mdulo y el argumento podemos escribir
 
z = a + b i = |z| cos() + |z| sen() i = |z| cos() + sen() i

y si representamos por e i = cos() + sen() i, podemos denir:

Denicin 10 (Forma polar) Todo complejo z 6= 0 puede escribirse como z = |z| e i ,

donde e i representa a cos() + sen() i.

Nota 6 Aunque aqu lo damos como denicin, en realidad e i es la funcin exponencial (ver
0i
Nota 52 en la pgina 115), con sus propiedades conocidas, como e = 1, e i e i = e(+) i ,
e i /e i = e() i . Notar tambin que se cumple e i = 1, que es una frmula que relaciona
las tres constantes ms importantes de las matemticas. Tambin es cierta la Frmula de
De Moivre:
(e i )n = e(n) i para todo nZ (incluidos los negativos).

La forma polar resulta til para multiplicar y dividir complejos z = |z| e i , w = |w| e i :
z |z| e i |z| () i
zw = |z| e i |w| e i = |zw| e(+) i , = = e .
w |w| e i |w|

14
Observa que al multiplicar complejos se multiplican sus mdulos y se suman sus argumentos
y al dividir complejos se dividen sus mdulos y se restan sus argumentos. Tambin es til
para calcular la potencia n-sima de un complejo (n Z),
i n

n
z n = |z| e = |z|n e i = |z|n e(n) i

Observa que el mdulo se eleva a la potencia n mientras que el argumento se multiplica por
n. La forma polar tambin se usa para para calcular las raices n-simas de un complejo:

Denicin 11 (Raz n-sima) Dado z C, z 6= 0, y dado n N, decimos que wC es

una raz n-sima de z si wn = z .

n
Notar que es equivalente a decir que es una raiz del polimomio f (x) = x z. As por
w
3
ejemplo, -2 es una raz cbica de -8, pues (2) = 8, y tambin es un cero del polinomio
3 3
f (x) = x + 8, pues f (2) = (2) + 8 = 0. Del mismo modo, i es una raz octava de 1,
8 8
pues (i) = 1, y es un cero del polinomio f (x) = x 1. Veamos que todo complejo no
nulo z tiene exactamente n raices n-simas distintas y cmo calcularlas. Comencemos con
un ejemplo.

Ejemplo 5 (Las raices cbicas de -8) Sabemos que 2 es una raz cbica de 8 pero,
hay ms? Expresemos 8 en forma polar. Como | 8| = 8 y un argumento de 8 es ,
i
tenemos que 8 = 8e . Recordemos que al elevar al cubo un complejo se eleva al cubo su
mdulo y se multiplica por 3 su argumento. Entonces, sacando la raiz cbica real de 8 y

i i
dividiendo entre 3, el complejo 2e 3 es una raiz cbica de 8e = 8 pues:

(2e 3 i )3 = 23 e3 3 i = 8ei = 8

Figura 4: Una raiz cbica de 8

Grcamente lo que hemos hecho es coger el argumento principal de 8, (ver Figura

4) y dividirlo por 3. En esa direccin, , y con mdulo 2, hay una raz cbica de 8,
3
i
w0 = 2e 3 . Pero veamos que hay ms. Todas las races cbicas de 8ei tendrn mdulo 2 y
argumento cualquier tal que 3 = , o ms exactamente, que 3 = + 2k para cualquier
k Z. Dividiendo por 3 tenemos que k = 3 + k 23
es un argumento de las races cbicas de
8ei , para todo k Z. Veamos cuntos de estos argumentos proporcionan ngulos distintos
(sabemos que, a lo sumo, habrn 3. Por qu?):

2
0 = 3
+0 3
= 3

15
 2 3
1 = 3
+1 3
= 3
=
2 5
2 = 3
+2 3
= 3
, que es el mismo que
3
2 7
3 = 3
+3 3
= 3
, que es el mismo que
3
= 0
2 9 3
4 = 3
+4 3
= 3
, que es el mismo que
3
= = 1

5 =

luego slo hay 3 argumentos que produzcan ngulos distintos (a partir de 3 se repiten),
que son 0 =

3
, 1 =

3
+ 2
3
= y 2 = 3 + 2 2 3
= 53

3
. Por lo tanto, 8 tiene
exactamente 3 races cbicas distintas, que son (ver Figura 5):

3

w0 = 2e0 i = 2e 3 i = 2(cos( 3 ) + sen( 3 )i) = 2( 12 + 2
i) =1+ 3i,

w1 = 2e1 i = 2ei = 2(cos() + sen()i) = 2(1 + 0 i) = 2,

w2 = 2e2 i = 2e 3
i
= 2(cos(
3
) + sen(
3
)i) = 2( 21 2
3
i) =1 3i.

w0 = 1 + 3i

w1 = 2

w2 = 1 3i

Figura 5: Las 3 raices cubicas de 8.

Grcamente (ver Figura 5) lo que hemos hecho es, a partir del ngulo de la primera raiz
w0 (Figura 4), dividimos la circunferencia en 3 partes iguales y obtenemos los ngulos en los
que estn las otras raices cbicas w1 , w2 , todas con mdulo 2. Adems, como stos son los
3
tres ceros del polinomio x + 8, ste se descompone en C del modo siguiente:

x3 + 8 = (x + 2) x 1 3i x 1 + 3i .

Si queremos la descomposicin en R de x3 + 8, multiplicamos los dos ltimos polinomios de

grado 1 y obtenemos
x3 + 8 = (x + 2)(x2 2x + 4).

16
Ejemplo 6 (Las raices octavas de 1) Calculemos las 8 races octavas de 1 grcamente,
que sern los ceros de f (x) = x8 1. Como 1 = 1e0i , el mdulo de todas las races es 1
0
y el argumento de una de ellas, w0 , es = 0. A partir de sta (ver Figura 6) dividimos
8
la circunferencia en 8 partes iguales y tenemos los 8 ngulos sobre los que estn las 8
raices
octavas
de 1. Observar que w0 = 1, w2 = i, w4 = 1, w6 = i y que las otras 4 son
2 2
2 2 i. Por lo tanto, el polinomio x8 1 se descompone en C como
    
x8 1 = (x1)(x+1)(xi)(x+i) x 22 22 i x 22 + 22 i x+ 22 + 22 i x+ 22 22 i
y si multiplicamos los polinomios de grado 1 correspondientes a ceros conjugados obtenemos
8
la descomposicin de x 1 en R:

x8 1 = (x 1)(x + 1)(x2 + 1)(x2 + 2x + 1)(x2 2x + 1).

Figura 6: Las 8 raices octavas de 1.

Lo que hemos hecho en los Ejemplos 5 y 6 anteriores puede hacerse en general. Sea z = |z|ei
i n
y sea n N. Queremos encontrar los nmeros complejos w = |w|e tales que w = z , esto
es,
|w|n e(n)i = |z|ei
Comparando mdulos y argumentos tenemos que:
p
|w|n = |z| y, por lo tanto, todas las raices tienen mdulo |w| = + n |z|
n = + 2k (recordemos que si
es argumento entonces tambin lo son + 2k ) y,
+2k
dividiendo por n, obtenemos k = , para todo k Z. De estos innitos argu-
n
mentos tomamos los n que producen ngulos distintos, es decir, para k = 0, 1, . . . , n1:

2 2 2
0 = , 1 = + , 2 = +2 , ... n1 = +(n1)
n n n n n n n
n races n-simas distintas de z son:
y, as, las
p p +2 p +4 p +2(n1)
w0 = n |z|e n i , w1 = n |z|e n i , w2 = n |z|e n i , ... wn1 = n
|z|e n i

Nota 7 Las n races n-simas z estn regularmente

de
p distribuidas en una circunferencia
centrada en el origen y de radio + |z| (ver Figura 6).
n

17
1.4. Sucesiones de nmeros reales

En Matemticas, una sucesin es una secuencia innita de elementos, de modo que uno
de ellos es el primero, otro el segundo, etc. Aqu vamos a estudiar sucesiones de nmeros
reales, en las que cada elemento (tambin llamado trmino) es un nmero real, xn . As, una
sucesin de nmeros reales puede representarse por

x1 , x2 , x3 , x4 , x5 ,
en donde los puntos suspensivos indican que tenemos innitos trminos, tantos como n-
+
meros naturales. Tambin podemos escribir {xn }n=1 o bien sencillamente {xn }. Cada uno
de los trminos xn es un nmero real, y tienen un orden en el sentido que x1 es el pri-
mer trmino, x2 es el segundo, x3 el tercero y as sucesivamente. Puesto que cada nme-
ro real xn representa un punto de la recta, una sucesin puede representarse como una
secuencia innita de puntos en la recta. Por ejemplo, en la Figura 7a est representada
la sucesin {xn } 1, 2, 3, 4, 5, 6, 7, y en la Figura 7b est representada la sucesin
{xn } 1, 21 , 31 , 14 , 15 , 16 , 71 , .

 +  1 +
Figura 7: Representacin de las sucesiones n n=1 y
n n=1

Ejemplo 7 Los siguientes son ejemplos de sucesiones:

1. {xn } 1, 2, 3, 4, 5, 6, 7, (Figura 7a)

2. {xn } 1, 1, 1, 1, 1, 1, 1,
3. {xn } 1, 0, 1, 0, 1, 0, 1,
4. {xn } 1, 21 , 13 , 14 , 15 , 16 , 17 , (Figura 7b)

n+1
5. {xn } denida por xn = n
(llamado trmino general), para cada nN
q
2n5
6. {xn } denida por xn = 3n+1
(llamado trmino general), para cada n3
q
xn +2
7. {xn } denida como x1 = 1, xn+1 = 2
(ley de recurrencia), para cada n1

Las sucesiones 1 a 4 anteriores estn dadas explcitamente, como una secuencia de

nmeros. Notar que no podemos escribir todos los trminos de una sucesin, pues son
innitos, pero escribiendo algunos de ellos se entiende cmo es la sucesin. Las sucesiones
n+1
5 y 6 estn denidas con una frmula para su trmino general. As, si xn = , para
n
cada n N, sustituyendo n sucesivamente por 1, 2, 3, 4, , la sucesin {xn } resulta
2 3 4 5 6 7
, , , , , , . La frmula del trmino general nos permite conocer directamente el
1 2 3 4 5 6
78
valor de cualquier trmino, como x77 = en la sucesin anterior. Notar que la sucesin
77
1
4 puede denirse tambin mediante una frmula para su trmino general: xn = . En
n
cambio, la sucesin 7 est denida por un primer elemento, x1 = 1 y una ley de recurrencia,
q
xn +2
xn+1 = 2
, para cada n N. As, la sucesin 7 es:

18
 x1 = 1
q q q
x2 = x12+2 = 1+2
= 3
= 1.224744871391
q q 2 3 q
2
+2
x3 = x22+2 = 2
2
= 1,224744871391+2
2
= 1.269792280530
q q
1,269792280530+2
x4 = x32+2 = 2
= 1.278630572239
q q
1,278630572239+2
x5 = x42+2 = 2
= 1.280357483720

Notar que, a diferencia de la frmula para el trmino general, si queremos conocer el valor
de, digamos, x77 , tenemos que calcular todos los trminos consecutivos desde x1 hasta el
propio x77 .

1.4.1. Sucesiones convergentes y sucesiones de Cauchy

De la sucesiones nos interesa el concepto de convergencia. Intuitivamente una sucesin

{xn } converge a un nmero real x si, cuando n crece lo suciente, los trminos xn se acercan
a x tanto como queramos (Figura 8).

Figura 8: Sucesin convergente a x

Pensemos en las sucesiones del Ejemplo 7 anterior. La sucesin 1 no converge, pues el

valor de sus trminos van creciendo indenidamente (ver Figura 7a). La sucesin 2 converge
a 1, pues todos los trminos valen 1. La sucesin 3 no es convergente, pues el valor de sus
trminos se queda oscilando innitamente entre 0 y 1. La sucesin 4 converge a cero (ver
1
Figura 7b), pues se acerca a cero tanto como queramos cuando n crece. Por ejemplo,
n
10
el trmino correspondiente a n = 10 es x1010 = 0.0000000001, y el correspondiente a
50
n = 10 es x1050 = 0.00000000000000000000000000000000000000000000000001. La sucesin
n+1
5 converge a 1, pues se acerca a 1 tanto como queramos cuando n crece.
n

La distancia de xnx se expresa con el valor absoluto, |xn x|. Pedir que xn se acerque a
a
x tanto como queramos es pedir que |xn x| sea tan pequeo como queramos. La denicin
matemtica de sucesin {xn } convergente a un x R es la siguiente:

Denicin 12 (Sucesin convergente) Diremos que {xn } es convergente a x R si, para

todo>0 (letra griega psilon), existe una posicin N N tal que, a partir de ella, todos los
dems xn cumplen |xn x| < . Escrito en smbolos:

> 0, N N : si n N, entonces |xn x| < . (2)

Tambin podemos decir que {xn } converge a x, {xn } tiende a x, {xn } x, lm xn = x.

n

19
 Si observamos slo el principio y el nal de la proposicin (2) anterior,

>0 ........................ entonces |xn x| <

puede entenderse que, efectivamente, |xn x| puede hacerse tan pequeo como queramos:
ms pequeo que cualquier valor positivo . La parte central de (2)
............... N N : si n N, ..................

indica que no todos los xn tienen que cumplir |xn x| < , sino slo los trminos a partir
de una cierta posicin denida por un natural N.
Por ejemplo, supongamos que en la sucesin de la Figura 8 tomamos un valor 1 (Figura
9). Notar que1 representa una distancia alrededor de x, pues |xn x| < si, y slo si,
< xn x < si, y slo si, x < xn < x + si, y slo si, xn (x , x + ).

Figura 9: Sucesin convergente a x

Podemos conseguir que |xn x| < 1 , es decir, que xn (x 1 , x + 1 )? Como se ve en

la gura, esto no se cumple para todo n, pues x1 , x2
y x3 no lo cumplen, pero s es cierto
a partir de x4 . Por lo tanto, podemos decir que, para el valor 1 de la Figura 9, existe un
trmino, x4 , o bien existe una posicin, N = 4, a partir de la cual todos los dems trminos
cumplen que |xn x| < 1 .

Supongamos ahora que tomamos otro valor = 2 ms pequeo que 1 (Figura 10).
Podemos conseguir ahora que xn (x 2 , x + 2 )? De nuevo la respuesta es armativa

Figura 10: Sucesin convergente a x

pero con una condicin: n 7. En la Figura 10 puede verse que, a partir del trmino x7 ,
todos los dems cumplen que |xn x| < 2 . Ahora podramos tomar un valor 3 que fuese
mil veces ms pequeo que 2 . Si pudisemos ampliar mil veces la Figura 8, veramos que
existe una posicin N N (un trmino xN ) a partir de la cual todos los dems cumplen que
|xn x| < 3 . Pues bien, si esto ocurre para cualquier de valor de > 0, por pequeo que
sea, entonces diremos que la sucesin {xn } es convergente a x (ver Denicin 12).

El valor puede entenderse como un error mximo permitido: podemos tomar un xn

como aproximacin de x cometiendo un error menor que ? Si la sucesin es convergente a
x, entonces la respuesta ser que s, siempre que tomemos n sucientemente grande.

20
Ejemplo 8
1
Consideremos la sucesin
y veamos que se cumple la proposicin (2) de la
n
Denicin 12 anterior con x = 0. Tomemos, por ejemplo, = 0.1 y tenemos que estudiar
1 
cundo se cumple que  0 < 0.1. Haciendo cuentas,
n
1  1 1
 0 < 0.1 < 0.1 n> n > 10.
n n 0.1

Por lo tanto, para = 0.1, tomando N = 11 se cumple (2). Si ahora tomamos = 0.001,
1  1 1
 0 < 0.001 < 0.001 n> = 1000.
n n 0.001

Por lo tanto, para = 0.001, tomando N = 1001 se cumple (2). Sin embargo, para demostrar
1
que la sucesin es convergente a cero, la proposicin (2) debe cumplirse para todo > 0.
n
Como hay innitos valores para , el modo de demostrarlo para todo > 0 es considerar un
>0 cualquiera (sin darle un valor concreto). Entonces,
1  1 1
 0 < < n> .
n n
1
Por lo tanto, basta tomar un

N >
, lo que siempre es posible pues el conjunto N de los
1
nmeros naturales es innito. As pues hemos demostrado que sucesin es convergente
n
m n1 = 0.
a cero, o bien que l
n

Ejemplo 9 La sucesin 2 del Ejemplo 7, xn = 1, n, es convergente a 1: dado un > 0

cualquiera, basta tomar N =1 para tener que, si n 1, entonces |xn x| = |1 1| = 0 < ,
luego se cumple la proposicin (2).

Ejemplo 10 {xn } 1, 0, 1, 0, 1, 0, 1, , no es convergente

La sucesin 3 del Ejemplo 7,
a ningn real x: para x = 1, = 0.5, para cualquier N que
por ejemplo, si tomamos
consideremos siempre existirn trminos posteriores a N tales que |xn x| = |01| = 1 > 0.5,
luego no se cumple la proposicin (2).

Nota 8 a) En la proposicin (2) no se dice que sea pequeo. Pero obviamente son los
valores pequeos de >0 los que representan que xn se acerca a x.

b) La N de la proposicin (2) no es nica. Si para = 0.1 tenemos que N = 21, tambin

son vlidos los valores N = 22, N = 25, N = 4837, etc.

c) Si a una sucesin convergente a un x le quitamos o aadimos un nmero nito de trminos,

obtenemos otra sucesin que tambin es convergente a x. As, la convergencia, o no,
de una sucesin no depende de los primeros (millones de) trminos.

d) Una sucesin {xn } puede ser convergente a x aunque ningn xn sea exactamente igual
a x, como las sucesiones 5 y 6 del Ejemplo 7. Pero tambin puede ocurrir que todos o
algunos de sus trminos xn sean iguales a x, como en la sucesin 2 del Ejemplo 7.

El principal inconveniente de la denicin de sucesin convergente (Denicin 12) es

que en ella interviene el valor del lmite, x, que no es un elemento de la sucesin. Veamos
ahora una denicin equivalente en la que no aparece x. Si en la Figura 8 eliminamos la x

21
 Figura 11: Sucesin de Cauchy

obtenemos la grca de la Figura 11, en la que la sucesin {xn } representada es la misma,

luego es convergente. Grcamente, la sucesin de la Figura 8 es convergente porque sus
trminos xn se acercan a x todo lo que queramos. Puesto que en la sucesin de la Figura
11 no tenemos x, la idea de convergencia podemos basarla en que sus trminos se acercan
entre s todo lo que queramos, que es el concepto de Sucesin de Cauchy:

Denicin 13 (Sucesin de Cauchy) Diremos que {xn } es una Sucesin de Cauchy si

> 0, N N : si m > n N, entonces |xm xn | < . (3)

Qu relacin hay entre los conceptos, sucesin convergente y sucesin de Cauchy?:

Teorema 6 (de completitud de Cauchy) Sea {xn } una sucesin de reales. Entonces,
{xn} es una Sucesin de Cauchy si, y slo si, {xn} es una sucesin convergente (a un x R).

Demostracin: () Esta implicacin no podemos demostrarla aqu. Est ligada a una

construccin rigurosa de los nmeros reales El hecho de que cualquier sucesin de Cauchy
en R sea convergente en R es lo que signica que R sea completo.

() Supongamos que {xn } es convergente (a un x), es decir, que se cumple (2) de la De-
nicin 12. Para demostrar que es de Cauchy tenemos que probar que cumple (3) de la
1
Denicin 13. Para ello, sea > 0 cualquiera . Consideremos > 0 y le aplicamos (2):
2

N N : si nN entonces |xn x| < 2 .

As, si m>nN entonces |xm xn | = |xm x + x xn | |xm x| + |x xn | < 2 + 2 = ,
luego hemos probado que se cumple (3). 

En adelante supondremos que sucesin de Cauchy y sucesin convergente son conceptos

equivalentes (en R).

El teorema siguiente nos indica el comportamiento de las sucesiones convergentes frente a

las operaciones algebraicas, suma, producto, cociente, etc. Intuitivamente, este teorema dice
que si xn se aproxima mucho a x eyn se aproxima mucho a y , entonces xn + yn se aproxima
mucho a x + y. Del mismo modo, xn yn se aproxima mucho a xy , x1n se aproxima mucho a x1 ,
etc.
1 Para demostrar (3) tenemos que encontrar un
   
  N  N a partir del cual xm xn  < . Como xm xn  =

xm x + x xn  |xm x| + |xn x|, resulta que xm xn  ser menor que si conseguimos que |xm x|

y |xn x| sean menores que 2 . Por eso consideramos aqu 2 > 0.

22
Teorema 7 (lgebra de sucesiones convergentes) Sean {xn } e {yn } sucesiones con-
vergentes a x e y, respectivamente. Entonces,

(i)


la sucesin {xn +yn } converge a x+y , es decir, lm xn + yn = x + y = lm xn + lm yn ,
n n n

(ii) la sucesin {xn yn } converge a xy , es decir, lm xn yn = xy = lm xn lm yn ,

n n n

(iii) la sucesin {|xn |} converge a |x|,

(iv) 1 1

si xn 6= 0, n N, y x 6= 0, la sucesin xn
converge a x ,

(v)

si xn 0, n N, la sucesin p xn converge a p
x, para todo natural p 2.

Demostracin: Vamos a demostrar nicamente (i) (las demostraciones de (ii) a (v) son
2
parecidas). Sea > 0 cualquiera . Consideremos
2
> 0 y le aplicamos que {xn } converge a x:

N 0 N tal que, si n N 0 entonces |xn x| < .
2

Del mismo modo, si aplicamos a
2
>0 que {yn } converge a y tenemos que:

N 00 N tal que, si n N 00 entonces |yn y| < .
2

0
As,

|xn x| <
2
se cumple a partir de N y |yn y| <

2
se cumple a partir de N 00 . Como
necesitamos que se cumplan las dos desigualdades a la vez, denimos

N = max{N 0 , N 00 }

y resulta que, si n N, entonces

(xn + yn ) (x + y) = xn x + yn y  |xn x| + |yn y| < + = ,

   
2 2
luego se cumple (2) de la Denicin 12 para la sucesin {xn + yn } y el real x + y, luego la
sucesin {xn + yn } converge a x + y. 

Nota 9 Con el lgebra de sucesiones y sabiendo que

n
podemos resolver cualquier lm n1 = 0
lmite que sea cociente de dos polinomios, como la sucesin 5 del Ejemplo 7:

n 1 1
n+1   n
+ n
1+ n 1+0
lm = dividiendo por n arriba y abajo = lm n = lm = = 1,
n n n
n
n 1 1
2 Para demostrar (i) tenemos que encontrar un
 
 N N tal que si n N entonces (xn + yn ) (x + y) < .
 
  
Como (xn + yn ) (x + y) = xn x + yn y  |xn x| + |yn y|, resulta que (xn + yn ) (x + y) ser

menor que si conseguimos que |xn x| y |yn y| sean menores que 2 . Por eso consideramos aqu 2 > 0.

23
o incluso con races, como la sucesin 6 del Ejemplo 7
s s r
2n 5 5
r
2n 5 n
n
2 n 2
lm = lm 3n 1 = lm 1 = .
n 3n + 1 n
n
+ n
n 3+ n
3
Otro ejemplo podra ser:
s s
5n 4 5 4
r r
3 5n 4 3 n2
n2 3 n
n2 3 00
lm = lm 7n2
= lm 2 1 = = 0.
n 7n2 + 2n + 1 n
n2
+ 2n
n2
+ 1
n2
n 7+ n
+ n2
7+0+0

Nota 10 Las propiedades (i) y (ii) se cumplen tambin si, en lugar de sumar o multiplicar
2 sucesiones convergentes, se suman o multiplican un nmero jo p de sucesiones:

(i) lm
 
xn + yn + .(p)
. . + zn = x + y + .(p)
.. + z
n

(ii) lm
 
xn yn . . .zn = xy .(p)
(p)
. .z
n

En particular, si en (ii) tomamos la misma sucesin {xn } repetida p veces, tenemos que la
potencia p-sima de una sucesin {xn } convergente es tambin convergente:

lm xpn = xp .
n

Sin embargo, las propiedades (i) y (ii) no son ciertas si el nmero de sumandos o factores es
variable. Por ejemplo, si consideramos la sucesin
  1 1 1

xn = n+1 + n+2
+ ... + 2n n=1
en la que el nmero de sumandos es n (variable), no es correcto hacer

1 1 1


lm xn = lm n+1
+ n+2
+ ... + 2n
= 0 + 0 + + 0 = 0.
n n
1 1 1 1 1 1 n
De hecho, se cumple que xn = n+1
+ n+2
+ ... + 2n
2n
+ 2n
+ ... + 2n
= 2n
= 12 ,
1
luego si xn
2
n, su lmite no puede ser cero. Ver tambin el comentario tras la Denicin
27, pgina 53.

Teorema 8 (del Sandwich) {xn }, {yn } y {zn } sucesiones que cumplen xn yn zn

Sean
para todo n y tales que {xn } y {zn } son convergentes al mismo x R. Entonces, {yn } tambin
es convergente a x.

Demostracin: Sea > 0 cualquiera. Tenemos que encontrar un natural N a partir del
cual |yn x| < . Como {xn } converge a x,
N 0 N tal que, si n N 0 entonces |xn x| < , si, y slo si xn (x , x + ).

Como {zn } tambin converge a x, N 00 N tal que, si n N 00 entonces zn (x , x + ).

Si ahora denimos N = max{N 0 , N 00 } resulta que, si n N , entonces, como xn yn zn ,
tambin yn (x , x + ) si, y slo si, |yn x| < . 

24
 sen(n)
Ejemplo 11 Estudiar el lmite lm . Como 1 sen(n) +1, dividiendo por n,
n n
1 sen(n) 1 1 1
h i sen(n)
= n
n
n
, y como lm n
= lm n
= 0, = Sandwich = lm = 0.
n n n n

1.4.2. Sucesiones acotadas y montonas

Denicin 14 (Sucesin acotada) Una sucesin {xn } es acotada si existe una constante
M R (llamada cota) tal que |xn | M n. Tambin diremos que es acotada superiormente,
si xn M n (cota superior), o acotada inferiormente, si xn M n (cota inferior).

Un ejemplo de sucesin que no es acotada es la sucesin 1 del Ejemplo 7, representada

en la Figura 7a. Concretamente, no es acotada superiormente, aunque s es acotada infe-
riormente, siendo M = 0 una cota inferior. Notar que tambin son cotas inferiores de esta
sucesin M = 1, M = 7, etc., pues en la denicin de cota no dice que una cota deba
ser ajustada. Las sucesiones representadas en las Figuras 7b y 8 s son acotadas, con cotas
M =1 y M = x, respectivamente.

Teorema 9 (Acotada por convergente a cero) Si {xn } es acotada e {yn } es convergen-

te a 0, entonces {xn yn} es tambin convergente a 0.

Demostracin: Si {xn } es acotada entonces |xn | M n. Multiplicando por |yn | tenemos

que |xn yn | M |yn | , luego

M |yn | xn yn M |yn | n
Por el Teorema 7, la sucesin {M |yn |} es convergente a M |0| = 0, y por el Teorema 8 del
Sandwich, la sucesin {xn yn } es tambin convergente a 0. 

sen(n) 1 h
Ejemplo 12 lm
i
= lm sen(n) = Acotada por convergente a cero = 0.
n n n n

De los Ejemplos 11 y 12 y de la demostracin del Teorema 9 parece que ste y el Teorema

del Sandwich son equivalentes. Veamos un ejemplo que indica que no es as.

Ejemplo 13 Estudiar la convergencia de

1
n2 +1
+ n21+2 + + n21+n . Recordemos
{xn }, xn =
(Nota 10) que no es correcto aplicar (i) para deducir que su lmite es 0 + 0 + + 0 = 0.
1
Lo intentamos por el Teorema del Sandwich: cada sumando 2 puede ser acotado entre el
n +i
1 1 1
menor y el mayor de ellos, 2
n +n
n2 +i n2 +1 , y sumando para i = 1, 2, . . . , n:
1 1 1 1 1 1 1 1 1
n2 +n
+ n2 +n
+ + n2 +n
n2 +1
+ n2 +2
+ + n2 +n
n2 +1
+ n2 +1
+ + n2 +1
n 1 1 1 n
= n2 +n
n2 +1
+ n2 +2
+ + n2 +n
n2 +1

y como lm n2n+n = 0 y lm n2n+1 = 0, por el Teorema del Sandwich, tambin lm xn = 0.

n n n

25
 Qu relacin hay entre sucesin convergente y sucesin acotada? Puede probarse el
siguiente teorema:

Teorema 10 Toda sucesin {xn } convergente es acotada.

El recproco, "toda sucesin {xn } acotada es convergente" no es cierto. Para demostrarlo,

basta con encontrar un contraejemplo: la sucesin {xn } 1, 0, 1, 0, 1, 0, 1, , es acotada
pero no es convergente. Necesitamos otra condicin ms para que una sucesin acotada sea
convergente (ver Teorema 11):

Denicin 15 (Sucesin montona) Diremos que una sucesin {xn } es montona si es

montona creciente, es decir, si xn xn+1 para todo n N, o bien si es

montona decreciente, es decir, si xn+1 xn para todo nN

Si cambiamos   por  <, podemos hablar de estrictamente creciente o decreciente.

Teorema 11 (de la convergencia montona) Toda sucesin {xn } montona y acotada

es convergente (sucesin de Cauchy).

Demostracin: Sea {xn } montona y acotada. Por reduccin al absurso (PRAA), supon-
gamos que no es convergente (no es SC). Como ser SC signica (ver Denicin 13) que

> 0, N N : si m > n N, entonces |xm xn | < ,

no ser SC signica lo contrario, es decir, que o > 0 (jo, concreto) tal que

N N, existen m>nN tales que |xm xn | o = xm xn + o (4)

(4)
Para N = 1, = existen m1 > n1 1 tales que xm1 xn1 + o .

(4)
h i
Para N = m1 , = existen m2 > n2 m1 tales que xm2 xn2 + o = como n2 m1

= xm2 xm1 + o (xn1 + o ) + o = xm2 xn1 + 2o .

(4)
h i
Para N = m2 , = existen m3 > n3 m2 tales que xm3 xn3 + o = como n3 m2

= xm3 xm2 + o (xn1 + 2o ) + o = xm3 xn1 + 3o .

As sucesivamente, vamos encontrando trminos xmk tales que xmk xn1 + ko para cada

k = 1, 2, 3, . . . , luego la sucesin {xn } no est acotada, lo que es una contradiccin. 

Veamos una justicacin visual de este Teorema 11. Una sucesin montona creciente
tiene que estar creciendo indenidamente (cada trmino debe estar a la derecha del anterior,

26
 Figura 12: Sucesin montona y acotada

como en la Figura 12). Si, adems, est acotada superiormente, los trminos no pueden
rebasar una cota M, luego necesariamente tienen que acercarse entre s innitamente y
la sucesin es sucesin de Cauchy (y, por tanto, convergente). Notar que sabemos que es
convergente aunque no conocemos el valor del lmite.

Nota 11 Por la Nota 8c, el Teorema 11 anterior es tambin vlido si la sucesin es

montona slo a partir de una cierta posicin. Adems, si una sucesin {xn } es creciente,
x1 x2 x3 x4 . . . , entonces est acotada inferiormente (por M = x1 , por ejemplo, ver
Figura 12), luego basta demostrar que est acotada superiormente para que sea convergente.
As, el modo de utilizar el Teorema 11 en la prctica es:

Toda sucesin creciente y acotada superiormente es convergente.

Toda sucesin decreciente y acotada inferiormente es convergente.

Ejemplo 14 Estudiar la convergencia de la sucesin {xn } denida por el trmino general

1 3 5 (2n1)
xn = .
2 4 6 (2n)

Observemos en primer lugar que no podemos utilizar la denicin de sucesin convergente

pues no tenemos idea del valor del lmite. S podemos utilizar el Teorema 11. Veamos primero
xn+1
que es montona. Para ello, calculamos el cociente y estudiamos si es 1 1:
xn

xn+1 1 1 3 5 (2n1) (2n+1) 2 4 6 (2n) 2n+1

= xn+1 = =
xn xn 2 4 6 (2n) (2n+2) 1 3 5 (2n1) 2n+2
2n+1
y como
2n+2
1 para todo n, entonces xn+1 xn , n, y la sucesin {xn } es decreciente.
Adems, es obvio que xn 0 para todo n (pues es producto de nmeros positivos), luego
la sucesin {xn } est acotada inferiormente por M = 0. Por el Teorema 11 (y la Nota 11),
sabemos que la sucesin {xn } es convergente (aunque no conocemos su lmite).

Teorema 12 (Un lmite importante) n = 1. lm
n
n

Demostracin: Para n > 1 tenemos que n n > n 1 =1, luego n n = 1 + xn con xn > 0.
As, basta demostrar que l
m xn = 0. Elevando a n en n n = 1 + xn tenemos
n
h i
n (n1) n (n1)
n = (1 + xn )n = Bin. Newton = 1 + nxn + 2
x2n + ... + xnn > 1 + 2
x2n

27
 q
n (n1) n
pn 2
y despejando:
2
x2n < n 1 2
x2n < 1 2
xn < 1 xn < n
,

q
2
luego 0 < xn < n
para todo n>1 y, por el Teorema 8 del Sandwich, lm xn = 0. 
n

p
Nota 12 lm n n2


n2 = lm n
n n
n = 1 1 = 1. Tambin lm n = lm n n n = 1. En
n n n p n
q(n)
general, dados dos polinomios en n, p(n), q(n), ocurre que lm p(n) = 1. Por ejemplo,

2n+3
n
lm 7n5 + 4n3 = 1.
n

1.4.3. Sucesiones divergentes

Diremos que una sucesin {xn } es divergente si no es convergente. Los siguientes son
ejemplos de sucesiones divergentes:

1. {xn } 1, 2, 3, 4, 5, 6, 7,

2. {xn } 1, 2, 3, 4, 5, 6, 7,

3. {xn } 1, 2, 3, 4, 5, 6, 7, 8,

4. {xn } 1, 2, 1, 2, 1, 2, 1, 2,

5. {xn } 1, 0, 2, 1, 0, 2, 1, 0, 2, 1, 0, 2,

6. {xn } 1, 21 , 2, 23 , 3, 14 , 4, 51 , 5, 16 ,

7. {xn } 1, 12 , 1+ 12 , 13 , 1+ 31 , 14 , 1+ 15 , 15 ,

Las sucesiones 4 a 7 anteriores son divergentes porque son oscilantes. Ahora nos interesan
ms las sucesiones divergentes 1 a 3:

Denicin 16 (Sucesin divergente) Diremos que una sucesin {xn } es:

(i) divergente a + si M R, N N : si n N, entonces xn > M (5)

(ii) divergente a si M R, N N : si n N, entonces xn < M (6)

Tambin podemos decir que {xn } tiende a +, {xn } +, lm xn = +, etc.

n

Por ejemplo, la sucesin 1 anterior es divergente a + (ver Figura 13): para cada M que
consideremos (por grande que sea), siempre podremos conseguir que xn > M , a partir de
una cierta posicin N . Del mismo modo, la sucesin 2 es divergente a . Notar que la
sucesin 3, {xn } 1, 2, 3, 4, 5, 6, 7, 8, , no es divergente a + ni a , pero en
valor absoluto, la sucesin {|xn |} es divergente a +. Podemos decir, en estos casos, que
{xn } es divergente a .

28
 Figura 13: Sucesin divergente a +

Operaciones con sucesiones convergentes y divergentes

Con las Deniciones 12 y 16 sabemos qu signica con R {, +}
lm xn = ,
n
(este conjunto se llama recta real ampliada). Vamos a extender el Teorema 7 a operaciones
con sucesiones convergentes y divergentes. Por ejemplo, para la suma tenemos el siguiente
resultado:

Teorema 13


Si lm xn = a R y lm yn = +, entonces lm xn + yn = +.
n n n

Demostracin: Veamos que {xn + yn } cumple la Denicin 16(i). Sea M R cualquiera3 .

Como lm xn = a, aplicamos la Denicin 12 para, por ejemplo, = 1:
n

existe N0 N tal que si n N0 entonces |xn a| < 1 xn a > 1 xn > a 1.

Dado M (a 1) R, como lm yn = +, aplicamos la Denicin 16(i):
n

existe N N tal que si n N entonces yn > M (a 1).

Tomando N = max{N 0 , N } resulta que, si n N
entonces xn +yn > a1+M (a1) = M ,
luego se cumple la Denicin 16(i) y lm xn + yn = +. 
n

Este teorema puede expresarse de manera simblica como que a + (+) = +. De

modo anlogo pueden probarse los teoremas correpondientes a los siguientes resultados:

a + () = , (+) + (+) = +, () + () = ,
() () = , a () = (con el signo que corresponda, a 6= 0),
a 1 1 1
=0 = = + = ,
0 0+ 0
+
(aqu, signica que la sucesin en valor absoluto converge a +, 0 representa una

sucesin que tiende a cero y es siempre positiva, 0 representa una sucesin que tiende a
cero y es siempre negativa).

()p = , p
= (con el signo segn el natural p2 sea par o impar).

3 Para demostrar que se cumple 16(i) tenemos que encontrar un N N a partir del cual xn + yn > M .
Para ello, tenemos que conseguir que xn > cte (a partir de que es convergente a a) y que yn > M cte (a
partir de que diverge a +)

29
Ejemplo 15
s s
5n2
r n 4 1 4
r
3 5n2 + n 4 3 n2
+ n2
n2 3
5+ n
n2 3 5+00
lm = lm 3n 1 = lm 3 1 = = +.
n 3n + 1 n
n2
+ n2
n
n
+ n2
0+0

Nota 13 (Indeterminaciones) El producto 0 (+) es una indeterminacin, pues al

multiplicar una sucesin convergente a cero por otra divergente a + podemos obtener
cualquiera de las tres posibilidades siguientes:

1
una sucesin convergente a un real (por ejemplo
n
n),
1
una sucesin convergente a cero (por ejemplo
n2
n),
1
una sucesin divergente (por ejemplo
n
n2 ).
En general, existen siete tipos de indeterminaciones:
0
+ 0 ()
0
(las otras tres, se estudiarn en la Seccin 3.2.3: 1 00 0 ).

Vamos a dar un mtodo til para el clculo de lmites de sucesiones en forma de fracciones
en las que, en el numerador o en el denominador, aparecen sumas de n trminos.

Teorema 14 (de Stolz) Sea {vn } una sucesin montona creciente tal que lm vn = +.
n
un+1 un un
Si lm =xR entonces lm = x.
n vn+1 vn n vn

Nota 14 El modo de utilizar el Teorema de Stolz es similar al de la Regla de L'Hopital

(Teorema 54, Tema 4). Queremos calcular el lmite de una sucesin en forma de cociente,
xn = uvnn . Si calculamos el lmite del cociente de las diferencias, uvnn++11 un
vn
, y vale x, entonces
el lmite original, lm xn , tambin existe y vale x. Obviamente esto tiene utilidad si la expre-
n
sin de un+1 un (o de vn+1 vn ) es ms sencilla que la de un . Esto ocurre, por ejemplo,
cuando cuando un se expresa como una suma de n trminos, como en el siguiente ejemplo.

12 + 22 + ... + n2
Ejemplo 16 Calcular el lmite de la sucesin {xn } denida por xn = .
n3
Llamemos un = 12 +22 +...+n2 , vn = n3 . Claramente {vn } es montona creciente y divergente
a +, luego podemos el Teorema de Stolz. Calculemos

un+1 un = 12 + 22 + ... + n2 + (n + 1)2 12 + 22 + ... + n2 = (n + 1)2

vn+1 vn = (n + 1)3 n3 = n3 + 3n2 + 3n + 1 n3 = 3n2 + 3n + 1

30
 un+1 un (n + 1)2 n2 + 2n + 1 1
luego lm = lm 2
= l
m 2
= .
n vn+1 vn n 3n + 3n + 1 n 3n + 3n + 1 3
12 + 22 + ... + n2 1
Por el Teorema de Stolz, lm xn = lm = .
n n n3 3
 k
1 + 2k + ... + nk

1
Como ejercicio, calcula el lm (Solucin:
k+1
).
n nk+1

un un1 un+1 un
Nota 15 El Teorema de Stolz es vlido con lm en lugar de lm .
n vn vn1 n vn+1 vn

Hemos visto en la Nota 12 que lm n np = 1 para calquier p N jo. Sin embargo, vamos
n
a ver que lm n n! = +. Para ello, utilizaremos la frmula de Stirling.
n

n!
Teorema 15 (de Stirling) lm = 2
n n nn en

Nota
16 Este teorema viene a decir que, en el clculo de lmite de sucesiones, n! y
n
n
2n n e son equivalentes: cada n! que aparezca en un lmite puede ser sustitui-
do por 2n nn en , como en los ejemplos siguientes.
n
q

Ejemplo 17 lm
h i
2n nn en = lm 2n e1 n = 1
n 2n 1
n! = lm e
(+) = +.
n n n

Ejemplo 18 Calculemos el lmite de la sucesin {xn } del Ejemplo 14 denida por

1 3 5 (2n1)
xn = .
2 4 6 (2n)
Para poder utilizar la frmula de Stirling, tenemos que manipular la expresin anterior de
modo que aparezcan factoriales. Para obtener un factorial en el numerador, multiplicamos y
dividimos por 2 4 6 (2n):
1 3 5 (2n1) 1 2 3 4 5 6 (2n1) (2n) (2n)!
lm = lm = lm
n 2 4 6 (2n) n 2 4 6 (2n) 2 4 6 (2n) n (2 4 6 (2n))2

Para obtener un factorial con el producto de los pares, 2 4 6 (2n), sacamos el factor
2 de cada nmero par: 2 4 6 (2n) = (2 1) (2 2) (2 3) (2 4) (2 n) = 2n n!:

(2n)! (2n)!
lm 2
= lm n =
n(2 4 6 (2n)) n (2 n!)2

Ahora podemos aplicar Stirling: como n! es equivalente a
2n nn en , tambin (2n)!
es equivalente a 22n (2n)2n e2n = 2 n 22n n2n e2n . Sustituyendo

2 n 22n n2n e2n n 1
= lm 2n 2n 2n
= lm = lm = 0.
n 2 2n n e n n n n

31
1.5. Sucesiones en Rn
n
 (k)
Una sucesin en R es x k=1
x(1) , x(2) , x(3) , x(4) , . . . , donde cada x(k) Rn es un punto
n
de R (ver Figura 14) con n componentes,
 
(k) (k)
x(k) = x1 , x2 , . . . , x(k)
n Rn .


Figura 14: Sucesin x(k) k=1
en R2 convergente a a R2

o+
Ejemplo 19
n
1 k
Un ejemplo de a sucesin en R2 es
k
, k, , es decir,
k=1
1

1

1

3

1

4

1

5

1

6

1

7


1
,1 , 2
, 2 , 3
, 3 , 4
, 4 , 5
, 5 , 6
, 6 , 7
, 7 , ...

Como con las sucesiones en R,

estamos interesados en el concepto de convergencia, es decir,
n
si, cuando k crece lo suciente, los trminos se acercan a un punto a de R tanto como
queramos. La denicin matemtica es la misma que en R (ver Denicin 12) cambiando
mdulo por norma:

Denicin 17

Diremos que la sucesin x(k) k=1
es convergente al punto a Rn si:

(k)
> 0 N N : si k N, entonces x a < (ver Figura 14).

1
Volviendo al Ejemplo 19, vemos que la primera componente, , convege a 0 y la segunda

k
k
componente, k , converge a 1. Es esto suciente para poder asegurar que la sucesin es
n
convergente a (0, 1)? S: para calcular el lmite de una sucesin en R basta con calcular el
lmite de n sucesiones en R (sus componentes), como dice el siguiente Teorema.

Teorema 16
 (k)
Una sucesin x k=1
en Rn es convergente a un a Rn si, y slo si,
converge componente a componente.

32
 n o+
Ejemplo 20 1 n 1
La sucesin en R3 , n
, n, 2 n , es convergente a (0, 1, 1) .
n=1
1 +


La sucesin en R3 , n
, n n, 2n n=1 es divergente ya que la sucesin {2n } es divergente.

1.6. Series de nmeros reales

Una serie en matemticas es una suma con innitos sumandos. Una serie numrica es:

+
X
a1 + a2 + a3 + a4 + a5 + = an , donde cada an R.
n=1

Por ejemplo, 0 + 0 + 0 + 0 + 0 + , o tambin 1 + 1 + 1 + 1 + 1 + . Intuitivamente,

el resultado de la primera es cero y el de la segunda es +. Estas dos series son triviales.
Lo que hace interesante el concepto de serie es que, en algunos casos, el resultado de sumar
innitos nmeros no nulos es un nmero nito. El ejemplo tpico es:

1 1 1 1 1 1 1
+ + + + + + + = 1.
2 4 8 16 32 64 128

Para dar signicado matemtico a las sumas con innitos sumandos tenemos que recurrir
al concepto de paso al lmite,

+
P  
an = a1 + a2 + a3 + a4 + a5 + = lm a1 + a2 + + an = lm Sn ,
n=1 n n

es decir, una serie puede considerarse como una sucesin {Sn } cuyo trmino general se escribe
como un sumatorio, Sn = a1 + a2 + + an .

Denicin 18 (Serie convergente)

P
Una serie an se dice convergente o divergente
si la correspondiente sucesin {Sn } de sus sumas parciales es convergente o divergente, se
llama suma de la serie al valor A = lm Sn y escribimos que
n
X
a1 + a2 + a3 + a4 + a5 + = A o bien an = A.

Con esta denicin y con las propiedades de las sucesiones convergentes puede demos-
P P
trarse que, dadas dos series convergentes an = A y bn = B, se cumple que,

33
 P
(i) la serie (an + bn ) es convergente y su suma es A + B :






a1 + b1 + a2 + b2 + a3 + b3 + a4 + b4 + a5 + b5 + = A + B,
P
(ii) la serie an , con R, es convergente y su suma es A:

a1 + a2 + a3 + a4 + = (a1 + a2 + a3 + a4 + ) = A,

(iii) la serie a4 + a5 + a6 + a7 + a8 + es convergente y suma A (a1 + a2 + a3 ).

Como primeros ejemplos, consideremos las series siguientes:

(n)

1. 0 + 0 + 0 + 0 + 0 + = lm 0 + 0 + + 0 = lm 0 = 0
n n
(n)

2. 1 + 1 + 1 + 1 + 1 + = lm 1 + 1 + + 1 = lm n = +
n n
 
3. 1 21 + 13 41 + 15 16 + = lm 1 21 + 31 14 + 51 + n1 = lm ?
n n
 
4. 1 + 12 + 31 + 14 + 15 + 61 + = lm 1 + 12 + 13 + 41 + 15 + + n1 = lm ?
n n
 
5. 1 + 21 + 41 + 18 + 16
1
+ = lm 1 + 12 + 14 + 81 + + 2n1
1
= lm ?
n n

Las dos primeras son triviales: la primera es convergente con suma 0 y la segunda es
divergente a +. En las otras tres podemos ver la particularidad de las series: slo podremos
resolverlas como una sucesin cuando podamos calcular Sn = a1 + a2 + a3 + + an , lo que,
en general, no ser posible. En el ejemplo 3, como no se conoce ninguna frmula para sumar
1 12 + 13 14 + 15 + n1 , no podemos resolver esta serie simplemente calculando el lm Sn .
1 1 1 1 1
Lo mismo ocurre con el ejemplo 4, pues tampoco sabemos sumar 1 + + + + + + .
2 3 4 5 n

En algunos casos (muy pocos), como en el ejemplo 5, s es posible. Este es un caso

particular de una serie muy importante, la serie geomtrica. Antes de estudiarla, recordemos
la frmula para sumar los n trminos de una progresin geomtrica:

Nota 17 (Progresin Geomtrica) Decimos que n nmeros a1 , a2 , a3 , , an1 , an es-

tn en Progresin Geomtrica de razn R (6= 1) si cumplen que ai+1 = Rai , para todo i.
La suma de estos n nmeros, S = a1 + a2 + + an , puede calcularse del modo siguiente:

S = a1 + a2 + a3 + + an1 + an = multiplicando por R =

RS = a2 + a3 + a4 + + an + Ran = restando y cancelando trminos
S RS = a1 + 0 + 0 + + 0 Ran =

a1 an R
= S(1 R) = a1 an R y despejando S resulta que S= , es decir,
1R
S = al primero menos el ltimo por la razn dividido por uno menos la razn.

34
Nota 18 Veamos que lm xn = 0
n
si, y slo si, |x| < 1.

Para |x| = 1, {(1)n } es oscilante y {1n } es convergente a 1.

Si |x| > 1 |x| = 1 + t, con t > 0 constante, y

entonces
h i
|x| = (1 + t) = Bin. Newton = 1 + nt + + tn > nt +.
n n

1 1
Si |x| < 1 entonces
|x|
> 1, luego
|x|
= 1 + t, con t>0 constante, y

 n 
x 0 = |x|n = 1 h i 1 1 1
= Bin. Newton = < 0 = 0.
(1 + t)n 1 + nt + + tn nt t

Denicin 19 (Serie geomtrica) Llamamos serie geomtrica de razn x a

+
X
xn = 1 + x + x 2 + x3 + x4 + que es una serie numrica para cada valor de x R.
n=0

xn ,
P
Notar que la serie geomtrica, no es simplemente una serie, sino una familia de
series, pues para cada valor de x tenemos una serie diferente. Veamos que, dependiendo del
valor de x, la serie es convergente o divergente.

Teorema 17 (de la serie geomtrica) xn

P
La serie es convergente si, y slo si, |x| < 1.
1
En este caso, su suma es 1x
, es decir,
+
X 1
xn = 1 + x + x2 + x3 + x4 + = para todo x (1, +1).
n=0
1x

Demostracin: Por la Denicin 18, la serie es convergente o divergente si la sucesin {Sn }

de sus sumas parciales es convergente o divergente, donde

Sn = 1 + x + x2 + x3 + x4 + + xn1 .

Lo estudiamos segn los valores de x. Para x=1 tenemos que Sn = n, que es divergente.
Para x 6= 1, Sn es la suma de una progresin geomtrica de razn x 6= 1 (ver Nota 17):

2 3 4 n1
h i 1 xn1 x 1 xn
Sn = 1 + x + x + x + x + + x = Nota 17 = = .
1x 1x
As, {Sn } es convergente si, y slo si, {xn } es convergente, si, y slo si, |x| < 1 (Teorema 12).
1
En m xn = 0 (Teorema 12) y la suma de la serie es lm Sn =
este caso, l . 
n n 1x

Nota 19 xn
P
En los casos x = 1 y x = 1, la serie geomtrica es divergente. Sin embargo,
el modo de diverger es diferente:
P n
Para x = 1 la serie es 1 = 1+1+1+1+1+, que es divergente a + porque
lm {Sn } = lm n = +.
n n

35
 (1)n = 1 1 + 1 1 + 1 + ,
P
Para x = 1 la serie es que es divergente porque
la sucesin {Sn } es oscilante: {Sn } 1, 0, 1, 0, 1, 0,

Entre los casos convergentes podemos destacar:

1 n

P 1
= 1 + 12 + 14 + 81 + 16
1 1 1 1
P
2
= 2n + 32 + = 1 12
=2 (geomtrica de razn x= 2
)

1

n 1
= 1 12 + 41 81 + 1 1 1 2
P
2 16
32
+ = 1+ 12
= 3
(geomtrica de razn x= 2
)

Otro ejemplo de series que pueden sumarse son las telescpicas, llamadas as porque sus
sumas parciales se calculan por cancelacin telescpica, como en el siguiente ejemplo.

+
1
Ejemplo 21 (Serie telescpica)
X
Consideremos la serie .
n=1
n(n+1)
1 1 1 1 1
Sus sumas parciales son: Sn = 1 2
+ 2 3
+ 3 4
+ 4 5
+ + n(n+1)
.

1
Observemos que cada sumando puede descomponerse como suma de dos fracciones:
n(n+1)

1 A B An+A+Bn 1 1 1
 
n(n+1)
= n
+ n+1
= n(n+1)
resolviendo A = 1, B = 1 = n(n+1) = n
n+1

1 1 1 1 1
 
y, por lo tanto, Sn = 1 2
+ 2 3
+ 3 4
+ 4 5
+ + n(n+1) = sustituyendo =
1
= 12 + 12 13 + 13 14 + 14 51 + + n1
1
1
n+1
= [cancelacin telescpica] = 1
1
1
n+1
1


luego lm Sn = lm 1 n+1 = 1 0 = 1 = la serie es convergente y suma 1, es decir,
n n

+
1 1 1 1 1
P
n(n+1)
= 1 2
+ 2 3
+ 3 4
+ 4 5
+ = 1.
n=1

P
Como dada una serie an no podemos, en general, calcular Sn = a1 + a2 + a3 + + an ,
(salvo en algunas excepciones) tenemos que estudiar las series, no a partir de la sucesin
{Sn }, que no conocemos, sino a partir de sus trminos
P an , que s conocemos. Por ejemplo,
sabemos que una serie anPes convergente si {Sn } es convergente (Denicin 18), pero,
qu signica que una serie an sea convergente respecto de sus trminos an ? Es lo que
dice el siguiente teorema.

Teorema 18 (Cauchy para series)

P
Una serie an es convergente si, y slo si,
 
> 0, N N : si m>nN entonces an+1 + an+2 + + am  < .

Demostracin: Por la Denicin 18,

P
an es convergente si la sucesin {Sn } es convergente,
y por el Teorema 6, {Sn } es convergente si, y slo si, es Sucesin de Cauchy:

> 0, N N : si m>nN entonces |Sm Sn | < ,

36
donde Sm Sn = (a1 + a2 + + am ) (a1 + a2 + + an ) = an+1 + an+2 + + am . 

Es decir, las series convergentes son aquellas cuyas colas, an+1 +an+2 + +am , se hacen
tan pequeas como queramos (haciendo n sucientemente grande). Si las colas tienden a
cero, en particular tambin tiende a cero an , como dice el siguiente teorema.

Teorema 19
P
Si an es convergente, entonces la sucesin {an } converge a cero.

Demostracin: Sea > 0 cualquiera. Si

P
an es convergente, por el Teorema 18,
 
N N : si m>nN entonces an+1 + an+2 + + am  <

y tomando m=n+1 tenemos que

si n+1N entonces |an+1 | < , = |an+1 0| < , luego lm an = 0. 

n

Este Teorema visto al revs resulta el primer criterio de divergencia:

Corolario 1 (Primer
P criterio de divergencia) Si la sucesin {an } no converge a cero,
entonces la serie an es divergente.

Con este criterio, son divergentes las series siguientes:

n2
P
1 + 1 + 1 + 1 + 1 + 1 1 + 1 1 + 1 + 7n2 +3n

P
Es cierto el recproco del Teorema 19? Es decir, si una serie an cumple que lman = 0,
n
ser necesariamente convergente? La respuesta es negativa y un contraejemplo lo propor-
P1 1
ciona la serie armnica, , cuyo trmino general an = tiende a cero pero que no es
n n
convergente, como arma el siguiente teorema.

Teorema 20 (de la serie armnica) 1

P
La serie armnica, n
, es divergente, es decir,

+
X 1 1 1 1 1 1 1
= 1 + + + + + + + = +
n=1
n 2 3 4 5 6 7

Demostracin: Tenemos que ver que la sucesin de sumas parciales {Sn } diverge a +,
conSn = 1 + 21 + 31 + 14 + 15 + + n1 . Para ello, veamos que los trminos de la forma S2k son
mayores que algo que tiende a +:

1 1 1 1 1 1 1 h i
+ + + + + + + k = agrupando trminos =
S2k = 1 +
2 3 4 5 6 7 2
     
1 1 1 1 1 1 1 1 1 1
=1+ + + + + + + + + + + + k
2 3 4 5 6 7 8 2k1 + 1 2k1 + 2 2

37
      
1 1 1 1 1 1 1 1 1 (2k1 ) 1
=1+ + + + + + + + + + + + k =
2 4 4 8 8 8 8 2k 2k 2
1 1 1 (k) 1 1
= 1 + + + + + = 1 + k que tiende a + cuando k +. 
2 2 2 2 2
P
m an 6= 0, entonces la serie
Por lo tanto, si l an es divergente, pero si lm an = 0
Pn n
entonces la serie an puede Pser convergente o divergente. Necesitamos criterios que nos
permitan decidir si una serie an es convergente o divergente.

1.6.1. Criterios para series de trminos positivos

P
Estudiemos criterios para series de trminos positivos, es decir, an con an > 0, n
(o bien a partir de una cierta posicin). Tambin podrn utilizarse para series de trminos
P P
negativos sin ms que cambiarles el signo, pues an converge si, y slo si, an converge.

Notar que las sumas parciales de las series de trminos positivos van creciendo, es decir,
la sucesin {Sn } es montona creciente y slo tiene dos posibilidades:
P
que {Sn } est acotada superiormente, y entonces an ser convergente, o
P
que {Sn } no est acotada superiormente, y entonces an ser divergente a +.

Teorema
P
21 (Criterio de Comparacin
P
con ) Sean 0 < an bn para todo n.
Si
P bn es convergente, entonces P an tambin es convergente.
Si an es divergente, entonces bn tambin es divergente.

Demostracin: Como an bn para todo n tenemos que

Sn = a1 + a2 + a3 + a4 + + an b1 + b2 + b3 + b4 + + bn = Tn ,

luego si {Tn } est acotada superiormente tambin lo est {Sn } y si {Sn } no est acotada
superiormente tampoco lo est {Tn }. 

Teorema 22 (Criterio de Comparacin con lmites) Sean an , bn > 0 tales que

an P P
lm = R, 6= 0. Entonces, an es convergente bn es convergente.
n bn
P P
(En este caso decimos que
P an y
Pbn tienen el mismo carcter. Notar que tambin se
cumple que an es divergente bn es divergente.)

Demostracin: Como > 0, sea tal que 0 < < : existe un N N tal que para todo
nN tenemos que
 
 an
  < = + < an < + = 0 < ( )bn < an < ( + )bn

 bn  bn

38
 P P
As, si an converge, por el Teorema 21 la serie
P ( )bn converge y, dividiendo por
( ), tambin converge bn .
P P
Recprocamente, si
P bn converge entonces tambin converge ( + )bn y por el Teorema
21, la serie an converge. 

X n2 + 3n
Ejemplo 22
P
Estudiar el carcter de la serie an = .
2n3 + 10
Necesitamos un bn tal que lm abnn sea un nmero positivo. Como
n

n2 +3n
2n3 +10 n3 + 3n2 1
lm 1 = lm = 6= 0
n
n
n 2n3 + 10 2

n2 +3n 1
P P
la serie tiene el mismo carcter que la serie (serie armnica, Teorema 20), es
2n3 +10 n
decir, es divergente.

Notacin: lm an
P P
= R, 6= 0 puede denotarse como an bn . De este modo, el
n bn
ejemplo anterior quedara:

X n2 + 3n X1
, divergente.
2n3 + 10 n

1
P
Del mismo modo, en el Ejemplo 21 hemos probado que es convergente y como
n(n+1)
1 1 1
P P P
n2
n(n+1)
, la serie n2
es convergente.

Notar que todas las series con trmino general del tipo polinomio dividido por polinomio
P 1
pueden expresarse como , para algn valor de p. As, si resolvemos esta familia
P 1 np
de series,
np
, llamada serie armnica generalizada, habremos resuelto todas las series
polinomio dividido por polinomio.

Denicin 20 (Serie armnica generalizada) Llamamos serie armnica generalizada a

X 1 1 1 1 1 1 1
p
= p + p + p + p + p + p + con p R.
n1
n 1 2 3 4 5 6

1
P
Como casos particulares, para p = 1 tenemos la serie armnica , para p = 2 tenemos
n
1 1 1
P P
, para p = tenemos 3 n , etc. El teorema siguiente nos dice cules de stas son

n2 3
convergentes.

+
1
Teorema 23 (de la serie armnica generalizada)
X
converge p > 1.
n=1
np

39
 1 1
P P
As, la serie es convergente y la serie
3 n es divergente. Como hemos dicho, con
n3/2
este resultado y con el criterio de comparacin anterior, conocemos el carcter de todas las
series del tipo polinomio dividido por polinomio.

an+1
Teorema 24 (Criterio del Cociente o de D'Alembert) Sea = lm .
P n an
(1) Si <1 entonces an converge.
P
(2) Si >1 entonces an diverge.
P
(3) Si =1 entonces an puede ser convergente o divergente.

Teorema 25 (Criterio de la raiz n-sima o de Cauchy) Sea = lm
n
n
an .
P
(1) Si <1 entonces an converge.
P
(2) Si >1 entonces an diverge.
P
(3) Si =1 entonces an puede ser convergente o divergente.

Demostracin: < 1, sea q tal que < q < 1. Como lm n an = , tomando
(1) Si
n
= q existir un natural N tal que si n N entonces

 n an  < q =

n
an < q = n an < q = an < q n n N.
P n
Como la serie q es convergente
P (geomtrica de razn q < 1), por el criterio de comparacin
(Teorema 21), la serie an es tambin convergente.

m n an = > 1, tomando = 1 existir un natural N tal que si n N entonces
(2) Si l
n

 n an  < 1 =

n
an > 1 = n an > 1 = an > 1 n N.
P
luego el lm an no puede ser cero y, por el Corolario 1, la serie an es divergente. 
n

r
n(n+1)
Ejemplo 23
X
Estudiemos el carcter de la serie . Por el criterio del cociente,
2n
q
(n+1)(n+2)
s
an+1 2n+1 (n+1)(n+2)2n 1
= lm = lm q = lm n+1
= < 1 = la serie es conver-
n an n n(n+1) n n(n + 1)2 2
2n
gente. Tambin por el criterio de la raiz,
sr p
n n(n+1) 2n
n(n+1) 1
= lm n
an = lm = lm = < 1 = la serie es convergente.
n n 2n n 2 2

En el ejemplo anterior hemos obtenido = . Puede probarse que esto es cierto en general:

an+1
Teorema 26 Si existe = lm n
an , entonces existe = lm = .
n n an

40
 Por lo tanto, los dos criterios anteriores son similares. Adems no son muy ecaces, porque
si observamos la demostracin del Teorema 25, slo se obtiene < 1 en series ms pequeas
que la geomtrica y slo se obtiene > 1 en series cuyo trmino general no tiende a cero. El
siguiente, Criterio de Raabe, es ms potente que ambos.

 
an+1
Teorema 27 (Criterio de Raabe) Sea = lm n 1 .
P n an
(1) Si < 1 entonces an converge.
P
(2) Si > 1 entonces an diverge.
P
(3) Si = 1 entonces an puede ser convergente o divergente.

Ejemplo 24 Estudiar el carcter de la serie

X 2 5 8 (3n 1) 2 25 2 5 8 2 5 8 11
n
= + 2 + 3 + +
3 n! 3 3 2! 3 3! 34 4!
Primero probamos con el criterio del cociente:

an+1 1 2 5 8 (3n 1) (3n + 2) 3n n! 3n + 2

= an+1 = = = 1, no sabemos.
an an 3n+1 (n+1)! 2 5 8 (3n 1) 3n + 3
an+1
Si el cociente falla ( = 1), probamos con Raabe, para lo cual ya tenemos calculado :
an
     
an+1 3n+2 3n+23n3 n 1
n 1 =n 1 =n = = > 1, diverge.
an 3n+3 3n + 3 3n + 3 3

1.6.2. Series de trminos cualesquiera, series alternadas y reordenacin

P
Si
P an es una serie de trminos positivos y negativos, tomando valores absolutos la
serie |an | es de trminos positivos. Si le aplicamos a sta los criterios anteriores y resulta
convergente, tambin es convergente la serie original:

Denicin 21 (Serie P
absolutamente convergente)
P
Una serie an es absolutamente
convergente si la serie |an | (de sus mdulos) es convergente.

Teorema 28 (Abs. conv. conv) Si |an | es convergente = an es convergente.

P P

Demostracin: Sea > 0 cualquiera. Si |an | es convergente, por el Teorema 18,

P

N N : si m>nN entonces |an+1 | + |an+2 | + + |am | < .

As, si m > n N, |an+1 + aP
n+2 + + am | |an+1 | + |an+2 | + + |am | <
y, por el Teorema 18, la serie an es convergente. 
P P
Sin embargo, si |an | es divergente entonces an puede ser divergente o convergente
(ver Ejemplo 25). En este caso, si la serie es alternada (Denicin 22), podemos aplicar el
Criterio de Leibniz (Teorema 29).

41
Denicin 22 (Serie alternada) Una serie se dice alternada si es del tipo:
X
a1 a2 + a3 a4 + a5 a6 + , o bien (1)n1 an , con cada an > 0.
n1

Teorema 29 (de Leibniz) Sea una serie alternada, a1 a2 + a3 a4 + a5 a6 + ,

con cada an > 0. Si se cumple que (i) lm{an } = 0 y (ii) {an } es decreciente, entonces la
n
serie alternada es convergente.

Demostracin: La sucesin {Sn } de las sumas parciales de una serie alternada es oscilante.
Si, adems, {an } es decreciente, entonces los Sn cumplen:

es decir, S2 S4 S6 S8 S7 S5 S3 S1 . As, la sucesin {S2k } es

creciente y acotada superiormente, luego es convergente (ver Nota 11), digamos a R.
Del mismo modo la sucesin {S2k+1 } es decreciente y acotada inferiormente, luego tambin
es convergente, digamos a R. Adems, S2k+1 S2k = a2k+1 para todo k N, luego
tomando lmites y aplicando (ii) tenemos que = 0 = . Como las sucesiones
{S2k } y {S2k+1 } son convergentes al mismo nmero, la sucesin global, {Sn } es tambin
convergente y, por lo tanto, la serie es convergente. 

Ejemplo 25 (La serie armnica alternada)

+
X 1 1 1 1 1 1 1
(1)n1 = 1 + + + +
n=1
n 2 3 4 5 6 7

es convergente pues es alternada, { n1 } es decreciente y { n1 } es convergente a cero.

Teorema 30 La serie armnica alternada suma log(2), es decir,

X 1 1 1 1 1 1 1
(1)n1 = 1 + + + + = log(2).
n1
n 2 3 4 5 6 7

Demostracin: Ver el Ejemplo 64 en la pgina 122 o la Nota 69 en la pgina 168. 

Sabemos que en las sumas con un nmero nito de sumandos, el orden de los sumandos
no altera el resultado, es decir, a1 + a2 + a3 = a1 + a3 + a2 . Nos planteamos ahora si esto es
tambin cierto para las series (sumas con innitos sumandos):

42
 reordenar los trminos
P
Dada
P an convergente y con suma A, cualquier serie obtenida de
de an ser tambin convergente y con suma A?
Vamos a demostrar que este resultado no es cierto con un contraejemplo:

Contraejemplo de Laurent (Reordenacin de la armnica alternada) Por reduc-

cin al absurdo, supongamos que s es cierto el resultado y consideremos la serie armnica
alternada, que es convergente y suma log(2) (Teorema 30):

log(2) = 1 21 + 13 41 + 15 61 + + 1
2n+1
1
2n+2
+ =
 
reordenamos los trminos poniendo un positivo seguido de dos negativos

= 1 21 14 + 31 61 81 + 15 1
10
1
12
+ + 1
2n+1
1
4n+2
1
4n+4
+ =
 
introducimos parntesis

1
14 + 1 1
18 + 1 1 1 1 1 1





= 1 2 3
6 5
10
12
+ + 2n+1
4n+2
4n+4
+ =
 
hacemos la resta de cada parntesis

1
14 + 16 18 + 1 1 1 1 1
 
= 2 10
12
+ + 4n+2
4n+4
+ = sacamos factor comn
2
1
1 12 + 13 14 + 15 16 + + 1 1
+ = 12 log(2)


= 2 2n+1
2n+2

As, hemos obtenido que log(2) = 21 log(2), lo cual es absurdo. Por lo tanto, no es cierto que
cualquier serie convergente pueda ser reordenada sin que cambie su suma. 

Sin embargo, s hay series que pueden reordenarse sin alterar su suma. Cmo saber
cuales son? El siguiente teorema nos dice que son las series que convergen en valor absoluto.

Teorema 31 (de las series que s pueden reordenarse)

P
Una serie an cumple que
cualquier serie obtenida de reordenar sus trminos es convergente y con la misma suma
P P
si, y slo si, an es absolutamente convergente ( |an | es convergente, Denicin 21).

Este teorema puede interpretarse como que son las series absolutamente convergentes
las que realmente generalizan a las sumas nitas.

Ejemplo 26 La serie armnica alternada no puede ser reordenada (sin cambiar su suma)
porque en valor absoluto es divergente. Las siguientes series s convergen en valor absoluto,
luego s pueden ser reordenadas sin cambiar su suma:

1 1
+ 14 + 19 + 1 1
P
n2
= 1 16
+ 25
+
1
= 11 + 12 + 41 + 18 + 16
1 1
+ = 2 (geomtrica de razn x = 12 )
P
2n
+ 32
P 1
n 1 1 1 1 1 1 1
2
= 1 2 + 4 8 + 16 32 + = 32 (geomtrica de razn x = 2
)

En resumen, la relacin entre convergente y absolutamente convergente es:

43
 P P P
Para series an de trminos positivos, |an | = an , luego convergente y absoluta-
mente convergente es lo mismo.
P P
En general, si |an | es convergente entonces an es convergente (Teorema 28), pero
P P
el recproco no es cierto: puede que an sea convergente pero que |an | sea divergente
(como la armnica alternada), es decir,
P P
si |an | es divergente entonces an puede ser divergente o convergente.

1.7. Series de potencias

Se llama serie de potencias, abreviadamente SP, a cualquier expresin

+
X
an xn = a0 + a1 x + a2 x2 + a3 x3 + , con an R,
n=0

que es una serie numrica para cada valor de x R, y puede ser convergente para algunos
valores de x y divergente para otros, como ocurre con la serie geomtrica de razn x:
1
1 + x + x2 + x3 + x4 + = , x (1, 1) (Teorema 17).
1x
Observa que una SP puede entenderse como un polinomio de grado innito. Otros
ejemplos importantes de SP son:

x x2 x3 xn x2 x4 x2k
1+ + + + + + , 1 + + + (1)k + ,
1! 2! 3! n! 2! 4! (2k)!
an x n
P
que convergen x R. En general, cada SP tiene asociado un intervalo de conver-
gencia que siempre est centrado en cero, como dice el siguiente teorema.

Teorema 32 (Del intervalo de convergencia) an x n

P
Sea una serie de potencias. Slo
puede ocurrir una de las siguientes:

(1) converge slo para x = 0,

(2) converge absolutamente para todo x R,

? converge absolutamente x : |x| < R,
(3) existe un R R+ tal que
? diverge x : |x| > R.

Nota 20 En el caso (3), para x = R y para x = R la serie de potencias puede ser convergente
o divergente. Habr que estudiar cada caso en particular.

Denicin 23 (Radio de Convergencia) Al nmero R del caso (3) lo llamamos Radio

de Convergencia de la SP. En el caso (1) diremos que R=0y en el caso (2) que R = .

44
Teorema 33 (Clculo de R) n
P
Sea a
p n x una SP con an 6= 0 n (es decir, que tiene
todas las potencias de x). Sea = lm |an |.
n

(a) Si =0 entonces R = ,
(b) si = entonces R = 0,
1
(c) si R+ entonces R=
.

Demostracin: Demostremos (c) (los otros casos son similares). Por el Terorema 32, R es el
|an xn | converge para |x| < R y diverge para |x| >
P
nmero que cumple que la serie
p R. Como
n
P
|an x | es de trminos positivos, le aplicamos el criterio de la raiz n-sima: lm |an xn | =
p
n

lm n
|an ||x| = |x|. Entonces,

|x| < 1 ,

si |x| < 1, es decir, si la serie es convergente,
1
= R= . 
si |x| > 1, es decir, si |x| > 1 , la serie es divergente.

Nota 21
h i
(a), (b) y (c) pueden resumirse simblicamente por R = 1 , y podemos cambiar
por = lm | an+1
an
|, pues sabemos que si existe entonces existe = (Teorema 26).

Nota 22 (Si las potencias van de 2 en 2) El Teorema 33 es slo vlido si an 6= 0 n, es

n
decir, para SP que tienen todas las potencias x (a partir de un cierto n). Si tenemos una
|an x2n |, en la que las potencias van de 2 p
P
SP como en 2 (por ejemplo), procediendo como
p
en la demostracin del Teorema 33 obtenemos: l m n |an x2n | = lm n |an ||x2 | = |x|2 < 1
2 1 1 1
si, y slo si, |x| < si, y slo si, |x| < , luego el radio es R = .

Ejemplo 27 (Si las potencias van de 2 en 2) Calcular el radio de convergencia de

X (1)n+1 1 3 1 5 1 7
x2n+1 = x x + x +
n1
n 5n 5 25 2 3 53
q
1 1
Como en el Teorema 33, calculamos = lm n n 5n
= 5
. Como en esta SP las potencias

van de dos en dos, por la Nota 22, = R = 5.
Tambin podemos proceder del modo siguiente. Si sacamos factor comn a x3 y hacemos el
2
cambio x = y , obtenemos

   
3 1 1 2 1 4 3/2 1 1 1 2
x 2
x + x + =y y+ y + ,
5 25 3 53 5 25 2 3 53

que es una SP en
q y que s tiene todas las potencias. Aplicamos el Teorema 33 ( =
lm n 1
n 5n
= 1
5
) y obtenemos que tiene un radio de convergencia R = 5. Esto signi-

ca que converge absolutamente para todo y tal que |y| < 5. Deshaciendo el cambio,

|x2 | < 5 |x| < 5, luego el radio de convergencia de la serie original (en x) es R = 5.

45
Denicin 24 (Serie de potencias con centro en a R) Se llama SP(a) a cualquier
expresin
X
an (x a)n = a0 + a1 (x a) + a2 (x a)2 + a3 (x a)3 + , con an R,
n0

que es una serie numrica para cada valor de x R.

Nota 23 Una SP(a) es una serie de potencias de (xa), y si hacemos el cambio h = xa

x = a + h, la SP(a) resulta la SP en h siguiente,
X
an hn = a0 + a1 h + a2 h2 + a3 h3 + ,

que es convergente si h (R, R), es decir, si xa (R, R) x (aR, a+R). As,

todo lo que hemos visto para SPs es vlido para SP(a):

Dada una SP(a) slo puede ocurrir una de las siguientes:

(1) converge slo para x = a,

(2) converge absolutamente para
 todo x R, o
? converge absolutamente x : |xa| < R
(3) existe un R R+ tal que
? diverge x : |xa| > R
En x = aR y en x = a+R la serie puede ser convergente o divergente.

El radio de convergencia R se dene y se calcula igual que para SP.

Nota 24 (Funcin suma) an (xa)n tiene asociado un radio de convergen-

P
Toda SP(a)
cia R y podemos denir una funcin tal que a cada x (aR, a+R) le haga corresponder
an (x a)n (posiblemente tambin para x = aR y x = a+R,
P
la suma de la serie, f (x) =
si la serie es convergente):

f : (aR, a+R) PR
x y = an (xa)n

Por ejemplo, la serie geomtrica 1 + x + x2 + x3 + x4 + dene la funcin

1
f (x) = , x (1, 1).
1x
Recprocamente, muchas funciones importantes como la exponencial y el seno (denidas en
la Seccin 2.1.3) pueden desarrollarse como SP (como veremos en la Seccin 4.5.2):

1 1 1 1
exp(x) = 1 + x + x2 + x3 + x4 x R,
1! 2! 3! 4!

x3 x5 x2k+1
sen(x) = x + + + (1)k + x R.
3! 5! (2k + 1)!

Las funciones son el objeto del resto del curso.

46
2. Funciones

2.1. Funciones de una variable

Denicin 25 (Funcin) Llamamos funcin real de una variable real a toda regla de asig-
nacin f entre un subconjunto D R y R, de modo que a cada elemento xD le hace
corresponder un elemento y = f (x) de R:

f : D R R
x y = f (x)

D es el dominio de denicin de la funcin f.

A veces escribimos simplemente y = f (x). En este caso, si no se indica explcitamente

otra cosa, entenderemos que la funcin est denida en su dominio ms amplio.

Ejemplo 28 Si consideramos la funcin

x
1
, su dominio ms amplio es el conjunto
y =
de los nmeros reales menos el cero, pero bien podramos estar interesados en esta
funcin restringida slo a los reales positivos, o incluso al intervalo (0, 1]. Entonces esta-
ramos hablando de tres funciones distintas, con la misma frmula pero con distinto dominio:

1
f : R\{0} R, f (x) = x
1
f : R+ R, f (x) = x
1
f : (0, 1] R, f (x) = x

1
(1x)n
P
Comprueba que la funcin suma de f (x) = es f : (0, 2) R, f (x) = x
.
n0

Ejemplo 29 Algunas funciones estn denidas a trozos, como la funcin signo de x, sg(x),

x > 0, 1, si
sg : R R, sg(x) = 0, si x = 0,
1, si x < 0,

o la funcin valor absoluto de x (ver la Denicin 2 en el Tema 1.1, pgina 3),


x, si x 0,
f : R R, f (x) = |x| =
x, si x 0.

2.1.1. Representacin grca

Una funcin de una variable se representa grcamente en el plano R2 , tomando el eje

horizontal (abcisas) para la variable x y el eje vertical (ordenadas) para el valor y = f (x) de
la funcin en cada punto x D, como en las funciones de las Figuras 15 y 16.

47
 Figura 15: Grcas de las funciones f (x) = x2 , x [1, 1], y f (x) = 1/x.

Figura 16: Grcas de las funciones y = sg (x) y valor absoluto y = |x|

Nota 25 Una grca como la de esta -

gura no es una funcin y = f (x), pues
para el valor de x de la gura no sabemos
quin es f (x). Sin embargo, s puede ser
la grca de una funcin x = f (y) (ver
Seccin 2.1.2)

48
2.1.2. Funciones Inyectivas

Una funcin f : D R R es inyectiva si dados x 6= x D entonces f (x) 6= f (x )

(puntos distintos tienen imgenes distintas). Grcamente, una funcin no es inyectiva si
alguna recta horizontal corta a la grca de la funcin ms de una vez (Figura 17b), mientras
que una funcin es inyectiva si cualquier recta horizontal corta a lo sumo una vez a la grca
de la funcin (Figura 17a). Por ejemplo, la funcin f (x) = 1/x (Figura 15) s es inyectiva
pero las funciones f (x) = sg(x), f (x) = |x| (Figura 16) no lo son.

Figura 17: Un ejemplo grco de funcin inyectiva y otro de no inyectiva

Si una funcin f es inyectiva en un dominio D, entonces podemos tomar B = f (D) (el

conjunto imagen de f) y la funcin

f : D B,

es biyectiva, es decir, a cada elemento xD le corresponde exactamente un elemento yB

y viceversa. De este modo, podemos denir una nueva funcin tal que a cada yB le asocie
el correspondiente xD original (aquel que f (x) = y ), que es la funcin inversa:

: B D, denida como: (y) = x si, y slo si, f (x) = y,

y se cumple que f ((y)) = y, para todo y B, y que (f (x)) = x, para todo x D.

Como la funcin inversa se obtiene intercambiando los papeles de las variables x e y, la
grca de la funcin inversa es la imagen simtrica a la grca de f respecto de la bisectriz
del primer cuadrante, como se muestra en la Figura 18.

Nota 26 Si una funcin no es inyectiva, como la de la Figura 19, entonces su funcin inversa
no es una funcin (ver Nota 25).

49
 Figura 18: Las grcas de una funcin f y de su inversa .

Figura 19: Si f no es inyectiva, su inversa no es una funcin.

Denicin 26 (Funcin compuesta) Sean f : D R R, g : B R, con f (D) B :

f g
DR - BR - R
x f (x) g(f (x))
gf 6

Se llama funcin compuesta a gf : D R R, denida por gf (x) = g(f (x)).

Por ejemplo, si componemos una funcin f biyectiva con su inversa obtenemos la

funcin identidad, pues (f (x)) = x, para todo x D:

f
D - B - D
x f (x) (f (x)) = x
f 6

50
Ejemplo 30 y = sen(x2 ) es el resultado de la composicin de f (x) = x2 con g(x) = sen(x):
f g
R - R - R
x x2 sen(x2 )
gf 6

2.1.3. Funciones importantes

1. Funciones polinmicas: f (x) = a0 + a1 x + a2 x2 + ... + an xn , con ai R.

El dominio de estas funciones es todo R. Por el Teorema Fundamental del lgebra (TFA,
Teorema 2, pgina 10), f (x) OX como mucho en n puntos
intersecta al eje de abcisas
distintos. As por ejemplo, el polinomio f (x) = (x + 1)(x 1)(x 2)(x 4) tiene 4 ceros
simples (multiplicidad 1), luego corta al eje OX en esos 4 puntos (Figura 20). El polinomio

Figura 20: La grca de f (x) = (x + 1)(x 1)(x 2)(x 4).

f (x) = (x + 1)(x 2)2 (x 4) tiene 2 ceros simples y un cero doble (multiplicidad 2).
Observa en su grca (Figura 21) la forma caracterstica de los ceros dobles. El polinomio
f (x) = (x + 1)(x2 4x + 5)(x 4) tiene 2 ceros reales simples y 2 ceros complejos conjugados.
Su grca est en la Figura 22.

2. Funciones racionales: Se trata de funciones que son cociente de dos polinomios:

p(x)
f (x) = , p, q polinomios
q(x)
y su dominio es el conjunto de nmeros reales para los que el denominador no se anula, es
decir, todo R excepto los ceros del polinomio q (a lo sumo tantos como el grado de q ). Cada

51
 Figura 21: La grca de f (x) = (x + 1)(x 2)2 (x 4).

Figura 22: La grca de f (x) = (x + 1)(x2 4x + 5)(x 4).

52
cero de q
(que no sea simultneamente cero de p) proporciona una asntota vertical en la
p(x) 1
grca de f (x) = . Por ejemplo, la grca de f (x) = tiene una asntota vertical en 0.
q(x) x

3. Funcin exponencial y funcin logaritmo

x
La funcin exponencial generaliza a las potencias enteras. Notar que 2 tiene sentido si x
5
5
es un natural (2 = 22222), o un entero (2 = 22222 ), o un racional (25/3 =
1
3
1
22222
).
x 0.101001000100001
Sin embargo, no est claro qu representa 2 si x es un irracional (como 2 2 ,
por ejemplo). Para dar sentido a estas potencias, tenemos que recurrir al concepto de lmite.

Teorema 34 x n

+
Dado x R, la sucesin 1+ n n=1
es convergente.

Demostracin: x n

+
Por el Teorema 11, basta ver que la sucesin {xn } = 1+ n n=1
es
creciente y acotada superiormente. Lo haremos slo para x > 0:
Para ver que es creciente, utilizamos la desigualdad A-G, que arma que la media aritmtica
de k 2 reales positivos es mayor o igual que su media geomtrica:

a1 + a2 + + ak
A= G = k a1 a2 ak .
k
x x
Si lo aplicamos a los n + 1 nmeros a1 = 1, a2 = 1+ , . . . , an+1 = 1+ , obtenemos que
n n
q
x n

1 + n(1+ nx ) n+1+x x  
G= n+1
1+ n
A= = =1+ = elevando a n + 1
n+1 n+1 n+1
n n+1
= 1 + nx 1 + n+1 x



= xn xn+1 para todo n.
P k
Para ver que est acotada superiormente utilizamos que la serie xk! es convergente (crite-
+
P xk
rio del cociente), luego podemos llamar A = . Desarrollando por el binomio de Newton,
k!
k=0
 x n x n(n 1) x2 n(n 1)(n 2) x3 xn
xn = 1 + =1+n + + + + =
n n 2! n2 3! n3 nn
n(n 1) x2 n(n 1)(n 2) x3 xn x2 x3 xn
=1+x+ + + + 1 + x + + + + < A,
n2 2! n3 3! nn 2! 3! n!
luego xn A para todo n. 

x n
Denicin 27 (Funcin exponencial)

Dado x R, llamamos exp(x) = lm 1 + .
n n
x n +


El anterior es el lmite de una sucesin, {xn } =n n=1
1+, es decir, x es una constante

m 1 + nx = 1 + 0 = 1, no es


y n recorre el conjunto de los naturales. Notar que, aunque l
n
correcto armar que

 x n  x  x  x
lm 1 + = lm 1 + 1+ 1 + = 1 1 1 1 = 1,
n n n n n n

53
pues el nmero de factores no es jo sino que depende de n (ver Nota 10, pgina 24). Slo si

n
tomamos x = 0 obtenemos exp(0) = l m 1 + n0 = 1. Si tomamos x = 1, se obtiene como
n
lmite el que llamamos nmero e:
 n
1
Denicin 28 (Nmero e) Llamamos e = exp(1) = lm 1 + .
n

El nmero e o constante de Euler es un nmero irracional de valor e = 2,718281828459046 .

La propiedad ms caracterstica de esta funcin exponencial es:

Teorema 35 (Exponencial de la suma) exp(x) exp(z) = exp(x+z) para todo x, z R.

Demostracin: Lo haremos slo para x, z > 0. Por denicin,

x n z n xz n x+z n
= lm 1 + x+z





exp(x) exp(z) = lm 1 + n
1+ n n
+ n 2 , exp(x+z) = l
m 1 + n
.
n n n


x+z xz n x+z n 


Pero la diferencia entre ambas sucesiones es  1 + + 1 + =

n n2 n
h i
n n n1
aplicando que A B = (A B)(A + An2 B + + AB n2 + B n1 )
   
 xz   x+z xz n1 x+z xz n2 x+z x+z n1 





=  n2   1 + n + n2 + 1 + n + n2 1 + n + + 1 + n 
       
 xz   x+z xz n1   xz   x+z xz n1  n



 n2  n 1 + n + n2  =  n   1 + n + n2  0 exp(x) exp(z) = 0,

luego ambas sucesiones tienen el mismo lmite: exp(x) exp(z) = exp(x + z). 

De la propiedad anterior se deducen:

1
exp(x) = exp(x)
, pues 1 = exp(0) = exp(x x) = exp(x) exp(x),
exp(x) 1
exp(z)
= exp(x) exp(z) = exp(x) exp(z) = exp(x z).

Si denotamos por ex = exp(x), las propiedades anteriores pueden escribirse como

ex
e0 = 1, ex ez = ex+z , ex = 1
ex
, ez
= exz
que son las propiedades habituales de las potencias de enteros.

La grca de f (x) = exp(x) est representada en la Figura 23(a). Observa que la funcin
f (x) = exp(x) es siempre positiva y montona creciente.

Denicin 29 (Funcin logaritmo) Como exp : R R+ es biyectiva, tiene inversa,

que llamamos funcin logaritmo (logaritmo natural, o neperiano, o en base e):

log : R+ R, y = log(x) x = exp(y).

54
Notar que la funcin logaritmo slo est denida para valores positivos y que, como inversa
de la exponencial, cumple que

log(exp(y)) = y, exp(log(x)) = x.
La grca de la funcin logaritmo es la simtrica de la grca de la funcin exponencial, y
estn representadas ambas en la Figura 23(b).

Figura 23: Grcas de la funcin y = exp(x) y de su inversa y = log(x)

A partir de las propiedades de la funcin exponencial, pueden probarse las propiedades

fundamentales de la funcin logaritmo:

Teorema 36 (Propiedades de la funcin logaritmo) Para todo x, z R+ , p Q,

(i) log(xz) = log(x) + log(z), (ii) log( xz ) = log(x) log(z), (iii) log(xp ) = p log(x).

Demostracin: (i) Llamemos u = log(x), v = log(z), si, y slo si, x = eu , z = ev .

u v u+v
Multiplicando, xz = e e = e (por la propiedad de la exponencial) y tomando logaritmos
tenemos que log(x z) = u + v = log(x) + log(z). 
De momento, en (iii) p tiene que ser un racional porque an no hemos denido xp para
cualquier p real (ver Denicin 30 y propiedades siguientes).

Nota 27 (Aplicacin de los logaritmos) El Teorema 36 indica la importancia de la fun-

cin logaritmo: transforma la operacin multiplicacin en suma, la divisin en resta y la
extracccin de races en divisin (y por lo tanto en resta). Histricamente, estas propiedades
se han utilizado para hacer clculos mediante las llamadas tablas logartmicas, que son
libros enteros con tablas en las que, para un gran nmero de valores x se proporciona el
valor de log(x). As, buscando x en la tabla podemos leer log(x) e, inversamente, buscando
un valor log(x) podemos leer el valor de x.

55
 Supongamos que queremos multiplicar dos reales x z . Buscamos x en la tabla y apun-
tamos log(x). Buscamos z en la tabla y apuntamos log(z). Sumamos estos dos valores,
log(x) + log(z) y obtenemos un valor que, por el Teorema 36(i), es igual a log(xz). Buscamos
este valor en la tabla y obtenemos xz . As, hemos multiplicado dos reales con tres bsquedas
en la tabla y una suma.
Para la divisin x/z , hacemos como antes cambiando la suma por la resta log(x) log(z),
y calculamos una divisin con tres bsquedas en la tabla y una resta.
1 log(x)
Para calcular, por ejemplo, x = x 19 , buscamos log(x) y hacemos la divisin
19
19
(esta
divisin puede hacerse con tres bsquedas en la tabla y una resta). El valor obtenido es igual
1 1
a log(x 19 ), y buscndolo en la tabla obtenemos x 19 . As, hemos calculado una raz 19 con
cinco busquedas en la tabla y una resta.
Hoy en da las tablas logartmicas de papel han sido sustituidas por calculadoras elec-
trnicas y ordenadores, que tienen tablas logartmicas en la memoria y realizan los clculos
complicados de un modo similar al anterior.

Con las funciones exponencial y logaritmo ya denidas (Deniciones 27 y 29), podemos

x
ahora denir cualquier potencia a (con base positiva).

Denicin 30 (Exponencial en base a) Dados a > 0, x R, se dene ax = ex log(a) .

n
As, que hemos denido ax como un lmite pues, por la Denicin 27, ax = lm 1 + x log(a)
n
.
n
Prueba que tambin cumple las propiedades habituales de las potencias:

ax az = ax+z ax / az = axz ax bx = (a b)x ax /bx = (a/b)x

log(ax ) = x log(a) (ax )z = axz ap/q = q ap
Las grcas de estas funciones pueden verse en la Figura 24a para distintos valores de a.

Denicin 31 (Logaritmo en base a) La funcin exponencial en base a 6= 1, f (x) = ax ,

es inyectiva, luego tiene inversa, que se llama logaritmo en base a, loga (x):

loga : R+ R, y = loga (x) x = ay .

Sin embargo, por la denicin de ay :

log(x)
y = loga (x) x = ay = ey log(a) log(x) = y log(a) y = ,
log(a)
luego los logaritmos en base a 6= 1 se obtienen con logaritmos neperianos del modo siguiente:
log(x)
loga (x) = , a, x > 0, a 6= 1.
log(a)
Las grcas de estas funciones pueden verse tambin en la Figura 24b. Prueba que la funcin
loga (x) tiene tambin las propiedades de log(x) enunciadas en el Teorema 36.

56
Figura 24: Grcas de las funciones 2x , ex , 4x y de las funciones log2 (x), log(x) y log10 (x)

En resumen las funciones exponenciales y logaritmos son:

x
 x n log(x)
e = lm 1 + y = log(x) x = ey ax = ex log(a) loga (x) =
n n log(a)

4. Funciones trigonomtricas:
Dado un nmero real x, se denen cos(x), sen(x) como las coordenadas del punto P de
la circunferencia unidad (ver Figura 25) tal que la longitud del arco de circunfencia que va
del punto Q = (1, 0) a P es x.

Figura 25: Denicin de cos(x) y de sen(x).

As por ejemplo, para x = 0 tenemos que P = (1, 0), luego cos(0) = 1, sen(0) = 0.

57

Para x= 2
tenemos que P = (0, 1), luego cos( ) = 0, sen( ) = 1. As, hemos denido las
2 2
funciones cos(x), sen(x) para todo real x, cuyas grcas aparecen en la Figura 26. Notar
que estas funciones son peridicas de perodo 2 pues los reales x y x + 2 proporcionan el
mismo punto P en la Figura 25.

Figura 26: Grcas de las funciones y = sen(x) e y = cos(x).

Como cada punto P = (cos(x), sen(x)) est en la circunferencia unidad, cumple su ecua-
cin, es decir,
sen2 (x) + cos2 (x) = 1 para todo x R.
Adems, hay una enorme cantidad de frmulas trigonomtricas, como por ejemplo:

sen(x) = sen(x) cos(x) = cos(x)

sen(x + z) = sen(x) cos(z) + cos(x) sen(z) cos(x + z) = cos(x) cos(z) sen(x) sen(z)
sen(2x) = 2 sen(x) cos(x) cos(x) = sen(x + 2 ) etc.

A partir de las funciones seno y coseno se denen la tangente y la cotangente:

sen(x) cos(x)
tg(x) = , cotg(x) = .
cos(x) sen(x)
Grcamente, el valor de la tangente de un real x se representa con la ayuda de la circun-
ferencia unidad como se indica en la Figura 27 (por semejanza de tringulos). La grca de
la funcin y = tg(x) est en la Figura 28.

58
Figura 27: Representacin de x, sen(x) y tg(x).

Figura 28: Grca de la funcin y = tg(x).

59
5. Funciones trigonomtricas inversas:
La funcin f (x) = sen(x) no es inyectiva en todo R, pero s lo es en ciertos intervalos. Por

ejemplo, la funcin f : [ , ] [1, 1], f (x) = sen(x), es una funcin biyectiva, luego
2 2
tiene inversa, que se llama arcoseno:

arc sen : [1, 1] 2 , 2 ,

 
y = arc sen(x) si, y slo si, x = sen(y)

y, del mismo modo, se denen el arcocoseno y el arcotangente:

 
arc cos : [1, 1] 0, , y = arc cos(x) si, y slo si, x = cos(y),

arc tg : R 2 , 2 , y = arc tg(x) si, y slo si, x = tg(y).

Las grcas de estas funciones inversas (la imagen simtrica a la grca de la funcin original
respecto de la bisectriz del primer cuadrante) estn en las Figuras 29 y 30.

Figura 29: Grcas de las funciones y = arc sen(x), y = arc cos(x).

60
 Figura 30: Grca de la funcin y = arc tg(x).

6. Funciones trigonomtricas hiperblicas:

Denicin 32 (Seno y coseno hiperblicos) Dado x R, llamamos

ex ex ex + ex
senh(x) = , cosh(x) = .
2 2

Figura 31: Grcas de las funciones y = senh(x) e y = cosh(x)

Nota 28 Se llaman seno y coseno hiperblicos (aunque son exponenciales) porque pueden
2 2
denirse a partir de la hiprbola unidad (de ecuacin x y = 1) del mismo modo que el
seno y coseno se denen con la circunferencia unidad. As, se cumple que

cosh2 (x) senh2 (x) = 1, x R, pues:

(ex + ex )2 (ex ex )2 1  2x 2x x x 2x 2x x x

= e +e + 2e e e e + 2e e = 1.
4 4 4

61
 Las grcas de las funciones senh(x) ycosh(x) estn en la Figura 31. Estas funciones
tienen propiedades que recuerdan a las de sen(x), cos(x):
senh(x) = senh(x) cosh(x) = cosh(x)
cosh(x) senh(x) = ex cosh(x) + senh(x) = ex
Concretamente la ltima recuerda a la frmula ex i = cos(x) + sen(x)i (ver Denicin 10).

A partir de las funciones seno y coseno hiperblicos se denen la tangente y la cotangente

hiperblicas, cuyas grcas estn en la Figura 32:

senh(x) ex ex cosh(x) ex + ex
tgh(x) = = x coth(x) = = x , x 6= 0,
cosh(x) e + ex senh(x) e ex

Figura 32: Grcas de las funciones y = tgh(x) e y = coth(x)

Como las funciones hiperblicas son exponenciales, sus inversas tienen que ser logaritmos.
Por ejemplo, como senh(x) es biyectiva en R (ver Figura 31), tiene funcin inversa, que se
llama argumento del seno hiperblico:


arg senh(x) = log x + x2 + 1 , x R.

7. Funciones denidas por SPs:

an x n
P
Como vimos en la Nota 24, toda SP tiene asociado un radio de convergencia R
an xn en, al menos, el intervalo abierto (R, +R) (ver
P
y dene una funcin suma f (x) =
Figura 33). Si la SP es convergente en x = R, x = R, o en ambos, la funcin suma esta
denida en los intervalos [R, R), (R, R] [R, R], respectivamente. Del mismo modo,
an (x a)n en el intervalo (a R, a + R) y,
P
toda SP(a) dene una funcin suma f (x) =
posiblemente, tambin en x = aR y en x = a+R.

62
 Figura 33: La funcin suma de una SP

2.2. Funciones de varias variables

2.2.1. Campos escalares

Hasta este momento hemos hablado de funciones de una variable, como por ejemplo,
f (x) = x2 , x es un nmero real, x R. Ahora queremos estudiar funciones
donde la variable
2 2
de varias variables, como por ejemplo f (x, y) = x + y , que tiene dos variables, x e y , que
2
son nmeros reales. En lugar de escribir x, y R, escribiremos que (x, y) R .

Del mismo modo que una funcin de una variable asigna un valor f (x) a cada punto x de
la recta, una funcin de dos variables asigna un valor f (x, y) a cada punto (x, y) del plano.
x2
Por ejemplo, as como f (x) = e puede representar la temperatura de un hilo en cada
punto x (en el punto x=0 la temperatura es f (0) = 1, en el punto x = 1 la temperatura
x2 y 2
es f (1) = 1/e, etc.), la funcin f (x, y) = e puede representar la temperatura de una
placa o supercie plana en cada punto (x, y) (en el punto (0, 0) la temperatura es f (0, 0) = 1,
en el punto (1, 0) la temperatura es f (1, 0) = 1/e, en el punto (1, 2) la temperatura es
5
f (1, 2) = e , etc.).

2 2
Tambin podemos considerar funciones de tres variables, como f (x, y, z) = x + y + xyz .
3 x y z 2
2 2
En este caso, escribimos que (x, y, z) R . Una funcin como f (x, y, z) = e puede
representar la temperatura cada punto (x, y, z) del espacio.

Una funcin con 4 variables puede ser f (x, y, z, t), f (u, v, w, s). En general,
o tambin
en funciones con n variables, tenemos que enumerar las variables, como en f (x1 , x2 , ..., xn ),
n
cuyas n variables son x1 , x2 , ..., xn y escribimos (x1 , x2 , ..., xn ) R .

Como ocurre con las funciones de una variable, una funcin de n variables puede estar
n
denida slo en un subconjunto D de R que llamamos dominio de la funcin:

Denicin 33 (Campo escalar) Llamamos funcin escalar (o campo escalar) de n va-

n
riables a cualquier regla de asignacin f : D R R tal que a cada (x1 , x2 , ..., xn ) D
le asocie f (x1 , x2 , ..., xn ) R:
f : D Rn R
(x1 , x2 , ..., xn ) f (x1 , x2 , ..., xn )
Al conjunto D sobre el que est denida se le llama dominio de f.

63
Ejemplo 31 f : [2, 2] [2, 2] R, f (x, y) = x2 + y2 es una funcin de dos variables
cuyo dominio es el cuadrado en el plano R2 de-
nido por los intervalos [2, 2] para la x y [2, 2]
para la variable y: Podemos dar valores a las va-
riables x e y dentro del dominio:

f (0, 0) = 0, f (1, 0) = 1, f (2, 1) = 5,

f (1, 1) = 2, f (2, 2) = 8, etc.

Representacin grca
Del mismo modo que una funcin de una variable se representa grcamente en el plano
2
R , tomando un eje para la variable x y otro para el valor de la funcin en cada punto x,
y = f (x), una funcin de dos variables se representa en el espacio R3 , tomando el plano XY
para las variables x, y y el eje Z para el valor de la funcin en cada punto (x, y), z = f (x, y),
2 2 2
como en la funcin f : [1, 1] [1, 1] R , f (x, y) = x + y (ver Figura 34).

Figura 34: Dominio y grca de la funcin f : [1, 1] [1, 1] R2 , f (x, y) = x2 + y 2 .

En general, las grcas de funciones de 2 variables son supercies en el espacio, como las
representadas en la Figura 35. Algunas grcas pueden ser ms complicadas, como las de la
Figura 36 en la que las ondas se deben a la funcin seno.

Este tipo de representacin grca no es posible para funciones de 3 o ms variables.

Por este motivo, muchos de los conceptos sobre funciones de varias variables los presentamos
para funciones de 2 variables y luego los generalizamos para funciones con n variables.

64
 2 y 2
Figura 35: Grcas de las funciones f (x, y) = ex y f (x, y) = x2 y 2 + 2xy + 1.

2 sen (2x2 + y 2 )
Figura 36: Grca de la funcin f (x, y) = .
1 + 2x2 + y 2

Otras representaciones grcas

Aunque las grcas anteriores en R3
son las ms utilizadas, una funcin de 2 variables
2
tambin puede representarse en el plano R , del modo siguiente. En cada punto (x, y) del
plano, representamos el valor del escalar f (x, y), como en la Figura 37a. Esta grca justica
el nombre de campo escalar que damos a las funciones f : D R2 R, pero no es
muy til. Si en ese campo escalar unimos por una lnea aquellos puntos (x, y) del plano que
tienen el mismo valor de f (x, y), obtenemos la grca de curvas de nivel de la Figura 37b.

Otra opcin, es representar con el mismo color los puntos (x, y) del plano que tienen
(aproximadamente) el mismo valor de f (x, y), como en los mapas meteorolgicos de temper-
turas (Figura 38a).

65
 Figura 37: El campo escalar f (x, y) = x2 + y 2 y sus curvas de nivel en R2 .

Figura 38: El mapa de temperaturas representa un campo escalar y el mapa de vientos un

campo vectorial.

2.2.2. Campos vectoriales

Del mismo modo que un campo escalar f : D R2 R asocia un valor escalar a

2 2
cada punto del plano (Figura 38a), un campo vectorial F : D R R (Figura 38b)
2
asocia un vector F (x, y) R a cada punto del plano (ver tambin la Figura 39). El vector
F (x, y) representa una cierta magnitud vectorial en cada punto (x, y) del plano.

Del mismo modo, una funcin F : D R3 R3 es un campo vectorial en R3 que

3
asocia a cada punto (x, y, z) del espacio un vector F (x, y, z) R que representa una una
cierta magnitud vectorial (ver Figura 40). En general,

66
Denicin 34 (Campo vectorial) Llamaremos funcin vectorial (o campo vectorial) de
n variables a cualquier F : D Rn Rn tal que a cada punto (x1 , x2 , ..., xn ) D le asocie
un vector F (x1 , x2 , ..., xn ) Rn .

Dado un campo vectorial, como por ejemplo F (x, y) = x+y , exp(x2 +y 2 ) en R2 , cada
2 2
una de sus componentes es una funcin escalar: F1 (x, y) = x + y, F2 (x, y) = exp(x + y ).
As, el estudio de las funciones de varias variables lo haremos, principalmente, para campos
o funciones escalares.

Figura 39: Representacin grca de un campo vectorial F (x, y) en R2 .

Figura 40: Representacin grca de un campo vectorial F (x, y, z) en R3 .

67
68
3. Lmites y continuidad de funciones

3.1. Lmites de funciones de una variable

Dada una funcin f : D R R, queremos denir el smbolo

lm f (x) =
x

con , R {, +}, de modo que, intuitivamente, signique que:

si x se acerca a (sin tocarlo) = f (x) se acerca a .

Empezamos con los lmites nitos, lm f (x) = b con a, b R. Para denirlo matemticamen-
xa
te, utilizaremos el concepto de sucesin convergente:

si una sucesin {xn } converge a a (xn 6= a) = la sucesin {f (xn )} converge a b.

Notar que necesitamos que la sucesin {xn } est en el dominio D, para que existan los f (xn ),
pero no necesitamos que a D , pues f (a) no interviene. Lo que necesitamos que cumpla a
es que existan sucesiones en D \ {a} que sean convergentes a a. Puede probarse que para
que a cumpla esto, es suciente que a sea punto de acumulacin de D (se demuestra con la
1
Denicin 6, pgina 6, tomando = ). As llegamos a la siguiente denicin:
n

Denicin 35 (Lmite funcional por sucesiones) Sea una funcin f : D R R, y

sea a un punto de acumulacin de D. Diremos que lm f (x) = b si (ver Figura 41):
xa

sucesin {xn } a, {xn } D \ {a} = la sucesin {f (xn )} b.

Figura 41: Representacin de la Denicin 35 de lmite funcional por sucesiones.

Notar que podemos estudiar el lm f (x) para todos los puntos a de acumulacin del
xa
dominio D de f y slo para stos. Adems de por sucesiones, existe otro modo de denir el

69
concepto de lmite funcional mediante entornos, y puede demostrarse que ambas deniciones
son equivalentes:

Denicin 36 (Lmite funcional por entornos) Sea una funcin f : D R R, y

sea a un punto de acumulacin de D. Diremos que lm f (x) = b si (ver Figura 42):
xa

>0 >0 : si |x a| < , x D \ {a} , = |f (x) b| < .

Nota 29 La expresin anterior signica que podemos conseguir que f (x) se aproxime a b
con un error menor que un valor siempre que x 6= a se aproxime a a con un error menor
que un cierto , como se indica en la Figura 42.

Figura 42: Representacin de la Denicin 36 de lmite funcional por entornos.

1, si x > 0
Ejemplo 32 Consideremos la funcin signo (Figura 16, pg. 48) sg (x) = 0, si x = 0
1, si x < 0

Veamos que no existe lm sg (x) (intuitivamente, porque cuando x se acerca a cero, sg(x)
x0
puede acercarse a +1 o a 1):

1 + 
Consideremos, por ejemplo, la sucesin
n n=1
, que es convergente a 0. La sucesin
+
sg( n1 ) n=1 = {1}+

n=1 es convergente a 1. Por lo tanto, si el lmite existe, debe valer 1.
 +
Consideremos ahora la sucesin 1
n n=1
, que tambin es convergente a cero. La sucesin
 1 + +
sg( n ) n=1 = {1}n=1 es convergente a 1. Por tanto, si el lmite existe, debe ser 1.
Como el lmite debe ser, simultaneamente, 1 y 1, obtenemos que no existe lm sg (x).
x0

Nota 30 En la denicin de lmite funcional cuando x a, el valor de la funcin en el

punto a no importa, como se ve en los siguientes ejemplos, representados en la Figura 43:

70
 Figura 43: Dos ejemplos de lmites funcionales.


1, si x (0, 1]
Sea f : [0, 1] R, f (x) = (Figura 43a).
2, si x=0
Claramente existe el lm f (x) = 1, aunque f (0) = 2 (cuando el lm f (x) coincida con f (a),
x0 xa
diremos que la funcin f es continua en a, pero eso es materia del Tema 3.2).

Sea f : (0, 1] R, f (x) = 1 (Figura 43b). En este caso, existe el lm f (x) = 1, aunque
x0
f (0) ni siquiera est denido.

Como consecuencia directa del Teorema 7 (lgebra de lmites de sucesiones, pgina 23),
obtenemos el teorema siguiente.

Teorema 37 (lgebra de lmites funcionales) Sean dos funciones f, g : D R R

y sea a un punto de acumulacin de D. Si lm f (x) = b, lm g(x) = c, entonces,
xa xa

(i) xa (ii) xa (iii) xa

 
lm f (x) + g(x) = b + c lm f (x)g(x) = bc lm |f (x)| = |b|

(iv) xa (v) xa
1
p
lm f (x) = 1b , si b 6= 0 y f (x) 6= 0 lm p f (x) = p b, si f (x) 0.

Demostracin: Veamos (i) por sucesiones. Dada una sucesin {xn } a, {xn } D \ {a}
cualquiera, tenemos que probar que la sucesin {f (xn ) + g(xn )} b + c.
Como lm f (x) = b, la sucesin {f (xn )} b. Como lm g (x) = c, la sucesin {g(xn )} c.
xa xa
Por el Teorema 7(i) del lgebra de sucesiones, la sucesin {f (xn ) + g(xn )} b + c. 

Como sucede con las sucesiones, tambin podemos plantearnos lmites funcionales
innitos, x
lm f (x) = , con , R {, +}. Tenemos 9 versiones de lmite funcional:

lm f (x) = b lm f (x) = b lm f (x) = b

xa x+ x
lm f (x) = + lm f (x) = + lm f (x) = +
xa x+ x
lm f (x) = lm f (x) = lm f (x) =
xa x+ x

71
Denicin 37 (Lmite funcional en la recta ampliada) Diremos que lm f (x) = ,
x
con , R {+, } , si:

sucesin {xn } , {xn } D \ {} = la sucesin {f (xn )} .

Ejemplo 33 lm sen(x).
Estudiar el
x+
Intuitivamente, ese lmite no existe pues cuando x tiende a +, la funcin seno se mantiene
oscilando en el intervalo [1, +1] (ver Figura 26, pgina 58). Para demostrarlo analticamen-
te, tomamos la sucesin siguiente, divergente a +:
 
xn = n 2 2 , 2 2 , 3 2 , 4 2 , . . . +
y resulta que la sucesin de sus imgenes es divergente:

 

sen(xn ) = sen n 2
1, 0, 1, 0, 1, 0, 1, 0, . . .

Cada uno de los 9 lmites anteriores pueden denirse tambin por entornos, como en
la Denicin 36 para el caso a, b R. Deduce la denicin por entornos para los casos
lm f (x) = b y lm f (x) = y compralos con las Deniciones 12 y 16(ii).
x+ x+

Clculo de lmites.

Veamos algunos ejemplos de clculo de lmites funcionales, as como la forma de resolver

algunas de las indeterminaciones que pueden presentarse:

lm (x3 2x + 1) = 8 + 4 + 1 = 3, lm (x3 2x + 1) = +1.

x2 x0

lm (x3 2x + 1) = +, lm (x3 2x + 1) = .
x+ x

x3 3x h i 1 x32
lm = dividiendo por x3 = lm = 1.
x+ x3 + 5x2 + x x+ 1 + x5 + x12
x3 3x h i x2 3
lm = dividiendo por x = l
m = 3.
x0 x3 + 5x2 + x x0 x2 + 5x + 1



1+x1 h i 1+x1 1+x+1
lm = multiplicando por el conjugado = lm
=
x0 x x0 x 1+x+1
1+x1 1 1
= lm
= lm = .
x0 x 1+x+1 x0 1+x+1 2

x2 4
 
(x 2) (x + 2) x+2 4
lm 2 = lm 2 = lm = = .
x2 (x 2) x2 (x 2) x2 (x 2) 0

0
   
La herramienta ms til para resolver indeterminaciones es la Regla de
0
L'Hpital que veremos cuando estudiemos derivadas (Teorema 54, pgina 103).

72
3.2. Continuidad de funciones de una variable

3.2.1. La idea de continuidad

La idea intuitiva de continuidad es que pequeos cambios en el valor de la variable, x,

producen cambios pequeos en el valor de la funcin, f (x).
Por ejemplo, sea f (x) el dinero que cuestan x litros de gasolina. Si 3 litros de gasolina
cuestan 4.2 euros, es decir, f (3) = 4.2, entonces 3.0002 litros, o bien 2.9999993 litros, cuestan
tambin cerca de 4.2 euros. sta es una funcin continua. Sea ahora g(x) el precio que cuesta
hablar 1 minuto por telfono, suponiendo que la tarifa es por minutos enteros. En este caso,
si hablar 1 minuto cuesta 20 cntimos, hablar 1 minuto y un segundo ya cuesta 40 cntimos.
sta no es una funcin continua. Observemos que esta funcin g no es continua en el punto
x = 1 (minutos), pero s lo es en otros muchos puntos como x = 0.6 (minutos). De este
modo, tenemos que hablar de funcin continua en un punto.

Un ejemplo tpico de funcin no continua es la funcin parte entera de x, f (x) = [x],
denida como
[x] = max{k Z | k x},
es decir,[x] es el mayor entero k tal que k x. Por ejemplo, [2.918364] = 2, [3] = 3,
[1.7621] = 2. La grca de esta funcin est en la Figura 44.

Figura 44: Grca de la funcin parte entera de x, f (x) = [x].

73
 Esta funcin f (x) = [x] no es continua en el punto a = 1 pues f (1) = 1 pero f (0.8) =
f (0.99) = f (0.99997) = 0. Sin embargo, s es continua en el punto a = 1.6 (por ejemplo).

3.2.2. La continuidad en un punto

Una funcin f es continua en un punto a si, cuando el valor de x se acerca a a, el valor de

f (x) se acerca a f (a). Esto recuerda a la idea de lmite funcional. Notar que ahora, adems
de que a sea punto de acumulacin de D , necesitamos que a D para que exista f (a).

Denicin 38 (Funcin continua) Sea una funcin f : D R R y sea aD un

punto de acumulacin de D. Diremos que f es continua ena si

lm f (x) = f (a).
xa

Si f es continua en todos los puntos a D, diremos que f es continua en D.

Nota 31 Sabemos por las Deniciones 35 y 36 que el lmite funcional

xa
lm f (x) = f (a)
podemos entenderlo por sucesiones o por entornos, es decir (ver Figura 45):

i) sucesin {xn } a, {xn } D = la sucesin {f (xn )} f (a),

 
ii) >0 >0: si |x a| < = f (x) f (a) < .

Figura 45: Denicin de continuidad por sucesiones y por entornos.

Visualmente, una funcin continua en un punto se representa como una lnea continua
alrededor de ese punto, como en la Figura 44 en el punto a = 1.6, mientras que si no es
continua, esa lnea aparece cortada, como en la Figura 44 alrededor del punto a = 1. Si una
funcin es continua en todo un intervalo D, entonces podemos decir que f puede dibujarse
en ese intervalo sin levantar el lpiz del papel. Sin embargo, estas ideas visuales no son
rigurosas (ver Nota 44), mientras que la Denicin 38 s lo es.

74
Nota 32 (Discontinuidades) Si f no es continua en un punto a, decimos que f tiene una
discontinuidad en a. Para clasicar las discontinuidades supongamos que a es punto interior
de D (Denicin 5, pgina 6) y denamos los lmites laterales:

Denicin 39 (Lmites laterales y tipos de discontinuidades) Si a es punto interior

de D llamamos lmites laterales a

A = lm f (x) = lm f (x) (lmite por la izquierda),

xa xa
x<a

B = lm+ f (x) = lm f (x) (lmite por la derecha),

xa xa
x>a
y decimos que a es una dicontinuidad

evitable, si A y B (nitos) y A = B 6= f (a),

de salto, si A y B (nitos) y A 6= B.

Ejemplo 34 La funcin funcin parte entera de x, f (x) = [x] (ver grca en Figura 44)
tiene una discontinuidad de salto en cada punto a entero.

Como hemos denido la continuidad a partir de los lmites funcionales, el siguiente Teo-
rema 39 se obtiene directamente del Teorema 37. En este y en otros teoremas posteriores es
necesaria la siguiente propiedad de las funciones continuas:

Teorema 38 Sea f : D R R continua en a D punto de acumulacin de D. Si

f (a) 6= 0 entonces existe un entorno (a , a + ) de a donde f no cambia de signo.

Demostracin: Supongamos, por ejemplo, que f (a) > 0. Tomando = f (a) 2

> 0 en la
denicin de continua por entornos, existe un > 0 tal que si |x a| < entonces
f (a)
f (x) f (a) > f (a) f (a) f (a)
 
f (x) f (a) < f (x) > f (a) = > 0.
2 2 2 2

As, si x (a , a + ), f (x) > 0 (mismo signo que f (a)). 

Teorema 39 (lgebra de funciones continuas) Sean f, g : D R funciones continuas

en aD punto de acumulacin de D. Entonces, tambin son continuas en a las funciones

f
(i) f + g (ii) f g (iii) |f | (iv) , si g(a) 6= 0 (v) p
f, si f 0.
g

Demostracin: Obvia, aplicando el Teorema 37. Por ejemplo, para demostrar (i),

h i h i
lm f (x)+g(x) = Teorema 37 = lm f (x)+ lm g(x) = f, g cont. en a = f (a)+g(a),
xa xa xa

que es la denicin de que f +g es continua en a (Denicin 38).

La diferencia entre este teorema y el Teorema 37 est en (iv), pues ahora no pedimos que
g(x) 6= 0, sino slo que g(a) 6= 0. Pero si g(a) 6= 0 y g es continua en a, por el Teorema 38
existe un entorno de a donde g(x) 6= 0. 

75
 Adems, otra operacin importante como es la composicin de funciones (ver Denicin
26, pgina 49) tambin conserva la continuidad:

Teorema 40 (Continuidad de la funcin compuesta) Sea el siguiente diagrama de

funciones compuestas, con a punto de acumulacin de D y f (a) punto de acumulacin de B ,
f g
DR - BR - R
a f (a) g(f (a)).
gf 6

Si f es continua en a y g es continua en f (a) entonces la funcin compuesta g f, es

continua en a.

Demostracin: la funcin g f ser continua en a (Denicin 38) si lm g (f (x)) = g(f (a)).

xa
Estudiemos este lmite por sucesiones: dada {xn } a cualquiera, como f es continua en a,
la sucesin {f (xn )} f (a), y como g es continua en f (a), la sucesin {g(f (xn ))} g(f (a)),
luego l
m g (f (x)) = g(f (a)). 
xa

Nota 33 (Funciones continuas conmutan con el paso al lmite) Puesto que una
funcin f : D R R a D si
es continua en
   
lm f (x) = f (a) = f lm x = lm f (x) = f lm x
xa xa xa xa

podemos decir que las funciones continuas son las que conmutan con el paso al lmite:

h i   h i
lm g f (x) = si g es continua = g lm f (x) = si f es continua = g(f (a)).
xa xa

Nota 34 (Continuidad de las funciones ms importantes) Puede probarse que:

Las funciones polinmicas son continuas en todo R (basta probar que las funciones
f (x) = cte y f (x) = x son continuas y aplicar el Teorema 39 (i) y (ii)).
p(x)
Una funcin racional, f (x) =
q(x)
, donde p y q son polinomios, es continua en todos

los puntos de R excepto los ceros del polinomio q (Teorema 39 (iv)).

Las funciones exponencial y logaritmo son continuas, exp(x) en todo R y log(x) en los
+
reales positivos, R .

Las funciones trigonomtricas son continuas, sen(x) y cos(x) en todo R y tg(x), cotg(x)
en ciertos intervalos.

f (x) = an xn , son continuas en (R, R).

P
Las funciones denidas como sumas de SPs,
Si, adems, una SP es convergente para x = R, el siguiente Teorema 41 de Abel arma
que su funcin suma f (x) es tambin continua en x = R (idem en x = R).

76
Teorema 41 (de Abel) an x n
P
fP: [0, R] R una funcin continua tal queP
Sea f (x) =
n n
para todo x [0, R). Si la serie an R es convergente entonces su suma es an R = f (R)
(ver Figura 46). Lo mismo ocurre con el intervalo [R, 0].

Figura 46: El Teorema de Abel

3.2.3. Clculo de lmites del tipo xa

lm f (x)g(x)

Del mismo modo que, si no hay indeterminacin, el lmite del producto es el producto
lm g(x)
m f (x)g(x) = lm f (x)xa , pues
de los lmites, tambin es cierto que l
xa xa
h i 
 h i
g(x)
lm f (x) = Denicin 30 = lm exp g(x) log(f (x)) = exp(x) es continua =
xa xa
   h i
= exp lm g(x) log(f (x)) = si no hay indeterminacin en el producto =
xa

 h i
= exp lm g(x) lm log(f (x)) = log(x) es continua =
xa xa
  h i
lm g(x)
= exp lm g(x) log(lm f (x)) = Denicin 30 = lm f (x)xa .
xa xa xa

2
Por ejemplo, lm (cos x + 4)x = (cos 0 + 4)0 = 50 = 1. Cundo es indeterminado un lmite
x0

de este tipo? Cuando el lmite del producto lm g(x) log(f (x) sea indeterminado, es decir,
xa
del tipo [0 ] [ 0], lo que ocurre cuando:

lm g(x) = 0 y lm f (x) = +, = indeterminacin del tipo [0 ] .

xa xa

lm g(x) = 0 y lm f (x) = 0 a, = indeterminacin del tipo [00 ] .

xa xa

lm g(x) = y lm f (x) = 1, = indeterminacin del tipo [1 ] .

xa xa

En estos casos, podemos tomar logaritmos para bajar el exponente, como en los ejemplos
siguientes:

77
   x1 h i
lm ex + x 0 , indeterminado . Tomamos logaritmos:
x+

  x1    x1  h i
x x
L = lm e +x = log(L) = log lm e +x = log(x) continua =
x+ x+

   x1  1 log(ex + x) h i
= lm log ex + x = lm log(ex + x) = lm = L'Hpital =
x+ x+ x x+ x
ex + 1 h i ex h i
= lm = L'Hpital = l
m = L'Hpital =
x+ ex + x x+ ex + 1
ex
= lm = 1. Por lo tanto, L = e1 = e.
x+ ex

h i
lm x log(x) 00 , indeterminado . Tomamos logaritmos:
x0

L = lm x log(x) = log(L) = lm log(x) = . Por lo tanto, L = e .
x0 x0 log(x)
x+1 h
x2 2
 i

lm 1 , indeterminado . Tomamos logaritmos:
x+ x2 + x + 1
x+1
x2 2 x2 2
  
L = lm = log(L) = lm (x + 1) log =
x+ x2 + x + 1 x+ x2 + x + 1

Nota 35 (Frmula de Euler) Para las indeterminaciones del tipo [1 ] , una alternativa
que suele ser ms sencilla es la frmula de Euler:


lm f (x)g(x) = exp lm g (x) f (x) 1 .
xa xa

Por ejemplo, en el lmite anterior:

x+1
x2 2 x2 2
   
lm = exp lm (x + 1) 1 =
x+ x2 + x + 1 x+ x2 + x + 1
 2
x 2 x2 x 1
    
x 3
= exp lm (x + 1) = exp lm (x + 1) =
x+ x2 + x + 1 x+ x2 + x + 1
  
(x + 1)(x 3) 1
= exp lm 2
= e1 = .
x+ x +x+1 e

Nota 36 (Justicacin de la Frmula de Euler) Supongamos que lm f (x) = 1

xa
pero

que f (x) 6= 1 y supongamos tambin que f es diferenciable.

  
Como lm f (x)g(x) = exp lm g(x) log(f (x)) , basta demostrar que
xa xa

lm g(x) log(f (x)) = lm g(x)(f (x) 1). Para ello, veamos que el lmite del cociente es 1:
xa xa

78
 f 0 (x)
g(x) log(f (x)) log(f (x)) h i
f (x) 1
lm = lm = L'Hpital = lm 0 = lm = 1.
xa g(x)(f (x) 1) xa f (x) 1 xa f (x) xa f (x)

Nota 37 (Si no es indeterminacin 1 ) Si un lmite no es una indeterminacin 1 no

 3 (x2 +3x2 1)
x 1
es correcto aplicar Euler. Por ejemplo, sea lm
x+ x3 + x5

Claramente el lmite de la base es 1. Calculemos el lmite del exponente:






 x2 + 3
x2 1 x2 + 3 + x2 1
lm x2 + 3 x2 1 = lm =
x+ x+ x2 + 3 + x2 1
(x2 + 3) (x2 1) 4 h 4 i
= lm = lm = = 0.
x+ x2 + 3 + x2 1 x+ x2 + 3 + x2 1 +
 3 (x2 +3x2 1)