07. Норма оператора
- эта величина называется нормой оператора.
Теорема. Если и
линейные операторы, то
1)
2)
3)
4)
5)
6)
Доказательство.
1) То, что - очевидно, докажем
, если
, то
и
, следовательно, и
. Если
, то
, значит
для
, т. е.
.
2) Поскольку для любого вектора Ax имеет место равенство ,
, а значит
. Аналогично,
3) используя неравенство треугольника
, значит
4) Очевидно.
5) Дважды применяем свойство 4) и определение нормы оператора.
6) Раскрывая модуль . Левое неравенство может быть записано так
, но оно немедленно следует из неравенства треугольника
Сходимость операторов
Говорят, что последовательность линейных операторов сходится к
, если числовая последовательность
.
Простейшие свойства.
1. Пусть , тогда
2. Пусть и все
ограничены то
тоже ограничен и
.
Доказательство. 1)
2) Выберем , так чтобы
тогда
, т. е.
ограничен. Кроме того,
.
Теорема. Всякая фундаментальная последовательность линейных операторов действующих из одного гильбертова пространства , в другое
сходится.
Схема доказательства. Если фудаментальна, то
также фундаментальна (почему?), а так как она в полном пространстве то существует
. Обозначим
, осталось показать, что
линейный оператор и
.
< Предыдущая | Следующая > |
---|