Дискуссионный математический форумМатематический форум

Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 4 часа [ Летнее время ]
MathHelpPlanet.com RSS-лента Математического форума

Часовой пояс: UTC + 4 часа [ Летнее время ]


Характеристический многочлен матрицы
ОглавлениеЛинейная алгебра

Характеристический многочлен матрицы


Напомним, что характеристическим многочленом квадратной матрицы [math]A[/math] (n-го порядка) называется многочлен [math]\Delta_{A}(\lambda)=\det(A-\lambda E)[/math]. Степень характеристического многочлена совпадает с порядком матрицы [math]A[/math]. Рассмотрим другие свойства характеристического многочлена.


1. Характеристический многочлен квадратной матрицы [math]A[/math] n-го порядка может быть представлен в виде


[math]\Delta_{A}(\lambda)= (-1)^n(\lambda-\lambda_1)^{n_1}\cdot(\lambda-\lambda_2)^{n_2}\cdot\ldots\cdot (\lambda-\lambda_k)^{n_k},[/math]
(7.24)

где [math]\lambda_1,\lambda_2,\ldots,\lambda_k[/math] — корни характеристического многочлена (собственные значения матрицы [math]A[/math]) кратности [math]n_1,n_2,\ldots, n_k[/math] соответственно, причем [math]n_1\geqslant1,n_2\geqslant1,\ldots,n_k\geqslant1[/math] и [math]n_1+n_2+\ldots+n_k=n[/math].


Действительно, указанное разложение (7.24) имеет любой многочлен степени [math]n[/math] (см. следствие основной теоремы алгебры). Старший коэффициент [math]a_n=(-1)^n[/math] характеристического многочлена вычисляется, разлагая определитель [math]\det(A-\lambda E)[/math].


2. Характеристический многочлен квадратной матрицы [math]A[/math] n-го порядка может быть представлен в виде произведения инвариантных множителей характеристической матрицы [math](A-\lambda E):[/math]


[math]\Delta_{A}(\lambda)= (-1)^n \cdot e_1(\lambda)\cdot e_2(\lambda)\cdot\ldots\cdot e_n(\lambda)=(-1)^n\prod_{i=1}^{n}e_i(\lambda).[/math]
(7.25)

В самом деле, характеристическая матрица имеет нормальный диагональный вид (7.9): [math]\operatorname{diag}\Bigl(e_1(\lambda),e_2(\lambda),\ldots,e_n(\lambda)\Bigr)[/math], так как [math]\operatorname{rg}(A-\lambda E)=n[/math]. Наибольший общий делитель [math]d_n(\lambda)[/math] (старший коэффициент которого равен единице) единственного минора n-го порядка матрицы [math](A-\lambda E)[/math] отличается от определителя [math]\det(A-\lambda E)[/math] только множителем [math](-1)^n[/math], т.е. характеристический многочлен [math]\Delta_{A}(\lambda)=(-1)^nd_n(\lambda)[/math]. Подставляя [math]d_n(\lambda)= e_1(\lambda)\cdot e_2(\lambda)\cdot\ldots\cdot e_n(\lambda)[/math], получаем (7.25).


3. Характеристические многочлены подобных матриц совпадают.


В самом деле, пусть матрицы [math]A[/math] и [math]B[/math] подобны, т.е. существует такая матрица [math]S[/math], что [math]B=S^{-1}AS[/math]. Преобразуем характеристический многочлен матрицы [math]B[/math] по теореме 2.2 (об определителе произведения матриц) с учетом свойства 4 обратной матрицы:


[math]\begin{aligned}\Delta_{B}(\lambda)&= \det(B-\lambda E)= \det\Bigl(S^{-1}AS-S^{-1}\lambda ES\Bigr)= \det\Bigl[S^{-1}(A-\lambda E)S\Bigr]=\\[2pt] &=\det(S^{-1})\cdot\det(A-\lambda E)\cdot\det{S}= \frac{1}{\det{S}}\cdot\det(A-\lambda E)\cdot\det{S}= \Delta_A(\lambda), \end{aligned}[/math]

что и требовалось показать.

4. Характеристический многочлен матрицы [math]A[/math] n-го порядка имеет вид


[math]\begin{gathered}\Delta_{A}(\lambda)=(-\lambda)^n+(-\lambda)^{n-1}\cdot \operatorname{tr}A+\ldots+(-\lambda)^{n-k}\cdot \sum_{1\leqslant i_1<i_2<\ldots<i_k\leqslant n}M_{i_1\,i_2\,\ldots\,i_k}^{i_1\,i_2\,\ldots\,i_k}+\ldots+\\[2pt] (-\lambda)\cdot \sum_{1\leqslant i_1<i_2<\ldots<i_{n-1}\leqslant n}M_{i_1\,i_2\,\ldots\,i_{n-1}}^{i_1\,i_2\,\ldots\,i_{n-1}}+\det{A}. \end{gathered}[/math]
(7.26)

