Определение предела в терминах эпсилон и дельта

Определение предела в терминах $\varepsilon$ и $\delta$ («эпсилон–дельта-определение предела») — это формализация понятия предела. Концепция принадлежит Огюстену Луи Коши, который не дал формальное определение предела в терминах $\varepsilon$ и $\delta$ в своём труде Cours d'Analyse, хотя использовал время от времени $\varepsilon$ и $\delta$ в доказательствах. Первым дал формальное определение Бернард Больцано в 1817 году, а современную формулировку дал Карл Вейерштрасс. Он дал точную формулировку следующему неформальному определению: зависимое выражение $f(x)$ стремится к значению L при стремлении переменной x к значению c, если значение $f(x)$ можно сделать сколь угодно близким к значению L путём выбора x достаточно близкого к c.

Если точка x отклоняется менее чем на $\delta$ от значения c, f(x) отклоняется не более чем на $\varepsilon$ от L

История

Несмотря на то, что греки сталкивались со сходимостью, например, в вавилонском методе вычисления квадратных корней, у них не было концепции, подобной современному понятию предела. Необходимость концепции предела возникла в 1600-х годах, когда Пьер Ферма пытался найти угловой коэффициент касательной в точке $x$ к графику функции, такой как $f(x)=x^{2}$. Используя ненулевую, но очень малую, почти нулевую величину $E$, Ферма сделал следующие вычисления:

${\begin{aligned}{\text{наклон}}&={\frac {f(x+E)-f(x)}{E}}\\&={\frac {(x+E)^{2}-x^{2}}{E}}\\&={\frac {x^{2}+2xE+E^{2}-x^{2}}{E}}\\&={\frac {2xE+E^{2}}{E}}=2x+E=2x.\end{aligned}}$

Ключевым фактом вышеприведённых вычислений является ненулевое значение $E$, а тогда можно делить $f(x+E)-f(x)$ на $E$. Однако из-за того, что $E$ близок к 0, выражение $2x+E$, фактически, равно $2x$. Величины, подобные $E$, называются бесконечно малыми. Проблема в этом вычислении заключается в том, что математики той эпохи были не в состоянии точно определить величины со свойствами $E$, хотя общей практикой было пренебрегать высокими степенями бесконечно малых величин, и эта практика давала корректные результаты.

Проблема возникла в конце 1600-х годов при развитии математического анализа, когда вычисления, такие как у Ферма, становятся важными для вычисления производных. Исаак Ньютон первым разработал анализ с помощью бесконечно малых величин, которые называл флюксиями. Он развивал свой метод, имея в виду идею «бесконечно маленького момента времени...». Позднее, Ньютон отказался от флюксий в пользу теории пропорций, которая ближе к современному определению предела $\varepsilon {\text{–}}\delta$․ Более того, Ньютон отдавал себе отчёт, что предел отношения стремящихся к нулю величин не является самим отношением пределов. Он писал:

Это предельные отношения не являются фактическими отношениями предельных величин, а являются пределами, которые могут быть достигнуты ближе, чем любая заданная величина...

Дополнительно, Ньютон время от времени объяснял предел в терминах, похожих на $\varepsilon {\text{–}}\delta$ определение. Готфрид Вильгельм Лейбниц развивал собственные бесконечно малые и пытался обеспечить для них строгую основу, но его идеи были встречены с тревогой некоторыми математиками и философами.

Огюстен Луи Коши дал определение предела в терминах более примитивного понятия, которое он назвал переменной величиной. Он никогда не давал определение предела в терминах $\varepsilon {\text{–}}\delta$ (Grabiner 1981). Некоторые из доказательств Коши содержат признаки $\varepsilon {\text{–}}\delta$ метода. Может ли его подход считаться предвестником подхода Вейерштрасса — предмет научной дискуссии. Существует мнение , что Коши и Вейерштрасс дали одно и то же имя различным понятиям предела.

Со временем Вейерштрасс и Больцано были признаны как давшие твёрдую опору для математического анализа в виде современного $\varepsilon {\text{-}}\delta$ определения предела. Необходимость ссылки на бесконечно малую величину $E$ исчезла, и вычисления Ферма превратились в следующий предел:

$\lim _{h\to 0}{\frac {f(x+h)-f(x)}{h}}.$

