Пространство L p(E) — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(убрал косяки)
Строка 1: Строка 1:
<tex> (X, \mathcal A, \mu) </tex>
+
[[Классические теоремы о предельном переходе под знаком интеграла Лебега|<<]][[Мера подграфика|>>]]
  
<tex> E \subset \mathcal A , p \ge 1 </tex>
+
Будем рассматривать <tex> (X, \mathcal A, \mu) </tex>.
 +
Пусть <tex> E </tex> измеримо, <tex> p \ge 1 </tex>.
  
<tex> L_p(E) = \{f </tex> - измерима на <tex> E, \int\limits_E  {|f|}^p d \mu < + \infty \} </tex>, то есть пространство функций, суммируемых с <tex> p </tex>й степенью на <tex> E </tex>. Измеримость <tex> f </tex> на <tex> E </tex> принципиальна, так как в общем случае из измеримости <tex> |f|^p </tex> не вытекает измеримость <tex> f </tex>.  
+
<tex> L_p(E) = \{f </tex> - измерима на <tex> E, \int\limits_E  {|f|}^p d \mu < + \infty \} </tex>, то есть пространство функций, суммируемых с <tex> p </tex>-ой степенью на <tex> E </tex>. Измеримость <tex> f </tex> на <tex> E </tex> принципиальна, так как в общем случае из измеримости <tex> |f|^p </tex> не вытекает измеримость <tex> f </tex>.  
  
Видимо, пример:
+
Пример, который подтверждает это:
  
 
<tex> E_1 </tex> - не измеримо и содержится в <tex> E </tex>.
 
<tex> E_1 </tex> - не измеримо и содержится в <tex> E </tex>.
  
<tex> f(x) = \begin{cases} 1, & x \in E \setminus E_1 \\ -1, & x \in E_1 \end{cases} </tex> — не измеримо на <tex> E </tex>.
+
<tex> f(x) = \begin{cases} 1, & x \in E \setminus E_1 \\ -1, & x \in E_1 \end{cases} </tex> — не измерима на <tex> E </tex>.
  
<tex> E(f(x) \le -1) = E_1 </tex> - нет {{TODO|t=что нет? o_O }}
+
Но <tex> |f(x)|^p = 1 </tex> на <tex> E </tex> уже будет измеримой. Значит, из измеримости модуля не вытекает измеримость функции.
  
<tex> |f(x)| = 1 </tex> на <tex> E </tex> — измерима. Из измеримости модуля не вытекает измеримость функции.
 
  
 +
{{Теорема
 +
|statement=
 +
<tex> L_p(E) </tex> — линейное пространство.
 +
|proof=
 +
Нам нужно доказать, что если <tex> \int\limits_E |f|^p, \int\limits_E |g|^p < + \infty </tex>, то <tex> \int\limits_E |\alpha f + \beta g|^p < + \infty </tex>.
  
 +
1) Докажем, что <tex> \int\limits_E |f + g|^p < + \infty </tex>.
  
Проверим, что <tex> L_p(E) </tex> — измеримое множество.
+
Очевидно, <tex> |f + g|^p \le ( |f| + |g| )^p </tex>.
  
<tex> \int\limits_E |f|^p, \int\limits_E |g|^p < + \infty </tex> — следует ли <tex> \int\limits_E |\alpha f + \beta g|^p < + \infty </tex>.  
+
Пусть <tex> E_1 = E(|f| \le |g|) </tex>,
 +
<tex> E_2 = E(|f| > |g|) </tex>,
 +
<tex> E = E_1 \cup E_2 </tex>.
  
Достаточно(почему?) доказать, что <tex> \int\limits_E |f + g|^p < + \infty </tex>.
+
Тогда <tex> \int\limits_E |f + g|^p \le \int\limits_E (|f| + |g|)^p = \int\limits_{E_1} + \int\limits_{E_2} \le \int\limits_{E_1} (2 |g|)^p + \int\limits_{E_2} (2 |f|)^p \le 2^p (\int\limits_{E_1} |f|^p + \int\limits_{E_2} |g|^p) < + \infty </tex>
  
<tex> |f + g|^p \le ( |f| + |g| )^p </tex>
+
2) Если <tex> \int \limits_E |f|^p < +\infty </tex>, то и <tex> \int \limits_E |\alpha f|^p = |\alpha|^p \int \limits_E |f|^p < +\infty </tex>.
  
