Обратимые и обратные матрицы
Обратимые матрицы - это вид матриц, которые имеют обратную матрицу. Такая обратная матрица способна отменять ту матричную трансформацию, которая выполняется оригинальной матрицей.
Практикаобратимые и обратные матрицы используются повсеместно - они являются эффективным и важным инструментом для множества вычислительных процессов. В мире компьютерной графики, где выполняются такие преобразования сцены как поворот, масштабирование, перенос или изменение перспективы, без обратных матриц невозможно было бы выполнять обратные версии этих преобразований и нельзя было бы свободно переводить координаты из локальных в мировые и обратно. К тому же нельзя было бы создавать такие фундаментальные процессы, как ray casting, который в последнее время стал стандартом в мире виртуальной реальности и компьютерных игр. Более того, эти матрицы наблюдаются там, где линейная алгебра используется для машинного обучения, решения систем линейных уравнений для расчета математический моделей, механике конструкций, а также при калибровке датчиков и сенсоров.
Общая информация об обратимых и обратных матрицах
Пускай будет обратимой матрицей, тогда будет нотацией для обозначения её обратной матрицы. Все, что делает матрица , матрица отменяет. По аналогии с числами, матрица - это многомерный аналог обратного числа для ненулевого действительного числа , которое также иногда записывается как .
Более формально говоря, обратимые матрицы позволяют привести к отменяемому преобразованию матрицы , которое мы можем выразить в виде обратной матрицы .
Два главных свойства матриц, позволяющих им быть обратимыми
- Обратимые матрицы всегда квадратные.
- Обратимые матрицы всегда имеют линейно независимые столбцы.
Пример обратимой и ее обратной матрицы
Как мы видим в примере выше, столбцы (слева) линейны независимы, а сама матрица квадратная, поэтому существует обратная матрица (справа).
Пример необратимой матрицы
В этом примере столбцы матрицы линейной зависимы, поэтому даже несмотря на квадратную форму матрицы, она необратима.
Стандартное определение обратимых матриц
Пускай будет матрицей. называется обратимой тогда, когда существует матрица , которая "обращает" матрицу так, что
Матрица называется обратной и записывается как , соответственно
Из вышеописанного также следует:
Пример взаимодействия обратимой и ее обратной матрицы
Пускай
тогда
Пример матрицы, которая является обратной к самой себе - отражающая матрица
Пускай
тогда
Как мы видим из этого примера
Именно такая матрица называется отражающей матрицей, и в данном случае она способна отражать положение объектов в двухмерном пространстве. У нее есть альтернатива как в трехмерном, так и в многомерном пространствах.
Свойства обратимых и обратных матриц
Обратимость обратной матрицы
Пускай будет обратимой матрицей. Тогда тоже обратима и
Доказательство
Если , то удовлетворяет условиям быть обратной к .
Комбинация обратных матриц тоже обратима
Пускай и будут обратимыми матрицами. Тогда комбинация тоже обратима и
Раскрытие скобок в данном случае создает обратные матрицы, расставляя их в инверсивном порядке
Доказательство
Мы покажем, что соответствует условиям быть обратной к , следуя определению обратимых матриц:
Обратимость транспозиции
Пускай будет обратимой матрицей. Тогда транспонированная матрица тоже обратима и
Доказательство
Так как обратима, существует матрица , для которой
Воспользуемся свойством транспонирования произведения:
Транспонируем равенство :
Аналогично, транспонируем равенство :
Мы получили, что матрица даёт единичную матрицу и при умножении слева, и при умножении справа на . Следовательно, она является обратной к :
Количество опорных элементов и существование обратной матрицы
Обратная матрица существует тогда и только тогда, когда при исключении Гаусса получается опорных элементов (с возможностью перестановки строк). Метод исключения позволяет решать уравнение , не используя явно матрицу .
Уникальность обратной матрицы
Пускай будет обратимой матрицей. Тогда обратная матрица уникальна (единственна).
Доказательство
Пускай обладает несколькими обратными, тогда и также . В этом случае, пользуясь ассоциатинвостью матриц, мы получаем
Уникальность решения
Пускай будет обратимой матрицей. Тогда единственное и только решение для является .
Уравнение имеет только нулевое решение
Предположим, существует ненулевой вектор такой, что . Тогда столбцы матрицы линейно зависимы. Такая матрица не может быть обратимой. Ни одна матрица не может перевести обратно в . Если обратима, то уравнение имеет только нулевое решение:
Существования обратной у треугольной матрицы
Треугольная матрица имеет обратную тогда и только тогда, когда ни один диагональный элемент не равен нулю:
Детерминанта обратимых матриц
Пускай будет обратимой матрицей, тогда
Доказательство
Так как матрица обратима, существует матрица , для которой
Возьмём детерминант от обеих частей равенства:
Используем мультипликативность детерминанта:
поскольку . Тогда произведение равно единице, а значит ни один из множителей не равен нулю. Следовательно,
Ядро обратимых матриц
Пускай будет обратимой матрицей, тогда ядро такой матрицы содержит только нулевой вектор:
Доказательство
Так как обратима, существует матрица , для которой
Пусть . Тогда по определению ядра
Домножим это равенство слева на :
Получаем
откуда следует . Значит, в ядре матрицы содержится только нулевой вектор:
Нахождение обратных матриц
Обратная матрица
Нахождение обратной матрицы мерности весьма логично вытекает из определения обратных чисел:
Обратная матрица
Нахождение обратной матрицы мерности является чуть более сложным, но все равно довольно понятным процессом:
Также можно было бы это выразить при помощи детерминанты
Нахождение обратной матрицы любой мерности
При помощи расширенной матрицы и элиминации Гауса-Джордана мы можем эффективно найти обратную матрицу . Если
то . Если не может быть получено слева расширенной матрицы, то матрица не обратима.
Пример элиминации Гауса-Джордана на матрице для получения
Пусть
тогда мы создаем расширенную матрицу и выполняем на ней элиминацию Гауса-Джордана, для получения единичной матрицы на месте матрицы :
В результате элиминации, преобразованная часть единичной матрицы трансформируется в :