Мат. моделирование / ДЗЗ
Лекция 7

Обратимость матриц. Псевдообратная матрица. МНК в матричной форме

О чём эта тема

Как обратить квадратную невырожденную матрицу, что делать, если матрица прямоугольная или вырожденная (псевдообратная матрица), и как через эти конструкции записать метод наименьших квадратов в компактной матричной форме.

Аннотация

Тема начинается с критерия существования и единственности обратной матрицы (через отличие определителя от нуля) и двух способов её нахождения — через присоединённую матрицу и методом элементарных преобразований, — а также свойств операции обращения. Далее рассматриваются матричные уравнения вида AX=B и YA=B, для которых обратная матрица даёт готовое решение X=A⁻¹B или Y=BA⁻¹, с разбором на примерах, когда решение существует, а когда размеры матриц делают уравнение несовместным. Основная часть темы посвящена псевдообратной матрице: она вводится как обобщение обратной на случай прямоугольных и вырожденных матриц через четыре определяющих равенства, доказывается её существование и единственность через скелетное разложение, приводятся два способа вычисления и формулы для частных случаев (диагональная матрица, линейно независимые строки или столбцы). В заключение показывается, что нормальные уравнения метода наименьших квадратов для переопределённой системы Ax=b естественно возникают из требования ортогональности невязки Ax*−b пространству столбцов матрицы A, а решение x*=A⁺b записывается через псевдообратную матрицу. После изучения темы студент сможет находить обратную и псевдообратную матрицы обоими способами, решать матричные уравнения и записывать решение задачи наименьших квадратов в матричном виде.

Пререквизиты
  • Лекция 1 — определитель, алгебраические дополнения, элементарные преобразования матриц
  • Лекция 3 — евклидово пространство, ортогональность, скалярное произведение
Мотивация

Обратная матрица — не самоцель, а универсальный инструмент решения линейных систем и уравнений; но большинство реальных задач ДЗЗ (переопределённые системы наблюдений, вырожденные или прямоугольные матрицы моделей) не укладываются в рамки квадратной невырожденной матрицы. Псевдообратная матрица и связанный с ней метод наименьших квадратов — тот аппарат, который делает такие задачи разрешимыми и лежит в основе регрессионных и калибровочных моделей, используемых далее в курсе.

Лекция 7 Обратимость матриц. Псевдообратная матрица. МНК в матричной форме

Презентация доступна здесь

Обратная матрица: определение, существование и единственность

Рассмотрим проблему определения операции, обратной умножению матриц.

Пусть A — квадратная матрица порядка n. Матрица \( A^{-1} \), удовлетворяющая вместе с заданной матрицей A равенствам:

\[ A^{-1} \cdot A = A \cdot A^{-1} = E, \]

называется обратной. Матрицу A называют обратимой, если для неё существует обратная, в противном случае — необратимой.

Из определения следует, что если обратная матрица \( A^{-1} \) существует, то она квадратная того же порядка, что и A. Однако не для всякой квадратной матрицы существует обратная. Если определитель матрицы A равен нулю:

\[ \det A = 0, \]

то для неё не существует обратной. В самом деле, применяя теорему об определителе произведения матриц к единичной матрице \( E = A^{-1} A \), получаем противоречие:

\[ \det E = \det(A^{-1} \cdot A) = \det A^{-1} \cdot \det A = \det A^{-1} \cdot 0 = 0, \]

тогда как \( \det E = 1 \). Следовательно, отличие определителя квадратной матрицы от нуля является единственным условием существования обратной матрицы. Напомним, что квадратную матрицу, определитель которой равен нулю, называют вырожденной (особой), в противном случае — невырожденной (неособой).


Теорема о существовании и единственности обратной матрицы

Квадратная матрица

\[ A = \begin{pmatrix} a_{11} & \cdots & a_{1n} \\ \vdots & \ddots & \vdots \\ a_{n1} & \cdots & a_{nn} \end{pmatrix}, \]

определитель которой отличен от нуля, имеет обратную матрицу и притом только одну:

\[ A^{-1} = \frac{1}{\det A} \cdot \begin{pmatrix} A_{11} & A_{21} & \cdots & A_{1n} \\ A_{12} & A_{22} & \cdots & A_{n2} \\ \vdots & \vdots & \ddots & \vdots \\ A_{1n} & A_{2n} & \cdots & A_{nn} \end{pmatrix} = \frac{1}{\det A} \cdot A^{+}, \]

где \( A^{+} \) — матрица, транспонированная к матрице, составленной из алгебраических дополнений элементов A.

Матрица \( A^{+} \) называется присоединённой матрицей по отношению к A.

Матрица \( \frac{1}{\det A} A^{+} \) существует при условии \( \det A \ne 0 \). Нужно показать, что она обратна к A, то есть удовлетворяет двум условиям:

\[ \begin{aligned} \text{1)} & \quad A \cdot \left(\frac{1}{\det A} \cdot A^{+}\right) = E, \\ \text{2)} & \quad \left(\frac{1}{\det A} \cdot A^{+}\right) \cdot A = E. \end{aligned} \]

Докажем первое равенство. Из свойств определителя и присоединённой матрицы следует, что:

\[ A A^{+} = \det A \cdot E. \]

Следовательно:

\[ A \cdot \left(\frac{1}{\det A} \cdot A^{+}\right) = \frac{1}{\det A} \cdot A A^{+} = \frac{1}{\det A} \cdot \det A \cdot E = E. \]

Аналогично доказывается второе равенство.

Итак, при \( \det A \ne 0 \) матрица A имеет обратную:

\[ A^{-1} = \frac{1}{\det A} \cdot A^{+}. \]

Единственность: допустим, существует ещё одна обратная матрица B (где \( B \ne A^{-1} \)), такая что:

\[ A B = E. \]

Умножим обе части этого равенства слева на \( A^{-1} \):

