
3 семестр экзамен / Algebra_2_razdel
.pdf
Билет 2.1. Билинейные (полуторалинейные) формы в линейном пространстве. |
Билет 2.1. Билинейные (полуторалинейные) формы в линейном пространстве. |
Симметричные и кососимметричные билинейные формы. |
Симметричные и кососимметричные билинейные формы. |
Пусть - ЛП над ( ). |
|
|
|
|
|
|
|
|
|
|
|
|
Теорема 2.1 Преобразование матрицы билинейной (полуторалинейной) |
|||||||||||||||||||||||||||||||||||||||||
Определение 2.1 Оператор : × → называется билинейной формой, |
формы при замене базиса. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
если: , , , α, β : |
|
|
|
|
|
|
|
|
|
Пусть - ЛП над ( ). = |
|
, , … , |
|
, = |
|
, , … , |
|
, = |
. Тогда |
|||||||||||||||||||||||||||||||||||
1) α + β, |
|
= α , |
+ β , , |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
2 |
|
|
|
|
|
|
|
|
1 |
2 |
|
|
|
|
|
→ |
|
|||||||||||||
|
|
|
|
|
|
|
|
= |
|
= |
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
2) , α + β |
|
= α , |
+ β , . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
Определение 2.1′ |
|
Оператор |
: × → |
называется полуторалинейной |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
, = = , = , = , = = = |
|||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
формой, если , , , α, β : |
|
|
|
|
|
|
|
|
|
|
|
|
|
↓ |
|
|
↓ |
↓ |
|
|
↓ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
↓ |
|
|
||||||||||||||
|
|
|
|
|
|
|
= . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
1) α + β, |
|
= α , |
+ β , , |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
↓ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
2) , α + β |
|
= α , |
+ β , . |
|
|
|
|
|
|
, = = = |
|
= |
. |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
↓ |
|
|
↓ |
|
|
|
|
↓ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
Примеры: 1) |
|
= , , , |
= |
|
|
. |
|
|
Следствие. rang |
= rang |
|
rang |
|
= rang |
|
. |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
, … , |
, , |
= |
|
|
1 |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
2) = , = |
|
α |
. |
|
|
|
Определение 2.4 Рангом билинейной (полуторалинейной) формы называется |
|||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
1 |
|
|
|
|
|
|
|
, =1 |
|
|
|
|
|
ранг ее матрицы в произвольном базисе. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
3) , , ×[ , ], , [ , ], , = |
|
, . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
Обозначение: rang , . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
Определение 2.2 1 |
= 2 , : 1 |
, |
= 2 , . |
|
Билинейная (полуторалинейная) форма называется вырожденной, если |
|||||||||||||||||||||||||||||||||||||||||||||||||
1 = 2 , |
: 1 |
|
, |
= 2 , . |
|
|
|
|
rang , < dim , и невырожденной, |
если rang , |
|
= dim . |
|
|||||||||||||||||||||||||||||||||||||||||
Определение 2.3 Пусть = |
|
, , … , |
- базис в (над ) |
|
Теорема 2.2 Пусть ЛП над , |
= |
|
, , … , |
- базис в . Для любого |
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
1 2 |
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
, = |
|
|
|
|
, |
|
|
= |
|
|
, |
- называется общим |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
набора |
|
чисел |
|
|
|
, , = 1, |
|
существует |
|
|
и |
|
притом |
единственная |
||||||||||||||||||||||||||||||||||||
|
=1 |
|
|
|
|
=1 |
|
|
|
|
, =1 |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
видом билинейной формы в базисе . |
|
|
|
|
|
|
|
билинейная форма , |
в , для которой |
, |
|
= |
|
, , = 1, . |
|
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
, |
… |
|
, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
Пусть = |
, , … , |
- |
базис в , |
|
, , = 1, - |
заданные числа. |
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
1 |
1 |
|
|
|
1 |
|
|
|
|
|
||||||||||||||||||||||||||||||||||
Матрица |
= |
|
|
|
= |
|
|
|
|
|
|
|
|
|
- |
называется |
матрицей |
|
|
|
|
|
|
1 |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Зададим |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
отображение: |
||||||||
|
|
|
|
|
|
|
|
, |
… |
|
, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
, : = , = |
→ , |
|
= |
|
|
|
|
|
- |
|
оно |
является |
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
билинейной формы в базисе . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
↓ |
|
|
↓ |
|
|
|
|
|
|
|
|
|
|
, =1 |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
билинейной формой в силу линейности координат, причем |
|
= , . |
||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, = |
|
= |
|
, … , |
|
|
. |
|
|
|
|
|
|
|
Покажем, что любая билинейная форма |
|
( , ), для которой |
|
= , |
|||||||||||||||||||||||||||||||||||
|
↓ |
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
совпадает с , . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
Определение 2.3′ Пусть = |
|
, , … , |
|
- базис в (над ) |
|
, : , = |
|
|
, |
|
|
= |
|
|
|
, = |
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
1 2 |
|
|
|
|
|
|
|
|
|
=1 |
|
, =1 |
|
||||||||||||||||||||||||||||||
, = |
|
|
, |
|
- называется общим видом полуторалинейной |
|
|
|
|
|
|
|
|
|
|
=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
= , . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
, =1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, =1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
формы в базисе . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Теорема |
2.3 |
|
|
Существует |
|
взаимооднозначное |
|
соответствие |
между |
|||||||||||||||||||||||||||||
|
|
|
|
|
|
, |
|
|
… |
, |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
множеством всех билинейных форм в |
- мерном вещественном ЛП и |
||||||||||||||||||||||||||||||||||||||||
|
= |
|
|
|
1 |
1 |
|
|
|
|
1 |
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
Матрица |
|
|
|
|
|
|
|
|
|
|
|
|
- |
называется |
матрицей |
множеством вещественных матриц × . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
, |
|
|
… |
|
, |
|
|
|
|
Пусть = , , … , |
- базис в . Любой билинейной форме поставим в |
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
полуторалинейной формы в базисе . |
|
|
|
|
|
|
|
|
|
|
|
|
1 |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
соответствие |
|
- матрицу билинейной формы в базисе = |
|
, , … , . |
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Это отображение сюръективно (Т2.2) и инъективно (различные билинейные |
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
формы имеют различные матрицы). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Билет 2.2 Матрица билинейной (полуторалинейной) формы и ее преобразование |
|
Билет 2.3. Квадратичные формы в линейном пространстве. Матрица квадратичной |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
при переходе к другому базису. |
|
|
|
|
|
|
|
|
|
|
|
|
|
формы. Ранг квадратичной формы. Полярная билинейная форма. |
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
Определение 3.1 Билинейная форма называется симметричной, если , |
Определение 4.1 − ЛП над , , |
- симметричная билинейная форма в над |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
: , = , |
и кососимметричной, если , = − , . |
|
|
. Квадратичной формой называется |
отображение |
: × , |
такое, что |
|||||||||||||||||||||||||||||||||||||||||||||||||||
Теорема |
3.1 |
Любую |
билинейную |
форму |
можно единственным образом |
→ , . Обозначение: , |
= . |
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
представить в виде суммы симметричной и кососимметричной билинейной |
Билинейная форма , |
называется полярной к квадратичной форме , . |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
Теорема |
4.1 |
|
Полярная |
билинейная форма |
для любой квадратичной |
формы |
||||||||||||||||||||||||||||||||||||||||||||||||||||
формы. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
определена однозначно. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
, = |
1 |
, + , |
+ |
1 |
, − , . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
+ , + = , + , + , + , , , = , |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
2 |
2 |
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||
1 |
, = |
1 |
|
|
, + , |
1 , = 1 , ; |
|
|
|
|
, = |
1 |
+ , + − , − , . |
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
2 |
, |
|
= |
1 |
|
|
, |
− , |
2 |
, = −2 , . |
|
|
|
Полярная билинейная форма однозначно восстанавливается по квадратичной форме. |
||||||||||||||||||||||||||||||||||||||||||||
|
2 |
|
|
|
|
|
Единственность полярной формы позволяет переносить ее характеристики на |
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
Пусть существует другое представление: , |
= 1′ , + 2′ , |
|
квадратичную форму. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
′ , |
+ |
2 |
′ , |
= |
, |
+ |
2 |
, |
′ |
, − |
, |
= |
Определение |
|
4.2 |
|
Матрицей |
квадратичной |
формы |
в |
базисе = |
|
, , … , |
|||||||||||||||||||||||||||||||||||
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
1 |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
2 |
|
|||
2 |
, |
|
− 2′ , симметричная форма = кососимметричная форма. |
|
называется матрица полярной к ней билинейной формы , в этом базисе. |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
Билинейная |
форма, |
|
которая |
одновременно |
является |
симметричной |
и |
Из свойств билинейной формы вытекают свойства квадратичной формы. |
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
кососимметричной – это нулевая билинейная форма. единственность. |
|
1) Матрица квадратичной формы симметрична: |
= . |
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
Теорема |
3.2 |
Билинейная |
форма |
симметрична |
(кососимметрична) |
ее |
2) Любая симметричная матрица |
|
является матрицей единственной квадратичной |
|||||||||||||||||||||||||||||||||||||||||||||||||
матрица в произвольном базисе симметрична (кососимметрична). |
|
|
|
формы в заданном базисе. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
3) |
= . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
« » непосредственная проверка: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
, , … , |
|
, |
|
|
|
|
записана в виде: , |
= |
||||||||||||||||||||||||||||||||||
|
|
= , |
|
= , |
= |
симметрична; |
|
|
|
|
4) В |
базисе |
|
может |
быть |
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
1 |
2 |
|
|
|
|
|
- называется общим видом квадратичной формы |
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
|
= |
|
|
||||||||||||||||||||||||
|
|
= , |
|
= − , |
= − |
кососимметрична. |
|
|
|
|
, =1 |
|
|
|
|
|
↓ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
в базисе . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
« » = |
|
, , … , |
|
- базис в , |
|
|
|
|
|
|
|
|
|
|
Выражение , … , |
= |
|
|
|
|
|
, |
= |
называется квадратичной формой |
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
1 |
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, =1 |
|
||||||||||||||||||||||||||||
|
- |
симметричная |
матрица: |
|
= |
, = = |
|
= |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
от переменных |
, … , . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
↓ |
|
↓ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
= |
|
= , ; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
5) Рангом квадратичной формы называется ранг ее матрицы в произвольном базисе: |
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||
|
|
↓ |
|
|
|
|
|
↓ |
|
|
|
|
|
|
|
|
|
|
|
|
= − |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
- |
|
кососимметричная |
матрица: |
|
|
, |
= = |
rang , |
= rang , |
= rang . |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
↓ |
|
Квадратичная |
|
форма |
называется |
вырожденной, если |
rang , |
|
< dim , |
и |
||||||||||||||||||||||||
|
|
|
= − = − , . |
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
↓ |
|
|
|
|
|
|
|
↓ |
|
|
|
↓ |
|
|
|
|
|
|
|
|
|
|
|
|
|
невырожденной, если rang |
, |
= dim . |
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Выбирая |
|
подходящим |
образом |
базис |
|
, можно менять вид матрицы ее |
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
квадратичной формы, и, следовательно, ее общий вид. |
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Определение |
|
4.3 |
|
|
Базис |
|
= |
, , … , |
|
называется |
каноническим |
базисом |
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
квадратичной формы , , если матрица квадратичной формы в этом базисе |
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
λ1 |
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
диагональна: |
= |
|
|
|
|
|
|
.В каноническом базисе квадратичная форма имеет |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
λ |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= λ 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
вид , |
+ + λ |
|
2, |
которая называется каноническим (диагональным) |
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
видом квадратичной формы (суммой квадратов). λ1, … λ |
называют каноническими |
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
коэффициентами: λ |
|
= |
|
, . Число ненулевых коэффициентов λ |
|
совпадает с |
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
рангом |
, . |
Если |
rang , = , |
следовательно, в каноническом базисе |
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, = |
|
|
λ |
2. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Билет 2.4 Канонический вид квадратичной формы. Приведение квадратичной |
|
|
Билет 2.4 Канонический вид квадратичной формы. Приведение квадратичной |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
формы к каноническому виду методом Лагранжа |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
формы к каноническому виду методом Лагранжа |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||
Определение 4.3 Базис = |
, , … , |
|
|
называется каноническим базисом |
Дальше |
|
можно |
|
поменять |
|
|
нумерацию |
переменных |
|
|
|
|
и |
считать, что |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
квадратичной формы , , |
|
если матрица квадратичной формы в этом |
коэффициент 11 ≠ 0. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
λ1 |
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 шаг. Выделим группу слагаемых, содержащих 1: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
базисе диагональна: |
= |
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, |
|
= |
2 + 2 |
|
|
+ 2 |
|
+ + 2 |
|
|
|
+ |
|
|
|
|
|
|
. |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
λ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
11 |
1 |
|
|
12 1 2 |
|
|
|
|
|
|
|
13 1 3 |
|
|
|
|
|
|
|
1 |
|
1 |
|
|
|
|
, =2 |
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= λ 2 |
|
|
|
Дальнейшие преобразования: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
В каноническом базисе квадратичная форма имеет вид , |
+ + |
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
12 |
|
|
|
|
|
|
|
13 |
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||
λ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 1 |
|
|
|
, = |
+ 2 |
|
|
|
+ |
|
|
|
|
+ + |
|
|
|
|
|
+ |
|
|
|
|
|
|
|
= |
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
11 |
|
|
|
|
|
11 |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
2, которая называется каноническим (диагональным) видом квадратичной |
|
|
|
|
11 |
1 |
|
|
|
|
1 |
|
2 |
|
|
|
|
11 |
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
, =2 |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
12 |
|
|
13 |
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
2 |
|
|
12 |
|
|
|
|
|
|
13 |
|
|
|
|
|
|
|
|
|
|
|
1 |
|
2 |
|
|
||||||||||
формы (суммой квадратов). |
|
|
λ1, … λ |
|
называют |
|
|
каноническими |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
+ |
+ |
+ + |
|
|
− |
|
|
+ |
|
+ + |
|
+ |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
коэффициентами: |
λ |
|
= , . |
|
Число |
ненулевых |
коэффициентов |
λ |
|
11 |
|
1 |
|
|
11 |
2 |
11 |
3 |
|
|
|
|
|
11 |
|
|
|
|
11 |
|
11 |
2 |
|
|
|
11 |
|
|
3 |
|
|
|
|
|
|
11 |
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
совпадает |
с |
рангом |
, . |
|
Если |
|
|
|
rang , |
= , |
|
следовательно, в |
, =2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
||||||||||||||||||||||||||||||||||||||||||||
каноническом базисе , |
= |
|
|
|
|
λ 2. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
12 |
|
|
|
|
|
|
|
13 |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Обозначим |
, |
= |
|
|
|
|
|
− |
11 |
|
|
+ |
|
11 |
|
|
|
+ + |
11 |
|
|
|
|
– |
||||||||||||||||||||||||||||||||||||
Теорема |
5.1 |
(Лагранжа) |
|
Всякая |
|
|
|
квадратичная |
форма |
|
, |
в |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, =2 |
|
|
|
|
|
|
|
|
11 |
2 |
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
является квадратичной формой от |
|
|
− 1 переменной. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
вещественном ЛП при помощи невырожденного линейного преобразования |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Сделаем преобразование: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
координат может быть приведена к диагональному (каноническому) виду: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
ξ = + |
12 |
+ |
13 |
+ + |
1 |
|
|
= ξ − |
12 |
ξ − |
13 |
ξ − − |
|
1 |
ξ |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
, |
|
|
2 |
|
|
|
2 |
+ + λ |
|
2 |
где λ1, λ2, … , λ - вещественные числа, |
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
= λ1η1 + λ2η2 |
η , |
1 |
|
1 |
|
|
11 |
2 |
|
11 |
|
3 |
|
|
|
|
|
11 |
|
1 |
|
|
|
|
1 |
|
|
|
11 |
2 |
|
|
|
|
11 |
3 |
|
|
|
|
|
|
|
11 |
. |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
η1, η2, … , η координаты вектора в некотором новом базисе. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ξ |
= , = 2, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= ξ |
|
, = 2, |
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Метод |
математической |
индукции. = 1. |
Очевидно: , |
= 11 12 = |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ξ2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||
(5.1) Следовательно, , |
= |
|
|
|
|
+ ξ , ξ , … , ξ . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
λ1η12. Пусть при ≥ 2 утверждение верно для квадратичных форм от |
− 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
11 |
1 |
|
2 3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||
|
По предположению индукции существует невырожденное преобразование: |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
переменных. Пусть , |
- квадратичная форма от переменных в базисе |
ξ2 = α22η2 + + α2 η |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||
имеет |
вид: |
, |
= |
|
|
|
|
. |
|
|
Естественно |
предположить, |
что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
,приводящее |
квадратичную |
|
|
|
|
форму |
|
|
|
к |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
, =1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
, |
≠ 0, |
т.к. |
|
в |
противном |
|
случае |
λ |
= λ |
2 |
= = λ |
|
= 0 |
|
, |
|
ξ = α 2η2 + + α η |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= λ2η22 + + λ η2 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
приведена к каноническому виду. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
диагональному виду: |
|
|
|
|
Для |
|
исходной |
квадратичной |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
1 шаг. Покажем, что с помощью невырожденного преобразования |
формы |
|
|
|
, |
|
за |
|
преобразованием |
(5.1) |
|
|
выполним |
|
преобразование |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
квадратичную форму можно привести к виду, когда коэффициент при первой |
|
|
|
|
|
ξ1 = η1 |
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
0 |
… |
|
0 |
|
|
|
|
|
|
|
|
|
|
|
α22 |
… |
|
α2 |
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
координате вектора отличен от нуля. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ξ2 = α22η2 + + α2 |
η |
|
|
|
0 |
|
|
|
|
α22 |
… |
α2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
det |
|
|
|
|
|
= det |
|
|
|
|
|
|
|
|
|
|
≠ 0 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
1) |
Если |
11 ≠ 0, |
то |
искомое |
|
|
преобразование |
тождественное |
( |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
α 2 |
… |
|
α |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
невырожденное) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ξ = α 2η2 + + α η |
|
|
|
0 |
|
|
|
|
α 2 |
… |
α |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
2) |
Если |
11 |
= 0, |
но при некотором ≥ 2 ≠ 0 |
|
. Следовательно, |
можно |
Следовательно, |
преобразование |
|
|
(5.2) невырожденное, следовательно, |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
поменять нумерацию: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, |
|
= λ1η12 + |
λ2η22 + + λ η2 |
|
|
после конечного числа невырожденных |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
= , = , |
|
= , ≠ 1, ≠ невырожденное преобразование. |
|
|
преобразований, |
которое |
можно |
заменить |
|
одним |
|
преобразованием |
|
– |
их |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
1 |
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3) |
Рассмотрим случай, когда |
|
|
|
= |
22 |
= = |
|
.Т.к. |
|
, |
≠ 0, |
, |
произведением, первоначальную |
|
квадратичную |
|
форму можно привести |
к |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
11 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
каноническому виду. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
существует хотя бы один отличный от нуля элемент. |
Пусть |
|
≠ 0, ≠ . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= , ≠ , ≠ |
|
|
|
|
|
|
|
|
|
|
|
Замечание 1) = η |
, - матрица перехода от старого базиса к новому , |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
↓ |
|
|
|
↓ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Сделаем |
|
преобразование: |
|
|
|
|
|
|
|
|
= − |
|
|
det = 2 |
|
|
в котором квадратичная форма имеет канонический вид. Базис, в котором |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
квадратичная форма имеет канонический вид, называется каноническим. |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2) |
Канонический |
|
базис |
определен |
неоднозначно |
|
и |
в |
|
|
общем |
|
случае |
не |
||||||||||||||||||||||||||||||||||||||||||||||
преобразование |
|
|
|
|
невырожденное. , |
|
= 2 |
|
− |
|
|
+ |
+ |
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
является ортонормированным. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
= 2 |
2 − 2 |
|
2 |
+ |
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
≠,≠ |
|
≠,≠ |
|
|
≠,≠ |
≠,≠ |
|
|
|
|
3)для каждой квадр. формы, опред. в вещ. пр-ве , сущ. канонический базис. |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Билет 2.5 Приведение квадратичной формы к каноническому виду методом Якоби. |
|
Билет 2.5 Приведение квадратичной формы к каноническому виду методом Якоби. |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
11 |
|
|
1 |
|
|
В |
силу |
|
симметрии |
матрицы |
квадратичной |
|
формы |
|
|
|
|
= 0, > . |
||||||||||||||||||||||||||||||||||
Пусть |
|
в |
|
задана |
квадратичная форма , , |
= |
|
|
|
|
- |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
Следовательно, матрица |
имеет диагональный вид. При этом: |
= α . |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||
матрица квадратичной формы в базисе . |
|
|
|
|
|
|
|
|
|
|
Докажем, что α |
|
|
определяются однозначно и α |
|
= |
|
−1 |
. |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Главные миноры матрицы |
|
: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Составим систему уравнений, |
|
подставив |
= α |
|
|
+ α |
|
|
|
|
+ + α |
в |
||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
11 |
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
1 |
|
|
|
|
2 2 |
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= 11 |
|
12 , … , |
|
|
|
|
|
|
|
|
, |
|
|
(6.3): |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
0 |
|
= 1, = , |
2 |
|
|
= |
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
1 |
|
|
11 |
|
|
|
12 |
|
22 |
|
|
|
|
1 |
|
|
|
|
|
|
|
, |
|
|
= , α + α |
+ + α |
|
|
|
|
== α |
, + |
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 1 |
|
2 2 |
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
1 |
|
|
|
|
|||||||||||||||||||||
Теорема |
|
6.1 |
|
(Якоби) |
|
Пусть |
|
в |
|
|
базисе |
= |
|
, , … , |
: , |
= |
α |
|
, |
|
+ + α |
, |
|
= α |
|
+ α |
|
|
|
+ + α |
|
|
= |
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 2 |
|
|
|
|
|
|
2 |
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
1 1 |
|
|
|
|
|
2 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
и все главные миноры |
|
, |
2 |
, … , |
|
матрицы |
|
отличны от |
|
0, < , |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
, =1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
= |
1, = , |
= 1, . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(6.4) |
|
|
|
||||||||||||||||||||||
нуля. |
Тогда |
существует базис |
= |
, , … , , |
в котором |
квадратичная |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
форма , |
приводится к каноническому виду: |
|
|
|
|
|
|
|
|
|
Распишем (6.4) , = 1, 2, … : |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||
, |
= |
1 |
|
ξ |
2 |
+ |
|
1 |
ξ |
2 |
+ + |
−1 |
ξ |
2 |
где ξ , ξ , … , ξ |
|
- координаты |
вектора |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
α |
|
+ |
|
α |
|
+ + |
α |
|
= 0, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(6.5) |
|
|
|
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
1 |
1 |
|
|
|
2 |
2 |
|
|
|
|
|
|
|
|
|
|
|
1 |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
11 |
1 |
|
|
|
12 |
2 |
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
в базисе . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
21α1 + 22α2 + + 2 α = 0, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
■ Будем искать , , … , |
в виде: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
… |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 = α11 1, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
2 = α12 1 + α22 2, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1α1 + 2α2 + + α = 1, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
3 |
= α13 1 |
+ α23 2 + α33 3, |
|
|
|
|
|
|
|
|
|
|
|
(6.1) |
|
|
|
|
|
|
|
|
Систему (6.5) перепишем в матричной форме: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
… |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
11 |
|
|
12 |
|
1 |
|
α1 |
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
= α + + α . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
21 |
|
22 … |
|
|
2 |
|
α2 |
= |
0 |
, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(6.6) |
|
|
|
||||||||||||||||||||||||||||||
Или |
1 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
α11 α12 … α1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
2 … |
|
|
|
α |
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
11 |
|
|
1 |
||||||||||||||||||||||||||
= = |
|
0 α22 … α2 |
|
. |
|
|
|
|
|
|
(6.2) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Определитель |
системы |
(6.5) |
|
((6.6)): |
|
|
= |
|
|
|
|
|
|
|
|
|
|
≠ 0, |
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
… 0 α |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
следовательно, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
по правилу Крамера существует единственное решение |
|||||||||||||||||||||||||||||||||||||||||||||
Коэффициенты α |
|
|
ищем из условия: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
α |
, α |
|
|
, … , α |
неоднородной СЛАУ. Так, для α |
|
= |
−1 |
= |
|
. |
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
0, < , = 1, . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
, |
|
= |
|
|
|
|
|
|
|
|
|
|
(6.3) |
|
|
|
|
|
|
|
|
Покажем, |
|
что |
|
|
образует |
базис. Действительно, |
определитель |
матрицы |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
1, = |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
перехода имеет вид: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
α11 |
α12 |
|
… |
|
α1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Покажем, что в базисе имеет , |
диагональный вид. Рассмотрим |
; |
|
0 |
|
α22 |
|
… |
|
α2 |
|
|
|
|
|
|
|
|
|
|
|
1 1 |
|
−1 |
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= α11 ∙ α22 ∙ … ∙ α = |
|
|
|
|
|
… |
|
|
|
|
|
= |
|
|
|
|
≠ 0. |
|
|
|
|
|
||||||||||||||||
|
|
|
= , |
|
= |
α |
+ α + + α , |
|
= α |
, + |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
1 |
|
|
2 2 |
|
|
|
|
|
|
|
|
|
1 |
|
1 |
|
|
|
0 |
|
|
… |
|
0 |
|
α |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0, < . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
α |
|
|
, |
|
|
+ + +α , |
|
= |
|
|
|
|
|
|
|
|
|
|
|
Следовательно, преобразование невырожденное, следовательно, |
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
2 |
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
α , = |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
, , … , |
|
образуют базис. ■ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Билет 2.6 Закон инерции квадратичных форм. |
|
|
|
|
|
|
|
|
|
|
|
Билет 2.7. Классификация квадратичных форм в вещественном пространстве. |
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Критерий Сильвестра. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Пусть в вещественном ЛП дана квадратичная форма , ранга . |
Определение 8.1 Вещественная квадратичная форма |
, , определенная в |
||||||||||||||||||||||||||||||||||||||||||||||||
Из теоремы Лагранжа следует, что квадратичную форму можно привести к |
вещественном ЛП , называется: |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
виду: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1) |
положительно определенной, если ≠ → , |
|
> 0; |
|
|
|
|
|
|
|
||||||||
, |
|
= λ1η12 |
+ λ2η22 + + λ η2, λ1 ≠ 0, λ2 |
≠ 0, … λ |
≠ 0. |
|
|
|
2) |
отрицательно определенной, если ≠ → , |
< 0; |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
Рассмотрим невырожденное преобразование: |
|
|
|
|
|
|
|
|
|
|
|
3) |
знакопеременной, если ′ ≠ : ′ , ′ > 0, ′′ ≠ : ′′ , ′′ |
|
< 0; |
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4) |
квазиположительно определенной, если ≠ → , |
≥ 0; |
|
|
|
|
|
|
|||||||||||||||||||||||||||
ξ1 = |
|
|
λ1 η1, ξ2 = |
|
|
λ2 η2, … , ξ = |
|
|
λ η , ξ +1 = η +1, … , ξ |
= η . |
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
Следовательно, квадратичная форма примет вид |
|
|
|
|
|
|
|
|
|
|
5) |
квазиотрицательно определенной, если ≠ → , |
≤ 0. |
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
, |
|
= ζ1ξ12 + ζ2ξ22 |
+ + ζ ξ2 , |
|
|
|
|
|
|
|
|
|
(7.1) |
|
|
|
Положительно (отрицательно) определенные квадратичные формы |
|||||||||||||||||||||||||||||||||
где ζ |
принимают значения −1, 0, 1. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
называются знакоопределенными (знакопостоянными); квазиположительно |
||||||||||||||||||||||||||||||||||
Определение |
|
|
7.1 |
|
|
Выражение |
(7.1) |
называется |
|
нормальным |
видом |
(квазиотрицательно) определенные – называются квазиопределенными. |
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
- положительный индекс инерции; - отрицательный индекс инерции. |
|
|
|
||||||||||||||||||||||||||||||||||||||||||
квадратичной формы. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Теорема 8.1 Вещественная квадратичная форма является: |
|
|
|
|
|
|
|
|||||||||||||||||||||||
Теорема 7.1 (закон инерции вещественных квадратичных форм). |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
|
1) |
положительно определенной = , = 0; |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
Число положительных коэффициентов в представлении (7.1), называемых |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
положительным индексом инерции, число отрицательных коэффициентов, |
2) |
отрицательно определенной = 0, = ; |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
называемых отрицательным индексом инерции, и число нулевых |
3) |
знакопеременной ≠ 0, ≠ 0; |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
коэффициентов, называемых дефектом квадратичной формы, являются |
4) |
квазиположительно определенной < , = 0; |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
инвариантами квадратичной формы, т.е. не зависят от базиса, в котором |
5) |
квазиотрицательно определенной = 0, < . |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
данная квадратичная форма принимает нормальный вид. |
|
|
|
|
|
■ Докажем случай 1). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
■ Пусть существует два базиса, в которых имеет нормальный вид: |
|
« » Пусть , |
- |
положительно определена и |
< , |
следовательно, |
||||||||||||||||||||||||||||||||||||||||||||
= |
, , … , |
|
: , |
= ξ2 |
+ + ξ2 |
− (ξ2 |
+ + ξ2 |
), |
|
|
нормальный вид квадратичной формы: |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
1 |
2 |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
+1 |
|
|
|
|
|
+ |
|
|
|
, = ξ12 + + ξ2 − (ξ2+1 + + ξ2+ ), |
|
|
|
|
|
|
|
|
|
|||||||||||
= , , … , : , = ξ2 |
+ + ξ2 |
− (ξ2 |
+ + ξ2 |
). |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
1 |
2 |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
+1 |
|
|
|
|
|
+ |
|
|
|
Рассмотрим с координатами: ξ1 = ξ2 = = ξ = 0, ξ +1 ≠ 0, … , ξ + ≠ |
||||||||||||||||||||
Надо доказать, что = , = . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
Пусть ≠ и |
|
|
> . Рассмотрим |
|
, , … , |
|
|
- |
линейную оболочку |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
1 |
2 |
|
|
|
|
|
|
|
|
|
|
|
0, = 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
, , … , , |
|
|
|
|
|
, |
, … , - |
|
|
линейную |
оболочку |
|
, |
, … , . |
, = |
противоречие. |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
1 2 |
|
|
|
|
2 |
|
|
+1 |
|
+2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+1 |
+2 |
|
|
|
< 0, ≠ 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
dim 1 |
= , dim 2 |
= − . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
« » Пусть = нормальный вид: , = ξ12 |
+ + ξ2 > 0, ≠ , |
|||||||||||||||||||||||||||||
≥ dim 1 + 2 |
|
= dim 1 + dim 2 |
− dim 1 ∩ 2 |
= + − − |
|
, |
положительно определена. |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
dim 1 |
∩ 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Аналогично 2) – 5). ■ |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
dim 1 ∩ 2 |
≥ − > 0. |
|
|
|
|
|
|
|
0 |
1 |
∩ 2, следовательно, |
Теорема 8.2 (Критерий Сильвестра) |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
Следовательно, |
|
существует ненулевой вектор |
Пусть , = |
|
|
|
|
задана в вещественном ЛП , , |
2 |
, … , |
|
- |
||||||||||||||||||||||||||||||||||||||
|
можно разложить по векторам , , … , |
и |
|
, |
|
|
, … , : |
|
|
|
|
|
, =1 |
|
|
|
|
1 |
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
главные миноры матрицы . Тогда: |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
2 |
|
|
|
+1 |
|
+2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
= ξ + ξ + + ξ , |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1) |
, |
- положительно определена = 1, → > 0; |
|
|
|
|
|
|
|||||||||||||||||||||||||
0 |
1 |
1 |
|
2 |
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
= ξ |
|
|
|
+ ξ |
+2 |
|
+ + ξ , |
|
|
|
|
|
|
|
|
|
|
|
|
2) |
, |
- отрицательно определена 1 < 0, 2 > 0, …, |
т.е. −1 |
|
> |
|||||||||||||||||||||||||
0 |
+1 +1 |
|
|
|
|
+2 |
|
|
|
|
> 0; , = − ξ2 |
|
|
|||||||||||||||||||||||||||||||||||||
Т.к. |
|
|
≠ , |
|
, = ξ2 |
+ + ξ2 |
+ + |
0, = 1, . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
0 |
0 |
1 |
|
|
|
|
|
|
|
|
|
|
0 |
|
0 |
|
+1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ξ2 |
+ |
|
< 0, |
противоречие, |
предположение > - |
неверно. |
Аналогично |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
доказываются случаи < , > , < . ■ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Билет 2.7. Классификация квадратичных форм в вещественном пространстве. |
|
Билет 2.8. Квадратичные формы в комплексном пространстве (эрмитовы |
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Критерий Сильвестра. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
квадратичные формы) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
■ Докажем первый случай. 1) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, |
- полуторалинейная форма. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
|
« » , |
|
|
- положительно определена. Докажем, что |
|
≠ 0, = 1, . От |
: × → ; = |
, , … , |
- базис в . |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
противного. Пусть , 1 ≤ ≤ : = 0. Рассмотрим однородную СЛАУ: |
|
|
= |
|
|
|
– |
матрица |
полуторалинейной формы: , |
= |
|
, , = |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
+ + |
|
|
|
|
|
|
= 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, = |
|
|
|
, = = . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
11 1 |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, |
|
|
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
↓ |
|
|
|
|
|
|
|
|
|
|
|
→ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Определение |
9.1 |
Полуторалинейную |
|
форму |
называют |
эрмитовой, если: |
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
+ + |
|
|
|
|
|
|
|
|
= 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, = , , , . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
11 |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
det |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= = 0, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Теорема 9.1 Полуторалинейная форма эрмитова , |
|
, . |
|||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
■ « » , = , , , . |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||
|
следовательно, существует нетривиальное решение 0 |
, 0, … , 0 : |
|
|
« » Можно представить (упражнение): |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
= 0 для = 1, . |
|
|
|
|
|
|
|
|
|
|
|
(8.1) |
|
|
|
|
|
, |
= |
1 |
+ , + |
|
|
− − , − |
+ + , + |
− |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4 |
|
|
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
Умножим (8.1) на 0 |
|
и просуммируем: |
|
|
|
|
|
|
|
|
|
|
|
− , − |
|
, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||
|
0 |
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, |
= |
|
1 |
+ , + |
|
|
− − , − |
+ + , + |
− |
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
= 0, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4 |
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
=1 |
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
0 |
0 |
|
= 0 = 0 |
, 0 , |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
0 |
|
|
|
|
|
|
= |
|
|
|
|
|
|
|
|
|
|
|
|
где |
− , − |
|
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
=1 |
|
|
|
=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
, =1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
0 = |
|
0, … , 0 |
, 0, … 0 |
|
≠ , |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ , + |
− − , − |
|
+ − , − |
− + , + |
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, |
|
|
|
|
|
|
= 4 |
|
|||||||||||||||||||||||||||||||||||||||||
|
следовательно, |
|
|
|
|
|
|
противоречит |
|
|
тому, |
что |
|
- |
|
положительно |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
определенная |
|
|
|
|
|
квадратичная |
|
форма, |
, |
|
|
≠ 0, = 1, , |
, |
|
|
. ■ |
|
|
|
|
|
Полуторалинейная |
форма эрмитова |
|
|
в |
произвольном |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
приведем , |
|
|
к каноническому виду методом Якоби: |
|
|
|
|
|
|
Теорема |
9.2 |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
|
, |
|
|
= |
|
1 |
ξ |
|
2 |
+ |
|
1 |
|
ξ |
2 |
+ + |
−1 |
ξ |
|
2 |
. |
|
|
|
|
(8.2) |
|
|
|
|
|
базисе эрмитова, т.е. |
= |
|
|
( |
|
= |
|
). |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
1 |
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
■ « » , = , |
, : |
|
= , |
|
= , |
|
= . |
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
В (8.2) возьмем в качестве |
0 = |
|
0, … , ξ , 0, … 0 |
, = 1, , 0 |
, 0 |
> |
« » |
|
- эрмитова: |
|
= |
|
|
|
= |
|
; |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
0, , |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, : , = |
|
|
|
|
= |
|
|
= |
|
= |
|
|||||||||||||||||||||||||||||||
|
1 |
|
|
> 0, |
|
1 |
> 0, … , |
−1 |
|
> 0, , > 0, = 1, . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, =1 |
|
|
|
|
|
|
|
|
, =1 |
|
|
|
, =1 |
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
|
1 |
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= , . ■ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
|
« » |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, =1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Определение |
|
9.2 |
, |
|
|
- эрмитова полуторалинейная форма в |
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
Т.к. |
> 0, , |
|
> 0,то из разложения Якоби следует, что , |
> 0. |
комплексном ЛП |
. Эрмитовой квадратичной формой (эрмитовой формой) |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
называется отображение , : × → , . |
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
2) |
|
Пусть |
|
, |
- |
|
|
отрицательно |
|
определена |
, |
= (−1) , - |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
, |
|
называется полярной полуторалинейной формой к эрмитовой форме |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
положительно определена |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
−11 |
|
|
|
−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
= − |
|
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Эрмитова |
|
|
квадратичная форма |
|
обладает |
всеми |
свойствами |
|
обычных |
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
− 1 |
|
|
|
− |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
квадратичных форм. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
- |
|
главные |
миноры |
матрицы , |
тогда |
|
|
= −1 |
|
. Из |
условия |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
положительной определенности квадратичной формы , |
следует, |
что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||
|
= −1 > 0, = 1, .■ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|

Билет 2.8. Квадратичные формы в комплексном пространстве (эрмитовы квадратичные формы)
1) Полуторалинейная форма, полярная к эрмитовой форме, определена однозначно.
|
+ , + = , + , + , + , |
|
|
|
|
|
|||||||
|
|
|
|
|
= , + , + , + , |
|
|
|
|
|
|
||
= , + , + 2Re |
, , |
|
|
|
|
|
|
|
|||||
+ , + |
= , |
+ , − , + , = |
|
|
|
|
|
|
|||||
= |
|
, + , − , − , |
= , + , − |
||||||||||
|
2 Im , |
|
|
= , |
+ + , + 2Im , . |
|
|
|
|
|
|
||
Следовательно, |
|
|
|
|
|
|
|
|
|
|
|
||
Re , = |
1 |
|
+ , + − , − , , |
|
|
|
|
|
|
||||
2 |
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Im , = |
1 |
|
+ , + − , − , . |
|
|
|
|
|
|
||||
2 |
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2) |
Матрица эрмитовой формы в любом базисе эрмитова: |
= |
|
|
|
|
= |
||||||
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||
|
= |
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
a)det ,
b)= 1, ,
c) λ |
|
= |
, |
, = 1, - в каноническом базисе. |
|
|
|
|
3)Общий вид эрмитовой квадратичной формы: , = ↓.
4)= , = →
5)Канонический вид эрмитовой квадратичной формы:
, = |
|
λ |
|
|
2 , λ |
|
, = rang , . |
|
=1 |
|
|
|
|
6) Метод Лагранжа применим и для эрмитовой квадратичной формы. Изменение алгоритма состоит в том, что на любом шаге выделяется полный квадрат модуля:
|
|
|
1 |
|
2 |
|
|
, = |
+ |
|
+ , , … , . |
||||
|
|
||||||
11 |
1 |
=2 11 |
2 3 |
|
7) Формулы Якоби остаются в силе.
8) , принимает вещественные значения. Следовательно, выполняются закон инерции, критерий Сильвестра.