Sie sind auf Seite 1von 15

Lmite matemtico

En matemtica, el concepto de lmite es una nocin topolgica que formaliza la nocin


intuitiva de aproximacin hacia un punto concreto de una sucesin o una funcin, a medida
que los parmetros de esa sucesin o funcin se acercan a un determinado valor.
En clculo (especialmente en anlisis real y matemtico) este concepto se utiliza
para definir los conceptos fundamentales
de convergencia, continuidad, derivacin, integracin, entre otros. Si bien, el concepto de
lmite parece intuitivamente relacionado con el concepto de distancia, en un espacio eucldeo,
es la clase de conjuntos abiertos inducidos por dicha mtrica, lo que permite definir
rigurosamente la nocin de lmite.
El concepto se puede generalizar a otros espacios topolgicos, como pueden ser las redes
topolgicas; de la misma manera, es definido y utilizado en otras ramas de la matemtica,
como puede ser la teora de categoras.
Para frmulas, el lmite se utiliza usualmente de forma abreviada mediante lim como en lim(an)
= a o se representa mediante la flecha () como en an a.

Teorema
Unicidad del lmite de una funcin

Si una funcin tiene lmite es nico.

H) Existe limx->af(x)=b
T) b es nico

Demostracin

La demostracin se hace por reduccin al absurdo.


Suponemos que f(x) tiene dos lmites distintos b y c, cuando x tiende a a.
Suponemos que b > c.

limx->af(x)=b => (por def. de lmite) para todo Eb, existe un E*a,1 / para todo x
perteneciente al E*a,1 f(x) pertenece al Eb,.

limx->af(x)=c => (por def. de lmite) para todo Ec, existe un E*a,2 / para todo x
perteneciente al E*a,2 f(x) pertenece al Ec,.

Consideremos un tal que Eb, Ec, = .


Queremos que c+ < b- => < (b - c)/2

Sea = min {1,2}

Para todo x perteneciente al E*a, se cumple

f(x) pertenece a Eb,


f(x) pertenece a Ec,
Absurdo, pues f(x) no puede pertenecer a dos entornos disjuntos.
Absurdo de suponer b c.
Por lo tanto b = c.

Definicin
Lmites laterales
Lmite de f(x) en el punto a por la derecha :
limx->a+f(x)=b <=> para todo > 0 existe > 0 / para todo x perteneciente a (a,a +
) |f(x) - b| < .
Lmite de f(x) en el punto a por la izquierda :
limx->a-f(x)=b <=> para todo > 0 existe > 0 / para todo x perteneciente a (a -
,a) |f(x) - b| < .

Nota: x->a+ indica que x tiende a a por la derecha, es decir que x pertenece al
entorno (a,a + ).
x->a- indica que x tiende a a por la izquierda, es decir que x pertenece al entorno (a -
,a).

A veces las funciones son discontinuas o no estn definidas en un punto a, pero son
continuas a uno y otro lado. En estos casos, el lmite por la izquierda puede ser distinto
del lmite por la derecha.
Ejemplo
f(x) = x2 si x <= 2
-2x + 1 si x > 2

limx->2-f(x)=4
limx->2+f(x)=-3
No existe limx->2f(x)

Teorema

Existe el lmite finito de una funcin <=> los lmites laterales son iguales.

H) limx->af(x)=b
T) limx->a+f(x) = limx->a-f(x) = b

Demostracin:

Directo:
limx->af(x)=b => (por def. de lmite) para todo > 0 existe > 0 / para todo x
perteneciente al E*a, f(x) pertenece al Eb,.

=> para todo > 0 existe > 0 / para todo x perteneciente a (a - ,a) f(x) pertenece
al Eb, => (por def. de lmites laterales) limx->a-f(x)=b.

y para todo > 0 existe > 0 / para todo x perteneciente a (a,a + ) f(x) pertenece al
Eb, => (por def. de lmites laterales) limx->a+f(x)=b.

Recproco:
limx->a+f(x)=b => (por def. de lmites laterales) para todo > 0 existe 1 > 0 / para
todo x perteneciente a (a,a + 1) f(x) pertenece al Eb,.

