ЛА Билеты расписанные
.pdfБилет 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) при > . Следовательно, это преобразование невырожденное. После выполнения этого
преобразования получим: ( , ) = 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 #
