# От сумм к интегралу: Бернхард Риман и фундамент матанализа Источник: https://www.youtube.com/watch?v=9rG-bs0TFQ8 Канал: MIT OpenCourseWare Опубликовано: 02.09.2025 --- В этой лекции из курса MIT OpenCourseWare профессор Тобиас Колдинг погружает слушателей в строгую теорию интегрирования по Риману. Мы пройдем путь от определения разбиений и сумм до доказательства фундаментальной теоремы: почему любая непрерывная функция на замкнутом интервале обязательно является интегрируемой, и какую роль в этом играет концепция равномерной непрерывности. ## 🧱 Основы сумм Римана: разбиения и границы [[JUMP:00:12]] Процесс определения интеграла начинается с функции $f$, которая определена на интервале $[a, b]$ и является ограниченной. Для работы с ней вводится понятие **разбиения (partition)** $P$, которое представляет собой набор точек, делящих основной интервал на части: * $x_0 = a$ — начальная точка; * $x_n = b$ — конечная точка; * $x_1, x_2, \dots, x_{n-1}$ — промежуточные точки деления. Длина каждого малого подинтервала $[x_{i-1}, x_i]$ обозначается как $\Delta x_i = x_i - x_{i-1}$. На каждом таком участке мы ищем: 1. **Верхнюю грань (supremum)** функции: $M_i = \sup f$ на $[x_{i-1}, x_i]$. 2. **Нижнюю грань (infimum)** функции: $m_i = \inf f$ на $[x_{i-1}, x_i]$. На основе этих значений строятся две суммы: * **Верхняя сумма Римана $U(f, P)$**: сумма произведений $M_i$ на длину интервалов $\Delta x_i$. * **Нижняя сумма Римана $L(f, P)$**: сумма произведений $m_i$ на $\Delta x_i$. Поскольку $m_i \le M_i$, нижняя сумма всегда меньше или равна верхней для любого выбранного разбиения. --- ## 🔍 Измельчение разбиения и «вилка» сумм [[JUMP:05:11]] Важным инструментом анализа является **измельчение (refinement)** разбиения. Если у нас есть разбиение $P_1$, которое содержит все точки разбиения $P$ и как минимум одну дополнительную, оно называется измельчением. Профессор Колдинг наглядно доказывает ключевой факт: * При добавлении новых точек в разбиение **нижняя сумма Римана увеличивается** (или остается прежней). * **Верхняя сумма Римана уменьшается** (или остается прежней). Это создает своего рода «вилку», которая сужается при добавлении точек: $L(f, P) \le L(f, P_1) \le U(f, P_1) \le U(f, P)$. Чем мельче сетка, тем точнее суммы приближаются к истинному значению площади под графиком. --- ## ⚖️ Определение интегрируемости по Риману [[JUMP:13:39]] На базе сумм вводятся понятия верхнего и нижнего интегралов Римана: * **Верхний интеграл**: точная нижняя грань (inf) всех верхних сумм по всем возможным разбиениям. * **Нижний интеграл**: точная верхняя грань (sup) всех нижних сумм. Функция $f$ называется **интегрируемой по Риману**, если её нижний и верхний интегралы равны. В этом случае их общее значение и называется интегралом Римана. Профессор подчеркивает, что для любой ограниченной функции нижний интеграл всегда меньше или равен верхнему. Доказательство этого тезиса строится на использовании общего измельчения для двух произвольных разбиений $P$ и $P^*$. Объединение их точек позволяет показать, что любая нижняя сумма всегда ограничена сверху любой верхней суммой, даже если они построены на разных сетках. --- ## 🎓 Математическое наследие: Риман и Гаусс [[JUMP:24:57]] Бернхард Риман прожил короткую жизнь и умер молодым от туберкулеза, но оставил колоссальный след в науке. Колдинг рассказывает историю его диссертации под руководством великого Карла Фридриха Гаусса. В те времена аспирант предлагал три темы для защиты, и по негласному правилу руководитель всегда выбирал первую. Риман предложил две стандартные темы и одну совершенно новую — о кривизне в высших измерениях, в которой сам еще плохо разбирался. Гаусс, вопреки правилам, выбрал именно третью тему. Всего за шесть месяцев Риман разработал теорию тензора кривизны. Эта работа обобщила труды Гаусса и через 70 лет стала математическим фундаментом для общей теории относительности Эйнштейна. --- ## 🚫 Пример функции, не имеющей интеграла [[JUMP:27:33]] Не всякая ограниченная функция интегрируема. Классический пример — функция, принимающая значение $1$ в рациональных точках и $0$ в иррациональных на отрезке $[0, 1]$. Проблема заключается в следующем: * На любом, даже самом малом интервале, найдутся как рациональные, так и иррациональные числа. * Следовательно, для любого разбиения $M_i$ всегда будет равно $1$, а $m_i$ — всегда $0$. * Верхняя сумма всегда будет равна $1$ (длина интервала), а нижняя — $0$. Поскольку эти значения не сходятся к одному числу при измельчении, такая функция не является интегрируемой по Риману. --- ## 📏 Равномерная непрерывность как ключ к успеху [[JUMP:41:47]] Главная теорема лекции гласит: любая непрерывная функция на компактном (замкнутом и ограниченном) интервале интегрируема по Риману. Для доказательства Колдинг вводит мощный инструмент — **равномерную непрерывность**. В чем отличие от обычной непрерывности? * **Обычная непрерывность:** для каждого конкретного $x_0$ мы подбираем свой $\delta$, чтобы значения функции не отклонялись больше чем на $\epsilon$. * **Равномерная непрерывность:** один и тот же $\delta$ работает сразу для всех точек интервала одновременно. [Image comparing pointwise and uniform continuity] Примеры функций, которые непрерывны, но **не равномерно**: 1. $f(x) = x^2$ на всей числовой прямой $\mathbb{R}$: при больших $x$ даже крошечное изменение аргумента приводит к гигантскому скачку функции. 2. $f(x) = 1/x$ на полуоткрытом интервале $(0, 1]$: при приближении к нулю график становится слишком крутым. Однако, если интервал **компактен** (замкнут и ограничен), любая непрерывная функция на нем автоматически становится равномерно непрерывной. Профессор доказывает это методом от противного, используя последовательности и теорему Больцано-Вейерштрасса. --- ## 🧬 Финальный аккорд: доказательство интегрируемости [[JUMP:1:05:12]] Используя равномерную непрерывность, мы можем завершить доказательство основной теоремы. Критерий интегрируемости: функция интегрируема, если для любого $\epsilon > 0$ можно найти такое разбиение, что разница между верхней и нижней суммами меньше $\epsilon$. Алгоритм доказательства: 1. Берем $\epsilon > 0$. 2. Благодаря равномерной непрерывности выбираем $\delta$ так, чтобы при $|x - y| < \delta$ разница $|f(x) - f(y)|$ была меньше $\frac{\epsilon}{b-a}$. 3. Строим разбиение с шагом меньше $\delta$. 4. Тогда разница между $M_i$ и $m_i$ на каждом участке будет мала, и общая разница сумм сократится до $\epsilon$. В завершение лекции Колдинг перечисляет базовые свойства интеграла, которые будут доказаны позже: * **Линейность:** константу можно выносить за знак интеграла, а интеграл суммы равен сумме интегралов. * **Монотонность:** если $f \le g$, то и интеграл от $f$ меньше или равен интегралу от $g$. * **Аддитивность:** интеграл по всему отрезку можно вычислить как сумму интегралов по его частям.