Compilado de Definiciones

Semana del martes 10 de marzo del 2026

1. Convergencia
Definición 1.1 (Convergencia). Diremos que la sucesión (sn ) converge a ℓ o bien que los términos
sn tienden a ℓ (lo cual anotaremos sn → ℓ) si se cumple que:

(∀ ε > 0)(∃ n0 ∈ N)(∀ n ≥ n0 ) sn ∈ [ℓ − ε, ℓ + ε].

Observación 1.2. Las siguientes expresiones son equivalentes a la anterior:

⇐⇒ (∀ ε > 0)(∃ n0 ∈ N)(∀ n ≥ n0 ) ℓ − ε ≤ sn ≤ ℓ + ε,

⇐⇒ (∀ ε > 0)(∃ n0 ∈ N)(∀ n ≥ n0 ) |sn − ℓ| ≤ ε,
⇐⇒ (∀ ε > 0)(∃ n0 ∈ N)(∀ n ≥ n0 ) |sn − ℓ| < ε,
⇐⇒ (∀ ε > 0)(∃ n0 ∈ R)(∀ n ≥ n0 ) |sn − ℓ| ≤ ε.

Observación 1.3. El intervalo [ℓ − ε, ℓ + ε] suele llamarse en el contexto de la Topologı́a, vecindad

en torno a ℓ. Luego, decir que sn → ℓ es equivalente a decir que a partir de cierto natural n0 (es
decir, para todo n ≥ n0 ), los términos sn están todos dentro de esta vecindad en torno a ℓ.
El factor |sn − ℓ| es la distancia entre sn y ℓ, luego decir que sn → ℓ es equivalente a decir que a
partir de cierto n0 la distancia entre sn y ℓ es menor o igual que ε. Como esto último debe ocurrir
∀ε, se concluye que cuando sn → ℓ, la distancia entre sn y ℓ puede hacerse tan pequeña como se
desee.
Cuando una sucesión no converge a real alguno, se dice que es una sucesión divergente.

2. Lı́mite
Definición 2.1 (Definición de lı́mite de una sucesión). Si (sn ) es una sucesión que converge a ℓ,
entonces ℓ se llama lı́mite de la sucesión, lo cual se anotará:

ℓ = lı́m sn o bien ℓ = lı́m sn o bien ℓ = lı́m sn .

n n→∞

Observación 2.2. La proposición anterior nos dice que el lı́mite de una sucesión cuando existe, es
único.

2.1. Álgebra de sucesiones nulas y acotadas

Definición 2.3 (Definición de sucesión nula). (sn ) se llamará sucesión nula si sn → 0.
Recordando que una sucesión es una función con un dominio particular, las siguientes definiciones
son una adaptación de las definiciones correspondientes ya hechas para las funciones en general.

Definición 2.4 (Sucesión acotada). (sn ) se llamará sucesión acotada si

(∃ M > 0) (∀ n ∈ N) |sn | ≤ M.

Definición 2.5. Sean (un )
y (vn ) sucesiones y sea λ ∈ R. Se definen las nuevas sucesiones (un +vn ),
(un − vn ), (un · vn ), un /vn y (λun ) de la forma normal, es decir:

• (un + vn ) = u0 + v0 , u1 + v1 , u2 + v2 , u3 + v3 , . . . , un + vn , . . . .

• (un − vn ) = (u0 − v0 , u1 − v1 , u2 − v2 , u3 − v3 , . . . , un − vn , . . .).

• (un · vn ) = (u0 · v0 , u1 · v1 , u2 · v2 , u3 · v3 , . . . , un · vn , . . .).

• (un /vn ) = (u0 /v0 , u1 /v1 , u2 /v2 , u3 /v3 , . . . , un /vn , . . .).

Observación 2.6. ésta es una sucesión sólo cuando vn = 0 sólo para un número finito de
términos.

• (λun ) = (λu1 , λu2 , λu3 , . . . , λun , . . .).

3. Sucesiones monótonas
Definición 3.1. Sea (sn ) una sucesión real. Entonces:

• Diremos que (sn ) es una sucesión creciente a partir de n0 si ∀n ≥ n0 se tiene sn+1 ≥ sn .

• Diremos que (sn ) es una sucesión decreciente a partir de n0 si ∀n ≥ n0 se tiene sn+1 ≤ sn .

3.1. Subsucesiones
Definición 3.2 (Subsucesión). Sea (sn ) una sucesión. Sea φ : N → N una función estrictamente
creciente. Se llama subsucesión de sn generada por φ, a la sucesión (un ), definida por:

un = sφ(n) .

3.2. Funciones continuas

Definición 3.3 (Función continua en un punto). Sea f : A ⊆ R → R y x ∈ A. Diremos que f es
una función continua en x̄ si

