Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

ЛА Билеты расписанные

.pdf
Скачиваний:
3
Добавлен:
29.07.2024
Размер:
1.88 Mб
Скачать

Билет 40 Представление полуторалинейной формы в унитарном пространстве.

Теорема Мальгранжа

 

 

 

 

( ; ),

 

 

 

 

 

 

 

 

 

 

 

 

Для " полуторалинейной формы

определенной в унитарном пространстве

существует

единственный оператор

 

 

 

 

 

 

 

 

причем матрица

 

полуторалинейной формы

 

 

 

 

 

 

 

 

f

 

 

 

#

( ; )

и матрица

f

 

( #): ( ; ) = ( , )

 

 

 

 

 

 

 

 

 

оператора A в произвольном ОНБ

[ ] = [ !, ", … , #]

связаны между собой

 

 

f

,,,f

 

 

%&

 

 

 

,,,,,

 

 

 

 

 

 

 

 

 

равенством

= , т. е.

= ,,,, для , = 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство

 

 

 

 

 

 

#, ( ; )

 

 

 

 

 

 

 

 

 

 

Для " фиксированного элемента

– линейная форма по x. Поэтому в силу теоремы

Рисса !

 

 

 

 

 

 

 

#

 

 

 

 

 

 

 

элемент #, ( ; ) = ( ; )

Таким образом,

 

ставится в соответствие единственный

 

$

 

 

 

 

 

 

 

 

 

 

 

 

 

#, то

есть задан оператор

: =

, где A есть линейный оператор, что следует из

соответствующих свойств полуторалинейной формы

 

 

и скалярного произведения.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

$ два оператора

 

 

 

 

 

Покажем, что такой оператор A единственный. Пусть ( ; )

 

! и "

 

 

Тогда

( , ! " )

= 0

для "

 

( ; ) = ( , ! ) = ( , " )

"

 

 

 

, #

 

 

 

 

 

 

 

 

 

 

 

#

Полагая = ! " получим ( ! " , ! " ) = 0 ! = " для

 

Тогда из определения равенства двух операторов получим ! = "

 

 

 

 

Остается показать, что матрица f полуторалинейной формы ( ; ) и f линейного

 

 

 

"

 

 

 

 

 

 

 

 

 

f

 

,,,f

 

 

 

 

 

 

 

 

 

оператора A в

ОНБ[ ] связаны соотношением

 

?

=

 

 

 

 

 

 

 

 

 

Действительно, ( ; ) = ( , ) = E F

?

,,,,D

x = E F

f E,F.

 

 

 

 

 

 

 

?

w

 

 

 

 

?

 

 

 

С другой стороны

 

 

,

 

 

"

 

 

 

,

 

( ; ) = E

 

 

f

 

,

F. Следовательно, E

 

F

,,,f

E

F = E

f

,

F для

E

F

 

и E

F

F ′ E

 

F ′ E

 

 

 

 

 

 

 

 

f

 

,,,f

 

 

 

 

 

 

 

Следовательно, в силу основной Леммы

= #

 

 

 

 

 

 

 

 

 

 

 

Билет 41 Понятие сопряжённого оператора и его свойства. Матрица сопряжённого оператора

Определение

Оператор A*, действующий в унитарном пространстве V называется сопряженным к оператору

( #), если для , выполняется равенство ( , ) = ( , )

Утверждение

Для " оператора ( #)

1)существует единственный оператор

2)оператор ( #)

Доказательство

Обозначим ( ; ) = ( , )

Очевидно, ( ; ) – полуторалинейная форма в #. Тогда по теореме Мальгранжа (см. прошлый вопрос) существует единственный оператор ( #): ( ; ) = ( , ) или ( , ) = ( , )#

Свойства сопряженных операторов в #

1)I*=I 2)( ) = ̅

3)( + ) = + 4)( ) = 5) ( ) =

6)если ( #) обратим, то ( *!) = ( )*!

Доказательство

Свойства 1)-3) – очевидны Свойство 4): ( , ) = ( , ) = (,,,,,,,,) = ‘,,,,,,,,,,,, ( ) ’ = (( ) , ), то есть ( , ) =

(( ) , ) для , # То = ( ) для # Следовательно, ( ) =

Свойство 5): ( , ( ) ) = ‘( ) , ’ = ( , ) = ( , )для , # Отсюда получим ( ) =

Свойство 6):Пусть для ( #) *!

Тогда × *! = *! = . Откуда ( *!) = ( *! ) = Из доказанных выше свойств имеем ( *!) = ( *!) = Следовательно, ( )*! = ( *!) #

Матрица сопряженного оператора

Утверждение

Пусть [ ] – ОНБ в #, а f = ” &'• и f = ” &'•, = ,,1,,, Матрицы линейных операторов A и A* соответственно в базисе [ ]

Тогда матрицы f и f* связаны между собой соотношением f = ,,,f,

то есть = ,,,, для " = 1,,,,,

&' ƒ'

Доказательство

Из определения матрицы оператора имеем

##

 

 

 

 

 

 

 

 

 

f/ = Q %& %, f! = Q T' T

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

%-!

 

T-!

 

 

 

,,,,,

 

Из определения сопряженных операторов следует (

f/

'

 

 

&

f!

 

 

 

, ) = ‘ ,

 

’, = 1

 

 

 

 

 

 

 

 

 

 

f/

#

%& %

'

,,,,ƒ'

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

'

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( , ) = £Q , ¤ =

 

 

 

 

[

 

 

]

 

(здесь мы воспользовались

 

%-!

 

 

 

 

 

 

 

 

 

– ОНБ)

свойствами скалярного произведения и тем, что

 

 

 

 

 

 

 

&'

ƒ'

 

,,,,,

 

 

 

 

 

 

 

 

 

 

 

 

 

Следовательно,

 

= ,,,,

для , = 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

 

,,,f

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

#

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

То есть

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Определение?

 

 

 

 

 

 

 

 

 

 

C?

 

 

 

 

 

 

 

 

 

 

 

= ”

•, удовлениворяющего соотношению

 

 

 

называется сопряженной по

 

 

%&

 

 

Матрица

 

 

 

 

=

отношению к матрице A

Билет 42 Понятие нормального оператора и его свойства.

Определение

Оператор ( ") называется 1)нормальным, если = 2)самосопряженным, если =

3)унитарным (ортогональным), если = =

Определение

Квадратная матрица A с комплексными (вещественными) элементами, удовлетворяющая соотношениям

= ; = и = =

Называются соответственно нормальными, эрмитовыми (симметричными),унитарными (ортогональными)

Замечание

Из определения следует, что оператор A нормален, самосопряжен, унитарен тогда и только тогда, когда нормален, самосопряжен, унитарен оператор

Свойства нормальных операторов Теорема

Пусть ( ")- нормальный оператор, тогда 1)( , ) = ( , )для , 2)для выполняется ‖ ‖ = ‖ ‖

3) Оператор A имеет собственный вектор $, отвечающий собственному значению $тогда и только тогда, когда имеет тот же собственный вектор $, отвечающий собственному значению 666$ 4)Собственные векторы, отвечающие различным собственным значениям, ортогональны.

5)Если = и – собственный вектор оператора A, то = ( ) %, где ( ) −линейная оболочка вектора e, а % = &( ). Корме того ( ) и % – инвариантные подпространства операторов A и A*

Доказательство

1)( , ) = ( , ) = ( , ) = (6666666666, ) = (66666666666, ) = ( , )

2)Следует из 1) при =

3)Так как ( ) = ̅, то как нетрудно убедиться, что A нормален когда нормален − . Из свойства 2) следует, что ‖( − ) ‖ = [# − ̅$ [ для " . Из этого равенства следует свойство 3)

4)Пусть % и '( % ') − собственные значения оператора A, a % и ' отвечающие им собственные векторы. Тогда %( %, ') = ( % %, ') = ( %, ') = ( %, ') = # %, ̅' '$ = '( %, ')

Тогда ( % ')( %, ') = 0 так как % ', то ( %, ') = 0 % '

5) Пусть e- собственный вектор, отвечающий собственному значению . Рассмотрим ( ) −линейную оболочку вектора e. Из теоремы о разложении пространства V в прямую сумму следует, что = ( )

&( ) = ( ) %

Из свойства 3) следует, что ( ) инвариантное подпространство операторов A и A*. Покажем, что % также

инвариантное подпространство операторов A и A*

Пусть %. Очевидно, % ( , ) = 0. Тогда ( , ) = ( , ) = # , ̅$ = ( , ) = 0 %, то есть % − инвариантное подпространство для оператора A.

Аналогично для A*

( , ) = ( , ( ) ) = ( , ) = ( , ) = ̅( , ) = 0 Следовательно, % и поэтому % − инвариантное подпространство для оператора A* #

Билет 43 Понятие унитарного (ортогонального) оператора и его свойства.

Теорема

Пусть ( ") – унитарный (ортогональный) оператор, тогда следующие свойства эквивалентны

1)= = , то есть = (%

2)для , ": ( , ) = ( , )

3)для ": ‖ ‖ = ‖ ‖

4)Оператор U ОНБ переводит снова в ОНБ.

5)Строки (столбцы) матрицы унитарного оператора U в ОНБ [ ] пространства " образуют ортонормированный базис в пространстве "

6)Если [ ]- произвольный ОНБ пространства ", то матрица оператора U в базисе [ ] унитарна

(ортогональна)

Доказательство

Докажем только эквивалентность только первых четырех свойств по приведенной схеме. Из 1 2 Для , ", ( , ) = ( , ) = ( , ) = ( , ), то есть ( , ) = ( , )

Обратно

 

 

 

 

 

, " ( , ) = ( , )

 

 

 

 

)для "

 

 

 

 

 

 

 

 

 

из 2

 

Тогда для

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

= ( ,

 

 

 

 

 

 

 

 

 

Следовательно,

 

 

 

 

 

 

 

 

 

 

 

 

. Из определения равенства операторов

 

 

 

 

= для "

=

Далее согласно

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

свойству нормальных операторов

( , ) = ( , ) = ( , ) = ( , ( ) ) =

( , ) для "

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Следовательно,

= =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда получим

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Из 2

 

 

 

 

=

 

=

'

= ( , ) = ( , ) = ‖ ‖

'

 

 

 

 

 

 

 

 

 

 

3

Действительно,

‖ ‖

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Обратно

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

из 3 2 Воспользуемся легкопроверяемым тождеством

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( , ) =

‖ + ‖' − ‖ − ‖'

+ ‖ + ‖' − ‖ − ‖'

 

 

 

 

Тогда получим

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

 

 

 

 

 

 

 

 

 

 

 

 

( , ) =

‖ + ‖' − ‖ − ‖' + ‖ + ‖' − ‖ − ‖'

 

 

 

 

 

 

 

 

'

 

 

 

 

 

 

 

 

 

 

 

'

4

 

 

 

'

 

 

 

= '

− ‖ − ‖

 

 

 

 

 

 

 

 

 

 

= ‖ + ‖

− ‖ − ‖

+ ‖ + ‖

= ( , )

Из 2

 

Действительно, если

%

 

' " – ОНБ, то

 

)

 

4

*

) *

 

 

)*

 

1, при =

4

 

 

 

 

 

 

 

 

 

, , …

 

 

 

( ,

) = ( , ) =

= m0, при ≠

Следовательно,

%, ', … , "

- ОНБ

 

 

 

66666

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Из 4

 

Пусть

 

 

*

 

*

 

 

 

 

 

 

 

 

 

 

 

 

"

 

 

Тогда

 

 

 

% '

"

 

– ОНБ и

 

 

. Также есть ОНБ пространства

 

.

2

 

, , …

 

o = − = 1,

 

 

рассмотрим два произвольных элемента

= ∑)+%"

) ) и = ∑*+%"

* *

 

 

 

 

 

 

Тогда

( , ) = (∑)+%"

)

), ∑*+%"

 

 

 

 

 

 

 

 

 

 

 

* *) = (∑)+%" ) p,, *+%"

* o*) = ∑*+%"

* 6* = ( , )#

Замечание

" из этих свойств 1)-4) можно было взять за определение унитарного оператора.

Замечание

Матрица унитарного оператора U в неортонормированном базисе может быть не унитарной.

Билет 44 Свойства унитарных (ортогональных) матриц.

Утверждение

1)Оператор U унитарен (ортогонален) когда унитарен (ортогонален) (%

2)Если % и ' − унитарные операторы (ортогональные), то % ' также унитарный (ортогональный) оператор.

3)Матрица перехода от одного ОНБ к другому ОНБ унитарна (ортогональна)

Доказательство

