Está en la página 1de 51

243101 Matemticas I

Grado en ingeniera en tecnologas de la


telecomunicacin
Apuntes de clase
Semestre de otoo del curso 2015-2016
Profesores:
Berta Garca Celayeta (teora y problemas)
Andrs Arrars Ventura (problemas)
rea de Matemtica aplicada
Departamento de Ingeniera matemtica e informtica
Universidad Pblica de Navarra
1 de septiembre de 2015

ndice general
1. Numeros reales, sucesiones y series numricas
1.1. El conjunto de los nmeros reales . . . . . . . . .
1.2. El mtodo de induccin . . . . . . . . . . . . . . .
1.3. Nmeros complejos . . . . . . . . . . . . . . . . . .
1.4. Sucesiones de nmeros reales . . . . . . . . . . . .
1.4.1. Definiciones y notacin . . . . . . . . . . .
1.4.2. Monotona . . . . . . . . . . . . . . . . . .
1.4.3. Acotacin . . . . . . . . . . . . . . . . . . .
1.4.4. Operaciones con sucesiones . . . . . . . .
1.4.5. Lmite de una sucesin . . . . . . . . . . .
1.5. Series de nmeros reales . . . . . . . . . . . . . . .
1.5.1. Definiciones y notacin . . . . . . . . . . .
1.5.2. Algunas series notables . . . . . . . . . . .
1.5.3. Resultados generales sobre convergencia .
1.5.4. Series de trminos positivos . . . . . . . .
1.5.5. Series de trminos cualesquiera . . . . . .
1.5.6. Otros criterios de convergencia . . . . . .
1.6. Anexo . . . . . . . . . . . . . . . . . . . . . . . . .
1.6.1. La raz cuadrada en R . . . . . . . . . . .
1.6.2. Producto cartesiano, aplicaciones . . . . .
1.6.3. La frmula ciclotmica . . . . . . . . . . .
1.6.4. El factorial y los nmeros combinatorios
1.6.5. Algunas frmulas . . . . . . . . . . . . . .
1.7. Ejercicios . . . . . . . . . . . . . . . . . . . . . . .

III

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

1
1
9
9
12
12
13
14
15
17
30
30
31
32
34
35
35
37
37
37
38
38
39
41

Tema 1
Numeros reales, sucesiones y series
numericas
Vamos a dedicar 8 horas de clase a este captulo. Debes resolver por tu cuenta los
ejercicios que no hayan sido resueltos en clase. No todos los ejercicios tienen la misma
dificultad. Para orientar tu trabajo, se han etiquetado Los ejercicios por niveles:
nivel 0: ejercicios de repaso de conceptos que se suponen conocidos,
niveles 1 a 3: grado de dificultad,
nivel extra: para ampliar conocimientos (no necesariamente son ms difciles).
Tambin es recomendable consultar [1], [2], [3].

1.1. El conjunto de los nmeros reales


Podemos construir R de forma intuitiva partiendo de un conjunto de nmeros muy
sencillo, el conjunto de los nmeros naturales, que responde a la idea primitiva de
contar.
Definicin 1.1.1. El conjunto de los nmeros naturales es
N = {1, 2, 3, . . .} .
Nota 1.1.2. Algunos autores consideran el cero como elemento de N. En estos apuntes,
cuando queramos incluir el cero pondremos N0 = N {0}.
Proposicin 1.1.3. Si dotamos al conjunto N de las operaciones internas suma (+) y
producto () habituales, entonces la terna (N, +, ) satisface las siguientes propiedades:
1

Numeros reales, sucesiones y series numricas

1. Propiedad conmutativa para la suma y el producto:


a + b = b + a,
a b = b a,

a, b N,
a, b N.

2. Propiedad asociativa para la suma y el producto:


(a + b) + c = a + (b + c),
(a b) c = a (b c),

a, b, c N,
a, b, c N.

3. Propiedad distributiva del producto con respecto a la suma:


a (b + c) = a b + a c,

a, b, c N.

4. En N0 , existencia de elemento neutro para la suma:


0 N0 tal que a + 0 = 0 + a = a,

a N0 .

5. Existencia de elemento neutro para el producto:


1 N tal que 1 0 y a 1 = 1 a = a,

a N.

6. Axiomas de orden. En el cojunto N, hay definida una relacin de orden total,


denotada , es decir un relacin que verifica las siguientes propiedades:
(a) Reflexividad: a a a N.
(b) Antisimetra: a, b N tales que a b y b a, se tiene que a = b.
(c) Transitividad: a, b, c N tales que a b y b c se tiene que a c.
(d) Totalidad: a, b N se tiene que a b b a.
7. Axiomas de compatibilidad.
(a) Compatibilidad de la relacin de orden total con la operacin suma: a, b, c
N se tiene que si a b entonces a + c b + c.
(b) Compatibilidad de la relacin de orden total con la operacin producto:
a, b, c N se tiene que si a b entonces a c b c.
Nota 1.1.4. A pesar de estas propiedades, el conjunto de los nmeros naturales presenta
bastantes carencias. Si bien ciertas ecuaciones como x+1 = 3 tienen solucin en N, otras
como x + 5 = 3 no tienen. La primera ampliacin del conjunto N nos lleva a considerar
los nmeros enteros.
Semestre de primavera, curso 2014/2015

1.1. El conjunto de los nmeros reales

Definicin 1.1.5. El conjunto de los nmeros enteros es


Z = {. . . , 3, 2, 1, 0, 1, 2, 3, . . .} .
La letra Z es la inicial de Zahl ("nmero" en alemn). Si dotamos a este conjunto de las
operaciones internas suma y producto anteriores, entonces la terna (Z, +, ) satisface
las propiedades (1-6) y adems:
8. Existencia de elemento opuesto (para la suma):
a Z, b Z tal que a + b = b + a = 0.
(b se denota habitualmente a).
9. En cuanto al axioma 7, la primera parte queda igual, pero la segunda parte
no: vamos a utilizar la siguiente notacin: a b significa b a. Con esto, la
compatibilidad de la relacin de orden total con la operacin producto, cambia
respecto de los naturales quedando ahora:
a, b, c Z con c 0 se tiene que si a b entonces a c b c.
Nota 1.1.6. Para el caso a, b, c Z con c 0 se tiene que si a b entonces a c b c.
Nota 1.1.7. La ecuacin x + 5 = 3 s tiene solucin en Z: x = 2. Pero sigue habiendo
ecuaciones, como 2 x = 1, que no la tienen.
Definicin 1.1.8. El conjunto de los nmeros racionales es
Q={

a
a, b Z , b 0 } .
b

a
a
c
de nmeros enteros se denomina fraccin. Dos fracciones
y
se
b
b
d
2 10
dicen equivalentes si ad = bc. Por ejemplo y
son equivalentes porque 215 = 310.
3 15
Todas las fracciones equivalentes a una dada corresponden al mismo nmero racional.
a
De todas ellas, se llama representacin irreducible o cannica a aquella de la forma
b
que satisface mcd{a, b} = 1. En tal caso se dice que a y b son primos entre s.
Cada cociente

Extendiendo adecuadamente las operaciones internas suma y producto anteriores al


conjunto de los nmeros racionales, se tiene que la terna (Q, +, ) satisface, adems de
las propiedades (1-9), la siguiente propiedad:
10. Existencia de elemento recproco o inverso (respecto al producto):
q Q tal que q 0, r Q tal que q r = r q = 1.
UPNA, grado en ingeniera en tecnologas de la telecomunicacin

Numeros reales, sucesiones y series numricas

Nota 1.1.9. Observa que la ecuacin 2 x = 1 ya puede resolverse en el conjunto de los


nmeros racionales: x = 1/2 Q. Este conjunto, con todas sus propiedades, todava
presenta algunas carencias. Sigue habiendo ecuaciones cuyas soluciones no estn en Q,
como, por ejemplo, x2 2 = 0 .
Proposicin 1.1.10. Las soluciones de la ecuacin x2 2 = 0 no son racionales.

2 / Q, 2 / Q
Acabamos de ver que hay nmeros que no son racionales, entre ellos las soluciones de la
ecuacin x2 2 = 0 . A continuacin definimos un nuevo conjunto de nmeros entre los
que se encuentran las soluciones de esta ecuacin. Dicho conjunto no es una extensin
de Q, sino su complemento. Recordemos la propiedad 17 de los nmeros racionales,
que deca que todo nmero racional puede escribirse en forma decimal con un nmero
de dgitos finito o infinito peridico.
Definicin 1.1.11. El conjunto de los nmeros irracionales es
I = { nmeros que en su forma decimal tienen un nmero
infinito de cifras no peridicas } .
De la definicin se deduce la imposibilidad de escribir exactamente estos nmeros en
forma decimal. En la figura 1.1 mostramos algunos de ellos.

2I
1