∀(xn ) ⊆ A, xn → x̄ ⇒ f (xn ) → f (x̄).

Definición 3.4 (Función continua). Sea f : A ⊆ R → R. Si f es continua ∀x ∈ A, diremos que f

es continua.

2
4. Lı́mite de Funciones

4.1. Introducción
Definición 4.1 (Punto de Acumulación). Sea A ⊆ R un subconjunto cualquiera de R. El real
x̄ ∈ R se llama punto de acumulación de A si existe alguna sucesión (xn ) ⊆ A (con valores en A)
tal que xn ̸= x̄, ∀n ≥ n0 algún n0 ∈ N y xn → x̄. El conjunto de los puntos de acumulación de
A ⊆ R se denota A′ .

4.2. Definición del lı́mite de funciones

Definición 4.2. Sea f : A ⊆ R → R y sea x̄ ∈ A′ , es decir x̄ es un punto de acumulación de A.
Diremos que f tiende a ℓ ∈ R cuando x tiende a x̄ (lo cual se denotará f (x) → ℓ cuando x → x̄), o
bien que ℓ es el lı́mite de f (x) cuando x → x̄ (lo que se anota ℓ = lı́m f (x)) si para toda sucesión
x→x̄
(xn ) con valores en A, convergente a x̄ y tal que xn ̸= x̄, se cumple que la sucesión de las imágenes
(f (xn )) es convergente a ℓ.
Observación 4.3. / A′ entonces no existen sucesiones (xn ), con valores en A\{x̄} conver-
1. Si x̄ ∈
gentes a x̄, luego no puede estudiarse el lı́mite de la función cuando x → x̄. En consecuencia,
en ese caso se dirá que tal lı́mite no existe. Por ejemplo:
√
lı́m x = ∄.
x→−1

2. Si x̄ ∈ A′ entonces el concepto de lı́mite de f (x) cuando x → x̄ está bien definido, sin embargo,
este lı́mite puede o no existir.

4.3. Lı́mite a través de un subconjunto del dominio

Definición 4.4 (Lı́mite de una función a través de un subconjunto). Sea f : A ⊆ R → R. Sean
B ⊆ A y x̄ ∈ B ′ . Diremos que ℓ ∈ R es el lı́mite de la función f cuando x → x̄ a través del conjunto
B si para cualquier sucesión (xn ) ⊂ B convergente a x̄, xn ̸= x̄, se tiene que la sucesión (f (xn ))
converge a ℓ.
A este lı́mite lo denotaremos por ℓ = lı́m f (x).
x→x̄
x∈B

Observación 4.5. A pesar de que la hipótesis del teorema anterior es muy fuerte (existencia del
lı́mite global), podemos usar el contra recı́proco para establecer las siguientes consecuencias: Si
B, C ⊆ A y x̄ ∈ B ′ y x̄ ∈ C ′ entonces:
1. lı́m f (x) no existe, entonces lı́m f (x) no existe.
x→x̄ x→x̄
x∈B

2. lı́m f (x) = ℓ1 ̸= ℓ2 = lı́m f (x), entonces lı́m f (x) no existe.

x→x̄ x→x̄ x→x̄
x∈B x∈C

4.4. Lı́mites laterales

En principio, los lı́mites laterales de una función son un caso particular de lı́mite a través de un
subconjunto de su dominio. Sin embargo, la técnica de estudiar los lı́mites laterales de una función
es tan usada, que merece revisar las consecuencias de este cálculo particular.

3
Definición 4.6. Sea f : A ⊆ R → R y x̄ ∈ R. Si denominamos por A+ = A ∩ (x̄, +∞) y
A− = A ∩ (−∞, x̄), entonces

i) Se llama lı́mite lateral por la derecha de la función f en x̄ a lı́m f (x).

x→x̄
x∈A+

ii) Análogamente, a lı́m f (x) se le llama lı́mite lateral por la izquierda de la función f en x̄.
x→x̄
x∈A−

El lı́mite lateral por la derecha se denota por lı́m+ f (x) o lı́m f (x) y el lı́mite lateral por la izquierda
x→x̄ x→x̄
x>x̄
se denota por lı́m f (x) o bien por lı́m− f (x).
x→x̄ x→x̄
x<x̄

4.5. Caracterización de lı́mite sin uso de sucesiones

A continuación enunciaremos un teorema que caracteriza completamente la noción de lı́mite cam-
biando el rol de las sucesiones por el de las letras griegas ε y δ. En la jerga del tema se conoce
esta caracterización como la definición ε-δ del lı́mite y en muchos textos, suele ser tomada como
el punto de partida del estudio de lı́mites.

Teorema 4.7 (Caracterización ε-δ de lı́mite). Sea f : A ⊆ R → R y x̄ punto de acumulación de

A entonces


