I.N.S.P.T. U.T.N.

Anlisis Matemtico I
Prof. Lic. Cozzani, Mario

1
Lmite Funcional
Intervalos Entornos Puntos de acumulacin Sucesiones Lmites El
nmero e

1. Intervalos y entornos en el eje real. Puntos de acumulacin.

1.1. Entre el conjunto de los nmeros reales y el conjunto de los puntos de una recta se puede
establecer una aplicacin biyectiva, de tal manera que a cada nmero real le corresponde un
punto, y slo uno; y a cada punto le corresponde un nmero real y slo uno. Para hacer efectiva
esa correspondencia, sobre una recta dada se fijan tres elementos: el origen, que es el punto que
corresponde al nmero 0, la unidad de medida y el sentido positivo.





En estas condiciones, la recta considerada se denomina eje real o eje de abscisas.
En virtud de las consideraciones precedentes, los trminos: nmeros y punto se usarn
indistintamente.

1.2. Si o y b son dos nmeros reales tales que o < b, llamamos intervalo cerrado ah, al
siguiente conjunto:
|o, b] = {xxeR o x b]
o y b son los extremos del intervalo y pertenecen al mismo.




1.3. Si o y b son dos nmeros reales tales que o < b, llamamos intervalo abierto ah, al siguiente
conjunto:
(o, b) = {xxeR o < x < b] o y b son los extremos del intervalo y no pertenecen al
mismo.
0 1 2 3
0 1 a b
X
I.N.S.P.T. U.T.N. Anlisis Matemtico I
Prof. Lic. Cozzani, Mario

2
El nmero: |o - b| = b - o se denomina amplitud o longitud del intervalo cerrado |o, b] o del
intervalo abierto (o, b); y tambin distancia entre o y b.

1.4. Si x
0
es un nmero real cualquiera, llamamos entorno de x
0
, de radio o > u, al siguiente
intervalo abierto: (x
0
- o, x
0
+ o)




El punto x
0
equidista de los extremos del entorno.


1.5. Decimos que un punto x
0
es un punto de acumulacin de un conjunto si, y slo si, en todo
entorno de x
0
existe un punto, al menos, distinto de x
0
, que pertenece al conjunto.








Como consecuencia resulta que si x
0
es un punto de acumulacin de un conjunto, en todo entorno
de x
0
existen infinitos puntos, que pertenecen al conjunto.
Un punto de acumulacin de un conjunto puede pertenecer o no al conjunto.
Por ejemplo, en un intervalo cerrado, todos los puntos son puntos de acumulacin del conjunto,
que pertenecen al conjunto.
En un intervalo abierto, todos los puntos son puntos de acumulacin del conjunto, que pertenecen
al conjunto; y los extremos, son puntos de acumulacin del conjunto, que no pertenecern al
conjunto.
0 1 x
0
-o x
0

x
0
+o
X
x
0

E
1

E
2

E
3

E
4

I.N.S.P.T. U.T.N. Anlisis Matemtico I
Prof. Lic. Cozzani, Mario

3
En ambos ejemplos, los puntos de acumulacin del conjunto son infinitos. Pero existen conjuntos
con un nmero finito de puntos de acumulacin, en particular, con uno solo; y conjuntos que
carecen de ellos.


2. Conjuntos numerables y sucesiones infinitas. Sucesiones de lmite finito, montonas,
acotadas y de lmite infinito.

2.1. Designamos al conjunto de los nmeros naturales.
= {1 , 2 , S , ]
Decimos que un conjunto A es numerable si y slo si, existe una aplicacin biyectiva, al menos, de
sobre A.
Por ejemplo:
= {1 , 2 , S , ]
A = {2 , 4 ,6 , ]

