Math ClubMath Club
v1 · padrão canônico

Lección 41 — Límite formal: definición ε-δ

La definición ε-δ de límite. Cauchy 1821, Weierstrass 1872. El punto donde el cálculo se vuelve riguroso.

Used in: 2.º ano EM (16-17 anos) · Equiv. Math II japonês · Equiv. Klasse 11 alemã (Analysis) · A-Level Further Maths — Limits

limxaf(x)=L    ε>0,δ>0:0<xa<δf(x)L<ε\lim_{x \to a} f(x) = L \iff \forall \varepsilon > 0, \exists \delta > 0 : 0 < |x - a| < \delta \Rightarrow |f(x) - L| < \varepsilon
Choose your door

Rigorous notation, full derivation, hypotheses

Definición rigurosa

Cómo demostrar un límite vía ε-δ

  1. Escribe f(x)L|f(x) - L| en términos de xa|x - a|.
  2. Para \eps>0\eps > 0 arbitrario, encuentra δ=δ(\eps)\delta = \delta(\eps) que haga f(x)L<\eps|f(x) - L| < \eps siempre que 0<xa<δ0 < |x - a| < \delta.

Ejemplo modelo: limx2(3x+1)=7\lim_{x \to 2} (3x + 1) = 7

3x+17=3x6=3x2|3x + 1 - 7| = |3x - 6| = 3|x - 2|. Dado \eps>0\eps > 0, elige δ=\eps/3\delta = \eps/3. Entonces x2<δ3x2<\eps|x - 2| < \delta \Rightarrow 3|x - 2| < \eps. ∎

Límites laterales

  • limxa+f(x)=L\lim_{x \to a^+} f(x) = L: 0<xa<δ0 < x - a < \delta (solo por la derecha).
  • limxaf(x)=L\lim_{x \to a^-} f(x) = L: 0<ax<δ0 < a - x < \delta (solo por la izquierda).
  • limxaf(x)=L    limxa+=limxa=L\lim_{x \to a} f(x) = L \iff \lim_{x \to a^+} = \lim_{x \to a^-} = L.

Límites infinitos

limxaf(x)=+\lim_{x \to a} f(x) = +\infty: M>0,δ>0:0<xa<δf(x)>M\forall M > 0, \exists \delta > 0 : 0 < |x - a| < \delta \Rightarrow f(x) > M.

limxf(x)=L\lim_{x \to \infty} f(x) = L: \eps>0,N:x>Nf(x)L<\eps\forall \eps > 0, \exists N : x > N \Rightarrow |f(x) - L| < \eps.

Tabla de las 4 cuantificaciones

TipoCuantificación
limxa=L\lim_{x \to a} = L\eps,δ\forall \eps, \exists \delta
limxa=\lim_{x \to a} = \inftyM,δ\forall M, \exists \delta
limx=L\lim_{x \to \infty} = L\eps,N\forall \eps, \exists N
limx=\lim_{x \to \infty} = \inftyM,N\forall M, \exists N

Propiedades básicas

  • Límite de la suma = suma de los límites.
  • Límite del producto = producto de los límites.
  • Límite del cociente = cociente, si el denominador 0\neq 0.

Exercise list

40 exercises · 10 with worked solution (25%)

