Introducción

En las entradas anteriores hemos trabajado con la definición de límite y revisamos sus propiedades. En esta ocasión, daremos la definición de límite por la derecha y límite por la izquierda, que en conjunto son llamados límites laterales. De igual forma, revisaremos algunos ejemplos y su relación con la definición vista anteriormente.

Límites laterales

Las definiciones que veremos a continuación se basan en restringir la forma en que nos acercamos a $x_0.$ El límite por la derecha se enfoca en acercarnos por la derecha, es decir, pediremos que $x>x_0,$ lo cual se traducirá en que debe cumplirse que $0<x-x_0<\delta$. Por otro lado, para el límite por la izquierda debe cumplirse que $x<x_0,$ de esta forma se tendrá que $0<x_0-x<\delta .$ Primero daremos la definición de límite por la derecha.

Definición. Sean $A\subset \mathbb{R}$ y $f:A\to \mathbb{R}.$ Se dice que $L\in \mathbb{R}$ es límite por la derecha de $f$ en $x_0,$ si para todo $\epsilon >0$ existe $\delta >0$ tal que si $0<x-x_0<\delta$ entonces $|f(x)-L|<\epsilon .$ Cuando $L$ es el límite de $f$ en el punto $x_0$ por la derecha, lo denotamos $$\underset{x\to x_0+}{lim}f(x)=L.$$

Análogamente, tenemos la definición de límite por la izquierda.

Definición. Sean $A\subset \mathbb{R}$ y $f:A\to \mathbb{R}.$ Se dice que $L\in \mathbb{R}$ es límite por la izquierda de $f$ en $x_0,$ si para todo $\epsilon >0$ existe $\delta >0$ tal que si $0<x_0–x<\delta$ entonces $|f(x)-L|<\epsilon .$ Cuando $L$ es el límite de $f$ en el punto $x_0$ por la izquierda, lo denotamos $$\underset{x\to x_0-}{lim}f(x)=L.$$

Propiedades de los límites laterales

De forma similar al teorema que vimos para los límites, existe una relación entre el límite lateral de una función y el límite de una sucesión, basta agregar a los supuestos la condición de que la sucesión sea mayor que $x_0$ para todo $n\in \mathbb{N}$ en el caso de límite por la derecha y que sea menor que $x_0$ para todo $n\in \mathbb{N}$ en el caso de límite por la izquierda.

Teorema. Sea $A\subset \mathbb{R}.$ Definimos la función $f:A\to \mathbb{R}.$ Entonces, dado un $x_0,$ los siguientes enunciados son equivalentes.

1. $$\underset{x\to x_0+}{lim}f(x)=L.$$
2. Para toda sucesión $\{a_n\}$ en $A$ que converge a $x_0$ y tal que $a_n>x_0$ para todo $n\in \mathbb{N},$ la sucesión $\{f(a_n)\}$ converge a $L.$

El teorema de límite por la izquierda es similar al anterior. Además, la demostración es totalmente análoga a la revisada en una entrada anterior por lo cual quedará como tarea moral. También recordemos que este teorema nos ayuda a determinar las propiedades que tienen los límites laterales debido a la herencia que nos brinda el límite de una sucesión; es gracias a ello que podremos hacer uso de tales propiedades en los siguientes ejemplos.

Ejemplo 1. Sea $f:\mathbb{R}\to \mathbb{R},$ definida de la siguiente forma