Минор k-го порядка [math]M_{i_1\,i_2\,\ldots\,i_k}^{i_1\,i_2\,\ldots\,i_k}[/math], составленный из элементов матрицы, стоящих на пересечении одноименных строк и столбцов, называется главным минором. В формуле (7.26) коэффициент при [math](-\lambda)^{n-k}[/math] равен сумме главных миноров k-го порядка, в частности, след матрицы [math]\operatorname{tr}A=a_{11}+a_{22}+ \ldots+ a_{nn}[/math] — это сумма главных миноров 1-го порядка, определитель матрицы — это главный минор n-го порядка.


Поясним формулу (7.26). Пусть [math]a_i[/math] — i-й столбец матрицы [math]A[/math], [math]e_i[/math] — i-й столбец единичной матрицы [math]E_n[/math]. В этих обозначениях запишем характеристический многочлен матрицы


[math]\Delta_{A}(\lambda)=\det(A-\lambda E)= \Bigl|a_1-\lambda e_1&a_2-\lambda e_2&\cdots& a_n-\lambda e_n\Bigr|[/math]

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


[math]\begin{aligned}\Delta_{A}(\lambda)= &\begin{vmatrix}a_1-\lambda e_1&a_2-\lambda e_2&\cdots& a_n-\lambda e_n\end{vmatrix}= \begin{vmatrix}a_1&a_2&\cdots&a_n\end{vmatrix}+\\[2pt] &+(-\lambda)\cdot\! \Bigl(\begin{vmatrix} e_1&a_2&\cdots&a_n \end{vmatrix}+ \begin{vmatrix} a_1&e_2&\cdots&a_n \end{vmatrix}+\ldots+\begin{vmatrix}a_1&a_2&\cdots&e_n \end{vmatrix}\Bigr)+\\[2pt] &+(-\lambda)^2\cdot\! \Bigl(\begin{vmatrix}e_1&e_2&a_3&\cdots&a_n \end{vmatrix}+\ldots+ \begin{vmatrix}a_1&\cdots&e_{n-1}&e_n \end{vmatrix}\Bigr)+\ldots+\\[2pt] &+(-\lambda)^{n-1}\cdot\! \Bigl(\begin{vmatrix}e_1&e_2&e_3&\cdots&a_n \end{vmatrix}+\ldots+\begin{vmatrix} a_1&\cdots&e_{n-1}&e_n \end{vmatrix}\Bigr)+\ldots+\\[2pt] &+(-\lambda)^n\cdot \begin{vmatrix} e_1&e_2&e_3&\cdots&e_n\end{vmatrix}.\end{aligned}[/math]

Разлагая определители, стоящие в фигурных скобках, по столбцам единичной матрицы, получаем главные миноры матрицы [math]A[/math], например:


[math]\begin{vmatrix}e_1&e_2&a_3&\cdots&a_n\end{vmatrix}= M_{{}_{3\,4\,\ldots\,n}}^{{}^{3\,4\,\ldots\,n}},\quad \begin{vmatrix}e_1&a_2&e_3&\cdots&e_n \end{vmatrix}= M_{{}_2}^{{}^2}=a_{22}.[/math]

Таким образом, коэффициент при [math](-\lambda)^{n-k}[/math] равен сумме главных миноров к -го порядка матрицы [math]A[/math].


5. Подобные матрицы имеют: равные определители, равные следы, равные суммы главных миноров одного и того же порядка, совпадающие спектры.


В самом деле, подобные матрицы имеют равные характеристические многочлены (по свойству 3). У равных многочленов — одинаковые корни (т.е. спектры подобных матриц совпадают), а также равные соответствующие коэффициенты в (7.26), которые по свойству 4 выражаются через главные миноры матриц.


6. Определитель матрицы равен произведению ее собственных значений (с учетом их кратности).


Действительно, характеристический многочлен можно разложить на множители (см. следствие основной теоремы алгебры):


[math]\Delta_{A}(\lambda)= (-1)^n\cdot(\lambda-\lambda_1)\cdot(\lambda-\lambda_2)\cdot\ldots\cdot (\lambda-\lambda_n),[/math]

где [math]\lambda_1,\lambda_2,\ldots,\lambda_n[/math] — корни многочлена (быть может, совпадающие). Отсюда [math]\Delta_{A}(0)= \lambda_1\cdot\lambda_2\cdot\ldots\cdot\lambda_n[/math]. С другой стороны, по определению получаем


[math]\Delta_{A}(0)=\det(A-\lambda E)|_{{}_{\lambda=0}}=\det{A}[/math], Следовательно, [math]\det{A}=\lambda_1\cdot\lambda_2\cdot\ldots\cdot\lambda_n[/math].

Часовой пояс: UTC + 4 часа [ Летнее время ]


Яндекс.Метрика

Copyright © 2010-2016 MathHelpPlanet.com. All rights reserved