LIMITES

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.2 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. 3 La primera presentacin rigurosa de
la tcnica hecha pblica fue dada por Weierstrass en los 1850 y 18604 y desde entonces se ha
convertido en el mtodo estndar para trabajar con lmites.
La notacin de escritura usando la abreviatura lim con la flecha debajo es debida a Hardy en
su libro A Course of Pure Mathematics en 1908.3

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 tiende hacia el
lmite cerca de si se puede hacer que est tan cerca como queramos de haciendo que est
suficientemente cerca 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 existe un tal que
para todo nmero real x en el dominio de la funcin .

Esto, escrito en notacin formal:

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.

Esta es una formulacin estricta del concepto de lmite de una funcin real en un punto de
acumulacin ( o punto lmite) del dominio de la funcin , se debe al matemtico francs
Luis Cauchy.5
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 definida como:

donde no hay ningn nmero a en el dominio para el cual existe el Para demostrar la
anterior afirmacin, es necesario hacer uso del hecho de que cada intervalo contiene
tanto nmeros racionales como irracionales.

Lmite secuencial[editar]
Consiste en definir al lmite de una funcin en trminos de los valores que toma
para sucesiones contenidas en su dominio.
Una funcin real f tiene un lmite L en un punto x = c de su dominio si para toda

sucesin xn que converge a este puntoc, la sucesin f(xn) converge a L.

En trminos formales, si xn es una sucesin tal que
entonces f tiene lmite L en x = c si y slo si
lo cual se simboliza as:
Esta definicin en trminos de sucesiones es equivalente a la definicin psilon-delta de
Cauchy.

[Expandir]Demostracin

El lmite secuencial proporciona una manera sencilla de probar la inexistencia de ciertos

lmites, como por ejemplo el ya mencionado
para ellos basta tomar dos sucesiones diferentes que converjan al punto a:
1. una que contenga slo nmeros racionales y
2. otra que slo contenga irracionales
de esta manera, se obliga a la funcin a tomar dos valores diferentes sobre sucesiones
que tienden a un mismo punto del dominio. Luego, el lmite no existe.

Funciones de dos variables reales[editar]

A medida que se afina el intervalo que encierra a L puede tomarse un disco de radio ms
pequeo, dentro del cual es posible acercarse al punto (a,b), sin necesariamente pasar por l.

Dada una funcin

que a cada par (x,y) de nmeros reales contenido en el conjunto D le asigna un nmero
real z, es posible extender la definicin de lmite a este tipo de funciones. Sea (a,b)
un punto de acumulacin del conjunto D, puede definirse al lmite L de f en este punto
como sigue.

El lmite de una funcin f(x,y) cuando x tiende a a e y tiende a b es L si y slo si para todo > 0
existe un > 0 tal que para todo par de nmeros reales (x,y) en D se cumple la implicacin
Tomaremos como ejemplo la siguiente funcin
El punto (0,0) es un punto de acumulacin del dominio de f, puesto que
cualquier entorno con centro en este punto encierra otros, distintos del primero,
pertenecientes tambin al dominio de la funcin.
Para esta funcin se cumple
lo cual puede ser demostrado por definicin.

[Expandir]Demostracin

Si en vez de una funcin escalar se toma el campo vectorial

la definicin de lmite es anloga.
El lmite del campo vectorial f(x,y) cuando x tiende a a e y tiende a b es el vector L si y slo si
para todo > 0 existe un > 0 tal que para todo par de nmeros reales (x,y) en D se cumple la
siguiente implicacin
Un importante teorema que relaciona las dos definiciones anteriores es el siguiente.
Dado un campo vectorial f y dos funciones escalares P y Q, relacionadas de la siguiente manera
y sea L = (A,B) un vector en R2, bajo estas condiciones se cumple que
Este resultado puede generalizarse a funciones vectoriales de la forma
es decir, de n variables y m componentes.6

Funciones en espacios mtricos[editar]

La definicin de lmite puede generalizarse a cualquier funcin definida entre dos espacios
mtricos. Supngase dados dos conjuntos M y N, con sus respectivas mtricas dM y dN.
Sea la funcin f definida entre los dos espacios mtricos formados por cada par conjuntomtrica,
y sean c 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) < .
De la desigualdad 0 < dM(x, c) < se obtiene lo siguiente:
1. x pertenece a una vecindad de c.
2. x no es igual a c, pues 0 < 0 < dM implica que x es distinto de c.

Unicidad del lmite[editar]

La definicin de lmite permite demostrar el siguiente
Teorema
Si el lmite de una funcin existe, entonces es nico.
Este teorema es vlido en espacios topolgicos Hausdorff.7
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'.
El teorema de unicidad provee de una valiosa herramienta para refutar la existencia de
lmites.

Lmites laterales[editar]

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

Tomemos ahora una funcin de una variable

y un punto x del dominio D de esta funcin, 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. El hecho de
que el lmite no sea el mismo en todo entorno del punto c implica que no es
nico, por esta razn es que no existe.
Los lmites laterales 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, par
todo x 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 ,
consideraremos la definicin anterior con la salvedad de que .
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 aR 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 ta
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 , es decir, todo punto de
la forma , se denomina asntota vertical de la funcin. Para el ejemplo
dado, es la asntota vertical.
El hecho de que no implica que sea posible la divisin por cero.
Segn la definicin de este lmite, , con lo cual, . En definitiva, 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 tod
un para el cual se cumple , siempre que .
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

Expre

Una constante

La funcin identidad

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 que se muestran en la tabla siguiente. Considerar como el
lmite que tiende a infinito y al lmite de una funcin que tiende a
0 o 1, respectivamente.

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]
6.

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.