\[ A^{-1} A B = A^{-1} E \Rightarrow E B = A^{-1} \Rightarrow B = A^{-1}, \]

что противоречит \( B \ne A^{-1} \). Значит, обратная матрица единственна.


Замечания

  1. Из определения следует, что матрицы A и \( A^{-1} \) перестановочны.

  2. Обратная к невырожденной диагональной матрице — тоже диагональная:

\[ \left[ \operatorname{diag}(a_{11}, a_{22}, \ldots, a_{nn}) \right]^{-1} = \operatorname{diag} \left(\frac{1}{a_{11}}, \frac{1}{a_{22}}, \ldots, \frac{1}{a_{nn}}\right). \]

  1. Обратная к невырожденной нижней (или верхней) треугольной матрице — тоже нижняя (или верхняя) треугольная.

  2. Элементарные матрицы имеют обратные, которые также являются элементарными.

Свойства обратной матрицы

Операция обращения матрицы обладает следующими свойствами:

\[ \begin{aligned} \bold{1.}&~~ (A^{-1})^{-1} = A\,;\\[3pt] \bold{2.}&~~ (AB)^{-1} = B^{-1} A^{-1}\,;\\[3pt] \bold{3.}&~~ (A^T)^{-1} = (A^{-1})^T\,;\\[3pt] \bold{4.}&~~ \det(A^{-1}) = \frac{1}{\det A}\,;\\[3pt] \bold{5.}&~~ E^{-1} = E\,. \end{aligned} \]

где все указанные операции имеют смысл (матрицы квадратные и невырожденные).


Доказательство свойства 2

Если произведение двух квадратных невырожденных матриц A и B определено, то обратная к произведению матрица равна:

\[ (AB)^{-1} = B^{-1} A^{-1}. \]

Доказательство:

Определитель произведения матриц:

\[ \det(AB) = \det A \cdot \det B, \]

а значит, \( \det(AB) \ne 0 \), если \( \det A \ne 0 \) и \( \det B \ne 0 \), то есть матрица AB также невырожденная и имеет обратную.

Проверим по определению, что \( B^{-1} A^{-1} \) является обратной по отношению к \( AB \):

\[ \begin{aligned} (AB)(B^{-1} A^{-1}) &= A \cdot (B B^{-1}) \cdot A^{-1} = A \cdot E \cdot A^{-1} = A A^{-1} = E, \\[5pt] (B^{-1} A^{-1})(AB) &= B^{-1} \cdot (A^{-1} A) \cdot B = B^{-1} E B = B^{-1} B = E. \end{aligned} \]

Так как обратная матрица существует и единственна, получаем:

\[ (AB)^{-1} = B^{-1} A^{-1}. \]

Свойство доказано.

Остальные свойства можно доказать аналогично.


Замечания

  1. Для комплексной матрицы справедливо равенство, аналогичное свойству 3:

\[ (A^{\ast})^{-1} = (A^{-1})^{\ast}, \]

где символ \( \ast \) обозначает сопряжённую (эрмитову) матрицу.

  1. Операция обращения позволяет определить целую отрицательную степень невырожденной матрицы A. Для любого натурального числа n:

\[ A^{-n} = (A^{-1})^n. \]

Способы нахождения обратной матрицы

Пусть дана квадратная матрица A. Требуется найти обратную матрицу \( A^{-1} \).

Первый способ — через присоединённую матрицу

Описан в теореме о существовании и единственности обратной матрицы (см. выше):

  1. Вычислить определитель \( \det A \).
    Если \( \det A = 0 \), то обратной матрицы не существует (матрица вырожденная).

  2. Составить матрицу из алгебраических дополнений \( A_{ij} = (-1)^{i+j} M_{ij} \), где \( M_{ij} \) — минор элемента \( a_{ij} \). Обозначим:

\[ \begin{pmatrix} A_{ij} \end{pmatrix} \]

  1. Транспонировать эту матрицу:
    Получим присоединённую матрицу:

\[ A^{+} = (A_{ij})^{T} \]

  1. Разделить все элементы присоединённой матрицы на \( \det A \):

\[ A^{-1} = \frac{1}{\det A} \cdot A^{+} \]


Второй способ — метод элементарных преобразований

  1. Составить блочную матрицу \( (A \mid E) \), приписав к A единичную матрицу E того же порядка.

  2. С помощью элементарных преобразований строк привести левый блок A к простейшему виду \( \Lambda \).
    При этом:

\[ (A \mid E) \rightarrow (\Lambda \mid S) \]

где S — квадратная матрица, полученная из E.

  1. Если \( \Lambda = E \), то \( S = A^{-1} \).
    Если \( \Lambda \ne E \), то обратной матрицы не существует.

Обоснование:

Преобразования приводят блочную матрицу к виду \( (\Lambda \mid S) \), где выполняется:

\[ \Lambda = SA \]

Если A невырожденная, то \( \Lambda = E \), и, следовательно, \( SA = E \Rightarrow S = A^{-1} \).
Если A вырожденная, то \( \Lambda \ne E \), и обратной матрицы не существует.


Замечания

1. Обратная матрица второго порядка

Пусть

\[ A = \begin{pmatrix} a & b \\ c & d \end{pmatrix} \]

Обратная матрица находится по следующему правилу:

а) Поменять местами элементы главной диагонали
б) Изменить знаки у элементов побочной диагонали
в) Разделить полученную матрицу на определитель \( \det A = ad - bc \)

В результате:

\[ A^{-1} = \frac{1}{ad - bc} \begin{pmatrix} d & -b \\ -c & a \end{pmatrix} \tag{4.2} \]

Пояснение:

\[ \begin{aligned} \bold{1.}~ & \det A = ad - bc; \\[5pt] \bold{2.}~ & \begin{pmatrix} A_{ij} \end{pmatrix} = \begin{pmatrix} d & -c \\ -b & a \end{pmatrix}; \\[5pt] \bold{3.}~ & A^{+} = \begin{pmatrix} d & -b \\ -c & a \end{pmatrix}; \\[5pt] \bold{4.}~ & A^{-1} = \frac{1}{ad - bc} \begin{pmatrix} d & -b \\ -c & a \end{pmatrix} \end{aligned} \]

2. Альтернативная реализация второго способа (по столбцам)

  1. Составить блочную матрицу:

\[ \left( \frac{A}{E} \right) \]

  1. При помощи элементарных преобразований столбцов привести её к виду:

\[ \left( \frac{E}{T} \right) \]

Тогда блок T будет равен:

\[ T = A^{-1} \]

Матричные уравнения

Рассмотрим матричное уравнение вида

\[ A \cdot X = B \tag{4.5} \]

где \( A \) и \( B \) — данные матрицы, имеющие одинаковое количество строк, причем матрица \( A \) квадратная. Требуется найти матрицу \( X \), удовлетворяющую уравнению.

О существовании и единственности решения матричного уравнения (4.5):
Если определитель матрицы \( A \) отличен от нуля, то матричное уравнение (4.5) имеет единственное решение
\[ X = A^{-1} B \]

В самом деле, подставляя \( X = A^{-1} B \) в левую часть (4.5), получаем: \[ A (A^{-1} B) = \underbrace{A A^{-1}}_{E} B = B, \] т.е. правую часть уравнения.

Заметим, что решением уравнения \( A X = E \) является обратная матрица: \( X = A^{-1} \).


Рассмотрим также уравнение вида

\[ Y \cdot A = B \tag{4.6} \]

где \( A \) и \( B \) — данные матрицы, имеющие одинаковое количество столбцов, и \( A \) — квадратная.


Теорема о существовании и единственности решения уравнения (4.6)

Если \( \det A \ne 0 \), то уравнение (4.6) имеет единственное решение \[ Y = B A^{-1} \]


Заметим:
- В уравнении (4.5) матрица \( X \) умножается на \( A \) слева — это «левое частное». - В уравнении (4.6) матрица \( Y \) умножается на \( A \) справа — это «правое частное».


Пример 1

Даны матрицы:

\[ A = \begin{pmatrix}1 & 2 \\ 1 & 4\end{pmatrix}, \quad B = \begin{pmatrix}1 & 3 & 5 \\ 2 & 4 & 6\end{pmatrix}, \quad C = \begin{pmatrix}1 & 2 \\ 3 & 4 \\ 5 & 6\end{pmatrix} \]

Обратная матрица:

\[ A^{-1} = \begin{pmatrix}2 & -1 \\ -\tfrac{1}{2} & \tfrac{1}{2}\end{pmatrix} \]


а) Решить \( AX = B \)

\[ X = A^{-1} B = \begin{pmatrix}2 & -1 \\ -\tfrac{1}{2} & \tfrac{1}{2}\end{pmatrix} \cdot \begin{pmatrix}1 & 3 & 5 \\ 2 & 4 & 6\end{pmatrix} = \begin{pmatrix}0 & 2 & 4 \\ \tfrac{1}{2} & \tfrac{1}{2} & \tfrac{1}{2} \end{pmatrix} \]


б) Уравнение \( YA = B \)

Решений нет, так как количество столбцов у \( B \) — 3, а у \( A \) — 2. Размеры не согласованы.


в) Решить \( YA = C \)

\[ Y = C A^{-1} = \begin{pmatrix}1 & 2 \\ 3 & 4 \\ 5 & 6\end{pmatrix} \cdot \begin{pmatrix}2 & -1 \\ -\tfrac{1}{2} & \tfrac{1}{2} \end{pmatrix} = \begin{pmatrix}1 & 0 \\ 4 & -1 \\ 7 & -2\end{pmatrix} \]


Пример 2

Решить уравнение: \[ BX + 2X = E, \quad \text{где } B = \begin{pmatrix}-1 & 2 \\ 1 & 2\end{pmatrix} \]

Решение.
Преобразуем: \[ BX + 2X = BX + 2EX = (B + 2E)X \]

где \[ E = \begin{pmatrix}1 & 0 \\ 0 & 1\end{pmatrix}, \quad A = B + 2E = \begin{pmatrix}-1 & 2 \\ 1 & 2\end{pmatrix} + \begin{pmatrix}2 & 0 \\ 0 & 2\end{pmatrix} = \begin{pmatrix}1 & 2 \\ 1 & 4\end{pmatrix} \]

\[ X = A^{-1} E = A^{-1} = \begin{pmatrix}2 & -1 \\ -\tfrac{1}{2} & \tfrac{1}{2} \end{pmatrix} \]

Псевдообратная матрица

Обратная матрица в отличие от полуобратной имеет в силу определения очевидные свойства:

\[ \begin{pmatrix}A\cdot A^{-1}\end{pmatrix}^{\ast}=A\cdot A^{-1},\qquad \begin{pmatrix}A^{-1}\cdot A\end{pmatrix}^{\ast}=A^{-1}\cdot A, \]

так как единичная матрица \( E=AA^{-1}=A^{-1}A \), разумеется, эрмитова. В общем решении уравнений (4.17) остаётся свобода выбора вспомогательных матриц \(U\) и \(V\) (см. ниже) — этим произволом можно воспользоваться так, чтобы полуобратная матрица обладала аналогичными свойствами.

Пусть \( A \) — произвольная матрица размеров \( m\times n \). Полуобратная матрица \( A^{\sim1} \) размеров \( n\times m \) называется псевдообратной для матрицы \( A \), если матрицы \( AA^{\sim1} \) и \( A^{\sim1}A \) эрмитовы, т.е. псевдообратная матрица \( A^{\sim1} \) определяется четырьмя условиями:

\[ AA^{\sim1}A=A;\qquad A^{\sim1}AA^{\sim1}=A^{\sim1}; \tag{4.17} \]

\[ \begin{pmatrix}AA^{\sim1}\end{pmatrix}^{\ast}=AA^{\ast};\qquad \begin{pmatrix}A^{\sim1}A\end{pmatrix}^{\ast}=A^{\sim1}A. \tag{4.18} \]

Покажем, что псевдообратная матрица \( A^{\sim1} \) существует для любой матрицы \( A \). Действительно, если \( A=O \) — нулевая матрица размеров \( m\times n \), то \( A^{\sim1}=O^T \) — нулевая размеров \( n\times m \), что следует из равенств (4.17).

Пусть матрица \( A \) — ненулевая. Тогда матрица \( A^{\sim1} \), удовлетворяющая равенствам (4.17), имеет вид:

\[ A^{\sim1}=T\cdot\! \begin{pmatrix}\dfrac{E_r}{U}\end{pmatrix}\!\cdot\! \begin{pmatrix}E_r\mid V\end{pmatrix}\!\cdot S. \tag{4.19} \]

Покажем, что выбором матриц \( U \) и \( V \) в формуле (4.19) можно получить матрицу, удовлетворяющую условиям (4.18). В самом деле, запишем скелетное разложение матрицы \( A \) — представление \( A \) в виде произведения через матрицу \( \Lambda \) простейшего вида (единичный блок \( E_r \) и нулевые блоки, где \( r \) — ранг матрицы \( A \)), уже полученную на первом шаге приведения к простейшему виду:

\[ A=S^{-1}\Lambda T^{-1}= S^{-1}\! \begin{pmatrix}E_r\!\!&|\!\!&O\\\hline O\!\!&|\!\!&O\end{pmatrix}\!T^{-1}= S^{-1}\cdot\! \begin{pmatrix}\dfrac{E_r}{O} \end{pmatrix}\!\cdot\! \begin{pmatrix}E_r\mid O\end{pmatrix}\!\cdot T^{-1}. \]

Найдем произведение:

\[ \begin{gathered}AA^{-1}= S^{-1}\cdot\!\begin{pmatrix} \dfrac{E_r}{O} \end{pmatrix}\!\cdot\! \begin{pmatrix}E_r\mid O\end{pmatrix}\!\cdot\underbrace{T^{-1}\cdot T}_{E_n}\cdot\! \begin{pmatrix}\dfrac{E_r}{U} \end{pmatrix}\!\cdot\! \begin{pmatrix}E_r\mid U\end{pmatrix}\!\cdot S=\\[2pt] =S^{-1}\cdot\! \begin{pmatrix}\dfrac{E_r}{O}\end{pmatrix}\!\cdot \underbrace{\begin{pmatrix}E_r\mid O\end{pmatrix}\!\cdot \begin{pmatrix}\dfrac{E_r}{U} \end{pmatrix}}_{E_r}\cdot\! \begin{pmatrix} E_r\mid V\end{pmatrix}\!\cdot S=S^{-1}\cdot\! \begin{pmatrix}\dfrac{E_r}{O} \end{pmatrix}\!\cdot\! \begin{pmatrix}E_r\mid V\end{pmatrix}\!\cdot S= S^{-1}\cdot\! \begin{pmatrix} E_r\!\!&|\!\!&V\\ \hline O\!\!&|\!\!& O\end{pmatrix}\!\cdot S.\end{gathered} \]

Подставим его в первое из равенств (4.18):

\[ \left[S^{-1}\cdot\! \begin{pmatrix}E_r\!\!&|\!\!&V\\ \hline O\!\!&|\!\!& O\end{pmatrix}\!\cdot S\right]^{\ast}= S^{-1}\cdot\! \begin{pmatrix}E_r\!\!&|\!\!&V\\ \hline O\!\!&|\!\!& O\end{pmatrix}\!\cdot S. \]

Используя свойства операции сопряжения матриц (сопряжение произведения равно произведению сопряжённых матриц в обратном порядке, а сопряжение блочной матрицы — блочному транспонированию с сопряжением каждого блока), получаем:

\[ S^{\ast}\cdot\! \begin{pmatrix} E_r\!\!&|\!\!&O\\ \hline V^{\ast}\!\!&|\!\!& O \end{pmatrix}\!\cdot\! \begin{pmatrix}S^{-1}\end{pmatrix}^{\ast}= S^{-1}\cdot\! \begin{pmatrix} E_r\!\!&|\!\!&V\\ \hline O\!\!&|\!\!& O \end{pmatrix}\!\cdot S. \]

Умножая обе части равенства на матрицу \( S \) слева и на матрицу \( S^{\ast} \) справа, приходим к равенству:

\[ \begin{pmatrix}SS^{\ast}\end{pmatrix}\!\cdot\! \begin{pmatrix} E_r\!\!&|\!\!&O\\ \hline V^{\ast}\!\!&|\!\!& O \end{pmatrix}= \begin{pmatrix} E_r\!\!&|\!\!&V\\ \hline O\!\!&|\!\!& O \end{pmatrix}\!\cdot\! \begin{pmatrix}SS^{\ast}\end{pmatrix}\!. \]

Подставим в это равенство матрицу \( SS^{\ast} \), предварительно разбив ее на блоки \( SS^{\ast}=\begin{pmatrix} S_1\!\!&|\!\!&S_2\\ \hline S_3\!\!&|\!\!& S_4 \end{pmatrix} \) квадратными матрицами \( S_1 \) и \( S_4 \) порядков \( r \) и \( (m-r) \) и прямоугольными матрицами \( S_2 \) и \( S_2 \) размеров \( r\times(m-r) \) и \( (m-r)\times r \) соответственно. Выполняя умножение блочных матриц, получаем:

