24. Линейные ограниченные операторы в L2.
Систематическое изучение теории линейных операторов будет проведено в томе V. Здесь мы вкратце остановимся на простейших свойствах таких операторов.
Рассмотрим интегральный оператор
считая пока для простоты ядро непрерывным. В [4] было доказано, что оператор (153) преобразует любую функцию из класса в непрерывную функцию v(s). Эту последнюю можно также рассматривать как элемент пространства Таким образом, интегральный оператор (153) сопоставляет функции из функцию, также принадлежащую или, как говорят, является оператором в . Связь между u и v условимся кратко записывать в виде
Оператор (153) обладает свойством линейности:
Выведем еще одно важное свойство оператора К? Обозначим через М наибольшее значение функции в квадрате Оценивая подынтегральное выражение в (153), а затем применяя неравенство Буняковского, находим
Возводя в квадрат и интегрируя, получаем
или
Таким образом, мы доказали неравенство
где . Любой линейный оператор, для которого, при некоторой постоянной , выполнено неравенство (154),
называется ограниченным. В [25] будет указано более слабое, чем непрерывность ядра, условие ограниченности интегрального оператора вида (153). Заметим, что не всякий линейный ограниченный оператор в является интегральным. Примером может служить тождественный оператор, действующий по формуле
В неравенстве (154) число С, очевидно, можно заменить на любое большее. Определим 1 наименьшее возможное значение С. для данного оператора К. Пусть мы имеем
Если то норма элемента равна единице и, следовательно,
и мы получаем неравенство (154), т. е., неравенства (154) и (155) эквивалентны. Множество неотрицательных чисел при имеет точную верхнюю границу, которая в силу (155) и является наименьшим возможным значением С. Она обозначается или и называется нормой оператора К:
Для оператора (153) с непрерывным ядром
Если , то оператор К превращает любой элемент из в нулевой элемент (оператор аннулирования). Норма тождественного оператора очевидно, равна единице.
Всякий линейный ограниченный оператор К непрерывен, т. е. для любой последовательности элементов будет . В самом деле,
Линейные ограниченные операторы можно складывать и умножать:
причем произведение зависит, вообще говоря, от порядка сомножителей. Нетрудно проверить, что
При возведении в целую положительную степень имеем