- •Раздел 1. Предварительные сведения
- •1.1. Множества и отображения
- •1.2. Отношения эквивалентности, факторизация множеств и отображений
- •1.3. Отношения порядка, упорядоченные множества
- •1.4. Понятие числового поля
- •1.5. Комплексные числа
- •Раздел 2. Линейные пространства
- •2.1. Понятие линейного пространства
- •2.2. Линейная зависимость векторов в линейном пространстве
- •2.3. Базис и размерность линейного пространства
- •2.4. Изоморфизм линейных пространств
- •2.5. Подпространства линейных пространств
- •2.6. Факторпространства линейных пространств
- •2.7. Преобразование координат при преобразовании базиса конечномерного линейного пространства
- •Раздел 3. Евклидовы и эрмитовы пространства
- •3.1. Определение и основные свойства евклидовых пространств
- •3.2. Ортонормированный базис конечномерного евклидова пространства
- •3.3. Ортонормированные базисы и ортогональные матрицы
- •3.4. Эрмитовы пространства
- •Раздел 4. Линейные операторы
- •4.1. Определение и основные свойства линейных операторов
- •4.2. Ядро и образ линейного оператора
- •4.3. Матричная запись линейных операторов
- •4.4. Инвариантные подпространства линейных операторов
- •4.5. Характеристический многочлен, собственные числа и собственные векторы линейных операторов
- •4.6. Линейные функционалы и полуторалинейные формы в эрмитовом пространстве
- •4.7. Норма линейного оператора
- •Раздел 5. Двойственное пространство. Сопряженный оператор
- •5.1. Двойственное пространство и двойственный базис
- •5.2. Случай эрмитова пространства
- •5.3. Рефлексивность
- •5.4. Условия линейной независимости
- •5.5. Общее понятие сопряженного оператора
- •Раздел 6. Самосопряженные линейные операторы
- •6.1. Линейные самосопряженные операторы в эрмитовом пространстве
- •6.2. Матрица самосопряженного оператора
- •6.3. Самосопряженные операторы в эрмитовых пространствах с точки зрения общего понятия сопряженного оператора
- •6.4. Свойства самосопряженных операторов
- •6.5. Эрмитовы формы, критерии эрмитовости
- •6.6. Случай евклидова пространства
- •Раздел 7. Канонический вид линейный операторов
- •7.1. Приведение квадратичной формы к сумме квадратов
- •7.2. Канонический вид линейных операторов
- •7.3. Нормальные операторы
- •7.4. Унитарные и ортогональные операторы
- •Раздел 8. Билинейные и квадратичные формы в вещественных пространствах
- •8.1. Матрица билинейной формы
- •8.2. Квадратичные формы
- •8.3. Приведение квадратичной формы к сумме квадратов
- •8.4. Закон инерции квадратичных форм
- •8.5. Билинейные и квадратичные формы в евклидовом пространстве
- •Раздел 9. Гиперповерхности второго порядка
- •9.1. Общее уравнение гиперповерхности второго порядка
- •9.2. Инварианты уравнения гиперповерхности второго порядка
- •9.3. Упрощение уравнения гиперповерхности второго порядка аффинными преобразованиями
- •9.4. Классификация уравнений центральных гиперповерхностей второго порядка
- •Раздел 10. Дополнительный материал
- •10.1. Решение проблемы собственных значений методом вращений
- •10.2. Псевдообратная матрица
- •10.3. Минимальный многочлен линейного оператора
- •10.4. О структуре канонической матрицы линейного оператора
- •Раздел 11. Понятие о тензорах
- •11.1. Определение и основные свойства тензоров
- •11.2. Случай евклидова пространства. Метрический тензор
- •11.3. Основные операции над тензорами
- •Раздел 12. Программа и задачи к экзамену
- •12.1. Программа экзамена
- •12.2. Задачи к экзамену
4.7. НОРМА ЛИНЕЙНОГО ОПЕРАТОРА |
54 |
4.7.Норма линейного оператора
Вэтом разделе X – вещественное или комплексное нормированное пространство с нормой k k. Рассмотрим пространство L(X; X) и выясним вопрос, как можно ввести на нем структуру нормированного пространства. Оказывается, что существует по меньшей мере два способа определить норму в пространстве L(X; X) так, чтобы эта норма была естественно согласованной с нормой k k в исходном пространстве X.
Рассмотрим линейный оператор A 2 L(X; X) и определим величину
k A ks := supfk A xk : x 2 X; kxk = 1g:
Заметим, однако, что в общем случае величина k A ks может и не существовать.
Пример 4.20. Рассмотрим пространство R[t] многочленов с вещественными коэффициентами от одной вещественной переменной с нормой kP k определенной соотношением
Z 1
kP k2 = P (t)2 dt
0
(проверка того, что величина kP k в самом деле является нормой на пространстве R[t]
оставляется в качестве упражнения). Пусть |
D : P |
P 0 |
– оператор дифференциро- |
||
|
7! |
||||
вания. Так как kp |
2n + 1 |
tnk = 1, то |
|
|
|
k D(p2n + 1 tn)k = np2n 1 ktn 1k = nr2n + 1; 2n 1
а последняя величина с ростом n неограничено возрастает.
Предложение 4.21. Если пространство X конечномерно, то для любого линейного оператора A 2 L(X; X) величина k A ks существует и обладает всеми свойствами нормы (см. раздел 3.1).
Доказательство. Пусть X – комплексное пространство размерности dim X = n. Рассмотрим в пространстве Cn множество S = fz = (z1; : : : ; zn) : jz1j2 + + jznj2 = 1g. Это множество – компакт (т.е. замкнутое и ограниченное множество) в Cn. Рассмотрим далее функцию f(z) = k A vzk при z 2 S, где vz 2 X – это такой вектор, что [vz] = (z1; : : : ; zn)> (относительно некоторого базиса в X). Заметим, что функция f непрерывна на S (это непосредственно вытекает из определения нормы и определения линейного оператора; проверка оставляется в качестве упражнения). По теореме Больцано-Вейерштрасса, непрерывная на компакте S функция f ограничена и достигает на нем своей точной верхней грани. Следовательно, найдется вектор v0 2 X такой, что k A ks = k A v0k.
Проверим, что величина k A kS обладает свойствами нормы. Обозначим через S(X) множество S(X) := fx 2 X : kxk = 1g. Заметим, что
k A ks = 0 () 8x 2 S(X) k A xk = 0 ()
() 8x 2 S(X) A x = 0 () 8x 2 X A x = 0 () A = O :
Таким образом, k A kS = 0, если и только если A – нулевой оператор. Далее, для любого
2 C
k A ks = supfk A xk : x 2 S(X)g = j j supfk A xk : x 2 S(X)g = j jk A ks
и, наконец, для любых двух операторов A; B 2 L(X; X)
k A + B ks = supfk A x + B xk : x 2 S(X)g
supfj A xk : x 2 S(X)g + supfj B xk : x 2 S(X)g = k A ks + k B ks:
Замечание. Пусть пространство X конечномерно, так что норма k A ks существует
для любого оператора A 2 L(X; X). При этом верно неравенство |
|
k A xk k A kskxk для любого x 2 X: |
(4.6) |
4.7. НОРМА ЛИНЕЙНОГО ОПЕРАТОРА |
55 |
Упражнение. Доказать неравенство (4.6).
Определение. Пусть X – нормированное линейное пространство. Линейный оператор A 2 L(X; X) называется ограниченным если существует неотрицательное вещественное число N такое, что для любого вектора x 2 X верно неравенство
k A xk N kxk: |
(4.7) |
Нижняя грань inf N множества всех констант N, для которых справедливо неравенство (4.7), обозначается символом k A ki.
Предложение 4.22. Если пространство X – конечномерно, то каждый оператор A 2 L(X; X) ограничен. В этом случае k A ki = k A ks.
Доказательство. Из неравенства (4.6) следует, что неравенство (4.7) выполняется с некоторым N k A ks. Так что k A ki k A ks. С другой стороны, для любого x 2 S(X) имеет место неравенство k A xk k A kikxk = k A ki, откуда k A ks k A ki. Итак, A ограничен и k A ki = k A ks. Что и требовалось.
Определение. В случае конечномерного линейного нормированного пространства
Xвеличину k A k = k A ks = k A ki называют нормой оператора A 2 L(X; X).
Оператор дифференцирования в примере 4.20 неограничен.
Упражнение. Проверить, что оператор M : P (t) 7!tP (t) в пространстве R[t] ограничен и найти его норму.
Норма единичного оператора E 2 L(X; X) равна 1, так как k E xk = kxk для любого x 2 X. Рассмотрим еще один важный для дальнейшего пример.
Пример 4.23. Пусть X – евклидово пространство со скалярным произведением h ; i, и пусть оператор A 2 L(X; X) имеет в некотором ортонормированном базисе fe1; : : : ; eng пространства X диагональный вид, т.е. A ej = jej при j = 1; : : : ; n, гдеj 2 R – некоторые вещественные числа (ясно, что все они будут собственными числами
A |
|
|
|
|
|
оператора ). Без ограничения общностиnпредположим, что n |
1 |
|
n. Возьмем |
||
произвольный вектор x 2 X. Если x = Pj=1 xjej, то A x = Pj=1 jxjej и |
|
|
|||
n |
n |
|
|
|
|
X |
X |
|
|
|
|
k A xk2 = hA x; A xi = j2xj2 12 |
xj2 = 12kxk2: |
|
|
||
j=1 |
j=1 |
|
|
|
|
Из этого следует, что k A xk j 1jkxk и, окончательно, k A k j 1j. А так как k A e1k = j 1j, то k A k = j 1j.
Выясним в завершении этого раздела, как ведет себя норма относительно операции композиции линейный операторов. Имеет место следующий результат.
Предложение 4.24. Если A; B 2 L(X; X) – два ограниченных оператора на нормированном линейном пространстве X, то оператор A B является ограниченным и
k A B k k A k B k: |
(4.8) |
Доказательство. В самом деле, для любого x 2 X имеют место неравенства |
|
k(A B)(x)k = k A(B x)k k A k k B xk k A k k B k kxk; |
|
из которых все и вытекает. |
|
Следствие 4.25. Если A L( ; ) – ограниченный оператор на нормированном |
2 X X
линейном пространстве X, то k Am k k A km для любого m 2 N.
Пример 4.26. Рассмотрим в пространстве R2 операторы Px и Py проектирования на координатные оси OX и OY соответственно. Как несложно подсчитать, k Px k = k Py k = 1, а Px Py = Py Px = O. Так что неравенство (4.8) не может, в общем случае, превратится в равенство.