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

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

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

Билет 33 Преобразование матрицы билинейной формы при изменении базиса.

Теорема

Пусть [ ] и [ ̂] два базиса в #, а – матрица перехода от базиса [ ] к [ ̂]. Тогда матрицы f и f̂ билинейной формы ( , ) в базисе [ ] и [ ̂] соответственно связаны соотношением: f̂= ? f

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

Известно, что ( , ) = [0↓], f [D↓] и ( , ) = [0s↓], f̂[D↓s].

Из этих двух равенств имеем: [0s↓], f̂[D↓s] = [0↓], f [D↓].

Так как [0↓] = [0↓s], [D↓] = [D↓s], то [0s↓], f̂[D↓s] = ‘ [0↓s]’? f [D↓s] = [0s↓], ? f [D↓s].

Далее, применив два раза основную лемму, получим f̂= ? f

Билет 34 Квадратичные формы в линейном пространстве. Полярная билинейная форма.

Приведение квадратичной формы к диагональному виду методом Лагранжа.

Определение

Пусть ( , ) – симметрическая билинейная форма. Функция ( , ), которая получается из ( , ) при = называется квадратичной формой.

( , ) называется билинейной формой, полярной к квадратичной форме ( , )

Утверждение

Полярная форма ( , ) однозначно определяется своей квадратичной формой.

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

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

В силу симметрии ( , ) = !" ‘ ( + , + ) − ( , ) − ( , )’

Следствие

Между квадратичными формами и симметричными билинейными формами взаимно однозначное соответствие.

Определение

 

 

 

 

 

 

 

 

 

 

 

 

Матрица симметричной билинейной формы

 

 

называется матрицей соответствующей

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

 

в базисе [e]. Пусть

 

- базис в

. Тогда для

#

имеем

Aw

( , ),

 

, где

 

 

 

( , )

 

 

 

 

 

 

-

матрица в квадратичной форме в базисе [e]. Она всегда

 

Aw [0↓]

Aw

 

[ ]

 

 

VL

= ∑%-! % %

 

( , ) = ∑%,&# -! % & %& = [0↓]

 

 

 

 

 

 

 

 

 

симметрична (в силу следствия).

Приведение квадратичной формы к каноническому виду методом Лагранжа. Теорема Лагранжа

Любая квадратичная форма ( , ) в вещественном линейном пространстве VL при помощи невырожденного линейного преобразования переменных может быть приведена к диагональному (каноническому) виду (т.е к виду ( , ) = !y!" + λ"y"" + … + λLyL", где −новые переменные).

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

Будем доказывать теорему методом математической индукции.

1)При = 1, тогда ( , ) = !!х!" = !х!", т.е утверждение теоремы очевидно.

2)Предположим теперь, что ≥ 2 и для квадратичных форм от ( − 1) переменной теорема справедлива.

3)Докажем теорему для n-переменных. ( , ) = ∑#%,&-! % & %&. Предположим, что ( , ) ≠ 0, т.к в противном случае она имеет канонический вид с λ! = λ" = = λ# = 0. Покажем, что с помощью

невырожденного преобразования переменных квадратичную форму ( , ) можно преобразовать так, что коэффициент при х!" равный a!! будет отличен от 0.

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

1)если a!! ≠ 0, то это преобразование тождественное.

2)если a!! = 0, но = ,,2,,,: a'' ≠ 0. Тогда, переобозначив переменные, т.е сделав преобразование вида: x! = ', xJ = !, x/ = % при = 1, ≠ . Это преобразование, очевидно, невырожденное.

3)остается рассмотреть случай, когда a!! = "" = = ## = 0. Тогда т.к ( , ) ≠ 0, то a%& ≠ 0, xJ = J

≠ . Сделаем преобразование 4x/ = / − x, где ≠ , ≠ , детерминант которого равен 2 при > xx = / + x

и (-2) при > . Следовательно, это преобразование невырожденное. После выполнения этого

переменных 4

преобразования получим: ( , ) = 2 %&‘ / − x’‘ / + x’ + ∑#J,yz/,x ' , ', = 2 %&y/" − 2 %&yx" +

∑#',,z%,& ' , ',, т.е получили при y/" коэффициент 2 %& ≠ 0. Следовательно, мы пришли к случаю №2, от которого, как было показано, сделав невырожденное преобразование мы можем прийти к

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

 

 

 

 

. Итак, можно считать, что

 

 

. Выделим в выражении

 

 

 

 

 

L

 

 

 

 

 

 

 

ту группуa!! ≠ 0

 

 

 

 

 

 

 

 

 

 

a!! ≠ 0

"

 

 

 

( , ) = ∑/,&-! % & %&

 

 

 

 

 

 

 

слагаемых, которые содержат

х!: ( , ) = !!x! + 2a!"x!х" … +

 

 

 

. Преобразуем правую часть этого

 

2a!#x!х# + ∑/,&L -! % & %&

 

 

 

 

 

 

 

 

 

)] + ∑/,&L -! % & %&

равенства:

 

 

 

"

 

 

 

 

 

 

 

 

 

 

 

 

 

 

{"#

 

 

 

 

 

 

."&

х#

= a!! kх! +

{"#

{"&

х#l

−

( , ) = !![ !" + 2х!({"" х" + +

.""

{"" х" + + {""

 

 

 

 

{"#

 

 

 

 

{"&

 

 

#

"

 

 

∑/,&L -!

%

&

 

%&

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Обозначим!! {"" "через

 

{""

х

l

 

 

 

 

{"#

 

 

 

{"&

 

 

" Очевидно,

 

является

−a

k

 

 

х + +

 

 

 

 

 

+L

 

 

 

 

 

 

 

х#l

( , )

квадратичной

 

( , ) = ∑/,&-" % & %& − a!! k{""

 

х" + + {""

 

 

 

 

 

 

 

 

 

 

{"#

формой от

( − 1)

-ой переменной

х", х6 … х#

. Сделаем преобразование переменных

 

 

 

 

 

х" + +

{"&

 

х#

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

ξ! = х! + {""

{""

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ξ

'

= x

J

, = 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В нем новые

переменные выражаются через старые. Запишем в привычном для нас виде. Выразим

 

 

 

 

,,,,,

 

 

 

 

− {""

 

х" − − {""

 

х#

 

 

 

 

 

 

 

 

 

 

 

 

 

старые через новые:

 

! = ξ!

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

4

 

 

 

 

 

 

 

'

{"#

 

 

 

 

{"&

 

 

( )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

'

 

 

 

 

2,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= ξ , =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Очевидно, что это преобразование

невырожденное. После его выполнения квадратичная форма

 

 

 

 

,, ,,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( , ) = a!!ξ!" + В(ξ" … ξ#). По предположению индукции невырожденное преобразование

ξ" = α""η" + + α"#ηL … :

ξL = αL"η" + + αL#ηL

Приводящее квадратичную форму B к диагональному виду(каноническому): ( , ) = α"η"" + +

α#η"# .

Для нашей исходной квадратичной формы ( , ) за преобразованием ( ) выполним следующее

ξ! = η!

преобразование переменных!ξ" = α""η" + + α"#ηL ( )

…

ξL = αL"η" + + αL#ηL 1 0 … 0

Определитель этого преобразования равен 80 α"" … α"# 8 ≠ 0

… … … … …

0 αL" … αL#

Следовательно, преобразование ( ) невырожденное. После выполнения этого преобразования

( , ) примет вид ( , ) = α!η!" + + α#η"#

Теорема доказана.

Замечание

Метод док-ва теоремы дает конструктивный метод приведения квадратичной формы к каноническому виду. В конкретном примере для приведения ( , ) к каноническому виду необходим процесс выделения квадратов, продолжающийся до тех пор, пока не придем к форме с нулевыми коэффициентами или к форме от одной переменной.

Определение

Базис, в котором ( , ) имеет канонический вид, называется каноническим. Очевидно, он определяется неоднозначно и не является в общем случае ОНБ. Тогда теорему Лагранжа можно сформулировать так:%

Теорема Лагранжа

Для любой квадратичной формы существует канонический базис.

Билет 35 Приведение квадратичной формы к каноническому виду методом Якоби.(без док-ва)

Пусть квадратичная форма

( , )

имеет в базисе

[ ]

матрицу

Aw = 8 a"! a"" … a"#

8

 

 

 

 

 

 

 

a!! a!" … a!#

 

 

 

 

 

 

 

 

 

 

 

 

 

… … … … …

 

 

 

Определение

 

 

 

 

 

 

 

 

aL! aL" … aL#

 

 

 

Главными минорами матрицы

Aw

называются числа

 

,

 

,

a!! a!"

9 , … , d# = detAw

.

Теорема Якоби

 

 

 

 

d9 = 1 d! = a!!

 

d" = 9a"! α""

 

Пусть в базисе [ ] квадратичная форма ( , ) имеет вид ( , ) = ∑L/,&-! % & %& и пусть все главные миноры матрицы Aw отличны от нуля. Тогда базис [ ̃] в котором квадратичная форма ( , )

приводится к каноническому виду:

( , ) =

|" ξ!" +

|# ξ""

+ +

|&

ξL"

, где

ξ!, ξ" … ξ# −

координаты

 

!

|"

 

|&-"

 

 

вектора

в базисе .

 

 

 

 

 

 

 

 

 

Доказательство не проводим.

 

 

 

 

 

 

 

 

 

 

[ ̃]

 

 

 

 

 

 

 

 

 

Билет 36 Закон инерции квадратичных форм.

Пусть в пространстве

"

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

 

 

ранга

 

. Из теоремы Лагранжа

"

 

"

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( , ) =

следует, что ее

можно невырожденным линейным преобразованием привести к виду

 

 

 

L

 

 

 

 

 

 

 

 

 

( , )

 

( ≤ )

 

 

,λ!ξ! + λ"ξ" + + λ'ξJ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где

λ!, λ" …

,λ'

 

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

 

 

 

 

 

 

,

 

 

 

,

 

 

 

.

 

 

 

 

η! = Ú|λ!|ξ!

…

η' = Ú|λJ|ξ'

η'+! = ξ'+!, …

η# = ξ#

"

"

"

 

 

 

 

 

 

 

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

( , )

приводится к виду

( , ) = ε! ! + " " + … + # #

( )

, где

εx −

принимают

 

 

 

−1,0,1

 

 

 

 

 

 

 

 

значения

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

формы.

Теорема (закон инерции квадратичных форм)

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

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

Предположим, что два базиса, в которых ( , )

имеет нормальный вид, т.е

 

 

 

 

 

 

 

в базисе

 

и

 

 

 

 

 

 

 

 

( , ) = ξ!" + ξ"" + + ξT" − (ξT+!"

+ + ξ}+~" )

 

( )

 

в базисе[ ]

 

 

 

 

 

 

 

 

 

 

( , )

= ξ

"

 

"

 

 

 

 

"

 

"

 

 

 

+ + ξ

"

)

 

( )

 

 

 

 

 

[ ̃]

 

 

 

 

 

 

 

 

 

 

+ ξ + + ξ − (ξ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Для док- ,!

,"

 

 

 

,T

,T+!

 

 

 

,}+~

= = и = =

. Предположим, что

≠ =

, например

>

 

 

 

ва теоремы достаточно показать, что

=

. Рассмотрим

L! = ‘ !, ", … , T’

–

 

 

 

 

 

 

 

 

 

 

!, ", … , T

 

 

 

 

 

 

 

 

линейную оболочку векторов

и

 

 

 

! = ‘ ̃T+!•

, ̃T+"•

, … , ̃’#

– линейную оболочку векторов

̃T+!•

, ̃T+"•

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

, … , ̃#

 

 

 

 

 

 

Очевидно, что

,

! = , " =

− =

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Т.к

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

Т.к + − ,=то>

то

( ! ∩ ") ,> 0

 

и следовательно

9

≠

: 9 ! ∩ ".

 

 

 

 

 

 

 

 

= ξ + + ξ

}

 

 

и т.к

 

"

, то = ̃

 

+ + ̃

 

 

 

 

 

Так

9

!

 

9

 

 

! !

 

 

 

 

 

 

T

 

 

 

 

9

 

"

 

 

9

 

^!

T+!•

 

 

 

^T #

 

 

 

 

 

 

 

как

 

 

 

, то из

 

 

имеем

 

 

 

 

 

 

 

 

 

"

 

 

 

 

 

"

.

 

 

 

 

 

 

 

 

 

 

 

 

С

 

9 ≠ 0

( )

( 9

, 9) = ξ! + ξ" + + ξT

 

 

 

 

 

 

 

 

 

 

 

 

 

другой стороны из

( )

 

имеем

( , ) = −(

"

 

 

+ +

"

) < 0

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Приходим к

 

 

 

9 9

 

 

 

 

^T+!

 

 

 

 

 

^T+€

 

 

 

 

 

 

> =

невозможно.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

противоречию. Следовательно, неравенство

Точно также доказывается невозможность неравенств

< =, < =, > =

.

 

 

 

Теорема доказана.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Билет 37 Классификация квадратичных форм. Критерий Сильвестра.

Определение

Вещественная квадратичная форма ( , ), определённая в вещественном пространстве # называется:

1)положительно определённой, если для ≠ 0 ( , ) > 0

2)отрицательно определенной, если для ≠ 0 ( , ) < 0

3)знакопеременной, если такие элементы ˈ ≠ 0, ˈˈ ≠ 0: ( ˈ, ˈ) > 0 ( ˈˈ, ˈˈ) < 0

4)квазиположительно определенной, если для # , ( , ) ≥ 0, по ˈ ≠ 0: ( ˈ, ˈ) = 0

5)квазиотрицательно определенной, если для # , ( , ) ≤ 0, по ˈˈ ≠ 0: ( ˈˈ, ˈˈ) = 0

Определение

Положительно (отрицательно) определенные квадратичные формы называются также знакоопределенными. Квазиположительно (квазиотрицательно) определенные квадратичные формы называются квазиопределенными.

Обозначим через - число положительных, - число отрицательных слагаемых в каноническом диагональном) представлении квадратичной формы ( , ).

Тогда имеет место

Теорема

Вещественная квадратичная форма ( , ) является:

1)положительно определенной когда = , = 0.

2)отрицательно определенной когда = 0, = 0.

3)знакопеременной когда ≠ 0 и ≠ 0.

4)квазиположительно определенной когда < , = 0.

5)квазиотрицательно определенной когда = 0, < .

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

1)Пусть квадратичная форма ( , ) положительно определенна. Тогда она может быть приведена к виду:

 

 

"

"

 

"

 

"

 

"

. Если при этом

 

 

, тогда из последнего

 

выражения имеем для ненулевого вектора x с коэффициентами

 

 

 

 

 

и

 

 

( , ) = !

+ "

+ + T

− ‘ T+! + + T+€’

 

 

 

<

 

 

 

 

 

T+! =

 

T+" = = T+€ = 1

 

 

 

 

 

 

 

 

 

 

! = " = = T = 0

 

 

а это противоречит определению положительно определенной

 

 

 

 

0, при = 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

квадратичной формы.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( , ) = ï< 0, при ≠ 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Достаточность

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть

 

 

.

 

 

 

 

 

приводится к нормальному виду.

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

Тогда =

 

 

 

 

Ясно, что

 

 

для

 

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

 

 

–

 

 

 

 

"

"

 

"

 

 

 

 

 

 

 

 

 

 

. ( , )

 

( , ) > 0

 

≠ 0

 

 

 

 

( , )

 

 

 

 

положительно определена.

 

 

 

 

 

 

 

 

 

 

 

( , ) = !

+ "

+ + #

 

 

 

 

 

 

 

 

 

 

 

 

2)-4) доказываются аналогично.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Критерий Сильвестра знакоопределенности квадратичной формы

 

 

 

 

 

 

 

Пусть

 

 

 

 

#

 

 

[0]ʹ

 

[0] , где

 

– матрица квадратичной формы

 

 

 

в базисе .

Обозначим через

 

 

 

главные миноры матрицы .

 

 

 

 

( , )

 

[ ]

 

( , ) = ∑%,&-! % =– ↓

f

↓

f

 

f

 

 

 

 

 

Теорема

(Критерий Сильвестра)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

!, ", . . . , #

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1)Квадратичная форма ( , ) положительно определена когда все ее главные миноры ' > 0 для всех = 1,,,,, .

2)Квадратичная форма ( , ) отрицательно определена когда знаки ' чередуются, причем

! < 0, то есть (−1)' ' > 0, = 1,,,,, .

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

Необходимость

Пусть

( , )

положительно определенна. Покажем, что

≠ 0

для

= 1

. Будем доказывать

это методом от противного. Пусть

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

'

 

. тогда

рассмотрим однородную

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,,,,,

 

 

систему:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(1 ≤ ≤ ): $ = 0

 

 

 

 

 

 

 

 

 

 

 

 

!! ! + !" "+. . . + !$ $ = 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

!

"! ! + "" "+. . . + "$ $ = 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

…

 

 

 

 

 

 

 

 

 

 

 

 

( !9, "9, … , $9 )

 

 

 

 

 

 

$

= 0

 

 

 

∑%$-! %' %9 = 0, =

 

$! ! + $" "+. . . + $$ $ = 0

 

 

(Так как

 

), то есть

Она имеет нетривиальное решение

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,,,,,,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

9

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

$

 

9 9

 

 

1 . ( )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

на

 

 

и суммируя по

 

 

, получим

 

 

 

 

Умножая каждое равенство

 

 

'

 

∑%,'-! %' % ' = 0

 

Левая часть этого равенства,( )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

9 9

 

 

9

, 0,0, … ,0) ≠ 0

.

очевидно, есть значение

( , )

для ненулевого вектора

9 =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( ! , " , … , $

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

не является положительно определенной.

( 9, 9) = 0

для

9 ≠ 0

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

( , )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

, для любого

= 1 .

 

 

 

Полученное противоречие и доказывает, что

 

 

 

 

 

 

 

 

 

 

 

 

_.

 

 

 

 

_"

 

 

 

 

 

 

_&-"

 

 

 

 

( , )

 

≠ 0

 

 

 

 

 

 

 

 

 

 

 

 

 

Далее, приводя квадратичную форму

 

 

 

 

 

методом Якоби к каноническому виду, получим:

 

 

 

 

 

 

 

'

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,,,,,

 

 

 

( , ) = _

"

 

"

+

 

_

#

 

"

+ +

_

&

 

 

"

(

9

= 1).

 

Тогда

 

 

 

 

 

 

 

 

 

_!-"

 

 

 

 

Возьмём

 

 

!

 

 

 

"

 

 

 

 

 

 

 

#

 

 

 

 

,,,,,

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

_!

 

 

 

 

 

 

 

=

 

= (0,0, … ,0,1,0, … ,0); = 1

 

.

 

 

 

 

 

 

( , ) =

 

 

 

> 0

 

 

 

Далее полагая9

'

 

 

 

 

 

 

 

, получим

 

 

> 0

 

для

 

 

 

 

 

9

 

 

 

9

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= 1,2, … ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= 1,

 

 

 

 

 

 

 

 

 

 

 

 

 

Достаточность.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

'

 

 

 

 

 

 

 

 

 

 

 

 

,, ,,

 

 

 

 

 

 

 

 

 

 

 

 

 

Так как все

 

> 0

для

 

 

 

1

, то приведя

( , )

к каноническому виду методом Якоби,

 

 

 

 

 

 

.

="

 

 

 

 

 

 

&-"

 

 

 

 

 

 

 

 

 

( , )

 

 

 

 

получим:

( , ) =

__"

!" + __#

"" + + __&

#"

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

положительно определена.

 

 

 

'

 

 

 

 

 

 

 

 

 

 

,,,,,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2) Следует из пункта 1). Действительно, ( , ) отрицательно определенна когда (−1) ( , ) – положительно определена. Очевидно, что матрица квадратичной формы (−1) ( , ) в базисе [ ]

имеет вид (−1) f. Из пункта 1) тогда имеем что (−1) ( , ) положительно определенна когда

(−1)' ' > 0 для = ,,1,,, .

Билет 38 Полуторалинейные (билинейные) формы. Введение скалярного произведения с помощью

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

Пусть V – унитарное пространство.

Определение

Комплексозначная функция ( , ) называется полуторалинейной формой в комплексном линейном пространстве , если для , , и , С справедливы равенства:

1)( + , ) = ( , ) + ( , ) – линейность по 1-ому аргументу.

2)( , + ) = , ( , ) + ̅( , ) – антилинейность по 2-ому аргументу.

Пусть − -мерное пространство и [e] – базис в V. Тогда для = ∑#&-! & & и имеем:

= ∑#'-! ' '

# # # #

( , ) = (Q & & Q ' ') = Q

& ,,,' ( &, ') = Q

&-! '-!

&,'-!

&,'-!

&' &,,,' =

[ ]?

[,]

↓

f ↓ .

Определение

Полуторалинейная форма ( , ) называется эрмитовой, если ( , ) = ,,,,,( ,,,,) для , .

Определение

Матрица = ” %&•, , = ,,1,,, с комплексными элементами называется эрмитовой, если %& = &% для всех , = 1,,,,, (Иначе = Cˈ).

Утверждение

Полуторалинейная форма ( , ) эрмитова когда матрица f в каком-нибудь базисе [ ] эрмитова.

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

Необходимость

Пусть ( , ) – эрмитова полуторалинейная форма в V, то есть

( , ) = ,,,,,( ,,,,) , . Тогда для , = 1,,,,, имеем %& = ( %, &) = ,,,,,( ƒ,,,,,H) = &%.

Следовательно, Be – эрмитова.

Достаточность

Пусть f = f?, то есть %& = &%

 

&,'-!

&'

& '

&,'-! ,,,,'ƒ

' &

∑

#

 

,,, = ∑

#

 

,,,

 

 

для

, = 1,

,

имеем:

( , ) =

 

 

 

&,'-! ,,,,,,,,,,'ƒ ' ƒ

,,,,, ,,,

 

 

 

 

= ∑

#

,, ,,. Тогда для

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

( , ) −

эрмитова.

 

C = ( , )

 

 

 

Определение

Квадратичная форма ( , ) в унитарном пространстве V называется эрмитовой, если соответствующая ей полуторалинейная форма ( , ) – эрмитовая.

Определение

Эрмитовая квадратичная форма ( , ) называется положительно определенной, если для ≠ 0,( , ) > 0. Заметим, что ( , ) – вещественное число, так как ( , ) = ,,,,,( ,,,,).

