Интегрирование по Риману и Лебегу

Интегрирование позволяет строго определить площадь под кривой; интеграл Римана делает это путем разбиения области определения, тогда как интеграл Лебега разбивает область значений и интегрирует гораздо более широкий класс функций.

Definition

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

Scope

Эта тема охватывает построение интеграла Римана с помощью верхних и нижних сумм, критерий интегрируемости по Риману, основную теорему исчисления, ограничения интегрирования по Риману при переходе к пределам, а также интеграл Лебега, построенный на мере, с его теоремами о монотонной, Фату и мажорируемой сходимости.

Core questions

• Какие именно функции интегрируемы по Риману и что их характеризует?
• Как основная теорема исчисления связывает интегрирование и дифференцирование?
• Почему интеграл Римана не коммутирует со многими пределами?
• Как интеграл Лебега преодолевает эти ограничения?

Key theories

Критерий Лебега интегрируемости по Риману

Ограниченная функция на замкнутом интервале интегрируема по Риману тогда и только тогда, когда множество ее точек разрыва имеет меру нуль, что точно определяет область применимости теории Римана.

Основная теорема исчисления

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

Монотонная и мажорируемая сходимость

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

Clinical relevance

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

History

Риман дал первое строгое определение интеграла в 1854 году. Его неспособность обрабатывать многие пределы и разрывные функции послужила мотивом для создания Лебегом в 1902 году интеграла, основанного на мере, который стал стандартным инструментом современного анализа и теории вероятностей.

Key figures

• Bernhard Riemann
• Henri Lebesgue
• Emile Borel

Seminal works

• rudin1976
• stein2005real

Frequently asked questions

Почему интеграл Лебега предпочтителен в высшем анализе?

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

Могут ли два интеграла когда-либо не совпадать?

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