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

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

.pdf
Скачиваний:
5
Добавлен:
29.07.2024
Размер:
2 Мб
Скачать
☆

Билет 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

%,&-!

%,&-!