limx->a-f(x)=b => (por def. de lmites laterales) para todo > 0 existe 2 > 0 / para
todo x perteneciente a (a - 2,a) f(x) pertenece al Eb,.
Sea = min {1,2}

Para todo x perteneciente a E*a, f(x) pertenece al Eb,.

=> (por def. de lmite) limx->af(x) = b.

Ejemplo: en la funcin del ejemplo anterior, no existe limx->2f(x), pues limx->2-f(x)


limx->2+f(x).

Teorema
Conservacin del signo

Para valores de x suficientemente prximos al valor de tendencia, la funcin tiene el


mismo signo que su lmite.

H) limx->af(x)=b > 0
T) Existe > 0 / para todo x perteneciente al E*a, f(x) > 0

Demostracin:

limx->af(x)=b => (por def. de lmite) para todo > 0 existe > 0 / para todo x
perteneciente al E*a, f(x) pertenece al Eb,.
Es decir, b - < f(x) < b + .

Consideremos < b => 0 < b - < f(x) => f(x) > 0.

As, basta considerar un menor que b, para tener un entorno de a donde f(x) es
mayor que 0.

Nota: El teorema tambin se cumple para valores negativos.


Si la funcin tiene distinto signo en la mitad izquierda del entorno de a que en la mitad
derecha, entonces su lmite en a vale 0.
Teorema de la funcin comprendida

Si una funcin est comprendida entre otras dos que tienen igual lmite cuando x
tiende a a, entonces tiene el mismo lmite.

H) limx->af(x) = limx->ag(x) = b
Existe 1 > 0 / para todo x perteneciente al E*a,1 f(x) <= h(x) <= g(x)
T) limx->ah(x)=b

Demostracin:

limx->af(x)=b => (por def. de lmite) para todo > 0 existe 2 > 0 / para todo x
perteneciente al E*a,2b - < f(x) < b + .

limx->ag(x)=b => (por def. de lmite) para todo > 0 existe 3 > 0 / para todo x
perteneciente al E*a,3b - < g(x) < b + .

Sea = min {1,2,3}

Para todo x perteneciente al E*a, b - < f(x) <= h(x) <= g(x) < b +

=> (por def. de lmite) limx->ah(x) = b.

Teorema de la acotacin

Si una funcin tiene lmite finito cuando x tiende a a, entonces est acotada en un
entorno reducido de a.

H) limx->af(x)=b
T) Existe > 0 y existen h y k reales / para todo x perteneciente al E *a, h < f(x) < k
Demostracin.

limx->af(x)=b => (por def. de lmite) para todo > 0 existe > 0 / para todo x
perteneciente al E*a,

b - < f(x) < b +


--^-- --^--
h k
cota inferior cota superior
Nota: tambin podemos expresar la tesis como:
Existe >0 y existen h y k reales positivos / para todo x perteneciente al E*a,
h < |f(x)| < k.

Teorema
Lmite de la suma

El lmite de una suma es igual a la suma de los lmites de cada trmino, siempre que
estos lmites sean finitos.

H) limx->af(x)=b, limx->ag(x)=c
T) limx->af(x) + g(x) = b + c

Demostracin:

Queremos probar que, dado > 0, existe > 0 tal que para todo x perteneciente al
E*a, |(f(x) + g(x)) - (b+c)| < .

Sea ' = /2

limx->af(x)=b => (por def. de lmite) para todo ' > 0 existe 1 > 0 / para todo x
perteneciente al E*a,1 |f(x) - b| < '.

limx->ag(x)=c => (por def. de lmite) para todo ' > 0 existe 2 > 0 / para todo x
perteneciente al E*a,2|g(x) - c| < '.

Sea = min {1,2}

Para todo x perteneciente al E*a, se cumple:

|f(x) - b| < '


|g(x) - c| < '
=> |f(x) - b| + |g(x) - c| < 2' =

|(f(x) + g(x)) - (b+c)| = |(f(x) - b) + (g(x) - c)| <= (*) |f(x) - b| + |g(x) - c| <
(*) Desigualdad triangular: |a + b| <= |a| + |b|

=> (por def. de lmite) limx->af(x) + g(x) = b + c

Ejemplo:
limx->2 x2 = 4
limx->2 x = 2
limx->2 x2 + x = 6

Teorema

H) limx->af(x) = b, limx->ag(x) = +inf


