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