Примеры. 1. – положительно определена в , так как для всех .

1. – положительно определена в , так как для всех .

2. – не отрицательно определена в , так как , причем на любом векторе , для которого .

3. – не является знакоопределенной, так при , а при .

Важно уметь определять “знак” формы. Не всегда это легко сделать по виду формы. Сформулируем без доказательства теоремы:

Теорема 1. Квадратичная форма положительно определена тогда и только тогда, когда все собственные числа ее матрицы положительны.

Квадратичная форма неотрицательно определена тогда и только тогда, когда все собственные числа ее матрицы не отрицательны. Так например, квадратичная форма

положительно определена,

так как собственные числа ее матрицы положительны (см. пример 2, п. 1.2, гл. 1).

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

.

Рассмотрим n ее миноров

,

,

,…,

.

Миноры будем называть угловыми минорами матрицы А.

Теорема 2.(Критерий Сильвестра). Квадратичная форма положительно определена тогда и только тогда, когда все угловые миноры матрицы А положительны.

Пример 1. .

.

Угловые миноры: , , , следовательно, по критерию Сильвестра форма положительно определена.

Пример 2. .

.

Угловые миноры: , , .

Форма положительно определена.

Критерий Сильвестра не работает для выяснения неотрицательной определенности квадратичной формы.

Введем вспомогательные понятия. Определим главный минор порядка k матрицы А с помощью следующей процедуры:

– выбираем произвольные k элементов на главной диагонали;

– берем строки и столбцы, содержащие эти элементы;

– выписываем матрицу k -го порядка, элементы которой расположены на пересечении выделенных строк и столбцов. Определитель этой матрицы есть главный минор k -го порядка матрицы А, определяемый выбранным набором диагональных элементов.

Например, матрица 3-го порядка имеет

1) три главных минора 1-го порядка (диагональные элементы);

2) три главных минора 2-го порядка , , ;

3) один главный минор 3-го порядка – определитель матрицы .

Теорема 3. Квадратичная форма неотрицательно определена тогда, когда все главные миноры матрицы А неотрицательны.

Пример 3. .

.

Угловые миноры: , , .

По теореме 2 форма не является положительно определенной. Проверим знаки главных миноров матрицы А.

Главные миноры:

1) первого порядка: 1>0, 2>0, 2>0;

2) второго порядка: , , ;

3) минор третьего порядка: , следовательно, квадратичная форма неотрицательно определена.

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

, тогда .

Выпишем угловые миноры матрицы А:

;

;

.

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

Пример 4. .

;

угловые миноры: ; ; .

Следовательно форма – отрицательно определена.

4 ЛИНЕЙНЫЕ ПРОСТРАНСТВА

В различных областях алгебры, геометрии и анализа встречаются объекты, над которыми можно производить операции сложения и умножения на числа. Прежде всего к таким объектам относятся сами числа (вещественные и комплексные). Другими примерами могут служить в механике и геометрии свободные векторы в трехмерном пространстве. Операции сложения векторов и умножение вектора на число определяется известным образом.

В анализе складываются и умножаются на числа функции.

Природа этих объектов различна и операции сложения и умножения на числа определяются по разному, но при этом можно заметить, что эти операции обладают многими общими свойствами: например, сложение подчиняется переместительному и сочетательному законам, а умножение удовлетворяет распределительному закону относительно сложения. Имеются и другие общие закономерности.

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