\[ \begin{gathered} \begin{pmatrix} S_1\!\!&|\!\!&S_2\\ \hline S_3\!\!&|\!\!& S_4\end{pmatrix}\!\cdot\! \begin{pmatrix} E_r\!\!&|\!\!&O\\ \hline V^{\ast}\!\!&|\!\!& O\end{pmatrix}= \begin{pmatrix} S_1+S_2V^{\ast}\!\!&|\!\!&O\\ \hline S_3+S_4V^{\ast}\!\!&|\!\!& O\end{pmatrix}\!,\\[2pt] \begin{pmatrix} E_r\!\!&|\!\!&V\\ \hline O\!\!&|\!\!& O\end{pmatrix}\!\cdot\! \begin{pmatrix} S_1\!\!&|\!\!&S_2\\ \hline S_3\!\!&|\!\!& S_4\end{pmatrix}= \begin{pmatrix} S_1+VS_3\!\!&|\!\!&S_2+VS_4\\ \hline O\!\!&|\!\!& O\end{pmatrix}\!.\end{gathered} \]

Равенство полученных блочных матриц обеспечивается условием:

\[ V=-S_2S_{4}^{-1}, \text{ поскольку } S_3=S_2^{\ast},~S_1=S_1^{\ast},~ S_4=S_4^{\ast} \]

в силу эрмитовости матрицы \( SS^{\ast} \), а \( \begin{pmatrix}S_4^{-1}\end{pmatrix}^{\ast}= \begin{pmatrix}S_4^{\ast}\end{pmatrix}^{-1} \).

Аналогичным образом можно показать, что второе из равенств (4.18) выполняется, если положить:

\[ U=-T_4^{-1}T_3, \]

где \( T_3,T_4 \) — блоки размеров \( (n-r)\times r \) и \( (n-r)\times(n-r) \) матрицы \( T^{\ast}T=\begin{pmatrix} T_1\!\!&|\!\!&T_2\\ \hline T_3\!\!&|\!\!& T_4\end{pmatrix} \).

Таким образом, для любой матрицы существует псевдообратная матрица и притом только одна.

Замечания 4.7

  1. Если матрица \( A \) обратимая, то обратная матрица \( A^{-1} \) совпадает с псевдообратной (проверяется непосредственной подстановкой \( A^{-1} \) в определяющие равенства (4.17)–(4.18)), т.е. \( A^{-1}=A^{\sim1} \).

  2. Из невырожденности матриц \( S \) и \( T \) следует, что при любом разбиении эрмитовых матриц:

\[ SS^{\ast}=\begin{pmatrix} S_1\!\!&|\!\!&S_2\\ \hline S_3\!\!&|\!\!& S_4\end{pmatrix},\qquad T^{\ast}T=\begin{pmatrix} T_1\!\!&|\!\!&T_2\\ \hline T_3\!\!&|\!\!& T_4\end{pmatrix}\!, \]

на квадратные блоки \( S_1,\,S_4,\,T_1,\,T_4 \), существуют обратные матрицы \( S_1^{-1},\,S_4^{-1},\,T_1^{-1},\,T_4^{-1} \).

  1. Имеются другие определения псевдообратной матрицы, равносильные приведенному выше. Например:

\[ A^{\sim1}= \lim_{\varepsilon\to0}\Bigl(A^{\ast}A+\varepsilon^2\cdot E\Bigr)^{-1}A^{\ast}= \lim_{\varepsilon\to0}A^{\ast}\Bigl(A^{\ast}A+\varepsilon^2\cdot E\Bigr)^{-1}. \]

  1. В общем случае произведение псевдообратных матриц некоммутативно \( (AB)^{\sim1}\ne B^{\sim1}\cdot A^{\sim1} \).

Свойства псевдообратной матрицы

Операция псевдообращения матриц обладает следующими свойствами:

\[ \begin{aligned} \bold{1.}&~~ (A^{\sim1})^{\sim1}=A;\\[2pt] \bold{2.}&~~ (A^{\ast})^{\sim1}=(A^{\sim1})^{\ast};\\[2pt] \bold{3.}&~~ A^{\sim1}=(A^{\ast}A)^{\sim1}A^{\ast}=A^{\ast}(AA^{\ast})^{\sim1};\\[2pt] \bold{4.}&~~ (AA^{\sim1})^2=AA^{\sim1};\\[2pt] \bold{5.}&~~ (A^{\sim1}A)^2=A^{\sim1}A. \end{aligned} \]

Эти свойства доказываются по определению (4.17), (4.18). Докажем, например, свойство 3 (первое равенство). По определению псевдообратной матрицы имеем:

\[ \Bigl[(A^{\ast}A)^{\sim1}A^{\ast}\Bigr]\cdot A\cdot\Bigl[(A^{\ast}A)^{\sim1}A^{\ast}\Bigr]= (A^{\ast}A)^{\sim1}\cdot(A^{\ast}A)\cdot(A^{\ast}A)^{\sim1}A^{\ast}= (A^{\ast}A)^{\sim1}A^{\ast}. \]

Следовательно, \( A=\bigl[(A^{\ast}A)^{\sim1}A^{\ast}\bigr]^{\sim1} \). Тогда по свойству 1: \( A^{\sim1}=(A^{\ast}A)^{\sim1}A^{\ast} \).

Способы нахождения псевдообратной матрицы

Пусть дана ненулевая матрица \( A \) размеров \( m \times n \). Требуется найти псевдообратную матрицу \( A^{\sim 1} \).

Первый способ

