Сущность уравнений квадратичной формы и их приведение к каноническому виду
Контрольная работа - Математика и статистика
Другие контрольные работы по предмету Математика и статистика
° переводится в форму невырожденным действительным преобразованием. Уже известно, что преобразование не меняет ранга формы. Оно и не может менять сигнатуры, так как противном случае и приводились бы к различным нормальным видам, а тогда и форма приводилась бы, в противоречие с законом инерции, к этим обоим нормальным видам. Обратно, если формы и имеют одинаковые ранги и одинаковые сигнатуры, то они приводятся к одному и тому же нормальному виду и поэтому могут быть переведены друг в друга.
Если дана квадратичная форма в каноническом виде,
, (26)
с неравными нулю действительными коэффициентами, то ранг этой формы равен . Если приводить такую форму к нормальному виду, то можно увидеть, что положительный индекс инерции формы равен числу положительных коэффициентов в правой части равенства (3.9). Отсюда и вытекает такой результат:
Квадратичная форма тогда и только тогда будет иметь форму (26) своим каноническим видом, если ранг формы равен , а положительный индекс инерции этой формы совпадает с числом положительных коэффициентов в (26).
2.2 Распадающиеся квадратичные формы
Перемножая любые две линейные формы от неизвестных,
мы получим, очевидно, некоторую квадратичную форму. Не всякая квадратичная форма может быть представлена в виде произведения двух линейных форм, и для этого необходимо ввести условие, при которых это имеет место, то есть при которых квадратичная форма является распадающейся.
Комплексная квадратичная форма распадается тогда и только тогда, если ее ранг меньше или равен двум. Действительная квадратичная форма распадается тогда и только тогда, если ее ранг не больше единицы, или же он равен нулю, а сигнатура равна нулю.
Для начала необходимо рассмотреть произведение линейных форм и . Если хотя бы одна из этих форм нулевая, то их произведение будет квадратичной формой с нулевыми коэффициентами, то есть оно имеет ранг 0. Если линейные формы и пропорциональны, , причем и форма ненулевая, то пусть, например, коэффициент . Тогда невырожденное линейное преобразование
при
приводит квадратичную форму к виду
.
Справа стоит квадратичная форма ранга 1, а поэтому и квадратичная форма имеют ранг 1. Если же, линейные формы и не являются пропорциональными, то пусть, например,.
Тогда линейное преобразование
,
,
при
будет невырожденным; оно приводит квадратичную форму к виду
.
Справа стоит квадратичная форма ранга 2, имеющая в случае действительных коэффициентов сигнатуру 0.
Необходимо перейти к доказательству обратного утверждения. Квадратичная форма ранга 0 может, конечно, рассматриваться как произведение двух линейных форм, одна из которых нулевая. Далее, квадратичная форма ранга 1 невырожденная линейным преобразованием приводится к виду
,
то есть к виду
.
Выражая линейно через , получится представление формы в виде произведения двух линейных форм. Тогда действительная квадратичная форма ранга 2 и сигнатуры 0 приводится невырожденным линейным преобразованием к виду .
К этому же виду может быть приведена любая комплексная квадратичная форма ранга 2. Однако
,
но справа, после замены и их линейными выражениями через , будет стоять произведение двух линейных форм. Теорема доказана.
3. Положительно определенные формы
Квадратичная форма от неизвестных с действительными коэффициентами называется положительно определенной, если она приводится к нормальному виду, состоящему из положительных квадратов, то есть если и ранг, и положительный индекс инерции этой формы равны числу неизвестных.
Теорема. Квадратичная форма от неизвестных с действительными коэффициентами тогда и только тогда будет положительно определенной, если при всяких действительных значениях этих неизвестных, хотя бы одно из которых отлично от нуля, эта форма получает положительные значения.
Доказательство. Пусть форма положительно определенная, то есть приводится к нормальному виду
, (27)
причем
, (28)
с отличным от нуля определителем из действительных коэффициентов . Если подставить в произвольные действительные значения неизвестных , хотя бы одно из которых отлично от нуля, то можно подставить их сначала в (28), а затем значения полученные, для всех , - в (27). Значения, полученные для из (28), не могут все сразу равняться нулю, так как иначе получилось бы, что система линейных однородных уравнений обладает ненулевым решением, хотя ее определитель отличен от нуля. Подставляя найденные для значения в (27), получатся значения формы , равное сумме квадратов действительных чисел, которые не все равны нулю; это значение будет строго положительным.
Обратно, пусть форма не является положительно определенной, то есть или ранг, или положительный индекс инерции меньше . Это означает, что в нормальном виде этой формы, к которому она приводится, невырожденным линейным преобразованием (28), квадрат хотя бы одного из новых неизвестных, например , или отсутствует совсем, или же содержится со знаком минус. В этом случае можно подобрать такие действительные значения для неизвестных , которые не все равны нулю, что значения формы при этих значениях неизвестных равно нулю или даже отрицательно. Такими будут, например, те значения для , которые мы получим, решая по прави?/p>