1 n
(1 + ) e I
n

Figura 1.1. Algunos irracionales


En la prctica se suelen utilizar aproximaciones racionales de estos nmeros. Para los
irracionales anteriores mostramos las siguientes aproximaciones:

2 1.414 ,
3.14159265359 ,
e 2.718281828459045235360287471352662497757 .
En el primer caso, la aproximacin se ha hecho hasta las milsimas; en los otros dos
casos, se ha cometido un error bastante menor.
Semestre de primavera, curso 2014/2015

1.1. El conjunto de los nmeros reales

Definicin 1.1.12. El conjunto de los nmeros reales es


R = Q I.
La unin anterior es disjunta, es decir, Q I = .
Nota 1.1.13. Entre los conjuntos de nmeros definidos en esta seccin se verifican los
siguientes contenidos
N Z Q R,

(1.1.a)

I R.

(1.1.b)

Los nmeros reales se representan en una recta, la recta real. Se fija un origen (elemento
neutro para la suma) y la unidad (elemento neutro para el producto), y a partir de ella
se sitan los naturales y los enteros.
0
...

-5

-4

-3

-2

-1

...

Para representar un nmero racional p/q, dividimos la unidad en q partes iguales y a


continuacin tomamos p trozos.
13
8

Algunos nmeros irracionales se pueden


representar fcilmente como la hipotenusa
de ciertos tringulos rectngulos.

La terna (R, +, ) verifica las propiedades 1-10. El elemento inverso de x R se denota


1
habitualmente x1 o .
x
Para enunciar el axioma del supremo es necesario dar dos definiciones previas, y es
conveniente introducir dos nuevos smbolos:
(Notacin) La expresin a < b significa que a b y que adems a b. La expresin
a > b significa que a b y que adems a b.
UPNA, grado en ingeniera en tecnologas de la telecomunicacin

Numeros reales, sucesiones y series numricas


(Definicin) Sea S R, se dice que S est acotado superiormente si K R tal
que x K x S. Se dice adems que K es una cota superior de S.
(Definicin) Sea S R y s R. Se dice que s es el supremo de S y se denota
s = supS si
s es una cota superior de S.
> 0x S tal que x > s . (Observemos que podemos interpretar lo
anterior como s no es cota superior de S, luego s es la menor de las
cotas superiores de S).

11. Axioma del supremo: Sea S R, S y acotado superiormente. Entonces existe


el supremo de S.
Nota 1.1.14. Observemos que de la definicin se deduce que el supremo de un conjunto,
si existe, es nico.
Definicin 1.1.15. Sea S R. Se dice que M R es el mximo de S y se denota
M = max S si
1. M es una cota superior de S
2. M S
Proposicin 1.1.16. Sea S R. Si existe M = max S, entonces M = supS.
Definicin 1.1.17. Sea S R, se dice que S est acotado inferiormente si l R tal
que x l x S. Se dice adems que l es una cota inferior de S.
Definicin 1.1.18. Sean S R y c R. Se dice que c es el nfimo de S y se denota
c = infS si
1. c es una cota inferior de S.
2. > 0x S tal que x < c + . (Observemos que podemos interpretar lo anterior
como c + no es cota inferior de S, luego c es la mayor de las cotas inferiores de
S).
Nota 1.1.19. Observemos que de la definicin se deduce que el nfimo de un conjunto,
si existe, es nico.
Definicin 1.1.20. Sea S R. Se dice que m R es el mnimo de S y se denota
m = mn S si
Semestre de primavera, curso 2014/2015

1.1. El conjunto de los nmeros reales

1. m es una cota inferior de S,


2. m S.
Proposicin 1.1.21. Sea S R. Si existe m = mn S, entonces m = infS.
Proposicin 1.1.22. Sea S R, S y acotado inferiormente. Entonces existe el
nfimo de S.
Definicin 1.1.23. Algunos subconjuntos notables de R que aparecern con frecuencia
a lo largo del curso son los intervalos. Dados a, b R , con a < b, definimos los siguientes
intervalos:
(a, b) = { x R a < x < b } ,

(a, +) = { x R a < x } ,

[a, b] = { x R a x b } ,

[a, +) = { x R a x } ,

(a, b] = { x R a < x b } ,

(, b] = { x R x b } ,

[a, b) = { x R a x < b } ,

(, b) = { x R x < b } .

Los intervalos (a, b) y [a, b] se llaman, respectivamente, intervalo abierto e intervalo


cerrado. Los intervalos (a, b] y [a, b) se llaman intervalos semiabiertos o semicerrados.
Ejemplo 1.1.24. Consideramos el conjunto A = (a, b]. Se tiene que max A = sup A = b,
nf A = a y no existe mn A.
Ejemplo 1.1.25. Consideramos el conjunto A = [a, b). Se tiene que sup A = b, no existe
max A, y mn A = nf A = a.
Ejercicio 1.1.26. Para el resto de intervalos, estudiar su acotacin y la existencia de
supremo, mximo, nfimo, mnimo.
Proposicin 1.1.27. Propiedades de los nmeros reales: sean x, y, z Rde las propiedades 1-10, se deduce:
1. Si x + y = z, entonces y = x + z
2. Si x y = z y x 0, entonces y = x1 z
3. Si x y = x z y x 0, entonces y = z
4. x 0 = 0
UPNA, grado en ingeniera en tecnologas de la telecomunicacin

Numeros reales, sucesiones y series numricas

5. Si x y = 0, entonces x = 0 y = 0
6. (1)x = x
7. (x + y) = x y
8. (x) = x
9. (1) (1) = 1
10. x (y) = (x) y = (x y)
11. (x) (y) = x y
12. Si x 0, entonces x 0, x1 0, (x)1 = x1 y (x1 )1 = x
13. x 0 si y slo si x 0
14. x2 0
15. 1 0
16. Entre dos nmeros racionales cualesquiera r1 y r2 existe siempre otro nmero
racional r3 .
17. Todo nmero racional puede escribirse en forma decimal con un nmero de dgitos
finito o infinito peridico.
18. Todo nmero decimal con un nmero de dgitos finito o infinito peridico, admite
p
una expresin de la forma con p, q Z y q 0, es decir, es un nmero racional.
q
Nota 1.1.28. En estos apuntes, si x > 0 e y R, definiremos xy = ey log x , donde log
representa el logaritmo neperiano.
Definicin 1.1.29. Dado x R, se define la parte entera de xcomo el mayor nmero
entero de entre los que son menores o iguales que x. Se denota [x].
Definicin 1.1.30. Dado x R, se define el valor absoluto de x como

x
x =

si
si

x0
x<0

Proposicin 1.1.31. Propiedades del valor absoluto: para todo x, y R, se tiene


1. x 0,
Semestre de primavera, curso 2014/2015

1.2. El mtodo de induccin

2. x = 0 x = 0,
3. x + y x + y ,
4. xy = x y ,
5.

x2 = x .

1.2. El mtodo de induccin


Una de las propiedades ms importantes de los nmeros naturales es el principio de
iduccin matemtica. Supongamos que P (m) significa que la propiedad P se cumple
para cierto nmero natural m. El principio de induccin matemtica afirma que P (n)
es cierta n N siempre que
1. P (1) es cierta.
2. Si P (k) es cierta, entonces P (k + 1) tambin lo es.

1.3. Nmeros complejos


La ecuacin x2 2 =
0 ya puede resolverse
en el conjunto de los nmeros reales, tiene

dos soluciones x1 = 2 R y x2 = 2 R . Sin embargo todava hay ecuaciones cuyas


soluciones no son reales, por ejemplo
x2 + 1 = 0 .
Para resolver este problema, se define un nuevo conjunto de nmeros que extiende a
R: el conjunto de los nmeros complejos.
En secciones anteriores hemos estudiado el conjunto R y sus propiedades. Hemos visto
que tiene ms propiedades que sus subconjuntos N, Z y Q. Sin embargo, tiene una
carencia importante y es que no toda ecuacin polinmica con coeficientes en R tiene
soluciones reales. El ejemplo ms sencillo es la ecuacin x2 + 1 = 0. Esto nos motiva a
buscar un superconjunto de R que, verifique la deseada propiedad de que toda ecuacin
polinmica con coeficientes en dicho superconjunto tenga solucin en l.
Definicin 1.3.1. Definimos el conjunto de los nmeros complejos como
C = {(x1 , x2 ) x1 , x2 R}
UPNA, grado en ingeniera en tecnologas de la telecomunicacin

10

Numeros reales, sucesiones y series numricas

en el que se definen las operaciones


