Definición de convergencia de sucesiones

La definición de convergencia permite formalizar toda la idea intuitiva que

tenemos de límite de números, para así poder utilizar y manipular límites
(álgebra de límites)

¿Cuál es la idea intuitiva que tenemos de límite?

Bueno, sabemos (o intuimos) que el límite de converge a cero cuando n

tiende a infinito. Pero sabemos que es distinto de cero para toda n mayor que
uno. ¿Entonces? Ocurre que la sucesión SE ACERCA LO MAS QUE PUEDE
A 0, aunque increíblemente nunca llegue a tocarlo. Luego, el concepto de límite
se refiere principalmente al concepto de que tan cerca se encontrara la
sucesión a un punto de convergencia (llamado límite).

El primer concepto a considerar es que la distancia entre 2 números reales a y

b se denota , que es el valor absoluto de la diferencia. Así la distancia
entre un punto de la sucesión y su límite L (si es que existe) es .

Probablemente, esta distancia nunca llegue a ser cero (como en la sucesión

1/n), pero ciertamente los puntos deberían ir acercándose a su límite.

La definición formal de convergencia de la sucesión a un punto L es

Para todo , existe un , tal que para todo

O como se suele encontrar en los textos de cálculo, en un lenguaje formal:

¿Qué quiere decir realmente?

Dice: Para cualquier distancia que queramos ver del limite ( ), siempre
podemos encontrar una posición en la sucesión ( ), de tal forma que todos los
términos de la sucesión a partir de esta posición , caen dentro de esta
vecindad del límite. Trata de asimilar esta descripción en palabras y entenderlo
con la definición formal.

Ahora vamos a mostrar como funciona con la sucesión .

Grafiquemos la sucesión .
En esta imagen, los puntos corresponden a los términos de la sucesión, y la
altura de estos puntos representa el valor de este término. Así, para n=1, la
sucesión toma el valor 1, para n=2, el valor 0.5, para n=5, =0.2.

Podemos ver en la imagen que la sucesión se acerca gradualmente al valor

cero (y como sabemos, nunca lo alcanza)

¿Cómo funciona la definición formal acá?

Supongamos que un compañero te pregunta ¿Desde que punto la sucesión

no se aleja a más de 0,5 del valor cero? Al ver el dibujo, notamos que desde el
término la sucesión no sube de 0,5.

¿Y desde qué término la sucesión no se aleja a lo más de 0,2 de cero? Viendo

nuevamente el dibujo, podemos notar que desde el término en adelante no
se supera la barrera impuesta (línea roja). También puedes decir que a partir
del término 8; no tiene que ser necesariamente el término exacto (la definición
formal no lo pide)
Y así hacia el infinito. Es decir, si tu compañero te pregunta ¿A partir de qué
término no me alejo una distancia (con quiero decir cualquier distancia >0)
del cero? tu siempre vas a poder encontrar una posición n a partir del cual la
sucesión no se aleje. En términos matemáticos.

para todo , existe un tal que para todo , .

Esta definición, y la anterior discusión, no obliga a la sucesión a alcanzar su

límite, pero sí la obliga a siempre acercarse tanto como queramos (o tanto
como quiera tu compañero).

Con el dibujo queda claro, pero demostremos formalmente (o como debería ser
en la prueba) que converge a 0.

¿Qué pasa si queremos que todos los puntos de la sucesión estén a una
distancia menor o igual a 1? Bueno como todos los términos de la sucesión son
menores o iguales que 1, después del término unésimo se cumple.

¿Qué pasa si queremos que todos los puntos de la sucesión estén a una
distancia menor o igual que 1/10. Bueno notamos que para n=10, los términos
son menores a 1/10. ( )

¿Y si queremos que no se alejen a lo mas 1/100? Entonces notamos que los

términos no se alejan de esa distancia después del punto n=100. ( ).

Ahora te diste cuenta que para cualquier distancia que nos demos (digamos )
el punto necesario para cumplir la definición es darse el o mayor).

Pero la fórmula que les dí no está de todo correcta, pues para ,

, que no es natural. Pero no nos importa, pues no
queremos un número exacto tal que todos las términos de la sucesión no se
alejen, lo que queremos es uno que nos asegure que pase lo que queremos,
así en vez de decir podemos decir simplemente ,y
cumplimos nuestro objetivo. Así, mejorando nuestro razonamiento

Para cualquiera, . (Función parte entera).

en este ejemplo también notamos que el n elegido depende de , por eso en la

definición de límite se suele colocar .

Hagamos la demostración como deberías colocarla en la prueba (lo que esta

en paréntesis son indicaciones que no debes escribir).

Problema: demuestre que la sucesión converge a cero

Dem:
Sea (nos damos una distancia cualquiera, como la que te pregunta tu
compañero).

Queremos encontrar un tal que para todo se tenga

trabajando esta expresión.

(Equivalentemente, el problema se reduce a encontrar un que cumpla que

para todo se tenga , lo cual se tiene si n cumple ).

eligiendo se tiene lo pedido.

Problema: demuestre que la sucesión constante converge a c.

Dem:

Sea .

(¡¡la distancia entre la sucesión y su limite siempre es

cero!!!)

Tomando n=1, se tiene lo pedido (o n igual cualquier cosa, total siempre

estamos a una distancia menor que )

En este caso particular, la sucesión si alcanza su límite.

Ahora demostremos la siguiente propiedad, que nos permitirá justificar el

álgebra de límites.

Propiedad: Sean y dos sucesiones tales que y .

Entonces .

Demostración:

Sea (la distancia fija que siempre nos debemos dar)

Como converge a , tenemos que para cualquier distancia que queramos,

existe un tal que para , es menor que dicha distancia. Luego
si la distancia que queremos es , existe un tal que para ,
.

Análogamente, para la sucesión , existe un (no necesariamente igual a ,

pues es un sucesión no necesariamente igual a ) tal que para
.

Entonces para

y .

De este modo , para todo .

Reordenando lo logrado, para todo .

la convergencia de nos asegura la existencia de , y la convergencia de

asegura la de . Por lo tanto existe.

para , teníamos que demostrar la existencia de un n conveniente).