Теорема. Вещественное число λ является собственным значением линейного оператора
^ |
A |
: Xn → Xn тогда и только тогда, когда λ удовлетворяет уравнению
det (A − λE) = 0, | (1) |
где A — квадратная матрица n –го порядка — матрица оператора
^ |
A |
в некотором базисе, а E — единичная матрица того же порядка, что и A .
Доказательство. Пусть вектор x — собственный вектор оператора
^ |
A |
, соответствующий собственному значению λ , т.е. по определению
x = λx Ю
x = λ
x Ю (
− λ
) x = θ. |
Следовательно, чтобы найти собственные значения и собственные векторы оператора
^ |
A |
, нужно решить однородную систему n линейных уравнений с n неизвестными (A − λE)X = O .
Так как по определению собственного вектора x ≠ θ , то нас интересуют лишь нетривиальные решения этой системы уравнений. Необходимым и достаточным условием нетривиальной совместности однородной системы n уравнений с n неизвестными является условие det (A − λE) = 0 , что и требовалось доказать.
Уравнение (1) называется характеристическим уравнением оператора
^ |
A |
.