+CC C
((x1 , x2 ), (y1 , y2 )) (x1 + y1 , x2 + y2 )
y
CC C
((x1 , x2 ), (y1 , y2 )) (x1 y1 x2 y2 , x1 y2 + x2 y1 )
Teorema 1.3.2. La terna (C, +, ) tiene las propiedades (1-5), 8,10,.
Demostracin.- Ejercicio.
Teorema 1.3.3. (C, +, ) es algebraicamente cerrado, es decir, toda ecuacin polinmica con coeficientes en C tiene solucin en C.
Teorema 1.3.4. En (C, +, ) no existe una relacin de orden total compatible con las
operaciones.
Nota 1.3.5. Si consideramos el subconjunto de C:
A = {(x1 , x2 ) C x2 = 0}
podemos identificar A con R, en el sentido de que las operaciones + y definidas en C
extienden las conocidas para R. A partir de ahora, podremos pues, escribir R C.
Nota 1.3.6. Del teorema 1.3.3 y de la nota 1.3.5 se deduce que toda ecuacin polifnica
con coeficientes en R tiene solucin en C.
Definicin 1.3.7. El nmero complejo (0, 1) se llama unidad imaginaria y suele denotarse por i.
Nota 1.3.8. Tenemos que i2 = 1.
Nota 1.3.9. Es habitual escribir el nmero complejo (x, y) como x + iy.
Definicin 1.3.10. Dado z = x + iy C se define el mdulo de z como el nmero real
z =

x2 + y 2 .

Nota 1.3.11. Si z C es, en particular, un nmero real, entonces el mdulo de z coincide


con el valor absoluto de z.
Semestre de primavera, curso 2014/2015

1.3. Nmeros complejos

11

Definicin 1.3.12. Dado z = x + iy C {0} se define el argumento principal de Z


como (, ] que verifica
1. x = z cos ,
2. y = z sen .
suele denotarse Argz.
Proposicin 1.3.13. Dados z = x + iy, z1 , z2 C, tenemos las siguientes propiedades
1. z 0.
2. z = 0 z = 0.
3. z1 z2 = z1 z2 .
4. z1 + z2 z1 + z2 .
Nota 1.3.14. El conjunto C suele representarse en el plano R2 .
Definicin 1.3.15. Dado z = x + iy C se define
ez = ex (cos y + iseny).
Nota 1.3.16. De la definicin anterior se deduce la frmula de Euler:
ei + 1 = 0,
que, como puedes ver, es muy popular
http://www.fotomat.es/ecuacion-de-euler/
Proposicin 1.3.17. Dados z, z1 , z2 C, se tienen las siguientes propiedades:
1. ez1 ez2 = ez1 +z2 .
2. ez 0.
3. Si x R, entonces eix = 1.
4. ez = 1 z = i2n con n Z.
5. ez1 = ez2 z1 z2 = i2n con n Z.
UPNA, grado en ingeniera en tecnologas de la telecomunicacin

12

Numeros reales, sucesiones y series numricas

Proposicin 1.3.18. Sea 0 z C, entonces z se puede expresar en la forma z = rei


con r = z y = Argz + 2n con n Z.
Nota 1.3.19. Debido a la proposicin anterior, si z1 , z2 C con z1 z2 0, podemos
calcular de manera ms sencilla z1 z2 y zz21 ya que
1. (r1 ei1 )(r2 ei2 ) = (r1 r2 )ei(1 +2 ) .
2.

r1 ei1 r1 i(1 2 )
= e
.
r2 ei2 r2

Proposicin 1.3.20. Sean m, n Z y z, z1 , z2 C, entonces


1. z n z m = z n+m .
2. (z1 z2 )n = z1n z2n .
Teorema 1.3.21. Sea 0 z C y n N, entonces existen n elementos en C: z0 , . . . , zn1
tales que zkn = z , k = 0, . . . , n 1. Adems
1

zk = z n eik
con
k =

Argz 2k
+
, k = 0, . . . , n 1.
n
n

1.4. Sucesiones de nmeros reales


1.4.1. Definiciones y notacin
Definicin 1.4.1. Una sucesin de nmeros reales es una aplicacin de N en R
a N R
n

a(n) = an .

Es decir, a cada nmero natural n, se le hace corresponder un nico nmero real an .


Abusando de lenguaje, tambin suele llamarse sucesin a la imagen de la aplicacin a,
es decir, al conjunto formado por todas las imgenes
(an )nN = {a0 , a1 , a2 , . . . , an , . . .} .
Semestre de primavera, curso 2014/2015

1.4. Sucesiones de nmeros reales

13

A la imagen an de un natural n arbitrario se le llama trmino general de la sucesin.


A los elementos del conjunto (an )nN se les llama trminos de la sucesin.
Una sucesin puede venir dada de dos formas diferentes, bien mediante su trmino
general an , o bien por recurrencia. En el segundo caso cada trmino se obtine a partir
del anterior (o anteriores) mediante una frmula recurrente.
Ejemplo 1.4.2. La sucesiones siguientes vienen dadas mediante el trmino general
an =

3 2n
, n N;
n

bn =

1
2n

n N0 ;

1 n
cn = (1 + ) , n N .
n

Estas otras, en cambio, se determinan por recurrencia

x =4

0
,

13
1

(x
+
)
x
=
n1
n

2
xn1

y0 = 1

y
=
2
y
n+1
n

z0 = 1

z1 = 1
.

zn = zn2 + zn1

Cuando una sucesin viene dada por recurrencia, para obtener el trmino n-simo
previamente hay que obtener todos los anteriores.
La sucesin zn fue estudiada por primera vez por Fibonacci de Pisa (1170-1250). Como
ejercicio obtn los 5 primeros trminos de esta sucesin.

1.4.2. Monotona
Definicin 1.4.3. Una sucesin de nmeros reales (an )nN se dice
creciente si an an+1 n N .
decreciente si an an+1 n N .
estrictamente creciente si an < an+1 n N .
estrictamente decreciente si an > an+1 n N .
Definicin 1.4.4. Una sucesin de nmeros reales se llama montona si es creciente
o decreciente. Si la sucesin es estrictamente creciente o decreciente, diremos que la
sucesin es estrictamente montona.
UPNA, grado en ingeniera en tecnologas de la telecomunicacin

14

Numeros reales, sucesiones y series numricas

Para estudiar la monotona de una sucesin debemos comparar dos trminos consecutivos cualesquiera, por ejemplo an y an+1 .Si

an+1 an

Creciente

>0

Estrictamente creciente

Decreciente

<0

Estrictamente decreciente

Sii los trminos de la sucesin son estrictamente positivos, podemos estudiar el cociente
de dos trminos consecutivos. Si

an+1
an

Creciente

>1

Estrictamente creciente

Decreciente

<1

Estrictamente decreciente

Ejemplo 1.4.5. Estudiemos la monotona de algunas de las sucesiones del ejemplo


1.4.2.
an+1 an =

3
(3 2(n + 1))n (3 2n)(n + 1)
=
< 0 , n N
n(n + 1)
n(n + 1)

y por tanto la sucesin (an )nN es estrctamente montona (decreciente). Para la sucesin yn observamos que todos los trminos son estrictamente positivos.
yn+1
= 2 > 1 , n N
yn
y por tanto la sucesin (yn )nN es estrctamente montona (creciente).
Ejercicio 1.4.6. Estudia la monotona del resto de sucesiones del ejemplo 1.4.2.

1.4.3. Acotacin
Definicin 1.4.7. Se dice que una sucesin de nmeros reales (an )nN est
acotada superiormente si
K R tal que an K

n N.

K se llama cota superior de la sucesin (an )nN .


Semestre de primavera, curso 2014/2015

1.4. Sucesiones de nmeros reales

15

acotada inferiormente si
l R tal que l an

n N.

l se llama cota inferior de la sucesin (an )nN .


acotada si
C R tal que an C

n N.

Proposicin 1.4.8. Una sucesin de nmeros reales (an )nN est acotada si y slo si
est acotada superior e inferiormente.
Ejemplo 1.4.9. Veamos que la sucesin (an )nN del ejemplo 1.4.2 est acotada. Segn
la proposicin anterior bastar con encontrar una cota superior y otra inferior. En el
ejemplo 1.4.5 hemos visto que esta sucesin es estrictamente decreciente, por tanto a1
es una cota superior (adems, la menor de todas). Veamos si l = 0 es una cota inferior :
0

3
3 2n
0 3 2n 2n 3 n .
n
2

La desigualdad n 3/2 no es vlida para todo nmero natural (de hecho slo se verifica
para n = 1), por tanto k2 = 0 no es una cota inferior. Probemos con un valor ms
pequeo, por ejemplo l = 5 :
5

3 2n
5n 3 2n 3n 3 n 1
n

La desigualdad n 1 es vlida para todo natural n, por tanto l = 5 es una cota


inferior.
Resumiendo:
5 an 1 n N ,
es decir, todos los trminos de la sucesin estn en el intervalo [5, 1].
Ejercicio 1.4.10. Para la sucesin del ejemplo anterior encontrar una cota inferior
mayor que 5 .