Нельзя сказать, что определение свободно от проблем, и, хотя оно и дало возможность избавиться от бесконечно малых величин, позже для него потребовалось построение вещественных чисел Рихарда Дедекинда . Нельзя также сказать, что бесконечно малых нет в современной математике, поскольку математики смогли создать бесконечно малые величины как часть систем гипервещественных чисел или сюрреальных чисел. Более того, можно строго развивать математический анализ с такими величинами, и они имеют другие использования в математике.

Неформальное утверждение

Возможным неформальным (то есть интуитивным или приблизительным) определением является «функция $f$ стремится к пределу L близ точки a (в символьном виде, $\lim _{x\to a}f(x)=L\,$), если можно сделать значение функции f(x) сколь угодно близким к L путём выбора x достаточно близко к (но исключая) a».

Когда говорится, что две величины близки (как f(x) и L, или x и a), имеется в виду, что расстояние между ними мало. Если f(x), L, x и a являются вещественными числами, расстояние между двумя числами равны абсолютной величине разности двух величин. Таким образом, когда говорится, что f(x) близко к L, имеется в виду, что $|f(x)-L|$ мало. Когда говорится, что x и a близки, имеется в виду, что $|x-a|$ мало.

Когда говорится, что можно сделать значение функции f(x) сколь угодно близким к L, имеется в виду, что для всех ненулевых расстояний $\varepsilon$ можно обеспечить расстояние между f(x) и L меньше, чем $\varepsilon$.

Когда говорится, что можно сделать значение функции f(x) сколь угодно близким к L путём требования к x быть достаточно близким к a, но не равным a, имеется в виду, что для любого ненулевого расстояния $\varepsilon$ существует ненулевое расстояние $\delta$, такое, что если расстояние между x и a меньше $\delta$, то расстояние между f(x) и L меньше $\varepsilon$.

Неформальный/интуитивный аспект, используемый здесь, заключается в том, что определение требует следующего внутреннего рассуждения (которое обычно перефразируется на языке например «когда противник/соперник атакует вас с $\varepsilon$, вы защищаетесь величиной $\delta$»): кто-то даёт испытательную величину $\varepsilon >0$ для заданной функции $f$, точки a и предела L. Нужно ответить величиной $\delta >0$, такой что из $0<|x-a|<\delta$ следует $|f(x)-L|<\varepsilon$. Если можно обеспечить ответ на любую испытательную величину, то предел существует.

Точное утверждение и связанные утверждения

Точное утверждение для вещественных функций

Определение в терминах $(\varepsilon ,\delta )$ предела функции следующее:

Пусть $f$ будет вещественной функцией, определённой на подмножестве $D$ вещественных чисел. Пусть $c$ будет предельной точкой множества $D$ и пусть $L$ будет вещественным числом. Говорится, что

$\lim _{x\to c}f(x)=L,$

если для любого $\varepsilon >0$ существует $\delta >0$, такое, что для всех $x\in D$, если $0<|x-c|<\delta$, то $|f(x)-L|<\varepsilon$.

В символическом виде:

$\lim _{x\to c}f(x)=L\iff (\forall \varepsilon >0,\,\exists \ \delta >0,\,\forall x\in D,\,0<|x-c|<\delta \ \Rightarrow \ |f(x)-L|<\varepsilon ).$

Если $D=[a,b]$ или $D=\mathbb {R}$, условие, что $c$ является предельной точкой, может быть заменено на более простое условие, что c принадлежит D, поскольку замкнутые вещественные интервалы и вся вещественная ось являются совершенными множествами.

Точное утверждение для функций между метрическими пространствами

Определение можно обобщить на функции, отображающие метрическое пространство в другое метрическое пространство. Эти пространства приходят с функцией, называемой метрикой, которая берёт две точки пространства и возвращает вещественное число, представляющее расстояние между этими двумя точками. Обобщённое определение:

Предположим, что функция $f$ определена на подмножестве $D$ метрического пространства $X$ с метрикой $d_{X}(x,y)$ и отображает его в метрическое пространство $Y$ с метрикой $d_{Y}(x,y)$. Пусть $c$ будет предельной точкой множеств $D$, а $L$ будет точкой пространства $Y$.

Мы говорим, что

$\lim _{x\to c}f(x)=L,$