$$f(x)=\{\begin{array}{ll}{x}^3+1& \text{si }x<-1\\ x^2+1& \text{si }x\ge -1.\end{array}$$

Determina los límites laterales en $x_0=-1.$

Primero mostraremos la gráfica de la función:

Calculando el límite por la izquierda, tenemos
$$\underset{x\to -1^{-}}{lim}f(x)=\underset{x\to -1^{-}}{lim}{x}^3+1=0.$$

Por otro lado, el límite por la derecha
$$\underset{x\to -1^{+}}{lim}f(x)=\underset{x\to -1^{+}}{lim}{x}^2+1=2.$$

Por lo tanto
$$\underset{x\to 0^{-}}{lim}f(x)=0\text{ y }\underset{x\to 0^{+}}{lim}f(x)=2.$$

Ejemplo 2. Sea $f:\mathbb{R}\setminus \{0\}\to \mathbb{R}.$ Calcula los límites laterales en $x_0=0$ de

$$f(x)=\frac{|x|}{x}.$$

La gráfica de la función es la siguiente:

Calculando el límite por la izquierda, tenemos
$$\begin{array}{rl}\underset{x\to 0^{-}}{lim}f(x)=& \underset{x\to 0^{-}}{lim}\frac{|x|}{x}\\ =& \underset{x\to 0^{-}}{lim}\frac{-x}{x}\text{, pues }x\text{ < 0}\\ =& \underset{x\to 0^{-}}{lim}-1\\ =& -1.\end{array}$$
Por otro lado, el límite por la derecha
$$\begin{array}{rl}\underset{x\to 0^{+}}{lim}f(x)=& \underset{x\to 0^{+}}{lim}\frac{|x|}{x}\\ =& \underset{x\to 0^{+}}{lim}\frac{x}{x}\text{, pues }x\text{ > 0}\\ =& \underset{x\to 0^{+}}{lim}1\\ =& 1.\end{array}$$
Por lo tanto
$$\underset{x\to 0^{-}}{lim}f(x)=-1\text{ y }\underset{x\to 0^{+}}{lim}f(x)=1.$$

De los ejemplos revisados, el primero tiene la propiedad de que sus límites laterales son iguales mientras que para el segundo y el tercero tales límites son distintos en $x_0.$

Relación entre el límite de una función y sus límites laterales

Parece inmediato inferir que, considerando un punto $x_0$ dado, si los límites por la izquierda y por la derecha existen y son iguales, entonces el límite de la función sí existe en tal punto. De la misma manera, resulta natural que si el límite existe, entonces los límites laterales también existen y son iguales. Probaremos esta equivalencia, pero para hacerlo, primero demostraremos la siguiente proposición.

Proposición. Sean $x,$ $x_0$ en $\mathbb{R}$ y $\delta >0.$ Entonces $0<|x-x_0|<\delta$ si y solo si $0<x-x_0<\delta$ ó $0<x_0-x<\delta .$

Demostración.
Supongamos que $0<|x-x_0|<\delta$.

Caso 1: $x-x_0>0$.
Entonces $|x-x_0|=x-x_0$, así
$$\begin{array}{c}0<|x-x_0|<\delta \iff 0<x-x_0<\delta .\end{array}$$

Caso 2: $x-x_0<0$.
Entonces $|x-x_0|=x_0-x$, así
$$\begin{array}{c}0<|x-x_0|<\delta \iff 0<x_0-x<\delta .\end{array}$$

$$\therefore 0<|x-x_0|<\delta \iff 0<x-x_0<\delta \text{ ó }0<x_0-x<\delta .$$

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Teorema. El límite de una función $f$ en el punto $x_0$ existe y es igual a $L$ si y solo si los límites laterales existen y son iguales a $L$, es decir

$$\underset{x\to x_0}{lim}f(x)=L\iff \underset{x\to x_0^{+}}{lim}f(x)=L=\underset{x\to x_0^{-}}{lim}f(x).$$

Demostración.

$\Rightarrow ]$ Supongamos que $$\underset{x\to x_0}{lim}f(x)=L.$$
Sea $\epsilon >0$. Como $f$ converge a $L$ en $x_0$, existe $\delta >0$ tal que si $0<|x-x_0|<\delta$ se tiene que $|f(x)-L|<\epsilon .$

Si $0<x-x_0<\delta$, entonces $0<|x-x_0|<\delta$ por la proposición anterior. Se sigue que
$$\begin{array}{c}|f(x)-L|<\epsilon .\\ \therefore \underset{x\to x_0^{+}}{lim}f(x)=L.\end{array}$$

Si $0<x_0-x<\delta$, entonces $0<|x-x_0|<\delta$ por la proposición anterior. Se sigue que
$$\begin{array}{c}|f(x)-L|<\epsilon .\\ \therefore \underset{x\to x_0^{-}}{lim}f(x)=L.\end{array}$$

$\Leftarrow ]$ Supongamos que $$\underset{x\to x_0^{+}}{lim}f(x)=L=\underset{x\to x_0^{-}}{lim}f(x)$$
Sea $\epsilon >0.$

Como $\underset{x\to x_0^{+}}{lim}f(x)=L$, existe ${\delta }_1$ tal que si $0<x-x_0<{\delta }_1$ entonces $|f(x)-L|<\epsilon .$

Como $\underset{x\to x_0^{-}}{lim}f(x)=L$, existe ${\delta }_2$ tal que si $0<x_0-x<{\delta }_2$ entonces $|f(x)-L|<\epsilon .$

Consideremos $\delta =min\{{\delta }_1,{\delta }_2\}.$ Por la proposición, si $0<|x-x_0|<\delta$, entonces $0<x-x_0<\delta$ ó $0<x_0-x<\delta .$

Para el primer caso, tenemos que $0<x-x_0<\delta \le {\delta }_1$, entonces $|f(x)-L|<\epsilon .$
Para el segundo caso, se tiene que $0<x_0-x<\delta \le {\delta }_2$, entonces $|f(x)-L|<\epsilon .$

Por lo tanto $$\underset{x\to x_0}{lim}f(x)=L.$$

$$\therefore \underset{x\to x_0}{lim}f(x)=L\iff \underset{x\to x_0^{+}}{lim}f(x)=L=\underset{x\to x_0^{-}}{lim}f(x).$$

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Observación. Ya que hemos demostrado este teorema, podemos notar que si los límites laterales de una función son distintos en un punto $x_0$, entonces no existe el límite de la función en tal punto.

