
- •Раздел 10 269
- •Раздел 10
- •§10.1. Определение и основные свойства
- •§10.2. Ортонормированный базис. Ортогонализация базиса
- •§10.3. Координатное представление скалярного произведения
- •§10.4. Ортогональные матрицы в евклидовом пространстве
- •§10.5. Ортогональные дополнения и ортогональные проекции в евклидовом пространстве
- •§10.6. Сопряженные операторы в евклидовом пространстве
- •§10.7. Самосопряженные операторы
- •§10.8. Ортогональные операторы
§10.4. Ортогональные матрицы в евклидовом пространстве
Согласно
определению 5.1.4. матрица
,
удовлетворяющая соотношению
,
называется ортогональной, причём для
любой ортогональной матрицы справедливы
равенства
и
. Кроме того, в евклидовом пространстве
будут справедливы следующие теоремы.
Теорема 10.4.1. |
Ортогональные
матрицы (и только они) в
|
|
Доказательство:
Рассмотрим
два различных ортонормированных
базиса
Теорема доказана. |
В
развернутой форме равенство
принимает вид
,
которое для частного случая
было получено в §2.9.
Теорема 10.4.2. |
Собственные
значения линейного оператора, имеющего
в
|
|
Доказательство:
Из
равенства
Теорема доказана. |
Ортогональные матрицы также играют важную роль в вычислительных методах алгебры, что, например, иллюстрирует
Теорема 10.4.3. |
Если
матрица
|
|
Доказательство:
Предположим,
что имеется1)
два разложения
Заметим,
что
Очевидно,
что диагональная ортогональная матрица
может иметь на диагонали лишь элементы,
равные по модулю единице. Но диагональные
элементы
Теорема доказана. |
Отметим,
что, в силу теоремы 10.4.3. решение
неоднородной системы линейных уравнений
может быть сведено к разложению
невырожденной матрицы
- на произведение верхней треугольной
и ортогональной
,
поскольку в этом случае система
преобразуется к легко решаемому виду
.