lı́m f (x) = ℓ ⇐⇒ ∀ε > 0, ∃δ > 0, ∀x ∈ A ∩ [x̄ − δ, x̄ + δ] \ {x̄} , |f (x) − ℓ| ≤ ε.
x→x̄

Observación 4.8. La caracterización ε-δ de los lı́mites laterales es análoga, realizando el cambio que
corresponde a exigir que sólo se consideren los valores de x de un lado de x̄, es decir:

• Si x̄ es punto de acumulación de A ∩ (x̄, +∞) entonces

lı́m f (x) = ℓ ⇐⇒ ∀ε > 0, ∃δ > 0, ∀x ∈ A ∩ (x̄, x̄ + δ], |f (x) − ℓ| ≤ ε.

x→x̄+

• Si x̄ es punto de acumulación de A ∩ (−∞, x̄) entonces

lı́m f (x) = ℓ ⇐⇒ ∀ε > 0, ∃δ > 0, ∀x ∈ A ∩ [x̄ − δ, x̄), |f (x) − ℓ| ≤ ε.

x→x̄−

Observación 4.9. La frase ∀x ∈ A ∩ [x̄ − δ, x̄ + δ] \ {x̄} que aparece en la caracterización, suele ser
escrita usando una implicancia. De este modo se escriben:
 
lı́m f (x) = ℓ ⇐⇒ ∀ε > 0, ∃δ > 0, ∀x ∈ A 0 < |x − x̄| ≤ δ ⇒ |f (x) − ℓ| ≤ ε .
x→x̄

4
5. Lı́mites infinitos y hacia el infinito

5.1. Lı́mites hacia ±∞

Definición 5.1. Sea f : A ⊂ R → R y sea ℓ un real fijo.

i) Si A no es acotado superiormente entonces

lı́m f (x) = ℓ ⇐⇒ ∀ε > 0, ∃m > 0, ∀x ∈ A ∩ [m, ∞), |f (x) − ℓ| ≤ ε.

x→+∞

ii) Si A no es acotado inferiormente entonces

lı́m f (x) = ℓ ⇐⇒ ∀ε > 0, ∃m < 0, ∀x ∈ A ∩ (−∞, m], |f (x) − ℓ| ≤ ε.

x→−∞

6. Ası́ntotas (I)
Cuando una función tiene lı́mite ℓ hacia ±∞, su gráfico se aproxima hacia la recta y = ℓ. Por esta
razón, esta recta se llama ası́ntota horizontal de f . Más precisamente se tiene la siguiente definición

Definición 6.1 (Ası́ntotas horizontales).

1. Si lı́m f (x) = ℓ1 entonces la recta y = ℓ1 se llama ası́ntota horizontal de f .

x→+∞

2. Si lı́m f (x) = ℓ2 entonces la recta y = ℓ2 es otra ası́ntota horizontal de f .

x→−∞

7. Lı́mites infinitos
Cuando una función crece sin cota al aproximarse a x̄, por la derecha o la izquierda o cuando
x → ±∞ se dice que su lı́mite es +∞. Las definiciones formales de estos conceptos son las siguientes:

Definición 7.1 (Lı́mites igual a +∞). Sea f : A ⊆ R → R.

1. Si x̄ ∈ A′ , entonces

lı́m f (x) = +∞ ⇐⇒ ∀M > 0, ∃δ > 0, ∀x ∈ A ∩ [x̄ − δ, x̄ + δ], f (x) ≥ M.

x→x̄

2. Si x̄ es punto de acumulación de A ∩ (x̄, +∞), entonces

lı́m f (x) = +∞ ⇐⇒ ∀M > 0, ∃δ > 0, ∀x ∈ A ∩ (x̄, x̄ + δ], f (x) ≥ M.

x→x̄+

3. Si x̄ es punto de acumulación de A ∩ (−∞, x̄), entonces

lı́m f (x) = +∞ ⇐⇒ ∀M > 0, ∃δ > 0, ∀x ∈ A ∩ [x̄ − δ, x̄), f (x) ≥ M.

x→x̄−

4. Si A no es acotado superiormente, entonces

lı́m f (x) = +∞ ⇐⇒ ∀M > 0, ∃m > 0, ∀x ∈ A ∩ [m, ∞), f (x) ≥ M.

x→+∞

5
5. Si A no es acotado inferiormente, entonces

lı́m f (x) = +∞ ⇐⇒ ∀M > 0, ∃m < 0, ∀x ∈ A ∩ (−∞, m], f (x) ≥ M.

x→−∞

Definición 7.2 (Lı́mites igual a −∞). Sea f : A ⊆ R → R.

1. Si x̄ ∈ A′ , entonces

