о связи между понятиями сходимости почти всюду и равномерной сходимости последовательности функций: пусть m есть s-аддитивная мера, определенная на s-алгебре и последовательность ц-измеримых почти везде конечных функций f_k(x),k=1, 2, . . ., сходится почти всюду к функции f(х);тогда для любого e>0 существует такое измеримое множество что и на множестве Е _e. последовательность f_k(x)сходится к функции f(x)равномерно. В случае, когда m.- мера Лебега на прямой, это утверждение доказано Д. Ф. Егоровым [1].

Е. т. допускает различные обобщенные формулировки, расширяющие ее возможности. Пусть, напр., f_k(x).- последовательность измеримых отображений локально компактного пространства Xв метризуемое пространство Y, причем

предел существует локально почти всюду на Xпо Радона мере Тогда функция f: измерима по мере m и для любых компакта КМ Х и числа e>0 найдется компакт такой, что а сужения f_k на K₁ непрерывны и равномерно сходятся на К ₁ к f. Заключения Е. т. могут не выполняться, если Yне метризуемо.

Лит.:[1] Егоров Д. Ф., "С.r. Acad. sci", 1911, t. 152, p. 244-6; [2] Колмогоров А. Н., Фомин С. В., Элементы теории функций и функционального анализа, 4 изд., М., 1976.

Л. Д. Кудрявцев.