
Раздел
5
Преобразования плоскости
Раздел 5
ПРЕОБРАЗОВАНИЯ ПЛОСКОСТИ
§5.1. Произведение матриц
Определение 5.1.1. |
Матрица
|
Результат
произведения матриц - матрица
,
есть матрица размераmxn
при любом
l,
которая обозначается как
.
Правило нахождения компонентов
произведения по компонентам сомножителей
матричного произведения иллюстрирует
рис. 5.1.1.
Пример 5.1.1. |
Приведем результаты произведения матриц, имеющих не более чем пару строк или столбцов.
1.
Пусть размер
|
|
2.
Если размер
|
|
3.
Наконец, пусть размер
|
Рисунок 5.1.1.
Замечания о произведении матриц
Из определения произведения матриц непосредственно следует, что для матриц подходящих размеров:
1.
Произведение матриц некоммутативно,
то есть в общем случае
.
2.
Произведение матриц обладает свойством
ассоциативности
.
3.
Произведение матриц обладает свойством
дистрибутивности
.
Отметим еще раз, что произведение двух матриц существует только тогда, когда число столбцов первого сомножителя равно числу строк второго.
Легко
убедиться, что умножение (как справа,
так и слева) любой матрицы
на подходящего размера единичную матрицу
(см. §1.1.) дает в результате ту же самую
матрицу
.
Определение 5.1.2. |
Матрица
|
Обратная
матрица существует не для произвольной
квадратной матрицы. Для существования
матрицы обратной к
необходимо и достаточно, чтобы выполнялось
условие
1).
Определение 5.1.3. |
Матрица
|
Лемма 5.1.1. |
Если обратная матрица существует, то она единственна. |
|
Доказательство:
Предположим,
что невырожденная матрица
Умножая
слева обе части данного равенства на
Лемма доказана. |
В
частном случае, когда
и если
,
матрица
имеет вид
.
Для
квадратных матриц порядка
справедливы1)
следующие равенства
Пример 5.1.2. |
Используя матричные операции, систему линейных уравнений
можно
записать в виде
|
|
а
ее решение (если существует
|
Пример 5.1.3. |
Формулы перехода от одной декартовой системы координат к другой (1.8.2.) с помощью матричных операций могут быть записаны в виде
где
|
Теорема 5.1.1. |
Имеет
место соотношение
|
|
Доказательство:
Будем
предполагать, что размеры матриц
Пусть
числа
Но, с другой стороны, по определению операции транспонирования 1.1.8.,
откуда, учитывая определение 5.1.1., делаем заключение о справедливости утверждения теоремы.
Теорема доказана. |
Заметим,
что согласно правилу транспонирования
произведения матриц равенство
может быть записано в виде
.
Для дальнейших рассуждений нам будет полезно следующее вспомогательное утверждение.
Лемма 5.1.2. |
Пусть
произведение квадратной матрицы
|
|
Доказательство:
Пусть
Лемма доказана. |
Теорема 5.1.2. |
Для
невырожденных, одинакового размера
квадратных матриц
|
|
Доказательство:
1.
Пусть произведение матрицы
|
|
2.
С другой стороны, из последнего
равенства получаем, что
3.
Вычитая почленно равенства
Теорема доказана. |
Задача 5.1.1. |
Проверить
тождество
|
Определение 5.1.4. |
Невырожденная
квадратная матрица
|
Свойства ортогональных матриц, играющих важную роль во многих приложениях, можно сформулировать в виде следующих теорем.
Теорема 5.1.3. |
Для
ортогональной матрицы
|
|
Доказательство:
Умножая
равенство
- определитель произведения квадратных матриц одинакового размера равен произведению определителей сомножителей;
- определитель матрицы не меняется при ее транспонировании;
-
Теорема доказана. |
Теорема 5.1.4. |
Каждая
ортогональная матрица второго порядка
|
|
Доказательство:
Пусть
матрица
Последнее матричное равенство может быть записано в виде системы скалярных условий
причем
из этих равенств, как было показано
при доказательстве теоремы 5.1.3.,
следует, что
Если
из суммы первого и третьего уравнений
системы вычесть удвоенное равенство
откуда
следует, что
Наконец,
из условий
Случай
Теорема доказана. |
Следствие 5.1.1. |
Матрица перехода от одного ортонормированного базиса на плоскости к другому ортогональная . |
|
Доказательство:
В
§1.8. было показано, что
Следствие доказано. |