T) limx->af(x) + g(x) = +inf

Demostracin:

limx->af(x)=b => (por def. de lmite) para todo Eb, existe un E*a,1 / para todo x
perteneciente al E*a,1b - < f(x) < b + .

limx->ag(x)= +inf => (por def. de lmite infinito) para todo A > 0 existe un E*a,2 / para
todo x perteneciente al E*a,2g(x) > A.

Sea = min {1,2}

Para todo x perteneciente al E*a, se cumple:

f(x) > b -
g(x) > A
=> f(x) + g(x) > A + b - = K

=> (por def. de lmite infinito) limx->a f(x) + g(x) = +inf.

Teorema

H) limx->af(x) = b, limx->ag(x) = -inf


T) limx->af(x) + g(x) = -inf

Demostracin:

Anloga a la anterior.
Teorema

H) limx->af(x) = +inf, limx->ag(x) = +inf


T) limx->af(x) + g(x) = +inf

Demostracin:

Sea A > 0.
Consideremos A/2.

Por def. de lmite infinito, existe 1 > 0 / para todo x perteneciente al E*a,1 f(x) > A/2

Por def. de lmite infinito, existe 2 > 0 / para todo x perteneciente al E*a,2 g(x) > A/2

Sea = min {1,2}

Para todo x perteneciente al E*a, f(x) + g(x) > A

=> (por def. de lmite infinito) limx->af(x) + g(x) = +inf.

Teorema

H) limx->af(x) = -inf, limx->ag(x) = -inf


T) limx->af(x) + g(x) = -inf

Demostracin:

Anloga a la anterior.

Cuando limx->af(x) = -inf y limx->ag(x) = +inf, el limx->af(x) + g(x) no puede


determinarse, se dice que es INDETERMINADO de la forma inf - inf.

Teorema
Lmite del producto

H) limx->af(x) = b, limx->ag(x) = c
T) limx->af(x).g(x) = b.c

Demostracin:
Queremos probar que, dado > 0, existe > 0 / para todo x perteneciente al E *a, |
f(x).g(x) - b.c| < .

limx->af(x) = b => (por def. de lmite) para todo Eb,1 existe E*a,1 / para todo x
perteneciente al E*a,1 f(x) pertenece al Eb,1.

limx->ag(x) = c => (por def. de lmite) para todo Ec,2 existe E*a,2 / para todo x
perteneciente al E*a,2 f(x) pertenece al Ec,2.

limx->af(x) = b => (por teo. de la acotacin) existe 3 > 0 y k > 0 / para todo x
perteneciente al E*a,3 |f(x)| < k.


Sea 1 = --- , 2 = ---
2|c| 2k

|f(x) - b| < --- => |c||f(x) - b| < --- (1)
2|c| 2

|g(x) - c| < --- => k|g(x) - c| < --- (2)
2k 2

|f(x)| < k => (de 2) |f(x)||g(x) - c| < --- (3)
2
Sea = min {1,2}

De 1) y 3): para todo x perteneciente al E*a,

|c||f(x) - b| + |f(x)||g(x) - c| <

|f(x)g(x) - bc| = |f(x)g(x) - bc + f(x)c - f(x)c| = |c(f(x) - b) + f(x)(g(x) - c)| <= (*) |
c||f(x) - b| + |f(x)||g(x) - c| <

(*) Desigualdad triangular: |a + b| <= |a| + |b|

=> |f(x)g(x) - bc| <

=> (por def. de lmite) limx->af(x)g(x) = bc

Ejemplo
limx->2 x = 2
limx->2 ex = e2
limx->2 xex = 2e2
Teorema

H) limx->af(x) = b, limx->ag(x) = inf


T) limx->af(x)g(x) = inf

Nota: inf denota el infinito, positivo o negativo.

Caso 1:
H) limx->af(x) = b > 0, limx->ag(x) = +inf
T) limx->af(x)g(x) = +inf

Caso 2:
H) limx->af(x) = b > 0, limx->ag(x) = -inf
T) limx->af(x)g(x) = -inf

Caso 3:
H) limx->af(x) = b < 0, limx->ag(x) = +inf
T) limx->af(x)g(x) = -inf

