25. Пространство непрерывных функций многих переменных.
Положим, что на некотором конечном замкнутом промежутке задана непрерывная функция При помощи линейного преобразования мы можем свести к промежутку и непрерывная функция останется непрерывной и после преобразования. Будем считать, что уже первоначальный промежуток был промежутком Построим для полиномы С. Н. Бернштейна [II; 154]:
Пользуясь равномерной непрерывностью можно, как и в показать, что при беспредельном возрастании тип равномерно на Положим теперь, что имеется функция непрерывная на ограниченном замкнутом множестве Используя, как и выше, линейное преобразование, можем считать, что F принадлежит указанному выше промежутку Далее мы можем распространить на весь промежуток с сохранением непрерывности и наибольшего значения Для таким образом распространенной мы можем построить последовательность полиномов так, что равномерно на и тем более равномерно на
Рассмотрим теперь аналогично тому, как это мы делали в [14], пространство С функций непрерывных в со следующим определением нормы: на Как и в [15], можно показать, что общая форма линейных функционалов в С есть интеграл Стилтьеса:
где — функция ограниченной вариации на характеризующая функционал
При определении функции ограниченной вариации можем пользоваться суммами (128), а интеграл (130) определять как предел сумм (118) при беспредельном измельчании промежутков. Сведения о пространстве непрерывных функций на ограниченных замкнутых множествах можно найти в статье Радона «О линейных функциональных преобразованиях и функциональных уравнениях» («Успехи математических наук», вып. 1, 1936 г.) и в книге Ф. Риcса и Б. Секефольви-Надя «Лекции по функциональному анализу».