Классические теоремы о предельном переходе под знаком интеграла Лебега — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(баг в определении)
(Следствие)
(не показано 6 промежуточных версий 1 участника)
Строка 1: Строка 1:
 
[[Суммируемые функции произвольного знака|<<]][[Пространство L_p(E)|>>]]
 
[[Суммируемые функции произвольного знака|<<]][[Пространство L_p(E)|>>]]
 
{{В разработке}}
 
  
 
== Теорема Лебега ==
 
== Теорема Лебега ==
Строка 10: Строка 8:
 
о мажорируемой сходимости
 
о мажорируемой сходимости
 
|statement=
 
|statement=
Пусть на <tex> E \subset X </tex> задана последовательность измеримых функций <tex> f_n </tex>, таких, что <tex> |f_n(x)| \le \varphi(x) </tex> почти всюду, где <tex> \varphi </tex> — суммируемая.
+
Пусть на <tex> E \subset X </tex> задана последовательность суммируемых функций <tex> f_n </tex>, таких, что <tex> |f_n(x)| \le \varphi(x) </tex> почти всюду, где <tex> \varphi </tex> — суммируемая.
  
 
Пусть <tex> f_n \underset{E}{\Rightarrow} f </tex> (по мере). Тогда допустим предельный переход под знаком интеграла:
 
Пусть <tex> f_n \underset{E}{\Rightarrow} f </tex> (по мере). Тогда допустим предельный переход под знаком интеграла:
Строка 20: Строка 18:
 
<tex> |f_{n_k}(x)| \le \varphi(x) </tex>. Устремим <tex> k </tex> к бесконечности, тогда <tex> |f(x)| \le \varphi(x) </tex>.
 
<tex> |f_{n_k}(x)| \le \varphi(x) </tex>. Устремим <tex> k </tex> к бесконечности, тогда <tex> |f(x)| \le \varphi(x) </tex>.
  
<tex> \forall \varepsilon > 0</tex>, можно подобрать <tex> A_\varepsilon </tex> — хорошее для <tex> \varphi: \int\limits_{\overline {A_\varepsilon}} \varphi d \mu < \varepsilon </tex>.
+
По определению интеграла, <tex> \forall \varepsilon > 0</tex>, можно подобрать <tex> A_\varepsilon </tex> — хорошее для <tex> \varphi: \int\limits_{\overline {A_\varepsilon}} \varphi d \mu < \varepsilon </tex>.
 
   
 
   
 
<tex> \left| \int\limits_E f_n - \int\limits_E f \right| \le \int\limits_E |f_n - f| = \int\limits_{{A_\varepsilon}} |f_n - f| +  \int\limits_{\overline {A_\varepsilon}} |f_n - f| </tex>
 
<tex> \left| \int\limits_E f_n - \int\limits_E f \right| \le \int\limits_E |f_n - f| = \int\limits_{{A_\varepsilon}} |f_n - f| +  \int\limits_{\overline {A_\varepsilon}} |f_n - f| </tex>
Строка 42: Строка 40:
 
Леви
 
Леви
 
|statement=
 
|statement=
Пусть на E задана последовательность измеримых функций, каждая из которых почти всюду неотрицательна и <tex> f_n(x) \le f_{n+1}(x) </tex>. <tex> f(x) = \lim\limits_{n \to \infty} f_n(x) </tex> — почти везде конечна на <tex> E </tex>. Тогда <tex> \lim \int\limits_E f_n = \int\limits_E f </tex>.
+
Пусть на <tex> E </tex> задана последовательность измеримых функций, каждая из которых почти всюду неотрицательна и <tex> f_n(x) \le f_{n+1}(x) </tex>. <tex> f(x) = \lim\limits_{n \to \infty} f_n(x) </tex> — почти везде конечна на <tex> E </tex>. Тогда <tex> \lim\limits_n \int\limits_E f_n = \int\limits_E f </tex>.
 
|proof=
 
|proof=
 
В силу поточечной монотонности <tex> f_n </tex>, <tex> f </tex>, как их предел, определена по теореме Вейерштрасса, предел измеримых функций измерим, поэтому все интегралы имеют смысл, функция неотрицательна.  
 
В силу поточечной монотонности <tex> f_n </tex>, <tex> f </tex>, как их предел, определена по теореме Вейерштрасса, предел измеримых функций измерим, поэтому все интегралы имеют смысл, функция неотрицательна.  
Строка 60: Строка 58:
 
следствие
 
следствие
 
|statement=
 