1.4.4. Operaciones con sucesiones


A continuacin definimos una serie de operaciones en el conjunto de las sucesiones de
tal manera que el resultado de la operacin sea una nueva sucesin de nmeros reales.
Definicin 1.4.11. Dadas dos sucesiones de nmeros reales (an )nN y (bn )nN , definimos
a partir de ellas las siguientes sucesiones:
UPNA, grado en ingeniera en tecnologas de la telecomunicacin

16

Numeros reales, sucesiones y series numricas

Sucesin suma
s N R
n s n = an + b n

(1.2)

(El trmino general de la sucesin suma se obtiene sumando los trminos generales
de las sucesiones an y bn ).
Ejemplo 1.4.12.
1
n+1

1 1
{1, , , . . .}
2 3

bn = n + 1

{1, 2, 3, . . .}

5 10
{2, , , . . .}
2 3

an =

sn =

n2 + 2n + 2
1
+n+1=
n+1
n+1

Sucesin producto
p N R
n p n = an b n
(El trmino general de la sucesin producto se obtiene multiplicando los trminos
generales de las sucesiones an y bn ).
Ejemplo 1.4.13.
an =

1
n+1

bn = n + 1
1
sn =
(n + 1) = 1
n+1

1 1
{1, , , . . .}
2 3

{1, 2, 3, . . .}

{1, 1, 1, . . .}

Sucesin producto por un escalar


a N R
n an
Es un caso particular del producto anterior, en el que una de las sucesiones es la
sucesin constante.
Sucesin cociente: si bn 0 n N:
c N R
n cn = an /bn
Semestre de primavera, curso 2014/2015

1.4. Sucesiones de nmeros reales

17

Ejemplo 1.4.14.
an = n2 + 1

{1, 2, 5, 10, 17, 26, . . .}

bn = 2n 6

{6, 4, 2, 0, 2, 4, . . .}

+1
2n 6

cn =

n2

1 1 5
17
, , , ? , , . . .}
6 2 2
2

Como b3 = 0, la sucesin cociente no est bien definida.


Otras operaciones
De la misma forma, imponiendo en cada caso las condiciones que sean necesarias,
podemos definir, entre otras, las siguientes sucesiones
S ian > 0 n N, podemos definir la sucesin (log an )nN
Sucesin exponencial de una dada: (ean )nN

Si an 0 n N , podemos definir la sucesin ( an )nN .

1.4.5. Lmite de una sucesin


Definicin 1.4.15. Decimos que una sucesin (an )nN tiene por lmite l R, o tiende
a l si para cualquier > 0 existe un nmero natural n0 de tal manera que an l < si
n n0 .
> 0 n0 N tal que an l < n n0
Suele escribirse
an l

lm an = l

n+

Nota 1.4.16. El nmero natural n0 depende de . Como an l < si y slo si l < an <
l + , de la definicin se deduce que a partir de an0 todos los trminos de la sucesin
estn en el intervalo (l , l + ).
l

l+

a
an0 n0 1

UPNA, grado en ingeniera en tecnologas de la telecomunicacin

18

Numeros reales, sucesiones y series numricas

Ejemplo 1.4.17. Utilizamos la definicin 1.4.15 para probar que


1 n
0 .
n
En efecto, dado > 0 arbitrario, para que an l = 1/n sea menor que basta con
que n sea mayor que 1/, lo que siempre es posible puesto que N no est acotado
superiormente.
1
1
< n> .
(1.3)
n

Por tanto para un > 0 arbitrario, el menor nmero natural que verifica (1.3) viene
dado por
1
n0 = [ ] + 1 .

Ejemplo 1.4.18. Demostrar mediante la defincin de lmite que


3 2n
= 2 .
n
n
En efecto, dado > 0 arbitrario, se tiene que
lm

an l =

3 2n
3
3
+ 2 = < n > .
n
n

Por tanto para el n0 buscado es

3
n0 = [ ] + 1

2n 3
es 2.
n+1
Definicin 1.4.20. Se dice que una sucesin (an )nN tiende a + si para cualquier
nmero real M existe un trmino de la sucesin an0 de tal manera que a partir de l
todos los trminos de la sucesin son mayores que M .
Ejercicio 1.4.19. Probar que el lmite de la sucesin an =

M R n0 N tal que an M

n n0

(n0 depende de M ). Se escribe an + lm an = +


n

n+

M
a3

a1

a2

...

an0

Se dice que la sucesin (an )nN tiende a si para cualquier nmero real l existe un
trmino de la sucesin an0 de tal manera que a partir de l todos los trminos de la
sucesin son menores que l.
l R n0 (M ) N tal que an M

n n0

(n0 depende de l). Se escribe an lm an =


n

n+

Semestre de primavera, curso 2014/2015

1.4. Sucesiones de nmeros reales

19

M
an0

...

a2

a1

a3

Ejemplo 1.4.21. Demostrar mediante la defincin que


lm 2n = + .
n

En efecto, dado M R, se tiene que


2n M n > log2 M
Por tanto el n0 buscado es
n0 = [log2 M ] + 1
Ejercicio 1.4.22. Demostrar que el lmite de la sucesin an = 1 2n es .
Definicin 1.4.23. Una sucesin (an )nN se dice
Convergente si lm an = l R
n

Divergente si lm an = + ()
n

Oscilante si / lm an
n

Ejemplo 1.4.24. La sucesin an = 32n


es convergente pues su lmite es 2, como
n
hemos visto en el ejemplo 1.4.18. La sucesin bn = 2n es divergente (a +) ya que su
lmite no es real. La sucesin cn = (1)n es oscilante puesto que no tiene lmite.
Proposicin 1.4.25. Si una sucesin es convergente, entonces est acotada.
(an )nN convergente

(an )nN acotada

Proposicin 1.4.26. (Unicidad del lmte)


Si una sucesin tiene lmite, entonces dicho lmite es nico.
Demostracin. Vamos a ver solamente el caso de que la sucesin tiene dos lmites,
l1 , l2 R con l1 < l2 . Por reduccin al absurdo: Para = (l2 l1 )/2, por ser el lmite l1 ,
todos los trminos de la sucesin estn en el intervalo (l1 , l1 + ) salvo a lo sumo un
nmero finito de ellos.
Para el mismo anterior, por ser el lmite l2 , todos los trminos de la sucesin estn
en el intervalo (l2 , l2 + ) salvo a lo sumo un nmero finito de ellos.
UPNA, grado en ingeniera en tecnologas de la telecomunicacin

20

Numeros reales, sucesiones y series numricas


l1

l2

l1

