Aproximarse a un valor no es lo mismo que alcanzarlo
Un límite pregunta a qué valor se acerca cada vez más una función cuando su entrada se acerca cada vez más a algún punto c, sin exigir que la función esté realmente definida en c, ni que sea igual a ese valor límite allí aunque sí lo esté. Esta distinción —aproximarse frente a alcanzar— es la idea central que separa los límites de la simple sustitución: la sustitución pregunta «¿cuánto vale f(c)?»; un límite pregunta «¿a qué se aproxima f(x) cuando x se acerca arbitrariamente a c?», y las dos preguntas pueden tener respuestas distintas, o una puede tener respuesta cuando la otra no.
Para una función bien comportada (continua), aproximarse y alcanzar dan la misma respuesta, razón por la cual la simple sustitución funciona para la mayoría de funciones que se encuentran en el álgebra introductoria. Los límites se vuelven genuinamente necesarios justamente en los puntos donde una función no está bien comportada —indefinida, discontinua o construida a partir de un cociente que produce una forma indeterminada como 0/0 en ese punto concreto—, que es precisamente donde la sustitución falla pero el límite aún puede existir.
Límites laterales frente a bilaterales
Un límite lateral examina el comportamiento de la función desde una sola dirección: el límite por la izquierda, escrito lim(x→c⁻) f(x), observa los valores de f cuando x se acerca a c desde abajo (a través de valores menores que c); el límite por la derecha, escrito lim(x→c⁺) f(x), observa los valores de f cuando x se acerca a c desde arriba (a través de valores mayores que c). Un límite bilateral, escrito lim(x→c) f(x) sin superíndice, existe solo cuando los límites por la izquierda y por la derecha existen ambos y son iguales entre sí.
La función f(x) = |x| / x ilustra un caso donde los límites laterales discrepan en c = 0: para cualquier x negativo, |x| / x = −1, así que el límite por la izquierda es −1; para cualquier x positivo, |x| / x = 1, así que el límite por la derecha es 1. Como −1 ≠ 1, el límite bilateral en x = 0 no existe, aunque ambos límites laterales existan individualmente y estén perfectamente bien definidos.
| Dirección de aproximación | Comportamiento de f(x) = |x| / x | Límite |
|---|---|---|
| Por la izquierda (x → 0⁻) | f(x) = −1 para todo x < 0 | lim = −1 |
| Por la derecha (x → 0⁺) | f(x) = 1 para todo x > 0 | lim = 1 |
| Bilateral (x → 0) | Los límites por la izquierda y la derecha discrepan (−1 ≠ 1) | No existe |
El caso clásico: por qué sin(x)/x necesita un límite, no una sustitución
Sustituir x = 0 directamente en sin(x)/x da sin(0)/0 = 0/0, una forma indeterminada que por sí sola no lleva ningún valor numérico definido: 0/0 no es automáticamente 0, ni 1, ni indefinido para siempre; simplemente significa que la sustitución directa no puede responder la pregunta y que hay que evaluar un límite en su lugar. Evaluar sin(x)/x en una sucesión de valores de x que se reducen hacia 0 por ambos lados muestra que el valor de la función tiende de forma constante hacia 1, no hacia 0 ni ningún otro número.
Numéricamente: en x = 0,1, sin(x)/x ≈ 0,998334; en x = 0,01, sin(x)/x ≈ 0,999983; en x = 0,001, sin(x)/x ≈ 0,9999998; en x = 0,0001, sin(x)/x ≈ 0,99999998. Tanto la tendencia por la izquierda como por la derecha convergen a 1, así que lim(x→0) sin(x)/x = 1, aunque la propia función sin(x)/x no esté definida exactamente en x = 0. Este resultado es estándar en cálculo y suele demostrarse con rigor mediante un argumento geométrico de encaje (el teorema del sándwich) y no solo con evaluación numérica.
Cuándo no existe un límite: 1/x en x = 0
No todo límite existe. La función f(x) = 1/x, aproximándose a c = 0, ilustra un límite que falla por crecimiento no acotado en lugar de por una simple discrepancia: cuando x se acerca a 0 por la derecha (valores positivos pequeños), 1/x crece sin cota hacia el infinito positivo; cuando x se acerca a 0 por la izquierda (valores negativos pequeños), 1/x crece sin cota hacia el infinito negativo. Como los dos comportamientos laterales divergen hacia infinitos opuestos en lugar de asentarse en un número finito compartido, el límite bilateral en x = 0 no existe.
Los límites también pueden fallar por oscilación en lugar de por divergencia al infinito; por ejemplo, sin(1/x) cuando x tiende a 0 oscila entre −1 y 1 infinitas veces por muy cerca que x llegue a 0, sin asentarse nunca hacia ningún valor único desde ningún lado. Tanto el crecimiento no acotado como la oscilación persistente son razones estándar y bien documentadas por las que un límite no existe, distintas del caso de discrepancia entre límites laterales que muestra |x|/x arriba.
Por qué los límites son el fundamento sobre el que se construyen derivadas e integrales
La definición formal de una derivada es en sí misma un límite —el límite de la pendiente de una recta secante a medida que los dos puntos que la definen se acercan—, y la definición formal de una integral definida también es un límite, el límite de una suma de Riemann a medida que el número de rectángulos crece sin cota. Por tanto, entender qué es un límite y cuándo existe o no, no es un tema secundario en cálculo: es el mecanismo que subyace a las dos operaciones centrales de la materia.
Por eso, además, una calculadora de límites numérica, como la de este sitio, se construye conceptualmente del mismo modo en que se evaluó sin(x)/x arriba: estima el comportamiento por la izquierda y por la derecha evaluando la función en puntos progresivamente más cercanos al valor de aproximación desde cada lado, y luego comprueba si esas dos tendencias coinciden lo bastante como para reportar un límite bilateral.
Preguntas frecuentes
¿Qué significa que un límite no exista?
Significa que el comportamiento de la función cuando x se acerca a un punto concreto no se asienta en un valor único y bien definido; comúnmente porque las aproximaciones por la izquierda y por la derecha discrepan (como con |x|/x en x = 0), porque la función crece sin cota en direcciones opuestas desde cada lado (como con 1/x en x = 0), o porque la función oscila de forma persistente cerca de ese punto sin asentarse.
¿Cuál es la diferencia entre un límite lateral y uno bilateral?
Un límite lateral examina el comportamiento de una función que se aproxima a un punto desde una sola dirección: el límite por la izquierda desde valores inferiores, el límite por la derecha desde valores superiores. Un límite bilateral existe solo cuando ambos límites laterales existen y son iguales entre sí; si discrepan, el límite bilateral no existe aunque cada límite lateral aún pueda estar perfectamente bien definido por su cuenta.
¿Por qué lim(x→0) sin(x)/x = 1 aunque sin(0)/0 no esté definido?
Porque un límite pregunta a qué valor se aproxima una función, no qué valor toma en el propio punto. La sustitución directa da la forma indeterminada 0/0, que por sí sola no lleva ningún valor definido, pero evaluar sin(x)/x en puntos progresivamente más cercanos a 0 por ambos lados muestra el valor convergiendo de forma constante hacia 1, que es el valor del límite aunque la función misma no esté definida exactamente en x = 0.
¿Cuándo no existe un límite?
Un límite no existe cuando las aproximaciones por la izquierda y por la derecha discrepan (como con |x|/x en x = 0), cuando la función crece sin cota hacia infinitos opuestos desde cada lado (como con 1/x en x = 0), o cuando la función oscila de forma persistente cerca del punto sin asentarse hacia ningún valor único (como con sin(1/x) cerca de x = 0).
¿Puede una función tener un límite en un punto donde no está definida?
Sí. Un límite describe el valor al que se aproxima una función cuando su entrada se acerca a un punto, no el valor que la función toma allí, así que las dos preguntas pueden tener respuestas distintas. La función sin(x)/x no está definida en x = 0, y sin embargo su límite cuando x tiende a 0 es exactamente 1, porque los valores de la función convergen a 1 desde ambas direcciones aunque x = 0 esté excluido de su dominio.
Referencias
- Stewart J. Calculus. Cengage Learning (the formal definition of a limit, one-sided limits, and the squeeze theorem).
- Spivak M. Calculus (4th ed). Publish or Perish, 2008 (rigorous treatment of limits and continuity).
- Thomas GB, Weir MD, Hass J. Thomas' Calculus. Pearson (limits, one-sided limits, and indeterminate forms).
- NIST Digital Library of Mathematical Functions (DLMF), Chapter 3: Numerical Methods. dlmf.nist.gov.