Для нахождения псевдообратной матрицы (4.19) нужно выполнить следующие действия:

  1. Составить блочную матрицу \[ \begin{pmatrix}A\!\!&|\!\!&E_m\\\hline E_n\!\!&|\!\!&{} \end{pmatrix}, \] приписывая к матрице \( A \) слева и снизу единичные матрицы соответствующих размеров. Правый нижний блок этой матрицы может быть произвольным.

  2. Элементарными преобразованиями над первыми \( m \) строками и первыми \( n \) столбцами привести блочную матрицу к виду \[ \begin{pmatrix}\Lambda\!\!& |\!\!&S\\\hline T\!\!&|\!\!&{}\end{pmatrix}, \] где \( \Lambda \) — матрица простейшего вида: \[ \Lambda=\begin{pmatrix} E_r\!\!&|\!\!&O\\\hline O\!\!&|\!\!&O\end{pmatrix}, \] где \( E_r \) — единичная матрица порядка \( r \) (\( 1 \leqslant r \leqslant \min\{m,n\} \)).

  3. Найти произведения \( SS^{\ast} \) и \( T^{\ast}T \), представив их в виде блочных матриц: \[ SS^{\ast}=\begin{pmatrix}S_1\!\!&|\!\!&S_2\\\hline S_3\!\!&|\!\!&S_4\end{pmatrix}\!,\quad T^{\ast}T=\begin{pmatrix}T_1\!\!&|\!\!&T_2\\\hline T_3\!\!&|\!\!&T_4\end{pmatrix}\!,\tag{4.20} \] выделяя блоки \( S_2, S_4 \) размеров \( r \times (m-r) \), \( (m-r) \times (m-r) \) и \( T_3, T_4 \) размеров \( (n-r) \times r \), \( (n-r) \times (n-r) \).

  4. Вычислить матрицы: \[ U=-T_4^{-1}T_3,\quad V=-S_2S_4^{-1}. \]

  5. Получить псевдообратную матрицу: \[ A^{\sim1}=T\cdot\! \begin{pmatrix}\dfrac{E_r}{U}\end{pmatrix}\!\cdot\! \begin{pmatrix}E_r\mid V\end{pmatrix}\!\cdot S.\tag{4.21} \]

Замечание 4.8. Если \( r = m \) или \( r = n \), в (4.20) будут отсутствовать соответствующие блоки. В частных случаях, когда строки или столбцы матрицы \( A \) линейно независимы, псевдообратную матрицу можно найти проще (см. далее частные случаи).

Второй способ

Используем скелетное разложение матрицы \( A \), полученное выше:

1-2. Выполнить первые два пункта первого способа. Получить матрицы \( S, T \) и \( \Lambda \), удовлетворяющие условию: \[ \Lambda = S \cdot A \cdot T, \] где \( \Lambda = \begin{pmatrix}E_r\!\!&|\!\!&O\\\hline O\!\!&|\!\!&O\end{pmatrix} \).

  1. Найти обратные матрицы \( S^{-1} \) и \( T^{-1} \).

  2. Записать матрицы: \[ B = S^{-1} \cdot \begin{pmatrix}\dfrac{E_r}{O}\end{pmatrix}, \quad C = \begin{pmatrix}E_r \mid O\end{pmatrix} \cdot T^{-1}. \] Матрица \( B \) состоит из первых \( r \) столбцов \( S^{-1} \), а \( C \) — из первых \( r \) строк \( T^{-1} \).

  3. Получить псевдообратную матрицу по формуле: \[ A^{\sim1} = C^{\ast} \cdot (CC^{\ast})^{-1} \cdot (B^{\ast}B)^{-1} \cdot B^{\ast}.\tag{4.22} \]

Доказательство эквивалентности способов:

Имея скелетное разложение \( A = BC \), найдем: \[ \begin{aligned} (B^{\ast}B)^{-1}B^{\ast}S^{-1} &= \left[\begin{pmatrix}E_r & \mid O\end{pmatrix}(S^{-1})^{\ast}S^{-1}\begin{pmatrix}\dfrac{E_r}{O}\end{pmatrix}\right]^{-1}\begin{pmatrix}E_r \mid O\end{pmatrix}(S^{-1})^{\ast}S^{-1} \\ &= \left[\begin{pmatrix}E_r \mid O\end{pmatrix}(SS^{\ast})^{-1}\begin{pmatrix}\dfrac{E_r}{O}\end{pmatrix}\right]^{-1}\begin{pmatrix}E_r \mid O\end{pmatrix}(SS^{\ast})^{-1} \end{aligned} \]

Обращая блочную матрицу \( SS^{\ast} \) по формуле Фробениуса: \[ \begin{pmatrix}S_1\!\!&|\!\!&S_2\\\hline S_3\!\!&|\!\!&S_4\end{pmatrix}^{-1}= \begin{pmatrix} M\!\!&|\!\!&-MS_2S_4^{-1}\\\hline -S_4^{-1}S_3M\!\!& |\!\!&N \end{pmatrix}\!, \] где \( M = (S_1 - S_2S_4^{-1}S_3)^{-1} \), получаем: \[ (B^{\ast}B)^{-1}B^{\ast}S^{-1} = \begin{pmatrix}E_r \mid V\end{pmatrix}S, \] где \( V = -S_2S_4^{-1} \). Аналогично для второго множителя. Таким образом, формулы (4.22) и (4.21) дают одинаковый результат.

Частные случаи нахождения псевдообратной матрицы

1. Скалярный случай

Если матрица \( A = (a_{11}) \) - число: \[ A^{\sim1} = \begin{cases} \dfrac{1}{a_{11}}, & a_{11} \ne 0, \\ 0, & a_{11} = 0. \end{cases} \]

2. Диагональная матрица

Для \( A = \operatorname{diag}(a_{11}, a_{22}, \ldots, a_{nn}) \): \[ A^{\sim1} = \operatorname{diag}(a_{11}^{-1}, a_{22}^{-1}, \ldots, a_{nn}^{-1}), \] где \[ a_{ii}^{-1} = \begin{cases} \dfrac{1}{a_{ii}}, & a_{ii} \ne 0, \\ 0, & a_{ii} = 0, \end{cases} \quad i = 1,2,\ldots,n. \tag{4.23} \]

