Math ClubMath Club
v1 · padrão canônico

Lição 41 — Limite formal: definição ε-δ

A definição ε-δ de limite. Cauchy 1821, Weierstrass 1872. O ponto onde o cálculo se torna rigoroso.

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

ε>0,  δ>0:  0<xa<δ    f(x)L<ε\forall\varepsilon>0,\;\exists\delta>0:\;0<|x-a|<\delta\;\Rightarrow\;|f(x)-L|<\varepsilon
Choose your door

Rigorous notation, full derivation, hypotheses

Строгое определение

Формальное определение предела ε-δ

"Мы говорим, что предел функции f(x)f(x) при xx, стремящемся к aa, равен LL, если мы можем сделать значения f(x)f(x) произвольно близкими к LL, ограничивая xx достаточно близким к aa (с обеих сторон от aa) и не равным aa." — OpenStax Calculus Vol. 1 §2.2

Метод ε-δ: как построить доказательство

  1. Запишите f(x)L|f(x) - L| и преобразуйте алгебраически до появления множителя, зависящего от xa|x - a|.
  2. Ограничьте xa<1|x - a| < 1 (или другую константу) для управления дополнительными множителями.
  3. Выберите δ=min(1,  ε/C)\delta = \min\bigl(1,\; \varepsilon / C\bigr), где CC — полученный коэффициент.
  4. Проверьте, что цепь 0<xa<δf(x)L<ε0 < |x - a| < \delta \Rightarrow |f(x) - L| < \varepsilon замыкается.

Образцовое доказательство: limx2(3x+1)=7\lim_{x \to 2}(3x + 1) = 7

Набросок: 3x+17=3x6=3x2|3x + 1 - 7| = |3x - 6| = 3|x - 2|. Чтобы 3x2<ε3|x-2| < \varepsilon, достаточно x2<ε/3|x-2| < \varepsilon/3.

Формальное доказательство: Дано ε>0\varepsilon > 0, выберем δ=ε/3\delta = \varepsilon/3. Если 0<x2<δ0 < |x - 2| < \delta, то f(x)7=3x2<3ε3=ε.|f(x) - 7| = 3|x - 2| < 3 \cdot \frac{\varepsilon}{3} = \varepsilon. \quad \square

Односторонние пределы

Пределы на бесконечности и бесконечность как предел

Алгебраические свойства пределов

Пусть limxaf(x)=L\lim_{x \to a} f(x) = L и limxag(x)=M\lim_{x \to a} g(x) = M. Тогда:

limxa[f(x)+g(x)]=L+M,limxa[f(x)g(x)]=LM\lim_{x\to a}[f(x)+g(x)]=L+M, \qquad \lim_{x\to a}[f(x)\cdot g(x)]=L\cdot M
what this means · Сумма и произведение пределов. Доказывается прямым применением ε-δ с использованием неравенства треугольника.
limxaf(x)g(x)=LM,M0\lim_{x\to a}\frac{f(x)}{g(x)}=\frac{L}{M}, \quad M\neq 0
what this means · Частное пределов: справедливо, когда предел знаменателя не равен нулю.

Замечательные пределы

limx0sinxx=1,limx01cosxx2=12,limx0ex1x=1,limx ⁣(1+1x) ⁣x=e\lim_{x\to 0}\frac{\sin x}{x}=1,\quad \lim_{x\to 0}\frac{1-\cos x}{x^2}=\tfrac{1}{2},\quad \lim_{x\to 0}\frac{e^x-1}{x}=1,\quad \lim_{x\to\infty}\!\Bigl(1+\tfrac{1}{x}\Bigr)^{\!x}=e
what this means · Четыре фундаментальных предела анализа, используемые при упрощении неопределённостей.

Решённые примеры

Exercise list

40 exercises · 10 with worked solution (25%)

