Сходимость по мере — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
м (Теорема Лебега)
м (rollbackEdits.php mass rollback)
 
(не показано 14 промежуточных версий 8 участников)
Строка 1: Строка 1:
{{В разработке}}
+
[[Предельный переход в классе измеримых функций|<<]][[Классические теоремы теории измеримых функций|>>]]
  
{{TODO|t=ВАКАНСИЯ: ВНИМАТЕЛЬНЫЙ ЧИТАТЕЛЬ. НУЖЕН, ЧТОБЫ ОЗНАКОМИТЬСЯ С ЭТИМ ТЕКСТОМ И ИСПРАВИТЬ КОСЯКИ}}
+
Пусть функции <tex>f_n, f</tex> {{---}} измеримы на <tex>E</tex>, множества <tex>E(|f_n - f| \geq \delta)</tex>, где <tex>\delta > 0</tex>, измеримы.
 
 
Функции <tex>f_n, f</tex> {{---}} измеримы на <tex>E</tex>, <tex>E(|f_n - f| \geq \delta)</tex>, <tex>\delta > 0</tex>. Это измеримые множества.
 
  
 
{{Определение
 
{{Определение
Строка 14: Строка 12:
 
{{Теорема
 
{{Теорема
 
|author=Лебег
 
|author=Лебег
|statement=<tex>\mu E<+\infty</tex>, <tex>f_n\to f</tex> почти всюду на <tex>E</tex>. Тогда <tex>f_n\stackrel{E}{\Rightarrow} f</tex>. При этом, <tex>\mu E<+\infty</tex> {{---}} существенно
+
|statement=<tex>\mu E<+\infty</tex>, <tex>f_n\to f</tex> почти всюду на <tex>E</tex>. Тогда <tex>f_n\stackrel{E}{\Rightarrow} f</tex>.
 
|proof=
 
|proof=
Продемонстрируем, что условие конечности меры важно
+
Как мы выяснили ранее, удобно рассматривать <tex>E'=\bigcup\limits_{p=1}^\infty \bigcap\limits_{m=1}^\infty \bigcup\limits_{n=m}^\infty E(|f_n - f| \geq \frac1p)</tex>;
{{Утверждение
+
по условию теоремы, <tex>\mu E' = 0</tex>.
|statement=<tex>\mu E <+\infty</tex> {{---}} существенно
+
 
|proof=Рассмотрим функции <tex>f_n(x)=\begin{cases}0 &, 0 \leq x < n\\1 &, x\geq n\end{cases}</tex>, <tex>E = \mathbb{R}^+</tex>.
+
Пусть <tex>B_m = \bigcup\limits_{n=m}^\infty E(|f_n - f| \geq \frac1p) \supset B_{m+1}</tex>, тогда
 +
<tex>\forall p: B = \bigcap\limits_{m=1}^\infty B_m </tex>, очевидно, содержится в <tex>E'</tex>,
 +
поэтому, по полноте меры, <tex>\mu B = 0</tex>.
 +
 
 +
 
 +
По монотонности меры, <tex>\mu B_i</tex> {{---}} убывающая числовая последовательность. Она ограничена, значит, у неё есть предел.
 +
 
 +
Покажем, что он равен нулю. Или, более общий факт: <tex>\mu B_m \to \mu B = 0</tex>.
 +
 
 +
Для этого воспользуемся тем, что <tex>\mu E</tex> {{---}} конечен.
 +
 
 +
Так как <tex>B = \bigcap\limits_{m=1}^\infty B_m</tex>, то
 +
<tex>\overline B = \bigcup\limits_{m=1}^\infty \overline B_m</tex> (здесь под <tex> \overline X </tex> имеется в виду дополнение <tex> X </tex> до <tex> E </tex>).
  
Фиксируем <tex>x</tex>. <tex>n\to \infty</tex>, <tex>\exists N : n > x \Rightarrow f_n(x) = 0</tex>. Значит, <tex>f_n(x) \to 0</tex> всюду на <tex>\mathbb{R}^+</tex>. <tex>\lambda(\mathbb{R^+}) = +\infty</tex>
+
<tex>B_m</tex> {{---}} убывающая (<tex>B_m \supset B_{m+1}</tex>), значит, дополнения растут: <tex>\overline B_m \subset \overline B_{m+1}</tex>.
  
<tex>\delta=\frac12</tex>, <tex>E(|f_n - f|\geq \delta) = \mathbb{R}^+(|f_n(x)| \geq \frac12) = [n; +\infty)</tex>
+
Значит, <tex>\overline B = \overline B_1 \cup (\overline B_2 \setminus \overline B_1) \cup (\overline B_3 \setminus \overline B_2) \cup \ldots</tex>.
  
Значит, <tex>\lambda E(|f_n-f|\geq \delta) = +\infty</tex>
+
<tex>\overline B \subset E</tex>. Значит, <tex>\mu \overline B \leq \mu E < +\infty</tex>.
  
Значит, <tex>f_n \not\Rightarrow 0</tex>, хотя стремится к <tex>0</tex> почти всюду.
+
По <tex>\sigma</tex>-аддитивности, <tex>\mu\overline B = \mu\overline B_1 + \mu(\overline B_2 \setminus\overline B_1) + \mu(\overline B_3 \setminus \overline B_2) + \cdots</tex>.
}}
 
  
<tex>E'=\bigcup\limits_{p=1}^\infty \bigcap\limits_{m=1}^\infty \bigcup\limits_{n=m}^\infty E(|f_n - f| \geq \frac1p)</tex>
+
В силу конечности <tex>\mu E</tex>, <tex>\mu(\overline B_{m + 1} \setminus \overline B_{m}) = \mu \overline B_{m + 1} - \mu \overline B_{m} </tex>.
  
По условию теоремы, <tex>\mu E' = 0</tex>
+
Вставляя это в ряд и вспоминая, что ряд {{---}} предел частичных сумм, получаем
 +
<tex>\mu\overline B = \mu\overline B_1 - \mu \overline B_1 + \mu\overline B_2 - \mu \overline B_2 + \mu\overline B_3 - \cdots</tex>
  
<tex>\forall p=1, 2, \ldots : \bigcap\limits_{m=1}^\infty \bigcap\limits_{n=m}^\infty (...)</tex>, очевидно, содержится в <tex>E'</tex>
+
Так как частичная сумма этого ряда с номером <tex> m </tex> — не что иное, как <tex> \mu \overline B_m </tex>, то <tex>\mu \overline B_m \rightarrow \mu \overline B </tex>.
  
Отсюда, по полноте меры, <tex>\mu \bigcap\limits_{m=1}^\infty \bigcap\limits_{n=m}^\infty (...) = 0</tex>
+
<tex>\mu B_m = \mu E - \mu \overline B_m</tex>, <tex>\mu B = \mu E - \mu \overline B</tex>, отсюда <tex>\mu B_m \to \mu B</tex>.
  
<tex>B_m = \bigcup\limits_{n=m}^\infty E(|f_n - f| \geq \frac1p) \supset B_{m+1}</tex>
+
В нашем случае <tex>\mu B  =0</tex>.
  
По монотонности меры, <tex>\mu B_i</tex> {{---}} убывающая числовая последовательность.Значит, у неё есть предел. Покажем, что это <tex>0</tex>. Или, более общий факт: <tex>\mu B_m \to \mu \bigcap\limits_{n=1}^\infty B_n = 0</tex>
+
<tex>\forall p : \mu \bigcup\limits_{n=m}^\infty E(|f_n - f| \geq \frac1p) \to 0</tex>
  
Для этого воспользуемся тем, что <tex>\sup \mu E</tex> {{---}} конечен.
+
<tex>\forall \delta > 0\ \exists p_0 \in \mathbb{N} : \frac1{p_0} \leq \delta</tex>
  
<tex>B = \bigcap\limits_{m=1}^\infty B_m</tex>
+
<tex>E(|f_m - f| \geq \delta) \subset E(|f_m-f|\geq \frac1{p_0}) \to 0</tex>
  
<tex>\bar B = \bigcup\limits_{m=1}^\infty \bar B_m</tex>, <tex>B_m</tex> {{---}} убывающая (<tex>B_m \supset B_{m+1}</tex>), значит, дополнения растут: <tex>\bar B_m \subset \bar B_{m+1}</tex>.
+
Значит, <tex>f_n \stackrel{E}{\Rightarrow} f</tex> по определению.
 +
}}
  
Значит, <tex>\bar B = \bar B_1 \cup (\bar B_2 \setminus \bar B_1) \cup (\bar B_3 \setminus \bar B_2) \cup \ldots</tex>.
+
Продемонстрируем теперь, что условие конечности меры важно:
  
<tex>\bar B \subset E</tex>. Значит, <tex>\mu B \leq \mu E < +\infty</tex>.
+
{{Утверждение
 +
|statement=
 +
<tex> \mu E < +\infty </tex> — существенно.
 +
|proof=
 +
Рассмотрим функции <tex>f_n(x)=\begin{cases}0 &, 0 \leq x < n\\1 &, x\geq n\end{cases}</tex>, <tex>E = \mathbb{R}_+</tex>.
  
По <tex>\sigma</tex>-аддитивности, <tex>\mu\bar B = \mu\bar B_1 + \mu(\bar B_2 \setminus\bar B_1) + \mu(\bar B_3 \setminus \bar B_2) + \cdots</tex>.
+
При фиксированном <tex>x</tex>, для всех <tex>n > N: n > x \Rightarrow f_n(x) = 0</tex>. Значит, <tex>f_n(x) \xrightarrow[n \to \infty]{} 0</tex> всюду на <tex>\mathbb{R}_+</tex>. <tex>\lambda(\mathbb{R}_+) = +\infty</tex>
  
В силу конечности <tex>\mu E</tex>, <tex>\mu(\bar B_2 \setminus \bar B_1) = \mu \bar B_2 - \mu \bar B_1</tex>
+
Возьмем <tex>\delta=\frac12</tex>, <tex>E(|f_n - f|\geq \delta) = \mathbb{R}_+(|f_n(x)| \geq \frac12) = [n; +\infty)</tex>
  
Вставляя это в ряд и вспоминая, что ряд {{---}} предел частичных сумм, получаем
+
Значит, <tex>\lambda E(|f_n-f|\geq \delta) = +\infty</tex>
<tex>\mu\bar B = \mu\bar B_1 - \mu \bar B_1 + \mu\bar B_2 - \mu \bar B_3 + \mu\bar B_3 - \cdots</tex>
 
  
<tex>\mu B_m = \mu E - \mu \bar B_m</tex> <tex>\Rightarrow</tex> <tex>\mu B = \mu E - \mu \bar B</tex>
+
Значит, <tex>f_n \not\Rightarrow 0</tex>, хотя стремится к <tex>0</tex> почти всюду.
 +
}}
  
Значит, <tex>\mu B_m \to \mu B</tex>
+
Замечание: даже в случае конечной меры <tex> E </tex> последовательность функций, сходящаяся по мере, может не иметь предела ни в одной точке.
  
В нашем случае <tex>\mu B  =0</tex>
+
== Единственность предела по мере ==
  
<tex>\forall p : \mu \bigcup\limits_{n=m}^\infty E(|f_n - f| \geq \frac1p) \to 0</tex>
+
{{Теорема
 +
|statement=
 +
Если последовательность измеримых функций <tex>f_n \colon E \to \mathbb R</tex> стремится по мере к <tex>f</tex> и <tex>g</tex>, то <tex>f = g</tex> почти всюду на <tex>E</tex>
 +
|proof=
 +
Определим следующие множества:
 +
* <tex>P_n = E(|f - g| \ge \frac1n)</tex>
 +
* <tex>P'_{nk} = E(|f_k - f| \ge \frac1{2n})</tex>
 +
* <tex>P''_{nk} = E(|f_k - g| \ge \frac1{2n})</tex>
  
<tex>\forall \delta > 0\ \exists p_0 \in \mathbb{N} : \frac1{p_0} \leq \delta</tex>
+
Заметим, что <tex>P_n \subset (P'_{nk} \cup P''_{nk})</tex>: если <tex>x \notin P'_{nk} \cup P''_{nk}</tex>, то <tex>|f_k(x) - f(x)| < \frac1{2n}</tex> и <tex>|f_k(x) - g(x)| < \frac1{2n}</tex>, а тогда <tex>|f(x) - g(x)| < |f(x) - f_k(x)| + |g(x) - f_k(x)| = \frac1n</tex>, т.е. <tex>x \notin P_n</tex>.
  
<tex>E(|f_m - f| \geq \delta) \subset E(|f_m-f|\geq \frac1{p_0}) \to 0</tex>
+
По полуаддитивности меры <tex>\mu P_n \le \mu P'_{nk} + \mu P''_{nk}</tex>. Сумма в правой части стремится к нулю при <tex>k \rightarrow \infty</tex>, следовательно, <tex>\mu P_n = 0</tex>.
  
Значит, <tex>f_n \stackrel{E}{\rightarrow} f</tex>
+
Если взять <tex> P_n </tex> такие, что их меры образуют сходящийся ряд, то, поскольку <tex>E(f \neq g) = \bigcup\limits_{n = 1}^\infty P_n</tex>, то <tex>\mu E(f \neq g) \le \sum\limits_{n = 1}^\infty \mu P_n = 0</tex>, что и требовалось доказать.
 
}}
 
}}
 +
 +
[[Предельный переход в классе измеримых функций|<<]][[Классические теоремы теории измеримых функций|>>]]
 +
[[Категория:Математический анализ 2 курс]]

Текущая версия на 19:19, 4 сентября 2022

<<>>

Пусть функции [math]f_n, f[/math] — измеримы на [math]E[/math], множества [math]E(|f_n - f| \geq \delta)[/math], где [math]\delta \gt 0[/math], измеримы.


Определение:
[math]f_n[/math] стремятся по мере на [math]E[/math] к [math]f[/math] ([math]f_n\stackrel{[E]}{\Rightarrow} f[/math]), если [math]\forall\delta\gt 0 : \mu E(|f_n - f| \geq \delta) \xrightarrow[n\to\infty]{} 0[/math]


В определённом смысле, это наиболее слабый вид сходимости, что подтверждает следующая классическая теорема Лебега.

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

Теорема (Лебег):
[math]\mu E\lt +\infty[/math], [math]f_n\to f[/math] почти всюду на [math]E[/math]. Тогда [math]f_n\stackrel{E}{\Rightarrow} f[/math].
Доказательство:
[math]\triangleright[/math]

Как мы выяснили ранее, удобно рассматривать [math]E'=\bigcup\limits_{p=1}^\infty \bigcap\limits_{m=1}^\infty \bigcup\limits_{n=m}^\infty E(|f_n - f| \geq \frac1p)[/math]; по условию теоремы, [math]\mu E' = 0[/math].

Пусть [math]B_m = \bigcup\limits_{n=m}^\infty E(|f_n - f| \geq \frac1p) \supset B_{m+1}[/math], тогда [math]\forall p: B = \bigcap\limits_{m=1}^\infty B_m [/math], очевидно, содержится в [math]E'[/math], поэтому, по полноте меры, [math]\mu B = 0[/math].


По монотонности меры, [math]\mu B_i[/math] — убывающая числовая последовательность. Она ограничена, значит, у неё есть предел.

Покажем, что он равен нулю. Или, более общий факт: [math]\mu B_m \to \mu B = 0[/math].

Для этого воспользуемся тем, что [math]\mu E[/math] — конечен.

Так как [math]B = \bigcap\limits_{m=1}^\infty B_m[/math], то [math]\overline B = \bigcup\limits_{m=1}^\infty \overline B_m[/math] (здесь под [math] \overline X [/math] имеется в виду дополнение [math] X [/math] до [math] E [/math]).

[math]B_m[/math] — убывающая ([math]B_m \supset B_{m+1}[/math]), значит, дополнения растут: [math]\overline B_m \subset \overline B_{m+1}[/math].

Значит, [math]\overline B = \overline B_1 \cup (\overline B_2 \setminus \overline B_1) \cup (\overline B_3 \setminus \overline B_2) \cup \ldots[/math].

[math]\overline B \subset E[/math]. Значит, [math]\mu \overline B \leq \mu E \lt +\infty[/math].

По [math]\sigma[/math]-аддитивности, [math]\mu\overline B = \mu\overline B_1 + \mu(\overline B_2 \setminus\overline B_1) + \mu(\overline B_3 \setminus \overline B_2) + \cdots[/math].

В силу конечности [math]\mu E[/math], [math]\mu(\overline B_{m + 1} \setminus \overline B_{m}) = \mu \overline B_{m + 1} - \mu \overline B_{m} [/math].

Вставляя это в ряд и вспоминая, что ряд — предел частичных сумм, получаем [math]\mu\overline B = \mu\overline B_1 - \mu \overline B_1 + \mu\overline B_2 - \mu \overline B_2 + \mu\overline B_3 - \cdots[/math]

Так как частичная сумма этого ряда с номером [math] m [/math] — не что иное, как [math] \mu \overline B_m [/math], то [math]\mu \overline B_m \rightarrow \mu \overline B [/math].

[math]\mu B_m = \mu E - \mu \overline B_m[/math], [math]\mu B = \mu E - \mu \overline B[/math], отсюда [math]\mu B_m \to \mu B[/math].

В нашем случае [math]\mu B =0[/math].

[math]\forall p : \mu \bigcup\limits_{n=m}^\infty E(|f_n - f| \geq \frac1p) \to 0[/math]

[math]\forall \delta \gt 0\ \exists p_0 \in \mathbb{N} : \frac1{p_0} \leq \delta[/math]

[math]E(|f_m - f| \geq \delta) \subset E(|f_m-f|\geq \frac1{p_0}) \to 0[/math]

Значит, [math]f_n \stackrel{E}{\Rightarrow} f[/math] по определению.
[math]\triangleleft[/math]

Продемонстрируем теперь, что условие конечности меры важно:

Утверждение:
[math] \mu E \lt +\infty [/math] — существенно.
[math]\triangleright[/math]

Рассмотрим функции [math]f_n(x)=\begin{cases}0 &, 0 \leq x \lt n\\1 &, x\geq n\end{cases}[/math], [math]E = \mathbb{R}_+[/math].

При фиксированном [math]x[/math], для всех [math]n \gt N: n \gt x \Rightarrow f_n(x) = 0[/math]. Значит, [math]f_n(x) \xrightarrow[n \to \infty]{} 0[/math] всюду на [math]\mathbb{R}_+[/math]. [math]\lambda(\mathbb{R}_+) = +\infty[/math]

Возьмем [math]\delta=\frac12[/math], [math]E(|f_n - f|\geq \delta) = \mathbb{R}_+(|f_n(x)| \geq \frac12) = [n; +\infty)[/math]

Значит, [math]\lambda E(|f_n-f|\geq \delta) = +\infty[/math]

Значит, [math]f_n \not\Rightarrow 0[/math], хотя стремится к [math]0[/math] почти всюду.
[math]\triangleleft[/math]

Замечание: даже в случае конечной меры [math] E [/math] последовательность функций, сходящаяся по мере, может не иметь предела ни в одной точке.

Единственность предела по мере

Теорема:
Если последовательность измеримых функций [math]f_n \colon E \to \mathbb R[/math] стремится по мере к [math]f[/math] и [math]g[/math], то [math]f = g[/math] почти всюду на [math]E[/math]
Доказательство:
[math]\triangleright[/math]

Определим следующие множества:

  • [math]P_n = E(|f - g| \ge \frac1n)[/math]
  • [math]P'_{nk} = E(|f_k - f| \ge \frac1{2n})[/math]
  • [math]P''_{nk} = E(|f_k - g| \ge \frac1{2n})[/math]

Заметим, что [math]P_n \subset (P'_{nk} \cup P''_{nk})[/math]: если [math]x \notin P'_{nk} \cup P''_{nk}[/math], то [math]|f_k(x) - f(x)| \lt \frac1{2n}[/math] и [math]|f_k(x) - g(x)| \lt \frac1{2n}[/math], а тогда [math]|f(x) - g(x)| \lt |f(x) - f_k(x)| + |g(x) - f_k(x)| = \frac1n[/math], т.е. [math]x \notin P_n[/math].

По полуаддитивности меры [math]\mu P_n \le \mu P'_{nk} + \mu P''_{nk}[/math]. Сумма в правой части стремится к нулю при [math]k \rightarrow \infty[/math], следовательно, [math]\mu P_n = 0[/math].

Если взять [math] P_n [/math] такие, что их меры образуют сходящийся ряд, то, поскольку [math]E(f \neq g) = \bigcup\limits_{n = 1}^\infty P_n[/math], то [math]\mu E(f \neq g) \le \sum\limits_{n = 1}^\infty \mu P_n = 0[/math], что и требовалось доказать.
[math]\triangleleft[/math]

<<>>