Метод выделения квадратов (Лагранжа).

Базис называется каноническим для симметричной (эрмитовой) билинейной функции, если ее матрица в этом базисе диагональная.

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

Доказательство проведём индукцией по рангу r матрицы эрмитовой формы F. Если r=0, то матрица нулевая, утверждение очевидно. Допустим, что теорема верна для r-1. Докажем ее истинность для r. Рассмотрим три случая

а) , тогда положим и , где k>1. В данном случае матрица перехода S будет отличаться от единичной матрицы только первой строкой, равной и S[x]=[x’], Q[x’]=[x], где . Матрица Q отличается от единичной матрицы только первой строкой, равной (1, ,…, ) . После замены координат, получим матрицу билинейной формы , которая имеет следующий блочный вид . Поскольку ранг равен r-1, то по предположению индукции эрмитову матрицу можно привести к каноническому виду. Пусть . Тогда и теорема в этом случае доказана.

б) и существует k, что переставим первый и k базисные вектора, и далее перейдем к пункту а).

в) для всех k и найдётся не нулевой элемент , где . Возможны два случая:

1. тогда прибавим к k базисному вектору l базисный вектор и получим случай б)
2. тогда прибавим к k базисному вектору l базисный вектор, умноженный на i, и получим случай б). Теорема доказана.

Базис эрмитовой билинейной функции f(x,y) называется нормальным, если матрица билинейной функции в этом базисе имеет диагональный вид, и ее главная диагональ равна (1,..,1,-1,..,-1,0..,0).

Для отыскания матрицы перехода можно поступать следующим образом. Припишем к матрице F единичную матрицу справа. Затем будем производить элементарные преобразования со строками расширенной матрицы и столбцами матрицы F. Причем, если к строке k прибавим строку j, умноженную на число , то затем к столбцу k прибавим столбец j, умноженный на число . После приведения матрицы F к диагональному виду справа будет расположена матрица, все элементы которой комплексно сопряжены к матрице перехода.

Следствие 4.5 Для эрмитовой формы существует нормальный базис если поле R или C.

Доказательство. Построим канонический базис. Далее, если , то умножим j базисный вектор на число . Затем перестановкой базисных векторов приведем матрицу к нормальному виду.

Следствие 4.6 Если все угловые миноры матрицы F отличны от нуля, то существует верхняя треугольная матрица Q, которая приводит F к диагональному виду.

Доказательство проведем индукцией по рангу F. По теореме Лагранжа существует матрица Q, приводящая F к диагональному виду. Докажем, что она верхняя треугольная матрица. Обозначим через угловой минор j-го порядка матрицы F. Так как , то выполняется пункт а) теоремы Лагранжа. Матрица перехода Q верхняя треугольная. Угловой минор матрицы порядка k-1, умноженный на , равен (угловому минору порядка k матрицы F ). По предположению индукции, найдется

верхняя треугольная матрица Q’, приводящая матрицу к диагональному виду. Но тогда - верхняя треугольная матрица, а - диагональная матрица.