Application 18Understanding 10Modeling 7Challenge 3Proof 2
  1. Ex. 41.1Application

    Вычислите limx3(2x+1)\displaystyle\lim_{x \to 3}(2x + 1).

  2. Ex. 41.2Application

    Вычислите limx2x24x2\displaystyle\lim_{x \to 2} \frac{x^2 - 4}{x - 2}.

  3. Ex. 41.3Application

    Вычислите limx1x21x1\displaystyle\lim_{x \to 1} \frac{x^2 - 1}{x - 1}.

  4. Ex. 41.4Application

    Вычислите limx0x+11x\displaystyle\lim_{x \to 0} \frac{\sqrt{x+1} - 1}{x}.

  5. Ex. 41.5Application

    Вычислите limx+3x+1x+5\displaystyle\lim_{x \to +\infty} \frac{3x + 1}{x + 5}.

  6. Ex. 41.6Application

    Вычислите limx+2x2+3x21\displaystyle\lim_{x \to +\infty} \frac{2x^2 + 3}{x^2 - 1}.

  7. Ex. 41.7Application

    Вычислите limx0sinxx\displaystyle\lim_{x \to 0} \frac{\sin x}{x}.

  8. Ex. 41.8ApplicationAnswer key

    Вычислите limx0sin(2x)x\displaystyle\lim_{x \to 0} \frac{\sin(2x)}{x}.

  9. Ex. 41.9ApplicationAnswer key

    Вычислите limx01cosxx2\displaystyle\lim_{x \to 0} \frac{1 - \cos x}{x^2}.

  10. Ex. 41.10Application

    Вычислите limx+(1+1x) ⁣x\displaystyle\lim_{x \to +\infty} \left(1 + \frac{1}{x}\right)^{\!x}.

  11. Ex. 41.11Application

    Вычислите limx0ex1x\displaystyle\lim_{x \to 0} \frac{e^x - 1}{x}.

  12. Ex. 41.12ApplicationAnswer key

    Вычислите limx0+1x\displaystyle\lim_{x \to 0^+} \frac{1}{x}.

  13. Ex. 41.13Application

    Вычислите limx01x\displaystyle\lim_{x \to 0^-} \frac{1}{x}.

  14. Ex. 41.14Application

    Вычислите limx2x24x25x+6\displaystyle\lim_{x \to 2} \frac{x^2 - 4}{x^2 - 5x + 6}.

  15. Ex. 41.15Application

    Вычислите limx0sin(5x)sin(3x)\displaystyle\lim_{x \to 0} \frac{\sin(5x)}{\sin(3x)}.

  16. Ex. 41.16Application

    Вычислите limx4x2x4\displaystyle\lim_{x \to 4} \frac{\sqrt{x} - 2}{x - 4}.

  17. Ex. 41.17Application

    Вычислите limx+(x2+1x)\displaystyle\lim_{x \to +\infty} \left(\sqrt{x^2 + 1} - x\right).

  18. Ex. 41.18Application

    Вычислите limx0sin(x2)x\displaystyle\lim_{x \to 0} \frac{\sin(x^2)}{x}.

  19. Ex. 41.19UnderstandingAnswer key

    Для существования limxaf(x)\lim_{x \to a} f(x) необходимо ли, чтобы f(a)f(a) был определён?

  20. Ex. 41.20Understanding

    При каком условии существует предел limxaf(x)\lim_{x \to a} f(x)?

  21. Ex. 41.21Understanding

    Существует ли предел limx0xx\displaystyle\lim_{x \to 0} \frac{|x|}{x}? Вычислите односторонние пределы и сделайте вывод.

  22. Ex. 41.22UnderstandingAnswer key

    Существует ли предел limx0sin ⁣(1x)\displaystyle\lim_{x \to 0} \sin\!\left(\frac{1}{x}\right)?

  23. Ex. 41.23Understanding

    Какая из ситуаций описывает функцию без предела при x=2x = 2?

  24. Ex. 41.24UnderstandingAnswer key

    Напишите по памяти определение ε-δ для limxaf(x)=L\lim_{x \to a} f(x) = L и объясните роль каждого квантора.

  25. Ex. 41.25Understanding

    Рассмотрите f(x)=1f(x) = 1 для x>0x > 0 и f(x)=3f(x) = -3 для x0x \leq 0. Вычислите односторонние пределы при x=0x = 0 и определите, существует ли двусторонний предел.

  26. Ex. 41.26UnderstandingAnswer key

    Вычислите limx0xsin ⁣(1x)\displaystyle\lim_{x \to 0} x\sin\!\left(\frac{1}{x}\right) используя теорему о сжатии.

  27. Ex. 41.27Understanding

    Функция f(x)=(x29)/(x3)f(x) = (x^2 - 9)/(x-3) не определена при x=3x = 3. Вычислите limx3f(x)\lim_{x \to 3} f(x) и объясните, почему предел существует.

  28. Ex. 41.28Understanding

    Вычислите limx01x2\displaystyle\lim_{x \to 0} \frac{1}{x^2} и объясните, почему результат отличается от limx01/x\lim_{x\to 0}1/x.

  29. Ex. 41.29Modeling

    В RC-цепи напряжение на конденсаторе V(t)=V(1et/τ)V(t) = V_\infty(1 - e^{-t/\tau}), где τ>0\tau > 0. Вычислите limt+V(t)\lim_{t \to +\infty} V(t) и интерпретируйте результат физически.

  30. Ex. 41.30Modeling

    Положение объекта s(t)=t2s(t) = t^2 метров. Используя определение предела, вычислите мгновенную скорость v(t)=limh0s(t+h)s(t)hv(t) = \lim_{h \to 0}\dfrac{s(t+h)-s(t)}{h}.

  31. Ex. 41.31Modeling

    В фармакокинетике концентрация лекарства C(t)=C0ektC(t) = C_0 e^{-kt} с k>0k > 0. Вычислите limt+C(t)\lim_{t \to +\infty} C(t) и интерпретируйте результат.

  32. Ex. 41.32Modeling

    В теории управления функция передачи системы первого порядка H(s)=K/(s+1)H(s) = K/(s+1). Вычислите коэффициент усиления постоянного тока lims0H(s)\lim_{s \to 0} H(s) и скажите, что он представляет.

  33. Ex. 41.33ModelingAnswer key

    В моделях роста численности населения темп роста на душу населения убывает по r(x)=(lnx)/xr(x) = (\ln x)/x. Вычислите limx+r(x)\lim_{x \to +\infty} r(x) и интерпретируйте.

  34. Ex. 41.34Modeling

    Ошибка усечения Тейлора удовлетворяет limh0f(0+h)f(0)hf(0)h2\lim_{h \to 0}\dfrac{f(0+h)-f(0)-hf'(0)}{h^2}. Для f(x)=exf(x) = e^x вычислите этот предел и интерпретируйте.

  35. Ex. 41.35ModelingAnswer key

    Что представляет limh0f(a+h)f(a)h\displaystyle\lim_{h \to 0} \frac{f(a+h) - f(a)}{h} когда предел существует? Дайте имя, геометрическую интерпретацию и физическую интерпретацию.

  36. Ex. 41.36ProofAnswer key

    Строго докажите ε-δ методом, что limx3(5x2)=13\lim_{x \to 3}(5x - 2) = 13. Покажите набросок, выбор δ\delta и формальное доказательство.

  37. Ex. 41.37Proof

    Докажите ε-δ методом, что limx3x2=9\lim_{x \to 3} x^2 = 9. Покажите, почему необходим min\min в выборе δ\delta.

  38. Ex. 41.38Challenge

    Вычислите limx0tanxxx3\displaystyle\lim_{x \to 0} \frac{\tan x - x}{x^3}.

  39. Ex. 41.39Challenge

    Вычислите limx+(x2+xx)\displaystyle\lim_{x \to +\infty} \left(\sqrt{x^2 + x} - x\right).

  40. Ex. 41.40Challenge

    Докажите ε-δ методом, что limx21x=12\lim_{x \to 2} \dfrac{1}{x} = \dfrac{1}{2}. Покажите полную стратегию: набросок, ограничение, выбор δ\delta и формальное доказательство.

Источники

  • Active Calculus 2.0 — Matt Boelkins · Grand Valley State University · 2024 · §1.1–1.3 · CC-BY-SA. Первичный источник. Примеры 1, 3, 5 и упражнения Блоков A, C адаптированы из этого труда.
  • Calculus, Volume 1 — OpenStax · 2016 · §2.2–2.5 · CC-BY-NC-SA. Формальное определение §2.5, упражнения Блоков A, B, D.
  • APEX Calculus — Gregory Hartman · Virginia Military Institute · 2023 · §1.1–1.6 · CC-BY-NC. Упражнения на пределы на бесконечности и вызовы Блока D.
  • Cours d'analyse — Augustin-Louis Cauchy · 1821 · общественное достояние. Историческое происхождение формального определения предела.

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

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