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