Введение скалярного произведения с помощью полуторалинейной формы.

Пусть в унитарном пространстве V задана эрмитовая полуторалинейная форма ( , ), причем соответствующая ей квадратичная форма положительно определенная. Тогда в этом пространстве можно ввести скалярное произведение по формуле ( , ) = ( , ). Очевидно, оно удовлетворяет всем аксиомам скалярного произведения. Верно и обратное предложение, то есть если - унитарное пространство, то скалярное произведение ( , ) есть полуторалинейная форма эрмитовая, причем ( , ) – эрмитовая положительно определенная квадратичная форма.

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

Теорема Рисса

Для " линейной формы ( ), определенной в унитарном пространстве # существует единственный элемент #: ( ) = ( , )

Доказательство Пусть [ ] = [ !, ", … , #] ОНБ в #. Тогда для : = ∑#'-! ' ' получим ( ) =

∑#'-! ' ( ')

Возьмем за k-тую координату вектора число ' = ,,,,,,,( '). Тогда ( ) = ∑#'-! ' ( ') = ∑#'-! ',,,' = ( ; )

Докажем единственность . Пусть еще один D: ( ) = ( , D) Вычитая одно представление из

другого, получим ‘ , − D’ = 0 для " #

Полагая = − D, получим ‘ − D, − D’ = 0 − D = 0 = D #