Читайте также:
|
|
Опр. - квадратичная форма, если $ симметричная билинейная форма , такая, что В этом случае говорят, что - полярная билинейная форма для q.
Предложение. Полярная БФ определена однозначно, если
ð
Опр. Матрица квадратичной формы q в базисе - матрица ее полярной БФ.
Пример. Пусть для . Тогда .
Опр. Ранг квадратичной формы – ранг полярной БФ.
Опр. - невырожденная квадратичная форма, если (т.е. )
Опр. Канонический вид квадратичной формы
Опр. Нормальный вид квадратичной формы , и все
Алгоритм Лагранжа (приведения к каноническому виду).
Пусть . Метод заключается в выделении полных квадратов.
ð (1) Пусть , например, . Тогда где т.е. p (x) не зависит от x 1. Положим
Тогда , где Следовательно, и можно считать, что C -1 - матрица перехода к некоторому новому базису, в котором вектор имеет вид
По индукции $ невырожденная замена переменных такая, что Положим Тогда где и - координаты в некотором базисе, т.к. Y = DX, и
(2) Предположим, что Пусть . Сделаем замену Тогда и где в нет Далее как в п. (1).
(3) Все ð
8. Вещественные квадратичные формы
Пусть V – пространство над - квадратичная форма на V. Тогда в V существует базис, в котором q (x) имеет нормальный вид где - не зависит от выбора базиса.
Теорема. (закон инерции) Число положительных и отрицательных коэффициентов в нормальном виде квадратичной формы не зависит от выбора базиса (т.е. s и r-s всегда одни и те же).
Пусть (в базисе ) (в базисе ). Предположим, что t < s. Обозначим Тогда Пусть Т.к. то где Аналогично, q (a) £ 0 т.к. Противоречие. Следовательно, t не может быть меньше s и наоборот. ð
Опр. Если то s – положительный индекс инерции, а число (r – s) – отрицательный индекс инерции q.
Опр. Квадратичные формы p (x) и q (x) эквивалентны, если существует невырожденная матрица A, такая, что , где P и Q – матрицы p и q.
Следствие. Формы p(x) и q(x) эквивалентны Û положительные и отрицательные индексы инерции совпадают.
ð 1) Ü Приведем к нормальному виду.
2) Þ аналогично. ð
Дата добавления: 2015-10-26; просмотров: 110 | Нарушение авторских прав
<== предыдущая страница | | | следующая страница ==> |
Единственность ЖНФ | | | Ортогональные дополнения |