Documentos de Académico
Documentos de Profesional
Documentos de Cultura
1 0.841471 ...
0.1 0.998334 ...
0.01 0.999983 ...
Aunque la función (sin x ) / x no se define en cero, a medida que x se acerca más y más a cero,
(sin x ) / x se vuelve arbitrariamente cerca de 1. En otras palabras, el límite de (sin x ) / x como x
se acerca a cero es igual a 1.
Cálculo
Teorema fundamental
Límites de funciones
Continuidad
Teorema del valor medio
El teorema de Rolle
Diferencial
Integral
Serie
Vector
Multivariable
Especializado
Glosario de cálculo
v
t
mi
Contenido
1Historia
2Motivación
3Funciones de una sola variable
o 3.1Existencia y límites unilaterales
o 3.2Más subconjuntos generales
o 3.3Límites eliminados versus no eliminados
o 3.4Ejemplos
3.4.1inexistencia de límite (s) de un solo lado
3.4.2No igualdad de límites unilaterales
3.4.3Límites en un solo punto
3.4.4Límites en muchos puntos contables
4Funciones en espacios métricos
5Funciones en espacios topológicos
6límites que implican el infinito
o 6.1Límites en el infinito
o 6.2Límites infinitos
o 6.3Notación alternativa
o 6.4Límites en el infinito para funciones racionales
7Funciones de más de una variable
8Límites secuenciales
9Otras caracterizaciones
o 9.1En términos de secuencias
o 9.2En cálculo no estándar
o 9.3En términos de cercanía
10Relación con la continuidad
11propiedades
o 11.1Límites de composiciones de funciones
o 11.2Límites de interés especial
11.2.1Funciones racionales
11.2.2Funciones trigonométricas
11.2.3Funciones exponenciales
11.2.4Funciones logarítmicas
o 11.3La regla de L'Hôpital
o 11.4Sumaciones e integrales
12Ver también
13notas
14referencias
Historia [ editar ]
Aunque implícito en el desarrollo del cálculo de los siglos XVII y XVIII, la idea moderna del
límite de una función se remonta a Bolzano , quien, en 1817, introdujo los principios
básicos de la técnica épsilon-delta para definir funciones continuas. Sin embargo, su
trabajo no se conoció durante su vida ( Felscher 2000 ). Cauchy discutió cantidades
variables, infinitesimales y límites y definió la continuidad de al decir que un cambio
infinitesimal en x necesariamente produce un cambio infinitesimal en y en su libro de
1821 Cours d'analyse , mientras que ( Grabiner 1983 ) afirma que solo dio una definición
verbal. Weierstrass introdujo por primera vez la definición épsilon-delta de límite en la
forma en que generalmente se escribe hoy. También introdujo las
anotaciones lim y lim x → x ( Burton 1997 ).
0
La notación moderna de colocar la flecha debajo del símbolo límite se debe a Hardy en su
libro Un Curso de Matemáticas Puras en 1908 ( Miller 2004 ).
Motivación [ editar ]
Imagine una persona caminando sobre un paisaje representado por la gráfica
de y = f ( x ). Su posición horizontal se mide por el valor de x , muy similar a la posición
dada por un mapa de la tierra o por un sistema de posicionamiento global. Su altitud está
dada por la coordenada y . Ella está caminando hacia la posición horizontal dada
por x = p . A medida que se acerca cada vez más, nota que su altitud se acerca a L. Si se
le pregunta acerca de la altitud de x = p , ella respondería a L.
Entonces, ¿qué significa decir que su altitud se acerca a L? Significa que su altitud se
acerca cada vez más a L, a excepción de un posible pequeño error en la precisión. Por
ejemplo, supongamos que establecemos un objetivo de precisión particular para nuestro
viajero: debe llegar a menos de diez metros de L. Ella informa que de hecho puede llegar a
menos de diez metros de L , ya que señala que cuando está a menos de cincuenta metros
horizontales de p , su altitud siempre es de diez metros o menos desde L.
El objetivo de precisión cambia entonces: ¿puede ella llegar dentro de un metro
vertical? Sí. Si ella está en cualquier lugar dentro de los siete metros horizontales de p ,
entonces su altitud siempre permanece dentro de un metro del objetivo L. En resumen,
decir que la altitud del viajero se acerca a L a medida que su posición horizontal se acerca
a psignifica que por cada objetivo de precisión objetivo, por pequeño que sea, existe un
vecindario de p cuya altitud cumple ese objetivo de precisión.
La declaración informal inicial ahora puede ser explicada:
El límite de una función f ( x ) cuando x se acerca a p es un número L con la
siguiente propiedad: dada cualquier distancia objetivo desde L , hay una distancia
de p dentro de la cual los valores de f ( x ) permanecen dentro de la distancia
objetivo.
Esta declaración explícita es bastante cercana a la definición formal del límite de una
función con valores en un espacio topológico .
Para decir eso
significa que ƒ ( x ) se puede hacer tan cerca como se desee a L haciendo que x
sea lo suficientemente cercano, pero no igual, a p .
Las siguientes definiciones (conocidas como (ε, δ) -definitions ) son las
generalmente aceptadas para el límite de una función en varios contextos.
Por cada real ε > 0, existe un δ > 0 real tal que para todo x real, 0 <| x -
p | < δ implica | f ( x ) - L | < ε .
El valor del límite no depende del valor de f ( p ), ni siquiera de que p esté en
el dominio de f .
Se aplica una definición más general para las funciones definidas
en subconjuntos de la línea real. Deje ( a , b ) ser un intervalo abierto en R ,
y p un punto de ( a , b ). Sea f una función de valor real definida en todos
( a , b ), excepto posiblemente en p mismo. Luego se dice que el límite de f ,
cuando x se aproxima a p , es L si, para cada real ε > 0 , existe un δ > 0 real
tal que 0 <| x - p | < δ y x ∈ ( a , b ) implica | f ( x ) - L | < ε .
Aquí nuevamente, el límite no depende de que f ( p ) esté bien definido.
Las letras ε y δ pueden entenderse como "error" y "distancia", y de hecho
Cauchy usó ε como una abreviación de "error" en algunos de sus trabajos
( Grabiner 1983 ), aunque en su definición de continuidad usó un
La función
coordenada x de la forma ,
donde n es cualquier número entero.
Funciones en espacios
métricos [ editar ]
Supongamos que M y N son
subconjuntos de espacios
métricos A y B , respectivamente,
y f : M → N se define entre M y N ,
con x ∈ M, p un punto
límite de M y L ∈ N. Se dice que el límite
de f como x se acerca a p es L y
escribe
Funciones en
espacios
topológicos [ editar ]
Supongamos
que X , Y son espacios
topológicos con
un espacio Y a Hausdorff . Deje
p ser un punto límite de Ω ⊆ X ,
y L ∈ Y. Para una función f : Ω
→ Y , se dice que el límite
de f como x
se acerca p es L (es decir, f ( x )
→ L como x → p ) y escrito
si la siguiente propiedad
tiene:
Para
cada vecindad abierta V
de L , existe una
vecindad
abierta U de p tal
que f ( U ∩ Ω - { p }) ⊆ V.
Esta última parte de la
definición también se puede
expresar "existe
una vecindad
pinchada abierta U de p tal
que f ( U ∩Ω) ⊆ V ".
Tenga en cuenta que el
dominio de f no necesita
contener p . Si lo hace,
entonces el valor de f at es
irrelevante para la definición
del límite. En particular, si el
dominio de f es X - { p } (o la
totalidad de X ), entonces el
límite de f como x → p existe
y es igual a L si, para todos
los subconjuntos Ω de X con
el punto límite p , el el límite
de la restricción de f a Ω
existe y es igual a L. A
veces, este criterio se usa
para establecer
la inexistencia del límite de
dos lados de una función
en R al mostrar que
los límites de un lado no
existen o no concuerdan. Tal
visión es fundamental en el
campo de la topología
general , donde los límites y
la continuidad en un punto se
definen en términos de
familias especiales de
subconjuntos,
llamados filtros , o
secuencias generalizadas
conocidas como redes .
Alternativamente, el requisito
de que Y sea un espacio de
Hausdorff se puede relajar a
la suposición de que Y es un
espacio topológico general,
pero entonces el límite de
una función puede no ser
exclusivo. En particular, uno
ya no puede hablar sobre el
límite de una función en un
punto, sino más bien un
límite o el conjunto de
límites en un punto.
Una función es continua en
un punto límite p de y en su
dominio si y solo si f ( p )
es el límite (o, en el caso
general, a ) de f ( x ) ya
que x tiende a p .
Límites que
implican
infinito [ editar ]
Límites en el
infinito [ editar ]
que
cuando x > c . O,
simbólicamente:
.
Del mismo modo, el
límite de f como x
se acerca al infinito
negativo es L ,
denotado
significa que
para todos
existe c tal
que
siempre
que x < c . O,
simbólicamente:
.
Por ejemplo
Límite
s
infinit
os [ edi
tar ]
Los
límites
también
pueden
tener
valores
infinitos.
Cuando
los
infinitos
no se
consider
an
valores
legítimo
s, lo
cual es
estándar
(pero
ver más
abajo),
un
formalist
a
insistirá
en
varias ci
rcunloqu
ias . Por
ejemplo,
en lugar
de decir
que un
límite es
infinito,
lo correc
to es
decir
que la
función
"diverge
"o
"crece
sin
límite".
En
particula
r, el
siguient
e
ejemplo
informal
de cómo
pronunci
ar la
notación
es
posible
mente
inapropi
ado en
el aula
(o en
cualquie
r otro
entorno
formal).
En
cualquie
r caso,
por
ejemplo,
el
límite
de f co
mo x
se acer
ca a
a es
infinito ,
denotad
o
signi
fica
que
para
todo
s
exis
te
tal
que
cua
ndo
.
Esta
s
idea
s se
pue
den
com
bina
r de
form
a
natu
ral
para
prod
ucir
defi
nicio
nes
para
difer
ente
s
com
bina
cion
es,
com
o
P
o
r
e
j
e
m
p
l
o
L
o
s
l
í
m
i
t
e
s
q
u
e
i
n
v
o
l
u
c
r
a
n
e
l
i
n
f
i
n
i
t
o
e
s
t
á
n
c
o
n
e
c
t
a
d
o
s
c
o
n
e
l
c
o
n
c
e
p
t
o
d
e
a
s
í
n
t
o
t
a
s
.
E
s
t
a
s
n
o
c
i
o
n
e
s
d
e
u
n
l
í
m
i
t
e
i
n
t
e
n
t
a
n
p
r
o
p
o
r
c
i
o
n
a
r
u
n
a
i
n
t
e
r
p
r
e
t
a
c
i
ó
n
d
e
l
e
s
p
a
c
i
o
m
é
t
r
i
c
o
l
o
s
l
í
m
i
t
e
s
e
n
e
l
i
n
f
i
n
i
t
o
.
S
i
n
e
m
b
a
r
g
o
,
t
e
n
g
a
e
n
c
u
e
n
t
a
q
u
e
e
s
t
a
s
n
o
c
i
o
n
e
s
d
e
u
n
l
í
m
i
t
e
s
o
n
c
o
n
s
i
s
t
e
n
t
e
s
c
o
n
l
a
d
e
f
i
n
i
c
i
ó
n
d
e
e
s
p
a
c
i
o
t
o
p
o
l
ó
g
i
c
o
d
e
l
í
m
i
t
e
s
i
u
n
b
a
r
r
i
o
d
e
-
∞
s
e
d
e
f
i
n
e
p
a
r
a
c
o
n
t
e
n
e
r
u
n
i
n
t
e
r
v
a
l
o
[
-
∞
,
p
a
r
a
a
l
g
u
n
o
s
R
u
n
b
a
r
r
i
o
d
e
s
e
d
e
f
i
n
e
p
a
r
a
c
o
n
t
e
n
e
r
u
n
i
n
t
e
r
v
a
l
o
∞
)
d
o
n
d
e
R
u
n
b
a
r
r
i
o
d
e
u
n
s
e
d
e
f
i
n
e
e
n
e
l
e
s
p
a
c
i
o
m
é
t
r
i
c
o
d
e
f
o
r
m
a
n
o
r
m
a
l
R
E
n
e
s
t
e
c
a
s
o
,
e
s
u
n
e
s
p
a
c
i
o
t
o
p
o
l
ó
g
i
c
o
c
u
a
l
q
u
i
e
r
f
u
n
c
i
ó
n
d
e
l
a
f
o
r
m
a
c
o
n
e
s
t
á
s
u
j
e
t
a
a
l
a
d
e
f
i
n
i
c
i
ó
n
t
o
p
o
l
ó
g
i
c
a
d
e
u
n
l
í
m
i
t
e
.
T
e
n
g
a
e
n
c
u
e
n
t
a
q
u
e
c
o
n
e
s
t
a
d
e
f
i
n
i
c
i
ó
n
t
o
p
o
l
ó
g
i
c
a
,
e
s
f
á
c
i
l
d
e
f
i
n
i
r
l
í
m
i
t
e
s
i
n
f
i
n
i
t
o
s
e
n
p
u
n
t
o
s
f
i
n
i
t
o
s
,
q
u
e
n
o
s
e
h
a
n
d
e
f
i
n
i
d
o
a
n
t
e
r
i
o
r
m
e
n
t
e
e
n
e
l
s
e
n
t
i
d
o
m
é
t
r
i
c
o
.
N
o
t
a
c
i
ó
n
a
l
t
e
r
n
a
t
i
v
a
e
d
i
t
a
r
]
M
u
c
h
o
s
a
u
t
o
r
e
s
[
1
]
p
e
r
m
i
t
e
n
u
t
i
l
i
z
a
r
l
a
l
í
n
e
a
r
e
a
l
e
x
t
e
n
d
i
d
a
d
e
f
o
r
m
a
p
r
o
y
e
c
t
i
v
a
c
o
m
o
u
n
a
f
o
r
m
a
d
e
i
n
c
l
u
i
r
v
a
l
o
r
e
s
i
n
f
i
n
i
t
o
s
u
n
a
l
í
n
e
a
r
e
a
l
e
x
t
e
n
d
i
d
a
.
C
o
n
e
s
t
a
n
o
t
a
c
i
ó
n
,
l
a
l
í
n
e
a
r
e
a
l
e
x
t
e
n
d
i
d
a
s
e
d
a
c
o
m
o
{
-
∞
,
∞
}
l
a
l
í
n
e
a
r
e
a
l
e
x
t
e
n
d
i
d
a
d
e
m
a
n
e
r
a
p
r
o
y
e
c
t
i
v
a
e
s
R
{
∞
}
d
o
n
d
e
u
n
a
v
e
c
i
n
d
a
d
d
e
e
s
u
n
c
o
n
j
u
n
t
o
d
e
l
a
f
o
r
m
a
>
}
.
L
a
v
e
n
t
a
j
a
e
s
q
u
e
s
o
l
o
s
e
n
e
c
e
s
i
t
a
n
t
r
e
s
d
e
f
i
n
i
c
i
o
n
e
s
d
e
l
í
m
i
t
e
s
(
i
z
q
u
i
e
r
d
a
,
d
e
r
e
c
h
a
c
e
n
t
r
a
l
)
p
a
r
a
c
u
b
r
i
r
t
o
d
o
s
l
o
s
c
a
s
o
s
.
C
o
m
o
s
e
p
r
e
s
e
n
t
ó
a
n
t
e
r
i
o
r
m
e
n
t
e
,
p
a
r
a
u
n
a
e
x
p
l
i
c
a
c
i
ó
n
c
o
m
p
l
e
t
a
m
e
n
t
e
r
i
g
u
r
o
s
a
,
n
e
c
e
s
i
t
a
r
í
a
m
o
s
c
o
n
s
i
d
e
r
a
r
1
5
c
a
s
o
s
s
e
p
a
r
a
d
o
s
p
a
r
a
c
a
d
a
c
o
m
b
i
n
a
c
i
ó
n
d
e
i
n
f
i
n
i
t
o
s
(
c
i
n
c
o
d
i
r
e
c
c
i
o
n
e
s
:
-
∞
,
i
z
q
u
i
e
r
d
a
,
c
e
n
t
r
a
l
,
d
e
r
e
c
h
a
,
∞
;
t
r
e
s
l
í
m
i
t
e
s
:
-
∞
,
f
i
n
i
t
o
,
∞
)
T
a
m
b
i
é
n
h
a
y
p
e
l
i
g
r
o
s
n
o
t
a
b
l
e
s
.
P
o
r
e
j
e
m
p
l
o
,
c
u
a
n
d
o
s
e
t
r
a
b
a
j
a
c
o
n
l
a
l
í
n
e
a
r
e
a
l
e
x
t
e
n
d
i
d
a
,
n
o
p
o
s
e
e
u
n
l
í
m
i
t
e
c
e
n
t
r
a
l
(
q
u
e
e
s
n
o
r
m
a
l
)
:
P
o
r
e
l
c
o
n
t
r
a
r
i
o
,
c
u
a
n
d
o
s
e
t
r
a
b
a
j
a
c
o
n
l
a
l
í
n
e
a
r
e
a
l
p
r
o
y
e
c
t
i
v
a
,
l
o
s
i
n
f
i
n
i
t
o
s
(
c
o
m
o
0
)
n
o
e
s
t
á
n
f
i
r
m
a
d
o
s
,
p
o
r
l
o
t
a
n
t
o
,
e
l
l
í
m
i
t
e
c
e
n
t
r
a
l
e
x
i
s
t
e
e
n
e
s
e
c
o
n
t
e
x
t
o
:
D
e
h
e
c
h
o
,
h
a
y
u
n
a
p
l
é
t
o
r
a
d
e
s
i
s
t
e
m
a
s
f
o
r
m
a
l
e
s
c
o
n
f
l
i
c
t
i
v
o
s
e
n
u
s
o
.
E
n
c
i
e
r
t
a
s
a
p
l
i
c
a
c
i
o
n
e
s
d
e
d
i
f
e
r
e
n
c
i
a
c
i
ó
n
i
n
t
e
g
r
a
c
i
ó
n
n
u
m
é
r
i
c
a
e
s
c
o
n
v
e
n
i
e
n
t
e
,
p
o
r
e
j
e
m
p
l
o
,
f
i
r
m
a
r
c
e
r
o
s
.
U
n
a
s
i
m
p
l
e
r
a
z
ó
n
t
i
e
n
e
q
u
e
v
e
r
c
o
n
e
l
i
n
v
e
r
s
o
d
e
e
s
d
e
c
i
r
,
e
s
c
o
n
v
e
n
i
e
n
t
e
p
a
r
a
s
e
r
c
o
n
s
i
d
e
r
a
d
o
v
e
r
d
a
d
e
r
o
T
a
l
e
s
c
e
r
o
s
s
e
p
u
e
d
e
n
v
e
r
c
o
m
o
u
n
a
a
p
r
o
x
i
m
a
c
i
ó
n
i
n
f
i
n
i
t
e
s
i
m
a
l
e
s
.
L
í
m
i
t
e
s
e
n
e
l
i
n
f
i
n
i
t
o
p
a
r
a
f
u
n
c
i
o
n
e
s
r
a
c
i
o
n
a
l
e
s
e
d
i
t
a
r
]
A
s
í
n
t
o
t
a
h
o
r
i
z
o
n
t
a
l
s
o
b
r
e
y
=
H
a
y
t
r
e
s
r
e
g
l
a
s
b
á
s
i
c
a
s
p
a
r
a
e
v
a
l
u
a
r
l
o
s
l
í
m
i
t
e
s
e
n
e
l
i
n
f
i
n
i
t
o
p
a
r
a
u
n
a
f
u
n
c
i
ó
n
r
a
c
i
o
n
a
l
)
/
)
:
(
d
o
n
d
e
p
y
q
s
o
n
p
o
l
i
n
o
m
i
o
s
)
:
S
i
e
l
g
r
a
d
o
d
e
e
s
m
a
y
o
r
q
u
e
e
l
g
r
a
d
o
d
e
e
n
t
o
n
c
e
s
e
l
l
í
m
i
t
e
e
s
i
n
f
i
n
i
t
o
p
o
s
i
t
i
v
o
n
e
g
a
t
i
v
o
d
e
p
e
n
d
i
e
n
d
o
d
e
l
o
s
s
i
g
n
o
s
d
e
l
o
s
c
o
e
f
i
c
i
e
n
t
e
s
p
r
i
n
c
i
p
a
l
e
s
;
S
i
e
l
g
r
a
d
o
d
e
s
o
n
i
g
u
a
l
e
s
,
e
l
l
í
m
i
t
e
e
s
e
l
c
o
e
f
i
c
i
e
n
t
e
p
r
i
n
c
i
p
a
l
d
e
d
i
v
i
d
i
d
o
p
o
r
e
l
c
o
e
f
i
c
i
e
n
t
e
p
r
i
n
c
i
p
a
l
d
e
;
S
i
e
l
g
r
a
d
o
d
e
e
s
m
e
n
o
r
q
u
e
e
l
g
r
a
d
o
d
e
e
l
l
í
m
i
t
e
e
s
0
.
S
i
e
x
i
s
t
e
e
l
l
í
m
i
t
e
e
n
i
n
f
i
n
i
t
o
,
r
e
p
r
e
s
e
n
t
a
u
n
a
a
s
í
n
t
o
t
a
h
o
r
i
z
o
n
t
a
l
e
n
L
.
L
o
s
p
o
l
i
n
o
m
i
o
s
n
o
t
i
e
n
e
n
a
s
í
n
t
o
t
a
s
h
o
r
i
z
o
n
t
a
l
e
s
;
S
i
n
e
m
b
a
r
g
o
,
t
a
l
e
s
a
s
í
n
t
o
t
a
s
p
u
e
d
e
n
o
c
u
r
r
i
r
c
o
n
f
u
n
c
i
o
n
e
s
r
a
c
i
o
n
a
l
e
s
.
F
u
n
c
i
o
n
e
s
d
e
m
á
s
d
e
u
n
a
v
a
r
i
a
b
l
e
e
d
i
t
a
r
]
A
l
n
o
t
a
r
e
s
o
r
e
p
r
e
s
e
n
t
a
u
n
a
d
i
s
t
a
n
c
i
a
,
l
a
d
e
f
i
n
i
c
i
ó
n
d
e
u
n
l
í
m
i
t
e
s
e
p
u
e
d
e
e
x
t
e
n
d
e
r
f
u
n
c
i
o
n
e
s
d
e
m
á
s
d
e
u
n
a
v
a
r
i
a
b
l
e
.
E
n
e
l
c
a
s
o
d
e
u
n
a
f
u
n
c
i
ó
n
R
2
→
R
S
i
para cada ε > 0 existe un δ> 0 tal que para todos ( x , y ) con 0 <|| ( x , y ) - ( p , q )
|| <δ, entonces | f ( x , y ) - L | <ε
El límite secuencial de f como x tiende a p es L si, para cada secuencia ( x n )
en X - { p } que converge a p , la secuencia f ( x n ) converge a L.
y ,
para todos .
para todos .