закон инерции квадратичной формы

Закон инерции квадратичных форм

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

Теорема 11.3 (закон инерции квадратичных форм). Число положительных и отрицательных коэффициентов в нормальном виде квадратичной формы не зависит от способа приведения квадратичной формы к нормальному виду.

Пусть квадратичная форма f ранга r от n неизвестных x1, x2, …, xn двумя способами приведена к нормальному виду, то есть

f = закон инерции квадратичной формы+ закон инерции квадратичной формы+ … + закон инерции квадратичной формызакон инерции квадратичной формы– … – закон инерции квадратичной формы,

f = закон инерции квадратичной формы+ закон инерции квадратичной формы+ … + закон инерции квадратичной формызакон инерции квадратичной формы– … – закон инерции квадратичной формы. Можно доказать, что k = l.

Определение 11.14. Число положительных квадратов в нормальной форме, к которой приводится действительная квадратичная форма, называется положительным индексом инерции этой формы; число отрицательных квадратов – отрицательным индексом инерции, а их сумма – индексом инерции квадратичной формы или сигнатурой формы f.

Если p – положительный индекс инерции; q – отрицательный индекс инерции; k = r = p + q – индекс инерции.

Классификация квадратичных форм

Было доказано, что в любом каноническом базисе f = <f1, f2, …, fn> эта квадратичная форма A(x, x) может быть приведена к нормальному виду A(x, x) = закон инерции квадратичной формы+ закон инерции квадратичной формы+ … + закон инерции квадратичной формызакон инерции квадратичной формы– … – закон инерции квадратичной формы, где 1, 2, …, n координаты вектора x в базисе <f>.

Необходимое и достаточное условие знакоопределенности квадратичной формы

Утверждение 11.1. Для того чтобы квадратичная форма A(x, x), заданная в n-мерном векторном пространстве V, была знакоопределенной, необходимо и достаточно, чтобы либо положительный индекс инерции p, либо отрицательный индекс инерции q, был равен размерности n пространства V.

При этом если p = n, то форма положительно определена (то есть для любого x ≠ 0 A(x, x) > 0).

Если же q = n, то форма отрицательно определена (то есть для любого x ≠ 0 A(x, x) 0 и A(y, y) 15 этого не требуется.

Источник

113. Закон инерции квадратичных форм

Квадратичную форму можно привести к каноническому виду различными способами.

Теорема 1. Любую квадратичную форму с действительными переменными невырожденным линейным преобразованием переменных можно привести к нормальному виду.

Доказательство. Приведем сначала квадратичную форму к каноническому виду (2) §3. Можно предположить что в полученной квадратичной форме канонического вида имеется R коэффициентов неравных нулю, среди которых имеется S положительных коэффициентов и T отрицательных коэффициентов. При этом можно неизвестные перенумеровать и форму канонического вида представить в виде:

закон инерции квадратичной формы,

Где 0 £ S £ R £ N И все коэффициенты С1, с2,…, СR положительны. Тогда невырожденное преобразование переменных

закон инерции квадратичной формы

Приводит форму F к нормальному виду,

закон инерции квадратичной формы.

Определение 2. Рангом квадратичной формы называется ранг матрицы квадратичной формы.

Теорема 2. При невырожденных линейных преобразованиях переменных ранг квадратичной формы не меняется. Ранг квадратичной формы равен числу ненулевых коэффициентов в форме канонического вида, т. е. Rang F = S+ T .

Лемма 1. Ранг произведения AB матриц не превосходит ранга каждого из его сомножителей.

Доказательство. Из определения произведения матриц следует, что столбцы матрицы AB являются линейными комбинациями столбцов матрицы A. Тогда столбцы матрицы AB выражаются через базисные столбцы матрицы A. И максимальное число линейно независимых столбцов матрицы AB меньше ранга матрицы A. Отсюда ранг матрицы AB не больше ранга матрицы A.

Из определения произведения матриц следует, что строки матрицы AB являются линейными комбинациями строк матрицы B. Тогда строки матрицы AB выражаются через базисные строки матрицы B. Отсюда ранг матрицы AB не больше ранга матрицы B. 

Лемма 2. Если один из сомножителей A или B квадратная невырожденная матрица, то ранг произведения AB равен рангу другого сомножителя.

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

Теорема 3. Число положительных и число отрицательных коэффициентов в форме канонического вида (сигнатура квадратичной формы) не зависит от способа приведения квадратичной формы к каноническому виду.

Доказательство. Допустим, что квадратичная форма F ранга R от N переменных двумя способами приведена к каноническому виду,

закон инерции квадратичной формы, (1)

Где предполагаем, что все коэффициенты СI и DI (I=1,…,N) положительны. Пусть исходные переменные связаны с новыми переменными посредством невырожденных преобразований:

Источник

Закон инерции и знакоопределенность квадратичных форм

Закон инерции вещественных квадратичных форм

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

при помощи линейной невырожденной замены переменных с действительной матрицей (см. теорему 6.1 и п.2 замечаний 6.4). Коэффициенты квадратичной формы являются действительными числами.

то получим нормальный вид квадратичной формы

в котором коэффициенты равны либо единице, либо минус единице (переменные входят с нулевыми коэффициентами).

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

Из теоремы 6.3 следует, что два канонических вида одной и той же квадратичной формы имеют:

а) одинаковое количество ненулевых слагаемых (которое определяется рангом квадратичной формы);

б) одинаковое количество слагаемых одного знака.

В самом деле, пусть квадратичная форма ранга приведена к нормальному виду (6.19)

Знакоопределенность вещественных квадратичных форм

Пример 6.11. Исследовать знакоопределенность квадратичных форм

Решение. 1) Выделим полный квадрат по переменной

Следовательно, данная форма положительно определенная.

3) Квадратичная форма неопределенная, так как она может принимать как положительные, так и отрицательные значения. Например, 0,

2. Дискриминант положительно определенной квадратичной формы больше нуля, т.е. 0″ png;base64,iVBORw0KGgoAAAANSUhEUgAAAFMAAAARBAMAAABTDI1UAAAAMFBMVEVHcEwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAlTPQ5AAAAD3RSTlMAAcBBF4GZW9AxsOCC8HGfqzT7AAABcklEQVQoz2NgoAywTMAl80gdTYBNEV2JswOEnvYVQnPCJOwvouvdqgRRywxVKiQAoRn7P6IpjXZgWoCi1AiqVDwXrJSvEKaS8RoD+0+4UkagskVQpd5On8F0RQhUKVAB8z8gzb4o/SsDS1Cbg9XvUAOwTDoTRKkgTC3fHwbmX0A6e8KMrwweC6S2OHcYg93O0sj1GWpxRQqY5gGa+glo6HeQ+fETOL8zKgmAXcBkwAp1PIOAEVgtK0Qp00eQ0v3Gxt+ASsHyRcZmX+EeMlqJMFUWpJTx/5kz4VClLE1KGt/gSq00EUolwEr3g1QpMRaAxAPA4tDwy4SFANAiti8gKn8CgztQqQLQHG8BuFLGIoi3WL6BvMTAco2B7ZuAbwtDMsNaF2CUcLYBvfob4uqKFEYII9uBqwFIzWhV+/+RU1epgGFuBzCw7v9PAOJv4KAKYYS6w0kvG5zYXFgmCjCwTASyQFhQEIRBhvEdQSSCqcDIAQA2IGnMbGi0ggAAAABJRU5ErkJggg==»/>.

4. Для отрицательно (неположительно) определенных квадратичных форм справедливы утверждения аналогичные пунктам 1-3, так как знаки форм и противоположные.

Критерий Сильвестра

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

В самом деле, рассмотрим первое утверждение теоремы (о положительной определенности). Достаточность условий (6.20) следует из теоремы 6.3 (теоремы Якоби), так как при выполнении этих неравенств квадратичная форма приводится к каноническому виду

Критерий полуопределенности квадратичной формы

Теорема 6.5 (критерий полуопределенности квадратичной формы). Для того чтобы квадратичная форма была неотрицательно определенной, необходимо и достаточно, чтобы все главные миноры ее матрицы были неотрицательны.

Для неположительной определенности квадратичной формы необходимо и достаточно, чтобы все главные миноры ее матрицы удовлетворяли условиям:

Условия (6.22) означают, что главные миноры четного порядка должны быть неотрицательны, а нечетного порядка — неположительны. Для доказательства теоремы используется критерий Сильвестра.

Пример 6.12. Выяснить знакоопределенность квадратичных форм с матрицами

главные миноры первого порядка: ;

главные миноры второго порядка: ;

Источник

Закон инерции квадратичной формы

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

Доказательство. Пусть дана форма, приведенная к каноническому виду двумя способами:

закон инерции квадратичной формы

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

закон инерции квадратичной формы

Допустим, что число положительных коэффициентов не одинаково. Будем считать, для определенности, что закон инерции квадратичной формыПоложим закон инерции квадратичной формы. Все закон инерции квадратичной формы— являются линейными формами от закон инерции квадратичной формы. Таким образом, написанная совокупность равенств есть система линейных однородных уравнений относительно закон инерции квадратичной формы. Число неизвестных равно закон инерции квадратичной формы, число уравнений равно закон инерции квадратичной формы. Поэтому система имеет нетривиальные решения. Пусть закон инерции квадратичной формы— одно из них. Соответствующие значения для закон инерции квадратичной формыобозначим через закон инерции квадратичной формыЗаметим, что закон инерции квадратичной формы. Соответствующие значения для закон инерции квадратичной формыобозначим через закон инерции квадратичной формы. Эти значения не равны одновременно нулю (иначе равнялись бы нулю закон инерции квадратичной формы), но закон инерции квадратичной формы. Поэтому среди чисел закон инерции квадратичной формыимеются отличные от нуля.

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

закон инерции квадратичной формы

Из другого представления:

закон инерции квадратичной формы

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

Для установления равенства числа отрицательных коэффициентов достаточно перейти к форме закон инерции квадратичной формыи ее каноническим представлениям

закон инерции квадратичной формы

и применить уже доказанное утверждение о равенстве положительных коэффициентов. Теорема доказана полностью.

Заметим еще, что если

закон инерции квадратичной формы

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

закон инерции квадратичной формы

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

закон инерции квадратичной формы

так что число отрицательных среди них равно указанному выше числу перемен знаков.

Источник

Квадратичные формы

Содержание

Основные определения [ править ]

Преобразование матрицы квадратичной формы при замене базиса.

[math]\widehat<\varphi_>=\Phi(\widehat,\widehat) = \Phi(\tau_i^se_s,\tau_k^te_k) = \tau_i^s\overline<\tau_k^t>\Phi(e_s,e_k)=\tau_s^i\varphi_\overline<\tau_k^t>[/math]

[math]\widehat <\Phi>= T^T \cdot \Phi \cdot \overline[/math] (для [math]\mathbb[/math] ) (*)

[math]\Phi = T^T \cdot \Phi \cdot T[/math] (для [math]\mathbb[/math] ) (**)

Приведение к каноническому виду методом Лагранжа [ править ]

Определение:
[math]\mathbb[/math] : [math]\Phi(x,x)=\displaystyle \sum_^n \lambda_i(\xi^i)^2[/math] (3)
[math]\mathbb[/math] : [math]\Phi(x,x)=\displaystyle \sum_^n \lambda_i|\xi^i|^2[/math] (4)

Приведение к каноническому виду унитарным преобразованием [ править ]

Рассмотрим (*) [math]\Phi = T^T\cdot \Phi \cdot \overline[/math] (для С)

1) [math]\sigma_ <\Phi>\in \mathcal[/math]

2) из собственных вектором [math]\Phi[/math] можно сделать ортонормированный базис [math]\mathcal[/math]

[math]\widehat <\Phi>= (\overline)^ <-1>\cdot \Phi \cdot T[/math]

Спектральный анализ [math]\Phi[/math] [ править ]

2) Ортонормированный базис из собственных векторов [math]\[/math]

[math]U = (e_1. e_n)[/math]

[math]\widehat <\Phi>= U^ <-1>\cdot \Phi[/math]

Закон инерции квадратичной формы [ править ]

Пусть [math]\Phi(x,x) = \lambda_1|\xi^1|^2+. +\lambda_p|\xi^p|^2+ \lambda_|\xi^|^2 +. +\lambda_|\xi^|^2[/math]

[math]p+q\leqslant dim E=n[/math]

[math]\lambda_i \gt 0[/math] для [math]i=1. p[/math]

[math]\lambda_j \lt 0[/math] для [math]j=p+1,p+q[/math]

[math]\widehat

+\widehat \leqslant n[/math]

[math]\widehat <\lambda_i>\gt 0[/math] для [math]i=1. \widehat

[/math]

[math]\widehat <\lambda_j>\lt 0[/math] для [math]j=\widehat

+1, \widehat

+\widehat[/math]

Надо: [math]p=\widehat

[/math] (?), [math]q=\widehat[/math] (?)

[math]\dim L + \dim \widehat = (p-\widehat

)+n \gt n[/math]

[math]\dim L + dim \widehat = dim (L+\widehat) + dim (L \cap \widehat)[/math]

[math]\dim L + dim \widehat \gt n[/math]

[math]dim (L+\widehat) \geqslant n[/math]

[math]dim (L \cap \widehat) \geqslant 1[/math]

[math]L per \widehat \ne \ \Rightarrow \exists z \in L, z \in \widehat (z \ne 0)[/math]

Одновременное приведение пары квадратичных форм к сумме квадратов [ править ]

Стало [math]\lt x,y\gt _ <\Psi>= \Psi(x,y)[/math]

[math]\lt \mathcalx,\mathcaly\gt =\lt x,y\gt [/math]

[math]\lt e_i^<'>,e_j^<'>\gt =\lt \widehat_i,\widehat_j\gt =\delta_[/math]

[math]\widehat<\Psi>(x,x)=\displaystyle \sum_^n 1 \cdot |\widehat<\xi_i>|^2[/math]

[math]\widehat<\Phi>(x,x)=\displaystyle \sum_^n \lambda_i \cdot |\widehat<\xi_i>|^2[/math]

[math]\det (\Phi^<'>-\lambda \cdot E) = 0[/math]

Источник

Добавить комментарий

Ваш адрес email не будет опубликован. Обязательные поля помечены *