<tex> E_1 = E(|f| \le |g|) </tex>
+
Таким образом, линейность доказана.
 
+
}}
<tex> E_2 = E(|f| > |g|) </tex>
 
 
 
<tex> E = E_1 \cup E_2 </tex>
 
 
 
<tex> \int\limits_E |f + g|^p \le \int\limits_E (|f| + |g|)^p = \int\limits_{E_1} + \int\limits_{E_2} \le \int\limits_{E_1} (2 |g|)^p + \int\limits_{E_2} (2 |f|)^p \le 2^p (\int\limits_{E_1} |f|^p + \int\limits_{E_2} |g|^p) < + \infty </tex> , что и требовалось доказать.
 
  
  
 +
{{Теорема
 +
|statement=
 +
<tex> L_p(E) </tex> с нормой, определенной как <tex> ||f||_p = \left( \int\limits_E |f|^p \right)^{1/p} </tex> — нормированное пространство.
 +
|proof=
  
Превратим <tex> L_p(E) </tex> в нормированное пространство:
+
1) <tex> ||f||_p = 0 \Leftrightarrow f = 0  </tex> — отождествление функции, совпадают почти всюду. {{TODO|t=ШТО}}
  
<tex> ||f||_p = \left( \int\limits_E |f|^p \right)^{1/p}  </tex>
+
2) <tex> ||\alpha f||_p = |\alpha| ||f||_p </tex> — напрямую следует из линейности интеграла.
  
<tex> ||f||_p = 0 \Leftrightarrow f = 0  </tex> — отождествление функции, совпадают почти всюду.
+
3) <tex> ||f + g||_p \le ||f||_p + ||g||_p </tex>:
  
Свойства интеграла:
+
Вспомним <tex> {\left( \sum (a_i + b_i)^p \right)}^{1/p} \le {\left( \sum a_i^p \right)}^{1/p} + {\left( \sum b_i^p \right)}^{1/p} </tex> — неравенство Минковского.
  
<tex> ||\alpha f||_p = |\alpha| ||f||_p </tex>
+
Если мы получим аналогичное неравенство для интегралов, то полуаддитивность будет доказана.
 
 
<tex> ||f + g||_p \le ||f||_p + ||g||_p </tex>
 
 
 
<tex> {\left( \sum (a_i + b_i)^p \right)}^{1/p} \le {\left( \sum a_i^p \right)}^{1/p} + {\left( \sum b_i^p \right)}^{1/p} </tex> — неравенство Минковского. Такое же неравенство можно написать для интеграла и получить нужное.  
 
  
 
<tex> uv \le \frac1p u^p + \frac1q v^q, \frac1p + \frac1q = 1, p \ge 1, q \ge 1 </tex> — неравенство Юнга.
 
<tex> uv \le \frac1p u^p + \frac1q v^q, \frac1p + \frac1q = 1, p \ge 1, q \ge 1 </tex> — неравенство Юнга.
Строка 59: Строка 62:
 
Так как <tex> \int\limits_E \frac{|f|^p}{||f||_p^p} </tex>(аналогично, <tex> g </tex> и <tex> q </tex>), равны 1, получаем:
 
Так как <tex> \int\limits_E \frac{|f|^p}{||f||_p^p} </tex>(аналогично, <tex> g </tex> и <tex> q </tex>), равны 1, получаем:
  
<tex> \int\limits_E |f| |g| \le ||f||_p ||g||_q </tex> — неравенство Гёльдера.
+
<tex> \int\limits_E |f| |g| \le ||f||_p ||g||_q </tex> — неравенство Гёльдера для интегралов.
  
<tex> \int\limits_E {(|f| + |g|)}^p = \int\limits_E {(|f| + |g|)}^{p-1} |f| + \int\limits_E {(|f| + |g|)}^{p-1} |g| \le {( \int\limits_E |f|^p )} ^{1/p} {( \int\limits_E (|f| + |g|)^{(p-1)q})}^{\frac1q} + {( \int\limits_E |g|^p )} ^{1/p} {( \int\limits_E (|f| + |g|)^{(p-1)q})}^{\frac1q}</tex>
+
<tex> \int\limits_E {(|f| + |g|)}^p = \int\limits_E {(|f| + |g|)}^{p-1} |f| + \int\limits_E {(|f| + |g|)}^{p-1} |g| \le </tex>
 +
 
 +
