Материал: Алгебра. курс лекций часть 4. Майорова С.П., Завгородний М.Г

ортогонален этим векторам). Применяя процесс ортогонализации Грама-Шмидта, получим

f1 = X1 = (−12,1,0) ,

f2 = X2 +α f1 , где α = 25 ,

откуда находим

f2 = (4 5, 2 5,1) .

Тогда ортогональный базис из собственных векторов имеет вид

f1 = (−12,1,0) , f2 = (4 5, 2 5,1) , f3 = X3 = (2,1, −2) .

Нормируем эти векторы, получим канонический базис:

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

A(x, x) = −3(x1′)2 −3(x2′ )2 +6(x3′)2 .

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

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

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

Доказательство. Пусть в вещественном линейном пространстве L , dim L = n , задана квадратичная форма A(x, x) .

Пусть B : e1,..., en и B′: e1′,..., en′ - два канонических базиса

тельных коэффициентов в разных формах записи квадратич-

и подпространство L2 , порожденное векторами ek′+1,..., en′ . Тогда dim L1 = p , dim L2 = n −k . В силу теоремы Грассмана

(см. п.1.6) имеем:

dim(L1 ∩L2 ) = dim L1 +dim L2 −dim(L1 + L2 ) =

= p +(n −k) −dim(L1 + L2 ) = (n −dim(L1 + L2 )) + p −k .

этот вектор можно разложить как по базису подпространства L1 , так и по базису подпространства L2 :

x0 =α1e1 +... +αpep ,

x0 = βk+1ek′+1 +... + βnen′ ,

причем среди чисел α1,...,αp и βk+1,..., βn есть ненулевые. Подставим вектор x0 в равенство (24), получим:

A(x0 , x0 ) = λ1α12 +... +λpα2p > 0 ,

так как все λi > 0 и среди чисел αi есть отличные от нуля. С другой стороны, подставляя x0 в (25), получим:

так как k +m ≤ n и поэтому все βi могут оказаться равными нулю.

Таким образом, A(x0 , x0 ) > 0 , и в то же время A(x0 , x0 ) ≤ 0 . Полученное противоречие означает, что предположение p > k неверно, а значит p ≤ k .

Аналогично доказывается, что p ≥ k (достаточно предположить, что p < k ).

Итак, условия p ≤ k и p ≥ k должны выполняться одновременно. Следовательно, p = k , т.е. число положитель-

ных коэффициентов в (24) и (25) должно быть одинаковым. Таким же образом доказывается, что q = m . ■

Определение. Число положительных коэффициентов в каноническом виде квадратичной формы называется поло-

жительным индексом инерции, число отрицательных коэффициентов называется отрицательным индексом инерции.

Положительный и отрицательный индекс инерции обозначают соответственно ρ+ и ρ− .

Доказанная теорема означает, что положительный и отрицательный индексы инерции квадратичной формы не зависят от выбора канонического базиса.

5.7.Знакоопределенные квадратичные формы

Определение. Квадратичная форма A(x, x) называется

положительно определенной, если A(x, x) > 0 для любого

вектора x ≠θ .

Определение. Квадратичная форма A(x, x) называется

отрицательно определенной, если A(x, x) < 0 для любого

вектора x ≠θ .

Такие формы называют знакоопределенными.

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

Теорема 45. Квадратичная форма A(x, x) положи-

тельно определена тогда и только тогда, когда ее положительный индекс инерции совпадает с размерностью пространства.

Доказательство. 1) Пусть квадратичная форма A(x, x) задана в n -мерном пространстве и является положительно определенной, т.е. A(x, x) > 0 x ≠θ . Покажем, что ρ+ = n .

Предположим противное. Пусть ρ+ < n . Это означает, что в каноническом виде квадратичной формы

A(x, x) = λ1x12 +... +λn xn2

есть коэффициент λi ≤ 0 . Рассмотрим вектор x0 , у которого

в каноническом базисе i -ая координата равна единице, а все остальные координаты равны нулю, т.е. x0 = (0,...,0,1,0,...,0) . Тогда

A(x0 , x0 ) = λi x02i = λi ≤ 0 ,

но последнее неравенство противоречит положительной определенности квадратичной формы. Следовательно, предпо-

Следствие. Квадратичная форма отрицательно определена тогда и только тогда, когда ρ− = n .

Доказательство. Пусть A(x, x) - положительно определенная квадратичная форма, значит ρ+ = n . Тогда квадратичная форма B(x, x) = −A(x, x) будет отрицательно опреде-

лена, и для нее ρ− = n . ■

Если канонический вид квадратичной формы неизвестен, то для выяснения знакоопределенности удобно пользоваться другой теоремой. Предварительно введем необходимые обозначения.

Рассмотрим квадратичную форму A(x, x) в некотором базисе:

n n

A(x, x) = ∑∑aij xi x j .

i=1 j=1

Пусть A = (aij ) - матрица этой квадратичной формы. Обо-

Теорема 46 (критерий Сильвестра). Квадратичная форма A(x, x) является положительно определенной тогда

и только тогда, когда все угловые миноры ее матрицы положительны, т.е. ∆1 > 0 , ∆2 > 0 , … , ∆n > 0 .

Следствие. Квадратичная форма является отрицательно определенной тогда и только тогда, когда знаки угловых миноров ее матрицы чередуются, причем ∆1 < 0 .

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

A(x, x) = 9x12 +6x22 +6x32 +12x1x2 −10x1x3 −2x2 x3 ,

B(x, x) =12x1x2 −12x1x3 +6x2 x3 −11x12 −6x22 −6x32 ,

C(x, x) = x12 −15x22 +4x1x2 −2x1x3 +6x2 x3 .

1) Матрица квадратичной формы A(x, x) имеет вид:

Откуда находим

∆1 = 9 > 0 ,

96

∆2 = 6 6 =18 > 0 ,

Таким образом, все угловые миноры положительны. Следовательно, A(x, x) - положительно определенная квадратич-

ная форма.

б) Для квадратичной формы B(x, x) находим

откуда

∆1 = −11 < 0 ,

∆2 = 30 > 0 ,

∆3 = −81 < 0 .

Таким образом, знаки угловых миноров чередуются, начиная с минуса. Следовательно, B(x, x) - отрицательно определен-

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

в) Для квадратичной формы C(x, x) получаем:

откуда находим

∆1 =1 > 0 , ∆2 = −19 < 0 .

Таким образом, знаки угловых миноров ∆1 и ∆2 ме-

няются с + на − . Следовательно, данная квадратичная форма C(x, x) не является знакоопределенной, это форма общего

вида.

5.8.Квадратичные формы в комплексном пространстве

В комплексном пространстве аналогом вещественных квадратичных форм являются так называемые эрмитовы квадратичные формы.

Пусть L - комплексное линейное пространство. Определение. Отображение A : L ×L → называется

полуторалинейной формой в пространстве L , если для лю-

бых x, y, z L и любого λ верно:

1)A(x + y, z) = A(x, z) + A( y, z) ,

2)A(λx, y) = λA(x, y) ,

3)A(x, y + z) = A(x, y) + A(x, z) ,

4)A(x, λy) = λ A(x, y) .

Определение. Полуторалинейная форма A(x, y) назы-

вается эрмитовой, если A(x, y) = A( y, x) для любых x, y L .

Пример 59. Скалярное произведение в унитарном пространстве

(x, y) = x1 y1 + x2 y2 +... + xn yn

является эрмитовой полуторалинейной формой.

Пусть A(x, y) - эрмитова полуторалинейная форма.

Положим x = y . Получим A(x, x) - эрмитову квадратичную форму.

Замечаем, что в этом случае верно A(x, x) = A(x, x) при

всех x L , значит эрмитова квадратичная форма принимает только действительные значения.

Эрмитовы квадратичные формы обладают свойствами, аналогичными свойствам вещественных квадратичных форм. Сформулируем их.

1) Эрмитова квадратичная форма в координатах записывается в виде

n n

A(x, x) = ∑∑aij xi x j ,

i=1 j=1

где A = (aij ) - матрица эрмитовой формы, и эта матрица обладает свойством:

aij = A(ei , e j ) = A(e j , ei ) = a ji ( i, j =1, n ).

2) Канонический вид эрмитовой квадратичной формы:

A(x, x) = λ1x1x1 +λ2 x2 x2 +... +λn xn xn =

= λ1 | x1 |2 +λ2 | x2 |2 +... +λn | xn |2 ,

где λi .

3)Верен закон инерции: Если эрмитова квадратичная форма в двух разных базисах приведена к каноническому виду, то число положительных и отрицательных коэффициентов в обоих случаях одно и то же.

4)Понятие положительно определенной формы и критерий Сильвестра также переносятся на комплексный случай без изменения.