ЛА Билеты расписанные
.pdfБилет 28 Собственные векторы и собственные значения линейного оператора.
Характеристическое уравнение. Теорема о нахождении собственных векторов линейного оператора. Алгебраическая и геометрическая кратность собственного значения и связь между ними.
Пусть Î ( #)
Определение |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
Число lÎ |
( ) |
называется собственным значением оператора |
|
Î |
( #) |
, если $ |
|
Î |
# |
, ≠ : = |
|||||||||||||||||||||||||||||||||||||||||||||||||||||
l |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
" ( ) |
, удовлетворяющий условию (*) называется собственным вектором оператора |
|
, |
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
≠ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
отвечающий собственному значению l. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
Утверждение |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
Если |
|
- матрица линейного оператора |
|
в базисе |
[ ] |
пространства |
|
, то многочлен |
|
det( − |
l |
||||||||||||||||||||||||||||||||||||||||||||||||||||
не |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
) |
||||||||||
|
зависит от базиса |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
Доказательство |
|
|
|
|
[ ] |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
Пусть |
[ ] |
и |
|
[2] |
- два произвольных базиса пространства |
|
и |
|
- матрица перехода от |
|
[ ] |
к |
[2] |
. Тогда |
|||||||||||||||||||||||||||||||||||||||||||||||||
Тогда |
|
|
|
|
l |
|
|
|
! |
−1 |
|
|
|
|
|
|
|
l |
( |
|
! |
|
) |
|
|
|
|
|
|
−1 |
|
|
|
−1( |
! |
|
|
|
l) |
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
l |
|
−1 |
|
|
|
l |
|
|
|
|
|
|
l |
|
|
. |
|
|
|
|
|
|
||||||||||||||||||||||
согласно формуле |
= |
имеем |
|
|
|
|
|
|
|
|
|
|
|
l |
= |
|
|
− |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
− = − |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
det |
− |
|
|
) |
= det0 |
−1 |
( |
|
|
− 1 = det |
−1 |
det( |
|
− |
|
)det = det( |
|
− ) |
# |
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
( |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
Определение! |
|
|
|
|
|
|
|
|
|
l |
|
|
|
! |
|
|
|
|
|
|
|
|
|
|
! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
Многочлен |
|
|
|
|
= det( − |
) |
называется характеристическим многочленом. Уравнение |
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
l |
|
|
|
( ) |
|
называется |
характеристическим или вековым уравнением |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
det( − |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
) = 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
Теорема
Для того чтобы l0 было собственным значением оператора , необходимо и достаточно, чтобы это число было корнем характеристического уравнения det( − l ) = 0 оператора , причем этому собственному значению соответствует − линейно независимых собственных векторов оператора, где
= ( f − l9 )
Доказательство |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Условие, что |
|
Î |
# |
собственный вектор, т.е |
= |
l |
|
, отвечающих собственному значению l в |
||||||||||||||||||||||||||||||||||
матричном |
|
|
|
l |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
виде |
|
|
0↓1 = |
0↓1 |
|
|
|
|
|
|
|
|
l |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Или |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
( |
|
11 |
− |
|
) |
|
1 |
+ |
12 |
|
2 |
+ + |
1 |
|
|
= 0 |
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
|
|
|
|
|
− |
l |
|
|
+ + l |
|
= 0 |
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
' |
21 |
1 |
|
( |
22 |
|
) |
2 |
|
( ) |
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
|
|
|
|
|
|
|
… |
|
|
|
|
|
− |
= 0 |
|||||||||||
|
l |
|
|
|
|
|
|
|
|
|
|
1 |
1 |
2 |
2 |
+ + |
( |
|
|
|||||||||||||||||||||||
Необходимым и достаточным |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
) |
|
|
|
||||||||||||||||||||
det( − |
|
) = 0 |
( ) |
|
|
условием $ нетривиального решения системы (*) является условие |
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
Поэтому корни этого уравнения и только они являются собственными значениями оператора .
Далее пусть |
|
l |
|
- |
собственное значение оператора |
|
|
, т.е корень характеристического |
уравнения (**). |
||||||||||||||||||||
l |
|
0 |
|
|
|
|
|
|
|||||||||||||||||||||
Подставляя |
|
|
|
в систему (*), получим однородную |
|
|
|
|
|
− |
|
|
|
|
( f − |
||||||||||||||
l |
9 ) = |
, то |
|
0 |
|
|
|
( − ) |
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
система (*) имеет |
- линейно независимых решений и следовательно, оператор |
||||||||||||||||||||||||||
|
имеет |
( − ) |
линейно независимых собственных векторов, отвечающих собственному значению |
||||||||||||||||||||||||||
. # |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
l |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
( ) = # |
l# |
+ #*! |
l#*! |
+ + ! |
|
+ 9 |
|
|
|
|
||||
Определение |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
этот |
|
0 |
называется корнем многочлена |
l |
кратности |
, если |
|||||||||||||||||||||||
Число l |
|
|
l |
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
многочлен можно представить в виде: |
|
|
|
причем (l9) ≠ 0 |
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
(l) = (l − l9)k (l), |
|
|
|
|
|
|
|
|
|
|
|||||||
Определение
Алгебраической кратностью собственного значения l0 называется его кратность как корня характеристического уравнения.
Определение
Если собственному значению l0 соответствует ( ≥ 1) линейно-независимых собственных векторов, то называется геометрической кратностью собственного значения l0 оператора .
Утверждение
Для " оператора Î ( #) геометрическая кратность " собственного значения l0 не превосходит его алгебраическую кратность.
Доказательство
Пусть l0 - собственное значение оператора алгебраической кратности . Тогда характеристический многочлен (l) = det( − l ) = (l − l0) − (l) ( ), − (l0) ≠ 0. Далее пусть l0 имеет геометрическую кратность . Тогда $ K-линейно независимых собственных векторов 1, 2, … , . Дополним их векторами +1, … , до базиса . В этом базисе матрица имеет вид
l0 |
|
0 . |
|
= ( |
|
|
. ) |
0 |
|
l |
|
0 |
|||
… |
0 |
… . |
|
, где - матрица порядка × ( − )
Тогда, очевидно, (l) = det( − l ) = (l − l0) − (l), где − (l) - некоторый многочлен степени ( − ). Следовательно, из (*) получаем, что ≤ #
Замечание
Геометрическая кратность может быть и строго меньше алгебраической. Например, Î ( ") в базисе [ ] = [ 1, 2] имеет матрицу = 010 111. Тогда l0 = 1 - собственное значение оператора имеет алгебраическую кратность 2, а геометрическую 1.
Билет 29 Инвариантное подпространство относительно оператора А. Примеры. Свойства
собственных векторов линейного оператора.
Инвариантное подпространство
Определение
Линейное подпространство 3 называется инвариантным относительно оператора , если для, вектор также принадлежит 3.
Пример
3 |
|
|
и |
3 |
|
|
называются тривиальными инвариантными подпространствами. |
|
||
= { } |
= |
|
|
|||||||
|
|
|
( #) |
|
|
|||||
Утверждение |
|
|
|
|
||||||
|
и |
|
для оператора |
является инвариантным подпространством. |
. |
|||||
Доказательство |
|
|
|
|||||||
Если , то в силу определения и . Далее, если , то и = |
||||||||||
Свойства собственных векторов линейного оператора. Свойство 1
Если – собственный вектор оператора ( #), отвечающий собственному значению , то и для≠ 0, – также собственный вектор оператора , отвечающий этому же собственному значению
.
Свойство 2
Если 1, 2, … , – собственные вектора оператора ( #), то линейная оболочка ( !, ", … , $) есть инвариантное подпространство оператора .
Свойство 3
Если собственному значению 0 отвечает ЛНЗ собственных векторов 1, 2, … , , то ненулевой вектор ( !, ", … , ') также является собственным вектором оператора , отвечающий этому же значению 0.
Свойство 4 (Теорема о линейной независимости собственных векторов, отвечающих различным собственным значениям)
Теорема
Если 1, 2, … , – собственные вектора оператора ( #) и отвечающие им собственные значения 1, 2, … , , то есть ≠ при ≠ , то 1, 2, … , – линейно независимы.
Доказательство Свойство 1
следует из определения собственного вектора и собственного значения.
Свойство 2
Пусть 1, 2, … , – собственные векторы, отвечающие собственным значениям 1, 2, … , , то есть
' = ' ', = 1,,,,,,.
Для ( !, ", … , $) имеем = ! ! + " " + + $ $. Тогда = (∑$'-! ' ') =
∑$'-! ' ' = ∑$'-!( ' ') ' ( !, ", … , $).
Свойство 3
Если x ( !, ", … , '), то = ! ! + " " + + ' '. Тогда это свойство следует из
= ( ! ! + " " + + ' ') = ! ! + " " + + ' ' = ! 9 ! + " 9 " + + ' 9 ' =9( ! ! + " " + + ' ') = 9 .
Свойство 4
Докажем теорему методом математической индукции.
1)Для = 1 утверждение очевидно
2)Предположим, что утверждение теоремы справедливо для ( − 1) вектора
3)Докажем ее для – векторов
Пусть имеет место равенство |
|
|
|
1 |
+ |
|
2 |
+ + |
|
|
|
= |
|
|
|
|
|
|
) |
. |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||
Применим к |
|
|
|
|
оператор . |
|
|
|
1 |
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
( |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
. |
|
|
|
|
( |
|
) |
|
|
|
|
|
|
|
|
|
|
|
|
Тогда получим: |
|
|
1 |
+ |
|
|
|
|
2 |
+ + |
−1 |
|
−1 |
|
|
−1 |
+ |
|
|
= |
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
( |
|
равенство |
|
|
) |
|
|
|
|
|
1 1 |
|
|
|
|
2 |
2 |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
Вычитая из |
|
, умноженное на |
|
, получим |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
( |
|
) |
|
|
|
|
|
|
|
|
|
|
|
|
) |
|
|
|
|
|
|
|
|
|
|
( |
|
|
|
|
|
|
|
|
|
− |
|
|
|
|
|
|
|
= |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
− |
) |
1 |
+ − |
|
2 |
+ + |
−1( |
−1 |
|
|
|
−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
В 1( |
|
1 |
|
|
|
|
|
|
|
|
2 |
( |
2 |
|
|
|
|
) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
силу предположения индукции вектора |
1 |
, 2, … ,, −1 |
ЛНЗ. Поэтому |
# − $ = 0, = |
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
66666666666666 |
. Так как |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
≠ 0 |
|
|
|
|
|
|
|
|
|
, ,,,,,,,,,,, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
66666666666666 |
|
|
|
|
|
( ) |
|
|
|||||||||||||||||||||||||||
1, ( − 1) |
|
|
|
|
|
|
|
|
|
− |
|
|
для |
|
= 1, ( − 1) |
|
|
то |
= 0, = 1, |
( − 1) |
. Отсюда и из |
следует, |
||||||||||||||||||||||||||||||||||||||||||||||||||||
что |
|
|
= |
. Так как |
|
|
|
≠ |
, то |
|
|
|
|
|
|
. Следовательно, в равенстве |
|
|
|
все коэффициенты |
= |
|||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
– ЛНЗ. |
|
|
|
|
|
|
|
|
|
|
|
|
( |
|
) |
|
|
|
|
|
|
|
|
|
|
1 |
|||||||||||
2 = = = 0 |
|
|
Следовательно, |
|
1, 2, … , |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
Следствие |
|
|
|
|
( #) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1, 2, … , |
|
|
|
|
|||||||||||||||||||||
Если оператор |
имеет |
– попарно различных собственных значений |
, то |
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
отвечающие |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
им собственные вектора образуют базис в |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
Доказательство |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
Из свойства 4 следует, что !, ", … , # – ЛНЗ, но тогда они образуют базис, так как = dim #.
Билет 30 Приведение матрицы линейного оператора к диагональному виду. Два критерия
диагонализируемости матрицы линейного оператора. Практический способ приведения матрицы к диагональному виду.
Определение
Квадратная матрица = ” %&• - n −ого порядка называется диагональной, если = 0 при ≠
Утверждение
Если 1, 2, … , – ЛНЗ собственные вектора оператора ( #) ‘ & = & & , = 1,,,,,’, то
матрица оператора в базисе [ ] = [ 1, 2, … , , +1, … ] имеет вид:
Доказательство
Непосредственно следует из определения матрицы
Теорема
Матрица оператора ( #) в базисе [ ] = [ 1, 2, … , ] имеет диагональный вид тогда и только тогда, когда базисные векторы 1, 2, … , являются собственными векторами оператора .
При этом матрица в базисе из собственных векторов имеет вид:
Доказательство
Достаточность Если базис [ ] состоит из собственных векторов, то согласно определению матрицы линейного
оператора ' |
' |
' |
,,,,,. Имеем: |
, то есть |
|
– диагональная. |
|
= |
|
, = 1 |
|
|
Необходисость
Пусть в данном базисe [ ] – диагональная. Тогда, очевидно, для = ,,1,,, имеем A % = % %, то есть 1, 2, … , – собственные вектора оператора
Теорема
Если 1, 2, … , – различные собственные значения оператора ( #), то базис, в котором имеет диагональный вид.
Доказательство
Согласно следствию из теоремы о линейной независимости собственных векторов, отвечающих различным собственным значениям 1, 2, … , следует, что собственные вектора 1, 2, … , образуют базис из собственных векторов. Но тогда в силу предыдущей теоремы матрица в этом базисе имеет диагональный вид
Замечание
Обратное утверждение неверно. Например: для тождественного оператора I матрица оператора
1 0 … 0
имеет вид = (0 1…… 0) – диагональная, а собственные значения 1 = 2 = = = 1 кратны.
0 … 0 1
Теорема
Для того, чтобы существовал базис 1, 2, … , , в котором матрица оператора ( #) имела диагональный вид необходимо и достаточно, чтобы для собственного значения оператора его алгебраическая кратность совпадала с геометрической.
Доказательство |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Необходимость |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Пусть |
|
базис |
1 |
, 2, … , |
, в котором |
= |
. Очевидно, что векторы |
1, 2, … , |
– собственные |
||||||||||||
векторы оператора |
|
, отвечающие собственным значениям оператора |
1, 2, … , |
. Тогда |
|||||||||||||||||
характеристическая матриц имеет вид: |
|
f |
|
|
0 " − … 0 |
( ) |
|
||||||||||||||
− = − = 4 |
! − |
0 … 0 |
5 |
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
… |
|
|
|
||||||
а характеристический многочлен |
( ) |
= det( − ) = ( 1 |
0 … 0 |
# − |
|
|
|
||||||||||||||
Если, например |
|
имеет |
|
− )( 2 − ) … ( − ). |
|
||||||||||||||||
|
|
|
|
1 |
|
|
|
алгебраическую кратность |
1 |
, то есть |
1 = 2 = = 1; 1+1 ≠ |
||||||||||
1, … , = 1, то на диагональной матрице ( ) при = ! первые 1 строк равны нулю, а остальные строки отличны от нуля. Поэтому ( f − ) = − !, а тогда собственному значению 1
Билет 31 Линейные формы в линейном пространстве. Сопряжённое пространство, его размерность.
Преобразование коэффициентов линейной формы при переходе к новому базису.
Определение
Пусть – линейное пространство. Линейной формой (линейным функционалом) над называется линейный оператор , отображающий в ( ).
Определение
Множество линейных форм ( , ) над само является линейным пространством, которое обозначается и называется сопряженным пространством к пространству , то есть по определению = ( , ).
Теорема
Пространство # , сопряженное к n-мерному линейному пространству # само имеет размерность , то есть
Доказательство |
|
dim # = dim # = |
|
|
|
|
|
|
( ) |
|||||
|
[ ] = [ , … , ] |
|
|
|
|
= 1, |
|
|
|
|
||||
Пусть |
! |
# |
– произвольный базис в |
#. Для |
|
|
определим в # функционал |
' |
||||||
(достаточно определить их на базисных векторах) |
равенствами: |
' % |
1 , при = |
|
|
|||||||||
# |
,, ,, |
# |
0 , при ≠ |
|
|
|||||||||
|
|
= ! ! + + # # # |
|
|
|
|
|
|
||||||
|
|
, |
'(∑%-! % %) |
= ∑%-! % '( %) = ' |
|
есть |
|
|||||||
Отметим, что для |
|
|
|
|
|
|
|
( ) = ï |
|
, то |
|
( ) |
|
|
'( ) = ' ( )
Покажем, что так определенные функционалы !( ), "( ), … , #( ) образуют базис в # . Этот базис называется биортогональным к базису !, … , #.
1)докажем, что функционалы !( ), "( ), … , #( ) линейно независимы.
Пусть ! ! + + # # = . Отсюда, согласно определению равенства двух операторов имеем: ( ! ! + + # #) = 0 для #. Полагая = ', = ,,1,,,, получим ' = 0, = ,,1,,,. Следовательно, !, ", … , # линейно независимы.
2)Покажем, что для # !, ", … , #: = ! ! + " " + + # #. Действительно, для
= ∑%#-! % % # имеем: |
|
|
, где |
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
# |
|
|
# |
|
|
|
|
|
|
% = ( %) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
( ) = ∑%-! % ( %) = ∑%-! % % |
|
|
|
|
|
# |
|
|
|
|
# |
|
|
|
|
|
|||||||||||||||
|
|
|
|
( ) |
# |
|
|
|
|
|
|
# |
|
% % |
|
|
|
|
|
|
|
# |
|
|
|||||||
Далее, в силу |
|
( ) = ∑%-! |
= ∑%-! |
% % ( ) = (∑%-! % %) |
для |
. |
|
||||||||||||||||||||||||
|
|
, получим: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
Следовательно, |
|
|
|
|
|
|
|
|
независимы и |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
Таким образом = ∑%-! % –% линейно |
|
|
представляется в виде . |
|
|
||||||||||||||||||||||||||
|
(1) |
|
|
|
|
|
|
|
|
||||||||||||||||||||||
Следовательно, !, ", … , # |
|
образуют базис в |
|
. |
Поэтому |
|
|
|
|
.(1) |
|
|
|||||||||||||||||||
|
# |
|
|
|
dim # |
= dim # = |
|
|
|||||||||||||||||||||||
|
|
|
|
|
!, ", … , # |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
Координаты линейной формы в |
|
|
и их изменение при изменении базиса. |
|
|
|
|||||||||||||||||||||||
Пусть в |
|
задан базис |
|
|
|
|
|
. |
Тогда для |
|
|
|
|
|
|
|
|
|
|
|
и |
|
|
||||||||
# |
[ ] = [ !, ", … , , #] |
|
|
|
|
|
|
#, = ! ! + " " + + # |
|
# |
|||||||||||||||||||||
имеем: |
|
! ! |
|
|
|
|
' |
|
|
|
|
|
|||||||||||||||||||
Утверждение |
|
" |
" |
# # |
где |
|
|
|
' |
|
|
,,,,, |
. Доказано. |
|
|
|
|
|
|
||||||||||||
|
( ) = + + + |
= ( |
|
), = 1 |
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
Если [ ] = [ !, ", … , #] базис в #, то для = ∑#%-!
( ) = ! ! + " " + + # #, где ' = ( ')
% % значение линейной формы имеет вид:
Обратное утверждение
В заданном базисе [ ] любым – числам !, ", … , # отвечает линейная форма ( ) и при том только одна.
Доказательство
Следует из равенства ( ) = ! ! + " " + + # #
Замечание
Числа |
|
! |
|
|
" |
# называются координатами линейной формы в биортогональном базисе. |
|
|
|
|
||||||||||||||||||||||||||||||||||
|
, , … , |
и |
|
|
- |
|
|
[ ] |
|
[ ̂] |
|
|
|
|
|
|
|
|
|
|
|
|
[ ] |
|
[ ̂] |
|
|
|
# |
|
|
|
||||||||||||
Пусть в |
# |
|
|
|
|
|
|
и |
и |
– матрица перехода от |
к |
|
|
|
имеем: |
|||||||||||||||||||||||||||||
|
|
|
заданы два базиса |
|
|
|
|
|
|
|
|
. Тогда для |
|
|
|
|
||||||||||||||||||||||||||||
[0] |
|
[0s] |
, где |
[0] |
|
[0s] |
|
координаты |
|
в базисе |
[ ] |
и |
[ ̂] |
соответственно. Тогда |
( ) = ! ! |
|
|
|
|
|
||||||||||||||||||||||||
↓ = |
↓ |
|
↓ |
|
↓ |
|
|
+ " " + |
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
[0], где |
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
. |
||||||||||||||||||||
+ # # = [ !, ", … , #] |
↓ |
|
' = ( ') |
|
|
|
|
|
|
|
|
|
|
|
|
, где |
|
|
|
, |
|
|
|
|||||||||||||||||||||
Из этих двух соотношений имеем0! |
! |
|
|
|
0" |
" |
|
|
|
|
|
0# |
# |
0! 0" . |
0# |
[0s] |
|
0' |
|
' |
|
|
|
,,,,, |
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
↓ |
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
Аналогично в базисе |
[ ̂] |
( ) = 1 + 1 + + 1 = ” , , … , • |
|
|
|
= (1) |
|
= 1 |
|
|||||||||||||||||||||||||||||||||||
|
, |
|
|
|
” , , … , • |
[0s] |
|
= [ , , … , ] |
[0] |
|
|
|
|
|
|
|
[0] |
= |
[0s] |
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Согласно формуле |
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
[0s] |
|
|
|
|
|
|
0! 0" |
|
0# |
|
↓ |
|
|
! " |
# |
↓ |
↓ |
|
|
|
↓ |
|
|||||||||||||
имеем |
” , , … , • |
= |
[ , , … , ] |
[0s] |
для |
|
[0] |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
0" |
|
0# |
|
↓ |
|
! |
" |
|
|
|
# |
|
|
|
↓ |
|
|
|
↓ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
Из этого0! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0! |
0" |
0# |
|
|
! " |
|
# |
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
равенства, согласно основной лемме, имеем: |
|
|
|
или, |
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
] |
|
|
|
" |
|
|
” , , … , • = [ , , … , ] |
|
|
|
|
|
|
|
||||||||||
транспонируя это равенство получим |
|
t" |
|
? ] |
|
š |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0]… 1 = —]… |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
t# |
|
|
|
# |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
t& |
|
|
|
]& |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
] |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Вывод
При переходе от базиса [ ] к [ ̂] координаты линейной формы изменяются по такому же закону, как и элементы базиса.
Билет 32
Билинейные формы в действительном линейном пространстве, их представление через координаты. Разложение билинейной формы на сумму симметричных и кососимметричных составляющих. Матрица билинейной формы.
Определение
Пусть – вещественное линейное пространство. Билинейной формой над называется числовая функция ( , ) двух переменных и линейная по первому и второму аргументу, то есть для , , и , :
1)( + , ) = ( , ) + ( , )
2)( , + ) = ( , ) + ( , )
Пример 1
Если ( ) и ( ) – линейные формы в пространстве , то их произведение ( ) ( ) - билинейная форма.
Пример 2
В #: ( , ) = ∑#%,&-! %& % & – билинейная форма
Пример 3
В [ , ], ( , ) = ∫.2 ∫.2 ( , ) ( ) ( ) , где ( , ) – некоторая фиксированная функция, непрерывная в [ , ] [ , ].
( , ) – билинейная форма.
Определение |
( , ) |
|
|
, |
|
Билинейная форма |
называется симметричной (кососимметричной), если для |
||||
выполняется |
|
|
. |
||
|
( , ) = ( , ) |
‘ ( , ) = − ( , )’ |
|
||
Утверждение
билинейную форму ( , ) единственным образом можно представить в виде суммы симметричной и кососимметричной билинейной формы.
Доказательство
Заметим, что ( , ) = !" ‘ ( , ) + ( , )’ + !" ‘ ( , ) − ( , )’ = с( , ) + к( , ). Нетрудно убедиться, что с( , ) и к( , ) являются симметричной и кососимметричной формой
соответственно. Остается доказать их единственность.
Предположим, что еще одно представление: ( , ) = 3с( , ) + 3к( , ). Вычитая одно из другого, получим: с( , ) − 3с( , ) = к( , ) − 3к( , ). Слева стоит симметрическая форма, а справа – кососимметрическая. Тогда единственность представления следует из того, что билинейная форма являющаяся одновременно симметрической и кососимметрической – нулевая билинейная форма.
Пусть в |
# |
дан базис |
[ ] = [ !, ", … , #] |
и билинейная форма |
( , ) |
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
. Найдем представление |
||||||||||||||||
билинейной формы в данном базисе: |
|
|
(, где) |
|
(∑'#-! |
|
' |
.' |
∑%#-! % %) |
|
||||||||||||||||||
Пусть |
#= |
∑'#-! |
' ' и |
= |
∑%#-! % %. Тогда |
= |
|
= |
||||||||||||||||||||
# |
|
|
|
|
|
# |
|
|
|
|
|
, |
|
, |
|
|||||||||||||
∑'-! ∑%-! ' % ( ' %) = ∑',%-! '% ' % |
|
( ) |
'% = ( ', %) |
|
|
|
||||||||||||||||||||||
Обозначим |
|
|
|
"! |
"" |
… |
"# |
|
, где |
|
|
|
|
|
|
|
|
|
|
|||||||||
= 4 |
!! |
!" |
… |
!# |
5 |
%& = ‘ %, &’ |
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
#! |
… |
## |
|
|
|
|
|
|
|
|
|
|||||||||||
Определение |
|
|
#" |
… |
|
|
%& |
|
|
% |
& |
называется матрицей билинейной формы в базисе |
||||||||||||||||
Матрица |
|
f |
= ” |
%& |
|
|
|
,,,,, |
, где |
|
|
|
||||||||||||||||
|
|
|
|
|
|
•, , = 1 |
|
|
|
= ‘ , ’ |
|
|
|
|
|
|
|
|||||||||||
[ ]. Равенство ( ) можно записать в матричной форме A( , ) = [0↓], f [D↓] ( ). Итак, нами получено следующее утверждение:
Утверждение
Пусть в вещественном пространстве # задан базис [ ]. Тогда билинейная форма ( , ) может быть однозначно представлена в виде ( , ) = ∑#%,&-! %& % & или A( , ) = [0↓], f [D↓].
Следствие
В фиксированном базисе [ ] между билинейными формами и матрицами f билинейных форм в этом базисе взаимно однозначное соответствие, которое устанавливается равенством ( ).
Доказательство
1)Согласно определению матрицы f билинейной форме ( , ) соответствует единственная матрица f.
2)Обратно, матрице = ” %&• по формуле ( ) ставится в соответствие единственная билинейная форма ( , ), матрицей которой в базисе [ ], очевидно является матрица =
” %&•
Справедливо утверждение:
Билинейная форма ( , ) симметрична (кососимметрична) тогда и только тогда, когда ее матрица в произвольном базисе [ ] симметрична (кососимметрична)
Доказательство
1) Если ( , ) симметрична (кососимметрична), то, полагая в равенстве ( , ) = ( , )
‘ ( , ) = − ( , )’ |
, |
|
% |
&, получим |
% & |
& % |
% & |
& % |
. |
|
= , = |
‘ , ’ = ‘ , ’ |
k ‘ , ’ = − ‘ , ’l |
|
|||||
Следовательно, |
|
|
‘ %& = − &%’ |
|
|
|
|
|
|
%& = &% |
|
|
|
|
|
||||
2)Обратно
Пусть матрица f билинейной формы ( , ) симметрична (кососимметрична), то есть %& =
&% ‘ %& = − &%’ для , = 1,,,,,. Тогда:
##
( , ) = Q &% & % = Q %& % & = ( , )
%,&-! |
%,&-! |
# |
# |
2 ( , ) = Q &% & % = − Q %& % & = − ( , )3 |
|
%,&-! |
%,&-! |
