Приведение квадратичной формы к каноническому виду

Пусть в векторном пространстве V над полем Р задана квадратичная форма К.

Определение 1. Если в векторном пространстве V существует такой базис е ₁,…, е _n, в котором квадратичная форма принимает вид

К (х) = , (1)

то этот вид, а также базис e ₁,…, e _n,называется каноническим.

Заметим, что число отличных от нуля коэффициентов a ₁₁,…, a_nn в (1) равно рангу r квадратичной формы, так как матрица этой квадратичной формы имеет диагональный вид и потому ранг ее совпадает с количеством ненулевых коэффициентов a_ii.

Теорема Лагранжа. Для любой квадратичной формы существует канонический базис.

Доказательство мы будем вести индукцией по размерности n векторного пространства V. При n = 1 любой базис можно считать каноническим, так как квадратичная форма имеет в этом случае вид К (х) = . Будем считать теорему справедливой для случая n- 1 и докажем ее для n. Пусть в некотором базисе e ₁,…, e _n квадратичная форма имеет вид

K (x) = . (2)

Рассмотрим первый случай, когда среди коэффициентов при квадратах координат вектора х найдется хоть один отличный от нуля. Пусть, например, a_nn ¹ 0. Составим выражение

. (3)

Нетрудно проверить, что это выражение содержит такие же слагаемые с координатой x_n, что и квадратичная форма (2). Это значит, что если мы вычтем из правой части (2) выражение (3), то получим некоторое алгебраическое выражение, не содержащее x_n, то есть

(4)

Откуда следует, что

K (x) = (5)

Сделаем переход к новому базису f ₁,…, f _n, такому, что новые координаты y_i вектора х связаны со старыми координатами равенствами

y ₁ = x _1, …, y_{n -1} = x_{n- 1}, y_n = a_{n 1} x ₁+…+ a_nnx_n. (6)

В новом базисе квадратичная форма К запишется в виде

К (х) = g (y _1,…, y_{n -1}) + , (7)

где g(y ₁,…, y_{n -1}) можно считать некоторой квадратичной формой К ₁, заданной на подпространстве L = < f ₁,…, f _{n -1} > размерности n -1 в базисе f ₁,…, f _{n- 1}. По индуктивному предположению, в L существует канонический базис этой квадратичной формы, и пусть формулы преобразования координат вектора при переходе к этому базису имеют вид:

z ₁ = b ₁₁ y ₁ +…+ b _{1 n -1} y_{n -1},

……………………… (8)

z_{n -1}= b_{n- 11} y ₁+…+ b_{n- 1 n- 1}.

Тогда, еcли х Î L, то К ₁(х) = g (y ₁,…, y_{n- 1}) = .

Присоединим к равенствам (8) равенство z_n = y_n. Тогда эти равенства можно понимать как преобразование координат при переходе к некоторому базису пространства V, в котором квадратичная форма будет иметь канонический вид

K (x) = . (9)

Рассмотрим второй случай, когда форма (2) в базисе е ₁,…, е _п имеет такой вид, в котором все коэффициенты при квадратах координат вектора равны нулю, но хотя бы один коэффициент при произведениях различных координат, например а ₁₂, отличен от нуля. Перейдем к такому новому базису, чтобы формулы преобразования координат имели вид

х ₁ = у ₁+ у ₂, х ₂ = у ₁- у ₂, х ₃ = у ₃, …, х_п = у_п. (10)

Но тогда

К (х) = … +2 ,

то есть, по крайней мере, коэффициент при квадрате одной координаты вектора отличен от нуля, и мы можем применить к квадратичной форме вышеприведенные рассуждения.

Замечание 1. Канонический вид не единственный.

Замечание 2. Пусть квадратичная форма ранга r рассматривается в векторном пространстве над полем С комплексных чисел и имеет канонический вид (1). Тогда, с точностью до нумерации координат, можем считать, что а ₁₁ ¹ 0, …, а_rr ¹ 0, a_{r +1 r +1} = … = a_nn = 0. Перейдем к новому базису с формулами перехода:

…, у_r = …, y_n = x_n.

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

К (х) = (11)

который мы будем называть нормальным.

Замечание 3. Пусть квадратичная форма ранга r задана в векторном пространстве над полем R действительных чисел и имеет канонический вид (1). Пусть, как в предыдущем случае, первые r коэффициентов отличны от нуля, причем a ₁₁>0,…, a_pp >0, a_{p +1 p +1}<0, …, a_rr <0, а остальные равны нулю. Перейдем к новому базису по формулам перехода:

…, …, …,

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

К (х) = (12)

Этот вид мы тоже будем называть нормальным видом квадратичной формы в векторном пространстве над полем действительных чисел.

Извыше сказанного следует, что любую квадратичную форму, заданную в векторном пространстве над полем действительных или комплексных чисел, можно привести к нормальному виду.

Описанный в доказательстве теоремы метод приведения квадратичной формы к каноническому виду называется методом Лагранжа.

Пример. Привести к каноническому виду квадратичную форму

Решение. Объединяя в одну группу все члены, содержащие х₁, и дополняя сумму до полного квадрата, получаем:

где

Далее объединяем в одну группу все члены, содержащие х₂:

где

Поиск по сайту: