
ЛА Билеты расписанные
.pdfБилет 40 Представление полуторалинейной формы в унитарном пространстве.
Теорема Мальгранжа |
|
|
|
|
( ; ), |
|
|
|
|
|
|
|
|
|
|
|
|
||||||
Для " полуторалинейной формы |
определенной в унитарном пространстве |
существует |
|||||||||||||||||||||
единственный оператор |
|
|
|
|
|
|
|
|
причем матрица |
|
полуторалинейной формы |
||||||||||||
|
|
|
|
|
|
|
|
f |
|
|
|
# |
|||||||||||
( ; ) |
и матрица |
f |
|
( #): ( ; ) = ( , ) |
|
|
|
|
|
|
|
||||||||||||
|
|
оператора A в произвольном ОНБ |
[ ] = [ !, ", … , #] |
связаны между собой |
|||||||||||||||||||
|
|
f |
,,,f |
|
|
%& |
|
Hƒ |
|
|
,,,,, |
|
|
|
|
|
|
|
|
|
|||
равенством |
= , т. е. |
= ,,,, для , = 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, |
. В |
|||||||||||||||||||||||||
базисе |
[ ̂] |
матрица |
|
2̂ |
|
|
|
имеет вид |
2̂= |
, то есть |
(% = 2̂= = ‰ 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 # |
|
|||||
|
|
↓ = |
↓ |
приводит заданную квадратичную форму к каноническому виду |
= |
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|