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

3 семестр экзамен / Algebra_2_razdel

.pdf
Скачиваний:
27
Добавлен:
10.05.2014
Размер:
686.64 Кб
Скачать

Билет 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) , принимает вещественные значения. Следовательно, выполняются закон инерции, критерий Сильвестра.

Соседние файлы в папке 3 семестр экзамен