- •Министерство образования и науки Российской Федерации
- •Глава III. Евклидовы пространства
- •§ 1. Определения, примеры и простейшие свойства
- •Свойства скалярного произведения
- •§ 2. Длины и углы в евклидовых пространствах
- •Свойства длины в евклидовых пространствах
- •§ 3. Ортогональные базисы евклидовых пространств
- •§ 4. Изоморфизм евклидовых пространств
- •Глава IV. Теория линейных операторов в векторных пространствах
- •§ 1. Определение и простейшие свойства
- •Простейшие свойства линейных операторов
- •§ 2. Матричный формализм в векторных пространствах
- •Простейшие свойства матричного формализма
- •§ 3. Матрица перехода от базиса к базису
- •Свойства матрицы перехода
- •Изменение координатного столбца при переходе от базиса к базису
- •§ 4. Матрица линейного оператора
- •Координатная форма записи линейного оператора
- •Изменение матрицы линейного оператора при переходе от базиса к базису
- •Свойства матрицы линейного оператора
- •§ 5. Образ, ядро, ранг и дефект линейного оператора
- •§ 6. Инвариантные подпространства линейного оператора
- •§ 7. Собственные числа и собственные векторы линейного оператора
- •§ 8. Подобные матрицы и их спектральные задачи
- •§ 9. Post Scriptum : о подобии матриц
- •§ 10. Спектр симметричного оператора Ортогональные дополнения подпространств евклидова пространства
- •Симметричные линейные операторы
- •Глава V. Дифференцирования в банаховых пространствах
- •§ 1. Метрические пространства
- •Матричные нормы
Матричные нормы
Множество M(n, R) всех квадратных nn-матриц над полем действительных чисел, как известно, образует векторное пространство размерности n2, которое можно отождествить с R. Поэтому можно определить следующие нормы на M(n, R):
||A||2 = , ||A|| = , ||A||1 = ,
где A = (aij) – квадратная nn-матрица с компонентами aij (1 n). Вопрос о том, почему эти нормы обозначены аналогично введённым выше векторным нормам, но некоторые из них выглядят иначе, будет обсуждаться позднее.
Примеры: 1. Для матрицы A = получаем
||A||2 = , ||A|| = max{|–1| + |2|, |3| + |5| } = 3,
||A||1 = max{|–1| + |3|, |2| + |5|} = 4.
2. Для единичной матрицы I = любого порядка значения всех рассматриваемых норм равны 1.
Оказывается, что эти нормы, определённые для матриц в векторном пространстве, тесно связаны с умножением матриц: A, B M(n, R) ||A·B|| ||A||·||B||.
Это легко проверить для |||| : если C = A·B, то cij = и . Поэтому ||C|| = ||A|| ·||B|| .
Для нормы ||||1 вычисления аналогичны. В случае ||||2 нужно проверить неравенство , справедливость которого можно уяснить, воспользовавшись неравенством Коши-Буняковского-Шварца – модуль скалярного произведения векторов не превосходит произведения их длин:. Поэтому
Есть другой, более общий, подход к определению матричных норм. Если задана некоторая векторная норма |||| в векторном пространстве nR всех столбцов длины n, то единообразно можно определить связанную с ней матричную норму ||A|| = sup{||A·x|| R | x nR , ||x|| = 1}. Этот супремум конечен, т.к. множество {x nR | ||x|| = 1} ограничено и замкнуто, так что непрерывная функция ||A·x|| на нём достигает максимума.
Теорема (о матричной норме). Если в пространстве nR задана норма |||| , то формула ||A|| = sup{||A·x|| R | x nR , ||x|| = 1} определяет матричную норму, т.е. отображение |||| : M(n, R) R со свойствами:
(Н1): A M(n, R) ||A|| 0 (||A|| = 0 A = 0)
(Н2): R A M(n, R) ||·A|| = ||·||A||
(Н3): A, B M(n, R) ||A + B|| ||A|| + ||B||
(Н4): A, B M(n, R) ||A·B|| ||A||·||B||.
При этом x nR ||A·x|| ||A||·||x||.
Доказательство. Для краткости будем писать sup{||A·x||} вместо sup{||A·x|| R | x nR , ||x|| = 1}.
(Н1): Условие ||A|| 0 очевидно. Кроме того,
(||A|| = 0) (sup{||A·x||} = 0) ( x nR ||A·x|| = 0)
( x nR A·x = 0) A = 0.
(Н2): ||·A|| = sup{||·A·x||} = sup{||·||A·x||} = ||·sup{||A·x||} = ||·||A||.
(Н3): ||A + B|| = sup{||(A + B)·x||} = sup{||A·x+B·x||} sup{||A·x|| + ||B·x||} sup{||A·x||} + sup{||B·x||} = ||A|| + ||B||.
Докажем теперь неравенство x nR ||A·x|| ||A||·||x||. Оно очевидно для x = 0. Если x 0, то для y = имеем ||y|| = = 1, поэтому ||A|| = sup{||A·z|| | ||z|| = 1} ||A·y|| = , откуда и следует, что ||A·x|| ||A||·||x|| .
(Н4): ||A·B|| = sup{||(A·B)·x||} = sup{||A·(B·x)||} sup{||A||·||B·x||} = = ||A||·sup{||B·x||} ||A||·sup{||B||·||x||} = ||A||·||B||·sup{||x|| | ||x|| = 1} = ||A||·||B||.
Теорема доказана.
Упражнения: 1. Докажите, что по любой матричной норме можно построить векторную норму: именно по |||| : M(n, R) R определяется норма |||| : nR R по правилу ||x|| = ||(x … x)||, где (x … x) M(n, R) – матрица, полученная n-кратным повторением столбца x nR.
2. Докажите, что модуль || R любого собственного числа матрицы A M(n, R) не превосходит произвольной нормы ||A|| матрицы A.
3. Докажите, что формула
||A|| = max{|| R | C – собственное число матрицы А}
Определяет матричную норму.
Оказывается, что описанным в теореме о матричных нормах путём по нормам ||||2 , |||| и ||||1 в nR можно получить рассмотренные выше соответствующие нормы матриц. Доказывать это не будем.
Ввиду тесной связи нормы |||| в банаховом пространстве с индуцированной метрикой (x, y) = ||x – y|| теорему о неподвижной точке сжимающего отображения можно переформулировать и для банаховых пространств:
Теорема (о неподвижной точке сжимающего отображения). Пусть в банаховом пространстве B с нормой |||| определено сжимающее отображение f : B B, т.е. c [0; 1) x, y B ||f(x) – f(y)|| c·||x – y|| . Тогда у него существует единственная неподвижная точка x B: f(x) = x. Эта неподвижная точка может быть получена, например, как предел последовательности {xn}n N , где x1 = f(x0), xn+1 = f(xn), а x0 – произвольный элемент из B. При этом || xn+1 – x || c·|| xn – x || , || x – xn || .
Важным для приложений является случай сжимающего линейного оператора, т.е. сжимающего отображения f : B B, удовлетворяющего условию линейности , R x, y B f(·x + ·y) = ·f(x) + ·f(y).
Теорема (о сжимающих линейных операторах). Линейный оператор f : B B является сжимающим тогда и только тогда, когда с [0; 1) x B ||f(x)|| c·||x||. Сжимающий линейный оператор имеет единственную неподвижную точку: 0 B. Если f – сжимающий линейный оператор, то линейный оператор – f : B B, где – тождественное отображение, инъективен.
Доказательство. Если оператор сжимающий, то при y = 0 из условия сжимаемости получим ||f(x) – f(0)|| c·||x – 0|| , т.е. ||f(x)|| c·||x|| . Обратно, если x B ||f(x)|| c·||x|| , то при x = y – z будет верно y , z B ||f(y) – f(z)|| = ||f(y – z)|| c·||y – z || , что и требовалось.
Очевидно, что 0 – неподвижная точка линейного оператора: f(0) = 0. Если сжимающий линейный оператор имеет неподвижную точку x, то f(x) = x, и ||x|| = ||f(x)|| c·||x||, что при x 0 приводит к противоречию 1 c. Поэтому x = 0 – единственная неподвижная точка оператора f.
По определению, x B ( – f)(x) = x – f(x). Предположим, что ( – f)(x) = ( – f)(y), т.е. x – f(x) = y – f(y) или x – y = f(x) – f(y) = f(x – y). Значит, x – y – неподвижная точка сжимающего оператора, и поэтому, x – y = 0 , т.е. x = y.
Теорема доказана.
Замечание: Вообще говоря, для бесконечномерного банахова пространства B в условиях теоремы линейный оператор – f : B B не обязан быть сюръективным.
Если B = Rn, то, как известно из курса алгебры, инъективность линейного оператора равносильна его обратимости, т.е. из инъективности оператора в конечномерном пространстве следует его сюръективность. Поэтому получаем
Следствие (об обратимости матрицы). Пусть А M(n, R) и ||A|| < 1. Тогда матрица In – A обратима.
Доказательство. Рассмотрим линейный оператор : nR nR, определённый правилом (x) = A·x. Это – линейный оператор с матрицей A относительно стандартного базиса e1 , … , en пространства nR , где ei = (0; … ; 0; 1; 0; … ; 0)t – вектор-столбец с единицей на i-м месте и нулями на остальных. Этот оператор будет сжимающим: x nR ||(x)|| = ||A·x|| ||A||·||x|| и ||A|| < 1, так что в условии сжимаемости оператора можно взять c = ||A|| [0; 1). По теореме о сжимающих линейных операторах, оператор – обратим. Его матрицей в стандартном базисе e1 , … , en будет In – A, что и доказывает её обратимость.
Лемма доказана.
Примеры: 1. Для матрицы A = имеем
||A||2 = ,
||A|| = max{|0,5| + |0|, |–0,45| + |0,9|} = 1,35,
||A||1 = max{|0,5| + |–0,45|, |0| + |0,9|} = 0,95 < 1.
Таким образом, матрица I – A = обратима. Об этом свидетельствует неравенство нулю её определителя и ||A||1 . Остальные нормы не позволяют сделать вывод об обратимости матрицы I – A.
2. Для матрицы A = имеем
||A||2 = < 1,
||A|| = max{|0,2| + |0,2|, |0,9| + |0,3|} = 1,2,
||A||1 = max{|0,2| + |0,9|, |0,2| + |0,3|} = 1,1.
Таким образом, матрица I – A = обратима. Об этом свидетельствует неравенство нулю её определителя и ||A||2 . Остальные нормы не позволяют сделать вывод об обратимости матрицы I – A.
Эти примеры показывают, что для решения задач полезно использовать весь спектр норм: некоторые не помогут, но возможно, какая-то из них и облегчит решение задачи.
Л И Т Е Р А Т У Р А
Брудно А.Л. Теория функций действительного переменного. – М.: Наука, 1971.
Валицкас А.И. Конспект лекций по математической логике. – Тобольск, ТГСПА им. Д.И. Менделеева, 2010.
Демидович Б.П. Сборник задач и упражнений по математическому анализу: Учеб. пособие. – М.: АСТ, 2002.
Ершов Ю.Л., Палютин Е.А. Математическая логика. – СПб.: Издательство “Лань”, 2004.
Игошин В.И. Математическая логика и теория алгоритмов. – М.: Издательский центр “Академия”, 2004.
Игошин В.И. Задачник-практикум по математической логике. – М.: Издательский центр “Академия”, 2005.
Ильин В.А. Математический анализ: Учебник : в 2 ч. / В.А. Ильин, В.А. Садовничий и др. - 3-е изд.,пер. и доп. - М.: Проспект, 2006.
Йех Т. Теория множеств и метод форсинга. – М.: Мир, 1973.
Кон П.М. Универсальная алгебра. – М.: Мир, 1968.
Кострикин А.И. Введение в алгебру (в 3-х ТТ.). – М.: ФИЗМАТЛИТ, 2000.
Сборник задач по алгебре / Под ред. А.И. Кострикина. – М.: ФИЗМАТЛИТ, 2001.
Коэн П. Дж. Теория множеств и континуум-гипотеза. – М.: Мир, 1969.
Кудрявцев Л.Д. Курс математического анализа. Т. I-II. – М.: Высшая школа, 1991.
Курош А.Г. Курс высшей алгебры. – СПб.: Издательство “Лань”, 2008.
Курош А.Г. Лекции по общей алгебре. – СПб.: Издательство “Лань”, 2007.
Лавров И.А. Математическая логика. – М.: Издательский центр “Академия”, 2008.
Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. – М.: Издательский центр “Академия”, 2007.
Никольский С.Н. Курс математического анализа: Учеб. для вузов. – 6-е изд. стер. – М.: Физматлит, 2002.
Фаддеев Д.К. Лекции по алгебре. – СПб.: Издательство “Лань”, 2002.
Фаддеев Д.К., Соминский И.С. Задачи по высшей алгебре. – СПб.: Издательство “Лань”, 2007.
Шварц Л. Анализ.Т. I-II. – М.: Мир, 1972.
Ященко И.В. Парадоксы теории множеств. – М.: Издательство МЦНМО, 2002.