Saltar al contenido
Ejercicios de Cálculo
← 2.10 Teoremas y aplicaciones de límites

Demostración de la unicidad del límite

Tema
2. Límites de funciones › 2.10 Teoremas y aplicaciones de límites
Dificultad
Avanzado
Método
Reducción al absurdo con la definición ε-δ

Demuestra que si lim⁡x→af(x)=L\displaystyle \lim_{x \to a} f(x) = L y lim⁡x→af(x)=M\displaystyle \lim_{x \to a} f(x) = M, entonces L=ML = M.

Ver solución
  1. Supongamos, por el absurdo, que L≠ML \neq M. Tomamos ε=∣L−M∣2>0\varepsilon = \frac{|L - M|}{2} > 0.
  2. Como lim⁡x→af(x)=L\displaystyle \lim_{x \to a} f(x) = L, existe δ1>0\delta_1 > 0 tal que 0<∣x−a∣<δ10 < |x - a| < \delta_1 implica ∣f(x)−L∣<ε|f(x) - L| < \varepsilon.
  3. Como lim⁡x→af(x)=M\displaystyle \lim_{x \to a} f(x) = M, existe δ2>0\delta_2 > 0 tal que 0<∣x−a∣<δ20 < |x - a| < \delta_2 implica ∣f(x)−M∣<ε|f(x) - M| < \varepsilon.
  4. Tomamos un xx con 0<∣x−a∣<min⁡{δ1,δ2}0 < |x - a| < \min\{\delta_1, \delta_2\}. Por la desigualdad triangular: ∣L−M∣≤∣L−f(x)∣+∣f(x)−M∣<ε+ε=∣L−M∣|L - M| \le |L - f(x)| + |f(x) - M| < \varepsilon + \varepsilon = |L - M|.
  5. Obtuvimos ∣L−M∣<∣L−M∣|L - M| < |L - M|, lo cual es imposible. La suposición era falsa, así que L=ML = M.

Resultado final: El límite de una función en un punto, si existe, es único: L=ML = M.