Application 20Understanding 3Modeling 5Challenge 5Proof 7
  1. Ex. 41.1Application
    limx3(2x+1)\lim_{x \to 3} (2x + 1). (Resp.: 7.)
  2. Ex. 41.2Application
    limx0(x2+4x+7)\lim_{x \to 0} (x^2 + 4x + 7).
  3. Ex. 41.3ApplicationAnswer key
    limx2(x24)/(x2)\lim_{x \to 2} (x^2 - 4)/(x - 2). (Resp.: 4.)
  4. Ex. 41.4Application
    limx1(x21)/(x1)\lim_{x \to 1} (x^2 - 1)/(x - 1).
  5. Ex. 41.5ApplicationAnswer key
    limx0(x+11)/x\lim_{x \to 0} (\sqrt{x+1} - 1)/x. (Multiplica por el conjugado.)
  6. Ex. 41.6ApplicationAnswer key
    limx(3x+1)/(x+5)\lim_{x \to \infty} (3x + 1)/(x + 5). (Resp.: 3.)
  7. Ex. 41.7Application
    limx(2x2+3)/(x21)\lim_{x \to \infty} (2x^2 + 3)/(x^2 - 1).
  8. Ex. 41.8Application
    limx0sinx/x\lim_{x \to 0} \sin x / x.
  9. Ex. 41.9Application
    limx0sin(2x)/x\lim_{x \to 0} \sin(2x)/x. (Resp.: 2.)
  10. Ex. 41.10Application
    limx0(1cosx)/x2\lim_{x \to 0} (1 - \cos x)/x^2. (Resp.: 1/21/2.)
  11. Ex. 41.11Application
    limx(1+1/x)x\lim_{x \to \infty} (1 + 1/x)^x.
  12. Ex. 41.12ApplicationAnswer key
    limx0(ex1)/x\lim_{x \to 0} (e^x - 1)/x.
  13. Ex. 41.13Application
    limx0+1/x\lim_{x \to 0^+} 1/x.
  14. Ex. 41.14ApplicationAnswer key
    limx01/x\lim_{x \to 0^-} 1/x.
  15. Ex. 41.15ApplicationAnswer key
    limx2(x24)/(x25x+6)\lim_{x \to 2} (x^2 - 4)/(x^2 - 5x + 6). (Resp.: 4-4.)
  16. Ex. 41.16Application
    limx0sin(5x)/sin(3x)\lim_{x \to 0} \sin(5x)/\sin(3x).
  17. Ex. 41.17Application
    limxx2+1x\lim_{x \to \infty} \sqrt{x^2 + 1} - x. (Resp.: 0.)
  18. Ex. 41.18Application
    limx4(x2)/(x4)\lim_{x \to 4} (\sqrt x - 2)/(x - 4).
  19. Ex. 41.19Application
    limx0sin(x2)/x\lim_{x \to 0} \sin(x^2)/x.
  20. Ex. 41.20Application
    limx(lnx)/x\lim_{x \to \infty} (\ln x)/x. (Resp.: 0.)
  21. Ex. 41.21ProofAnswer key
    Demuestra limx5(2x+3)=13\lim_{x \to 5} (2x + 3) = 13 vía ε-δ.
  22. Ex. 41.22Proof
    Demuestra limx3x2=9\lim_{x \to 3} x^2 = 9 vía ε-δ.
  23. Ex. 41.23Proof
    Demuestra que limx01/x\lim_{x \to 0} 1/x no existe.
  24. Ex. 41.24Proof
    Demuestra que limx0sin(1/x)\lim_{x \to 0} \sin(1/x) no existe.
  25. Ex. 41.25ProofAnswer key
    Demuestra limx1(x3)=1\lim_{x \to 1} (x^3) = 1 vía ε-δ.
  26. Ex. 41.26ProofAnswer key
    Demuestra que el límite, si existe, es único.
  27. Ex. 41.27Proof
    Demuestra el teorema del sándwich (compresión).
  28. Ex. 41.28Understanding
    Demuestra que si limxaf(x)=L\lim_{x \to a} f(x) = L y limxag(x)=M\lim_{x \to a} g(x) = M, entonces lim(f+g)=L+M\lim (f + g) = L + M.
  29. Ex. 41.29Understanding
    Explica por qué f(a)f(a) no necesita estar definido para que limxaf(x)\lim_{x \to a} f(x) exista. Da un ejemplo.
  30. Ex. 41.30Understanding
    Construye una función ff con limx0+f=1\lim_{x \to 0^+} f = 1 y limx0f=1\lim_{x \to 0^-} f = -1. ¿Existe limx0f\lim_{x \to 0} f?
  31. Ex. 41.31Modeling
    En circuito RC, V(t)=V(1et/τ)V(t) = V_\infty (1 - e^{-t/\tau}). Calcula limtV(t)\lim_{t \to \infty} V(t) e interprétalo.
  32. Ex. 41.32Modeling
    Velocidad instantánea v(t)=limΔt0(s(t+Δt)s(t))/Δtv(t) = \lim_{\Delta t \to 0} (s(t + \Delta t) - s(t))/\Delta t para s(t)=t2s(t) = t^2.
  33. Ex. 41.33Modeling
    En farmacocinética, C(t)=C0ektC(t) = C_0 e^{-kt}. Calcula limtC(t)\lim_{t \to \infty} C(t).
  34. Ex. 41.34Modeling
    En control, función de transferencia H(s)=K/(s+1)H(s) = K/(s+1). Calcula lims0H(s)\lim_{s \to 0} H(s) (ganancia DC).
  35. Ex. 41.35Modeling
    Error de truncamiento de Taylor: limh0(f(x+h)f(x)hf(x))/h2=f(x)/2\lim_{h \to 0} (f(x+h) - f(x) - hf'(x))/h^2 = f''(x)/2. Verifícalo para f(x)=exf(x) = e^x, x=0x = 0.
  36. Ex. 41.36Challenge
    limx0(tanxx)/x3\lim_{x \to 0} (\tan x - x)/x^3. (Resp.: 1/31/3.)
  37. Ex. 41.37Challenge
    limx(x2+xx)\lim_{x \to \infty} (\sqrt{x^2 + x} - x). (Resp.: 1/21/2.)
  38. Ex. 41.38Challenge
    limx0ex1xx2\lim_{x \to 0} \frac{e^x - 1 - x}{x^2}.
  39. Ex. 41.39Challenge
    limxπ/2(1sinx)secx\lim_{x \to \pi/2} (1 - \sin x)^{\sec x}.
  40. Ex. 41.40ChallengeAnswer key
    Demuestra vía ε-δ que limx21/x=1/2\lim_{x \to 2} 1/x = 1/2.

Fuentes

Updated on 2026-04-30 · Author(s): Clube da Matemática

Found an error? Open an issue on GitHub or submit a PR — open source forever.