# Тобиас Колдинг объяснил теорему о монотонной сходимости на лекции в MIT Источник: https://www.youtube.com/watch?v=EjXtpzysDL4 Канал: MIT OpenCourseWare Опубликовано: 02.09.2025 --- В лекции Массачусетского технологического института (MIT) профессор Тобиас Колдинг подробно разбирает одну из фундаментальных теорем математического анализа — теорему о монотонной сходимости. Автор последовательно переходит от базовых свойств числовых последовательностей к строгому доказательству классических математических концепций и анонсирует инструменты для решения сложных дифференциальных уравнений. Этот материал позволяет по-новому взглянуть на привычное понятие квадратного корня и закладывает основу для изучения более абстрактных топологических пространств. ## 🔢 Базовые понятия: от последовательностей к пределам [[JUMP:0:00]] Математический анализ невозможен без строгого понимания того, как ведут себя упорядоченные наборы чисел. Формальное определение числовой последовательности представляет собой функцию или отображение из множества натуральных чисел $\mathbb{N}$ в множество вещественных чисел $\mathbb{R}$. Образ конкретного натурального числа $n$ обычно обозначается как $a_n$ или $b_n$. В свою очередь, подпоследовательность требует введения еще одного отображения, которое обязательно должно быть строго возрастающим. Это необходимо для того, чтобы элементы подпоследовательности сохраняли тот же порядок и расположение, которые были заданы изначально. Извлечь один и тот же элемент несколько раз, если он не повторялся в исходной последовательности, математически недопустимо. Другим критически важным понятием является сходимость. Последовательность $a_n$ сходится к вещественному числу $a$ (которое не может быть бесконечностью), если для любого сколь угодно малого $\epsilon > 0$ существует такой целое число $N$, что для всех элементов с индексами $n \ge N$ выполняется неравенство: $$|a_n - a| < \epsilon$$ Смысл этого определения прост: если продвинуться достаточно далеко по последовательности, все ее последующие элементы окажутся «зажаты» в пределах $\epsilon$-окрестности вокруг предела $a$. Если последовательность не является сходящейся, ее называют расходящейся. Для сходящихся последовательностей действуют четыре фундаментальных алгебраических правила: * **Предел суммы** равен сумме пределов: если $a_n \to a$ и $b_n \to b$, то их сумма $(a_n + b_n)$ сходится к $(a + b)$. * **Умножение на константу**: последовательность, умноженная на постоянное число $c$, сходится к $c \cdot a$. * **Предел произведения** равен произведению пределов: последовательность $(a_n \cdot b_n)$ сходится к $a \cdot b$. * **Предел частного**: если элементы $a_n \ne 0$ и предел $a \ne 0$, то последовательность $1/a_n$ стремится к $1/a$. В качестве примера работы этих правил профессор Колдинг приводит разбор последовательности, задаваемой формулой: $$\frac{n^2 + 1}{n^2 + n + 1}$$ Путем вынесения $n^2$ за скобки в числителе и знаменателе выражение преобразуется к виду, где фигурируют дроби $1/n$ и $1/n^2$. Опираясь на архимедово свойство вещественных чисел, математики знают, что $1/n$ стремится к 0. Поочередно применяя правила суммы, произведения и частного пределов, можно легко доказать, что вся исходная дробь при росте $n$ строго сходится к 1. Профессор Колдинг иронично замечает, что этот пример может показаться слишком простым, но уже через пару недель студентам предстоит столкнуться с гораздо более изощренными задачами. ## 📈 Теорема о монотонной сходимости и её универсальность [[JUMP:15:44]] Для более глубокого понимания природы чисел аналитикам требуются специальные типы последовательностей, а именно — монотонные. Существует два их вида: монотонно возрастающие (где каждый последующий элемент больше или равен предыдущему: $a_{n+1} \ge a_n$) и монотонно убывающие ($a_{n+1} \le a_n$). Теорема о монотонной сходимости утверждает: 1. Если монотонно возрастающая последовательность ограничена сверху, то она является сходящейся, а её пределом выступает точная верхняя грань (супремум, $\sup$) данного множества элементов. 2. Если монотонно убывающая последовательность ограничена снизу, она также сходится, и её пределом становится точная нижняя грань (инфимум, $\inf$). На первый взгляд, монотонные последовательности кажутся частным, довольно редким случаем. Однако Колдинг демонстрирует их универсальную математическую силу: из *любой* произвольной ограниченной последовательности $a_n$ можно естественным образом построить две монотонные последовательности. Первая последовательность $b_n$ определяется как супремум всех элементов от $a_n$ и дальше. Вторая последовательность $c_n$ формируется аналогично, но через инфимум. Поскольку с увеличением индекса $n$ мы отбрасываем элементы и выбираем грань из всё меньшего подмножества, последовательность верхних граней $b_n$ будет монотонно убывать, а последовательность нижних граней $c_n$ — монотонно возрастать. Они гарантированно имеют пределы $b$ и $c$, причем предел нижних граней всегда будет меньше или равен пределу верхних ($c \le b$). Профессор Колдинг подчеркивает, что этот подход лежит в основе важнейших концепций верхнего ($\limsup$) и нижнего ($\liminf$) пределов, которые детально изучаются в высшей математике. ## 🛠 Строгое доказательство теоремы [[JUMP:34:08]] Профессор Колдинг приводит строгое доказательство первой части теоремы для возрастающей последовательности. Пусть $a_n$ — монотонно возрастающая последовательность, ограниченная сверху числом $a$. Мы полагаем, что $a$ — это супремум ($\sup$) элементов последовательности. По определению точной верхней грани, она является наименьшей из всех верхних границ. Значит, все элементы последовательности удовлетворяют неравенству $a_n \le a$. Чтобы доказать сходимость $a_n \to a$, необходимо показать, что разность $(a - a_n)$ становится меньше любого выбранного $\epsilon > 0$ при достаточно больших $n$. Поскольку $a$ — это *наименьшая* верхняя грань, любое уменьшенное число (например, $a - \epsilon$) уже не может быть верхней гранью для этого множества. Следовательно, обязан существовать хотя бы один элемент последовательности с некоторым индексом $N$, который окажется строго больше, чем $a - \epsilon$. А в силу того, что наша последовательность монотонно возрастает, все последующие элементы с индексами $n \ge N$ будут только увеличиваться, оставаясь при этом зажатыми между $a - \epsilon$ и исходным супремумом $a$. Это полностью доказывает, что расстояние от элементов последовательности до их предела не превышает $\epsilon$, подтверждая сходимость. ## 🔍 Новое измерение квадратного корня из двух [[JUMP:41:59]] Обывательское представление о вещественных числах вроде $\sqrt{2}$ часто ограничивается интуитивным знанием нескольких цифр после запятой — $1.414$. Но как обосновать существование этого числа с полной математической строгостью? Профессор Колдинг предлагает изящное построение с использованием разработанного аппарата монотонных последовательностей. Конструируются две последовательности — натуральных чисел $b_n$ и вещественных чисел $a_n$. Мы определяем $b_n$ как наибольшее натуральное число, квадрат которого удовлетворяет условию: $$b_n^2 \le 2 \cdot 10^{2n-2}$$ Соответственно, последовательность $a_n$ формируется путем деления $b_n$ на $10^{n-1}$. Для первого шага ($n=1$) мы получаем $b_1 = 1$ (так как $1^2 \le 2$, а следующий квадрат $2^2=4$ уже больше двух), откуда следует $a_1 = 1$. Каждый последующий шаг алгоритма фактически добавляет новый десятичный знак в приближение квадратного корня. Используя алгебраические неравенства, Колдинг доказывает два ключевых факта: 1. Последовательность $a_n$ является монотонно возрастающей. Для этого на черновике доказывается промежуточное соотношение $10 \cdot b_n \le b_{n+1}$, отражающее переход к следующему десятичному регистру. 2. Последовательность ограничена сверху числом 2. Согласно теореме о монотонной сходимости, раз последовательность возрастает и ограничена, она обязана иметь предел, который мы назовем $a$. Возводя элементы в квадрат и применяя алгебраическое правило произведения пределов, Колдинг сначала фиксирует, что $a^2 \le 2$. Затем, рассматривая выражение $(b_n + 1)^2$, которое заведомо больше порога $2 \cdot 10^{2n-2}$ (иначе именно оно было бы выбрано в качестве максимума), профессор доказывает обратное неравенство: предел в квадрате должен быть больше или равен двум ($a^2 \ge 2$). Единственным логическим исходом из двух неравенств становится равенство $a^2 = 2$, что дает безупречное с точки зрения анализа определение квадратного корня через десятичные приближения. ## 🌀 Фундамент для будущего: последовательности Коши и сжимающие отображения [[JUMP:1:08:35]] В тех случаях, когда последовательность не является монотонной, доказать существование предела стандартными путями бывает крайне трудно, ведь мы часто не знаем сам этот предел заранее. Здесь на помощь приходит концепция французского математика Огюстена Луи Коши. Последовательность называется последовательностью Коши (или фундаментальной), если для любого $\epsilon > 0$ можно найти такой индекс $N$, что любые два элемента, находящиеся дальше него (с индексами $n$ и $m$), будут расположены на расстоянии меньше $\epsilon$ друг от друга. В пространстве вещественных чисел $\mathbb{R}$ действует фундаментальная теорема: последовательность является последовательностью Коши тогда и только тогда, когда она сходится. Профессор обещает разобрать полное доказательство этого эквивалента на следующей лекции, отмечая, что в нем как раз будет задействован механизм построения монотонных граней, изученный ранее. Выход за рамки вещественных чисел и абстрагирование этих понятий открывают колоссальные возможности для прикладной математики, в частности — для поиска решений дифференциальных уравнений. Колдинг вводит понятие сжимающего отображения $T$ из $\mathbb{R}$ в $\mathbb{R}$. Отображение называется сжимающим, если существует некоторая положительная константа $c$, строго меньшая единицы ($c < 1$), такая, что для любых точек $x$ и $y$ расстояние между их образами уменьшается как минимум в $c$ раз: $$|T(x) - T(y)| \le c \cdot |x - y|$$ Теорема о сжимающих отображениях (также известная как теорема Банаха о неподвижной точке) провозглашает: если отображение является сжимающим, у него существует единственная неподвижная точка, то есть такая точка $x$, для которой выполняется равенство $T(x) = x$. Именно жесткое требование $c < 1$ заставляет алгоритм последовательных приближений стягиваться к решению. В более общих и сложных математических пространствах эта теорема служит главным инструментом, гарантирующим, что то или иное дифференциальное уравнение принципиально имеет решение.