рефераты конспекты курсовые дипломные лекции шпоры

Реферат Курсовая Конспект

Положительно определенные формы.

Положительно определенные формы. - раздел Математика, АЛГЕБРА Квадратичная Форма ...

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

ТЕОРЕМА. 1. Квадратичная форма от неизвестных с действительными коэффициентами тогда и только тогда будет положительно определенной, когда при всяких действительных значениях этих неизвестных, хотя бы одно из которых отлично от нуля, эта форма получает положительные значения.

ДОКАЗАТЕЛЬСТВО. Пусть форма положительно определенная,
т. е. приводится к нормальному виду

, (1)

причем

(2)

с отличным от нуля определителем из действительных коэффициентов . Подставим в произвольные действительные значения неизвестных , хотя бы одно из которых отлично от нуля. Для этого подставим их сначала в (2), а затем значения, полученные для всех в (1). Заметим, что значения, полученные для из (2), не могут все сразу равняться нулю, так как иначе мы получили бы, что система линейных однородных уравнений

,

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

Обратно, пусть форма не является положительно определенной, т. е. или ее ранг, или положительный индекс инерции меньше . Это означает, что в нормальном виде этой формы, к которому она приводится, скажем, невырожденным линейным преобразованием (2), квадрат хотя бы одного из новых неизвестных, например , или отсутствует совсем, или же содержится со знаком минус.

Покажем, что в этом случае можно подобрать такие действительные значения для неизвестных , которые не все равны нулю, что значение формы при этих значениях неизвестных равно нулю или даже отрицательно. Такими будут, например, те значения, для , которые мы получим, решая по правилу Крамера систему линейных уравнений, получающихся из (2) при . Действительно, при этих значениях неизвестных форма равна нулю, если не входит в нормальный вид этой формы, и равна , если входит в нормальный вид со знаком минус. □

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

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

,

из которых последний совпадает, очевидно, с определителем матрицы , называются главными минорами формы .

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

ДОКАЗАТЕЛЬСТВО. Действительно, после преобразования мы получаем квадратичную форму с матрицей , однако, ввиду ,

,

т. е. определитель умножается на положительное число. □

ТЕОРЕМА. 2. Квадратичная форма от неизвестных с действительными коэффициентами тогда и только тогда будет положительно определенной, если все ее главные миноры строго положительны.

ДОКАЗАТЕЛЬСТВО. Воспользуемся индукцией по количеству неизвестных. При теорема верна, так как форма имеет в этом случае вид и поэтому положительно определена тогда и только тогда, если . Будем, поэтому доказывать теорему для случая неизвестных, предполагая, что для квадратичных форм от неизвестных она уже доказана.

Пусть дана квадратичная форма

.

Ее можно записать в виде

, (3)

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

Главные миноры формы совпадают, очевидно, со всеми, кроме последнего, главными минорами формы .

Пусть форма положительно определена. Форма также будет в этом случае положительно определенной: если бы существовали такие значения неизвестных не все равные нулю, при которых форма получает не строго положительное значение, то, полагая дополнительно , мы получили бы, ввиду (3), также не строго положительное значение формы , хотя не все значения неизвестных равны нулю. Поэтому, по индуктивному предположению, все главные миноры формы , т. е. все главные миноры формы , кроме последнего, строго положительны. Что же касается последнего главного минора формы , т. е. определителя самой матрицы , то его положительность вытекает из следующих соображений: форма , ввиду ее положительной определенности, невырожденным линейным преобразованием приводится к нормальному виду, состоящему из положительных квадратов. Определитель этого нормального вида строго положителен, а поэтому ввиду сделанного выше замечания положителен и определитель самой формы .

Пусть теперь строго положительны все главные миноры формы . Отсюда вытекает положительность всех главных миноров формы , т. е., по индуктивному предположению, положительная определенность этой формы. Существует, следовательно, такое невырожденное линейное преобразование неизвестных , которое приводит форму к виду суммы положительных квадратов от новых неизвестных . Это линейное преобразование можно дополнить до (невырожденного) линейного преобразования всех неизвестных , полагая . Ввиду (3) форма приводится указанным преобразованием к виду

(4)

точные выражения коэффициентов для нас несущественны. Так как

то невырожденное линейное преобразование

приводит, ввиду (4), форму к каноническому виду

(5)

Для доказательства положительной определенности формы остается доказать положительность числа . Определитель формы, стоящей в правой части равенства (5), равен . Этот определитель должен, однако, быть положительным, так как правая часть равенства (5) получена из формы двумя невырожденными линейными преобразованиями, а определитель формы был, как последний из главных миноров этой формы, положительным. □

Пример 3. Квадратичная форма

положительно определена, так как ее главные миноры

положительны.

Пример 4. Квадратичная форма

не будет положительно определенной, так как ее второй главный минор отрицателен:

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

 

– Конец работы –

Эта тема принадлежит разделу:

АЛГЕБРА

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ... ФЕДЕРАЛЬНОЕ АГЕНСТВО ПО ОБРАЗОВАНИЮ... Государственное образовательное учреждение...

Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Положительно определенные формы.

Что будем делать с полученным материалом:

Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:

Все темы данного раздела:

Евклидовы и унитарные пространства.
  Понятие мерного линейного пространства

Изоморфизм унитарных пространств.
Два унитарных (или евклидовых) пространства и

Линейные функции.
Рассмотрим произвольное линейное пространство над полем

ЗАДАЧИ К ГЛАВЕ I.
1. Выяснить, являются ли ортогональными в евклидовом пространстве следующие системы векторов: а) ;

Приведение квадратичной формы к каноническому виду.
  Теория квадратичных форм берёт своё начало в аналитической геометрии, а именно в теории кривых второго порядка. Известно, что уравнение центральной кривой второго порядка на плоскос

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

Закон инерции.
  Канонический вид, к которому приводится данная квадратичная форма, определяется неоднозначно. Всякая квадратичная форма может быть приведена к каноническому виду многими различными

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

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

ЗАДАЧИ К ГЛАВЕ II.
15. Записать матрицу квадратичной формы , если: а)

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

Второй критерий эквивалентности.
матрица называется унимодулярной

Эквивалентностью их характеристических матриц.
  Как известно [1], две квадратные матрицы порядка подобны тогда и только тогда, когда они задают один и

Жорданова нормальная форма.
В этом параграфе будем рассматривать квадратные матрицы порядка с элементами из поля

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

Минимальный многочлен.
Пусть дана квадратная матрица порядка с э

ЗАДАЧИ К ГЛАВЕ III.
22. Привести следующие матрицы к нормальной диагональной форме посредством элементарных преобразований:

ОТВЕТЫ.
1. а) да; б) нет; в) да; г) да; д) нет. 2. а) да; б) нет; в) да; г) да; д

Хотите получать на электронную почту самые свежие новости?
Education Insider Sample
Подпишитесь на Нашу рассылку
Наша политика приватности обеспечивает 100% безопасность и анонимность Ваших E-Mail
Реклама
Соответствующий теме материал
  • Похожее
  • Популярное
  • Облако тегов
  • Здесь
  • Временно
  • Пусто
Теги