1)Пусть U-унитарен. Тогда ( , ) = ( (% , (% ) = ( (% , (% ) (% − унитарен

Обратно

Пусть (% − унитарен, тогда ( , ) = ( (% , (% ) = ( , ) − унитарен 2)Пусть % и ' − унитарные операторы. Тогда ( % ' , % ' ) = ( ' , ' ) = ( , ) % '

унитарный оператор

 

 

 

 

 

 

 

 

 

 

[ ̂]

 

 

o* = ∑)+%"

)* ),

3)Пусть

= [ )*] − матрица перехода от ОНБ [ ]

к ОНБ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

. Тогда имеем

 

 

Так

66666

 

 

 

 

[ ]

 

[ ̂]

 

 

 

 

 

 

 

 

 

 

= 1,

 

 

 

 

и

– ортонормированы, то

 

 

 

 

-*

как по условию базисы

"

 

 

/-6666/*

 

66666

 

. *

"

/-

/,

)* )

 

"

/-

)* /, )

"

 

 

= #o, o$ = •,

 

, € = ,

# $ = , ,

 

, = 1,

Это равенство

/+%

 

 

)+%

 

 

 

 

/,)+%

 

 

 

/+%

 

 

 

 

 

 

 

эквивалентно равенству

 

 

 

 

 

 

, то есть T-унитарная матрица #

 

 

 

 

 

 

 

 

 

В силу единственности обратной

матрицы отсюда следует, что

 

 

 

=

 

 

=

 

 

 

Следствие

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Унитарная (ортогональная) матрица обладает свойствами:

1)Все столбцы (строки) унитарной (ортогональной) матрицы нормированы и попарно ортогональны, то есть

" 6666 = (∑" 6666 = )

*+% *) *. )- *+% )* .* )-

2)Определитель унитарной (ортогональной) матрицы по модулю равен 1 3)Произведение унитарных (ортогональных) матриц есть унитарная (ортогональная) матрица. 4)Единичная матрица E – ортогональна

5)Для унитарных (ортогональных) матриц (% всегда существует и (% = ̅′( 1) 6)Для унитарной матрицы A обратная матрица (% также унитарная (ортогональная)

Билет 45 Основная спектральная теорема нормальных операторов.

Теорема

1)Оператор ( ") является нормальным тогда и только тогда, когда для него существует ОНБ из собственных векторов.

2)Матрица = … )-† порядка n x n нормальна тогда и только тогда, когда существует унитарная матрица = 0 % ' "1, столбцами которой являются собственные векторы матрицы : *, = 1,66666 приводящая матрицу A к диагональному виду, то есть

%

0

0

= = ‰ 0

'

0 Š ( )

0

0

"

Доказательство

1) Пусть - нормальный оператор. Он имеет по крайней мере один собственный вектор %. Пусть ‖ %‖ = 1 и% отвечает собственному значению % оператора A. Тогда " = ( %) %,

где % = &( %) − ( − 1) −мерное подпространство инвариантное для оператора A. Рассматривая оператор A в % можно также % представить в виде

% = ( ') ', где ( ') − линейная оболочка ': ' = ' ', ‖ '‖ = 1, а

' = &( ') = ( − 2)- мерное подпространство инвариантное для оператора A.

Продолжая этот процесс, получим " = ( %) ( ') … ( "), где %, ', … " – ортогональная система собственных векторов, отвечающих собственным значениям %, ', … ". Векторы %, ', … " очевидно, образуют ОНБ в пространстве "

Обратно

Предположим, что существует ОНБ [ ] = [ %, ', … "] из собственных векторов оператора A. Тогда в этом базисе матрица 2 оператора A – диагональная. Но в этом же базисе оператору соответствует сопряженная матрица 2, которая очевидно диагональная. Диагональные матрицы всегда перестановочны, то есть

2 × 2 = 2 × 2

Поэтому перестановочны и операторы

 

и , то есть

 

- нормальный.

 

 

 

 

 

 

 

 

 

2)Пусть

 

-

нормальная матрица.

Рассмотрим произвольный ОНБ

[ ]

. Очевидно, существует нормальный

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

оператор

 

, матрица которого

2

в этом ОНБ совпадает с . Из утверждения 1 настоящей теоремы следует,

что

 

 

 

 

 

 

 

 

%

'

"

 

 

 

 

 

 

 

 

 

 

 

 

 

 

*

 

* *

66666

 

существует ОНБ

p

, p , … o

состоящий из собственных векторов оператора

 

:

o

= o, = 1,

. В

базисе

[ ̂]

матрица

 

 

 

 

имеет вид

=

, то есть

(% = = = ‰ 0 …

 

0 Š

 

 

 

 

 

 

 

 

оператора

 

 

 

 

 

 

 

%

0

 

0

 

 

 

 

 

 

 

% '

"

1

 

 

 

 

 

 

 

 

[ ] к ОНБ [ ̂]

 

 

 

 

 

 

 

(%

=

 

 

 

, где

= 0

↓ ↓

матрица перехода от ОНБ

- унитарна. Поэтому

 

 

 

 

 

 

 

( )

 

 

 

 

 

 

0

 

0

."Следовательно,

получаем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Обратно

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть существует унитарная матрица : = . Тогда =

Покажем, что - нормальная. Очевидно = Вычислим × = ( )( ) = Тогда так как = , то = , то есть – нормальная #

Билет 46 Связь между нормальными, самосопряжёнными и унитарными операторами.

Теорема

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1)Оператор A самосопряжен тогда и только тогда, когда A нормален и все его собственные значения

 

 

вещественны.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2)Оператор A унитарен тогда и только тогда, когда он нормален и все его собственные числа по модулю

 

 

равны единице.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1) Пусть оператор A самосопряжен. Тогда A, очевидно, нормален. Возьмем любой собственное значение

и

отвечающий ему собственный вектор

 

 

 

̅

 

̅

 

 

=

̅

 

 

число.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда

= ( , ) = ( , ) = ( , ) = ( , ) = ( , ) =

. Следовательно,

, то есть

 

 

 

 

 

 

 

 

: ‖ ‖ = 1

 

 

 

 

 

 

 

вещественное

Обратно

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть нормальный оператор A имеет все вещественные собственные значения. Тогда по основной

 

 

спектральной теореме для нормальных операторов существует ОНБ

%, ', … "

из собственных векторов

 

 

оператора A, отвечающих собственным значениям

%, ', … "

 

 

 

 

 

 

Тогда для каждого

= % % + ' ' + + " "

и

 

 

 

, разложенных по этому ОНБ (из

собственных

 

*

= % % + ' ' + + " "

 

 

 

 

 

 

 

То есть A=A*. Следовательно, A-

 

*+%

 

*

*

= ∑

*+%

* 666666* *

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

"

 

666

"

 

 

= ( , )

 

 

 

 

 

 

 

 

векторов) имеем

( , ) = ∑

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

самосопряжен

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2)Пусть A унитарен. Тогда A- нормален. Возьмем любое его собственное значение

и отвечающий ему

 

 

собственный вектор

: ‖ ‖ = 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

. Тогда по свойству унитарных операторов

 

 

 

 

 

 

 

1 = ‖ ‖ = ‖ ‖ = ‖ ‖ = | |‖ ‖ = | | × 1 = | |

Обратно

Пусть все собственные значения по модулю равны 1. Согласно основной спектральной теореме нормальных

операторов существует ОНБ из собственных векторов оператора : * = * *, = 666661,

Тогда для любого = ∑"*+% * * 666666* * = ∑"*+%| *|'| *|' = (так как по условию| *| = 1) = ∑"*+%| *|' = ‖ ‖'

Следовательно, оператор A унитарен #

 

 

 

 

 

 

 

 

 

 

 

 

 

Билет 47

 

 

 

 

 

 

 

Основная спектральная теорема самосопряжённых операторов.

Теорема

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1) Оператор

Î

 

самосопряжен тогда и только тогда, когда существует ОНБ из собственных векторов

оператора

( ")

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2) Матрица

и все собственные значения оператора вещественны.

 

 

 

самосопряженная, иначе эрмитова

(симметрична) тогда и только тогда, когда все собственные

 

 

 

 

 

 

 

 

 

значения l матрицы

 

вещественны и существует унитарная (ортогональная) матрица

: =

%

'

" ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

*

 

 

*

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

1

столбцами которой являются собственные векторы

:

 

 

 

 

*

=

l* *

,

 

 

l

66666

 

 

 

 

 

 

 

 

 

 

= 1,

такая что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

%

l

0

 

 

 

 

 

 

 

 

 

 

 

 

 

L

 

 

0

 

 

 

 

 

 

 

 

 

 

=

 

 

 

= (

 

0

'

0

)

 

 

 

 

 

 

 

 

 

 

 

 

 

l

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

0

"

 

 

 

Доказательство

Следует из теоремы о связи самосопряженных и нормальных операторов и основной спектральной теоремы нормальных операторов. #

Билет 48 Основная спектральная теорема унитарных операторов.

Теорема

 

 

 

( ")

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

%, ', … , "

 

 

1) Оператор

Î

унитарен тогда и только тогда, когда существует ОНБ

из собственных

 

векторов

 

 

 

 

 

 

 

 

 

 

*

 

 

 

 

66666

 

 

 

 

 

 

 

2) Матрица

унитарна тогда и только тогда, когда

 

 

 

 

 

 

оператора

 

по модулю равны единице.

 

 

 

оператора

 

и все собственные значения l

 

, ( = 1, )

 

 

%

'

 

"

 

 

 

 

 

 

 

 

 

все

l

| = 1, = 1,

и существует унитарная матрица

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

|

*

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

векторы матрицы

 

 

 

0

 

1

, столбцами которой являются собственные

 

 

 

 

66666

 

 

 

:

 

 

 

 

 

 

 

*

=

l

*

,

 

 

 

66666

 

 

 

 

 

 

Такая что

 

 

 

 

 

 

 

 

 

*

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= 1,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L

 

 

 

l

 

0

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

%

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

= (

 

0

 

l

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

'

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

l )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

0

 

"

 

 

 

 

 

 

Следует из теоремы о связи унитарных и нормальных операторов и основной спектральной теоремы нормальных операторов. #

Билет 49 Приведение эрмитовой квадратичной формы к каноническому виду унитарным

преобразованием.

Теорема

Любая эрмитовая квадратичная форма ( , ) с матрицей при помощи некоторого унитарного преобразования переменных = , где - унитарная матрица, может быть приведена к каноническому виду.

Коэффициенты

 

 

 

 

 

 

( , ) =

l

 

 

'

+

l

'| '|

'

+ +

l

'

 

 

 

 

 

 

 

 

 

 

 

l

l

 

 

 

 

%| %|

 

 

 

"| "

|

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

l - вещественны и с точностью до порядка следования определены однозначно.

 

 

 

%собственными' "

значениями матрицы

 

 

. Столбцы унитарной матрицы

 

 

%

'

 

"

 

Они совпадают с ,

 

, … ,

 

 

 

векторами матрицы

 

 

 

 

 

= 0

1

являются ортонормированными собственными

 

 

 

 

 

 

 

 

66666

:

 

 

 

 

Доказательство

 

 

 

 

 

 

*

=

l* *

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,

 

= 1,

 

 

 

 

 

 

 

 

 

 

 

 

 

Рассмотрим эрмитову полуторалинейную форму

 

 

 

 

 

, отвечающую квадратичной форме

 

 

. По

 

 

 

" Î .

 

 

 

 

 

 

 

 

 

линейный оператор

( ")

такой, что

( , ) = ( , )

для

теореме Мальгранжа существует единственный

 

( , )

 

 

 

 

 

 

 

 

 

( , )

 

 

 

 

,

"

 

 

 

 

 

 

666666666 666666666

 

 

 

 

 

 

Отсюда следует, что

 

самосопряжен. Согласно

 

 

 

основной спектральной

 

 

 

 

 

 

 

 

 

 

 

Тогда

( , ) = ( , ) = ( , ) = ( , ) = ( , ).

 

 

 

 

 

 

 

 

 

 

:

теореме самосопряженных операторов существует ОНБ

%, ', … , "

из собственных

векторов операторов

 

 

=

l

 

,

 

= 1,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

, причем все l вещественные.

 

*

 

 

 

* *

 

 

 

66666

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Î

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Для любого * " разложим его по этому базису из собственных векторов

 

 

 

 

 

 

 

 

 

 

 

 

Для этого имеем

 

 

 

 

 

= % % + ' ' + + " "

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

"

l

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= % % + ' ' + + " " = , * * *

 

 

 

 

 

 

 

 

 

*+%

Тогда

""

( , ) = ( , ) = , *l666666* * = , l*| *|'

Заметим, что матрицей перехода от исходного

базиса

[ ]

= [ ,

*+%

, … ,

 

]

в котором задана

 

 

 

*+%

 

%

 

"

 

 

 

 

 

 

 

 

 

 

 

 

( , )

 

 

 

%

'

 

"

1

'

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

, где [ ] = 0

 

 

 

 

 

 

собственных векторов оператора

является

квадратичная форма

 

 

 

 

к ОНБ

'

 

 

"

 

 

из

,

 

 

 

 

%

 

 

'

 

 

"

 

%

'

 

"

1

%

 

 

 

 

 

 

 

 

 

 

,

 

 

, … ,

матрица

= 0

 

,

, , … ,

- координатные столбцы векторов

 

 

 

 

 

соответственно в базисе

 

. Причем матрица

 

 

 

 

 

 

 

 

 

 

 

 

 

унитарное

преобразование

 

 

[ ]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L #

 

 

 

=

приводит заданную квадратичную форму к каноническому виду

=