Анализ и формализация понятия предела функции#
Понятие предела функции является фундаментальным камнем, на котором строятся здания дифференциального и интегрального исчислений, а также многих других разделов современного математического анализа. Его формализация, прошедшая долгий путь от интуитивных представлений до строгого определения, стала одним из величайших достижений математики XIX века.
1. Интуитивное представление и исторический контекст#
Идея предельного перехода неявно присутствовала в работах античных математиков, например, в методе исчерпывания Архимеда. Однако в современном понимании она начала формироваться в трудах Исаака Ньютона и Готфрида Лейбница при создании основ дифференциального и интегрального исчислений в \(XVII\) веке. Они оперировали понятием «бесконечно малых величин», что было интуитивно понятно, но не имело строгого логического обоснования и приводило к парадоксам.
Потребность в строгом определении предела стала очевидной в \(XIX\) веке, когда математики столкнулись с функциями, ведущими себя «патологически» (например, разрывными во всех точках). Решающий вклад в формализацию этого понятия внесли Огюстен Луи Коши и Карл Вейерштрасс.
2. Формализация: два эквивалентных подхода#
Существуют два канонических и эквивалентных друг другу определения предела функции в точке: определение на языке «эпсилон-дельта» (по Коши) и определение на языке последовательностей (по Гейне).
2.1. Определение предела функции в точке по Коши (на языке \(\varepsilon\)-\(\delta\))#
Это определение является наиболее распространённым и фундаментальным. Оно строго формулирует идею о том, что значения функции \(f(x)\) могут быть сколь угодно близки к числу \(A\), если значения аргумента \(x\) достаточно близки к точке \(a\).
Определение 1 (по Коши): число \(A\) называется пределом функции \(f(x)\) в точке \(a\) (или при \(x \to a\)), если для любого сколь угодно малого положительного числа \(\varepsilon\) (эпсилон) найдётся такое положительное число \(\delta\) (дельта), зависящее от \(\varepsilon\), что для всех \(x\), удовлетворяющих условию \(0 < |x - a| < \delta\), выполняется неравенство \(|f(x) - A| < \varepsilon\).
Символически это записывается так:
Пояснение ключевых моментов:
\(\forall \varepsilon > 0\): мы должны уметь обеспечивать любую степень близости \(f(x)\) к \(A\). Эпсилон задаёт «коридор» \((A - \varepsilon, A + \varepsilon)\) вокруг предельного значения \(A\).
\(\exists \delta > 0\): наша задача — найти такой «коридор» \((a - \delta, a + \delta)\) вокруг точки \(a\), чтобы для любого \(x\) из этого коридора (кроме, возможно, самой точки \(a\)), его образ \(f(x)\) попадал в заданный \(\varepsilon\)-коридор.
\(0 < |x - a|\): это условие подчёркивает, что мы рассматриваем поведение функции в окрестности точки \(a\), но не в самой точке \(a\). Значение функции \(f(a)\) может быть не определено или не совпадать с пределом.
Пример: докажем по определению, что \(\lim_{x \to 2} (3x + 1) = 7\).
Зафиксируем произвольное \(\varepsilon > 0\). Наша цель — найти такое \(\delta > 0\), чтобы из \(0 < |x - 2| < \delta\) следовало \(|(3x + 1) - 7| < \varepsilon\).
Преобразуем последнее неравенство: \(|3x - 6| < \varepsilon \iff 3|x - 2| < \varepsilon \iff |x - 2| < \varepsilon/3\).
Таким образом, если мы выберем \(\delta = \varepsilon/3\), то для всех \(x\), удовлетворяющих условию \(|x - 2| < \delta\), будет выполняться \(|x - 2| < \varepsilon/3\), что эквивалентно \(|(3x + 1) - 7| < \varepsilon\).
Следовательно, по определению Коши, предел равен \(7\).
2.2. Определение предела функции в точке по Гейне (на языке последовательностей)#
Этот подход связывает понятие предела функции с уже известным понятием предела числовой последовательности.
Определение 2 (по Гейне): число \(A\) называется пределом функции \(f(x)\) в точке \(a\), если для любой последовательности \(\{x_n\}\) такой, что \(x_n \to a\) при \(n \to \infty\) (и при этом \(x_n \neq a\) для всех \(n\)), соответствующая последовательность значений функции \(\{f(x_n)\}\) сходится к числу \(A\).
Символически:
Эквивалентность определений: теорема об эквивалентности определений по Коши и по Гейне является центральной в теории пределов. Она утверждает, что если предел существует в смысле одного определения, то он существует и в смысле другого, и их значения совпадают. Это позволяет в зависимости от задачи выбирать наиболее удобное определение для доказательства теорем или решения примеров.
Для просмотра видео включите VPN
from IPython.display import HTML
video_url = "https://www.youtube.com/embed/gCyRR20hcew?list=PLZjXXN70PH5ilxFCrbVJyNofV0_yC2IgH"
HTML(f'<iframe width="840" height="315" src="{video_url}" frameborder="0" allowfullscreen></iframe>')
3. Расширение понятия предела#
Определения Коши и Гейне обобщаются на другие случаи.
3.1. Односторонние пределы#
Предел слева: число \(A\) называется пределом функции \(f(x)\) в точке \(a\) слева, если для любого \(\varepsilon > 0\) найдётся такое \(\delta > 0\), что для всех \(x\) из интервала \((a - \delta, a)\) выполняется неравенство \(|f(x) - A| < \varepsilon\). Обозначается: \(\lim_{x \to a-} f(x)\)
Предел справа: аналогично, для \(x\) из интервала \((a, a + \delta)\). Обозначается: \(\lim_{x \to a+} f(x)\)
Критерий существования предела: предел функции в точке \(a\) существует и равен \(A\) тогда и только тогда, когда существуют и равны друг другу оба односторонних предела, и их общее значение есть \(A\).
3.2. Предел на бесконечности#
Это понятие формализует поведение функции при неограниченном возрастании (или убывании) аргумента.
Определение (по Коши): число \(A\) называется пределом функции \(f(x)\) при \(x \to +\infty\), если для любого \(\varepsilon > 0\) найдётся такое число \(M > 0\), что для всех \(x > M\) выполняется неравенство \(|f(x) - A| < \varepsilon\).
Аналогично определяется предел при \(x \to -\infty\) (требуется \(x < -M\)).
3.3. Бесконечные пределы#
Это случай, когда значения функции неограниченно возрастают (или убывают).
Определение (по Коши): говорят, что предел функции \(f(x)\) в точке \(a\) равен \(+\infty\), если для любого сколь угодно большого числа \(E > 0\) найдётся такое \(\delta > 0\), что для всех \(x\), удовлетворяющих условию \(0 < |x - a| < \delta\), выполняется неравенство \(f(x) > E\).
Аналогично определяются пределы, равные \(-\infty\) и \(\infty\).
4. Основные теоремы о пределах#
На основе формальных определений доказывается ряд фундаментальных свойств пределов, которые являются рабочим инструментом для их вычисления.
Теорема о единственности предела: если предел функции в точке существует, то он единственен.
Арифметические свойства: если существуют \(\lim_{x \to a} f(x) = A\) и \(\lim_{x \to a} g(x) = B\), то:
\(\lim_{x \to a} (f(x) \pm g(x)) = A \pm B\)
\(\lim_{x \to a} (f(x) \cdot g(x)) = A \cdot B\)
\(\lim_{x \to a} \frac{f(x)}{g(x)} = \frac{A}{B}\) (при условии, что \(B \neq 0\)).
Теорема о «двух милиционерах» (Squeeze Theorem): если в некоторой проколотой окрестности точки \(a\) выполняются неравенства \(g(x) \leq f(x) \leq h(x)\), и при этом \(\lim_{x \to a} g(x) = \lim_{x \to a} h(x) = A\), то \(\lim_{x \to a} f(x) = A\). Эта теорема чрезвычайно важна для вычисления пределов тригонометрических и других сложных функций.
Заключение#
Формализация понятия предела функции, выполненная Коши и Вейерштрассом, стала переломным моментом в истории математики. Она не только обеспечила строгую логическую базу для дифференциального и интегрального исчислений, но и открыла путь к развитию таких областей, как теория функций, функциональный анализ и топология. Определение на языке «\(\varepsilon\)-\(\delta\)» является квинтэссенцией математической строгости, требующей глубокого понимания кванторов всеобщности и существования, и служит эталоном для построения других фундаментальных понятий в математическом анализе.