Можно абстрагироваться от сходимости в
, это уже вопрос постановки задачи, которая изначально формулируется как задача о непрерывности отображения G.
итак, пусть есть последовательность непрерывных на отрезке [0, 1] функций
. Эта последовательность сходится равномерно на отрезке [0, 1] к функции
, которая, очевидно, также непрерывна на этом отрезке. пусть
- непрерывная на всем
функция. отображение
построим по закону
. Требуется доказать, что последовательность функций
сходится равномерно на [0, 1] к функции
.
Скажем, что семейство функций
равномерно ограничено, если найдется такое
, что для всякого
выполняется
.
Было декларировано, что задача решается с использованием такого факта: функция
непрерывна на компакте, поэтому ограничена. поэтому нормы всех функций
также окажутся конечны и, более того, не превзойдут некого наперед заданного числа. то есть последовательность как раз окажется равномерно ограниченной