Интеграл Лебега: различия между версиями

Материал из sawiki
Перейти к навигации Перейти к поиску
Строка 7: Строка 7:
 
'''Определение 1.''' Функция называется '''простой''', если она измерима и принимает конечное число значений.
 
'''Определение 1.''' Функция называется '''простой''', если она измерима и принимает конечное число значений.
  
Простую функцию можно представить в виде $$f(x)=\sum\limits_{k=1}^{m} f_{k} \chi_{A_{k}}(x)$$, где $$X=\coprod_{k=1}^{m} A_{k}$$, все множества $$A_{k} \in \Sigma$$ (и попарно не пересекаются), $$f_{k} \in \mathrm{R}$$, $$\chi_{A}(x)=\left\{\begin{array}{l}
+
Простую функцию можно представить в виде $$f(x)=\sum\limits_{k=1}^{m} f_{k} \chi_{A_{k}}(x)$$, где $$X=\coprod_{k=1}^{m} A_{k}$$, все множества $$A_{k} \in \Sigma$$ (и попарно не пересекаются), $$f_{k} \in \mathbb{R}$$, $$\chi_{A}(x)=\left\{\begin{array}{l}
 
1, x \in A \\
 
1, x \in A \\
 
0, x \notin A
 
0, x \notin A

Версия 20:05, 10 декабря 2023

Интеграл Лебега от простых функций

Пусть задана тройка $$\{X, \Sigma, \mu\}$$, где $$X$$ — пространство, $$\Sigma$$ — сигма-алгебра, $$\mu$$ — полная сигма-аддитивная мера, причем $$\mu(X)<+\infty$$.

Определим интеграл Лебега на простых функциях.

Определение 1. Функция называется простой, если она измерима и принимает конечное число значений.

Простую функцию можно представить в виде $$f(x)=\sum\limits_{k=1}^{m} f_{k} \chi_{A_{k}}(x)$$, где $$X=\coprod_{k=1}^{m} A_{k}$$, все множества $$A_{k} \in \Sigma$$ (и попарно не пересекаются), $$f_{k} \in \mathbb{R}$$, $$\chi_{A}(x)=\left\{\begin{array}{l} 1, x \in A \\ 0, x \notin A \end{array}\right. $$ - характеристическая функция (индикатор). Фактически, сумма всегда состоит из одного слагаемого. Примером может служить функция Дирихле.

Определение 2. Интегралом Лебега от простой функции $$f(x)=\sum\limits_{k=1}^{m} f_{k} \chi_{A_{k}}(x)$$ называется \[ (L) \int\limits_{X} f(x) d \mu=\sum\limits_{k=1}^{m} f_{k} \mu\left(A_{k}\right) \text {. } \]

В дальнейшем значок $$(L)$$ опускаем.

Пример. Интеграл Лебега от функции Дирихле по мере Лебега равен мере множества. Напомним, что по Риману эта функция не интегрируема.

Свойства интеграла Лебега от простых функций

1. Константу можно выносить за знак интеграла.

2. Интеграл от суммы (разности) функций равен сумме (разности) интегралов от этих функций. Доказательство очевидное.

Следствие. Интеграл от линейной комбинации функций равен линейной комбинации интегралов от этих функций с теми же коэффициентами.

3. $$\left|\int\limits_{X} f(x) d \mu\right| \leq \max\limits_{X}|f(x)| \mu(X)=\max\limits_{k=1, m}\left|f_{k}\right| \mu(X)$$.

Расширение понятия Лебега путем предельного перехода

Лемма 1. Пусть $$\left\{f_{n}(x)\right\}$$ — последовательность простых функций, $$f_{n}(x) \rightrightarrows f(x)\text,~~x \in X$$, тогда числовая последовательность $$\int\limits_{X} f_{n}(x) d \mu$$ сходится.

Вытекает из фундаментальности этой последовательности: если $$\left|f_{n}(x)-f_{m}(x)\right|<\varepsilon$$, то

\[ \left|\int\limits_{X} f_{n}(x) d \mu-\int\limits_{X} f_{m}(x) d \mu\right| \leq \int\limits_{X}\left|f_{n}(x)-f_{m}(x)\right| d \mu \leq \max\limits_{X}\left|f_{n}(x)-f_{m}(x)\right| \mu(X) \leq \varepsilon \mu(X) \text {. } \]

Определение 3. Пусть $$f(x)$$ — равномерный предел на $$X$$ последовательности простых функций $$\left\{f_{n}(x)\right\}$$, тогда интегралом Лебега от этой функции называется

\[ (L) \int\limits_{X} f(x) d \mu=\lim\limits_{n \rightarrow \infty} \int\limits_{X} f_{n}(x) d \mu . \]

Легко видеть, что это определение корректно: предел не зависит от выбора последовательности простых функций.

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

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

Доказательство: Пусть $$f(x)$$ — измеримая ограниченная функция. Представим ее в виде разности двух неотрицательных функций: $$f(x)=f_{+}(x)-f_{-}(x)$$, где $$f_{ \pm}(x)=(f(x) \mid \pm f(x)) / 2$$. Таким образом, не ограничивая общности, можно считать, что $$0 \leq f(x) \leq M$$. Положим $$A_{k n}=\{k / n \leq f(x)<(k+1) / n\}, k=0,1,2, \ldots$$,

$$f_{n}(x)=\sum\limits_{k=0}^{\infty}(k / n) \mu\left(A_{k n}\right)=\sum\limits_{k=0}^{N}(k / n) \mu\left(A_{k n}\right), N=[M n]+1$$, тогда $$0 \leq f(x)-f_{n}(x) \leq 1 / n$$

$$\forall x \in A_{k n} \Rightarrow \forall x \in X$$, что и требовалось доказать.$$\blacksquare$$

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

Из этой леммы вытекает основное утверждение.

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

\[ \int\limits_{X} f(x) d \mu=\lim\limits_{n \rightarrow \infty} \sum\limits_{k=0}^{N} \frac{k}{n} \mu\left(\left\{\frac{k}{n} \leq f(x)<\frac{k+1}{n}\right\}\right) . \]

Интеграл Лебега от неограниченной функции

Рассмотрим измеримую простую функцию, принимающую счетное число значений: $$f(x)=\sum\limits_{k=1}^{\infty} f_{k} \chi_{A_{k}}(x)$$, где $$X=\coprod_{k=1}^{\infty} A_{k}$$ (множества $$A_{k} \in \Sigma$$ и попарно не пересекаются).

Определение 4. Простая функция $$f(x)=\sum\limits_{k=1}^{\infty} f_{k} \chi_{A_{k}}(x)$$ называется интегрируемой по Лебегу, если сходится ряд

\[ \sum\limits_{k=1}^{\infty}\left|f_{k}\right| \mu\left(A_{k}\right). \]

в этом случае интегралом Лебега от этой функции называется

\[ (L) \int\limits_{X} f(x) d \mu=\sum\limits_{k=1}^{\infty} f_{k} \mu\left(A_{k}\right) \text {. } \]

Таким образом, в случае интеграла Лебега абсолютная интегрируемость равносильна интегрируемости.

Свойства интеграла Лебега от простых функций со счетным числом значений

1. Константу можно выносить за знак интеграла.

2. Интеграл от суммы (разности) функций равен сумме (разности) интегралов от этих функций. Доказательство очевидное.

Следствие. Интеграл от линейной комбинации функций равен линейной комбинации интегралов от этих функций с теми же коэффициентами.

Пример. Функция Дирихле интегрируема по обычной мере Лебега на отрезке $$[0,1]$$, и интеграл от нее равен единице.

3. $$\left|\int\limits_{X} f(x) d \mu\right| \leq \sup\limits_{X}|f(x)| \mu(X)$$ (если $$f(x)$$ не ограничена, то правая часть бесконечна).

4. Если $$|f(x)| \leq g(x)$$ и $$g(x)$$ интегрируема, то $$f(x)$$ интегрируема, причем \[ \left|\int\limits_{X} f(x) d \mu\right| \leq \int\limits_{X} g(x) d \mu. \]

Доказательство: Пусть $$f(x)=\sum\limits_{k=1}^{\infty} f_{k} \chi_{A_{k}}(x), g(x)=\sum\limits_{i=1}^{\infty} g_{i} \chi_{B_{i}}(x)$$, тогда

\[ \left|\int\limits_{X} f(x) d \mu\right| \leq \sum\limits_{k=1}^{\infty}\left|f_{k}\right| \mu\left(A_{k}\right)=\sum\limits_{i=1}^{\infty} \sum\limits_{k=1}^{\infty}\left|f_{k}\right| \mu\left(A_{k} \cap B_{i}\right) \leq \sum\limits_{i=1}^{\infty} \sum\limits_{k=1}^{\infty} g_{i} \mu\left(A_{k} \cap B_{i}\right)=\sum\limits_{i=1}^{\infty} g_{i} \mu\left(B_{i}\right)=\int\limits_{X} g(x) d \mu. \blacksquare \]

Утверждение 1. Пусть $$\left\{f_{n}(x)\right\}$$ — последовательность простых функций со счетным числом значений, $$f_{n}(x) \rightarrow$$ на $$X$$, тогда числовая последовательность $$\int\limits_{X} f_{n}(x) d \mu$$ сходится.

Вытекает из оценки

\[ \left|\int\limits_{X} f_{n}(x) d \mu-\int\limits_{X} f_{m}(x) d \mu\right| \leq \sup\limits_{X}\left|f_{n}(x)-f_{m}(x)\right| \mu(X) . \]

Определение 5. Функция $$f(x), x \in X$$, называется интегрируемой по Лебегу на множестве $$X$$, если существует последовательность интегрируемых простых функций со счетным числом значений $$\left\{f_{n}(x)\right\}$$, равномерно сходящаяся к $$f(x)$$ на множестве $$X$$, при этом интегралом Лебега от функции $$f(x)$$ называется

\[ (L) \int\limits_{X} f(x) d \mu=\lim\limits_{n \rightarrow \infty} \int\limits_{X} f_{n}(x) d \mu \text {. } \]

Корректность этого определения вытекает из следующего простого утверждения.

Утверждение 2. Если $$\left\{f_{n}(x)\right\}$$ и $$\left\{\tilde{f}_{n}(x)\right\}$$ — две последовательности интегрируемых простых функций со счетным числом значений, равномерно сходящиеся к функции $$f(x)$$ на множестве $$X$$, то

\[ \lim\limits_{n \rightarrow \infty} \int\limits_{X} f_{n}(x) d \mu=\lim_{n \rightarrow \infty} \int\limits_{X} \tilde{f}_{n}(x) d \mu \]

Для доказательства достаточно заметить, что

\[ \left|\int\limits_{X} f_{n}(x) d \mu-\int\limits_{X} \tilde{f}_{n}(x) d \mu\right| \leq \sup\limits_{X}\left|f_{n}(x)-\tilde{f}_{n}(x)\right| \mu(X) \leq\left(\sup\limits_{X}\left|f_{n}(x)-f(x)\right|+\sup\limits_{X}\left|f(x)-\tilde{f}_{n}(x)\right|\right) \mu(X) \rightarrow 0. \]

Справедливо и обратное (в некотором смысле) утверждение.

Утверждение 3. Пусть функция $$f(x)$$ интегрируема на множестве $$X$$ и пусть последовательность измеримых простых функций со счетным числом значений $$\left\{f_{n}(x)\right\}$$ равномерно сходится к функции $$f(x)$$ на множестве $$X$$, тогда, начиная с некоторого номера, все функции $$f_{n}(x)$$ интегрируемы на множестве $$X$$.

Доказательство: Так как функция $$f(x)$$ интегрируема, то существует последовательность интегрируемых простых функций со счетным числом значений $$\left\{\tilde{f}_{n}(x)\right\}$$, которая равномерно сходится к функции $$f(x)$$. Следовательно, $$\forall \varepsilon>0 \quad \exists N: \forall n \geq N$$ $$\left|\tilde{f}_{n}(x)-f(x)\right|<\varepsilon$$ и (в силу равномерной сходимости) $$\left|f_{n}(x)-f(x)\right|<\varepsilon$$. Отсюда вытекает, что $$\left|\tilde{f}_{n}(x)-f_{n}(x)\right|<2 \varepsilon$$ и $$\left|f_{n}(x)\right|<\left|\tilde{f}_{n}(x)\right|+2 \varepsilon$$, а это и означает интегрируемость $$f_{n}(x)$$. $$\blacksquare$$

Свойства интегрируемых функций

1. Константу можно выносить за знак интеграла.

2. Интеграл от суммы (разности) функций равен сумме (разности) интегралов от этих функций.

3. Если $$f(x) \geq 0$$ п.в., то $$\int\limits_{X} f(x) d \mu \geq 0$$.

4. Если $$f(x) \leq g(x)$$ п.в., то $$\int\limits_{X} f(x) d \mu \leq \int\limits_{X} g(x) d \mu$$.

5. Если $$f(x)$$ интегрируема, то $$|f(x)|$$ интегрируема. Обратное, вообще говоря, неверно.

6. Если $$f(x)$$ измерима, $$g(x)$$ интегрируема и $$|f(x)| \leq g(x)$$, то $$f(x)$$ интегрируема, причем $$\left|\int\limits_{X} f(x) d \mu\right| \leq \int\limits_{X}|f(x)| d \mu \leq \int\limits_{X} g(x) d \mu$$.

7. Если $$f(x)$$ интегрируема, $$g(x)$$ измерима и ограничена, то $$f(x) g(x)$$ интегрируема.

Определение 6. Пусть $$f(x)$$ интегрируема на $$X$$, измеримое $$A \subset X$$, тогда

\[ \int\limits_{A} f(x) d \mu=\int\limits_{X} f(x) \chi_{A}(x) d \mu . \]

8. (аддитивность интеграла Лебега по множеству интегрирования) Если $$f(x)$$ интегрируема на $$X, X=A \coprod B, A, B$$ — измеримые, то

\[ \int\limits_{X} f d \mu=\int\limits_{A} f d \mu+\int\limits_{B} f d \mu . \]

Следствие. Если $$f(x)$$ интегрируема на $$X, X=\coprod_{k=1}^{n} A_{k}$$, все $$A_{k}$$ — измеримые, то

\[ \int\limits_{X} f d \mu=\sum\limits_{k=1}^{n} \int\limits_{A_{k}} f d \mu . \]

В дальнейшем мы докажем и свойство сигма-аддитивности.

9. Если $$f$$ измерима, $$\mu(A)=0$$, то $$\int\limits_{A} f d \mu=0$$.

Доказательство: Для простой функции это свойство очевидно. В общем случае существует последовательность простых функций $$f_{n} \rightrightarrows f$$, поэтому $$\exists n:|f| \leq\left|f_{n}\right|+1$$, откуда вытекает, что функция $$f$$ интегрируема и

\[ \int\limits_{A}|f| d \mu \leq \int\limits_{A}\left(\left|f_{n}\right|+1\right) d \mu=0 \blacksquare . \]

Следствие. Если $$f=0$$ п.в. на множестве $$X$$, то $$\int\limits_{X} f d \mu=0$$.

Достаточно заметить, в обозначении $$E=\{f \neq 0\}$$, что $$\mu(E)=0, \int\limits_{E} f d \mu=0$$, $$\int\limits_{X \backslash E} f d \mu=0, X=E \coprod(X \backslash E)$$.

10. Если $$f$$ интегрируема на $$X, f \geq 0, \int\limits_{X} f d \mu=0$$, то $$f=0$$ п.в. на $$X$$.

Доказательство: Сначала докажем неравенство Чебышёва: если $$f \geq 0$$, то $$\forall a>0$$

\[ \mu(\{f \geq a\}) \leq \frac{1}{a} \int\limits_{X} f d \mu . \]

В самом деле,

\[ \int\limits_{X} f d \mu=\int\limits_{\{f \geq a\}} f d \mu+\int\limits_{\{f<a\}} f d \mu \geq \int\limits_{\{f \geq a\}} f d \mu \geq a \int\limits_{\{f \geq a\}} f d \mu=a \mu(\{f \geq a\}) . \]

Теперь заметим, что $$\{f>0\}=\bigcup_{n=1}^{\infty}\{f \geq 1 / n\}$$. В силу неравенства Чебышёва $$\mu(\{f \geq 1 / n\}) \leq \int\limits_{X} f d \mu / n=0$$, поэтому $$\mu(\{f>0\}) \leq \sum\limits_{n=1}^{\infty} \mu(\{f \geq 1 / n\})=0$$. $$\blacksquare$$