1. Sucesiones.

Definimos el concepto de sucesión o sucesión infinita de números reales como

una función A : N → R donde A(n)=An . La notación usual para referirse a esta
clase de sucesiones suele ser: {A1 , A2 , A3 , ...}, {An }, {An }∞
n=1 , {An }n∈N .

1.1. Convergencia.
La definición de convergencia que proporcionaremos es de autorı́a de Weiers-
trass. Decı́mos que una sucesión (ak )k∈N converge al lı́mite b ∈ R si se cumple
que:
∀ε ∈ R+ ∃m ∈ N ∀µ ∈ N ( m < µ ⇒ |aµ − b| < ε ) (1)
Cuando esto suceda, decimos que la sucesión (ak )k∈N es convergente, o que la
sucesión (ak )k∈N tiene lı́mite b. Esto lo denotamos como:

lı́m ak = b
∞

Una subsucesión es una composición de dos funciones n : N → N y a : N → R,

donde n es estrictamente creciente y a (a ◦ n)(k) = a(n(k)) le denotamos como:
ank . Para referirnos a la subsucesión usaremos la notación: (ank )k∈N .

Tres teoremas importantes:

(1) Si (ak )k∈N converge, el lı́mite es único.

(2) Una sucesión convergente es acotada.
(3) Cualquier subsucesión de una sucesión convergente, converge al mismo
lı́mite.

Una sucesión puede no converger de tres maneras particulares; si la sucesión

crece desmedidamente, si decrece de igual forma o que oscile entre distintos va-
lores sin acercarce a nada en concreto. En el primer caso diremos que la sucesión
diverge a infinito y el criterio es el siguiente:

Sea (ak )k∈N una sucesión. Decimos que (ak )k∈N diverge a +∞ si:

∀ε ∈ R ∃m ∈ N ∀µ ∈ N ( m < µ ⇒ ε < aµ ) (2)

Lo que nos dice esta definición es que, para cualquier número real ε existe un
momento m a partir del cual los valores de la sucesión (ak )k∈N comienzan a ser
más grandes que el numero real ε. Y cuando esto se cumple, podemos decir que
el lı́mite de la sucesión (ak )k∈N diverge a +∞, lo que se denota como:

lı́m ak = ∞
∞

1
 Sea (ak )k∈N una sucesión. Decimos que (ak )k∈N diverge a −∞ si:
∀ε ∈ R ∃m ∈ N ∀µ ∈ N ( m < µ ⇒ aµ < ε ) (3)
Este es el segundo caso de no covergencia. Lo que propone la definición es una
idea bastante parecida al primer caso, pues afirma que la sucesión diverge a
−∞ si para cualquier número real ε existe un momento m donde los valores
de la sucesión (ak )k∈N se vuelven cada vez más pequeños que el número real ε.
Nuevamente, si lo anterior se cumple, podemos decir que el lı́mite de la sucesión
(ak )k∈N diverge a −∞, lo que denota como:
lı́m ak = −∞
∞

Para el tercer caso no existe un criterio propio para determinar la divergencia,

pero podemos apoyarnos del hecho de que, dada una sucesión (ak )k∈N esta di-
verge si existen subsucesiones tales que sean convergentes y su lı́mite no sea el
mismo.

Propiedades de convergencia:

Sean (an )n∈N , (bn )n∈N dos sucesiones convergentes a α y β respectivamente. Sea
también k ∈ R, entonces:
(1) lı́m∞ (an + bn ) = α + β
(2) lı́m∞ (an · bn ) = α · β
(3) lı́m∞ (k · an ) = k · α
(4) Si β 6= 0, entonces: lı́m∞ ( abnn ) = α
β

1.2. Puntos de acumulación.