l2 +

)(

l1 +l2
2

Pero esto no puede ser puesto que los intervalos (l1 , l1 + ) y (l2 , l2 + ) son
disjuntos.
De manera anloga se demostraran el resto de casos.
Proposicin 1.4.27. Si una sucesin es montona y acotada, entonces es convergente.

(an )nN montona y acotada

(an )nN convergente

lgebra de lmites
En esta seccin se pretende resolver el siguiente problema. Supongamos que tenemos
dos sucesiones (an )nN y (bn )nN con lmites conocidos l y l respectivamente. En la
seccin 1.4.4 hemos definido algunas operaciones con sucesiones. La cuestin es qu
se puede decir del lmite de la sucesin (cn )nN resultado de operar con (an )nN con
(bn )nN ? ser igual al resultado de operar l con l ?
(cn )nN = (an )nN (bn )nN

lm cn = l l ?
n

Desafortunadamente la pregunta no siempre tiene respuesta afirmativa; si la tuviera


no sera necesaria la ltima seccin del captulo. En esta seccin contestaremos a la
pregunta para las operaciones definidas en la seccin 1.4.4. La respuesta se ha resumido
en forma las tablas 1.4.5-1.4.5. Cuando no sea posible responder pondremos el smbolo
I (indeterminacin). En tales casos habr que calcular el lmite utilizando tcnicas
concretas para cada caso, como veremos en la seccin 1.4.5.
A continuacin desarrollamos, a modo de ejemplo, los casos suma y de dos sucesiones
y exponencial de una sucesin. En los dems casos nos hemos limitado a mostrar los
resultados en las tablas correspondientes.
Proposicin 1.4.28. Dadas dos sucesiones (an )nN y (bn )nN con lmites l y l respectivamente, se tienen los siguientes resultados para el lmite de la sucesin suma (sn )nN
Semestre de primavera, curso 2014/2015

1.4. Sucesiones de nmeros reales

21

definida en (1.2)
1. Si

l, l R

2. Si

lR y

3. Si

lR y

4. Si

l = + y

5. Si

l = y

entonces

sn l + l R

l = +

entonces

sn +

l =

entonces

sn

l = +

entonces

sn +

l =

entonces

sn

Demostracin. Probaremos slo el primer caso, el resto se deja como ejercicio para el
alumno.
Sea > 0, tenemos que probar que existe n0 N de tal manera que para todo n n0 se
tiene an + bn (l + l ) < .
Como an l R, para /2 existe n1 N tal que para todo n n1 se tiene que
an l < /2 .

(1.4)

Anlogamente, como bn l R, para /2 existe n2 N tal que para todo n n2 se


tiene que
bn l < /2 .
(1.5)
Si tomamos n0 = max(n1 , n2 ), entonces para todo n n0 se verifican simultneamente
(1.4) y (1.5), por lo que podemos poner
an + bn (l + l ) an l + bn l < /2 + /2 = , n n0 .
El resto de combinaciones da lugar a casos indeterminados (ver tabla 1.4.5).
Proposicin 1.4.29. Sea la sucesin (an )nN . Entonces
1. Si lm an = l R, entonces lm ean = el
n+

n+

2. Si lm an = +, entonces lm ean = +
n+

n+

3. Si lm an = , entonces lm ean = 0
n+

n+

Nota 1.4.30. Cuando en la tabla 1.4.5 nos encontremos con la indeterminacin 1


usaremos la expresin xy = ey ogx y la proposicin 1.4.29.
Para el resto de operaciones entre sucesiones, nos limitamos a mostrar las tablas correspondientes (1.4.5-1.4.5).
UPNA, grado en ingeniera en tecnologas de la telecomunicacin

22

Numeros reales, sucesiones y series numricas

an
bn

lR

l R

l + l

Tabla 1.1. Lmite de la suma (an + bn )

lR
l>0

lR
l<0

bn

an

l R, l > 0

l l

l l

l R, l < 0

l l

l l

Tabla 1.2. Lmite del producto (an bn )

Semestre de primavera, curso 2014/2015

1.4. Sucesiones de nmeros reales

an =/ 0

1/an

l R, l =/ 0
0

an > 0

1/an

an < 0

1/an

l R, l =/ 0

1/l

l R, l =/ 0

1/l

1/l

0
0

Tabla 1.3. Lmite para la inversa 1/an

lR
l>0

lR
l<0

bn

an

l R, l > 0

l/l

l/l

l R, l < 0

l/l

l/l

Tabla 1.4. Lmite para el cociente an /bn , bn 0

UPNA, grado en ingeniera en tecnologas de la telecomunicacin

23

24

Numeros reales, sucesiones y series numricas

an

lR
l<0

bn

lR
l>0

l R, l > 0

l/l

l/l

Tabla 1.5. Lmite para el cociente an /bn , bn > 0

lR
l>0

lR
l<0

bn

an

l R, l < 0

l/l

l/l

Tabla 1.6. Lmite para el cociente an /bn , bn < 0

an > 0

log an

l R, l > 0

log l

Tabla 1.7. Lmite para el logaritmo log an , an > 0


Semestre de primavera, curso 2014/2015

1.4. Sucesiones de nmeros reales

Tabla 1.8. Lmite para la exponencial an , > 0


an

lR

0<<1

>1

an

lR

l>0

r>0

lr

r<0

lr

Tabla 1.9. Lmite para la potencial arn , an > 0

an

lR
0<l<1

lR
l>1

l R, l < 0

ll

ll

l R, l > 0

ll

ll

bn

Tabla 1.10. Lmite para la potencial-exponencial abnn , an > 0


UPNA, grado en ingeniera en tecnologas de la telecomunicacin

25

26

Numeros reales, sucesiones y series numricas

A continuacin mostramos algunos ejemplos correspondientes a indeterminaciones de


las tablas anteriores. Veremos cmo el resultado del lmite cambia en los diferentes
casos.
Ejemplo 1.4.31. En cada caso se ha considerado una sucesin an + y una sucesin
bn +. Veamos qu ocurre con el lmite de la suma:
1. an = n2 , bn = 1 n2 y an + bn = 1 1 R .
2. an = n2 , bn = n n2 y an + bn = n + .
3. an = n2 , bn = n n2 y an + bn = n .
4. an = n + cos(n) , bn = n y an + bn = cos(n) = (1)n , que no tiene lmite.
Ejemplo 1.4.32. En cada caso se ha considerado una sucesin an 0 y una sucesin
bn +. Veamos qu ocurre con el lmite del producto:
1. an =

1
1
, b n = n + 1 y an b n =
0.
2
(n + 1)
n+1

2. an =

1
, bn = (n + 1)2 y an bn = n + 1 + .
n+1

3. an =

1
, bn = (n + 1)2 y an bn = (n + 1) .
n+1

Ejercicio 1.4.33. Encotrar para cada caso dos sucesiones an 0 y bn 0 tales que
para la sucesin cociente se verifique
1. an /bn 1 .
2. an /bn + .
3. an /bn 0 .
4. / lm

an
.
bn

Clculo de lmites
No hay un procedimiento general para resolver los casos indeterminados vistos en la
seccin anterior. La forma de proceder depende de cada caso particular. A continuacin
damos una serie de criterios que pueden resultar tiles para resolver algunos casos de
indeterminacin.
Semestre de primavera, curso 2014/2015

1.4. Sucesiones de nmeros reales

27

Proposicin 1.4.34. (Regla del sndwich)


Sean (an )nN y (bn )nN dos sucesiones con el mismo lmite l (real o infinito). Sea otra
sucesin (cn )nN . Si se verifica que
an c n b n
a partir de cierto n0 N, entonces la sucesin (cn )nN tambin tiene el mismo lmite l
(real o infinito).
Nota 1.4.35. De la regla del sndwich se deduce inmediatamente que si (an )nN es una
sucesin acotada y bn 0, entonces an bn 0.
Ejemplo 1.4.36. Utilizamos la regla del sndwich para calcular el lmite de la sucesin
1
1
+ ... +
.
an =
n2 + 1
n2 + n
Observa que lm an = I . Sean n y n las sucesiones dadas por
n
n =
=
n2 + n

1
1

+ ... +
.
n2 + n
n2 + n

(1.6)

n
=
n = 1 =
n2

1
1
+ ... + .
2
n
n2

(1.7)

Comparando trmino a trmino se puede comprobar fcilmente que n an n n


N. Como lm n = lm n = 1 , se tiene que lm an = 1 .
Proposicin 1.4.37. (Criterio de la raz por el cociente)
Sea (an )nN una sucesin de nmeros reales con an 0 para todo n N. Entonces
lm

an+1
= l lm n an = l
an

(l real o infinito) .

Ejemplo 1.4.38.
lm
n

1
1/n
n
n = lm n = lm e n log n
n

y tenemos una indeterminacin en el cociente

an+1
n+1
lm
= lm
= 1 lm n n = 1 .
n
n
n
an
n
Definicin 1.4.39. Dos sucesiones (an )nN y (bn )nN se dicen equivalentes si
lm
n

an
= 1.
bn

En tal caso se denota an bn .


UPNA, grado en ingeniera en tecnologas de la telecomunicacin

28

Numeros reales, sucesiones y series numricas

Ejemplo 1.4.40. Las sucesiones an = n2 y bn = n2 + 1 son equivalentes puesto que


n2
= 1.
n2 + 1

lm
n

Nota 1.4.41. Las equivalencias son de aplicacin directa al clculo de lmites en expresiones en las que intervengan productos. Supongamos, por ejemplo an bn , y tenemos
que calcular
lm an cn ,
n

podemos utilizar equivalencias del siguiente modo


lm an cn = lm
n

an
bn cn = lm bn cn
n
bn

ya que

an
= 1.
bn
Esto ser de utilidad cuando la expresin bn cn sea ms sencilla (desde el punto de vista
del clculo de lmites) que an bn . De manera anloga se puede proceder en expresiones
en las que intervengan cocientes.
lm
n

Nota 1.4.42. Observemos que si an bn puede ocurrir


lm(an + cn ) lm(bn + cn ),
n

como puede verse en el siguiente ejemplo.


Ejemplo 1.4.43. Sean
an = n2 + n,
bn = n 2 ,
cn = n2 ,
Tenemos que an bn , sin embargo
lm(an + cn ) = +
n

y lm(bn + cn ) = 0.
n

En la tabla 1.11 mostramos algunas de las equivalencias ms empleadas en el clculo


de lmites (los ngulos estn expresados en radianes).
Definicin 1.4.44. Sean (an )nN y (bn )nN dos sucesiones tales que an + y bn
+ . Se dice que an es mucho menor que bn , y se denota an bn , si
lm
n

an
= 0.
bn
Semestre de primavera, curso 2014/2015

1.4. Sucesiones de nmeros reales

29

an 0
1
(1 + an )
1 an
sen an an tg an arc sen an arctg an
1 cos(an )

(an )2
2

log(1 + an ) an
ean 1 an
Otras equivalencias

Si a0 0,

a0 nk + a1 nk1 + . . . + ak a0 nk

log(nk + a1 nk1 + . . . + ak ) k log n

n! nn en 2n

(Stirling)

Tabla 1.11. Algunas equivalencias para sucesiones


Ocurre que para n suficientemente grande, los trminos de la sucesin (bn )nN son grandes respecto a los de (an )nN , sin importar lo que ocurra para los primeros trminos.
Ejemplo 1.4.45. La sucesin an = n + 50000 es mucho menor que bn = n2
n + 50000 n2 ,
puesto que
lm
n

an
n + 50000
= lm
= 0.
n
bn
n2

Proposicin 1.4.46. (rdenes de infinitud)


Sea (an )nN una sucesin de nmeros reales tal que an > 0 para todo n N y tal que an
+. Sean a, p, q, k N con a > 1 y p, q, k > 0. Se verifican las siguientes desigualdades
(log an )p (an )q aan (an )k an .
Comprueba, usando la tabla correspondiente, que las cuatro sucesiones que aparecen
en las desigualdades de la proposcin son infinitos1 .
1

Cuando el trmino general de una sucesin tiende a +, se suele decir que la sucesin es un
infinito.

UPNA, grado en ingeniera en tecnologas de la telecomunicacin

30

Numeros reales, sucesiones y series numricas

Ejercicio 1.4.47. Utilizamos la proposicin anterior para resolver el siguiente caso de


indeterminacin
log2 n + 1 +

lm
=
= I.
n
+
n
Para ello dividimos numerador y denominador por el infinito de mayor orden, obteniendo
log2 n

+ 1n
log2 n + 1
n

= lm
= 0,
lm
n
n
1
n
puesto que

log2 n n .

1.5. Series de nmeros reales


1.5.1. Definiciones y notacin
Definicin 1.5.1. Dada una sucesin de nmeros reales (an )nN definimos a partir de
ella otra sucesin, (Sn )nN , llamada sucesin de sumas parciales de la siguiente manera
n

Sn = ak .
k=1

Definicin 1.5.2. Sea una sucesin de nmeros reales (an )nN , y sea (Sn )nN la sucesin
de sus sumas parciales, se llama serie nmeros reales y se denota
+

ak .

(1.8)

lm Sn ,

(1.9)

k=1

a
n

cuando exista.
Nota 1.5.3. Por extensin, la palabra "serie" y la expresin 1.8 tambin hacen referencia
a la sucesin de sumas parciales (Sn )nN .
Nota 1.5.4. Las expresiones "estudiar el carcter de una serie" o "estudiar la convergencia de una serie" quieren decir estudiar la existencia del lmite (1.9). La expresin
"sumar una serie" quiere decir calcular el lmite (1.9), cuando sea finito.
Ejemplo 1.5.5. Consideramos la serie
1
1 1 1
1
= 1 + + + + ... + n + ...
n
2 4 8
2
n=0 2
+

Veremos un poco ms adelante la sucesin de sumas parciales Sn es convergente.


Semestre de primavera, curso 2014/2015

1.5. Series de nmeros reales

31

Definicin 1.5.6. Diremos que una serie de nmeros reales es convergente si la sucesin formada por las sumas parciales Sn es convergente. La serie se dice divergente si
la sucesin Sn es divergente. En otro caso diremos que la serie es oscilante.
Ejemplo 1.5.7.
1
es convergente y su suma es 2.
n
n=0 2
+

1. La serie

2. La serie 2n es divergente.
n=0
+

3. La serie (1)n es oscilante.


n=0

1.5.2. Algunas series notables


La serie geomtrica
Dado r R, se define la serie geomtrica de razn r como
+

rn .

(1.10)

n=0

Proposicin 1.5.8. La serie geomtrica 1.10 converge si y slo si r < 1 .


Demostracin. Para obtener una expresin del trmino general de la sucesin de sumas
parciales Sn , restamos Sn y r Sn
n

Sn = rk = 1 + r + r2 + . . . + rn

(1.11)

k=0
n

r Sn = rk+1 = r + r2 + . . . + rn + rn+1
k=0

con lo que

Sn r Sn = 1 rn+1 .

(1.12)

Distinguimos ahora varios casos


r = 1 En este caso, de 1.11 se obtiene que Sn = (n + 1), y por tanto lm Sn = +
r 1 De 1.12 tenemos

1 rn+1
.
1r
Calculamos el lmite de esta sucesin, en funcin de los valores de r .
Sn =

UPNA, grado en ingeniera en tecnologas de la telecomunicacin

32

Numeros reales, sucesiones y series numricas


1 < r < 1 En este caso la serie converge ya que
lm Sn =

n+

1
R.
1r

r > 1 La serie diverge ya que lmn Sn = +


r 1 En este caso, la sucesin Sn no tiene lmite, y por tanto, la serie es
oscilante.
Por tanto, la serie es convergente si y slo si r < 1 . Observa que, no slo hemos demostrado el enunciado, sino que, adems, cuando la serie es convergente hemos calculado
su suma
1
.
S=
1r
La serie armnica
Definicin 1.5.9. La serie

1
n=1 n

(1.13)

se llama serie armnica. y la serie

1
r
n=1 n
+

se llama serie armnica generalizada.


Proposicin 1.5.10. La serie armnica generalizada
1
r
n=1 n
+

converge si y slo si r > 1.

1.5.3. Resultados generales sobre convergencia


Proposicin 1.5.11. Las series
+

an

n=1

an

n=n0

tienen el mismo carcter.


Semestre de primavera, curso 2014/2015

1.5. Series de nmeros reales

33

Nota 1.5.12. Teniendo en cuenta la proposicin 1.5.11, cuando slo nos interese el
carcter de una serie, escribiremos
an
en vez de

an

n=n0
+

Ejemplo 1.5.13. La serie

n=0

1
1
es geomtrica de razn r = , luego convergente. Por
n
2
2

1
tanto, la serie n tambin es convergente. La suma de una y de la otra no coinciden,
n=3 2
ya que
+
7 1
1 + 1
n = n (a0 + a1 + a2 ) = 2 = .
4 4
n=3 2
n=0 2
+

Proposicin 1.5.14. Las series


an

an

con R {0} tienen el mismo carcter . Adems, en caso de que sean convergentes,
se tiene que
+

n=n0

n=n0

an = an .

Proposicin 1.5.15. Si dos series an y bn son convergentes, entonces la serie


(an + bn ) tambin es convergente. En tal caso, se tiene que
+

n=n0

n=n0

n=n0

(an + bn ) = an + bn .

Ejemplo 1.5.16. Las series

n=0

1
2n

n=0

1
son convergentes. Por tanto, la serie
3n

1
1
( n + n ) tambin es convergente y su suma es
3
n=0 2

n=0

1
1
1
1
3 7
+
)
=
+
=2+ = .