3. Линейно независимые столбцы

Если столбцы \( A \) линейно независимы: \[ A^{\sim1} = (A^{\ast}A)^{-1}A^{\ast}. \tag{4.24} \]

4. Линейно независимые строки

Если строки \( A \) линейно независимы: \[ A^{\sim1} = A^{\ast}(AA^{\ast})^{-1}. \tag{4.25} \]

Пример

Найти псевдообратные матрицы для: \[ A = \begin{pmatrix}1&0&0\\0&2&0\\0&0&0\end{pmatrix}, \quad B = \begin{pmatrix}1&2&3\end{pmatrix}, \quad C = \begin{pmatrix}1&0\\1&1\\1&1\end{pmatrix}. \]

Решение

Для матрицы \( A \) (диагональная): \[ A^{\sim1} = \begin{pmatrix}1&0&0\\0&1/2&0\\0&0&0\end{pmatrix}. \]

Для матрицы \( B \) (матрица-строка): \[ B^{\sim1} = \begin{pmatrix}1\\2\\3\end{pmatrix} \cdot \left[\begin{pmatrix}1&2&3\end{pmatrix} \begin{pmatrix}1\\2\\3\end{pmatrix}\right]^{-1} = \frac{1}{14}\begin{pmatrix}1\\2\\3\end{pmatrix}. \]

Для матрицы \( C \) (линейно независимые столбцы): \[ \begin{aligned} C^{\sim1} &= \left[\begin{pmatrix}1&1&1\\0&1&1\end{pmatrix} \begin{pmatrix}1&0\\1&1\\1&1\end{pmatrix}\right]^{-1} \begin{pmatrix}1&1&1\\0&1&1\end{pmatrix} \\ &= \begin{pmatrix}3&2\\2&2\end{pmatrix}^{-1} \begin{pmatrix}1&1&1\\0&1&1\end{pmatrix} \\ &= \frac{1}{2}\begin{pmatrix}2&-2\\-2&3\end{pmatrix} \begin{pmatrix}1&1&1\\0&1&1\end{pmatrix} \\ &= \begin{pmatrix}1&0&0\\-1&1/2&1/2\end{pmatrix}. \end{aligned} \]

Проверка первым способом:

  1. Составляем блочную матрицу: \[ \begin{pmatrix}C & | & E_3 \\ \hline E_2 & | & {}\end{pmatrix} = \begin{pmatrix}1&0 & | & 1&0&0 \\ 1&1 & | & 0&1&0 \\ 1&1 & | & 0&0&1 \\ \hline 1&0 & | & {}&{}&{} \\ 0&1 & | & {}&{}&{}\end{pmatrix} \]

  2. Приводим к ступенчатому виду: \[ \sim \begin{pmatrix}1&0 & | & 1&0&0 \\ 0&1 & | & -1&1&0 \\ 0&0 & | & 0&-1&1 \\ \hline 1&0 & | & {}&{}&{} \\ 0&1 & | & {}&{}&{}\end{pmatrix} \]

Получаем \( T = E_2 \), \( S = \begin{pmatrix}1&0&0\\-1&1&0\\0&-1&1\end{pmatrix} \), \( r = 2 \).

  1. Находим: \[ SS^{\ast} = \begin{pmatrix}1&-1&0\\-1&2&-1\\0&-1&2\end{pmatrix} = \begin{pmatrix}S_1 & | & S_2 \\ \hline S_3 & | & S_4\end{pmatrix} \] \[ V = -S_2S_4^{-1} = \begin{pmatrix}0\\1/2\end{pmatrix} \]

  2. Итоговая псевдообратная матрица: \[ C^{\sim1} = \begin{pmatrix}1&0&0\\-1&1/2&1/2\end{pmatrix} \] Результаты обоих методов совпадают.

Метод наименьших квадратов в матричном виде (МНК)

Представим данные как систему линейных уравнений.

данные наблюдений как переопределённая система линейных уравнений \(\theta_0 a_0+\theta_1 a_1=b\)
Рис. Л7.1 — данные наблюдений как переопределённая система линейных уравнений \(\theta_0 a_0+\theta_1 a_1=b\)

Выше обычная задача простой линейной регрессии с немного измененной нотацией. У нас есть пять наблюдений (для каждого наблюдения есть информация \(a_0\) и \(a_1\), \(a_0\) заполнена единицами). Подставив некоторые веса \(\theta_0\) и \(\theta_1\), мы получим для каждой точки некоторую целевую переменную \(b\) (обычно обозначаемую через \(y\)).

Единственного решения для такой системы не существует, то есть мы не сможем подобрать такие \(\theta_0\) и \(\theta_1\), которые бы удовлетворяли всем \(a_0\) и \(a_1\) в каждой строке (для каждого из наблюдений).

Такая система уравнений называется переопределенной (overdetermined). У нас пять уравнений (наблюдений) и при двух неизвестных (коэффициентах). Можно также сказать, что мы наложили слишком много ограничений (ограничения, в данном случае, это уравнения), чтобы найти единственное решение.

Перепишем эту систему с помощью матриц. В общем случае у нас, конечно, может быть больше признаков \(a_0, a_1, a_2, \dots, a_k\), однако систему по-прежнему будем считать переопределенной, то есть \(n > k\). Также заменим \(\theta\) на \(x\).

\[ \begin{bmatrix} \vdots & \vdots & \vdots & \vdots \\ a_1 & a_2 & \dots & a_k \\ \vdots & \vdots & \vdots & \vdots \end{bmatrix} \begin{bmatrix} x_1 \\ x_2 \\ \vdots \\ x_k \end{bmatrix} = \begin{bmatrix} b_1 \\ b_2 \\ \vdots \\ b_n \end{bmatrix} \]