Caso 4:
H) limx->af(x) = b < 0, limx->ag(x) = -inf
T) limx->af(x)g(x) = +inf

Demostracin caso 1:

Quiero probar que para todo B > 0 existe > 0 / para todo x perteneciente al
E*a, f(x)g(x) > B.

limx->af(x) = b => (por teo. de la acotacin) existe 1 > 0 y k > 0 / para todo x
perteneciente al E*a,1 f(x) > k.

limx->ag(x) = +inf => (por def. de lmite infinito) para todo A > 0 existe 2 > 0 / para
todo x perteneciente al E*a,2g(x) > A.

Sea = min {1,2}

Para todo x perteneciente al E*a,

f(x) > k
g(x) > A
=> f(x)g(x) > kA > B
Basta elegir A > B/k.

Los dems casos se demuestran en forma anloga.


Si b = 0 el limx->af(x)g(x) no puede determinarse. Se dice que es una
INDETERMINACIN de la forma 0.inf.

Teorema
Lmite del cociente

H) limx->af(x) = b, limx->ag(x) = c (c distinto de 0)


T) limx->af(x)/g(x) = b/c

Demostracin:

limx->af(x) = b => (por def. de lmite) para todo Eb,1 existe un E*a,1 / para todo x
perteneciente al E*a,1|f(x) - b| < 1.

limx->ag(x) = c => (por def. de lmite) para todo Ec,2 existe un E*a,2 / para todo x
perteneciente al E*a,2|g(x) - c| < 2.

Quiero probar que limx->af(x)/g(x) = b/c, o sea que para todo Eb/c, existe un E*a, / para
todo x perteneciente al E*a,|f(x)/g(x) - b/c| < .

|f(x)c - g(x)b| |f(x)c - g(x)b - bc + bc|


|f(x)/g(x) - b/c| = --------------- = ------------------------- =
|g(x)c| |g(x)c|

|c(f(x) - b) + b(c - g(x))| |c||f(x) - b| + |b||c - g(x)|


--------------------------- <= ----------------------------- <
|g(x)c| (*) |g(x)c| (**)

|c||f(x) - b| + |b||c - g(x)| (1)


-----------------------------
k|c|
(*) Desigualdad triangular: |a + b| <= |a| + |b|.

(**) pues |g(x)|> h por teo. de la acotacin.

Sea 1 = h/2 y 2 = h|c|/2|b|

Para todo x perteneciente al E*a,1

|f(x) - b| < h |c||f(x) - b| < h|c| (2)


--- => ----
2 2
Para todo x perteneciente al E*a,2

|g(x) - c| < h|c| |b||g(x) - c| < h|c| (3)


----- => ----
2|b| 2
Sea = min {1,2}

De 2) y 3): para todo x perteneciente al E*a,

|c||f(x) - b| + |b||g(x) - c| < h|c|


|c||f(x) - b| + |b||c - g(x)| h|c|
=> |f(x)/g(x) - b/c| < ----------------------------- < ----- =
por 1) h|c| h|c|

Ejemplo
ex 1
lim ----- = --
x->0 x + 2 2
Otros cocientes
Caso 1:
H) limx->af(x) = b > 0, limx->ag(x) = 0+
T) limx->af(x)/g(x) = +inf (-inf si b < 0)

El lmite 0+ indica que, en un entorno de a, f(x) se aproxima a 0 por la derecha, es


decir, 0 < f(x) < .

Caso 2:
H) limx->af(x) = b > 0, limx->ag(x) = 0-
T) limx->af(x)/g(x) = -inf (+inf si b < 0)

Caso 3:
H) limx->ag(x) = b > 0, limx->ag(x) = +inf
T) limx->af(x)/g(x) = 0+ (0- si b < 0)

Caso 4:
H) limx->af(x) = b > 0, limx->af(x) = -inf
T) limx->af(x)/g(x) = 0- (0+ si b < 0)

Si limx->af(x) = 0 y limx->ag(x) = 0, limx->af(x)/g(x) no puede determinarse. Se dice que


es INDETERMINADO de la forma 0/0.

Si limx->af(x) = inf y limx->ag(x) = inf, limx->af(x)/g(x) no puede determinarse. Se dice


que es INDETERMINADO de la forma inf/inf.

