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
Rigorous notation, full derivation, hypotheses
Строгое определение
Формальное определение предела ε-δ
"Мы говорим, что предел функции при , стремящемся к , равен , если мы можем сделать значения произвольно близкими к , ограничивая достаточно близким к (с обеих сторон от ) и не равным ." — OpenStax Calculus Vol. 1 §2.2
Метод ε-δ: как построить доказательство
- Запишите и преобразуйте алгебраически до появления множителя, зависящего от .
- Ограничьте (или другую константу) для управления дополнительными множителями.
- Выберите , где — полученный коэффициент.
- Проверьте, что цепь замыкается.
Образцовое доказательство:
Набросок: . Чтобы , достаточно .
Формальное доказательство: Дано , выберем . Если , то
Односторонние пределы
Пределы на бесконечности и бесконечность как предел
Алгебраические свойства пределов
Пусть и . Тогда:
Замечательные пределы
Решённые примеры
Exercise list
40 exercises · 10 with worked solution (25%)
- Ex. 41.1Application
Вычислите .
- Ex. 41.2Application
Вычислите .
- Ex. 41.3Application
Вычислите .
- Ex. 41.4Application
Вычислите .
- Ex. 41.5Application
Вычислите .
- Ex. 41.6Application
Вычислите .
- Ex. 41.7Application
Вычислите .
- Ex. 41.8ApplicationAnswer key
Вычислите .
- Ex. 41.9ApplicationAnswer key
Вычислите .
- Ex. 41.10Application
Вычислите .
- Ex. 41.11Application
Вычислите .
- Ex. 41.12ApplicationAnswer key
Вычислите .
- Ex. 41.13Application
Вычислите .
- Ex. 41.14Application
Вычислите .
- Ex. 41.15Application
Вычислите .
- Ex. 41.16Application
Вычислите .
- Ex. 41.17Application
Вычислите .
- Ex. 41.18Application
Вычислите .
- Ex. 41.19UnderstandingAnswer key
Для существования необходимо ли, чтобы был определён?
- Ex. 41.20Understanding
При каком условии существует предел ?
- Ex. 41.21Understanding
Существует ли предел ? Вычислите односторонние пределы и сделайте вывод.
- Ex. 41.22UnderstandingAnswer key
Существует ли предел ?
- Ex. 41.23Understanding
Какая из ситуаций описывает функцию без предела при ?
- Ex. 41.24UnderstandingAnswer key
Напишите по памяти определение ε-δ для и объясните роль каждого квантора.
- Ex. 41.25Understanding
Рассмотрите для и для . Вычислите односторонние пределы при и определите, существует ли двусторонний предел.
- Ex. 41.26UnderstandingAnswer key
Вычислите используя теорему о сжатии.
- Ex. 41.27Understanding
Функция не определена при . Вычислите и объясните, почему предел существует.
- Ex. 41.28Understanding
Вычислите и объясните, почему результат отличается от .
- Ex. 41.29Modeling
В RC-цепи напряжение на конденсаторе , где . Вычислите и интерпретируйте результат физически.
- Ex. 41.30Modeling
Положение объекта метров. Используя определение предела, вычислите мгновенную скорость .
- Ex. 41.31Modeling
В фармакокинетике концентрация лекарства с . Вычислите и интерпретируйте результат.
- Ex. 41.32Modeling
В теории управления функция передачи системы первого порядка . Вычислите коэффициент усиления постоянного тока и скажите, что он представляет.
- Ex. 41.33ModelingAnswer key
В моделях роста численности населения темп роста на душу населения убывает по . Вычислите и интерпретируйте.
- Ex. 41.34Modeling
Ошибка усечения Тейлора удовлетворяет . Для вычислите этот предел и интерпретируйте.
- Ex. 41.35ModelingAnswer key
Что представляет когда предел существует? Дайте имя, геометрическую интерпретацию и физическую интерпретацию.
- Ex. 41.36ProofAnswer key
Строго докажите ε-δ методом, что . Покажите набросок, выбор и формальное доказательство.
- Ex. 41.37Proof
Докажите ε-δ методом, что . Покажите, почему необходим в выборе .
- Ex. 41.38Challenge
Вычислите .
- Ex. 41.39Challenge
Вычислите .
- Ex. 41.40Challenge
Докажите ε-δ методом, что . Покажите полную стратегию: набросок, ограничение, выбор и формальное доказательство.
Источники
- 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 · общественное достояние. Историческое происхождение формального определения предела.