2.2. Dado un conjunto E, llamamos sucesin infinita, o simplemente, sucesin, a toda aplicacin
de sobre E.
Por ejemplo, la aplicacin definida anteriormente.
Esa aplicacin es biyectiva, es decir, inyectiva y sobreyectiva.
El conjunto de valores de la aplicacin es infinito.
En algn caso puede ocurrir que la aplicacin que define la sucesin no sea inyectiva.
Por ejemplo:
= {1 , 2 , S , 4 , ]
B = {u , 1 , u , 1 , ]
Aqu la aplicacin no es biyectiva; y el conjunto de valores de la misma consta solamente de dos
elementos: 0 y 1.
Cuando se da una sucesin, es decir, una aplicacin de N sobre E, es costumbre asociar cada
nmero natural con su correspondiente imagen.
A tal efecto, la notacin que se emplea es la siguiente:
(u
1
, u
2
, u
3
, ) = (u
n
)
I.N.S.P.T. U.T.N. Anlisis Matemtico I
Prof. Lic. Cozzani, Mario

4
Usamos parntesis para indicar que se trata de un conjunto ordenado. u
1
, u
2
, u
3
, 1 se
denominan trminos de la sucesin. u
n
se denomina trmino general.
Nosotros nos referiremos exclusivamente a sucesiones numricas, es decir, aquellas cuyos
trminos son nmeros reales.
La sucesin fundamental es la que constituyen los mismos nmeros naturales, o sea, la siguiente:
(1 , 2 , S , ) = (n)

En una sucesin, el orden de los trminos tiene importancia, pues, por ejemplo, las sucesiones
siguientes, no son iguales:
(u
n
) = (u , 1 , u , 1 , )
(:
n
) = (1 , u , 1 , u , )

Ejemplos de sucesiones:

1) [1 ,
1
2
,
1
3
,
1
4
, =[
1
n

2) [-1 , -
1
2
, -
1
3
, -
1
4
, = [-
1
n

3) [-1 ,
1
2
, -
1
3
,
1
4
, = [(-1)
n
1
n

Si n es impar, entonces (-1)
n
= -1 ; y si n es par, entonces (-1)
n
= +1.
Por lo tanto, al multiplicar por (-1)
n
se obtiene, en cada caso, el signo que corresponde.

4) [
1
2
,
2
3
,
3
4
,
4
5
, = [
n
n+1

5) [1 ,
1
2
,
1
4
,
1
8
, = [
1
2
n-1

Esta sucesin se denomina progresin geomtrica indefinida, porque cada trmino, salvo el
primero, es igual al producto del anterior por un nmero constante, denominado razn. El primer
trmino es 1 y la razn es
1
2
.

6) [1 , [1 +
1
2
, [1 +
1
2
+
1
4
, [1 +
1
2
+
1
4
+
1
8
, = [1 +
1
2
+
1
2
2
+
1
2
3
+ +
1
2
n-1

I.N.S.P.T. U.T.N. Anlisis Matemtico I
Prof. Lic. Cozzani, Mario

5
Esta sucesin est formada por las sumas parciales de los trminos de una progresin geomtrica
indefinida y se denomina serie geomtrica. El primer trmino es 1 y la razn es
1
2
.

2.3.1. A continuacin trataremos de establecer el concepto de lmite de una sucesin, efectuando
oportunas observaciones sobre cada ejemplo.
En el primer ejemplo se observa que el comportamiento de la sucesin es tal que, desde cierto
trmino en adelante, todos los trminos son menores que cualquier nmero positivo prefijado.
Si ese nmero es
1
10
o
1
100
, por ejemplo, entonces los trminos que satisfacen la condicin
mencionada, en cada uno de esos casos, son los sealados en la siguiente expresin de la
sucesin:


[1 ,
1
2
,
1
3
, ,
1
10
,
1
11
, ,
1
101
,
1
102
,



Sintetizamos esta circunstancia diciendo que la sucesin tiende a 0; y lo indicamos as:
[
1
n
u

2.3.2. En el segundo ejemplo, lo que cabe observar es que, desde cierto trmino en adelante, los
valores absolutos de todos los trminos son menores que cualquier nmero positivo prefijado; y ,
por lo tanto, tambin en este caso, la sucesin tiende a 0.
Es decir: [-
1
n
u

2.3.3 En el tercer ejemplo ocurre lo mismo: desde cierto trmino en adelante, los valores absolutos
de todos los trminos son menores que cualquier nmero positivo prefijado; y, por lo tanto, la
sucesin tiende a 0.
Es decir: [(-1)
n
.
1
n
u

Cada trmino es menor que
1
10

Cada trmino es menor que
1
100

I.N.S.P.T. U.T.N. Anlisis Matemtico I
Prof. Lic. Cozzani, Mario

6
2.3.4. En el cuarto ejemplo se observa que los trminos se aproximan, cada vez ms, al nmero 1;
o sea, distan, cada vez menos del nmero 1; de tal manera que para todo nmero positivo e es
posible lograr que, desde cierto trmino en adelante, todos los trminos disten de 1 en menos de e.
En este caso para determinar el trmino a partir del cual se satisface la condicin mencionada hay
que efectuar un clculo particular, para cada e que se prefije.
Supongamos, en primer lugar, que se prefija e =
1
10
. Debemos determinar qu condicin debe
satisfacer n, para que cada u
n
diste de 1 en menos de e =
1
10
.
A tal efecto establecemos: |u
n
- 1| <
1
10


n
n+1
- 1 <
1
10

1 -
n
n+1
<
1
10


n+1-n
n+1
<
1
10


1
n+1
<
1
10

n + 1 > 1u
n > 9
n 1u

Por lo tanto, los trminos que satisfacen la condicin mencionada son los sealados en la siguiente
expresin de la sucesin:


[
1
2
,
2
3
,
3
4
, ,
9
10
,
10
11
,

Supongamos ahora que se prefija e =
1
100
.

Procedemos como antes: |p
n
- 1| <
1
100

Cada trmino difiere de 1 en menos de
1
10

I.N.S.P.T. U.T.N. Anlisis Matemtico I
Prof. Lic. Cozzani, Mario

7

n
n+1
-1 <
1
100

1 -
n
n+1
<
1
100


n+1-n
n+1
<
1
100


1
n+1
<
1
100

n + 1 > 1uu
n > 99
n 1uu

Por lo tanto, los trminos que satisfacen la condicin mencionada son los sealados en la siguiente
expresin de la sucesin:


[
1
2
,
2
3
,
3
4
, ,
99
100
,
100
101
,

As, pues, hemos observado que en la sucesin [
n
n+1
, desde cierto trmino en adelante, todos
los trminos distan de 1 en menos de e, siendo e el nmero positivo, prefijado arbitrariamente.
Decimos, entonces, que la sucesin tiende a 1; y lo indicamos as: [
n
n+1
1
Tambin se suelde decir que el lmite de la sucesin es igual a 1.
El nmero 1, que no pertenece a la sucesin, es el nico punto de acumulacin de la misma.

2.3.5. En el quinto ejemplo se ha presentado una sucesin que tiende a 0.
Es decir: [
1
2
n-1
u
Aqu tambin el nmero 0, que no pertenece a la sucesin, es el nico punto de acumulacin de la
misma.

Cada trmino difiere de 1 en
menos de
1
100

I.N.S.P.T. U.T.N. Anlisis Matemtico I
Prof. Lic. Cozzani, Mario

8
2.3.6 Finalmente, analicemos el sexto ejemplo, o sea, el ejemplo de la serie geomtrica.
En esta sucesin: p
1
= 1
p
2
= 1 +
1
2

p
3
= 1 +
1
2
+
1
4

p
4
= 1 +
1
2
+
1
4
+
1
8

1111111..
Se observa que cada trmino es igual al anterior, ms una fraccin positiva; y, por lo tanto, cada
trmino es mayor que el anterior.
Diremos, pues, que la sucesin es montona creciente.
Sin embargo, aunque los trminos crecen indefinidamente, ninguno de ellos alcanza el valor 2,
llegando a diferir de 2 tan poco como se quiera.
Es decir, desde cierto trmino en adelante, todos los trminos distan de 2 en menos de e, siendo e
un nmero positivo, prefijado arbitrariamente.
Para probar esta afirmacin, consideraremos el trmino general:
p
n
= 1 +
1
2
+
1
2
2
+
1
2
3
+ +
1
2
n-1

El trmino general est constituido por la suma de todos los trminos de una progresin
geomtrica finita, suma que se puede calcular, como sabemos desde la escuela media, con la
frmula siguiente:
S = o
1
.
1-q
n
1-q

Donde o
1
simboliza el primer trmino; q, la razn; y n el nmero de trminos.
Por lo tanto:
p
n
= 1.
1 - [
1
2

n
1 -
1
2
=
1 - [
1
2

n
1
2
=
1
1
2
-
[
1
2

n
1
2
= 2 - _
1
2
]
n-1

Supongamos ahora que se fije e =
1
100
. Debemos determinar que condicin debe satisfacer n,
para que cada p
n
diste de 2 en menos de e =
1
100
.
A tal efecto establecemos:
|p
n
- 2| <
1
100

I.N.S.P.T. U.T.N. Anlisis Matemtico I
Prof. Lic. Cozzani, Mario

9
__2 - [
1
2

n-1
- 2]_ <
1
100

_-[
1
2

n-1
_ <
1
100

[
1
2

n-1
<
1
100


1
2
n-1
<
1
100

2
n-1
> 1uu
n - 1 7 (pues 2
6
= 64; 2
7
= 128 )
n 8
Por lo tanto, desde el trmino p
8
en adelante, todos los trminos distan de 2 en menos de e =
1
100
.
Se comprende que para cada e que pueda prefijarse cabe un desarrollo anlogo y una conclusin
tambin anloga.
Por lo tanto, se puede afirmar que: (p
n
) 2
Aunque el lmite de la sucesin sea igual a 2, todos los trminos son menores que 2.
Diremos, pues, que la sucesin est acotada por el nmero 2; y que el nmero 2 es una cota
superior de la sucesin.
Otras cotas superiores podran ser, por ejemplo: 2,5 ; 3 ; etc.
En resumen, la serie geomtrica cuyo primer trmino es 1 y cuya razn es
1
2
es una sucesin que
posee cuatro propiedades:
1) Es montona creciente.
2) Est acotada y el nmero 2 es una cota superior de la sucesin.
3) El lmite existe y es igual al nmero 2.
4) El nmero 2, que no pertenece a la sucesin, es el nico punto de acumulacin de la
misma.
Una notacin muy sugestiva, para expresar que la serie geomtrico es 1 y cuya razn es
1
2
tiende
a 2, es la siguiente:
1 +
1
2
+
1
4
+
1
8
+ = 2
Cuando se utiliza esta notacin, cada sumando se denomina trmino de la serie.
I.N.S.P.T. U.T.N. Anlisis Matemtico I
Prof. Lic. Cozzani, Mario

10
Pero hay que tener bien en cuenta que, aunque la suma de la serie, o sea, el lmite de la sucesin
de sumas parciales, sea igual a 2, ese resultado no corresponde a ninguna de las infinitas sumas
parciales.

La serie geomtrica que estamos considerando se puede expresar brevemente mediante la
siguiente notacin:

1
2
n-1

n=1

El smbolo (sigma), antepuesto al trmino general de la serie, significa que debe considerarse la
suma indicada de los trminos que se forman a partir de aqul, asignando sucesivamente a n los
siguientes valores: 1 , 2 , 3 , 1
Es decir:
1
2
n-1
= 1 +
1
2
+
1
4
+
1
8
+ = 2

n=1

El smbolo , que interviene en esta notacin , no debe confundirse con el smbolo +, que
emplearemos dentro de un momento y que tiene su propio significado.
Esta notacin suele usarse para expresar cualquier seri numrica; y tambin su suma, si sta
existe y es finita.

2.3.7. En la teora de los lmites de sucesiones es importante una propiedad de las sucesiones
que, en realidad, es un teorema; pero que nosotros tomaremos como axiona.
Se trata del Axioma del crecimiento indefinido y acotado, que expresa lo siguiente:
Toda sucesin montona creciente, acotada superiormente, posee lmite finito, no superior a la
cota, es decir, igual o menor que ella.
En el caso de la serie geomtrica cuyo trmino es 1 y cuya razn es
1
2
, el lmite es igual a la cota
superior considerada; pero en otros casos, el lmite es menor que dicha cota.

2.3.8. Las sucesiones de lmite finito se denominan convergentes.
Existen tambin las sucesiones que carecen de lmite o cuyo lmite es infinito. Unas y otras se
denominan divergentes.
Sea por ejemplo, la sucesin:
p
1
= 1 +
1
2
= 1,S
p
2
= S -
1
2
= 2,S
I.N.S.P.T. U.T.N. Anlisis Matemtico I
Prof. Lic. Cozzani, Mario

11
p
3
= 1 +
1
2
2
= 1,2S
p
4
= S -
1
2
2
= 2,7S
p
5
= 1 +
1
2
3
= 1,12S
p
6
= S -
1
2
3
= 2,87S
11111111111.
Se puede probar que los trminos de lugar impar tienden a 1 y los de lugar par tienden a 3. Por lo
tanto, la sucesin carece de lmite, porque el lmite, si existe, debe ser nico, es decir la sucesin
es divergente. Pero algunos autores la denominan oscilante.
Los nmeros 1 y 3, que no pertenecen a la sucesin, son dos puntos de acumulacin de la misma.
Sea ahora la sucesin: p
1
= 1
p
2
= 1 +
1
2

p
3
= 1 +
1
2
+
1
3

p
4
= 1 +
1
2
+
1
3
+
1
4

11111111.
Esta sucesin, denominada serie armnica, es montona y creciente. Pero no est acotada
superiormente, porque para todo nmero positivo es posible lograr que, desde cierto trmino en
adelante, todos los trminos sean mayores que dicho nmero.
Diremos, pues, que la sucesin tiende a +, o que el lmite de la sucesin es + y que sta es
divergente.
La serie armnica se puede expresar brevemente as:
1
n
= 1 +
1
2
+
1
3
+
1
4
+

n=1


2.3.9. Ahora estamos en condiciones de comprender las definiciones generales de lmites de
sucesiones.
Distinguiremos tres casos, segn que el lmite sea finito , o + , o -.
1 caso: Una sucesin (p
n
) tiende a l, o tiene por lmite l, si y slo si, para todo nmero positivo e,
existe un n, que depende de e, tal que, todos los trminos de ndice igual o mayor que ese n,
distan de l en menos de e.
As, pues: (p
n
) l e > u, n: |p
n
- l| < e
I.N.S.P.T. U.T.N. Anlisis Matemtico I
Prof. Lic. Cozzani, Mario

12
|p
n+1
- l | < e
|p
n+2
- l | < e
11111111.
Se comprende que el caso de lmite 0 no es ms que un caso particular del de lmite finito.

2 caso: Una sucesin (p
n
) tiende a +, o tiene por lmite +, si y slo si, para todo nmero
positivo E, existe un n, que depende de E, tal que, todos los trminos de ndice igual o mayor que
ese n, son mayores que E.
As pues: (p
n
) + E > u, n: p
n
> E
p
n+1
> E
p
n+1
> E
111111

3 caso: Una sucesin (p
n
) tiende a -, o tiene por lmite -, si y slo si, para todo nmero
negativo K, existe un n, que depende de K, tal que, todos los trminos de ndice igual o mayor que
ese n, son menores que K.
As pues: (p
n
) - K > u, n: p
n
< K
p
n+1
< K
p
n+2
< K
1111111


2.3.9 Podemos preguntarnos ahora: qu relacin existe entre el lmite y los puntos de
acumulacin de una sucesin?.
Si el lmite existe y hay punto de acumulacin, entonces ste es nico y ambos coinciden.
Pero puede existir el lmite y no haber ningn punto de acumulacin, como ocurre en el siguiente
caso: (2 , 2 , 2 , )
En esta sucesin de trminos constantes, el lmite es igual a 2 y no hay ningn punto de
acumulacin.
I.N.S.P.T. U.T.N. Anlisis Matemtico I
Prof. Lic. Cozzani, Mario

13
Tambin puede haber un nico punto de acumulacin y no existir el lmite, como ocurre en el
siguiente caso: [1 ,
1
2
, 1 ,
1
3
, 1 ,
1
4
,
El nmero 0 es el nico punto de acumulacin de la sucesin; pero el lmite no existe.
Habiendo un nico punto de acumulacin, la condicin de que la sucesin sea montona, es decir,
creciente o decreciente, es suficiente para asegurar la existencia de lmite. Esta condicin no es
necesaria; pues, por ejemplo en la sucesin [(-1)
n
.
1
n
hay un nico punto de acumulacin, que es
el nmero 0; el lmite existe y es igual a dicho nmero; y sin embargo la sucesin no es montona.


3. El nmero como lmite de una sucesin
3.1. Consideremos la sucesin cuyos trminos son los siguientes:
p
1
= [1 +
1
1

1

p
2
= [1 +
1
2

2

p
3
= [1 +
1
3

3

p
4
= [1 +
1
4

4

1111111.
El trmino general es: p
n
= [1 +
1
n

n

Desarrollaremos el trmino general aplicando el teorema del binomio:
p
n
= 1
n
+ C
n
1
1
n-1

1
n
+ C
n
2
1
n-2

1
n
2
+ C
n
3
1
n-3

1
n
3
+ +
1
n
n

p
n
= 1 + C
n
1

1
n
+ C
n
2

1
n
2
+ C
n
3

1
n
3
+ +
1
n
n


Y siendo: C
n
1
= n
C
n
2
=
n(n-1)
2!

C
n
3
=
n(n-1)(n-2)
3!

1111111..
I.N.S.P.T. U.T.N. Anlisis Matemtico I
Prof. Lic. Cozzani, Mario

14
al sustituir resulta:
p
n
= 1 + n
1
n
+
n(n-1)
2!

1
n
2
+
n(n-1)(n-2)
3!

1
n
3
+ +
1
n
n

p
n
= 1 + 1 +
1
2!

n-1
n
+
1
3!

n-1
n

n-2
n
+ +
1
n
n

p
n
= 1 + 1 +
1
2!
[1 -
1
n
+
1
3!
[1 -
1
n
[1 -
2
n
+ +
1
n
n


Por otra parte se puede verificar que:

1
n
n
=
1
n!
[1 -
1
n
[1 -
2
n
[1 -
n-1
n

Es decir, a partir del tercero, todos los sumandos del desarrollo se expresan de manera semejante.
Al aumentar n se incorpora, cada vez, un nuevo sumando. Hay, pues dos motivos para que
aumente el valor total del desarrollo. Esto prueba que la sucesin considerada es montona
creciente.
Ahora comparemos, trmino a trmino, la sucesin de trmino general p
n
, con la sucesin de
trmino general :
n
, tal que:
:
n
= 1 + 1 +
1
2!
+
1
3!
+ +
1
n!

n p
n
:
n
(1)

Igualmente, comparemos, trmino a trmino, la sucesin de trmino general :
n
, con la sucesin de
trmino general w
n
, tal que:
w
n
= 1 + 1 +
1
2
+
1
2
2
+ +
1
2
n-1

n :
n
w
n
(2)

Por otra parte:
w
n
= 1 + 1 + [
1
2
+
1
2
2
+ +
1
2
n-1

w
n
= 1 + 1 +
1
2

1-[
1
2

n-1
1-
1
2

w
n
= 1 + 1 + 1 - [
1
2

n-1

I.N.S.P.T. U.T.N. Anlisis Matemtico I
Prof. Lic. Cozzani, Mario

15

w
n
= S - [
1
2

n-1

Por lo tanto:
n w
n
< S (3)

De (1), (2) y (3) resulta:
n p
n
< S

Esto prueba que la sucesin considerada est acotada superiormente por el nmero 3.
Y aplicando el Axioma del crecimiento infinito y acotado resulta, en definitiva, que la sucesin
considerada posee lmite finito no superior a la cota.
Designamos a ese lmite con la letra c, as pues por definicin:
El nmero c es el lmite de la sucesin de trmino general:
p
n
= [1 +
1
n

n

Es decir:
c = lim
n
[1 +
1
n

n

De la demostracin precedente se deduce:
2 < c S
Un valor aproximado del nmero irracional e es el siguiente:
c ~ 2,71828