ИНЕРЦИИ ЗАКОН

квадратичных форм - теорема, утверждающая, что при любом способе приведения квадратичной формы

с действительными коэффициентами к сумме квадратов

посредством линейной замены переменных

где Q- невырожденная матрица с действительными коэффициентами, число р(соответственно га) таких индексов i, что b_i>0 (соответственно b_i<0), остается неизменным. В этой классич. форме И. з. установлен Дж. Дж. Сильвестром (J. J. Sylvester). Это утверждение иногда называют также теоремой Сильвестра.

В современной форме И. з.- это следующее утверждение о свойствах симметрических билинейных форм над упорядоченными полями. Пусть Е- конечномерное векторное пространство над упорядоченным полем k, снабженное невырожденной симметрия, билинейной формой f. Тогда существует такое целое число что для любого ортогонального относительно f базиса е ₁, ..., e_s в Есреди s элементов

имеется в точности рположительных и в точности п=s -ротрицательных. Пара ( р, п )наз. сигнатурой билинейной формы f, а число п- ее индексом инерции. Две эквивалентные формы имеют одинаковую сигнатуру. Если k- евклидово поле, то равенство сигнатур является достаточным условием для эквивалентности билинейных форм. Если индекс инерции n=0, форма наз. положительно определенной, а при р=0 - отрицательно определенной. Эти случаи характеризуются тем, что f(x, х)>0 (соответственно f(x, x)<0 )для любого ненулевого вектора Из И. з. вытекает, что Еесть ортогональная относительно f прямая сумма подпространств

таких, что сушение f на Е ₊ является положительно определенной, а сужение f на Е _- - отрицательно определенной билинейной формой и

(так что размерности пространств Е ₊ и Е _- не зависят от способа разложения).

Иногда сигнатурой формы f наз. разность

Если формы f и gопределяют один и тот же элемент кольца Витта W(k)поля k,то s(f)=s(g). Более того, = s(f₁)+s(f₂), =s(f₁)s(f₂) для любых невырожденных форм f₁ и f₂, и s(<1>)=1, так что отображение определяет гомоморфизм кольца W(k)в кольцо целых чисел Z. Если k - евклидово поле, то этот гомоморфизм является изоморфизмом.

И. з. обобщается на случай эрмитовой билинейной формы над максимальным упорядоченным полем k, над квадратичным расширением кили над телом кватернионов над k(см. [1], [4]).

Лит.:[1] Бурбаки Н., Алгебра. Модули, кольца, формы, пер. с франц., М., 1966; [2] Ленг С, Алгебра, пер. с англ., М., 1968; [3] Артин Э., Геометрическая алгебра, пер. с англ., М., 1969; [4] Мilnоr J., Husemoller D., Symmetric bilinear forms, В.-Hdlb.-N.Y., 1973. В. Л. Попов.