ВУЗ:
Составители:
Рубрика:
Оператор A в унитарном пространстве является самосопряжен-
ным (эрмитовым) тогда и только тогда, если его матрица в неко-
тором (на самом деле — в любом) ортонормированном базисе будет
эрмитовой.
Доказательство. Это следует из самого определения самосопря-
женного оператора. Если A — некоторый оператор, e
1
, . . . , e
n
— какой
угодно ортонормированный базис, и A — матрица оператора A в этом
базисе, то A
∗
есть оператор с матрицей A
∗
в том же базисе. Условие
A = A
∗
равносильно тому, что A = A
∗
. Равносильность следует из
установленного ранее взаимно-однозначного соответствия между мно-
жеством всех линейных операторов и множеством всех n × n-матриц
(при выбранном фиксированном базисе).
Теорема 5.3.1. Пусть A : V → V — линейный оператор.
1) Пусть V — евклидово пространство, и A = A
∗
. Тогда характе-
ристический многочлен χ
A
(x) раскладывается на линейные мно-
жители над полем R.
2) Пусть V — унитарное пространство, и A = A
∗
. Тогда все собст-
венные значения оператора A являются действительными числа -
ми.
Доказательство. Выберем какой-нибудь ортонормированный ба-
зис, и пусть A — матрица оператора A в этом базисе. Рассмотрим
произвольный корень z характеристического многочлена матрицы A.
Так как определитель |A − zE| равен нулю, существует ненулевое ре-
шение x = (x
1
, . . . x
n
)
т
системы линейных неоднородных уравнений
(A − zE)x = 0. Числа x
i
будут, вообще говоря, комплексными. Запи-
50
Оператор A в унитарном пространстве является самосопряжен-
ным (эрмитовым) тогда и только тогда, если его матрица в неко-
тором (на самом деле — в любом) ортонормированном базисе будет
эрмитовой.
Доказательство. Это следует из самого определения самосопря-
женного оператора. Если A — некоторый оператор, e1 , . . . , en — какой
угодно ортонормированный базис, и A — матрица оператора A в этом
базисе, то A∗ есть оператор с матрицей A∗ в том же базисе. Условие
A = A∗ равносильно тому, что A = A∗ . Равносильность следует из
установленного ранее взаимно-однозначного соответствия между мно-
жеством всех линейных операторов и множеством всех n × n-матриц
(при выбранном фиксированном базисе).
Теорема 5.3.1. Пусть A : V → V — линейный оператор.
1) Пусть V — евклидово пространство, и A = A∗ . Тогда характе-
ристический многочлен χA (x) раскладывается на линейные мно-
жители над полем R.
2) Пусть V — унитарное пространство, и A = A∗ . Тогда все собст-
венные значения оператора A являются действительными числа-
ми.
Доказательство. Выберем какой-нибудь ортонормированный ба-
зис, и пусть A — матрица оператора A в этом базисе. Рассмотрим
произвольный корень z характеристического многочлена матрицы A.
Так как определитель |A − zE| равен нулю, существует ненулевое ре-
шение x = (x1 , . . . xn )т системы линейных неоднородных уравнений
(A − zE)x = 0. Числа xi будут, вообще говоря, комплексными. Запи-
50
Страницы
- « первая
- ‹ предыдущая
- …
- 48
- 49
- 50
- 51
- 52
- …
- следующая ›
- последняя »
