КАТЕГОРИИ: Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748) |
Приведение квадратичных форм к нормальному виду элементарными преобразованиями
Метод выделения квадратов (Лагранжа). Приведение квадратичных форм (симметричных билинейных форм, эрмитовых форм) к простейшему виду. Базис Теорема 4.3 Лагранжа. Для любой эрмитовой функции существует канонический базис. Доказательство проведём индукцией по рангу r матрицы эрмитовой формы F. Если r =0, то матрица нулевая, утверждение очевидно. Допустим, что теорема верна для r -1. Докажем ее истинность для r. Рассмотрим три случая а) б) в)
Базис эрмитовой билинейной функции f (x,y) называется нормальным, если матрица билинейной функции в этом базисе имеет диагональный вид, и ее главная диагональ равна (1,..,1,-1,..,-1,0..,0). Для отыскания матрицы перехода можно поступать следующим образом. Припишем к матрице F единичную матрицу справа. Затем будем производить элементарные преобразования со строками расширенной матрицы и столбцами матрицы F. Причем, если к строке k прибавим строку j, умноженную на число Следствие 4.5 Для эрмитовой формы существует нормальный базис если поле R или C. Доказательство. Построим канонический базис. Далее, если Следствие 4.6 Если все угловые миноры матрицы F отличны от нуля, то существует верхняя треугольная матрица Q, которая приводит F к диагональному виду. Доказательство проведем индукцией по рангу F. По теореме Лагранжа существует матрица Q, приводящая F к диагональному виду. Докажем, что она верхняя треугольная матрица. Обозначим через верхняя треугольная матрица Q’, приводящая матрицу Симметричные матрицы A и F назовем конгруэнтными, если найдется невырожденная матрица P, что
Легко проверить, что предложенный алгоритм построит диагональную матрицу конгруэнтную исходной матрице. Преобразованиями вида Если приписать справа единичную матрицу, то элементарные преобразования можно запомнить в ней.
Дата добавления: 2014-01-05; Просмотров: 1848; Нарушение авторских прав?; Мы поможем в написании вашей работы! |