Finalizaremos esta entrada revisando los siguientes ejemplos.

Ejemplo 3. Determina si existe el límite en $x_0=0$ para la siguiente función $$f(x)=x\sqrt{\frac{1}{4x^2}-16}.$$

Veamos primero qué sucede con el límite por la izquierda
$$\begin{array}{rl}\underset{x\to 0^{-}}{lim}f(x)=& \underset{x\to 0^{-}}{lim}x\sqrt{\frac{1}{4x^2}-16}\\ \\ =& \underset{x\to 0^{-}}{lim}x\sqrt{\frac{1-64x^2}{4x^2}}\\ \\ =& \underset{x\to 0^{-}}{lim}\frac{x\sqrt{1-64x^2}}{\sqrt{4x^2}}\\ \\ =& \underset{x\to 0^{-}}{lim}\frac{x\sqrt{1-64x^2}}{2|x|}\\ \\ =& \underset{x\to 0^{-}}{lim}\frac{x\sqrt{1-64x^2}}{-2x}\text{, pues }x\text{ < 0}\\ \\ =& \underset{x\to 0^{-}}{lim}–\frac{\sqrt{1-64x^2}}{2}\\ \\ =& –\frac{1}{2}.\end{array}$$

De forma similar, tenemos que
$$\begin{array}{rl}\underset{x\to 0^{+}}{lim}f(x)=& \underset{x\to 0^{+}}{lim}x\sqrt{\frac{1}{4x^2}-16}\\ \\ =& \underset{x\to 0^{+}}{lim}x\sqrt{\frac{1-64x^2}{4x^2}}\\ \\ =& \underset{x\to 0^{+}}{lim}\frac{x\sqrt{1-64x^2}}{2x}\text{, pues }x\text{ > 0}\\ \\ =& \underset{x\to 0^{+}}{lim}\frac{\sqrt{1-64x^2}}{2}\\ \\ =& \frac{1}{2}.\end{array}$$
$$\therefore \underset{x\to 0^{-}}{lim}f(x)=-\frac{1}{2}\text{ y }\underset{x\to 0^{+}}{lim}f(x)=\frac{1}{2}.$$

Como los límites laterales son distintos, podemos concluir que el límite de la función $f$ no existe en el punto $x_0=0.$

Ejemplo 4. Sea $f:\mathbb{R}\to \mathbb{R}$, definida de la siguiente forma
$$f(x)=\{\begin{array}{ll}{x}^2& \text{si }x<5\\ 2x+15& \text{si }x\ge 5.\end{array}$$
Determina si el límite existe en $x_0=5.$

Iniciemos calculando el límite por la izquierda.
$$\underset{x\to 5^{-}}{lim}f(x)=\underset{x\to 5^{-}}{lim}{x}^2=25.$$

Por otro lado, el límite por la derecha
$$\underset{x\to 5^{+}}{lim}f(x)=\underset{x\to 5^{+}}{lim}2x+15=25.$$

Por lo tanto
$$\underset{x\to 0^{-}}{lim}f(x)=25\text{ y }\underset{x\to 0^{+}}{lim}f(x)=25.$$

Como los límites laterales existen y son iguales, podemos concluir que
$$\underset{x\to 0}{lim}f(x)=25.$$

Más adelante…

¿Qué sucede cuando en lugar de acercarnos a un punto en particular $x_0$, hacemos que $x$ crezca indefinidamente? Esto y otras ampliaciones del concepto del límite serán revisadas en la siguiente entrada con lo cual estaremos listos para calcular todo tipo de límites y, con ello, podremos conocer el comportamiento que toman las funciones tanto en un punto específico como «en el infinito».

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

• Demuestra que
  $i$) $\underset{x\to 0^{+}}{lim}f(x)=\underset{x\to 0^{-}}{lim}f(-x).$
  $ii$) $\underset{x\to 0}{lim}f(|x|)=\underset{x\to 0^{+}}{lim}f(x).$
• Usando la definición épsilon-delta de límite por la derecha, prueba que $\underset{x\to 8^{+}}{lim}\sqrt{x-8}=0.$
• Calcula el límite en $x_0=5$ de la función
  $$f(x)=\{\begin{array}{ll}\frac{x^2-12x+35}{x-5}& \text{si }x<5\\ \frac{x-5}{1-\sqrt{x-4}}& \text{si }x\ge 5.\end{array}$$
• Usando límites laterales, determina si existe $$\underset{x\to 0}{lim}\frac{3x+|x|}{7x-5|x|}.$$

Entradas relacionadas

• Ir a Cálculo Diferencial e Integral I
• Entrada anterior del curso: Teoremas sobre el límite de una función
• Siguiente entrada del curso: Límites en el infinito
• Resto de cursos: Cursos

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»