Lmite de una funcin

El lmite de una funcin es un concepto fundamental

del anlisis matemtico, un caso de lmite aplicado a las
funciones.

Informalmente, el hecho que una funcin f tiene un lmite L en el punto c, signica que el valor de f puede ser tan
cercano a L como se desee, tomando puntos sucientemente cercanos a c, independientemente de lo que ocurra
en c.

Historia

Aunque implcita en el desarrollo del Clculo de los siglos

XVII y XVIII, la notacin moderna del lmite de una funcin se remonta a Bolzano quien, en 1817, introdujo las
bases de la tcnica psilon-delta.[1] Sin embargo, su trabajo no fue conocido mientras l estuvo vivo. Cauchy expuso lmites en su Cours d'analyse (1821) y parece haber
expresado la esencia de la idea, pero no de una manera
sistemtica.[2] La primera presentacin rigurosa de la tcnica hecha pblica fue dada por Weierstrass en los 1850
y 1860[3] y desde entonces se ha convertido en el mtodo
estndar para trabajar con lmites.

Visualizacin de los parmetros utilizados en la denicin de lmite.

que queda denido el concepto de lmite. Esta notacin

es tremendamente poderosa, pues, nos dice que si el lmiLa notacin de escritura usando la abreviatura lim con la te existe, entonces se puede estar tan cerca de l como se
echa debajo es debida a Hardy en su libro A Course of desee. Si no se logra estar lo sucientemente cerca, entonces la eleccin del no era adecuada. La denicin
Pure Mathematics en 1908.[2]
asegura que si el lmite existe, entonces es posible encontrar tal .

2
2.1

Denicin formal

No obstante, hay casos como por ejemplo la funcin de

Dirichlet D : R R denida como:
{
c
D(x) =
d

Funciones de variable real

para x racional
para x irracional
Si la funcin f tiene lmite L en c podemos decir de manera informal que la funcin f tiende hacia el lmite L
cerca de c si se puede hacer que f (x) est tan cerca co- donde no existe un nmero c para el cual exista
mo queramos de L haciendo que x est sucientemente lim
. Por lo tanto, para demostrar la antexc f (x)
cerca de c siendo x distinto de c .
rior armacin es necesario hacer uso del hecho de que
Los conceptos cerca y sucientemente cerca son matem- cada intervalo contiene tanto nmeros racionales como
ticamente poco precisos. Por esta razn, se da una de- irracionales.
nicin formal de lmite que precisa estos conceptos. Entonces se dice:
2.1.1 Lmites laterales
Esto, escrito en notacin formal:
De manera similar, x puede aproximarse a c tomando valores ms grandes que ste (derecha):
lim f (x) = L > 0 > 0/x Dom(f ), 0 < |x c| < |f (x) L| <
xc

Lo importante es comprender que el formalismo no lo

hacen los smbolos matemticos, sino, la precisin con la

lim f (x) = L+

xc+

PROPIEDADES DE LOS LMITES

3. La solucin de | f(x) - L | < pertenece al intervalo

( L - , L + ).

x0

Esto proporciona la clave de comprensin del concepto

de lmite, pues mientras que el valor de x est en la vecindad horizontal alrededor del punto c y agujereada en
c con radio delta y centro c, aun cuando en ese punto c
no est denida, el valor de y est en el intervalo vertical
con centro en f(c) y radio psilon.

3 Unicidad del lmite

El lmite cuando: x x0 + x x0 - . Por lo tanto, el lmite
cuando x x0 no existe.

Este teorema es vlido en espacios topolgicos Hausdor.[4]

Supngase que limxc f (x) = L y tambin que

o tomando valores ms pequeos (izquierda), en cuyo ca- limxc f (x) = L siendo L y L' distintos; se debe de
so los lmites pueden ser escritos como:
comprobar que no puede ser que L = L vericndose
la denicin de lmite. Para ello se toma un entorno E de
L y un entorno E' de L' que no se intersequen. Por denicin de lmite f (x) E para todo x en algn entorno
lim f (x) = L
xc
agujereado de c, por lo que no puede estar en E', evitando
que el lmite sea L'.
Si los dos lmites anteriores son iguales:

lim f (x) = lim+ f (x) = L

xc

4 Propiedades de los lmites

xc

entonces L se pueden referir como el lmite de f(x) en c. 4.1 Propiedades generales

Dicho de otro modo, si estos no son iguales a L entonces
Si f(x) y g(x) son funciones de variable real y k es un
el lmite, como tal, no existe.
escalar, entonces, se cumplen las siguientes propiedades:

2.2

Funciones en espacios mtricos

4.2 Indeterminaciones

Existe otra manera de denir el lmite que tiene que ver

Hay varios tipos de indeterminaciones, entre ellas las sicon el concepto de bolas y entornos:
guientes (considere como el lmite que tiende a innito
Supngase f : (M, dM) (N, dN) es mapeado entre dos y 0 al lmite cuando tiende a 0; y no al nmero 0):
espacios mtricos, c es un punto lmite de M y LN. Se
dice que el lmite de f en c es L" y se escribe:
Ejemplo.
limxc f (x) = L
si y slo si para todo > 0 existe un > 0 tal que para
toda xM en 0 < dM(x, c) < , tenemos dN(f(x), L) < .

0/0 es una indeterminacin, es decir, no es posible, a priori, saber cual es el valor de un lmite que tiende a cero
sobre otro que tambin tiende a cero ya que el resultado
no es siempre el mismo. Por ejemplo:

En trminos de desigualdades, tenemos que el lmite de

la funcin f(x) en x = c es L si se cumple que para todo
> 0 existe un () > 0 tal que, para todo x:
si 0 < |x c| < , entonces |f (x) L| <
De la desigualdad 0 < | x - c | < se obtiene lo siguiente:

4.3 Regla de l'Hpital

Esta regla hace uso de la derivada y tiene un uso con1. x pertenece a la vecindad ( c - , c ) U ( c, c + ). dicional. sta slo puede usarse directamente en lmites
que son igual a 0/0 o a /. Otras formas indeter2. x no es igual a c, pues 0 < | x - c | implica x distinto minadas requieren alguna manipulacin algebraica, por
de c.
lo general, establecer que el lmite es igual a y, tomar el

3
logaritmo natural en ambos miembros, y entonces aplicar
la regla de l'Hpital.
limxc

f (x)
g(x)

= limxc

Por ejemplo: limx0 sin(2x)

sin(3x)
2
3.

4.4

Lmite matemtico

f (x)
g (x)

Lmite superior y lmite inferior

limx0 23 cos(2x)
cos(3x)

21
31

Lmites trigonomtricos

1. limx x sin

( 2 )
x

cos

( 2 )
x

= limx0

x
sin x

= 1

3. limx0

tan x
x

= limx0

x
tan x

= 1

4. limx0

sin x
tan x

= limx0

tan x
sin x

= 1

5. limx0

1cos x
x2

[2] Je Millers history of math website.

[3] MacTutor History of Weierstrass.
[4] Kolmogorov, Andrei (1978). Espacios mtricos y topolgicos. Elementos de la teora de funciones y del anlisis
funcional (3 edicin). Mosc: Mir.

= 1/2

Demostraciones

Algunas demostraciones, por ejemplo, el segundo de estos lmites trigonomtricos, se utilizar la inecuacin
sin(x) < x < tan(x) en el intervalo (0,/2), que relaciona x con las funciones seno y tangente. Luego dividimos
por sin(x), obteniendo:
x
1
<
sin x
cos x
Invirtiendo los trminos de la inecuacin y cambiando los
signos de desigualdad:
1<

sin x
<1
x
Calculando el lmite cuando x tiende a 0:
cos x <

lim cos x < lim

x0

x0

sin x
< lim 1
x0
x

Lo que es igual a:
sin x
<1
x
Aplicando el teorema del sndwich o teorema de estriccin, el lmite necesariamente vale 1:

1 < lim

x0

sin x
=1
x
El tercero de los lmites se logra demostrar utilizando las
propiedades de los lmites y el valor obtenido en el lmite
anterior. Es decir:
lim

x0

lim

x0

6 Referencias
[1] MacTutor History of Bolzano

sin x
x

Lmite de una red topolgica, una generalizacin del

concepto de lmite.

= 2

2. limx0

4.4.1

5 Vase tambin

tan x
x

)
= lim

x0

sin x
x

)
lim

x0

1
=11=1
cos x

7 Enlaces externos
Lmites y continuidad de funciones.
Weisstein, Eric W. Limit (en ingls). MathWorld.
Wolfram Research.

8 TEXT AND IMAGE SOURCES, CONTRIBUTORS, AND LICENSES

Text and image sources, contributors, and licenses

8.1

Text

Lmite de una funcin Fuente: http://es.wikipedia.org/wiki/L%C3%ADmite%20de%20una%20funci%C3%B3n?oldid=77828585 Colaboradores: Vivero, Tano4595, Gengiskanhg, Taichi, RobotQuistnix, Yrbot, BOTijo, YurikBot, Wilfredor, Filipo, Siabef, Folkvanger,
BOTpolicia, CEM-bot, -jem-, Marianov, Davius, Ggenellina, Thijs!bot, Roberto Fiadone, Botones, Isha, Gusgus, JAnDbot, Muro de Aguas,
Gsrdzl, TXiKiBoT, HiTe, Netito777, Nioger, Euandeu, AlnoktaBOT, VolkovBot, Technopat, Nicoguaro, Matdrodes, Fernando Estel, Muro
Bot, YonaBot, Jmvgpartner, SieBot, Mushii, PaintBot, TheSensei, Cobalttempest, Camiloalcubo2, Tirithel, Dnu72, Farisori, Leonpolanco,
Charly genio, Juan Mayordomo, Raulshc, UA31, Ucevista, AVBOT, David0811, Diegusjaimes, Manuel 91, Andreasmperu, Luckas-bot,
Nallimbot, Yonidebot, Nachotraidor, Jkbw, Dreitmen, Botarel, Jerowiki, Dinamik-bot, Goica, Ripchip Bot, Proferichardperez, EmausBot,
Keonda2, Javiermarinros, Emiduronte, Kike1008, AvicBot, Rotlink, Addbot, Luis javier sierra zaleta y Annimos: 152

8.2

Images

Archivo:Lmite_01.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/d/d1/L%C3%ADmite_01.svg Licencia: Public domain

Colaboradores: Trabajo propio Artista original: User:HiTe
Archivo:Upper_semi.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/c/c0/Upper_semi.svg Licencia: Public domain Colaboradores: Trabajo propio Artista original: Mktyscn

8.3

Content license

Creative Commons Attribution-Share Alike 3.0