Antes de presentar el concepto de punto de acumulación, definiremos dos
nuevos conjuntos. La vencindad con centro en α de radio δ es:
Nδ (α) = {x ∈ R : |x − α| < δ}
Definimos a Nδ (α)\{α} como la vecindad agujerada con centro en α y de radio
δ. En otras palabras, esta vecindad es:
0
Nδ (α) = {x ∈ R : 0 < |x − α| < δ}
Decimos que a ∈ R es un punto de acumulación de S ⊆ R si y solamente si
0 0
para cualquier Nδ (a) existe un punto de S que también está en Nδ (a). En otras
palabras, a es punto de acumulación de S ⊆ R si y solo si:
0
∀δ ∈ R+ ∃x0 ∈ R ( x0 ∈ S ∩ Nδ (a) ) (4)
Teorema 1: a ∈ R es un punto de acumulación de S ⊆ R si y solamente si existe
una sucesión (xk )k∈N tal que para toda k ∈ N se tiene xk ∈ S\{a} y lı́m∞ xk = a.

2
1.3. Lı́mite de una función.
El lı́mite de una sucesión puede ser extendido de manera más general al lı́mi-
te de cualquier función de variable real. Consideremos f : A → R una función,
con A ⊆ R, y a ∈ R un punto de acumulación de A; por el teorema 1, sabemos que
existe una sucesión {xk }k∈N tal que xk ∈ A\{a} y lı́m∞ xk = a. Si analizamos el
comportamiento de la sucesión {f(xk )}k∈N , esta puede converger o no.

Definición: Sea f : A → R una función con A ⊆ R. Sea también a ∈ R un punto

de acumulación de A. Decı́mos que f tiene lı́mite b si para cada sucesión no
constante en A\{a} que converge a a se tiene que lı́m∞ f (Xk ) = b. Y al lı́mite
lo denotamos como:
lı́m f (x) = b (5)
a

Lo anterior se puede interpretar de la siguiente forma:

lı́m f (x) = b ⇔ ∀(xk )k∈N ⊆ A\{a} ( lı́m xk = a ⇒ lı́m f (xk ) = b )

a ∞ ∞

Teorema (definición tradicional):

Sean f : A → R, con A⊆ R, una función y a ∈ R un punto de acumulación de A.
Entonces las siguientes expresiones son equivalentes:

(i) lı́ma f (x) = b

0
(ii) ∀ε ∈ R+ ∃δ ∈ R+ ∀x ∈ A ( x ∈ Nδ (a) ⇒ f (x) ∈ Nε (b) )

Definición 2:

Sean f : A → R, con A ⊆ R, una función y a ∈ R un punto de acumulación de

A. Decı́mos que d es el lı́mite por la derecha de f si:

∀(xk )k∈N ⊆ A\{a} ( (lı́m xk = a) ∧ (a < xk ) ⇒ lı́m f (xk ) = d ) (6)

∞ ∞

Para indicar que la definición anterior se cumple, usaremos la siguiente notación:

lı́m
+
f (x) = d
a

De manera similar, decimos que f tiene a d como lı́mite lateral izquierdo si:

∀(xk )k∈N ⊆ A\{a}( (lı́m xk = a) ∧ (xk < a) ⇒ lı́m f (xk ) = d ) (7)

∞ ∞

Nuevamente, cuando la definición se cumpla, denotamos al lı́mite lateral izquier-

do de f como:
lı́m
−
f (x) = d
a

3
Teorema 2:
Sean f : A ⊆ R → R una función y a ∈ R un punto de acumulación de A. Entonces
las siguientes expresiones son equivalentes:

lı́m f (x) = d
a

lı́m
+
f (x) = d = lı́m
−
f (x)
a a

2. Continuidad.
Definición 3: Sea f : A ⊆ R → R una función. Decı́mos que f es continua en
a ∈ A si y solo si:

∀ε ∈ R+ ∃δ ∈ R+ ∀x ∈ A ( x ∈ Nδ (a) ⇒ f (x) ∈ Nε (f (a)) ) (8)

Teorema 3:
Sean f : A ⊆ R → R una función y a ∈ R un punto de acumulación de A. Enton-
ces f es continua en a si y solo si lı́ma f (x) = f (a).

Teorema 4:
Si f es una función continua en x, g otra función continua en f (x), entontes g ◦ f
es continua en x.