n
n
n
n
2
3
2 2
n=0 2
n=0 3

El recproco a la proposicin 1.5.15 no es cierto. En efecto, la serie 0 es convergente


1
1
(su suma es cero), mientras que las series
y
no convergen.
n
n
Proposicin 1.5.17. (Condicin necesaria para la convergencia)
an convergente

lm an = 0
n

UPNA, grado en ingeniera en tecnologas de la telecomunicacin

34

Numeros reales, sucesiones y series numricas

1.5.4. Series de trminos positivos


Observa que si (an )nn verifica an 0 n n0 entonces la sucesin de sumas parciales
(Sn )nN es creciente (n n0 ), y por tanto, la serie no puede ser oscilante.
Criterio de comparacin
Sean an y bn dos series tales que 0 an bn n n0 . Se tiene que
bn convergente an convergente.
Nota 1.5.18. Del criterio de comparacin se deduce que si an y bn son dos series
tales que 0 an bn n n0 , entonces
an divergene bn divergente.
1
es convergente pues se verifica
+1
1
1
n , n N,
n
2 +1 2
1
1
y n es una serie geomtrica de razn r = .
2
2
Ejemplo 1.5.19. La serie

2n

Criterio de comparacin en el lmite


Sean an y bn con an 0, bn > 0 n n0 y tales que
an
lm
= l,
con
l R (l 0) .
n bn
Entonces

an converge bn converge.

En particular, si an bn , las series an y bn tendrn el mismo carcter.


3
Ejemplo 1.5.20. Para determinar el carcter de la serie
, la comparamos con
n+2
1
la serie , cuyo carcter es conocido
n
lm
n

con lo que

3
n+2
1
n

= 3 R (l 0) .

3
es divergente.
n+2
Semestre de primavera, curso 2014/2015

1.5. Series de nmeros reales

35

1.5.5. Series de trminos cualesquiera