если для любого $\varepsilon >0$ существует $\delta$, такой что для всех $x\in D$ из $0<d_{X}(x,c)<\delta$ следует $d_{Y}(f(x),L)<\varepsilon$.

Поскольку $d(x,y)=|x-y|$ является метрикой на вещественных числах, можно показать, что это определение обобщает первое определение для вещественных функций.

Отрицание точного утверждения

Логическое отрицание определения следующее:

Предположим, что функция $f$ определена на подмножестве $D$ метрического пространства $X$ с метрикой $d_{X}(x,y)$ и отображает его в метрическое пространство $Y$ с метрикой $d_{Y}(x,y)$. Пусть $c$ будет предельной точкой множества $D$ и пусть $L$ будет точкой в пространстве $Y$.

Мы говорим, что

$\lim _{x\to c}f(x)\neq L,$

если существует $\varepsilon >0$, такой, что для всех $\delta >0$ существует $x\in D$, такой, что $0<d_{X}(x,c)<\delta$ и $d_{Y}(f(x),L)>\varepsilon$.

Мы говорим что $\lim _{x\to c}f(x)$ не существует, если для всех $L\in Y\lim _{x\to c}f(x)\neq L$.

Для отрицания утверждения для вещественных функций, определённых на вещественных числах, просто берём $d_{Y}(x,y)=d_{X}(x,y)=|x-y|$.

Точное утверждение для предела на бесконечности

Точное определение для предела на бесконечности следующее:

Пусть функция $f$ будет вещественной функцией, определённо на подмножестве $D$ множества вещественных чисел, и это подмножество содержит произвольно большие числа. Мы говорим, что

$\lim _{x\to \infty }f(x)=L,$

если для любого $\varepsilon >0$ существует вещественное число $N>0$, такое, что для всех $x\in D$ из условия $x>N$ вытекает $|f(x)-L|<\varepsilon$.

Можно дать аналогичное определение и для произвольных метрических пространств.

Примеры

Пример 1

Покажем, что

$\lim _{x\to 0}x\sin {\left({\frac {1}{x}}\right)}=0.$

Пусть значение $\varepsilon >0$ задано. Нам нужно найти $\delta >0$, такой, что из $|x-0|<\delta$ следует $\left|x\sin \left({\frac {1}{x}}\right)-0\right|<\varepsilon$.

Поскольку синус ограничен сверху величиной 1, а снизу величиной −1,

${\begin{aligned}\left|x\sin {\left({\frac {1}{x}}\right)}-0\right|&=\left|x\sin {\left({\frac {1}{x}}\right)}\right|=|x|\left|\sin {\left({\frac {1}{x}}\right)}\right|\leqslant |x|.\end{aligned}}$

Таким образом, если мы примем $\delta =\varepsilon$, то из $|x|=|x-0|<\delta$ следует $\left|x\sin {\left({\frac {1}{x}}\right)}-0\right|\leqslant |x|<\varepsilon$, что завершает доказательство.

Пример 2

Докажем, что

$\lim _{x\to a}x^{2}=a^{2}$

для любого вещественного числа $a$.

Пусть значение $\varepsilon >0$ задано. Мы найдём $\delta >0$, такой, что из $|x-a|<\delta$ следует $|x^{2}-a^{2}|<\varepsilon$.

Начнём с разложения на множители:

$|x^{2}-a^{2}|=|(x-a)(x+a)|=|x-a||x+a|.$

Понимаем, что множитель $|x-a|$ ограничен величиной $\delta$, так что мы предполагаем границу 1 и впоследствии можем выбрать что-то меньшее $\delta$

Таким образом, мы полагаем $|x-a|<1$. Поскольку $|x|-|y|\leqslant |x-y|$ выполняется для вещественных чисел $x$ и $y$, мы имеем

$|x|-|a|\leqslant |x-a|<1.$

А тогда,

$|x|<1+|a|.$

Согласно неравенству треугольника,

$|x+a|\leqslant |x|+|a|<2|a|+1.$

Если теперь предположить, что

$|x-a|<{\frac {\varepsilon }{2|a|+1}}$

получим

$|x^{2}-a^{2}|<\varepsilon .$

Выберем

$\delta =\min {\left\{1,{\frac {\varepsilon }{2|a|+1}}\right\}}.$

Теперь, если $|x-a|<\delta$, получаем