\[ \underset{n \times k}{A} \mathbf{x} = \mathbf{b} \]

При этом в данном случае \(A, \mathbf{x} \in \mathbb{R}^k\), а \(\mathbf{b} \in \mathbb{R}^n\). То есть вектор \(\mathbf{b}\) находится в пространстве большей размерности, чем \(\mathbf{x}\). Например, вектор \(\mathbf{x}\) может находиться на плоскости (двумерный вектор), а вектор \(\mathbf{b}\) — в трехмерном пространстве.

система \(A\mathbf{x}=\mathbf{b}\) не имеет решений: вектор \(\mathbf{b}\) не лежит в пространстве столбцов матрицы \(A\)
Рис. Л7.2 — система \(A\mathbf{x}=\mathbf{b}\) не имеет решений: вектор \(\mathbf{b}\) не лежит в пространстве столбцов матрицы \(A\)

Можно также сказать, что не существует линейной комбинации значений вектора \(\mathbf{x}\) (веса модели) и векторов \(a_0, a_1, a_2, \dots, a_k\), которые преобразовывались бы в вектор \(\mathbf{b}\).

\[ x_1 \mathbf{a}_1 + x_2 \mathbf{a}_2 + x_3 \mathbf{a}_3 + \dots + x_k \mathbf{a}_k \neq \mathbf{b} \]

Наконец, справедливо, что \(\mathbf{b}\) не находится в пространстве столбцов \(A\), \(\mathbf{b} \notin \text{col}(A)\) (то есть не находится на плоскости), а вектор \(\mathbf{x}\) как раз лежит на этой плоскости, и это значит, что мы никак не можем перевести с помощью матрицы \(A\) вектор \(\mathbf{x}\) из двумерного пространства в трехмерное.

С другой стороны, мы можем попробовать получить наилучшее возможное решение, найдя такой вектор \(\mathbf{x}^*\), который будет максимально приближен к вектору \(\mathbf{b}\) (т.е. будет иметь минимальное расстояние до него). Расстояние же между векторами можно определить как разницу двух векторов.

Для того чтобы положительные и отрицательные значения не взаимоудалялись, возведем значения в квадрат.

\[ \min \|\mathbf{b} - A \mathbf{x}^*\|^2 \]

Очевидно, что вектор (назовем его \(\mathbf{p}\)), получившийся в результате \(A \mathbf{x}^*\), будет в пространстве \(\mathbb{R}^k\), что то же самое, что \(\mathbf{p} \in \text{col}(A)\) (то есть в данном случае на плоскости).

ортогональная проекция вектора \(\mathbf{b}\) на пространство столбцов матрицы \(A\)
Рис. Л7.3 — ортогональная проекция вектора \(\mathbf{b}\) на пространство столбцов матрицы \(A\)

Далее, наименьшее расстояние от вектора \(\mathbf{b}\) до \(\mathbf{p}\) можно определить как ортогональную проекцию \(\mathbf{b}\) на пространство столбцов \(A\).

\[ A \mathbf{x}^* = \mathbf{p} = \text{proj}_{\text{col}(A)} \mathbf{b} \]

Попробуем найти решение относительно \(\mathbf{b}\).

\[ A \mathbf{x}^* = \text{proj}_{\text{col}(A)} \mathbf{b} \]

Вычтем вектор \(\mathbf{b}\) из обеих частей.

\[ A \mathbf{x}^* - \mathbf{b} = \text{proj}_{\text{col}(A)} \mathbf{b} - \mathbf{b} \]

Заметим, что вектор \(\text{proj}_{\text{col}(A)} \mathbf{b} - \mathbf{b}\) (на рисунке представлен красным вектором) ортогонален к плоскости \(\text{col}(A)\). Как следствие, \(A \mathbf{x}^* - \mathbf{b}\) ортогонально \(\text{col}(A)\).

Можно также сказать, что \(A \mathbf{x}^* - \mathbf{b}\) является ортогональным дополнением пространства \(\text{col}(A)\). Запишем это как \(A \mathbf{x}^* - \mathbf{b} = \text{col}(A)^{\perp}\).

Одновременно ортогональное дополнение пространства столбцов матрицы \(A\) равно ядру \(A^\top\), то есть \(\text{col}(A)^{\perp} = \text{null}(A^\top)\). Тогда:

\[ A \mathbf{x}^* - \mathbf{b} \in \text{null}(A^{T}) \]

Если умножить матрицу \(A^\top\) на её ядро \(A \mathbf{x}^* - \mathbf{b}\), то мы получим нулевой вектор.

\[ A^\top (A \mathbf{x}^* - \mathbf{b}) = \mathbf{0} \]

\[ A^\top A \mathbf{x}^* - A^\top \mathbf{b} = \mathbf{0} \]

\[ A^\top A \mathbf{x}^* = A^\top \mathbf{b} \]

Таким образом, можно найти \(\mathbf{x}^*\), которое минимизирует квадрат расстояния между вектором \(\mathbf{b}\) и вектором проекции \(A \mathbf{x}^*\).


Полученное выражение совпадает с нормальными уравнениями метода наименьших квадратов, известными из курса линейной регрессии.

\[ X^\top X\theta = X^\top y \]

Нормальными же эти уравнения называются, потому что \(A \mathbf{x}^* - \mathbf{b} \perp \text{col}(A)\), а нормалью в геометрии как раз считается обобщенное понятие перпендикуляра к поверхности.


Более того, можно сказать, что минимизация расстояний от точек до прямой вдоль оси \(y\) одновременно приводит к минимизации длины перпендикуляров к проекциям точек.

Использованные источники

  1. Записная книжка УТЕШЕВА Алексея Юрьевича
  2. Математический форум Math Help Planet
  3. Дмитрий Макаров. Метод наименьших квадратов
Контрольные вопросы