Напомним, что самосопряженным линейным оператором в евклидовом пространстве V называется оператор A, удовлетворяющий соотношению (Ax, y) = = (x, Ay), " x, y Î V. Матрица самосопряженного оператора в любом ортонормированном базисе является симметрической.
Следующие теоремы устанавливают важные свойства собственных векторов самосопряженных операторов.
Теоремa 12.3. Собственные векторы самосопряженного оператора (симметрической матрицы), соответствующие различным собственным значениям, попарно ортогональны.
Доказательство. Пусть x 1 и x 1 – собственные векторы самосопряженного оператора A, а l 1 и l 2, где l 1 ¹ l 2, – соответствующие им собственные значения. Тогда l 1 x 1 = Ax 1 и l 2 x 2 = Ax 2. Умножим скалярно первое равенство на x 2 и получим l 1(x 1, x 2) = (Ax 1, x 2) = (x 1, Ax 2) = l 2(x 1, x 2) Þ (l 1 – l 2)(x 1, x 2) = 0. Поскольку l 1 ¹ l 2, то (x 1, x 2) = 0 Û x 1 ^ x 2.¨
Теоремa 12.4 (о полноте системы собственных векторов). У каждого самосопряженного линейного оператора A в n -мерном евклидовом пространстве V существует n попарно ортогональных собственных векторов. Соответствующие им собственные значения являются действительными числами.
|
|
Доказательство. Для простоты ограничимся случаем n = 2. Покажем, что у симметрической матрицы собственные значения – действительные числа. В самом деле, характеристическое уравнение симметрической матрицы А = , где = , имеет вид
| А – lЕ | = 0,
или . Корни его
l 1, 2 = ,
очевидно, являются действительными числами. Если подкоренное выражение не равно нулю, то l 1 ¹ l 2 и по теореме 12.3 собственные векторы, соответствующие собственным значениям l 1 и l 2, ортогональны. Если же подкоренное выражение равно нулю, т. е. ( – )2 + 4 = 0, то = , = = 0 и l 1 = l 2 = , и матрица имеет вид
.
Собственными векторами этой матрицы, как не трудно проверить, являются все ненулевые векторы пространства R 2. Базис этого пространства образуют ортогональные векторы е 1 = (1, 0) и е 2 = (0, 1).¨