Обратные матрицы
[7/100%]Пусть — матрица размера . Покажите, что
если имеет правую обратную, то , и
если имеет левую обратную, то .
Матрица размера называется инволютивной, если , то есть если обратима и является обратной сама себе.
Покажите, что матрица размера инволютивна тогда и только тогда, когда .
Покажите, что матрица размера инволютивна тогда и только тогда, когда (1) и , или (2) и .
Пусть — ненулевая симметрическая матрица размера , пусть — матрица размера полного столбцового ранга , а — матрица размера полного строчного ранга такие, что . Покажите, что матрица размера невырождена.
Заметьте, что .
Пусть — матрица размера , и представим в разбитом виде как .
Покажите, что если обратима, а разбита как (где имеет столько же строк, сколько столбцов), то
Покажите, что если ортогональна, то
Пусть — ненулевая матрица размера ранга . Покажите, что существует ортогональная матрица размера , первые столбцов которой порождают .
Пусть — треугольная матрица размера . Покажите, что больше либо равен числу ненулевых диагональных элементов .
Пусть
— соответственно верхняя блочно-треугольная матрица размера , чей блок имеет размеры (), и нижняя блочно-треугольная матрица размера , чей блок имеет размеры ().
Пусть и обратимы, и <<вспомним>>, что
где
Покажите, что подматрицы () и () также выражаются как
Сделайте это, применив результаты (**) и (*) к и соответственно.
Формулы () образуют основу алгоритма вычисления за шагов: первый шаг — вычислить матрицу ; -й шаг — вычислить матрицы по формулам () (). Аналогично, формулы () образуют основу алгоритма вычисления за шагов: первый шаг — вычислить матрицу ; -й шаг — вычислить матрицы по формулам () (). Опишите, как формулы (E.5) и (E.6) из части (a) можно использовать для построения -шаговых алгоритмов вычисления и , и укажите, чем эти алгоритмы отличаются от алгоритмов, основанных на формулах (*) и (**).