Definicin 1.5.21. Una serie an se dice absolutamente convergente si an es
convergente.
Proposicin 1.5.22. Si una serie an es absolutamente convergente, entonces es
convergente
cos n
Ejemplo 1.5.23. Determinar el carcter de la serie 2 .
n
No es una serie de trminos positivos, as que estudiamos la convergencia absoluta, es
cos n
decir, la convergencia de la serie 2 , esta s, de trminos positivos. Para ello
n
usamos el criterio de comparacin
1
cos n
2 2.
n
n
1
cos n
La serie 2 es convergente. As, la serie 2 es convergente y, por tanto, la
n
n
cos n
serie 2 es absolutamente convergente luego convergente.
n
Definicin 1.5.24. Una serie an se llama alternada si an = (1)n xn con xn
0, n n0 o si an = (1)n+1 xn con xn 0, n n0 .
Criterio de Leibnitz
Sea an = (1)n xn con x1 x2 . . . xn . . . 0 y lm xn = 0. Entonces, la serie an es
convergente.
(1)n
es convergente. Efectivamente, se verifican las
Ejemplo 1.5.25. La serie
n
condiciones para aplicar el criterio de Leibnitz: an = (1)n xn con xn = n1 sucesin
decreciente hacia cero.

1.5.6. Otros criterios de convergencia


Criterio de la raz

Dada la series an , con lm

an = l, se tiene que

l > 1 an

no converge.

l < 1 an converge absolutamente.


UPNA, grado en ingeniera en tecnologas de la telecomunicacin

36

Numeros reales, sucesiones y series numricas

Criterio del cociente

Sea an tal que an 0 n n0 y sea l = lm aan+1


, entonces
n

l > 1 an no converge.
l < 1 an

converge absolutamente.

Criterio de Raabe

(A aplicar cuando ya hemos aplicado el criterio del cociente o de la raz y l = 1)


Dada an , sea
l = lm n (1
n

entonces

an+1
),
an

l > 1 an converge absolutamente.


l < 1 an no converge.

Semestre de primavera, curso 2014/2015

1.6. Anexo

37

1.6. Anexo
1.6.1. La raz cuadrada en R
Definicin 1.6.1. Sea a R, a 0, se define la raz cuadrada de a, como el nmero

b R, b 0 tal que b2 = a. b se denota a .


Nota 1.6.2. La ecuacin x2 = 0 tiene una solucin en R: 0. Si a R, a > 0, la ecuacin

x2 = a tiene dos soluciones: a y a.

En la medida de lo posible, evitaremos la notacin a, pues suele dar lugar a confusin.

1.6.2. Producto cartesiano, aplicaciones


Definicin 1.6.3. Dados dos conjuntos A y B se definen
el producto cartesiano de A y B, como el conjunto
A B = {(a, b) a A, b B}
una aplicacin entre A y B, como una ley que asocia a cada elemento de A uno
y slo un elemento de B. Suele denotarse
f AB
a b.
El elemento b suele denotarse f (a). b se llama imagen de a, y a se llama antiimagen
de b.
Observemos que en una aplicacin, fijado a A, su imagen b siempre existe y es nica,
pero, dado b B, no siempre existe su antiimagen, y si existe, no es necesariamente
nica.
Nota 1.6.4. Una aplicacin entre A y B puede verse como un subconjunto de A B.
Definicin 1.6.5. Una aplicacin f A B se dice
Inyectiva si, para todo a1 , a2 A tales que a1 a2 , se tiene f (a1 ) f (a2 ).
UPNA, grado en ingeniera en tecnologas de la telecomunicacin

38

Numeros reales, sucesiones y series numricas

Suprayectiva si todo elemento de B tiene antiimagen.


Biyectiva si es a la vez inyectiva y suprayectiva.

1.6.3. La frmula ciclotmica


La siguiente frmula puede resultar til para el clculo de algunos lmites
an bn = (a b)(an1 + an2 b + . . . + abn2 + bn1 ) .

(1.14)

Esta frmula se obtiene sin ms que efectuar la divisin (an bn )/(ab) . A continuacin
mostramos la frmula (1.14) en los casos particulares n = 2 y n = 3 .
n=2

a2 b2 = (a b)(a + b) ,

n=3

a3 b3 = (a b)(a2 + ab + b2 ) .

Ejemplo 1.6.6.

3
lm ( n3 + an2 n) = + = I .

Para poder aplicar la frmula (1.14) en el caso n = 3, multiplicamos numerador y


denominador por el factor (a2 + ab + b2 )

3
3 + an2 )2 + 3 n3 + an2 n + n2

