Полуобратная матрица
Пусть — произвольная матрица размеров . Матрица размеров называется полуобратной для матрицы , если выполняется условие:
 (4.12)
Если, кроме того, выполняется условие  (4.13)
то матрицу называют взаимной полуобратной. Далее будут рассматриваться только взаимные полуобратные матрицы, поэтому термин взаимные будем опускать для краткости.
Заметим, что если матрица имеет обратную , то она также является и полуобратной , так как условия (4.12) и (4.13) для обратной матрицы выполняются:
Замечание 4.5. Из определения следует, что . В самом деле, находя сопряженные матрицы для обеих частей равенств (4.12), (4.13), получаем
Следовательно, матрица — полуобратная к сопряженной матрице .
Алгоритм нахождения полуобратной матрицы
Пусть дана ненулевая матрица размеров . Для нахождения полуобратной нужно выполнить следующие действия.
1. Составить блочную матрицу , приписывая к матрице слева и снизу единичные матрицы соответствующих размеров. Правый нижний блок этой матрицы может быть произвольным, так как не участвует в дальнейших преобразованиях.
2. Элементарными преобразованиями над первыми строками и первыми столбцами привести блочную матрицу к виду матрица размеров простейшего вида (4.8), .
3.Записать полуобратную матрицу
 (4.14)
где и — произвольные матрицы размеров и соответственно.
В первых двух пунктах алгоритма фактически находится скелетное разложение (4.10) матрицы 
не вычисляя, однако, самих множителей и . Учитывая (4.11), матрицу (4.14) можно представить в виде
 (4.15)
Докажем, что матрица (4.15) является полуобратной. Нужно проверить равенства (4.12) и (4.13). Подставляя матрицы и в (4.12) и (4.13), убеждаемся в справедливости этих равенств
Следовательно, матрица (4.15) (или, что то же самое, (4.14)) является полуобратной.
Замечания 4.6.
1. Из алгоритма следует, что любая матрица имеет хотя бы одну полуобратную матрицу. Если матрица обратима, то обратная матрица , как следует из (4.12), является полуобратной, т.е. . Если исходная матрица = нулевая размеров , то любая матрица размеров удовлетворяет условию (4.12), т.е. является полуобратной (но не взаимной полуобратной). Взаимная полуобратная матрица для нулевой матрицы это нулевая матрица размеров .
2. Первые два пункта алгоритма совпадают с алгоритмом нахождения элементарных преобразующих матриц.
3. Полуобратная матрица (4.14) определена неоднозначно. Элементы матриц и можно выбрать произвольным образом. Справедливо и обратное утверждение: любая взаимная полуобратная матрица для ненулевой матрицы может быть записана в виде (4.14), (4.15). Ничего плохого в этой неоднозначности нет. Более того, в зависимости от приложения, выбирая надлежащим образом матрицы и , можно придать полуобратной матрице дополнительные свойства.
4. Если поставлена задача нахождения хотя бы одной полуобратной матрицы, то проще всего в формуле (4.14) взять матрицы и нулевыми. Тогда в п.3 алгоритма получим полуобратную матрицу
 (4.16)
где — матрица простейшего вида (4.8), полученная в п.2 алгоритма.
5. Если строки или столбцы матрицы (размеров ) линейно не зависимы, то в формуле (4.14) отсутствует блок или блок соответственно:
Если ,то — невырожденная квадратная матрица, которая имеет обратную и .
Пример 4.9. Для матрицы найти полуобратную.
Решение. 1, 2. Первые два пункта алгоритма выполнены при решении примера 1.29, где получены матрицы
удовлетворяющие равенству . Осталось выполнить п.3 алгоритма.
3. Найдем хотя бы одну полуобратную матрицу, воспользовавшись формулой (4.16):
Нетрудно проверить, что эта матрица полуобратная:
Найдем множество всех полуобратных матриц по формуле (4.14). Определим размеры матриц и . Так как и , то матрица имеет размеры , а — . Обозначим элементы этих матриц через
Запишем полуобратную матрицу (4.14)
При любых значениях параметров полученная матрица будет полуобратной. Возьмем, например, следующие значения параметров:
Тогда получим полуобратную матрицу
Проверка условий (4.12), (4.13) делается так же, как в первом варианте.
Пример 4.10. Используя полуобратную матрицу, решить уравнение
 , где 
Решение. Определитель матрицы равен нулю, следовательно, обратная матрица не существует. Пусть матрица полуобратная для . Уравнение запишем, используя равенство (4.12):
Заменяя в левой части произведение матрицей , получаем
Отсюда следует, что матрица является одним из решений уравнения , т.е. . Получим это решение, используя алгоритм нахождения полуобратной матрицы.
1. Составим блочную матрицу
2. При помощи элементарных преобразований приводим левый верхний блок (матрицу ) к простейшему виду:
Следовательно, .
3. Определим размеры матриц и . Так как и , то матрица имеет размеры , матрица — . Обозначим единственные элементы этих матриц через и . По формуле (4.14) запишем полуобратную матрицу:
Умножая ее справа на матрицу , получаем решение уравнения
Таким образом, для любого значения параметра полученная матрица будет решением уравнения. Заметим, что в примере 4.8 были найдены все решения этого уравнения:
где параметры и могут принимать любые значения. Сравнивая эту матрицу с полученной при помощи полуобратной матрицы, видим, что найдены не все решения уравнения, а лишь соответствующие нулевому значению параметра .
Если заметили ошибку, опечатку или есть предложения, напишите в комментариях.
|