<tex> \le {( \int\limits_E |f|^p )} ^{1/p} {( \int\limits_E (|f| + |g|)^{(p-1)q})}^{\frac1q} + {( \int\limits_E |g|^p )} ^{1/p} {( \int\limits_E (|f| + |g|)^{(p-1)q})}^{\frac1q}</tex>
  
 
<tex> q = \frac{p}{p-1} </tex>, дальше арифметически получаем неравенство Минковского.
 
<tex> q = \frac{p}{p-1} </tex>, дальше арифметически получаем неравенство Минковского.
 +
}}
  
Значит, <tex> ||\ ||_p </tex> — норма, <tex> L_p(E) </tex> — нормированное пространство, можно определить предел и т.д.
+
Значит, <tex> ||\cdot||_p </tex> — норма, <tex> L_p(E) </tex> — нормированное пространство, можно определить предел и т.д.
 
 
  
Примечание: должен был возникнуть вопрос — почему <tex> p \ge 1 </tex>?
+
У вдумчивого читателя уже давно должен был возникнуть вопрос — почему <tex> p \ge 1 </tex>? Тогда не будет работать неравенство Минковского, но нет гарантий, что в этом случае нельзя доказать требуемое как-нибудь еще. Ответ получат только те, кто доживет до третьего курса. Там мы покажем, что при <tex> p < 1 L_p(E)</tex> — ТВП(топологическое векторное пространство), но локально выпуклым не является, поэтому там нельзя построить нетривиальный линейный функционал.
  
<tex> \int\limits_E |f|^p d \mu < + \infty </tex> при <tex> 0 < p < 1 </tex>.
+
При рассмотрении нормированных пространств одним из основных вопросов является вопрос их полноты — верно ли, что
  
Тогда не будет работать неравенство Минковского.
+
<tex> ||f_n - f_m||_p \xrightarrow[n,m \to \infty]{} 0 \Rightarrow f \in L_p(E): f = \lim\limits_{n \to \infty} f_n </tex>?
  
<tex> L_p(E) </tex> — все равно линейное множество. Надо определить предельный переход не с помощью нормы.(как — третий курс)
+
Иначе говоря, следует ли в этом пространстве обычная сходимость пределом, принадлежащим пространству) из сходимости в себе?
  
<tex> f_n \to f \stackrel{def}{\Leftrightarrow} \int\limits_E |f_n - f|^p d \mu \to 0 </tex>
+
Напоминаем, обратное всегда верно:
  
<tex> L_p(E) </tex> тогда будет ТВП({{TODO|t=чё??}}), но не будет локально выпуклым, следовательно, не построим тривиальной линейной функции2.
+
Так как<tex> ||f_n - f_m||_p \le ||f_n - f||_p + ||f_m - f||_p </tex>, то
  
Полнота нормированного пространства:
+
<tex> f_n \to f \Rightarrow f_n - f_m \to 0 </tex> — получили сходимость в себе.
  
 
<tex> f_n \in L_p(E)  </tex>
 
<tex> f_n \in L_p(E)  </tex>
  
<tex> ||f_n - f_m||_p \xrightarrow[n,m \to \infty]{} 0 \stackrel{?}{\Rightarrow} f \in L_p(E): f = \lim\limits_{n \to \infty} f_n </tex>.
+
Прежде чем выяснить ответ на этот вопрос, посмотрим, что происходит с интегралом Римана:
 
 
Обратное всегда верно:
 
<tex> ||f_n - f_m||_p \le ||f_n - f||_p + ||f_m - f||_p </tex>
 
  
<tex> f_n \to f \Rightarrow f_n - f_m \to 0 </tex> — сходимость в себе.
+
Пусть <tex> E = [a, b], \lambda </tex> — мера Лебега на <tex> E </tex>.
  
 +
<tex> \int\limits_a^b f(x) dx </tex> — интеграл Римана.
  
 +
Если взять <tex> \tilde{L_p}(a, b) = \{ f: [a, b] \to \mathbb R : \int\limits_a^b |f|^p dx < + \infty \} </tex>, то оно будет нормированным пространством, но не будет полным:
  
<tex> E = [a, b], \lambda </tex> — мера Лебега на <tex> E </tex>.
+
Даже если <tex> f_n \in \tilde{L_p}, \int\limits_a^b |f_n - f_m|^p dx \to 0 </tex>, может не найтись предела <tex> f_n </tex>. {{TODO|t=А ДОКАЗАТЬ???}}
  
<tex> \int\limits_a^b f(x) dx </tex> — Риман
+
Именно поэтому потребовалось распространение интеграла Римана на функции, суммируемые по Лебегу.
 
 
<tex> \int\limits_{[a, b]} f d \lambda </tex> — Лебег.
 
 
 
<tex> \tilde{L_p}(a, b) = \{ f: [a, b] \to \mathbb R : \int\limits_a^b |f|^p dx < + \infty \} </tex>
 
 
 
Нормированное пространство, но оно не будет полным.
 
 
 
<tex> f_n \in \tilde{L_p}, \int\limits_a^b |f_n - f_m|^p dx \to 0 </tex>
 
 
 
Может не найтись интеграла по Риману функции, которая будет пределом <tex> f_n </tex>. Именно поэтому потребовалось распространение интеграла Римана на функции, суммируемые по Лебегу.
 
  
 
{{Теорема
 
{{Теорема
Строка 111: Строка 105:
 
о полноте
 
о полноте
 
|statement=
 
|statement=
<tex> \forall L_p(E) </tex> — полное.
+
<tex> L_p(E) </tex> — полное.
 
|proof=
 
|proof=
<tex> \int\limits_E |f_n - f_m|^p d \mu \to 0 </tex> по условию теоремы.
+
По условию теоремы, <tex> \int\limits_E |f_n - f_m|^p d \mu \to 0 </tex>.
  
<tex> E_{n, m} (\delta) = E(|f_n(x) - f_m(x)| \ge \delta) </tex> — часть <tex> E </tex>, поэтому <tex> \int\limits_{E_{n,m}(\delta)} |f_n - f_m|^p \le \int\limits_E |f_n - f_m|^p </tex>
+
<tex> E_{n, m} (\delta) = E(|f_n(x) - f_m(x)| \ge \delta) </tex> — часть <tex> E </tex>, поэтому <tex> \int\limits_{E_{n,m}(\delta)} |f_n - f_m|^p \le \int\limits_E |f_n - f_m|^p </tex>.
  
 
<tex> \delta^p \mu E_{n, m} (\delta) \le \int\limits_E |f_n - f_m|^p \to 0, \delta </tex> — фиксирована.
 
<tex> \delta^p \mu E_{n, m} (\delta) \le \int\limits_E |f_n - f_m|^p \to 0, \delta </tex> — фиксирована.
Строка 121: Строка 115:
 
Тогда <tex> \mu E(|f_n - f_m| \ge \delta) \to 0 </tex>.
 
Тогда <tex> \mu E(|f_n - f_m| \ge \delta) \to 0 </tex>.
  
<tex> f_n - f_m \Rightarrow 0, n, m \to \infty </tex>
+
<tex> f_n - f_m \Rightarrow 0 </tex> при <tex> n, m \to \infty </tex>.
  
По лемме, которая перед теоремой Риса, утверждалось, что можно выделить <tex> f_{n_k} </tex>, почти везде стремящуюся к <tex> f </tex>. Установим с помощью теоремы Фату, что это — требуемая предельная функция <tex> f </tex> в <tex> L_p </tex> для <tex> E_n </tex>.
+
По лемме, которая перед теоремой Риса, утверждалось, что можно выделить <tex> f_{n_k} </tex>, почти везде сходящуюся к <tex> f </tex>. Установим с помощью теоремы Фату, что это — требуемая предельная функция <tex> f </tex> в <tex> L_p </tex> для <tex> E</tex>.
  
<tex> ||f_n - f_m||_p \to 0 </tex>
+
<tex> ||f_n - f_m||_p \to 0 </tex>, следовательно,
 
+
<tex> \forall \varepsilon > 0\ \exists N: \forall n,m > N: \int\limits_E |f_n - f_m|^p d \mu < \varepsilon^p </tex>
<tex> \forall \varepsilon > 0 \exists N: \forall n,m > N: \int\limits_E |f_n - f_m|^p d \mu < \varepsilon^p </tex>
 
  
 
Фиксируем <tex> \forall m > N </tex> и будем вместо n подставлять <tex> n_k > N </tex>.
 
Фиксируем <tex> \forall m > N </tex> и будем вместо n подставлять <tex> n_k > N </tex>.
Строка 135: Строка 128:
 
По теореме Фату: <tex> \int\limits_E |f - f_m|^p \le \sup\limits_{k: n_k > N} \int\limits_E |f_{n_k} - f_m|^p < \varepsilon^p </tex>
 
По теореме Фату: <tex> \int\limits_E |f - f_m|^p \le \sup\limits_{k: n_k > N} \int\limits_E |f_{n_k} - f_m|^p < \varepsilon^p </tex>
  
Итак, <tex> {\left(\int\limits_E |f - f_m|^p \right)}^{1/p} < \varepsilon, m > N </tex>
+
Итак, <tex> {\left(\int\limits_E |f - f_m|^p \right)}^{1/p} < \varepsilon </tex> при <tex> m > N </tex>.
  
Отсюда, <tex> f - f_m \in L_p(E) </tex>
+
Отсюда, <tex> f - f_m \in L_p(E) </tex>.
  
<tex> f = (f - f_m) + f_m </tex> и по линейности <tex> f \in L_p(E </tex>). Тогда неравенство можно переписать: <tex> ||f_m - f||_p < \varepsilon \ \forall m > N </tex>. Тогда по определению <tex> f = \lim\limits_{m \to \infty} f_m </tex>, полнота доказана.
+
Но <tex> f = (f - f_m) + f_m </tex> и, по линейности, <tex> f \in L_p(E </tex>). Тогда неравенство можно переписать: <tex> ||f_m - f||_p < \varepsilon \ \forall m > N </tex>. Тогда по определению <tex> f = \lim\limits_{m \to \infty} f_m </tex>, полнота доказана.
  
Примечание: на этапе выделения <tex> f_{n_k} \to f </tex> — измеримая(WUT?) может получиться, что <tex> f </tex> — не интегрируема по Риману.
+
Примечание: на этапе выделения подпоследовательности <tex> f_{n_k} </tex>, стремящейся к <tex> f </tex> почти всюду, может получиться, что <tex> f </tex> — не интегрируема по Риману.
  
 
}}
 
}}
 +
 +