|statement=
Пусть <tex> u_n(x) \ge 0 </tex> на и измеримы на <tex> E </tex>, и <tex> \sum\limits_{n = 1}^{\infty} \int\limits_E u_n </tex> — сходится. Тогда <tex> \sum\limits_{n = 1}^{\infty} u_n(x) </tex> сходится почти всюду на <tex> E </tex>.
+
Пусть <tex> u_n(x) \ge 0 </tex> и измеримы на <tex> E </tex>, и <tex> \sum\limits_{n = 1}^{\infty} \int\limits_E u_n </tex> — сходится. Тогда <tex> \sum\limits_{n = 1}^{\infty} u_n(x) </tex> сходится почти всюду на <tex> E </tex>.
 
|proof=
 
|proof=
 
Все интегралы определены (неотрицательные функции). <tex> S_n = \sum\limits_{k = 1}^{n} u_k(x) </tex> с ростом <tex> n </tex> возрастает. Мы хотим установить, что предел <tex> S(x) \rightarrow + \infty </tex> самое большее — на нульмерном множестве.  
 
Все интегралы определены (неотрицательные функции). <tex> S_n = \sum\limits_{k = 1}^{n} u_k(x) </tex> с ростом <tex> n </tex> возрастает. Мы хотим установить, что предел <tex> S(x) \rightarrow + \infty </tex> самое большее — на нульмерном множестве.  
Строка 78: Строка 76:
 
Пусть измеримые <tex> f_n </tex>  неотрицательны на <tex> E </tex> и сходятся на <tex> E </tex> по мере к функции <tex> f </tex>. Тогда <tex> \int\limits_E f \le \sup\limits_{n=1,2,\dots} \int\limits_E f_n </tex>.
 
Пусть измеримые <tex> f_n </tex>  неотрицательны на <tex> E </tex> и сходятся на <tex> E </tex> по мере к функции <tex> f </tex>. Тогда <tex> \int\limits_E f \le \sup\limits_{n=1,2,\dots} \int\limits_E f_n </tex>.
 
|proof=
 
|proof=
По теореме Риса выделяем из <tex> f_n </tex> сходящуюся почти всюду подпоследовательность. <tex> f_n </tex> неотрицательна, <tex> f_{n_k} \to f </tex>, следовательно, <tex> f </tex> тоже неотрицательна почти всюду на <tex> E </tex>, интеграл в неравенстве определен. Справа <tex> sup </tex> — не уменьшая общности, можно считать, что <tex> f_n \to f </tex> почти всюду.  
+
По теореме Рисса выделяем из <tex> f_n </tex> сходящуюся почти всюду подпоследовательность. <tex> f_n </tex> неотрицательна, <tex> f_{n_k} \to f </tex>, следовательно, <tex> f </tex> тоже неотрицательна почти всюду на <tex> E </tex>, интеграл в неравенстве определен. Справа <tex> sup </tex> — не уменьшая общности, можно считать, что <tex> f_n \to f </tex> почти всюду.  
  
Пусть <tex> g_n = \min \{ f, f_n \} </tex>;  
+
Пусть <tex> g_n = \min \{ f, f_n \} </tex> (<tex> g_n </tex> — поточечный минимум);
  
 
<tex> g_n </tex> — измерима ( <tex> \min (x, y) = \frac{(x + y) - |x - y|}2 </tex> )  
 
<tex> g_n </tex> — измерима ( <tex> \min (x, y) = \frac{(x + y) - |x - y|}2 </tex> )  
Строка 97: Строка 95:
 
б) <tex> \int\limits_E f = + \infty </tex>.
 
б) <tex> \int\limits_E f = + \infty </tex>.
  
Возьмем любое хорошее <tex> E' </tex> для <tex> f </tex>. <tex> E' </tex> — множество конечной меры, <tex> f </tex> на нем ограничена. <tex> \int\limits_{E'} < + \infty </tex>. Тогда по уже доказанному, <tex> \int\limits_{E'} f \le \sup\limits_{n \in \mathbb N} \int\limits_{E'} f_n </tex>.
+
Возьмем любое хорошее <tex> E' </tex> для <tex> f </tex>. <tex> E' </tex> — множество конечной меры, <tex> f </tex> на нем ограничена. <tex> \int\limits_{E'} f < + \infty </tex>. Тогда по уже доказанному, <tex> \int\limits_{E'} f \le \sup\limits_{n \in \mathbb N} \int\limits_{E'} f_n </tex>.
  
 
Интеграл по любому хорошему <tex> E' </tex> для <tex> f </tex> не превосходит этой константы и, переходя к <tex> \sup </tex> по <tex> E </tex>, получаем <tex> \int\limits_E f \le \sup\limits_{n \in \mathbb N} \int\limits_E f_n </tex>, что и требовалось доказать.
 
Интеграл по любому хорошему <tex> E' </tex> для <tex> f </tex> не превосходит этой константы и, переходя к <tex> \sup </tex> по <tex> E </tex>, получаем <tex> \int\limits_E f \le \sup\limits_{n \in \mathbb N} \int\limits_E f_n </tex>, что и требовалось доказать.

Версия 16:51, 26 апреля 2018

<<>>

Теорема Лебега

Теорема (Лебег, о мажорируемой сходимости):
Пусть на [math] E \subset X [/math] задана последовательность суммируемых функций [math] f_n [/math], таких, что [math] |f_n(x)| \le \varphi(x) [/math] почти всюду, где [math] \varphi [/math] — суммируемая.

Пусть [math] f_n \underset{E}{\Rightarrow} f [/math] (по мере). Тогда допустим предельный переход под знаком интеграла:

[math] \lim\limits_{n \rightarrow \infty} \int\limits_E f_n = \int\limits_E f [/math].
Доказательство:
[math]\triangleright[/math]

[math] f_n \underset{E}{\Rightarrow} f [/math], следовательно, по теореме Рисса, можно выделить сходящуюся подпоследовательность [math] f_{n_k} [/math].

[math] |f_{n_k}(x)| \le \varphi(x) [/math]. Устремим [math] k [/math] к бесконечности, тогда [math] |f(x)| \le \varphi(x) [/math].

По определению интеграла, [math] \forall \varepsilon \gt 0[/math], можно подобрать [math] A_\varepsilon [/math] — хорошее для [math] \varphi: \int\limits_{\overline {A_\varepsilon}} \varphi d \mu \lt \varepsilon [/math].

[math] \left| \int\limits_E f_n - \int\limits_E f \right| \le \int\limits_E |f_n - f| = \int\limits_{{A_\varepsilon}} |f_n - f| + \int\limits_{\overline {A_\varepsilon}} |f_n - f| [/math]

[math] \int\limits_{\overline {A_\varepsilon}} |f_n - f| \le \int\limits_{\overline {A_\varepsilon}} 2 \varphi \lt 2 \varepsilon [/math] (по выбору [math] A_\varepsilon [/math])

[math] A_{\varepsilon} [/math] — хорошее, следовательно, [math] \mu A_{\varepsilon} \lt + \infty [/math], следовательно, [math] |\varphi(x)| \le M [/math] на [math] A_\varepsilon [/math].

[math] |f_n|, |f| [/math] мажорируются [math] \varphi \le M [/math] на [math] A_\varepsilon [/math].

Тем самым, [math] \int\limits_{{A_\varepsilon}} |f_n - f| [/math] удовлетворяет теореме Лебега о предельном переходе под знаком опредленного интеграла, следовательно, [math] \int\limits_{{A_\varepsilon}} \xrightarrow[n \to \infty]{} 0 [/math]. Тогда и [math] \int\limits_E |f_n - f| \xrightarrow[n \to \infty]{} 0 [/math], что и требовалось доказать.
[math]\triangleleft[/math]

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

Теорема Леви

Избавимся от требования наличия суммируемой мажоранты:

Теорема (Леви):
Пусть на [math] E [/math] задана последовательность измеримых функций, каждая из которых почти всюду неотрицательна и [math] f_n(x) \le f_{n+1}(x) [/math]. [math] f(x) = \lim\limits_{n \to \infty} f_n(x) [/math] — почти везде конечна на [math] E [/math]. Тогда [math] \lim\limits_n \int\limits_E f_n = \int\limits_E f [/math].
Доказательство:
[math]\triangleright[/math]

В силу поточечной монотонности [math] f_n [/math], [math] f [/math], как их предел, определена по теореме Вейерштрасса, предел измеримых функций измерим, поэтому все интегралы имеют смысл, функция неотрицательна.

Если [math] \int\limits_E f \lt + \infty, 0 \lt f_n \le f [/math], то [math] f [/math] — суммируемая мажоранта [math] f_n [/math], и, по теореме Лебега, равенство выполняется.

Если же [math] \int\limits_E f = + \infty [/math], то для любого [math] m \in \mathbb N [/math], по определению интеграла неотрицательной функции, существует [math] \exists E_m [/math] — хорошее для [math] f: m \lt \int\limits_{E_m} f d \mu [/math].

[math] f [/math] ограничена на [math] E_m [/math], мера [math] E_m [/math] — конечна, значит, константа, которой определяется [math] f [/math], может рассматриваться, как суммируемая мажоранта для [math] f_n [/math] и, по теореме Лебега, [math] \int\limits_{E_m} f_n \to \int\limits_{E_m} f [/math]. Поэтому, начиная с [math] N, m \lt \int\limits_{E_m} f_n [/math].

Но [math] E_m \subset E, f_n \ge 0 [/math], и по свойствам интеграла, [math] \int\limits_{E_m} f_n \le \int\limits_{E} f_n [/math] и [math] m \lt \int\limits_{E} f_n, \forall n \gt N [/math], [math] m [/math] — произвольное натуральное число, следовательно, [math] \int\limits_{E} f_n \to + \infty = \int\limits_{E} f [/math], что и требовалось доказать.
[math]\triangleleft[/math]

Следствие

Лемма (следствие):
Пусть [math] u_n(x) \ge 0 [/math] и измеримы на [math] E [/math], и [math] \sum\limits_{n = 1}^{\infty} \int\limits_E u_n [/math] — сходится. Тогда [math] \sum\limits_{n = 1}^{\infty} u_n(x) [/math] сходится почти всюду на [math] E [/math].
Доказательство:
[math]\triangleright[/math]

Все интегралы определены (неотрицательные функции). [math] S_n = \sum\limits_{k = 1}^{n} u_k(x) [/math] с ростом [math] n [/math] возрастает. Мы хотим установить, что предел [math] S(x) \rightarrow + \infty [/math] самое большее — на нульмерном множестве.

Пусть [math] E_1 = E(S(x) = + \infty) [/math] и [math] \mu E_1 \gt 0 [/math]. Тогда [math] \int\limits_{E_1} S(x) d\mu = \infty [/math].

Но к частичным суммам на [math] E_1 [/math] применима теорема Леви и [math] \int\limits_{E_1} S_n \to + \infty [/math], при этом [math] \int\limits_{E_1} S_n \le \int\limits_E S_n = \sum\limits_{k=1}^n \int\limits_E u_k [/math], а эта сумма имеет конечный предел.

Мы пришли к противоречию, значит, [math] \mu E_1 = 0 [/math].
[math]\triangleleft[/math]

Теорема Фату

Теорема (Фату):
Пусть измеримые [math] f_n [/math] неотрицательны на [math] E [/math] и сходятся на [math] E [/math] по мере к функции [math] f [/math]. Тогда [math] \int\limits_E f \le \sup\limits_{n=1,2,\dots} \int\limits_E f_n [/math].
Доказательство:
[math]\triangleright[/math]

По теореме Рисса выделяем из [math] f_n [/math] сходящуюся почти всюду подпоследовательность. [math] f_n [/math] неотрицательна, [math] f_{n_k} \to f [/math], следовательно, [math] f [/math] тоже неотрицательна почти всюду на [math] E [/math], интеграл в неравенстве определен. Справа [math] sup [/math] — не уменьшая общности, можно считать, что [math] f_n \to f [/math] почти всюду.

Пусть [math] g_n = \min \{ f, f_n \} [/math] ([math] g_n [/math] — поточечный минимум);

[math] g_n [/math] — измерима ( [math] \min (x, y) = \frac{(x + y) - |x - y|}2 [/math] )

[math] g_n \le f_n [/math]. Докажем, что [math] \int\limits_E f \le \sup\limits_{n \in \mathbb N} \int\limits_E g_n [/math]

[math] f_n(x) \to f(x) \Rightarrow g_n(x) \to f(x) [/math]

[math] g_n \le f [/math] Рассмотрим два случая:

а) [math] \int\limits_E f \lt + \infty [/math]:

Тогда [math] f [/math] — суммируемая мажоранта для [math] g_n [/math], и по теореме Лебега [math] \int\limits_E g_n \to \int\limits_E f [/math], неравенство выполняется.

б) [math] \int\limits_E f = + \infty [/math].

Возьмем любое хорошее [math] E' [/math] для [math] f [/math]. [math] E' [/math] — множество конечной меры, [math] f [/math] на нем ограничена. [math] \int\limits_{E'} f \lt + \infty [/math]. Тогда по уже доказанному, [math] \int\limits_{E'} f \le \sup\limits_{n \in \mathbb N} \int\limits_{E'} f_n [/math].

Интеграл по любому хорошему [math] E' [/math] для [math] f [/math] не превосходит этой константы и, переходя к [math] \sup [/math] по [math] E [/math], получаем [math] \int\limits_E f \le \sup\limits_{n \in \mathbb N} \int\limits_E f_n [/math], что и требовалось доказать.
[math]\triangleleft[/math]

<<>>