Линейные операторы в евклидовых пространствах. Линейные самосопряженные операторы в евклидовом пространстве. Алгебра
220400 Алгебра и геометрия Толстиков А.В.
Лекции 15. Линейные операторы в евклидовых пространствах
План
1. Сопряженные операторы евклидовых пространствах и их свойства.
2. Самосопряженные операторы.
3. Ортогональные матрицы и их свойства.
4. Ортогональные операторы и их свойства.
1. Курс аналитической геометрии и линейной алгебры. М.: Наука, 1984.
2. Бугров Я.С., Никольский С.М. Элементы линейной алгебры и аналитической геометрии. 1997.
3. Воеводин В.В. Линейная алгебра.. М.: Наука 1980.
4. Сборник задач по для втузов. Линейная алгебра и основы математического анализа. Под ред. Ефимова А.В., Демидовича Б.П.. М.: Наука, 1981.
5. Бутузов В.Ф., Крутицкая Н.Ч., Шишкин А.А. Линейная алгебра в вопросах и задачах. М.: Физматлит, 2001.
6. Воеводин В.В. Линейная алгебра. М.: Наука, 1980.
1. Сопряженные операторы евклидовых пространствах и их свойства. Пусть E - евклидово пространство над полем действительных чисел R , на котором определено скалярное произведение векторов (a ,b ), a , b ÎE.
Определение 1. Линейный оператор A * евклидова пространства E называется сопряженным линейному оператору A * пространства E , если для любых векторов a , b ÎE выполняется условие:
(Aa ,b ) = (a , A * b ). (1)
Лемма 1. Если произведение данной строки U на любой столбец Y равно нулю, то строка U нулевая. Если произведение любой строки X t на данную столбец U равно нулю, то столбец нулевой.
Доказательство. Пусть U = (u 1 , u 2 ,…, u n ), Y = (y 1 , y 2 ,…, y n ) t . По условию теоремы для любых чисел y 1 , y 2 ,…, y n U Y = (u 1 , u 2 ,…, u n )(y 1 , y 2 ,…, y n ) t = u 1 y 1 + u 2 y 2 +…+ u n y n =0. Если все числа y 1 , y 2 ,…, y n равны 0, кроме y j , которое =1, то отсюда получаем, что u j (i = 1,2,…,n ). Поэтому U =0. Аналогично доказывается второе утверждение теоремы.
Теорема 1. Пусть v = (v 1 , v 2 ,…, v n ) - базис евклидова пространства E , A - матрица линейного оператора A относительно базиса v , G = (g ij ) - матрица Грама базиса v . Если для линейного оператора A существует сопряженный оператор A * , то выполняется равенство
A t G = G A * . (2)
Доказательство. Пусть X и Y координатные столбцы векторов a , b ÎE относительно базиса v , A и A * матрицы линейных операторов A и A * относительно базиса v . Тогда
(Aa , b ) =(v (AX ), vY ) = (AX ) t GY , (a , A * b ) = X t G A * Y. (3)
Отсюда по формуле (1) получим равенство (AX ) t GY = X t G A * Y, справедливое для любых вектор столбцов X и Y. Так как векторы a , b произвольные, то по лемме 1 получаем A t G = G A * .
Теорема 2. Если базис v = (v 1 , v 2 ,…, v n ) евклидова пространства E ортонормированный, то матрица A * сопряженного линейного оператора A * является транспонированной к матрице Aоператора A ;
A t = A * . (4)
Доказательство. Так как матрица Грамма ортонормированного базиса единичная, G = E , то (4) следует из (2).
Следствие 1 . Для любого оператора A справедливо равенство (A * ) * = A .
Доказательство. По формуле (4) для матриц линейных операторов (A * ) * и A в ортонормированном базисе имеем (A * ) * = (A t ) t = A . Поэтому (A * ) * = A .
Следствие 2 . Для любых оператора A , B справедливо равенство (AB ) * = B * A * .
Доказательство. По формуле (4) для матриц линейных операторов A , B и A * , B * в ортонормированном базисе имеем (AB ) * = (AB ) t = B t A t = B * A * . Поэтому (AB ) * = B * A * .
Следствие 3 . Собственные значения линейных операторов A и A * совпадают .
Доказательство. Так как характеристические многочлены матриц и совпадают, то собственные значения линейных операторов, которые являются корнями характеристического уравнения совпадают.
Теорема 3. Для любого линейного оператора A евклидова пространства E существует единственный сопряженный линейный оператор A * .
Доказательство. Пусть v = (v 1 , v 2 ,…, v n) ортонормированный базис евклидова пространства E , A - линейный оператор с матрицей A относительно базиса v . Рассмотрим в E линейный оператор B с матрицей A t относительно данного базиса. Оператор B существует и единственный. Правые части равенств (3) равны: (AX ) t GY = X t G A * Y. Поэтому равны и левые (Aa , b ) = (a , Bb ). Поэтому оператор B - сопряженный для оператора A .
2. Самосопряженные операторы.
Определение 1. Линейный оператор A евклидова пространства E называется самосопряженным или симметричным , если A = A * , т.е. для любых векторов двух a , b ÎE выполняется условие:
(Aa , b ) = (a , Ab ). (1)
Теорема 1 . Линейный оператор A евклидова пространства E самосопряжен тогда и только, когда матрица A линейного оператора A в ортогональном базисе симметрическая матрица, т. е . A = A * .
Занятие 13 (Фдз 14).
Ортогональные операторы в евклидовом пространстве.
Сопряженные и симметричные линейные операторы в евклидовом пространстве.
13.1. Ортогональный оператор и его свойства.
13.2. Сопряженный линейный оператор
13.3. Симметричный (самосопряженный) линейный оператор. Существование и нахождение ортонормированного собственного базиса симметричного линейного оператора.
13.1. Линейный оператор , заданный в евклидовом пространстве со скалярным произведением , называется ортогональным оператором , если , где .
Ортогональный оператор не изменяет длин векторов и углов между ними, т.е.
.
В произвольном базисе пространства
, (1)
где - матрица ортогонального оператора, - матрица Грама, - координаты векторов в базисе . В случае ортонормированного базиса , и равенство (1) заменяется равенством
Следовательно, в любом ортонормированном базисе пространства ортогональный оператор имеет ортогональную матрицу .
Пример 1 . Рассмотрим двумерное евклидово пространство , содержащее все векторы на декартовой плоскости со стандартным скалярным произведением . Пусть - линейный оператор поворота векторов вокруг начала координат на заданный угол . Доказать, что - ортогональный оператор.
С геометрической точки зрения ортогональность заданного оператора очевидна.
Проведем строгое доказательство.
- единичные векторы осей . Эти векторы образуют стандартный ортонормированный базис пространства , с которым связано стандартное скалярное произведение.
Рассмотрим два произвольных вектора .
Т.к. , делаем вывод: - ортогональный оператор.
В дополнение к проведенному доказательству проверим ортогональность матрицы оператора в ортонормированном базисе . Из формул (3), (2) находим
, - ортогональная матрица.
Пример 2 . Требуется выяснить, является ли оператор ортогональным оператором.
Проверим выполнение равенства .
- матрица Грама в базисе .
Не является ортогональным оператором.
13.2. Пусть даны два линейных оператора и в евклидовом пространстве со скалярным произведением . Оператор называется сопряженным оператором оператору , если , где .
Если и матрицы оператора и сопряженного ему оператора в базисе
Указанная связь между матрицами и позволяет найти матрицу , если известна матрица , и наоборот, найти матрицу , если известна матрица .
В ортонормированном базисе, где , равенство (4) заменится равенством .
Следует отметить, что сопряженный оператор оператору совпадает с оператором . Поэтому, операторы и называются взаимно сопряженными .
Пример 3 . Рассмотрим двумерное евклидово пространство со скалярным произведением в базисе . Пусть - линейный оператор, имеющий в базисе матрицу . Потребуем найти матрицу сопряженного оператора в данном базисе. Проверить также, что матрица оператора , сопряженного оператору , совпадает с матрицей оператора .
- матрица Грама в базисе .
Из матричного равенства (5) выводим: .
Займемся теперь поиском матрицы оператора . Согласно формуле (5) выводим:
13.3. Пусть - линейный оператор, действующий в евклидовом пространстве со скалярным произведением . Оператор называется самосопряженным или симметричным , если , где .
Если - матрица оператора в базисе пространства , и - матрица Грама скалярного произведения в этом базисе, то
В ортонормированном базисе (в котором ) это равенство заменится равенством
Следовательно, в ортонормированном базисе симметричный оператор имеет симметрическую матрицу.
Важные свойства симметричного оператора фиксирует следующая теорема .
Все собственные значения симметричного оператора действительны, и собственные векторы, отвечающие различным собственным значениям ортогональны .
Из собственных векторов симметричного оператора можно не только образовать собственный базис, но и даже ортонормированный собственный базис. Поэтому, любой симметричный оператор является оператором простого типа (см. занятие 7).
Пример 4 . Найти собственный ортонормированный базис симметричного оператора , действующего в двумерном евклидовом пространстве, если в ортонормированном базисе оператор имеет матрицу .
1. Из характеристического уравнения найдем собственные значения оператора .
2. Теперь найдем собственные векторы.
Собственный вектор с собственным значением .
В ортонормированном базисе скалярное произведение задается формулой
, где - координаты векторов в этом базисе.
Ортогональные векторы (что согласуется с выводами теоремы, приведенной выше) - линейно независимая система. Т.к. евклидово пространство двумерно, приходим к выводу: - ортогональный собственный базис.
Чтобы получить ортонормированный собственный базис нужно пронормировать векторы .
Итак, - собственный базис симметричного оператора .
Пример 5 . Найти собственный ортонормированный базис симметричного оператора , действующего в трехмерном евклидовом пространстве, если в ортонормированном базисе оператор имеет матрицу
.
Найдем собственные значения и собственные матрицы оператора .
Собственный вектор с собственным значением .
Собственный вектор с собственным значением .
Собственный вектор с собственным значением .
Собственные векторы отвечают различным собственным значениям. Следовательно, - ортогональная система векторов и одновременно является собственным ортогональным базисом оператора . Чтобы получить собственный ортонормированный базис , пронормируем векторы .
Пример 6 . Найти собственный ортонормированный базис симметричного оператора , действующего в трехмерном евклидовом пространстве, если в ортонормированном базисе оператор имеет матрицу .
Решение. Найдем собственные значения и собственные матрицы оператора .
Т.к. , а тройка векторов в базисе
Пусть линейный оператор А действует в евклидовом пространстве E n и преобразует это пространство само в себя.
Введем определение : оператор А * назовем сопряженным оператору А , если для любых двух векторов x,y из Е n выполняется равенство скалярный произведений вида:
(Ax,y ) = (x,A * y )
Еще определение : линейный оператор называется самосопряженным, если он равен своему сопряженному оператору, т. е. справедливо равенство:
(Ax,y ) = (x,Ay )
или, в частности (Ax,x ) = (x,Ax ).
Самосопряженный оператор обладает некоторыми свойствами. Упомянем некоторые из них:
Собственные числа самосопряженного оператора - вещественны (без доказательства);
Собственные векторы самосопряженного оператора ортогональны. Действительно, если x 1 и x 2 – собственные векторы, а 1 и 2 – их собственные числа, то: Ax 1 = 1 x ; Ax 2 = 2 x ; (Ax 1 ,x 2 ) = (x 1 ,Ax 2 ), или 1 (x 1 ,x 2 ) = 2 (x 1 ,x 2 ). Поскольку 1 и 2 различны, то отсюда (x 1 ,x 2 ) = 0, что и требовалось доказать.
В евклидовом пространстве существует ортонормированный базис из собственных векторов самосопряженного оператора А . Т. е. матрицу самосопряженного оператора всегда можно привести к диагональному виду в некотором ортонормированном базисе, составленном из собственных векторов самосопряженного оператора.
Еще одно определение : назовем самосопряженный оператор, действующий в евклидовом пространстве симметричным оператором. Рассмотрим матрицу симметричного оператора. Докажем утверждение: чтобы оператор был симметричным, необходимо и достаточно, чтобы в ортонормированном базисе его матрица была бы симметричной.
Пусть А – симметричный оператор, т. е.:
(Ax,y ) = (x,Ay )
Если А – матрица оператора А, а x и y – некоторые векторы, то запишем:
координаты x и y в некотором ортонормированном базисе
Тогда: (x,y ) = X T Y = Y T X и имеем (Ax,y ) = (AX) T Y = X T A T Y
(x,Ay ) = X T (AY) = X T AY,
т.е. X T A T Y = X T AY. При произвольных матрицах-столбцах X,Y это равенство возможно только при А Т = А, а это означает, что матрица А – симметричная.
Рассмотрим некоторые примеры линейных операторов
Оператор проектирования. Пусть требуется найти матрицу линейного оператора, осуществляющего проектирование трехмерного пространства на координатную ось е 1 в базисе е 1 , е 2 , е 3 . Матрица линейного оператора – это матрица, в столбцах которой должны стоять образы базисных векторов е 1 = (1,0,0), е 2 = (0,1,0), е 3 = (0,0,1). Эти образы, очевидно, есть: Ае 1 = (1,0,0)
Ае 2 = (0,0,0)
Ае 3 = (0,0,0)
Следовательно, в
базисе е
1
,
е
2
,
е
3
матрица
искомого линейного оператора будет
иметь вид:
Найдем ядро этого оператора. Согласно определению ядро – это множество векторов х , для которых АХ = 0. Или
Т. е. ядро оператора составляет множество векторов, лежащих в плоскости е 1 , е 2 . Размерность ядра равна n – rangA = 2.
Множество образов этого оператора – это, очевидно, множество векторов, коллинеарных е 1 . Размерность пространства образов равна рангу линейного оператора и равна 1 , что меньше размерности пространства прообразов. Т. е. оператор А – вырожденный. Матрица А тоже вырождена.
Еще пример : найти матрицу линейного оператора, осуществляющего в пространстве V 3 (базис i , j , k ) линейное преобразование – симметрию относительно начала координат.
Имеем: Ai = -i
Т. е. искомая матрица
Рассмотрим линейное преобразование – симметрию относительно плоскости y = x .
Aj = i (1,0,0)
Ak = k (0,0,1)
Матрица оператора будет:
Еще пример – уже знакомая матрица, связывающая координаты вектора при повороте осей координат. Назовем оператор, осуществляющий поворот осей координат, - оператор поворота. Допустим, осуществляется поворот на угол :
Ai ’ = cosi + sinj
Aj ’ = -sini + cosj
Матрица оператора поворота:
Ai ‘ Aj ‘
Вспомним формулы преобразования координат точки при смене базиса – замена координат на плоскости при смене базиса:
Эти формулы можно рассматривать двояко. Ранее мы рассматривали эти формулы так, что точка стоит на месте, поворачивается координатная система. Но можно рассматривать и так, что координатная система остается прежней, а перемещается точка из положения М * в положение М. Координаты точки М и М* определены в той же координатной системе.
Все сказанное позволяет подойти к следующей задаче, которую приходится решать программистам, занимающимся графикой на ЭВМ. Пусть необходимо на экране ЭВМ осуществить поворот некоторой плоской фигуры (например треугольника) относительно точки О’ с координатами (a,b) на некоторый угол . Поворот координат описывается формулами:
Параллельный перенос обеспечивает соотношения:
Для того, чтобы решить такую задачу, обычно применяют искусственный прием: вводят так зазываемые “однородные” координаты точки на плоскости XOY: (x, y, 1). Тогда матрица, осуществляющая параллельный перенос, может быть записана:
Действительно:
А матрица поворота:
Рассматриваемая задача может быть решена в три шага:
1 й шаг: параллельный перенос на вектор А(-а, -b) для совмещения центра поворота с началом координат:
2 й шаг: поворот на угол :
3 й шаг: параллельный перенос на вектор А(а, b) для возвращения центра поворота в прежнее положение:
Искомое линейное преобразование в матричном виде будет выглядеть:
(**)
ЛЕКЦИЯ 9
Операторы в евклидовых пространствах
Линейные операторы,
действующие в евклидовых пространствах,
обладают рядом специальных свойств,
которые весьма важны для приложений
линейной алгебры в различных предметных
областях. Мы остановимся только на
основных вопросах этой теории, в
частности, будем изучать теорию линейных
операторов исключительно в вещественных
пространствах с ортонормированными
базисами, а именно в пространстве
.
Причём операторы будем считать
преобразованиями, то есть будем изучать
операторы
.
Сопряжённый
оператор
.
Рассмотрим понятие оператора, сопряжённого
к оператору
,
действующему в евклидовом пространстве
.
Определение
9.1.
Пусть
– некоторый линейный оператор. Оператор
называется
сопряжённым
к оператору
,
если
выполняется условие
. (9.1)
Теорема 9.1.
Для любого
линейного оператора
существует единственный сопряжённый
оператор
,
который также является линейным.
Д о к а з а т е л ь с т в о. 1) Пусть оператор существует, докажем его единственность. Для этого предположим, что этот оператор не единственный, то есть существуют, например, два оператораи, удовлетворяющих определению 9.1. Тогда по формуле (9.1) имеем:
,
,
(9.2)
откуда получаем
В силу того, что
в определении 9.1 (в формуле (9.1)) вектор
произволен, положим в равенстве (9.3)
,
.
Так как скалярное произведение удовлетворяет аксиоме невырожденности, из последнего равенства имеем
откуда в силу
произвольности вектора
следует, что
и единственность сопряжённого оператора
доказана.
2) Докажем линейность сопряжённого оператора. Используя определение (9.1) и свойства скалярного произведения, получаем:
,
и
а)
;
Из сравнения формул а) и б) следует линейность сопряжённого оператора , а именно:
.
3)
Докажем
теперь существование сопряжённого
оператора. Зафиксируем в пространстве
канонический базис
,
и запишем векторы
и
в виде их разложений по каноническому
базису:
;
.
(9.4)
Рассмотрим вычисление левой и правой частей (9.1):
;
.
Сравнивая два последних равенства с учётом (9.1), получаем:
. (9.5)
Итак, если матрица оператора имеет вид
,
то матрица сопряжённого оператора имеет вид
. (9.6)
Из (9.6) следует, что
матрица сопряжённого оператора
в любом ортонормированном базисе
находится путем транспонирования
матрицы оператора,
что и доказывает существование
сопряжённого оператора.
Докажем теорему о свойствах оператора, сопряжённого линейному оператору.
Теорема 9.2.
Справедливы
следующие свойства сопряжённого
оператора
:
и
1)
;
2)
;
3)
;
4)
;
(9.7)
5)
.
Д о к а з а т е л ь
с т в о. Докажем первое соотношение.
Пусть
– произвольный линейный оператор. Для
сопряжённого операторасопряжённым будет оператор.
Тогда:
Последнее равенство выполняется при любом векторе , то есть,
,
откуда следует доказательство первого свойства.
Докажем второе соотношение. Для этого рассмотрим следующую цепочку преобразований:
Из сравнения левой и правой частей равенства (9.8) следует доказательство второго свойства.
Остальные свойства
доказываются аналогично.
Самосопряжённые операторы . В приложениях большое значение имеют самосопряжённые операторы .
Определение
9.2.
Линейный
оператор
называется
самосопряжённым
,
если
.
Из определения следует, что для самосопряжённого оператора справедливо соотношение
. (9.9)
Так как матрица
сопряжённого оператора
равна транспонированной матрице
оператора,
то у самосопряжённого оператора элементы
матрицы удовлетворяют равенству
,
то естьэлементы
матрицы самосопряжённого оператора,
симметричные относительно главной
диагонали, равны
.
Такая матрица называется симметрической
.
По этой причине самосопряжённые операторы
часто называютсясимметрическими
.
Самосопряжённые операторы обладают рядом свойств, которые нетрудно доказать, используя определение и свойства сопряжённого оператора.
1. Единичный оператор является самосопряжённым.
Д о к а з а т е л ь с т в о. Очевидно,
.
2. Сумма самосопряжённых операторов является самосопряжённым оператором.
Д о к а з а т е л ь
с т в о. Если
и
,
то
.
3. Композиция самосопряжённых операторов является самосопряжённым оператором в том и только в том случае, если эти операторы коммутативны.
Д о к а з а т е л ь с т во. Напомним, что операторы называются коммутативными, если
,
,
где
– нулевой оператор. Если
,
,
то
,
что равно
в том и только в том случае, если операторы
коммутативны.
4. Оператор
,
обратный к невырожденному самосопряжённому
оператору
также самосопряжённый оператор.
Д о к а з а т е л ь
с т во. Действительно, если
,
то
.
5. Если
– самосопряжённый оператор, то
произведение этого оператора на некоторое
вещественное число
является самосопряжённым оператором.
Д о к а з а т е л ь с т во. Из третьего свойства (9.7), имеем:
.
Теорема 9.3.
Собственные
векторы самосопряжённого оператора
,
действующего в пространстве
,
соответствующие попарно различным
собственным значениям, взаимно
ортогональны.
:
и
,
причём
.
Так как оператор самосопряжённый, то
.
Поэтому в левой и правой частях,
соответственно, имеем:
;
.
Откуда в силу
получаем:
.
Для самосопряжённых операторов справедлива следующая важная теорема.
Теорема 9.4.
Все корни
характеристического многочлена
самосопряжённого оператора
вещественные и различные.
Д о к а з а т е л ь
с т в о. В общем случае доказательство
теоремы достаточно громоздкое. По этой
причине приведём доказательство для
случая оператора
.
Итак, пусть дан некоторый линейный
оператор
с матрицей.
Тогда характеристическое уравнение
этого оператора имеет вид:
.
Раскрывая определитель, получаем характеристическое уравнение:
Решение этого уравнения находим по известной формуле:
.
Дискриминант имеет вид:
Первое слагаемое,
очевидно, всегда положительно, а второе
положительно, так как
.
Поэтому корни характеристического
уравнения вещественные и различные.
Теорема 9.5.
Пусть
– самосопряжённый оператор. Тогда в
пространстве
можно выбрать ортонормированный базис
так, чтобы матрица оператора в этом базисе была диагональной .
Д о к а з а т е л ь
с т в о. По теореме 9.4 все корни
характеристического многочлена
самосопряжённого оператора вещественные
и различные, а следовательно, по теореме
9.3 собственные векторы самосопряжённого
оператора взаимно ортогональны. Систему
собственных векторов, очевидно, можно
нормировать. Но тогда эти векторы
образуют базис пространства
,
в котором оператор является оператором
простой структуры, то есть имеет
диагональную матрицу.
Ортогональные
операторы и их свойства, геометрическая
интерпретация
.
Рассмотрим определение и свойства
важного класса операторов, действующих
в пространстве
.
Определение
9.3.
Оператор
,
действующий в пространстве
,
называется
ортогональным
,
если он сохраняет скалярное произведение,
то есть
.(9.10)
Из определения следует, что ортогональный оператор сохраняет нормы (длины) векторов и углы между ними .
Лемма 9.1.
Оператор
.
Д о к а з а т е л ь с т в о. Пусть
,
откуда имеем:
.
Полагая
,
получаем:
.
Пусть
.
Тогда имеем:
.
Очевидно, что ортогональный оператор невырожден , то есть, его матрица имеет обратную матрицу.
Теорема 9.6 (о
свойствах ортогональных операторов).
Ортогональные
операторы
обладают следующими свойствами:
1) единичный оператор является ортогональным;
2) композиция ортогональных операторов также является ортогональным оператором;
3) оператор, обратный ортогональному оператору, также является ортогональным;
4)
если
– ортогональный оператор, то оператор
является ортогональным в том и только
в том случае, если
.
Д о к а з а т е л ь
с т в о. 1. Доказательство этого свойства
почти очевидно:
.
2. Пусть
и
– ортогональные операторы. Тогда:
3. Пусть
ортогональный оператор. Рассмотрим
:
.
4. Пусть – ортогональный оператор. Тогда
.
Теорема 9.7
(критерий ортогональности оператора).
Оператор
,
действующий в пространстве
,
является ортогональным в том и только
в том случае, если он переводит хотя бы
один ортонормированный базис в
ортонормированный базис
.
Д о к а з а т е л ь
с т в о. Пусть
– ортогональный оператор. Тогда он,
сохраняя скалярное произведение,
переводит ортонормированный базис в
ортонормированный базис.
Пусть теперь
оператор
переводит ортонормированный базис
в новый ортонормированный базис
.
Тогда
.
.
Рассмотрим свойства матрицы ортогонального оператора.
Теорема 9.8.
Система
векторов-столбцов (строк) матрицы
ортогонального оператора
в любом ортонормированном базисе
является ортонормированной .
Д о к а з а т е л ь
с т в о. Пусть
– некоторый ортогональный оператор и
– некоторый ортонормированный базис.
По теореме 9.9 система образов базисных
векторов сама является ортонормированной,
то есть
.
Поэтому для столбцов матрицы оператора
,
(как векторов
арифметического пространства
)
имеем:
. (9.11)
Аналогичное свойство справедливо и для строк матрицы :
.
(9.12)
Теорема 9.9.
Матрица
ортогонального оператора
в любом ортонормированном базисе
удовлетворяет условию
.
(9.13)
Д о к а з а т е л ь
с т в о. Пусть
– ортогональный оператор. Так как
матрицы операторовисвязаны соотношениями
,
откуда для матрицы оператора получаем (9.11).
Обратно, пусть
выполнено соотношение (9.11). Тогда
,
откуда и следует, что операторявляется ортогональным.
Определение 9.4. Матрица , для которой выполняется свойство (9.13), называется ортогональной .
Приведём некоторые теоремы о свойствах ортогонального оператора.
Теорема 9.10.
Собственные
значения ортогонального оператора
действующий в пространстве
,
равны
.
Д о к а з а т е л ь
с т в о. Пусть
.
Тогда
Так как по определению
,
то
.
Теорема 9.11. Определитель ортогональной матрицы равен
.
Д о к а з а т е л ь
с т в о. Для ортогональной матрицы
выполняется равенство
.
Поэтому
.
Тогда
.