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

 

Теория квадратичных форм берёт своё начало в аналитической геометрии, а именно в теории кривых второго порядка. Известно, что уравнение центральной кривой второго порядка на плоскости, после перенесения начала прямоугольных координат в центр этой кривой, имеет вид

. (1)

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

(2)

что в новых координатах уравнение нашей кривой будет иметь «канонический» вид

, (3)

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

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

Обобщая выражение, состоящее в левой части уравнения (1), приходим к следующему понятию.

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

Считая, что в квадратичной форме уже сделано приведение подобных слагаемых, введем следующие обозначения для коэффициентов этой формы: коэффициент при обозначим через , а коэффициент при произведении для через . Так как, однако, , то коэффициент при этом произведении мог бы быть обозначен и через , т.е. введенные нами обозначения предполагают справедливость равенства

. (4)

Слагаемое можно записать теперь в виде , а всю квадратичную форму в виде суммы всевозможных слагаемых , где и уже независимо друг от друга принимают значения от до :

, (5)

в частности, при получается слагаемое .

Из коэффициентов можно составить, очевидно, квадратную матрицу порядка , она называется матрицей квадратичной формы , а ее ранг рангом этой квадратичной формы. Если, в частности, , т.е. матрица – невырожденная, то и квадратичная форма называется невырожденной. Ввиду равенства (4) элементы матрицы , симметричные относительно главной диагонали, равны между собой, т.е. матрица симметрическая. Обратно, для любой симметрической матрицы го порядка можно указать вполне определенную квадратичную форму (5) от неизвестных, имеющую элементы матрицы своими коэффициентами.

УТВЕРЖДЕНИЕ 1. Матрица, полученная транспонированием произведения, равна произведению матриц, получающихся транспонированием сомножителей, притом взятых в обратном порядке,

(6)

ДОКАЗАТЕЛЬСТВО. Действительно, если произведение . определено, то будет определено, как легко проверить, и произведение : число столбцов матрицы равно числу строк матрицы . Элемент матрицы , стоящий в ее ой строке и ом столбце, в матрице расположен в ой строке и ом столбце. Он равен, поэтому, сумме произведений соответственных элементов ой строки матрицы и го столбца матрицы , т.е. равен сумме произведений соответственных элементов го столбца матрицы и ой строки матрицы . □

УТВЕРЖДЕНИЕ 2. Матрица тогда и только тогда будет симметрической, когда она совпадает со своей транспонированной, т.е.

. □

Обозначим теперь через столбец, составленный из неизвестных,

.

Транспонируя эту матрицу, получим матрицу

.

Квадратичная форма (5) с матрицей может быть записана теперь в виде следующего произведения:

(7)

Действительно, произведение будет матрицей, состоящей из одного столбца:

.

Умножая эту матрицу слева на матрицу , мы получим «матрицу», состоящую из одной строки и одного столбца, а именно правую часть равенства (5).

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

. (8)

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

Обозначая через столбец из неизвестных , запишем линейное преобразование (8) в виде матричного равенства:

. (9)

ТЕОРЕМА 1. Квадратичная форма от неизвестных, имеющая матрицу , после выполнения линейного преобразования неизвестных с матрицей превращается в квадратичную форму от новых неизвестных, причем матрицей этой формы служит произведение .

ДОКАЗАТЕЛЬСТВО. Так как , то по (6) имеем:

. (10)

Подставляя (9) и (10) в запись (7) формы , получаем:

,

или

,

где

.

Матрица будет симметрической, так как ввиду равенства (6), справедливого, очевидно, для любого числа множителей, и равенства , равносильного симметричности матрицы , имеем:

. □

УТВЕРЖДЕНИЕ 3. Ранг квадратичной формы не меняется при выполнении невырожденного линейного преобразования.

ДОКАЗАТЕЛЬСТВО. Докажем вначале, что ранг произведения матриц не выше ранга сомножителей. Действительно, каждая строка произведения двух матриц и является линейной комбинацией строк матрицы , а поэтому, ранг не выше ранга . Аналогично, столбцы матрицы являются линейными комбинациями столбцов матрицы , значит, ранг не выше ранга .

Пусть теперь , где невырожденная матрица, тогда ранг не выше ранга . Аналогично, , следовательно, ранг не выше ранга . □

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

. (11)

Этот специальный вид квадратичной формы называется каноническим.

УТВЕРЖДЕНИЕ 4. Число отличных от нуля коэффициентов в (11) равно рангу формы .

ДОКАЗАТЕЛЬСТВО. Пусть квадратичная форма от неизвестных уже приведена невырожденным линейным преобразованием к каноническому виду (11), где новые неизвестные. Некоторые из коэффициентов могут, конечно, быть нулями. Матрица этой квадратичной формы имеет диагональный вид