${\begin{aligned}|x^{2}-a^{2}|&=|x-a||x+a|<{\frac {\varepsilon }{2|a|+1}}(|x+a|)<{\frac {\varepsilon }{2|a|+1}}(2|a|+1)=\varepsilon .\end{aligned}}$

Таким образом, мы нашли $\delta$, такой, что из $|x-a|<\delta$ следует $|x^{2}-a^{2}|<\varepsilon$. Тем самым мы показали, что

$\lim _{x\to a}x^{2}=a^{2}$

для любого вещественного числа $a$.

Пример 3

Докажем, что

$\lim _{x\to 5}(3x-3)=12.$

Используя графическое понимание предела, можно подвести строгую основу для введения в доказательство. Так, согласно формальному определению, приведенному выше, утверждение о пределе верно тогда и только тогда, когда ограничение отклонения $x$ на величину $\delta$ от точки $c$ неминуемо ограничивает отклонение $f(x)$ от $L$ до величины $\varepsilon$ (см. иллюстрацию в начале статьи). В данном случае это означает, что утверждение верно тогда и только тогда, когда ограничиваем отклонение $x$ на $\delta$ от значения 5 неизбежно ограничивает

$3x-3$

на $\varepsilon$ от значения 12. Чтобы показать это, нужно продемонстрировать, как $\delta$ и $\varepsilon$ должны быть связаны, чтобы требование выполнялось. Мы хотим показать математически, что

$0<|x-5|<\delta \ \Rightarrow \ |(3x-3)-12|<\varepsilon .$

Подводя общие члены, вынося константу 3 и деля на неё в правой части импликации, получаем

$|x-5|<\varepsilon /3,$

что немедленно даёт требуемый результат, если выберем

$\delta =\varepsilon /3.$

Таким образом, доказательство завершено. Ключевой момент доказательства заключается в возможности выбора границ $x$, а потом в возможности перейти к соответствующим границам $f(x)$. В нашем случае это было связано с множителем 3, который появляется как следствие коэффициента наклона 3-й прямой.

$y=3x-3.$

Непрерывность

Говорят что функция f непрерывна в точке c, если она определена в c и её значение в c равно пределу f при стремлении x к c:

$\lim _{x\to c}f(x)=f(c).$

$(\varepsilon ,\delta )$-определение непрерывной функции можно получить из определения предела путём замены $0<|x-c|<\delta$ на $|x-c|<\delta$, чтобы обеспечить, что f определена в c и это значение совпадает с пределом.

Говорят, что функция f непрерывна на интервале I, если она непрерывна в любой точке c интервала I.

Сравнение с определением через бесконечно малые

Ховард Джером Кейслер доказал, что гипервещественное определение предела уменьшает сложность по кванторам на два квантора. А именно, $f(x)$ сходится к пределу L при стремлении $x$ к a тогда и только тогда, когда значение $f(x+e)$ бесконечно близко к L для любого бесконечно малого e. (См. Микронепрерывность для связанных определений непрерывности, фактически принадлежащих Коши.)

Учебники, по исчислению бесконечно малых, основанные на подходе Робинсона, дают определения непрерывности, производной и интеграла в терминах бесконечно малых величин. Когда понятия, такие как непрерывность, всесторонне объяснены через микронепрерывность, подход эпсилон–дельта также представляется. Карел Хрбачек считает, что определения непрерывности, производной и интегрирования в стиле нестандартного анализа Робинсона должны основываться на методе $\varepsilon {-}\delta$, чтобы покрыть также нестандартные входные значения. Блащик возражает, считая, что микронепрерывность полезна при разработке прозрачного определения равномерной непрерывности и считает критицизм Хрбачека «неясными жалобами». Хрбачек предлагает альтернативный нестандартный анализ, который (в отличие от анализа Робинсона) имеет несколько «уровней» бесконечно малых величин, так что пределы на одном уровне могут быть определены в терминах бесконечно малых величин следующего уровня.

См. также

• Непрерывное отображение
• Предел последовательности
• Теорема о двух милиционерах

Дополнительная литература

• The Origins of Cauchy's Rigorous Calculus. — Courier Corporation, 1982. — ISBN 978-0-486-14374-3.
• Conflicts Between Generalization, Rigor, and Intuition: Number Concepts Underlying the Development of Analysis in 17th–19th Century France and Germany. — Springer, 2005. — ISBN 978-0-387-22836-5.