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

Эта статья находится в разработке!

TODO: ВАКАНСИЯ: ВНИМАТЕЛЬНЫЙ ЧИТАТЕЛЬ. НУЖЕН, ЧТОБЫ ОЗНАКОМИТЬСЯ С ЭТИМ ТЕКСТОМ И ИСПРАВИТЬ КОСЯКИ

Далее, для краткости, «определённый интеграл Лебега» = «интеграл Лебега от ограниченной измеримой функции по множеству конечной меры»

[math]m \leq f(x) \leq M[/math], то, так как [math]\mu e \leq 0[/math], [math]\mu E = \sum\limits_{i=1}^n \mu e_i \Rightarrow m\mu E \leq \underline{s}(\tau) \leq \underline{L} \leq \overline{L} \leq \overline{s}(\tau) \leq M\mu E[/math]

То есть, [math]m \mu E \leq \int\limits_{E} f(x) d\mu \leq M \mu E[/math]

[math]f(x) = c \Rightarrow \underline{s} = \overline{s} = c\mu E[/math]

Интеграл от постоянной — [math]\int\limits_E cd\mu = c\mu E[/math]

Утверждение:

Интеграл неотрицательной функции неотрицателен

Сигма-аддитивность

Теорема ([math]\sigma[/math]-аддитивность интеграла):

[math]\exists \int\limits_E fd\mu[/math], [math]E = \bigcup\limits_n E_n[/math] — измеримы и дизъюнктны

Доказательство:

[math]\triangleright[/math]

1) [math]E = \bigcup\limits_{n=1}^p e_n[/math] Ясно, что, в силу индукции достаточно рассмотреть [math]p=2[/math]: [math]\int\limits_E fd\mu = \int\limits_{E_1}fd\mu+\int\limits_{E_2}fd\mu[/math] Раз [math]\exists \int\limits_E fd\mu[/math], то [math]f[/math] — измерима на [math]E[/math] и ограничена там. Значит, она будет такой же на частях [math]E_1[/math] и [math]E_2[/math], поэтому, все интегралы существуют. В силу определения интеграла, [math]\forall\varepsilon\ \exists\tau_i[/math] — разбиение [math]E_i[/math]. [math]\int\limits_{E_1}fd\mu -\varepsilon \lt \underline{s}(\tau_1) \Rightarrow \int\limits_{E_1} + \int\limits_{E_2} - 2\varepsilon \lt \underline{s}(\tau_1) + \underline{s}(\tau_2)[/math] Но [math]\tau = \tau_1 \cup \tau_2[/math] — разбиение [math]E[/math]. Значит, [math]\int\limits_{E_1} + \int\limits_{E_2} - 2\varepsilon \leq \underline{s}(\tau) \leq \int\limits_E[/math]. [math]\varepsilon \to 0[/math] — почти победа. Получили, что [math]\int\limits_{E_1} + \int\limits_{E_2} \leq \int\limits_E[/math]. Обратное неравенство доказываем аналогично. Случай конечной суммы рассмотрен. 2) [math]E = \bigcup\limits_n E_n = \bigcup\limits_{n=1}^p + B_p[/math], [math]B_p = \bigcup\limits_{n=p+1}^\infty E_n[/math] Теперь [math]E[/math] разбито на конечное число дизъюнктных частей. [math]\int\limits_E= \sum\limits_{n=1}^p\int\limits_{E_n} + \int\limits_{B_p}[/math] [math]|f(x)| \leq M \Rightarrow |\int\limits_{B_p}| \leq M\mu B_p[/math] Так как [math]\mu E \lt +\infty[/math], [math]\mu E = \sum\limits_{n=1}^p \mu E_n + \mu B_p[/math], по [math]\sigma[/math]-аддитивности. [math]\mu E = \sum\limits_{n=1}^\infty E_n[/math] Так как остаток сходящегося числового ряда стремится к нулю, [math]\mu B_p \to 0[/math] Тогда, так как [math]\left|\int\limits_{B_p}\right| \leq \mu B_p \cdot M[/math], [math]\int\limits_{B_p} \xrightarrow[p\to 0]{} 0[/math] Тогда, при [math]p\to\infty[/math], [math]\int\limits_{E} = \sum\limits_{n=1}^p + \int\limits_{B_p}[/math]. В пределе — нужная функция.

[math]\triangleleft[/math]

В частности, из этой теоремы уже можно перейти к следующему факту:

Утверждение:

Пусть [math]\exists\int\limits_E f(x)d\mu, \int\limits_E g(x)d\mu[/math], [math]\mu E(f\ne g) = 0[/math]. Тогда [math]\int\limits_E fd\mu = \int\limits_E gd\mu[/math]

[math]\triangleright[/math]

Действительно, [math]E_1 = E(f \ne g)[/math] — измеримо, так как [math]f[/math] и [math]g[/math] — измеримы. [math]E(f\ne g) = \bigcup\limits_{n=1}^\infty (|f-g|\leq \frac1n)[/math] — счётное объединение измеримых множеств. [math]E_2 = E \setminus E_1[/math]. [math]E[/math] разбито на две дизъюнктных части. [math]\int\limits_E fd\mu = \int\limits_{E_1} fd\mu + \int\limits_{E_2}fd\mu[/math], [math]\mu E_1 = 0 \Rightarrow \int\limits_{E_1} fd\mu = \int\limits_{E_1} gd\mu = 0 [/math] Тогда: [math]\int\limits_E fd\mu = \int\limits_{E_2} fd\mu = \int\limits_{E_1}gd\mu [=0] + \int\limits_{E_2}fd\mu = \\ \int\limits_{E_1}gd\mu + \int\limits_{E_2}gd\mu [\forall x \in E_2 : f(x) = g(x)] = \\ \int\limits_E gd\mu[/math]

[math]\triangleleft[/math]

Если вернуться к [math]f = \begin{cases}0, & x \in \mathbb{Q}\\1, & x \notin \mathbb{Q}\end{cases}[/math] и [math]g = 1[/math], [math]\lambda\mathbb{Q} = 0[/math] [math]\Rightarrow[/math] [math]\lambda E(f\ne g) = 0[/math] [math]\Rightarrow[/math] [math]\int\limits_{[0;1]} fd\mu = \int\limits_{0;1}1d\mu = 1[/math]

Линейность

Теперь установим так называемую линейность интеграла

Утверждение:

Пусть [math]\exists\int f, \int g[/math], [math]\alpha, \beta \in \mathbb{R}[/math]. Тогда [math]\alpha\int\limits_E fd\mu + \beta\int\limits_E gd\mu = \int\limits_E(\alpha f + \beta g)d\mu[/math]

[math]\triangleright[/math]

Установим, что интеграл суммы равен сумме интегралов. То, что можно выносить множитель — аналогично. [math]\int\limits_E f+g = \int\limits_E f + \int\limits_E g [/math]. Интеграл существует, нужно только доказать, что его значение именно такое. [math]E = \bigcup\limits_{j=1}^p e_j[/math], [math]m_j(f) = \inf\limits_{e_j} f[/math] [math]m_j(f) + m_j(g) \leq f(x) + g(x) \leq M_j(f) + M_j(g)[/math] [math]m_j(f) + m_j(g) \leq m_j(f + g) \leq M_j(f + g) \leq M_j(f) + \leq M_j(g)[/math] Суммируем по [math]i[/math] [math]\underline{s}(f) + \underline{s}(g) \leq \underline{s}(f+g) \leq \int\limits_Ef+g \leq \overline{s}(f+g) \leq \overline{s}f + \overline{s}g[/math] [math]\underline{s}(f) + \underline{s}(g) \leq \int\limits_Ef+\int\limits_Eg[/math], [math]\int\limits_E(f+g)\leq \overline{s}(f) + \overline{s}(g)[/math] В силу определения интеграла от измеримой функции, [math]\forall\varepsilon \gt 0 \exists \tau : \overline{s}(\tau, f) - \underline{s}(\tau, f)\lt \varepsilon[/math] [math]\forall\varepsilon\gt 0\ \exists \tau_1 : \overline{s}(\tau_1, f) - \underline{s}(\tau_1, f) \lt \varepsilon[/math] [math]\forall\varepsilon\gt 0\ \exists \tau_2 : \overline{s}(\tau_2, g) - \underline{s}(\tau_2, g) \lt \varepsilon[/math] [math]\exists\tau_3 : \tau_3 \le \tau_1, \tau_2 [/math] Подставим [math]\tau_3[/math]. [math]\overline{s}(f, \tau_3) - \underline{s}(f, \tau_3) \lt \varepsilon[/math] [math]\overline{s}(g, \tau_3) - \underline{s}(g, \tau_3) \lt \varepsilon[/math] Тогда крайние величины отличаются не более, чем на [math]2\varepsilon[/math]. Так как [math]\varepsilon[/math] — произвольное, числа должны совпасть.

[math]\triangleleft[/math]