Определенный интеграл Римана: от конструкции до методов вычисления

Конструкция Римана: разбиения, мелкость и интегральные суммы

Мы привыкли думать об определенном интеграле как о «площади под кривой». Но в строгом математическом анализе понятие площади для произвольной фигуры изначально не определено. Мы не можем опираться на интуицию, когда речь заходит о разрывных или сильно осциллирующих функциях. Поэтому интеграл Римана — это не вычисление готовой площади, это строгий аналитический механизм ее конструирования.

Чтобы сдать теоретический экзамен, нужно понимать этот механизм пошагово. Любой пропуск или неточность в определении разрушает всю логику.

Шаг 1. Разбиение отрезка

Пусть задана функция , определенная на отрезке . Первый шаг конструкции — разрезать этот отрезок на части.

> Разбиение отрезка — это конечное множество точек , упорядоченных по возрастанию: >

Эти точки делят исходный отрезок на частичных отрезков . Длина каждого такого отрезка обозначается как .

Важно: Нигде не сказано, что отрезки должны быть одинаковыми. Равномерное разбиение — это лишь удобный частный случай для школьных задач. В строгой теории разбиение абсолютно произвольно.

Шаг 2. Мелкость разбиения (ловушка для студентов)

Чтобы приближение стало точным, частичные отрезки должны становиться всё меньше. Здесь кроется самый частый вопрос на экзаменах: как математически записать, что разбиение становится "бесконечно мелким"?

Интуитивный, но ошибочный ответ: устремить количество точек к бесконечности ().

Правильный подход требует введения специального параметра.

> Мелкость разбиения — это длина наибольшего из частичных отрезков: >

!Разница между количеством точек и мелкостью

Почему требование фатально ошибочно, а — верно? Представьте, что вы взяли отрезок и добавили миллиард точек на половину , а на половине не поставили ни одной. Количество точек огромно, но огромная «дыра» справа осталась. Интегральная сумма на этой дыре даст колоссальную погрешность.

Условие жестко гарантирует: ни одной дыры не останется. Если самый длинный отрезок стремится к нулю, то и все остальные вынуждены стягиваться в точку. При этом количество точек автоматически устремится к бесконечности (обратное, как мы выяснили, неверно).

!Почему n стремится к бесконечности недостаточно

Шаг 3. Размеченное разбиение и сумма Римана

Разбиения самого по себе недостаточно: чтобы посчитать площадь прямоугольника, нам нужна высота. Для этого на каждом частичном отрезке выбирается произвольная точка .

Набор таких точек называется разметкой.

Теперь мы можем построить главный объект этой темы.

> Интегральная сумма Римана для функции по разбиению с разметкой — это сумма площадей прямоугольников с основаниями и высотами : >

!Геометрия интегральной суммы

Шаг 4. Строгое определение интегрируемости

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

Но это не обычный предел последовательности. Сумма зависит от двух независимых и произвольных выборов:

Определение интегрируемости по Риману (на языке ): Число называется определенным интегралом от функции на , если:

Если такое число существует, функция называется интегрируемой по Риману, а само число обозначается как .

Критический шаг логики

Если при одной разметке предел равен 5, а при другой 7 — функция не интегрируема.

Классический контрпример: Функция Дирихле

Попробуем составить для нее интегральную сумму.

Как бы мелко мы ни дробили отрезок (), мы всегда можем выбирать точки так, чтобы сумма прыгала между 0 и 1. Предел не зависит от мелкости, он зависит от выбора точек. Следовательно, предел не существует, и функция Дирихле не интегрируема по Риману.

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

Геометрическая интерпретация и инвариантность предела интегральных сумм

Мы уже знаем, что интеграл Римана — это предел интегральных сумм при мелкости разбиения, стремящейся к нулю. Но на экзаменах часто задают коварный вопрос: «Допустим, вы разбили отрезок на равных частей, устремили к бесконечности и получили конечное число . Доказывает ли это, что функция интегрируема по Риману?»

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

Геометрический смысл: площадь под кривой

Геометрическая интерпретация интегральной суммы прямолинейна. Если функция на отрезке , то каждое слагаемое — это площадь прямоугольника с основанием и высотой .

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

!Приближение площади ступенчатой фигурой

Две формы предела: Коши и Гейне

В прошлой теме мы ввели определение интегрируемости на языке . В математическом анализе это называется определением предела по Коши.

> Число называется пределом интегральных сумм (по Коши), если: >

Однако на практике и в доказательствах часто удобнее работать с последовательностями. Переведем это на язык последовательностей — это определение предела по Гейне.

> Число называется пределом интегральных сумм (по Гейне), если для любой последовательности разбиений , такой что , и при любом выборе точек , соответствующая последовательность интегральных сумм сходится к : >

Логический скелет теоремы об эквивалентности

Для сдачи хардкорного экзамена вы должны уметь доказывать эквивалентность этих двух определений. Логика здесь в точности повторяет теорему об эквивалентности определений предела функции по Коши и по Гейне, но адаптирована для интегральных сумм.

1. Коши Гейне (прямая импликация) Дано:* Выполняется условие Коши. Берем произвольную последовательность , где . Шаг вывода:* Фиксируем . По условию Коши существует . Так как , найдется номер , начиная с которого для всех выполняется . Итог:* Значит, для всех выполняется . Это и есть определение предела последовательности.

2. Гейне Коши (обратная импликация) Метод:* От противного. Предположим, условие Гейне выполнено, а условие Коши — нет. Шаг вывода:* Отрицание Коши: , такое что для найдется разбиение с и точки , для которых . Критический момент:* Будем брать . Для каждого по нашему предположению найдется разбиение с и точки , такие что . Итог:* Мы построили последовательность разбиений , где , но последовательность сумм не сходится к (она всегда отстоит от него хотя бы на ). Это прямо противоречит условию Гейне. Значит, наше предположение неверно.

Экзаменационная ловушка: равномерное разбиение

Теперь вернемся к вопросу из начала статьи. Вы разбили отрезок на равных частей. Длина каждого отрезка . При мелкость . Вы вычислили предел сумм и получили число . Доказывает ли это интегрируемость?

Нет, не доказывает.

Определение по Гейне жестко требует: предел должен существовать и быть равен для ЛЮБОЙ последовательности разбиений. Равномерное разбиение — это лишь одна конкретная последовательность.

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

!Равномерное и произвольное разбиение

Инвариантность как инструмент вычисления

В чем же тогда сила доказанной нами эквивалентности? Она дает важнейший практический инструмент: инвариантность предела.

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

Именно поэтому в теоретическом курсе мы сначала будем долго изучать критерии интегрируемости (чтобы знать, когда интеграл точно существует), и лишь потом перейдем к методам его вычисления.

!Проверка понимания инвариантности предела

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