Теорема о возможности приведения квадратичной формы к каноническому виду

Лемма 1: Если квадратичная форма (1) не содержит квадратов переменных, то с помощью линейного преобразования ее можно привести в форму, содержащую квадрат хотя бы одной переменной.

Доказательство: По условию, квадратичная форма содержит только члены с произведениями переменных. Пусть при каких-либо различных значениях i и j отличен от нуля, т.е. – один из таких членов, входящих в квадратичную форму. Если выполнить линейное преобразование , , а все остальные не менять, т.е. (определитель этого преобразования отличен от нуля), то в квадратичной форме появится даже два члена с квадратами переменных: . Эти слагаемые не могут исчезнуть при приведении подобных членов, т.к. каждый из оставшихся слагаемых содержит хотя бы одну переменную, отличную или от или от .

Пример:

, ,

Лемма 2: Если квадратная форма (1) содержит слагаемое с квадратом переменной, например и еще хотя бы одно слагаемое с переменной , то с помощью линейного преобразования, f можно перевести в форму от переменных , имеющую вид: (2), где g – квадратичная форма, не содержащая переменной .

Доказательство: Выделим в квадратичной форме (1) сумму членов, содержащих : (3) здесь через g₁ обозначена сумма всех слагаемых, не содержащих .

Обозначим

(4), где через обозначена сумма всех слагаемых, не содержащих .

Разделим обе части (4) на и вычтем полученное равенство из (3), после приведения подобных будем иметь:

. Выражение в правой части не содержит переменной и является квадратичной формой от переменных . Обозначим это выражение через g, а коэффициент через , а тогда f будет равно: . Если произвести линейное преобразование: , , определитель которого отличен от нуля, то g будет квадратичной формой от переменных , и квадратичная форма f будет приведена к виду (2). Лемма доказана.

Теорема: Любая квадратичная форма может быть приведена к каноническому виду с помощью преобразования переменных.

Доказательство: Проведем индукцию по числу переменных. Квадратичная форма от имеет вид: , которое уже является каноническим. Предположим, что теорема верна для квадратичной формы от n-1 переменных и докажем, что она верна для квадратично формы от n переменных.

Если f не содержит квадратов переменных, то по лемме 1 ее можно привести к виду, содержащему квадрат хотя бы одной переменной, по лемме 2 полученную квадратичную форму можно представить в виде (2). Т.к. квадратичная форма является зависимой от n-1 переменных , то по индуктивному предположению она может быть приведена к каноническому виду с помощью линейного преобразования этих переменных к переменным , если к формулам этого перехода еще добавить формулу , то мы получим формулы линейного преобразования, которое приводит к каноническому виду квадратичную форму , содержащуюся в равенстве (2). Композиция всех рассматриваемых преобразований переменных является искомым линейным преобразованием, приводящим к каноническому виду квадратичную форму (1).

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

От канонического вида , где , можно перейти к нормальному виду, , где , если , и , если , с помощью преобразования:

.

Пример: Привести к каноническому виду методом Лагранжа квадратичную форму:

(1)

Т.к. квадратичная форма f уже содержит квадраты некоторых переменных, то лемму 1 применять не нужно.

(2)

2.

Выделяем члены, содержащие :

(3)

(4)

3. Чтобы получить линейное преобразование, непосредственно приводящее форму f к виду (4), найдем сначала преобразования, обратные преобразованиям (2) и (3).

,

Теперь, с помощью этих преобразований построим их композицию:

Если подставить полученные значения (5) в (1), мы сразу же получим представление квадратичной формы в виде (4).

От канонического вида (4) с помощью преобразования

можно перейти к нормальному виду:

Линейное преобразование, приводящее квадратичную форму (1) к нормальному виду, выражается формулами:

Библиография:

1. Воеводин В.В. Линейная алгебра. СПБ.: Лань, 2008, 416 с.

2. Беклемишев Д. В. Курс аналитической геометрии и линейной алгебры. М.: Физматлит, 2006, 304 с.

3.Кострикин А.И. Введение в алгебру. часть II. Основы алгебры: учебник для вузов, -М.: Физико-математическая литература, 2000, 368 с.

Лекция №26 (II семестр)

Тема: Закон инерции. Положительно определённые формы.

Содержание: