# Зачем математикам предел, которого они не знают? Секреты теоремы Коши

Источник: https://www.youtube.com/watch?v=WCCpss6udNs
Канал: MIT OpenCourseWare
Опубликовано: 02.09.2025

---

В очередной лекции курса MIT OpenCourseWare профессор Массачусетского технологического института Тобиас Колдинг подробно разбирает фундаментальную теорему о сходимости Коши и её глубокие математические следствия. Этот инструмент позволяет доказывать сходимость числовых последовательностей без априорного знания их точных пределов, что открывает двери для построения важнейших концепций математического анализа. В ходе занятия подробно демонстрируются приложения этой теории в вычислительных методах, теории дифференциальных уравнений и классических топологических утверждениях.

## 🔄 Повторение пройденного: монотонность и ограниченность
[[JUMP:0:12]]

Прежде чем переходить к изучению новых математических инструментов, лектор напоминает ключевые выводы предыдущего занятия, закладывающие базис для понимания критерия Коши. В центре внимания находится теорема о монотонной сходимости. Согласно её положениям, любая ограниченная монотонная последовательность гарантированно имеет предел.

Профессор выделяет два возможных сценария развития такой последовательности:

* **Сценарий А (возрастание):** Каждый последующий элемент строго больше или равен предыдущему ($x_{n+1} \ge x_n$). Если при этом вся последовательность ограничена сверху, она сходится к своему супремуму — точной верхней грани множества значений.
* **Сценарий B (убывание):** Каждый последующий элемент строго меньше или равен предыдущему ($x_{n+1} \le x_n$). При наличии ограничения снизу такая последовательность математически неизбежно стремится к своему инфимуму — точной нижней грани множества.

Теорема о монотонной сходимости является мощным локальным средством анализа, однако её применение существенно ограничено требованием строгого сохранения направления движения элементов. На практике большинство последовательностей ведут себя волнообразно или хаотично, что вынуждает математиков искать более универсальный критерий сходимости, не зависящий от монотонности.

## 🎯 Критерий Коши: фундаментальные последовательности и их ограниченность
[[JUMP:2:01]]

В качестве универсального решения проблемы сходимости выступает концепция, названная в честь французского математика Огюстена Луи Коши. Числовая последовательность $x$ называется последовательностью Коши (или фундаментальной последовательностью), если для любого сколь угодно малого положительного числа $\epsilon > 0$ можно подобрать такой фиксированный номер $N$, что для всех без исключения элементов с номерами $n$ и $m$, превышающими этот порог ($n, m \ge N$), расстояние между ними окажется строго меньше $\epsilon$.

В неформальном изложении, как подмечает Тобиас Колдинг, суть этого определения заключается в том, что «хвост» последовательности начинает плотно стягиваться и группироваться вокруг самого себя. Важнейшим промежуточным свойством таких математических объектов является их обязательная ограниченность.

Доказательство этого факта строится на изящном логическом допущении, где величина $\epsilon$ искусственно принимается равной единице ($\epsilon = 1$). Исходя из дефиниции фундаментальности, для этого значения существует определённый индекс $N$, после которого расстояние между любыми элементами меньше единицы. Если зафиксировать один из индексов, приравняв его к пороговому значению ($m = N$), то для всех последующих элементов $n > N$ будет справедливо неравенство:

$$|x_n - x_N| < 1$$

Используя алгебраический прием с вычитанием и последующим прибавлением базового элемента $x_N$ внутри модуля, выражение можно переписать через классическое неравенство треугольника:

$$|x_n| = |(x_n - x_N) + x_N| \le |x_n - x_N| + |x_N| < 1 + |x_N|$$

Таким образом, для всех элементов с индексами, превосходящими $N$, обнаружена единая верхняя граница сдвига. Чтобы ограничить последовательность целиком, включая её начальный отрезок, достаточно найти максимальное значение среди всех оставшихся элементов. Для этого вводится константа $M$:

$$M = \max(|x_1|, |x_2|, \dots, |x_{N-1}|, 1 + |x_N|)$$

Поскольку $M$ является максимальным элементом из конечного множества, абсолютно любой член исследуемой последовательности $x_n$ гарантированно не превышает это значение по модулю ($|x_n| \le M$) при любом значении $n$. Это полностью доказывает, что любая последовательность Коши априори ограничена.

## 📐 Теорема о сжимающих отображениях и поиск неподвижных точек
[[JUMP:9:27]]

Главный тезис лекции — теорема о сходимости Коши — утверждает, что любая фундаментальная последовательность на множестве вещественных чисел является сходящейся. Ранее в рамках курса было доказано обратное утверждение (всякая сходящаяся последовательность фундаментальна), поэтому критерий Коши представляет собой необходимое и достаточное условие.

Перед разбором чистого математического доказательства профессор Колдинг предлагает рассмотреть прикладные аспекты этой теории, важнейшим из которых является теорема о сжимающих отображениях. Данный теоретический конструкт оперирует понятием функции $T$, отображающей вещественную прямую $\mathbb{R}$ в саму себя. Функция признаётся сжимающим отображением, если существует постоянная величина $c$ (называемая коэффициентом сжатия), удовлетворяющая двум жёстким условиям:

* Значение константы должно быть строго положительным ($c > 0$).
* Величина константы должна быть строго меньше единицы ($c < 1$).

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

$$|T(x) - T(y)| \le c|x - y|$$

С этой концепцией неразрывно связано понятие неподвижной точки. Точка $x$ признаётся неподвижной для отображения $T$, если под действием этой функции она остаётся абсолютно неизменной, то есть преобразуется сама в себя: $T(x) = x$. Отвечая на уточняющий вопрос из аудитории, лектор подчёркивает, что коэффициент $c$ обязан быть универсальным для всех возможных пар элементов на рассматриваемом промежутке.

Первое важнейшее свойство сжимающих отображений оформлено в виде леммы: у такого отображения не может быть более одной неподвижной точки. Доказательство ведётся от противного. Если предположить, что существуют две различные неподвижные точки $x$ и $y$, то расстояние между их образами $|T(x) - T(y)|$ с одной стороны должно в точности равняться $|x - y|$. С другой стороны, в силу свойства сжатия, оно обязано подчиняться условию:

$$|x - y| \le c|x - y|$$

Поскольку константа $c$ строго меньше единицы, подобное числовое неравенство для модулей возможно исключительно в одном-единственном случае — когда расстояние между точками тождественно равно нулю ($|x - y| = 0$). Это неизбежно приводит к выводу, что $x = y$, подтверждая уникальность неподвижной точки.

Далее профессор Колдинг раскрывает алгоритмическую суть поиска этой точки, которая включена в домашнее задание для студентов (P set 3). Если взять совершенно случайную стартовую точку $a_0 = x$ и начать последовательно применять к ней функцию $T$, сформируется итерационная последовательность:

$$a_1 = T(x), \quad a_2 = T(a_1) = T(T(x)) = T^2(x), \quad \dots, \quad a_{n+1} = T(a_n) = T^{n+1}(x)$$

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

$$|a_{n+1} - a_n| = |T(a_n) - T(a_{n-1})|$$

Применяя базовое свойство сжатия, мы обнаруживаем, что расстояние уменьшилось пропорционально коэффициенту $c$:

$$|a_{n+1} - a_n| \le c|a_n - a_{n-1}|$$

Повторяя (итерируя) этот шаг последовательно вглубь до самого первого элемента $a_0$, математики получают финальную оценку шага:

$$|a_{n+1} - a_n| \le c^n|a_1 - a_0|$$

Поскольку коэффициент $c < 1$, при устремлении числа итераций $n$ к бесконечности множитель $c^n$ становится бесконечно малым, стирая разницу между соседними шагами алгоритма. С помощью детальных выкладок это свойство масштабируется на любые произвольные элементы последовательности, доказывая её фундаментальность.

Опираясь на критерий Коши, лектор завершает доказательство глобальной теоремы о сжимающих отображениях. Раз последовательность $a_n$ фундаментальна, она сходится к некоторому предельному значению $a$. Для проверки того, является ли этот предел неподвижной точкой, оценивается расстояние $|T(a_n) - T(a)| \le c|a_n - a|$. Так как $a_n \to a$, правая часть стремится к нулю, а значит, последовательность образов $T(a_n)$ сходится к $T(a)$. С другой стороны, $T(a_n)$ — это просто смещённая на один шаг последовательность $a_{n+1}$, которая обязана иметь тот же предел $a$. В силу единственности предела вещественной последовательности, справедливо равенство:

$$a = T(a)$$

По оценке Тобиаса Колдинга, данная теорема обладает колоссальной математической мощью. Она активно применяется для доказательства существования решений в теории обыкновенных дифференциальных уравнений (ОДУ), уравнений в частных производных (УЧП) и смежных областях математической физики.

## 🏎️ Метод Ньютона: практическое применение сжимающих отображений
[[JUMP:38:06]]

Для иллюстрации работы сжимающих отображений на практике лектор подробно разбирает знаменитый численный метод Ньютона, предназначенный для нахождения нулей (корней) сложных непрерывных функций $f(x) = 0$. В случаях, когда аналитическое решение уравнения невозможно или затруднено, этот алгоритм позволяет найти корень итерационным путём.

Метод Ньютона базируется на искусственном построении вспомогательной функции отображения:

$$T(x) = x - \frac{f(x)}{f'(x)}$$

Предполагая, что производная функции $f'(x)$ нигде не обращается в ноль, профессор производит дифференцирование данного отображения по правилу взятия производной от частного:

$$T'(x) = 1 - \frac{(f'(x))^2 - f(x)f''(x)}{(f'(x))^2} = \frac{f(x)f''(x)}{(f'(x))^2}$$

В силу классической теоремы о среднем значении (теоремы Лагранжа), разность между результатами отображения в двух точках можно связать со значением производной в некоторой промежуточной точке $\xi$:

$$|T(x) - T(y)| = |T'(\xi)| \cdot |x - y|$$

Если аналитикам удаётся доказать, что модуль производной функции отображения на некотором участке строго ограничен константой $c < 1$, то функция $T(x)$ автоматически превращается в классическое сжимающее отображение. Секрет успешного применения метода Ньютона, как подчёркивает лектор, кроется в наличии «хорошего начального приближения» (good guess). Под этим термином подразумевается выбор такой стартовой точки, где значение самой функции $f(x)$ изначально очень мало.

В таком случае числитель дроби в выражении производной $T'(x)$ стремится к нулю, делая модуль всей производной заведомо меньше единицы. Процесс итераций будет лавинообразно сжимать расстояние до истинного корня, удерживая вычисления в зоне сходимости. В финале итерационный предел $x_0$ станет неподвижной точкой для отображения $T(x)$:

$$x_0 = x_0 - \frac{f(x_0)}{f'(x_0)} \implies \frac{f(x_0)}{f'(x_0)} = 0 \implies f(x_0) = 0$$

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

## 🔗 Связь теоремы Коши и принципа Больцано — Вейерштрасса
[[JUMP:50:17]]

Переходя к строгому доказательству критерия Коши для вещественных чисел, профессор Колдинг применяет метод дедукции, выводя его из другого фундаментального положения — теоремы Больцано — Вейерштрасса, детальный разбор которой запланирован на следующую лекцию. Данный принцип утверждает, что абсолютно любая ограниченная числовая последовательность содержит в себе как минимум одну сходящуюся подпоследовательность.

Логическая цепочка вывода критерия Коши состоит из следующих шагов:

1.  Берётся произвольная последовательность Коши $x_n$, для которой необходимо доказать сходимость.
2.  На основании ранее доказанного свойства утверждается, что данная последовательность гарантированно ограничена.
3.  Из ограничения, согласно принципу Больцано — Вейерштрасса, выводится существование сходящейся подпоследовательности $x_{n_k}$, стремящейся к некоторому числу $x$.
4.  Доказывается, что вся исходная последовательность $x_n$ обязана сходиться к той же точке $x$.

Для реализации финального шага фиксируется произвольный параметр $\epsilon > 2$. Из фундаментальности всей последовательности выводится существование индекса $N_1$, после которого расстояние между любыми членами $|x_n - x_m| < \frac{\epsilon}{2}$. Одновременно с этим, из факта сходимости подпоследовательности к числу $x$, выводится существование индекса $N_2$, после которого расстояние $|x_{n_k} - x| < \frac{\epsilon}{2}$.

Выбирая единый максимальный индекс $N = \max(N_1, N_2)$, математики получают возможность применить неравенство треугольника для произвольного элемента последовательности и её предела:

$$|x_n - x| = |(x_n - x_{n_k}) + (x_{n_k} - x)| \le |x_n - x_{n_k}| + |x_{n_k} - x| < \frac{\epsilon}{2} + \frac{\epsilon}{2} = \epsilon$$

Подобное сложение полурасстояний неопровержимо доказывает, что исходная последовательность Коши целиком и полностью сходится к точке $x$, подтверждая эквивалентность двух великих математических принципов.

## ⛰️ Непрерывность функций и теорема о достижении экстремумов
[[JUMP:58:37]]

В заключительной части лекции профессор Колдинг демонстрирует ещё одно фундаментальное применение критерия Коши — доказательство теоремы Вейерштрасса о крайних значениях (Extreme Value Theorem). Перед формулированием теоремы вводится строгое определение непрерывности функции в точке $x_0$ на языке $\epsilon$ и $\delta$.

Функция $f: \mathbb{R} \to \mathbb{R}$ признаётся непрерывной в точке $x_0$, если для любого наперёд заданного $\epsilon > 0$ найдётся такое число $\delta > 0$, что для всех $x$, удовлетворяющих условию $|x - x_0| < \delta$, разность значений функций гарантированно не превысит заданный порог: $|f(x) - f(x_0)| < \epsilon$. Геометрически это означает, что попадание аргумента в $\delta$-окрестность неизбежно влечет за собой проекцию его образа внутрь контролируемой $\epsilon$-полосы на графике. Функция считается непрерывной на множестве, если это свойство выполняется в каждой его точке.

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

Сама теорема о крайних значениях гласит: если функция $f$ непрерывна на замкнутом отрезке $[a, b]$, включающем обе его конечные границы, то она обязательно достигает на этом отрезке своих точных верхней ($\sup$) и нижней ($\inf$) граней. Простыми словами, супремум функции на отрезке не равен бесконечности и гарантированно является её максимальным значением (максимумом), принимаемым в конкретной точке $x_M$.

Доказательство для максимума строится на допущении существования последовательности точек $x_n$ внутри отрезка, значения функций в которых монотонно приближаются к супремуму $M$ (даже если бы он гипотетически был равен бесконечности). Поскольку сам отрезок ограничен, последовательность аргументов $x_n$ также является ограниченной. Применение принципа Больцано — Вейерштрасса позволяет выделить из неё подпоследовательность $x_{n_k}$, которая сходится к некоторой точке $x_M$, лежащей строго внутри отрезка $[a, b]$ благодаря его замкнутости.

В силу доказанного свойства секвенциальной непрерывности, образы подпоследовательности обязаны стремиться к значению функции в этой точке:

$$f(x_{n_k}) \to f(x_M)$$

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

$$f(x_M) = M$$

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