[[Классические теоремы о предельном переходе под знаком интеграла Лебега|<<]][[Мера подграфика|>>]]
 +
[[Категория:Математический анализ 2 курс]]

Версия 07:50, 8 января 2012

<<>>

Будем рассматривать [math] (X, \mathcal A, \mu) [/math]. Пусть [math] E [/math] измеримо, [math] p \ge 1 [/math].

[math] L_p(E) = \{f [/math] - измерима на [math] E, \int\limits_E {|f|}^p d \mu \lt + \infty \} [/math], то есть пространство функций, суммируемых с [math] p [/math]-ой степенью на [math] E [/math]. Измеримость [math] f [/math] на [math] E [/math] принципиальна, так как в общем случае из измеримости [math] |f|^p [/math] не вытекает измеримость [math] f [/math].

Пример, который подтверждает это:

[math] E_1 [/math] - не измеримо и содержится в [math] E [/math].

[math] f(x) = \begin{cases} 1, & x \in E \setminus E_1 \\ -1, & x \in E_1 \end{cases} [/math] — не измерима на [math] E [/math].

Но [math] |f(x)|^p = 1 [/math] на [math] E [/math] уже будет измеримой. Значит, из измеримости модуля не вытекает измеримость функции.


Теорема:
[math] L_p(E) [/math] — линейное пространство.
Доказательство:
[math]\triangleright[/math]

Нам нужно доказать, что если [math] \int\limits_E |f|^p, \int\limits_E |g|^p \lt + \infty [/math], то [math] \int\limits_E |\alpha f + \beta g|^p \lt + \infty [/math].

1) Докажем, что [math] \int\limits_E |f + g|^p \lt + \infty [/math].

Очевидно, [math] |f + g|^p \le ( |f| + |g| )^p [/math].

Пусть [math] E_1 = E(|f| \le |g|) [/math], [math] E_2 = E(|f| \gt |g|) [/math], [math] E = E_1 \cup E_2 [/math].

Тогда [math] \int\limits_E |f + g|^p \le \int\limits_E (|f| + |g|)^p = \int\limits_{E_1} + \int\limits_{E_2} \le \int\limits_{E_1} (2 |g|)^p + \int\limits_{E_2} (2 |f|)^p \le 2^p (\int\limits_{E_1} |f|^p + \int\limits_{E_2} |g|^p) \lt + \infty [/math]

2) Если [math] \int \limits_E |f|^p \lt +\infty [/math], то и [math] \int \limits_E |\alpha f|^p = |\alpha|^p \int \limits_E |f|^p \lt +\infty [/math].

Таким образом, линейность доказана.
[math]\triangleleft[/math]


Теорема:
[math] L_p(E) [/math] с нормой, определенной как [math] ||f||_p = \left( \int\limits_E |f|^p \right)^{1/p} [/math] — нормированное пространство.
Доказательство:
[math]\triangleright[/math]

1) [math] ||f||_p = 0 \Leftrightarrow f = 0 [/math] — отождествление функции, совпадают почти всюду. TODO: ШТО

2) [math] ||\alpha f||_p = |\alpha| ||f||_p [/math] — напрямую следует из линейности интеграла.

3) [math] ||f + g||_p \le ||f||_p + ||g||_p [/math]:

Вспомним [math] {\left( \sum (a_i + b_i)^p \right)}^{1/p} \le {\left( \sum a_i^p \right)}^{1/p} + {\left( \sum b_i^p \right)}^{1/p} [/math] — неравенство Минковского.

Если мы получим аналогичное неравенство для интегралов, то полуаддитивность будет доказана.

[math] uv \le \frac1p u^p + \frac1q v^q, \frac1p + \frac1q = 1, p \ge 1, q \ge 1 [/math] — неравенство Юнга.

Подставим [math] u = \frac{|f|}{||f||_p}, v = \frac{|g|}{||g||_p} [/math]:

[math] \frac{|f| |g|}{||f||_p ||g||_q} \le \frac1p \frac{|f|^p}{||f||_p^p} + \frac1q \frac{|g|^q}{||g||_q^q} [/math]

Интегрируем это неравенство по [math] E [/math].

Так как [math] \int\limits_E \frac{|f|^p}{||f||_p^p} [/math](аналогично, [math] g [/math] и [math] q [/math]), равны 1, получаем:

[math] \int\limits_E |f| |g| \le ||f||_p ||g||_q [/math] — неравенство Гёльдера для интегралов.

[math] \int\limits_E {(|f| + |g|)}^p = \int\limits_E {(|f| + |g|)}^{p-1} |f| + \int\limits_E {(|f| + |g|)}^{p-1} |g| \le [/math]

[math] \le {( \int\limits_E |f|^p )} ^{1/p} {( \int\limits_E (|f| + |g|)^{(p-1)q})}^{\frac1q} + {( \int\limits_E |g|^p )} ^{1/p} {( \int\limits_E (|f| + |g|)^{(p-1)q})}^{\frac1q}[/math]

[math] q = \frac{p}{p-1} [/math], дальше арифметически получаем неравенство Минковского.
[math]\triangleleft[/math]

Значит, [math] ||\cdot||_p [/math] — норма, [math] L_p(E) [/math] — нормированное пространство, можно определить предел и т.д.

У вдумчивого читателя уже давно должен был возникнуть вопрос — почему [math] p \ge 1 [/math]? Тогда не будет работать неравенство Минковского, но нет гарантий, что в этом случае нельзя доказать требуемое как-нибудь еще. Ответ получат только те, кто доживет до третьего курса. Там мы покажем, что при [math] p \lt 1 L_p(E)[/math] — ТВП(топологическое векторное пространство), но локально выпуклым не является, поэтому там нельзя построить нетривиальный линейный функционал.

При рассмотрении нормированных пространств одним из основных вопросов является вопрос их полноты — верно ли, что