(n
3
3
n3 + an2 n = ( n3 + an2 n)

3
3
(n3 + an2 )2 + n3 + an2 n + n2
n/ +an2 n/
a
n
.

3
3
(n3 + an2 )2 + n3 + an2 n + n2
3

(1.14)

1.6.4. El factorial y los nmeros combinatorios


Definicin 1.6.7. Sea n N {0}, se define el factorial de n como

1
n! =

n(n 1)!

si n = 0
si n 1.

Definicin 1.6.8. Sean n, p N {0}, p n, se define el nmero combinatorio n sobre


p como
n
n!
( ) =
p
p!(n p)!
Nota 1.6.9. Si tenemos un conjunto con n elementos distintos y elegimos p elementos
(sin considerar el orden de eleccin), entonces hay (np) maneras distintas de hacer esta
eleccin.
Semestre de primavera, curso 2014/2015

1.6. Anexo

39

1.6.5. Algunas frmulas


Propiedades del seno y del coseno
Sean , R, se tiene
1. cos2 + sen2 = 1.
2. sen( + ) = sen cos + cos sen .
3. cos(a b) = cos a cos b sen a sen b.

+
cos
,
2
2
+

sen sen = 2 cos


sen
,
2
2

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

cos cos = 2 sen


sen
.
2
2
sen + sen = 2 sen

4.

Propiedades del logaritmo


Sean x, y (0, +), entonces:
1.

log(x y) = log x + log y,

2.

log x = log x ,

3.

log

( R),

1
= log x.
x

Otra notacin posible: ln x. Salvo expresa indicacin en contra, todos los logaritmos
sern neperianos.
Razones trigonomtricas hiperblicas
Definicin 1.6.10. Sea x R, se definen
seno hiperblico: Sh x =

ex ex
2

coseno hiperblico: Ch x =

ex + ex
2

Propiedades Sean x, y R, se tiene


UPNA, grado en ingeniera en tecnologas de la telecomunicacin

40

Numeros reales, sucesiones y series numricas

1. Ch2 x senh2 x = 1
2. senh(x + y) = senh x Ch y + Ch x senh y
3. Ch(x + y) = Ch x Ch y + senh x senh y

Semestre de primavera, curso 2014/2015

1.7. Ejercicios

41

1.7. Ejercicios
El conjunto de los nmeros reales
1. (nivel 2) Demuestra la desigualdad triangular:
x + y x + y,

x, y R.

Ayuda considera los tres casos distintos posibles


(caso 1: x, y 0, caso 2: x 0, y < 0, caso 3: x, y < 0).
2. (nivel 2) Con la ayuda del problema 1, demuestra la desigualdad triangular inversa:
x y x y x, y R.
3. (nivel 1) Un estudiante hizo un "descubrimiento": 1 = 0. Su "razonamiento" fue:
Tomo x = 1. Se tiene
x=1

x2 = x

x+1=1

x2 1 = x 1

(x 1)(x + 1) = x 1

x = 0.

Por tanto, 1 = 0.
Encuentra el error (o errores) que cometi este estudiante.
4. (nivel 2) Resuelve las siguientes ecuaciones:
(a)
(b)
(c)
(d)
(e)

2x 3 = 5
2x 3 = x + 1
2x + 3 = x + 1
3 x x + 2 = 5
x 2 + x 1 = x 3

5. (nivel 3) Resuelve la siguientes inecuaciones, expresando el resultado mediante


uniones de intervalos:
(a)
(b)
(c)
(d)
(e)

5 x1 < 1
x2 2 1
x < x2 12 < 4x
x 5 < x + 1
x2 7 x + 12 > x2 7 x + 12

Mtodo de induccin
6. (nivel 2) Demostrar por induccin:
UPNA, grado en ingeniera en tecnologas de la telecomunicacin

42

Numeros reales, sucesiones y series numricas


(a) 1 + 2 + + n =

n(n + 1)
2

(b) 1 + 3 + + (2n 1) = n2
(c) 12 + 22 + + n2 =

n(n + 1)(2n + 1)
6

(d) 2n > n

(e) 34n + 9 es mltiplo de 10


1 xn
(f) 1+x+x2 +. . .+xn1 =
x 1
1x
(g) 2n + n3 es mltiplo de 3
(h) 13 + . . . + n3 = (1 + . . . + n)2
(i) 3n5 + 5n3 + 7n es mltiplo de 15

Nmeros complejos
7. (nivel 1) En cada caso, expresa nmero complejo z en la forma a + bi y calcula su
mdulo y su argumento principal
(a) z = (1 + i)2
(b) z = (1 + i)3
1+i
1i
3 + i
(d) z =
2 2i
(c) z =

(e) z = i5 + i16
1+i
(f) z =
2(1 + i8 )

(g) z = e 2 i

1 e2i
(h) z =

1 + e2i

8. (nivel 2) Representa en el plano complejo C los siguientes conjuntos


(a) {z C 2z + 3 1}

(c) {z C ez = 1}

(b) {z C z + i = z i}

(d) {z C z < 2z + 1}

Sucesiones de nmeros reales


9. (nivel 2) Estudiar la monotona y la acotacin de las siguientes sucesiones (n 1):
(a) an = (1)n 2n
3n 1
(b)
2n + 2
(c) an = 2n
3
(d)
2n + 1

(e) (1)n
(f)

1
2n

3
an =

si n es impar
si n es par

10. (nivel 0) Calcular los lmites de las sucesiones cuyo trmino general es el siguiente:
(a)

5n3 + 2n 6
4n4 5n3 + 9

n2 1
(b)
n4 + 2n 1

Semestre de primavera, curso 2014/2015

1.7. Ejercicios
(c)
(d)
(e)
(f)
(g)

9n2 + 3n + 5
3n2 16n 13
2n 4
( n
)
e +4
3n + 2n
3n 2n
3n2 + 8n 10 8n+1
)
( 2
7n 10n + 2

3n + 2 2n 2

n
7n4 + 5n 1
(h) ( 4
)
2n 5n2 + 3n 2

(i) (n

43

n2 1)

n
(j)

n+ n+ n
(k)

3
3
n3 + an2 n3 an2

(l) (4n + 3) log


2 1

(m)

n+1
n1

4n2 1 (2n 1)

11. (nivel 2) Calcular los lmites de las sucesiones cuyo trmino general es el siguiente:
(a) (n log n)
1
1 2
n1 2
(b) ((a + ) + . . . + (a +
))
n
n
n
1 n
(c) (1 2 )
n
n2 + 2
n + 1 n 3
(d) (
)
n1
log nn
(e)
log n!
1
(f) (2n + 3n ) n
(g)

(np)
np

, pR

1
log (a + ) log a
n
, aR
(h)
1
n

n
n!
(i)
n
2 +10

5n4 3n + 1 5n
)
(j) (
5n4 + 8n
1
3
1 log
n
(k) ( )
n

2n (n!)2 n
(l)
(2n + 1)!

12. (nivel 3) Para cada una de las sucesiones, demostrar que tiene lmite y calcularlo.
(a)

(b)

u1 = 1,

un+1 = 2 + un .

v1 = 2,

v
2vn .

n+1 =

13. (nivel 3) Definimos la sucesin (xn )nN como

x1 = 4,

1
17

xn+1 = (xn + )

2
xn

UPNA, grado en ingeniera en tecnologas de la telecomunicacin

44

Numeros reales, sucesiones y series numricas


Si suponemos que la sucesin es convergente, calcula su lmite Cul sera el
lmite si x1 = 10?

14. (nivel 3) Sea la sucesin (xn )nN demostrar que:


lm (x1 + . . . + xn ) = l R lm xn = 0

n+

n+

Series de nmeros reales


15. (nivel 3) Dada la sucesin de nmeros reales (an )nN definida por

a1 = 1,

an

an+1 = ,

n
(a) Demostrar que es convergente.
(b) Calcular su lmite.

(c) Determinar el carcter de la serie (1)n an .


n=1

(1)n
. Estimar el valor absoluto
n+1
n=1 n3
la diferencia entre esta suma y la suma de la serie.
+

16. (nivel 2) Hallar la suma parcial s3 de la serie

17. (nivel 2) Determinar la convergencia de las siguientes series y sumar las tres
ltimas.
1
n
n=1 13

+
n
(a)
n+1
n=1

+
n+1
(b)
n+8
n=1

(d)

23n+4
2n+5
n=1 3
+

(e)

2n+1
n2
n=1 3

3
n=1 5 + 5n

(c)

(f)
+

n=1

n=1

n=1

18. (nivel 2) Dar un ejemplo de dos series an y bn tales que (an +bn ) converja,
+

n=1

n=1

mientras an diverja y bn tambin diverja.


Calcular 1 + 2 + 4 + 8 + . . . Por qu no es igual a
+

19. (nivel 1) Demostrar que (1 +


n=1

1
= 1?
12

1
) diverge.
2n
Semestre de primavera, curso 2014/2015

1.7. Ejercicios

45

20. (nivel 2) Determinar, mediante el criterio de comparacin, la convergencia de las


series cuyo trmino general es el siguiente
8
6n 1
8
(f)
5 + 7n
3
(g)
2+n

1
1
2
(b) n
4 3
cos(n)
(c)
3n 1
(1)n
(d) n
4 +1
(a)

(e)

3n

2n 1
.
n
n=1 5 + 1
+

21. (nivel 3) Hallar con un error menor que 0.01 la suma

22. (nivel 2) Determinar la convergencia y la convergencia absoluta de las series cuyo


trmino general es el siguiente
3
4n + 2
4 n
(b) ( n
)
2 +3
1
(c) n
2 + 3n

3+n
(d)
4n

(e) en

(a)

n n
)
n+2
1
(g)
n
(f) (

(h)

(1)n
8n + 2

23. (nivel 2) Usando el criterio del cociente determinar si convergen las siguientes
series

+ 3 n
+
+
+
n3
3n
2n2 + n!
2 n
(b) 5
(c)
(d)
(a) n
n=1 n + 3n!
n=1 n!
n=1 2 n
n=1 3
24. (nivel 2) Utilizando el criterio de comparacin, determinar si convergen las series
de trmino general
(a)

cos n
n2

(b)

sen n
n3/2

(c)

n
+4

n2

(d)

n
+4

n3

25. (nivel 2) Utilizando el criterio de la raz, determinar el carcter de las series con
trmino general
(a)

3n
nn

(b)

nn
2n

(c)

2n
n3

(d)

n2
2n

26. (nivel 3) Determinar el carcter de las series cuyo trmino general es

UPNA, grado en ingeniera en tecnologas de la telecomunicacin

46

Numeros reales, sucesiones y series numricas


(a)
(b)
(c)
(d)
(e)
(f)

sen4 n
n2
1

n 32
n2
2
(cos
)
n
n!
nn
nn
n!
n
cos2n (
)
2n + 4

n+1
(g) (
)
n

n3

(h)
(i)
(j)
(k)
(l)
(m)

1
n2
2
1 n n
(1 + ) e
n
1
1
sen cos
n
n
n
2
2 + 5n
3n
2
n +1
con a 0
nan

3
n

(n + 1) n
n

1
(n) ( )
n

1
n+ n

()
(o)
(p)
(q)
(r)
(s)
(t)

1
n(n + 1)(n + 2)
n2 n
a
n!
n+1
log(
)
n
(a + 1)(a + 2) . . . (a + n)
n!
2
1+n
n!
1 + sen3 n
nn
1

3
n( n + n n n)

27. (nivel 2) Sumar las siguientes series


2n 5n
n
n=1 10

+
n
2n + 3
(e)
n=1 (n + 1)(n + 2)(n + 3)
n=2 (n 1)n(n + 2)
+
n!
(d)
n=1 (n + 2)!
+

(c)

(a)

1
n=1 n(n + 1)(n + 2)
+

(b)

28. (nivel 2) Justificar si son ciertas o falsas las siguientes afirmaciones


+

(a) Si an 0 , entonces an converge.


n=1
+

(b) Toda serie geomtrica rn converge.


n=1

1
= 1.
n
n=1 2
(d) Con el criterio del cociente se determina la convergencia de cualquier serie.
+

(c)

(e) Una serie que converge tambin debe converger absolutamente.


+

k=1

k=1

(f) Si 0 an arn , r < 1 , entonces ak ak


+

a rn+1
.
1r
+

(g) La convergencia de (an + an+1 ) implica la convergencia de an .


n=1

n=1

1
1
=
, entonces
=
.
4
4
90
1440
n=1 n
n=1 (2n)
+

(h) Si

+
1 2
1
2
=
,
se
tiene
que
=
.

2
2
6
8
n=1 n
n=1 (2n 1)
+

(i) Si

Semestre de primavera, curso 2014/2015

Bibliografa
[1] R. A. Adams. Clculo. Editorial Addison Wesley, Madrid, 2009.
[2] A. Garca y otros. Clculo I. Teora y problemas de Anlisis Matemtico en
una variable. Editorial CLAGSA, Madrid, 1993.
[3] B. Garca, I. Higueras, T. Roldn. Anlisis matemtico y mtodos numricos. Universidad Pblica de Navarra (2 edicin revisada), 2007.
[4] J. L. Lpez. lgebra lineal. Universidad Pblica de Navarra, 2007.

47