Интеграция Лебега

Метод интеграции

Интеграл от положительной функции можно интерпретировать как площадь под кривой.

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

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

Интеграл Лебега играет важную роль в теории вероятностей , реальном анализе и многих других областях математики. Он назван в честь Анри Лебега (1875–1941), который ввел интеграл (Лебег, 1904). Это также ключевая часть аксиоматической теории вероятностей .

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

Введение

Интеграл положительной вещественной функции f между границами a и b можно интерпретировать как площадь под графиком f между a и b . Это понятие площади соответствует некоторым функциям, в основном кусочно- непрерывным функциям, включая элементарные функции , например полиномы . Однако графики других функций, например функции Дирихле , плохо вписываются в понятие площади. Графики, подобные последнему, поднимают вопрос: для какого класса функций имеет смысл «площадь под кривой»? Ответ на этот вопрос имеет большое теоретическое значение.

В рамках общего движения к строгости математики в девятнадцатом веке математики попытались поставить интегральное исчисление на прочный фундамент. Интеграл Римана , предложенный Бернхардом Риманом (1826–1866), представляет собой широко успешную попытку обеспечить такую ​​основу. Определение Римана начинается с построения последовательности легко вычисляемых областей, сходящихся к интегралу заданной функции. Это определение удачно в том смысле, что оно дает ожидаемый ответ на многие уже решенные проблемы и дает полезные результаты для многих других проблем.

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

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

Лебег резюмировал свой подход к интеграции в письме Полю Монтелю :

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

—  Источник : (Зигмунд-Шульце, 2008 г.).

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

Интуитивная интерпретация

Показана измеримая функция вместе с множеством { x  : f ( x ) > t } (на оси x ). Интеграл Лебега получается путем разрезания по оси y с использованием одномерной меры Лебега для измерения «ширины» срезов.

Фолланд (1984) резюмирует разницу между подходами Римана и Лебега следующим образом: «чтобы вычислить интеграл Римана от f , нужно разбить область [ a , b ] на подинтервалы», тогда как в интеграле Лебега «фактически разделяют диапазон f ." ^[1]

Для интеграла Римана область разбивается на интервалы, а столбцы строятся в соответствии с высотой графика. Площади этих полос складываются, и это аппроксимирует интеграл, по сути, путем суммирования площадей формы f ( x ) dx , где f ( x ) — высота прямоугольника, а dx — его ширина.

Для интеграла Лебега диапазон разбивается на интервалы, поэтому область под графиком разбивается на горизонтальные «плиты» (которые могут быть не связанными множествами). Площадь небольшой горизонтальной «плиты» под графиком f высотой dy равна произведению ширины плиты на dy :

$${\displaystyle \mu \left(\{x\mid f(x)>y\}\right)\,dy.}$$

Простые функции

Интеграция по Риману (вверху) и Лебегу (внизу) сглаженных ежедневных данных о случаях заболевания COVID-19 в Сербии (лето-осень 2021 г.).

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

Подход Римана-Дарбу

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

Подход Лебега

Выберите конечное число целевых значений (восемь в примере) в диапазоне функции. Построение столбцов с высотой, равной этим значениям, но ниже функции, подразумевает разбиение области на одинаковое количество подмножеств (подмножества, обозначенные в примере цветом, соединять не обязательно). Это «простая функция», как описано ниже. Совокупное количество определяется путем суммирования по всем подмножествам домена произведения показателя в этом подмножестве (общее время в днях) и высоты столбца (случаев в день).

Теория меры

Теория меры изначально была создана для того, чтобы дать полезную абстракцию понятия длины подмножеств действительной линии и, в более общем смысле, площади и объема подмножеств евклидовых пространств. В частности, это дало систематический ответ на вопрос, какие подмножества R имеют длину. Как показали более поздние разработки теории множеств (см. «Неизмеримое множество »), на самом деле невозможно присвоить длину всем подмножествам R таким образом, чтобы сохранить некоторые естественные свойства аддитивности и трансляционной инвариантности. Это говорит о том, что выбор подходящего класса измеримых подмножеств является важной предпосылкой.

Интеграл Римана явно использует понятие длины. Действительно, элементом расчета интеграла Римана является прямоугольник [ a , b ] × [ c , d ] , площадь которого рассчитывается как ( b - a )( d - c ) . Величина b − a — длина основания прямоугольника, а d — c — высота прямоугольника. Риман мог использовать только плоские прямоугольники для аппроксимации площади под кривой, поскольку не существовало адекватной теории для измерения более общих множеств.

В развитии теории в большинстве современных учебников (после 1950 г.) подход к измерению и интегрированию является аксиоматическим . Это означает, что мерой является любая функция µ , определенная на определенном классе X подмножеств множества E , которая удовлетворяет определенному списку свойств. Можно показать, что эти свойства сохраняются во многих различных случаях.

Измеримые функции

Мы начнем с пространства меры ( E , X , µ ) , где E — множество , X — σ-алгебра подмножеств E , а µ — (неотрицательная ) мера на E , определенная на множествах X.

Например, E может быть евклидовым n -пространством R ⁿ или некоторым его измеримым по Лебегу подмножеством, X - σ-алгеброй всех измеримых по Лебегу подмножеств E , а µ - мерой Лебега. В математической теории вероятностей мы ограничиваем наше исследование вероятностной мерой µ  , которая удовлетворяет условию µ ( E ) = 1 .

Теория Лебега определяет интегралы для класса функций, называемых измеримыми функциями . Действительная функция f на E измерима, если прообраз каждого интервала формы ( t , ∞) находится в X :

$${\displaystyle \{x\,\mid \,f(x)>t\}\in X\quad \forall t\in \mathbb {R} .}$$

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

$${\displaystyle \sup _{k\in \mathbb {N} }f_{k},\quad \liminf _{k\in \mathbb {N} }f_{k},\quad \limsup _{k\in \mathbb {N} }f_{k}}$$

измеримы, если исходная последовательность ( fk ) , где k _∈ N , состоит из измеримых функций.

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

$${\displaystyle \int _{E}f\,d\mu =\int _{E}f(x)\,d\mu (x)=\int _{E}f(x)\,\mu (dx).}$$

После отождествления в теории распределения мер с распределениями порядка 0 или с мерами Радона можно также использовать двойственное парное обозначение и записать интеграл по µ в виде

$${\displaystyle \langle \mu ,f\rangle .}$$

Определение

Теория интеграла Лебега требует теории измеримых множеств и мер на этих множествах, а также теории измеримых функций и интегралов от этих функций.

Через простые функции

Приближение функции простой функцией.

Один из подходов к построению интеграла Лебега состоит в использовании так называемых простых функций : конечных вещественных линейных комбинаций индикаторных функций . Простые функции, которые лежат непосредственно под заданной функцией f, могут быть построены путем разделения диапазона f на конечное число слоев. Пересечение графика f со слоем идентифицирует набор интервалов в области f , которые, вместе взятые, определяются как прообраз нижней границы этого слоя под простой функцией. Таким образом, разделение диапазона f подразумевает разделение его области определения. Интеграл от простой функции находится суммированием по этим (не обязательно связным) подмножествам области произведения меры подмножества и его образа под простой функцией (нижняя граница соответствующего слоя); интуитивно это произведение представляет собой сумму площадей всех столбцов одинаковой высоты. Тогда интеграл неотрицательной общей измеримой функции определяется как соответствующая верхняя граница приближения простыми функциями, а интеграл (не обязательно положительной) измеримой функции представляет собой разность двух интегралов неотрицательных измеримых функций.

Функции индикатора

Чтобы присвоить значение интегралу индикаторной функции 1 _S измеримого множества S, согласующееся с заданной мерой µ , единственный разумный выбор состоит в том, чтобы установить:

$${\displaystyle \int 1_{S}\,d\mu =\mu (S).}$$

Обратите внимание, что результат может быть равен +∞ , если только µ не является конечной мерой.

Простые функции

Конечная линейная комбинация индикаторных функций

$${\displaystyle \sum _{k}a_{k}1_{S_{k}}}$$

где коэффициенты ak — действительные числа, а _Sk — _{непересекающиеся} измеримые множества, называется измеримой простой функцией . Распространим интеграл по линейности на неотрицательные измеримые простые функции. Когда коэффициенты a _k положительны, полагаем

$${\displaystyle \int \left(\sum _{k}a_{k}1_{S_{k}}\right)\,d\mu =\sum _{k}a_{k}\int 1_{S_{k}}\,d\mu =\sum _{k}a_{k}\,\mu (S_{k})}$$

конечна ли эта сумма или +∞. Простую функцию можно по-разному записать как линейную комбинацию индикаторных функций, но интеграл будет одинаковым в силу аддитивности мер.

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

$${\displaystyle f=\sum _{k}a_{k}1_{S_{k}}}$$

таков, что µ( S _k ) < ∞ всякий раз, когда a _k ≠ 0 . Тогда приведенная выше формула для интеграла от f имеет смысл, и результат не зависит от конкретного представления f , удовлетворяющего предположениям.

Если B — измеримое подмножество E , а s — измеримая простая функция, определяют

$${\displaystyle \int _{B}s\,\mathrm {d} \mu =\int 1_{B}\,s\,\mathrm {d} \mu =\sum _{k}a_{k}\,\mu (S_{k}\cap B).}$$

Неотрицательные функции

Пусть f — неотрицательная измеримая функция на E , которой мы позволяем достичь значения +∞ , другими словами, f принимает неотрицательные значения в расширенной строке действительных чисел . Мы определяем

$${\displaystyle \int _{E}f\,d\mu =\sup \left\{\,\int _{E}s\,d\mu :0\leq s\leq f,\ s\ {\text{simple}}\,\right\}.}$$

Нам нужно показать, что этот интеграл совпадает с предыдущим, определенным на множестве простых функций, когда E является отрезком [ a , b ] . Возникает также вопрос, соответствует ли это каким-либо образом римановскому понятию интеграции. Можно доказать, что ответ на оба вопроса – да.

Мы определили интеграл от f для любой неотрицательной расширенной измеримой функции с действительным знаком на E . Для некоторых функций этот интеграл бесконечен. ${\textstyle \int _{E}f\,d\mu }$

Часто бывает полезно иметь определенную последовательность простых функций, которая хорошо аппроксимирует интеграл Лебега (аналогично сумме Римана). Для неотрицательной измеримой функции f пусть будет простой функцией, значение которой равно всякий раз , когда k - неотрицательное целое число меньше, чем, скажем, . Тогда можно непосредственно доказать, что ${\textstyle s_{n}(x)}$ ${\textstyle k/2^{n}}$ ${\textstyle k/2^{n}\leq f(x)<(k+1)/2^{n}}$ ${\textstyle 4^{n}}$

$${\displaystyle \int f\,d\mu =\lim _{n\to \infty }\int s_{n}\,d\mu }$$

Знаковые функции

Для обработки подписанных функций нам нужно еще несколько определений. Если f — измеримая функция множества E относительно действительных чисел (включая ±∞ ), то мы можем написать

$${\displaystyle f=f^{+}-f^{-},}$$

где

$${\displaystyle {\begin{aligned}f^{+}(x)&={\begin{cases}f(x){\hphantom {-}}&{\text{if }}f(x)>0,\\0&{\text{otherwise}},\end{cases}}\\f^{-}(x)&={\begin{cases}-f(x)&{\text{if }}f(x)<0,\\0&{\text{otherwise}}.\end{cases}}\end{aligned}}}$$

Обратите внимание, что и f ^+, и f ⁻ являются неотрицательными измеримыми функциями. Также обратите внимание, что

$${\displaystyle |f|=f^{+}+f^{-}.}$$

Будем говорить, что интеграл Лебега измеримой функции f существует или определен , если хотя бы один из и конечен: ${\textstyle \int f^{+}\,d\mu }$ ${\textstyle \int f^{-}\,d\mu }$

$${\displaystyle \min \left(\int f^{+}\,d\mu ,\int f^{-}\,d\mu \right)<\infty .}$$

В этом случае мы определяем

$${\displaystyle \int f\,d\mu =\int f^{+}\,d\mu -\int f^{-}\,d\mu .}$$

Если

$${\displaystyle \int |f|\,\mathrm {d} \mu <\infty ,}$$

мы говорим, что f интегрируема по Лебегу .

Оказывается, это определение дает желаемые свойства интеграла.

Через несобственный интеграл Римана

Предполагая, что f измерима и неотрицательна, функция

$${\displaystyle f^{*}(t)\ {\stackrel {\text{def}}{=}}\ \mu \left(\{x\in E\mid f(x)>t\}\right).}$$

несобственный интеграл Риманаf ^∗[2]

$${\displaystyle \int _{E}f\,d\mu \ {\stackrel {\text{def}}{=}}\ \int _{0}^{\infty }f^{*}(t)\,dt.}$$

∞^{[3] [4]}

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

Комплексные функции

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

Если h = f + ig для вещественнозначных интегрируемых функций f , g , то интеграл от h определяется формулой

$${\displaystyle \int h\,d\mu =\int f\,d\mu +i\int g\,d\mu .}$$

Функция интегрируема по Лебегу тогда и только тогда, когда ее абсолютное значение интегрируемо по Лебегу (см. Абсолютно интегрируемая функция ).

Пример

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

• ${\displaystyle 1_{\mathbf {Q} }}$ не интегрируется по Риману на [0, 1] : независимо от того, как множество [0, 1] разделено на подинтервалы, каждое разделение содержит по крайней мере одно рациональное и хотя бы одно иррациональное число, поскольку рациональные и иррациональные числа плотны в Реалы. Таким образом, все верхние суммы Дарбу равны единице, а все нижние суммы Дарбу равны нулю.
• ${\displaystyle 1_{\mathbf {Q} }}$ интегрируема по Лебегу на [0, 1] с использованием меры Лебега : действительно, это индикаторная функция рациональных чисел, поэтому по определению
  $${\displaystyle \int _{[0,1]}1_{\mathbf {Q} }\,d\mu =\mu (\mathbf {Q} \cap [0,1])=0,}$$
  потому что Q счетно .

Область интеграции

Техническая проблема интеграции Лебега заключается в том, что область интегрирования определяется как множество (подмножество пространства меры) без понятия ориентации. В элементарном исчислении интегрирование определяется по ориентации :

$${\displaystyle \int _{b}^{a}f=-\int _{a}^{b}f.}$$

дифференциальных форм

$${\displaystyle \int _{A}f\,d\mu =\int _{[a,b]}f\,d\mu }$$

AДифференциальная форма § Связь с мерами»

Ограничения интеграла Римана

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

$${\displaystyle \sum _{k}\int f_{k}(x)\,dx,\quad \int \left[\sum _{k}f_{k}(x)\right]dx}$$

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

Нарушение монотонной сходимости

Как было показано выше, индикаторная функция 1 _Q на рациональных числах не интегрируема по Риману. В частности, не работает теорема о монотонной сходимости . Чтобы понять, почему, пусть { a _k } будет перечислением всех рациональных чисел в [0, 1] (они счетны , поэтому это можно сделать ). Тогда пусть

$${\displaystyle g_{k}(x)={\begin{cases}1&{\text{if }}x=a_{j},j\leq k\\0&{\text{otherwise}}\end{cases}}}$$

Функция gk равна _нулю всюду, кроме конечного множества точек. Следовательно, его интеграл Римана равен нулю. Каждая g _k неотрицательна, и эта последовательность функций монотонно возрастает, но ее предел при k → ∞ равен 1 _Q , что не интегрируется по Риману.

Непригодность для неограниченных интервалов

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

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

Интеграл Римана неразрывно связан с порядковой структурой действительной линии.

Основные теоремы интеграла Лебега

Говорят, что две функции равны почти всюду ( для краткости), если они являются подмножеством нулевого множества . Измеримость множества не требуется . ${\displaystyle f\ {\stackrel {\text{a.e.}}{=}}\ g}$ ${\displaystyle \{x\mid f(x)\neq g(x)\}}$ ${\displaystyle \{x\mid f(x)\neq g(x)\}}$

Следующие теоремы доказаны в большинстве учебников по теории меры и интегрированию Лебега. ^[1]

• Если f и g — неотрицательные измеримые функции (возможно, принимающие значение +∞ ) такие, что f = g почти всюду, то
  $${\displaystyle \int f\,d\mu =\int g\,d\mu .}$$
  А именно, интеграл соблюдает отношение эквивалентности равенства почти всюду.
• Если f и g — такие функции, что f = g почти всюду, то f интегрируема по Лебегу тогда и только тогда, когда g интегрируема по Лебегу, а интегралы от f и g одинаковы, если они существуют.
• Линейность : если f и g — интегрируемые по Лебегу функции, а a и b — действительные числа, то af + bg интегрируемо по Лебегу и
  $${\displaystyle \int (af+bg)\,d\mu =a\int f\,d\mu +b\int g\,d\mu .}$$
• Монотонность : если f ≤ g , то
  $${\displaystyle \int f\,d\mu \leq \int g\,d\mu .}$$
• Теорема о монотонной сходимости : предположим, что { f _k } _{k ∈ N} — последовательность неотрицательных измеримых функций такая, что
  $${\displaystyle f_{k}(x)\leq f_{k+1}(x)\quad \forall k\in \mathbb {N} ,\,\forall x\in E.}$$
  Тогда поточечный предел _f функции fk измерим по Лебегу и
  $${\displaystyle \lim _{k}\int f_{k}\,d\mu =\int f\,d\mu .}$$
  Значение любого из интегралов может быть бесконечным.
• Лемма Фату : если { f _k } _{k ∈ N} — последовательность неотрицательных измеримых функций, то
  $${\displaystyle \int \liminf _{k}f_{k}\,d\mu \leq \liminf _{k}\int f_{k}\,d\mu .}$$
  Опять же, значение любого из интегралов может быть бесконечным.
• Теорема о доминируемой сходимости : предположим, что { f _k } _{k ∈ N} — последовательность комплексных измеримых функций с поточечным пределом f и существует интегрируемая по Лебегу функция g (т. е. g принадлежит пространству L 1 ⁾ такая , что | ж _к | ≤ g для всех k . Тогда f интегрируемо по Лебегу и
  $${\displaystyle \lim _{k}\int f_{k}\,d\mu =\int f\,d\mu .}$$

Необходимые и достаточные условия замены пределов и интегралов были доказаны Кафьеро в ^{[5] [6] [7] [8]} , обобщающем более ранние работы Ренато Каччиопполи, Владимира Дубровского и Гаэтано Фичера. ^[9]

Альтернативные составы

Интеграл по мере Лебега можно построить, не опираясь на весь аппарат теории меры. Один из таких подходов обеспечивается интегралом Дэниела .

Существует также альтернативный подход к разработке теории интегрирования методами функционального анализа . Интеграл Римана существует для любой непрерывной функции f с компактным носителем , определенной на R ⁿ (или фиксированном открытом подмножестве). На основе этих интегралов можно построить интегралы от более общих функций.

Пусть C _c — пространство всех вещественных непрерывных функций R с компактным носителем . Определим норму на C _c формулой

$${\displaystyle \left\|f\right\|=\int |f(x)|\,dx.}$$

Тогда C _c — нормированное векторное пространство (и, в частности, метрическое пространство). Все метрические пространства имеют хаусдорфово пополнение , поэтому пусть L ¹ — его пополнение. Это пространство изоморфно пространству интегрируемых по Лебегу функций по модулю подпространства функций с целым нулем. Более того, интеграл Римана ∫ является равномерно непрерывным функционалом по норме на C _c , плотным в L ¹ . Следовательно, ^∫ имеет единственное расширение на все L1 . Этот интеграл и есть интеграл Лебега.

В более общем смысле, когда пространство с мерой, на котором определены функции, также является локально компактным топологическим пространством (как в случае с действительными числами R ), меры, совместимые с топологией в подходящем смысле ( меры Радона , из которых мера Лебега является примером) интеграл по ним можно определить таким же образом, исходя из интегралов от непрерывных функций с компактным носителем . Точнее, функции с компактным носителем образуют векторное пространство с естественной топологией , а мера (Радона) определяется как непрерывный линейный функционал на этом пространстве. Тогда значение меры функции с компактным носителем также по определению является интегралом функции. Затем меру (интеграл) расширяют до более общих функций по непрерывности и определяют меру множества как интеграл от его индикаторной функции. Именно такого подхода придерживаются Николя Бурбаки ^[10] и ряд других авторов. Подробности см. в разделе «Радоновые меры» .

Ограничения интеграла Лебега

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

$${\displaystyle \operatorname {sinc} (x)={\frac {\sin(x)}{x}}}$$

$${\displaystyle \int _{-\infty }^{\infty }\left|{\frac {\sin(x)}{x}}\right|dx=\infty .}$$

интеграла Дирихле ${\textstyle \int _{-\infty }^{\infty }{\frac {\sin(x)}{x}}\,dx}$ ${\displaystyle \pi }$

Смотрите также

• Анри Лебег за нетехническое описание интеграции Лебега.
• Нулевой набор
• Интеграция
• Мера
• Сигма-алгебра
• Лебеговое пространство
• Интеграция Лебега – Стилтьеса
• Интеграл Римана
• Интеграл Хенстока – Курцвейла

Примечания

1. Фолланд, Джеральд Б. (1984). Реальный анализ: современные методы и их приложения. Уайли. п. 56. ИСБН 9780471809586.
2. Либ и Лосс 2001
3. Если f  ^∗ бесконечно во внутренней точке области, то интеграл следует считать бесконечным. В противном случае f  ^∗ конечна всюду на (0, +∞) и, следовательно, ограничена на каждом конечном интервале [ a , b ] , где a > 0 . Поэтому несобственный интеграл Римана (конечный или бесконечный) корректно определен.
4. Эквивалентно, можно было бы определить, поскольку почти для всех ${\displaystyle f^{*}(t)\ =\ \mu \left(\{x\in E\mid f(x)\geq t\}\right),}$ ${\displaystyle \mu \left(\{x\in E\mid f(x)\geq t\}\right)=\mu \left(\{x\in E\mid f(x)>t\}\right)}$ ${\displaystyle t.}$
5. Кафьеро, Ф. (1953), "Sul passaggio al limite sotto il segno d'integrale per Successioni d'integrali di Stieltjes-Lebesgue negli spazi astratti, con Masse Variabili con gli integrandi [О предельном переходе под интегральным символом" для последовательностей интегралов Стилтьеса–Лебега в абстрактных пространствах с массами, меняющимися совместно с подынтегральными выражениями]» (итальянский), Rendiconti del Seminario della Università di Padova, 22: 223–245, MR0057951, Zbl 0052.05003.
6. Кафьеро, Ф. (1959), Misura e integrazione [Мера и интеграция] (итальянский), Monografie matematiche del Consiglio Nazionale delle Ricerche 5, Roma: Edizioni Cremonese, стр. VII + 451, MR0215954, Zbl 0171.01503.
7. Летта, Г. (2013), Argomenti scelti di Teoria della Misura [Избранные темы теории меры], (на итальянском языке) Quaderni dell'Unione Matematica Italiana 54, Болонья: Unione Matematica Italiana, стр. XI + 183, ISBN 88- 371-1880-5, Збл 1326.28001. Ч. VIII, стр. 110–128.
8. Даниэле Тампиери (https://mathoverflow.net/users/113756/daniele-tampieri), Знаете ли вы важные теоремы, которые остаются неизвестными?, URL (версия: 31 декабря 2021 г.): https://mathoverflow.net/ q/296839
9. Фичера, Г. (1943), «Intorno al passaggio al limite sotto il segno d'integrale» [О предельном переходе под интегральным символом] (итальянский), Portugaliae Mathematica, 4 (1): 1–20, MR0009192, Збл 0063.01364.
10. Бурбаки 2004.

Рекомендации

• Бартл, Роберт Г. (1995). Элементы интегрирования и мера Лебега . Библиотека классической литературы Уайли. Нью-Йорк: John Wiley & Sons Inc. xii+179. ISBN 0-471-04222-6. МР  1312157.
• Бауэр, Хайнц (2001). Теория меры и интегрирования . Исследования Де Грюйтера по математике 26. Берлин: Де Грюйтер. 236. ИСБН 978-3-11-016719-1.
• Бурбаки, Николя (2004). Интеграция. I. Главы 1–6. Переведено с французских оригиналов 1959, 1965 и 1967 годов Стерлингом К. Берберианом . Элементы математики (Берлин). Берлин: Springer-Verlag. xvi+472. ISBN 3-540-41129-1. МР  2018901.
• Дадли, Ричард М. (1989). Реальный анализ и вероятность . Серия по математике Уодсворта и Брукса / Коула. Пасифик Гроув, Калифорния: Книги и программное обеспечение Wadsworth & Brooks/Cole Advanced. xii+436. ISBN 0-534-10050-3. МР  0982264.Очень тщательное рассмотрение, особенно для вероятностных специалистов с хорошими заметками и историческими ссылками.
• Фолланд, Джеральд Б. (1999). Реальный анализ: Современные методы и их применение . Чистая и прикладная математика (Нью-Йорк) (второе изд.). Нью-Йорк: John Wiley & Sons Inc. xvi+386. ISBN 0-471-31716-0. МР  1681462.
• Халмос, Пол Р. (1950). Теория меры . Нью-Йорк, штат Нью-Йорк: D. Van Nostand Company, Inc., стр. xi+304. МР  0033869.Классическое, хотя и несколько устаревшее изложение.
• «Интеграл Лебега», Математическая энциклопедия , EMS Press , 2001 [1994]
• Лебег, Анри (1904). «Уроки интеграции и исследования примитивных функций». Париж: Готье-Виллар. {{cite journal}}: Требуется цитировать журнал |journal=( помощь )
• Лебег, Анри (1972). Oeuvres Scientifiques (в пяти томах) (на французском языке). Женева: Институт математики Женевского университета. п. 405. МР  0389523.
• Либ, Эллиотт ; Потеря, Майкл (2001). Анализ . Аспирантура по математике . Том. 14 (2-е изд.). Американское математическое общество . ISBN 978-0821827833.
• Лумис, Линн Х. (1953). Введение в абстрактный гармонический анализ . Торонто-Нью-Йорк-Лондон: D. Van Nostand Company, Inc., стр. x+190. МР  0054173.Включает представление интеграла Дэниела.
• Марсден (1974), Элементарный классический анализ , WH Freeman.
• Манро, Мэн (1953). Введение в измерение и интегрирование . Кембридж, Массачусетс: Addison-Wesley Publishing Company Inc., стр. x+310. МР  0053186.Хорошее изложение теории внешних мер.
• Ройден, Х.Л. (1988). Реальный анализ (Третье изд.). Нью-Йорк: Издательская компания Macmillan. стр. хх+444. ISBN 0-02-404151-3. МР  1013117.
• Рудин, Уолтер (1976). Принципы математического анализа . Международная серия по чистой и прикладной математике (Третье изд.). Нью-Йорк: McGraw-Hill Book Co., стр. x +342. МР  0385023. Известная как «Маленький Руден» , содержит основы теории Лебега, но не рассматривает такой материал, как теорема Фубини .
• Рудин, Вальтер (1966). Реальный и комплексный анализ . Нью-Йорк: McGraw-Hill Book Co., стр. xi+412. МР  0210528.Известен как Большой Рудин . Полное и тщательное изложение теории. Хорошее изложение теорем о продолжении Рисса. Однако в доказательстве одной из теорем расширения имеется небольшой недостаток (в первом издании), обнаружение которого составляет упражнение 21 главы 2.
• Сакс, Станислав (1937). Теория интеграла. Монография Математическая. Том. 7 (2-е изд.). Варшава – Львов : GE Stechert & Co. JFM  63.0183.05. Збл  0017.30004. {{cite book}}: Внешняя ссылка |series=( помощь ) . Английский перевод Лоуренса Чизхолма Янга с двумя дополнительными примечаниями Стефана Банаха .
• Шилов, Г.Е.; Гуревич, Б.Л. (1977). Интеграл, мера и производная: единый подход. Переведено с русского и отредактировано Ричардом А. Сильверманом . Дуврские книги по высшей математике. Нью-Йорк: Dover Publications Inc. xiv+233. ISBN 0-486-63519-8. МР  0466463.Подчеркивает интеграл Даниэля .
• Зигмунд-Шульце, Рейнхард (2008), «Анри Лебег», Тимоти Гауэрс; Джун Барроу-Грин; Имре Лидер (ред.), Princeton Companion to Mathematics , Princeton University Press.
• Тешль, Джеральд . Темы реального и функционального анализа. (конспект лекций).
• Да, Джеймс (2006). Реальный анализ: теория меры и интеграл 2-й. Издание в мягкой обложке . Сингапур: World Scientific Publishing Company Pte. ООО с. 760. ИСБН 978-981-256-6.