Definición formal
[editar] Funciones de variable real
Visualización de los parámetros utilizados en la definición de límite.
Si la función f tiene límite L en c podemos decir de manera informal que la función f
tiende hacia el límite L cerca de c si se puede hacer que f(x) esté tan cerca como
queramos de L haciendo que x esté suficientemente cerca de c siendo x distinto de c.
Los conceptos cerca y suficientemente cerca son matemáticamente poco precisos. Por
esta razón, se da una definición formal de límite que precisa estos conceptos. Entonces
se dice:
El límite de una función f(x), cuando x tiende a c es L si y sólo si para todo
existe un tal que para todo número real x en el dominio de la función
.
Esto, escrito en notación formal:
Lo importante es comprender que el formalismo no lo hacen los símbolos matemáticos,
sino, la precisión con la que queda definido el concepto de límite. Esta notación es
tremendamente poderosa, pues, nos dice que si el límite existe, entonces se puede estar
tan cerca de él como se desee. Si no se logra estar lo suficientemente cerca, entonces la
elección del δ no era adecuada. La definición asegura que si el límite existe, entonces es
posible encontrar tal δ.
No obstante, hay casos como por ejemplo la función de Dirichlet definida
como:
donde no existe un número c para el cual exista . Por lo tanto, para demostrar
la anterior afirmación es necesario hacer uso del hecho de que cada intervalo contiene
tanto números racionales como irracionales.
[editar] Límites laterales
El límite cuando: x → x0+ ≠ x → x0-. Por lo tanto, el límite cuando x → x0 no existe.
De manera similar, x puede aproximarse a c tomando valores más grandes que éste
(derecha):
o tomando valores más pequeños (izquierda), en cuyo caso los límites pueden ser
escritos como:
Si los dos límites anteriores son iguales:
entonces L se pueden referir como el límite de f(x) en c. Dicho de otro modo, si estos no
son iguales a L entonces el límite, como tal, no existe.
[editar] Funciones en espacios métricos
Existe otra manera definición de límite que tiene que ver con el concepto de bolas y
entornos:
Supóngase f : (M, dM) → (N, dN) es mapeado entre dos espacios métricos, p es un punto
límite de M y L∈N. Decimos que "el límite de f en c es L" y escribimos
si y sólo si para todo ε > 0 existe un δ > 0 tal que para toda x∈M en 0 < dM(x, c) < δ,
tenemos dN(f(x), L) < ε.
En términos de desigualdades, tenemos que el límite de la función 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 solución de | f(x) - L | < ε pertenece al intervalo ( L - ε , L + ε ).
Esto proporciona la clave de comprensión del concepto de límite, 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.
[editar] Unicidad del límite
Teorema. Si el límite de una función existe, entonces es único.
Este teorema es válido en espacios topológicos Hausdorff.4
Supongamos que , veamos que no puede ser que también
verifique la definición. Para ello tomamos un entorno E de L y un entorno E' de L' que
no se intersequen. Por definición de límite para todo x en algún entorno
agujereado de c, por lo que no puede estar en E', evitando que el límite sea L'.
[editar] Propiedades de los límites
[editar] Propiedades generales
Si k es un escalar:
Límite de Expresión
Una constante
La función identidad
El producto de una función y
una constante
Una suma
Una resta
Un producto
Un cociente
Una potencia
Un logaritmo
El número e
Función f(x) acotada y g(x)
infinitesimal .
[editar] Indeterminaciones
Véase también: Forma indeterminada
Hay varios tipos de indeterminaciones, entre ellas las siguientes (considere como el
límite que tiende a infinito y al límite cuando tiende a 0; y no al número 0):
Operación Indeterminación
Sustracción
Multiplicación
División
Elevación a potencia
Ejemplo.
0/0 es una indeterminación, es decir, no es posible, a priori, saber cual es el valor de un
límite que tiende a cero sobre otro que también tiende a cero ya que el resultado no es
siempre el mismo. Por ejemplo:
