1679
правок
Изменения
→Теорема Лузина: Додонов — это, конечно, мимими, но с телефона как-то не очень будет эту картинку грузить)
[[Сходимость по мере|<<]] [[Математический_анализ_2_курс|>> на главную]]
== Лемма ==
Докажем сначала некоторое полезное вспомогательное утверждение.
|statement=
Пусть функциональная последовательность <tex>f_n</tex> {{---}} измерима на <tex>E</tex> и <tex>\mathcal {8}\delta > 0:</tex> <tex>\mu E(| f_n - f_m | \ge \delta)\xrightarrow[n,m \rightarrow \infty]{} 0</tex>. Тогда существует последовательность <tex>\exists n_k </tex>, такая что <tex>\{f_{n_k}(x)\} </tex> почти всюду сходится на <tex>E</tex>. <br>
(Другими словами, из сходимости по мере в себе функциональной последовательности следует сходимость почти всюду на подпоследовательности).
|proof=
Для начала, докажем от нечего делать обратное следующее утверждение:
<tex>f_n \Rightarrow f</tex> на <tex>E</tex>. <tex>\mathcal{8} \delta > 0:</tex><br>
|proof=Это же очевидно!
<nowiki>[[Файл:dodonovface.jpg]]</nowiki>
Кому не очевидно, то можно почитать тут [http://www.mathnet.ru/links/f55866d9deee67d3fd18d61f906239b1/sm6497.pdf].
}}
Пусть <tex>\varepsilon_n \to 0</tex>. По теореме Лузина, <tex>\forall\varepsilon_n\ \exists\varphi_n</tex> {{---}} непрерывная:
<tex>\forall \delta>0: \lambda E(|\varphi_n - f| > \delta) < \lambda E(\varphi_n \ne f)</tex>.
<tex>\lambda E(|\varphi_n - f| > \delta) \leq \lambda E(\varphi_n \ne f) < \varepsilon_n \to 0</tex>. Значит, <tex>\lambda E(|\varphi_n-f| > \delta) \to 0</tex>. Значит, <tex>\varphi_n \Rightarrow f</tex>.
{{Теорема
|author=Егоров
|statement=Пусть <tex>\mu E < +\infty</tex>, <tex>f_n \to f</tex> почти всюду на <tex>E</tex>. Тогда, для любого <tex>\delta > 0</tex>.Тогда <tex>: \exists E'' \subset E</tex>, <tex>\mu E'' > \mu E - \delta</tex>, <tex>f_n \stackrel{E''}{\rightrightarrows} f</tex><br>Смысл теоремы Егорова в том, что сходимость почти всюду не очень сильно (с точностью до множества малой меры) отличается от равномерной сходимости.
|proof=
<tex>\bigcup\limits_{p=1}^\infty \bigcap\limits_{m=1}^\infty \bigcup\limits_{n=m}^\infty E(|f_n - f| \geq \frac1p)</tex> {{---}} нульмерно.
Пусть <tex> E'' = \bar E' </tex>.
По двойственности, <tex>\bar E' = \overline{\bigcup\limits_{p=1}^\infty B_mB_{m_p}(p)} = \bigcap\limits_{p=1}^\infty \overline{B_{m_p}(p)}</tex>.
<tex>B_{m_p}(p) = \bigcup\limits_{n=m_p}^\infty E(|f_n - f| \geq \frac1p)</tex>. Значит, <tex>\bar B_{m_p}(p) = \bigcap\limits_{n=m_p}^\infty E(|f_n - f| < \frac1p)</tex>;
В силу того, что номер <tex>m_p</tex> выбирается независимо от <tex>x</tex>, а только по <tex>\delta</tex> и <tex>p</tex>, <tex>f_n \stackrel{\bar E''}{\rightrightarrows} f</tex>.
}}
[[Сходимость по мере|<<]] [[Математический_анализ_2_курс|>> на главную]]
[[Категория:Математический анализ 2 курс]]