[math] ||f_n - f_m||_p \xrightarrow[n,m \to \infty]{} 0 \Rightarrow f \in L_p(E): f = \lim\limits_{n \to \infty} f_n [/math]?

Иначе говоря, следует ли в этом пространстве обычная сходимость (с пределом, принадлежащим пространству) из сходимости в себе?

Напоминаем, обратное всегда верно:

Так как[math] ||f_n - f_m||_p \le ||f_n - f||_p + ||f_m - f||_p [/math], то

[math] f_n \to f \Rightarrow f_n - f_m \to 0 [/math] — получили сходимость в себе.

[math] f_n \in L_p(E) [/math]

Прежде чем выяснить ответ на этот вопрос, посмотрим, что происходит с интегралом Римана:

Пусть [math] E = [a, b], \lambda [/math] — мера Лебега на [math] E [/math].

[math] \int\limits_a^b f(x) dx [/math] — интеграл Римана.

Если взять [math] \tilde{L_p}(a, b) = \{ f: [a, b] \to \mathbb R : \int\limits_a^b |f|^p dx \lt + \infty \} [/math], то оно будет нормированным пространством, но не будет полным:

Даже если [math] f_n \in \tilde{L_p}, \int\limits_a^b |f_n - f_m|^p dx \to 0 [/math], может не найтись предела [math] f_n [/math]. TODO: А ДОКАЗАТЬ???

Именно поэтому потребовалось распространение интеграла Римана на функции, суммируемые по Лебегу.

Теорема (о полноте):
[math] L_p(E) [/math] — полное.
Доказательство:
[math]\triangleright[/math]

По условию теоремы, [math] \int\limits_E |f_n - f_m|^p d \mu \to 0 [/math].

[math] E_{n, m} (\delta) = E(|f_n(x) - f_m(x)| \ge \delta) [/math] — часть [math] E [/math], поэтому [math] \int\limits_{E_{n,m}(\delta)} |f_n - f_m|^p \le \int\limits_E |f_n - f_m|^p [/math].

[math] \delta^p \mu E_{n, m} (\delta) \le \int\limits_E |f_n - f_m|^p \to 0, \delta [/math] — фиксирована.

Тогда [math] \mu E(|f_n - f_m| \ge \delta) \to 0 [/math].

[math] f_n - f_m \Rightarrow 0 [/math] при [math] n, m \to \infty [/math].

По лемме, которая перед теоремой Риса, утверждалось, что можно выделить [math] f_{n_k} [/math], почти везде сходящуюся к [math] f [/math]. Установим с помощью теоремы Фату, что это — требуемая предельная функция [math] f [/math] в [math] L_p [/math] для [math] E[/math].

[math] ||f_n - f_m||_p \to 0 [/math], следовательно, [math] \forall \varepsilon \gt 0\ \exists N: \forall n,m \gt N: \int\limits_E |f_n - f_m|^p d \mu \lt \varepsilon^p [/math]

Фиксируем [math] \forall m \gt N [/math] и будем вместо n подставлять [math] n_k \gt N [/math].

[math] f_{n_k}(x) - f_m(x) \to f(x) - f_m(x) [/math]

По теореме Фату: [math] \int\limits_E |f - f_m|^p \le \sup\limits_{k: n_k \gt N} \int\limits_E |f_{n_k} - f_m|^p \lt \varepsilon^p [/math]

Итак, [math] {\left(\int\limits_E |f - f_m|^p \right)}^{1/p} \lt \varepsilon [/math] при [math] m \gt N [/math].

Отсюда, [math] f - f_m \in L_p(E) [/math].

Но [math] f = (f - f_m) + f_m [/math] и, по линейности, [math] f \in L_p(E [/math]). Тогда неравенство можно переписать: [math] ||f_m - f||_p \lt \varepsilon \ \forall m \gt N [/math]. Тогда по определению [math] f = \lim\limits_{m \to \infty} f_m [/math], полнота доказана.

Примечание: на этапе выделения подпоследовательности [math] f_{n_k} [/math], стремящейся к [math] f [/math] почти всюду, может получиться, что [math] f [/math] — не интегрируема по Риману.
[math]\triangleleft[/math]

<<>>