Для того чтобы линейный оператор был симметричен, необходимо и достаточно, чтобы его матрица в ортонормированном базисе была симметрична

Рассмотрим для простоты евклидово пространство R2. Пусть в ортобазисе e1, e2 заданы векторы x=(x1, x2), y=(y1, y2). Линейные операторы 1 и 2 определены своими матрицами:

 

 и .

 

Вычислим векторы 1(x) и 2(y):

 

,

.

 

Найдем скалярные произведения ( (x), y) и (x, (y)):

 

( (x), y)=(a11x1+a12x2) y1+(a21x1+a22x2) y2=a11y1x1+a12y1x2+a21y2x1+a22y2x2,

(x, (y))= (b11y1+b12y2) x1+(b21y1+b22y2) x2=b11x1y1+b12x1y2+b21x2y1+b22x2y2.

 

Найдем разность скалярных произведений:

( (x), y) – (x, (y)) = (a11-b11) x1y1+(a21-b12) x1y2+(a12-b21) x2y1+(a22-b22) x2y2.

 

Если для любых векторов x и y из пространства R2 равенство

( (x), y) – (x, (y))=0 (3)


Выполнено (необходимость), то верна система

 

a11=b11,

a21=b12,

a12=b21, (4)

a22=b22,

 

и обратно: если условия (4) соблюдены для любых векторов x и y, то равенство (3) выполнено (достаточность). Система равенств (4) означает, что 1= 2= .


Ортогональность собственных векторов

Собственные векторы симметричного линейного оператора, соответствующие различным собственным числам, взаимо ортогональны.

Пусть x и y – собственные векторы оператора , соответствующие собственным числам λ1 и λ2, причем λ1λ2. По определению симметричного оператора:

 

( (x), y)= (x, (y))

 

Подставив сюда правые части равенства ( (x))= λ1x, ( (y))= λ1y, получим

(λ1x, y)=(x, λ2y). Вынесем числа λ1 и λ2, за знак скалярного произведения, перенесем слагаемые влево и разложим на множители: (λ1λ2) (x, y)=0

Поскольку λ1λ2, получаем (x, y)=0, что и означает взаимную ортогональность векторов x и y.

Отметим другие важные свойства симметричного оператора.

1) Характеристическое уравнение симметричного оператора имеет только действительные корни.

2) Если в евклидовом пространстве Rn задан симметричный оператор , то в Rn существует ортонормированный базис e1, e2, …, en, составленный из собственных векторов .

3) Если все собственные числа λ1, λ2, …, λn симметричного оператора положительны, то ( (x), x) > 0 для любого ненулевого вектора x.

 


Понравилась статья? Добавь ее в закладку (CTRL+D) и не забудь поделиться с друзьями:  



double arrow
Сейчас читают про: