Пространства операторов

Пусть X и Y – линейные нормированные пространства, оба вещественные или оба комплексные.

Определение 1. Оператор А ограничен, если справедлива оценка , где – постоянная. Точная нижняя грань всех таких констант называется нормой опе ратора .

Комментарий. По определению, , то есть во-первых, одна из верхних граней, а во-вторых , что означает несдвигаемость верхней грани.

Легко показать, что или .

Теорема.

Обозначим , , . Покажем, что . Так как , то . Тогда . С другой стороны из несдвигаемости верхней грани следует, что . Рассмотрим элемент . Тогда для него . Но норма , поэтому . В силу произвольности , сразу получаем . Таким образом . Но одновременно , то есть .

Покажем теперь, что выполняются и остальные равенства. Для этого докажем, что . Первое неравенство очевидно, поскольку в обеих его частях супремум берется от одной и той же величины . Второе неравенство следует из того, что для любого .

Третье неравенство следует из того, что для любого и имеем .

Комментарий. Для числовых функций линейная функция всегда ограничена. В конечномерных пространствах любой линейный оператор является ограниченным. Для линейного оператора в бесконечномерных пространствах это, вообще говоря, не так.

У непрерывного оператора можно посчитать конечное значение норм входного и выходного элементов, максимальное значение этого отношения на всем множестве определения дает согласованную норму самого этого оператора. Грубо говоря, это максимальный "коэффициент усиления" преобразования. Поскольку есть норма, то есть число, то множество операторов должно быть замкнуто относительно обычных алгебраических операций. Но будет ли оно пространством, то есть можно ли на этом множестве определить операцию предельного перехода и если да, то будет ли это пространство полным?

Обозначим множество всех непрерывных линейных операторов, действующих из пространства в пространство , через . Очевидно, линейное пространство.

Теорема 1. Пространство есть нормированное пространство.

. Достаточно проверить для аксиомы нормы.

Определение 2. Последовательность линейных непрерывных операторов сходится равномерно к оператору , если из шара .

Это обозначают как .

Теорема 2. Если X есть нормированное пространство, a Y банахово, то пространство банахово в смысле равномерной сходимости.

. Надо показать, что существует непрерывный линейный оператор , который является пределом равномерно сходящейся последовательности операторов .

1. Покажем существование непрерывного оператора . Рассмотрим произвольную фундаментальную последовательность . Для любого элемента последовательность фундаментальна, так как и . Пространство Y банахово, то есть найдётся . Таким образом, каждому элементу мы поставили в соответствие единственный элемент , . Оператор линеен, так как линейны операторы .

2. Покажем, что оператор непрерывен и является пределом для последовательности операторов . В самом деле, так как последовательность фундаментальна в ,то последовательность норм ограничена, то есть . С другой стороны, . Таким образом, , и, следовательно, оператор является непрерывным. В силу фундаментальности последовательности операторов ,

.. Перейдем в данном неравенстве к пределу при . Тогда при условии выполнится . Это значит, что при всех , то есть .

Комментарий. В пространстве линейных непрерывных операторов существуют и другие типы сходимости. Рассмотрим последовательность операторов ортогонального проецирования в гильбертовом пространстве.

Пусть есть некоторый ортонормированный базис в гильбертовом пространстве : , и так далее. Тогдапроизвольный элемент представим в виде ряда Фурье где . Определим оператор проецирования на подпростр а нство , натянутое на первые п элементов базиса, как . Тогда , а . То есть , . Тогда , как остаток сходящегося ряда, где тождественный оператор. То есть , но это какая-то другая сходимость, потому что равномерной сходимости нет. В самом деле, как только , то для любого . Пусть . Тогда , так как не сохраняет , а сохраняет. Это рассуждение подводит нас к следующему определению.

Определение 3. Последовательность операторов называется поточечно (сильно) сходящейся к оператору , если .

Комментарий. Поточечная сходимость означает сходимость в каждой точке пространства. Мы показали, что поточечная (сильная) сходимость последовательности операторов не влечет за собой, вообще говоря, равномерной сходимости этих же операторов. Обратное всегда верно: равномерная сходимость последовательности операторов всегда влечет за собой поточечную. Действительно, .

Будет ли пространство банаховым в смысле поточечной сходимости? Из принципа равномерной непрерывности Банаха Штейнгауса следует, что если X и Y банаховы пространства, то пространство банахово в смысле поточечной сходимости.

Пример. Вычислить норму интегрального оператора , действующего по формуле .

Формула задает линейный оператор с вырожденным ядром. Оператор ограничен, т.к. , что для всех . Действительно,

Значит . Покажем, что . Рассмотрим последовательность :

с .

Следовательно, .