ВУЗ:
Составители:
Рубрика:
Оператор 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
- …
- следующая ›
- последняя »