lı́m f (x) = −∞ ⇐⇒ ∀M < 0, ∃δ > 0, ∀x ∈ A ∩ [x̄ − δ, x̄ + δ], f (x) ≤ M.

x→x̄

2. Si x̄ es punto de acumulación de A ∩ (x̄, +∞), entonces

lı́m f (x) = −∞ ⇐⇒ ∀M < 0, ∃δ > 0, ∀x ∈ A ∩ (x̄, x̄ + δ], f (x) ≤ M.

x→x̄+

3. Si x̄ es punto de acumulación de A ∩ (−∞, x̄), entonces

lı́m f (x) = −∞ ⇐⇒ ∀M < 0, ∃δ > 0, ∀x ∈ A ∩ [x̄ − δ, x̄), f (x) ≤ M.

x→x̄−

4. Si A no es acotado superiormente, entonces

lı́m f (x) = −∞ ⇐⇒ ∀M < 0, ∃m > 0, ∀x ∈ A ∩ [m, ∞), f (x) ≤ M.

x→+∞

5. Si A no es acotado inferiormente entonces

lı́m f (x) = −∞ ⇐⇒ ∀M < 0, ∃m < 0, ∀x ∈ A ∩ (−∞, m], f (x) ≤ M.

x→−∞

Observación 7.3. Notemos que

lı́m f (x) = −∞ ⇐⇒ lı́m −f (x) = +∞
x→+∞ x→+∞


lı́m f (x) = −∞ ⇐⇒ lı́m −f (−x) = +∞.
x→−∞ x→+∞

Es decir, los lı́mites cuando x → ±∞ o con valor −∞ pueden ser derivados del concepto lı́m f (x) =
x→+∞
+∞ mediante cambios algebraicos apropiados.
Observación 7.4. 1. Cuando una función tiene lı́mite igual a +∞ o igual a −∞ se suele decir que
posee lı́mite en el conjunto R definido como

R = R ∪ {+∞, −∞},

que suele llamarse R-extendido.

2. Como las sucesiones son funciones, las definiciones anteriores permiten establecer el significado
de las frases sn → +∞ y sn → −∞.

6
8. Ası́ntotas (II)
Cuando una función tiende a ±∞ cuando x → ±∞, es posible que su gráfico se aproxime a una
recta oblicua. En este caso la recta se llama ası́ntota oblicua de la función. La definición precisa de
este concepto es la siguiente:

Definición 8.1 (Ası́ntotas oblicuas). 1. La recta y = m1 x + n1 es una ası́ntota oblicua de f

cuando x → +∞ si se cumple que


lı́m f (x) − (m1 x + n1 ) = 0.
x→+∞

2. Si lı́m f (x) − (m2 x + n2 ) = 0 entonces la recta y = m2 x + n2 es una ası́ntota oblicua de
x→−∞
f cuando x → −∞.

Observación 8.2. Para calcular las constantes m, n de una eventual ası́ntota oblicua podemos ob-
servar que


lı́m f (x) − (mx + n) = 0 ⇐⇒ n = lı́m f (x) − mx
x→+∞ x→+∞

f (x) − mx f (x)
=⇒ lı́m = 0 ⇐⇒ m = lı́m .
x→+∞ x x→+∞ x
Este razonamiento entrega dos fórmulas para calcular m y n

f (x)

m = lı́m , n = lı́m f (x) − mx .
x→+∞ x x→+∞

Si ambos lı́mites existen (en particular el segundo) entonces y = mx + n es definitivamente una

ası́ntota oblicua de f .
El mismo cálculo se puede realizar cuando x → −∞.

Definición 8.3. Si lı́m+ f (x) = ±∞ o lı́m− f (x) = ±∞, se dice que la recta x = x̄ es una ası́ntota
x→x̄ x→x̄
vertical de f .

Definición 8.4 (Lı́mite igual a ℓ+ o ℓ− ). 1. Diremos que lı́m f (x) = ℓ+ si se cumple que
x→+∞

lı́m f (x) = ℓ y ∃ m > 0, ∀x ∈ Dom(f ) ∩ [m, +∞), f (x) > ℓ.

x→+∞

2. Diremos que lı́m f (x) = ℓ− si se cumple que

x→+∞

lı́m f (x) = ℓ y ∃ m > 0, ∀x ∈ Dom(f ) ∩ [m, +∞), f (x) < ℓ.

x→+∞

3. Análogamente se definen los lı́mites lı́m f (x) = ℓ+ y lı́m f (x) = ℓ− .

x→−∞ x→−∞

Observación 8.5. Con las definiciones anteriores, vemos que la definición de lı́mite se puede escribir
en al menos 25 formas distintas, combinando el hecho que la variable x puede tender a x̄, x̄+ , x̄− ,
+∞ o −∞ y la función f puede tender a ℓ, ℓ+ , ℓ− o bien a ±∞.