Lmite de una funcin

El lmite de una funcin es un concepto fundamental del anlisis matemtico, un caso

de lmite aplicado a las funciones.
Intuitivamente, el hecho que una funcin f alcance un lmite L en el punto c, significa que el
valor de f puede ser tan cercano a L como se desee, tomando puntos suficientemente
prximos a c, sin importar el valor que pudiera adquirir o en el punto c.1

Definicin formal[editar]

Funciones de variable real[editar]

Visualizacin de los parmetros utilizados en la definicin de lmite.

Si la funcin

tiene lmite

en

podemos decir de manera informal que la funcin

hacia el lmite

cerca de

si se puede hacer que

haciendo que

est suficientemente cerca de

tiende

est tan cerca como queramos de

siendo

distinto de .

Los conceptos cerca y suficientemente cerca son matemticamente poco precisos. Por esta
razn, se da una definicin formal de lmite que precisa estos conceptos. Entonces se dice:

El lmite de una funcin f(x), cuando x tiende a c es L si y slo si para todo

un

tal que para todo nmero real x en el dominio de la

funcin

Esto, escrito en notacin formal:

existe

Tomando valores arbitrarios de , podemos elegir un para cada uno de estos, de modo que f(x)
y L se acerquen a medida que x se acerca a c.

Lo importante es comprender que el formalismo no lo hacen los smbolos matemticos,

sino, la precisin con la que queda definido el concepto de lmite. Esta notacin es
tremendamente poderosa, pues, nos dice que si el lmite existe, entonces se puede estar
tan cerca de l como se desee. Si no se logra estar lo suficientemente cerca, entonces la
eleccin del no era adecuada. La definicin asegura que si el lmite existe, entonces es
posible encontrar tal .
Veamos un ejemplo. Supongamos que se quiere demostrar que

El

clculo de este lmite surge por simple sustitucin, esto se debe a que la funcin
afn es continua.

[Expandir]Demostracin

Hay casos como por ejemplo la funcin de Dirichlet

donde no existe un nmero c para el cual exista

definida como:

. Por lo tanto, para demostrar

la anterior afirmacin es necesario hacer uso del hecho de que cada intervalo contiene
tanto nmeros racionales como irracionales.

Funciones en espacios mtricos[editar]

Existe otra manera de definir el lmite que tiene que ver con el concepto
de bolas y entornos:
Supngase f : (M, dM) (N, dN) es mapeado entre dos 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:

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) < .
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

, entonces

De la desigualdad 0 < | x - c | < se obtiene lo siguiente:

1. x pertenece a la vecindad ( c - , c ) U ( c, c + ).
2. x no es igual a c, pues 0 < | x - c | implica x distinto de c.
3. La solucin de | f(x) - L | < pertenece al intervalo ( L - , L + ).
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 definida, el valor de y est en el
intervalo vertical con centro en f(c) y radio psilon.

Unicidad del lmite[editar]

Teorema. Si el lmite de una funcin existe, entonces es nico.

Este teorema es vlido en espacios topolgicos Hausdorff.5

Supngase que

y tambin que

siendo L y L' distintos; se debe de comprobar que no puede ser que

verificndose la definicin de lmite. Para ello se toma un entorno E de L y un entorno E'

de L' que no se intersequen. Por definicin de lmite

para todo x en algn

entorno agujereado de c, por lo que no puede estar en E', evitando que el lmite sea L'.

Lmites laterales[editar]

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

Tomemos ahora un punto x del dominio de f aproximndose a c, pero tomando slo

valores ms grandes que l. Formalmente estaramos tomando los x que
verifican

, para ciertos . Si la funcin tiende a un valor

, se dice que

existe el lmite por derecha y se denota as

Tomando valores ms pequeos, es decir los x tales que

, el

lmite puede ser escrito como:

Si los dos lmites anteriores son iguales:

entonces L se pueden referir como el lmite de f(x) en c. Dicho de otro modo,

si los lmites laterales no son iguales, entonces el lmite no existe. Esto se
deduce porque, bajo estas condiciones, el lmite no sera nico.
Estas nociones permiten definir la continuidad y derivabilidad de una funcin
en un punto.

Lmites infinitos[editar]
Existen varios casos de lmites de funciones que involucran la nocin del
infinito, definiremos cada uno de ellos en las secciones siguientes.

Variable que tiende a infinito[editar]

Dado , puede establecerse R de modo que f(x) se acerque a L, a medida que x se

aleja del origen ilimitadamente.

Cuando una variable tienda a infinito, supongamos x, utilizaremos el smbolo

del infinito de esta manera

. Esto significa que la variable x toma

valores arbitrariamente grandes, en magnitud. Analticamente diremos que,

fijado cierto nmero real R, x lo superar en valor absoluto, cualquiera sea
el R tomado.
.
Para esta definicin tomaremos, como caso particular, dos signos del
infinito.
1. Si es

, diremos que x tiende a ms infinito o al infinito

positivo. Lo denotaremos as,

2. Si

significa que x tiende a menos infinito.

Resulta de especial inters el comportamiento de ciertas funciones en el

infinito. Cuando estos lmites existen, y son nmeros reales, podemos
construir la ecuacin de las asntotas horizontales u oblicuas de la
funcin. Definiremos entonces el lmite de una funcin, cuando la variable
independiente tiende a infinito, para cualquier signo.

El lmite de una funcin f(x) cuando x tiende a infinito es L si y slo si para todo
,

tal que, para todox en el dominio de f, se cumple la

implicacin

Si slo se toma uno de los casos, basta aadir la restriccin

correspondiene. Por ejemplo, si queremos calcular el lmite
de
que

, consideraremos la definicin anterior con la salvedad de

.

Tomemos como ejemplo

, definida

. A medida

que damos valores muy grandes a x en valor absoluto, f decrece y se

acerca a cero. Esto se puede demostrar con la definicin dada.

[Expandir]Demostracin

Como

, la ecuacin

determina

la asntota horizontal de la funcin.

Funcin que tiende a infinito[editar]

Tomando R arbitrariamente grande, podemos establecer un de modo que

cuando x se acerque a c, f(x) supere a R en valor absoluto.

Dada cierta funcin f, diremos que tiende a infinito cuando crezca

indefinidamente, a medida que nos acercamos a cierto punto c en el

dominio. Esto equivale a afirmar que f no est acotada, para valores del
dominio suficientemente cercanos a c. Esto se denota
as

, o tambin, se escribe

Si tomamos a la funcin f como una variable, por ejemplo, y, podemos

utilizar la definicin de variable que tiende a infinito, y combinarla con la
definicin de lmite, de la siguiente manera.

El lmite de una funcin f(x), cuando x tiende a c, es infinito si y slo si para todo
existe un

tal que, para todo punto x en el dominio de f, se

cumple

En smbolos,

Como ejemplo, tomemos la funcin racional

, cuya

grfica en el plano es una hiprbola equiltera centrada en el origen

de coordenadas. Tomando x muy cercano a cero, la funcin f(x) toma
valores muy grandes, por eso se dice que f(x) tiende a infinito
cuando x tiende a cero. Esto puede demostrarse con la definicin.

[Expandir]Demostracin

Cuando una funcin tiende a infinito en un punto determinado c del

dominio, la recta que determina la ecuacin
punto de la forma

, se denomina asntota vertical de la

funcin. Para el ejemplo dado,

El hecho de que

, es decir, todo

es la asntota vertical.

no implica que sea posible la divisin

por cero. Segn la definicin de este

lmite,
definitiva,

, con lo cual,

. En

es decir, est expresin es indefinida.

Tomemos otro ejemplo, la funcin logaritmo natural.

Recurrimos al lmite lateral ya que el logaritmo slo est definido

para

en los reales.

[Expandir]Demostracin

Esta funcin tiene una asntota vertical

, igual que la

anterior.

Ambos casos[editar]

A medida que tomamos M cada vez ms grande, podemos

establecer R de modo que f supere a M en valor absoluto cuando lo
hace x, con respecto a R.

Pueden darse ambos casos al mismo tiempo, por ejemplo,

cualquier funcin polinmica de x tiende a infinito,
cuando x tiende a infinito. En este tipo de casos definiremos al
lmite como sigue.

El lmite de una funcin f(x) es infinito, cuando x tiende a infinto, si y slo si para
todo

existe un

que

para el cual se cumple

Tomemos como ejemplo a la funcin afn

, que

es un caso particular de funcin polinmica. Siendo su grfica

una recta, intuitivamente podemos imaginar que tomando puntos
de x muy grandes o muy pequeos los valores de f(x), es
decir, la altura, se hace muy grande o pequea con respecto
a x.

[Expandir]Demostracin

Clculo de lmites[editar]
Los conceptos definidos permiten introducir herramientas para el
clculo de lmites. A partir de las definiciones pueden
demostrarse propiedades algebraicas, listadas en detalle a
continuacin.

Propiedades generales[editar]
Si f(x) y g(x) son funciones de variable real y k es un escalar,
entonces, se cumplen las siguientes propiedades:

Lmite de

Una constante

La funcin
identidad

Expresin

El producto de una
funcin y una
constante

Una suma

Una resta

Un producto

Un cociente

Una potencia

Un logaritmo

El nmero e

Funcin f(x)
acotada y

g(x) infinitesimal

Indeterminaciones[editar]
Vase tambin: Forma indeterminada

Las propiedades generales permiten, junto con la definicin,

calcular lmites indeterminados mediante transformaciones

algebraicas. Hay varios tipos de indeterminaciones, entre ellas

las siguientes (considere
y

como el lmite que tiende a infinito

al lmite cuando tiende a 0; y no al nmero 0):

Operacin

Indeterminacin

Sustraccin

Multiplicacin

Divisin

Elevacin a potencia
Ejemplo.
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:

Ntese que hubiera sido imposible eliminar las

indeterminaciones en los ejemplos anteriores si no se hubiera
supuesto

, desigualdad que se deduce de la definicin.

Regla de l'Hpital[editar]
Artculo principal: Regla de l'Hpital

Esta regla hace uso de la derivada y tiene un uso

condicional. sta slo puede usarse directamente en lmites

que son igual a 0/0 o a /. Otras formas

indeterminadasrequieren alguna manipulacin algebraica, por
lo general, establecer que el lmite es igual a y, tomar
el logaritmo natural en ambos miembros, y entonces aplicar
la regla de l'Hpital.

Por
ejemplo:

Lmites trigonomtricos[editar]

1.

2.

3.

4.

5.
Demostraciones[editar]
Algunas demostraciones, por ejemplo, el segundo de estos
lmites trigonomtricos, requieren el uso de
la inecuacin sin(x) < x < tan(x) en el intervalo (0,/2), que
relaciona xcon las funciones seno y tangente. Luego
dividimos por sin(x), obteniendo:

Invirtiendo los trminos de la inecuacin y cambiando los

signos de desigualdad:

Calculando el lmite cuando x tiende a 0:

Lo que es igual a:

Aplicando el teorema del sndwich o

teorema de estriccin, el lmite
necesariamente vale 1:

El tercero de los lmites se logra

demostrar utilizando las propiedades de
los lmites y el valor obtenido en el lmite
anterior. Es decir: