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

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

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

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

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

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

Введение [ править ]

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

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

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

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

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

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

-  Источник : ( Siegmund-Schultze 2008 ).

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

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

Чтобы получить некоторое представление о различных подходах к интеграции, представим, что мы хотим найти объем горы (над уровнем моря).

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

Разделите основание горы на сетку из квадратов по 1 метр. Измерьте высоту горы в центре каждого квадрата. Объем на одном квадрате сетки составляет примерно 1 м ² × (высота этого квадрата), поэтому общий объем составляет 1 м ^2, умноженную на сумму высот.

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

Нарисуйте контурную карту горы, на которой соседние контуры находятся на расстоянии 1 метра над уровнем моря. Объем земли, который содержит один контур, составляет приблизительно 1 м × (площадь этого контура), поэтому общий объем равен сумме этих площадей, умноженных на 1 м.

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

К формальному определению [ править ]

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

Для определения интеграла Лебега требуется формальное понятие меры , что, грубо говоря, сопоставляет каждое множество А вещественных числа неотрицательного числа М ( ) , представляющих «размер» A . Это понятие «размера» должно соответствовать обычной длине интервала или непересекающемуся объединению интервалов. Предположим, что f  : ℝ → ℝ ⁺ - неотрицательная вещественнозначная функция. Используя философию «разделения диапазона f », интеграл от f должен быть суммой по t элементарной площади, содержащейся в тонкой горизонтальной полосе между y = t.и y = t - dt . Эта элементарная область просто

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

Позволять

${\displaystyle f^{*}(t)=\mu \left(\{x\mid f(x)>t\}\right).}$

Тогда интеграл Лебега функции f определяется формулой ^[2]

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

где интеграл справа - обычный несобственный интеграл Римана . Обратите внимание, что f ^∗ является неотрицательной убывающей функцией и, следовательно, имеет хорошо определенный несобственный интеграл Римана со значением в интервале [0, ∞] . Для подходящего класса функций ( измеримых функций ) это определяет интеграл Лебега.

Общая (не обязательно положительная) измеримая функция f является интегрируемой по Лебегу, если площадь между графиком f и осью x конечна:

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

В этом случае, как и в римановом случае, интеграл представляет собой разность между площадью над осью x и площадью под осью x :

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

где - разложение f в разность двух неотрицательных функций, заданных формулой${\displaystyle f=f^{+}-f^{-}}$

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

Строительство [ править ]

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

Теория меры [ править ]

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

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

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

Измеримые функции [ править ]

Начнем с мерой пространства ( Е , X , μ) , где Е представляет собой множество , Х представляет собой σ-алгебра подмножеств Е , а μ является (не отрицательно ) мерой на Е , определенные на множествах X .

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

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

${\displaystyle \{x\,\mid \,f(x)>t\}\in X\quad \forall t\in \mathbb {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}}$

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

Есть несколько подходов к определению интеграла:

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

для измеримых вещественных функций F , определенный на Е .

Построение интеграла [ править ]

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

Функции индикатора [ править ]

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

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

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

Простые функции [ править ]

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

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

где коэффициенты a _k - действительные числа, а S _k - непересекающиеся измеримые множества, называется измеримой простой функцией . Продолжим интеграл по линейности на неотрицательные измеримые простые функции. Когда коэффициенты 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}).}$

Следует использовать соглашение 0 × ∞ = 0 , и результат может быть бесконечным. Даже если простую функцию можно разными способами записать как линейную комбинацию индикаторных функций, интеграл всегда один и тот же. Это можно показать, используя свойство аддитивности мер.

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

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

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

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

