1679
правок
Изменения
→Теорема Лузина: Додонов — это, конечно, мимими, но с телефона как-то не очень будет эту картинку грузить)
|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=
Для начала, докажем следующее утверждение:
|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>.
Пусть <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>;