Lmite exponencial
Caso 1:
H) limx->af(x) = b, limx->ag(x) = c (c0)
T) limx->af(x)g(x) = bc
Caso 2:
H) limx->af(x) = b, limx->ag(x) = 0
T) limx->af(x)g(x) = 1

Caso 3:
H) limx->af(x) = b, limx->ag(x) = +inf
T) limx->af(x)g(x) = +inf

Caso 4:
H) limx->af(x) = b, limx->ag(x) = -inf
T) limx->af(x)g(x) = 0

Si limx->af(x) = 0 y limx->ag(x) = inf, limx->af(x)g(x) no puede determinarse. Se dice que es


INDETERMINADO de la forma 0inf.

Si limx->af(x) = 0 y limx->ag(x) = 0, limx->af(x)g(x) no puede determinarse. Se dice que es


INDETERMINADO de la forma 00.

Si limx->af(x) = inf y limx->ag(x) = 0, limx->af(x)g(x) no puede determinarse. Se dice que es


INDETERMINADO de la forma inf0.

Si limx->af(x) = 1 y limx->ag(x) = inf, limx->af(x)g(x) no puede determinarse. Se dice que es


INDETERMINADO de la forma 1inf.

Teorema

H) limx->a f(x) = 1, limx->a g(x) = inf


T) limx->a f(x)g(x) = ek, k = limf(x)->1, g(x)->inf g(x)(f(x) - 1)

Demostracin:

Sea h(x) = f(x) - 1

lim h(x) = 0 por lmite de la suma

f(x) = 1 + h(x)

lim (1 + h(x))g(x) = lim (1 + h(x))g(x).(h(x)/h(x)) =


h(x)->0, g(x)->inf h(x)->0, g(x)->inf
h(x)0
e
-------^------- (1)
lim (1 + h(x))1/h(x).g(x).h(x) = elim g(x).h(x) =
h(x)->0, g(x)->inf
h(x)0
lim g(x)(f(x) - 1)
e g(x)->inf, f(x)->1
1) por lmite tipo 2 y lmite exponencial.

Funcin compuesta
Si f es una funcin tal que f:A->B y g es una funcin tal que g:C->D, y B es
subconjunto de C (el dominio de g contiene al rango de f), podemos definir una nueva
funcin h:A->D como sigue: para cada x en A, se aplica f resultando un valor f(x) en
B. Luego a este valor f(x) se aplica g, obtenindose g[f(x)]. Definimos h como la
funcin que mapea x en g[f(x)]. Se dice que h es la composicin de g y f: h(x) = (g o
f)(x) = g(f(x))

Teorema
Lmite de la funcin compuesta

H) limx->af(x)=b, limx->bg(x)=c
T) limx->ag[f(x)]=c

Demostracin:

Queremos demostrar que limx->a g[f(x)]=c, o sea, por definicin de lmite, queremos
probar que, dado >0 existe >0 tal que para todo x perteneciente al E*a, g[f(x)]
perteneciente al Ec,.

Por hiptesis limx->bg(x)=c => por def. de lmite, dado >0 existe >0 tal que...

para todo x perteneciente al E*b, g(x) pertenece al Ec, (1)

Por hiptesis limx->af(x) = b => por def. de lmite si tomamos el nmero de (1),
existe >0 tal que...
para todo x perteneciente al E*a, f(x) pertenece al Eb, (2)

De (1) y (2) se deduce que:


Dado >0 existe >0 / para todo x perteneciente al E*a, g[f(x)] pertenece al Ec,.

Teorema
Sustitucin de infinitos equivalentes

H) limx->a (x).f(x) = b (finito o infinito)


(x)x->a--> inf
Existe (x), (x)x->a--> inf / (x)x->a equiv (x)
T) limx-a (x).f(x) = b

Demostracin:
pues lim (x)/(x) = 1
| x->a
(x).(x).f(x) |
lim (x).f(x) = lim --------------- = lim (x).f(x) = b
x->a x->a (x) x->a

Ejemplo
(ex + x2) equiv ex por comparacin de
| infinitos fundamentales
1 | 1 1
lim (ex + x2).--- = lim ex.--- = lim --- = 0
x->+inf e2x x->+inf e2x x->+inf ex

Das könnte Ihnen auch gefallen