${\displaystyle \int _{B}s\,d\mu =\int 1_{B}\,s\,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  f  dμ бесконечен.

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

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

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

Подписанные функции [ править ]

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

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

куда

${\displaystyle f^{+}(x)=\left\{{\begin{matrix}f(x)&{\text{if }}f(x)>0\\0&{\text{otherwise}}\end{matrix}}\right.}$

${\displaystyle f^{-}(x)=\left\{{\begin{matrix}-f(x)&{\text{if }}f(x)<0\\0&{\text{otherwise}}\end{matrix}}\right.}$

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

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

Мы говорим, что интеграл Лебега измеримой функции f существует или определен, если хотя бы одно из и конечно:${\displaystyle \int f^{+}\,d\mu }$${\displaystyle \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|\,d\mu <\infty ,}$

мы говорим , что е является интегрируемой по Лебегу .

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

Комплексные функции [ править ]

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

Если 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)=\left\{{\begin{matrix}1&{\text{if }}x=a_{j},j\leq k\\0&{\text{otherwise}}\end{matrix}}\right.}$

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

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

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

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

Две функции называются равными почти всюду ( для краткости), если они совпадают вне подмножества меры 0 .${\displaystyle f\ {\stackrel {\text{a.e.}}{=}}\ g}$

Измеряемость подмножества является не требуется.${\displaystyle \{x\mid f(x)\neq g(x)\}}$

• Если 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 .}$

• Позвольте быть мерой пространства. Обозначим в алгебру борелевских множеств на . (По определению содержит множество и все борелевские подмножества ). Рассмотрим -измеримую неотрицательную функцию . Для набора определите${\displaystyle (\Omega ,\Sigma ,\mu )}$${\displaystyle \operatorname {\mathcal {B}} _{\mathbb {R} _{\geq 0}}}$${\displaystyle \sigma }$${\displaystyle [0,+\infty ]}$${\displaystyle \operatorname {\mathcal {B}} _{\mathbb {R} _{\geq 0}}}$${\displaystyle \{+\infty \}}$${\displaystyle \mathbb {R} _{\geq 0}}$${\displaystyle (\Sigma ,\operatorname {\mathcal {B}} _{\mathbb {R} _{\geq 0}})}$${\displaystyle s:\Omega \to [0,+\infty ]}$${\displaystyle S\in \Sigma }$

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

Тогда - мера Лебега на .${\displaystyle \nu }$${\displaystyle (\Omega ,\Sigma )}$

• Теорема о _{монотонной} сходимости : предположим, что { f _k } _{k ∈ ℕ} - последовательность неотрицательных измеримых функций такая, что

${\displaystyle f_{k}(x)\leq f_{k+1}(x)\quad \forall k\in \mathbb {N} ,\,\forall x\in E.}$

Тогда поточечный предел f функции f _k измерим по Лебегу и

${\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 ) такая, что | f _k | ≤ g для всех k .

Тогда f интегрируема по Лебегу и

${\displaystyle \lim _{k}\int f_{k}\,d\mu =\int f\,d\mu .}$

Альтернативные формулировки [ править ]

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

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

Пусть C _c - пространство всех вещественнозначных непрерывных функций от с компактным носителем. Определим норму на C _{c следующим} образом:

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

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

В более общем смысле, когда пространство с мерой, на котором определены функции, также является локально компактным топологическим пространством (как в случае с действительными числами), меры, совместимые с топологией в подходящем смысле ( меры Радона , из которых мера Лебега является примером) интеграл по ним можно определить таким же образом, исходя из интегралов непрерывных функций с компактным носителем . Точнее, функции с компактным носителем образуют векторное пространство с естественной топологией , а мера (радоновская) определяется как непрерывная линейнаяфункционал на этом пространстве. Тогда значение меры для функции с компактным носителем также по определению является интегралом функции. Затем переходят к расширению меры (интеграла) до более общих функций по непрерывности и определяют меру множества как интеграл его индикаторной функции. Этого подхода придерживаются Бурбаки (2004) и ряд других авторов. Подробнее см. Радоновые меры .

Ограничения интеграла Лебега [ править ]

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

sin ⁡ ( x ) x {\displaystyle {\frac {\sin(x)}{x}}}

по всей реальной линии. Эта функция не интегрируема по Лебегу, так как

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

С другой стороны, существует как несобственный интеграл и может быть вычислен как конечный; это дважды интеграл Дирихле .${\displaystyle \int _{-\infty }^{\infty }{\frac {\sin(x)}{x}}dx}$

См. Также [ править ]

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

Примечания [ править ]

Ссылки [ править ]

• Бартл, Роберт Г. (1995). Элементы интегрирования и меры Лебега . Библиотека Wiley Classics. Нью-Йорк: John Wiley & Sons Inc. xii + 179. ISBN 0-471-04222-6. Руководство по ремонту  1312157 .
• Бауэр, Хайнц (2001). Теория меры и интеграции . Исследования Де Грюйтера по математике 26. Берлин: Де Грюйтер. 236. ISBN. 978-3-11-016719-1.
• Бурбаки, Николас (2004). Интеграция. I. Главы 1–6. Перевод с французских оригиналов 1959, 1965 и 1967 годов Стерлинг К. Бербериан . Элементы математики (Берлин). Берлин: Springer-Verlag. xvi + 472. ISBN 3-540-41129-1. MR  2018901 .
• Дадли, Ричард М. (1989). Реальный анализ и вероятность . Серия Математики Уодсворта и Брукса / Коула. Пасифик Гроув, Калифорния: Уодсворт и Брукс / Продвинутые книги и программное обеспечение Коула. xii + 436. ISBN 0-534-10050-3. Руководство по ремонту  0982264 . Очень тщательный подход, особенно для вероятностников с хорошими заметками и историческими ссылками.
• Фолланд, Джеральд Б. (1999). Реальный анализ: современные методы и их приложения . Чистая и прикладная математика (Нью-Йорк) (второе изд.). Нью-Йорк: John Wiley & Sons Inc. xvi + 386. ISBN 0-471-31716-0. Руководство по ремонту  1681462 .
• Халмос, Пол Р. (1950). Теория меры . Нью-Йорк, штат Нью-Йорк: D. Van Nostrand Company, Inc., стр. Xi + 304. Руководство по ремонту  0033869 . Классическая, но несколько устаревшая презентация.
• «Интеграл Лебега» , Энциклопедия математики , EMS Press , 2001 [1994]
• Лебег, Анри (1904). "Leçons sur l'intégration et la recherche des fonctions primitives". Париж: Готье-Виллар. Cite journal requires |journal= (help)
• Лебег, Анри (1972). Oeuvres scientifiques (en cinq тома) (на французском языке). Женева: Institut de Mathématiques de l'Université de Genève. п. 405. MR  0389523 .
• Либ, Эллиотт ; Потеря, Майкл (2001). Анализ . Аспирантура по математике . 14 (2-е изд.). Американское математическое общество . ISBN 978-0821827833.
• Лумис, Линн Х. (1953). Введение в абстрактный гармонический анализ . Торонто-Нью-Йорк-Лондон: D. Van Nostrand Company, Inc., стр. X + 190. Руководство по ремонту  0054173 . Включает представление интеграла Даниэля.
• Манро, Мэн (1953). Введение в измерение и интеграцию . Кембридж, Массачусетс: Addison-Wesley Publishing Company Inc., стр. X + 310. Руководство по ремонту  0053186 . Хорошая трактовка теории внешних мер.
• Ройден, HL (1988). Реальный анализ (Третье изд.). Нью-Йорк: издательство Macmillan Publishing Company. С. xx + 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). Теория интеграла . Monografie Matematyczne . 7 (2-е изд.). Warszawa - львовский : GE Stechert & Co. JFM  63.0183.05 . Zbl  0017.30004 .. Английский перевод Лоуренса Чисхолма Янга с двумя дополнительными примечаниями Стефана Банаха .
• Шилов Г.Е .; Гуревич, БЛ (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. ISBN 978-981-256-6.