Упростил Колмогорова-Фомина?

Автор темы classicisme 
ОбъявленияПоследний пост
ОбъявлениеПравила и принципы форума «Высшая математика»28.10.2009 15:17
ОбъявлениеЗапущен новый раздел «Задачки и головоломки»29.08.2019 00:42
ОбъявлениеКниги по математике и экономике в добрые руки!10.08.2023 09:45
25.02.2008 17:40
Упростил Колмогорова-Фомина?
Господа, меня сильно смущает следующая вещь. В п. 6 пар. 4 гл. V (у меня издание 1981 г., с. 288) всеми любимой книги Колмгорова и Фомина приводится т. 7 о том, что если последовательность измеримых функций сходится почти всюду, то она сходится к тому же пределу и по мере. Далее приводится не очень сложное доказательство. Но, казалось бы, это утверждение ещё проще доказывается с помощью теоремы Егорова. В самом деле, что нужно доказать? Что $\forall \sigma>0$ и $\forall \epsilon>0$ $\exists N$ : $\forall n>N$ $\mu\{x \mid |f_n(x)-f(x)| \ge \sigma \} < \epsilon$. Итак, пусть нам заданы $\sigma$ и $\epsilon$. Сначала _по_$\epsilon$_ по теореме Егорова построим такое множество, мера дополнения которого меньше $\epsilon$, на котором функции $f_n(x)$ сходятся к $f(x)$ равномерно. Далее найдём такое $N$, после которого они отличаются от $f(x)$ не более чем на $\sigma$. Всё, поскольку оставшаяся часть множества имеет меру меньше $\epsilon$, требование $\mu\{x \mid |f_n(x)-f(x)| \ge \sigma \} < \epsilon$ автоматически выполнено. По-моему, это гораздо проще, чем предложенное в книге. Так в чём же я не прав? Очень сильно смущает, что автору не указали на такой простой путь доказательства.



Редактировалось 1 раз(а). Последний 01.03.2008 18:25.
25.02.2008 18:10
согласен
Цитата

classicisme писал:
Господа, меня сильно смущает следующая вещь. В п. 6 пар. 4 гл. V (у меня издание 1981 г., с. 288) всеми любимой книги Колмгорова и Фомина приводится т. 7 о том, что если последовательность измеримых функций сходится почти всюду, то она сходится к тому же пределу и по мере. Далее приводится не очень сложное доказательство. Но, казалось бы, это утверждение ещё проще доказывается с помощью теоремы Егорова. В самом деле, что нужно доказать? Что $\forall \sigma>0$ и $\forall \epsilon>0$ $\exists N$ : $\forall n>N$ $\mu\{x \mid |f_n(x)-f(x)| \ge \sigma \} < \epsilon$. Итак, пусть нам заданы $\sigma$ и $\epsilon$. Сначала _по_$\epsilon$_ по теореме Егорова построим такое множество, мера дополнения которого меньше $\epsilon$, на котором функции $f_n(x)$ сходятся к $f(x)$ равномерно. Далее найдём такое $N$, после которого они отличаются от $f(x)$ не более чем на $\sigma$. Всё, поскольку оставшаяся часть множества имеет меру меньше $\epsilon$, требование $\mu\{x \mid |f_n(x)-f(x)| \ge \sigma \} < \epsilon$ автоматически выполнено. По-моему, это гораздо проще, чем предложенное в книге. Так в чём же я не прав? Очень сильно смущает, что автору не указали на такой простой путь доказательства.
Кстати, П. Халмош в своей книге "Теория меры" привёл это рассуждение: из почти равномерной сходимости (как у нас говорят, сходимости по Егорову) вывел сходимость по мере. Не понимаю, почему Колмогоров и Фомин выбрали другой путь.



Редактировалось 1 раз(а). Последний 01.03.2008 18:26.
25.02.2008 18:21
Спасибо
Вот и я не понимаю.
Извините, только зарегистрированные пользователи могут публиковать сообщения в этом форуме.

Кликните здесь, чтобы войти