Линейные формы
.docx1. Линейные формы.
Пусть в линейном пространстве задана числовая функция векторного аргумента. То есть каждому вектору поставлено в соответствие число . Пусть – множество всех базисов пространства . Мы можем рассмотреть функцию , где ∈ , e ∈ . Мы получим обычную (инвариантную) функцию , если .
Определение. Функция называется линейной, если: a) (условие аддитивности). б) (условие однородности). В качестве значений функции будем брать действительные числа, если L – действительно и будем брать комплексные числа, если L – комплексно.
Пример Пусть – пространство многочленов степени не выше .
Пусть каждому многочлену из ставится в соответствие число по формуле:
(1)
условия a) и b) выполняются вследствие известных свойств определённого интеграла. Значит является линейной в . Рассмотрим
(2)
Обозначим через функцию на базисном векторе :
(3)
Если базис фиксирован, то - вполне определённые числа. Подставив (3) в (2) получим выражение функции в виде однородного многочлена первой степени относительно координат вектора:
. (4)
Однородные многочлены степени принято называть формами степени k. При употребляют термин “линейные формы”, при , термин “квадратичные формы”.
Теорема 1
Множество всех линейных функций, заданных в пространстве L представляет собой линейное пространство.
Определение
Линейное пространство всех линейных функций, определённых на L называется сопряжённым пространству L.
Теорема 2
Если линейное пространство n-мерно, то сопряжённое вниз пространство также n-мерно.
2. Билинейные формы.
Числовая функция двух векторных аргументов называется билинейной, если она линейна по каждому аргументу. То есть:
Здесь – любые векторы пространства – произвольное число.
Пусть – линейное – мерное пространство, – базис в нём. И пусть аргументы билинейной функции разложены по этому базису
Тогда:
(1)
Введём обозначения:
(2)
Тогда получим:
(3)
Формула (3) выражает функцию в координатах по данному базису.
Множество всех билинейных форм, заданных в линейном пространстве L, образует линейное пространство.
Определение
Билинейная форма называется симметричной,
если следует
3. Матрица билинейной формы.
Пусть дана произвольная билинейная форма:
– матрица билинейной формы.
Определение
Рангом билинейной формы называется ранг её матрицы.
4. Квадратичные формы. Закон инерции квадратичных форм. Сигнатура.
Пусть билинейная форма является симметричной . Это равносильно тому, что в любом базисе симметрична её матрица – транспонированная для A матрица.
В самом деле:
.
Если , то
Функция называется квадратичной формой, отвечающей данной симметричной форме
Основная теорема о квадратичных формах
Всякая квадратичная форма может быть приведена некоторым невырожденным линейным преобразованием к каноническому виду.
Назовём нормальным видом квадратичной формы сумму квадратов нескольких неизвестных с коэффициентами +1 или -1.
Всякую действительную квадратичную форму F можно привести невырожденным линейным преобразованием с действительными коэффициентами к нормальному виду.
Теорема (закон инерции действительных квадратичных форм)
Число положительных и число отрицательных квадратов в нормальном виде, к которому приводится данная квадратичная форма с действительными коэффициентами действительным линейным невырожденным преобразованием не зависит от выбора этого преобразования.
Число положительных квадратов в той нормальной форме, к которой приводится данная действительная квадратичная форма f , называется положительным индексом инерции этой формы, число отрицательных квадратов – отрицательным индексом инерции, а разность между положительным и отрицательным индексами инерции – сигнатурой формы f .
Теорема
Две квадратичные формы от n – неизвестных с действительными коэффициентами тогда и только тогда переводятся друг в друга невырожденными действительными линейными преобразованиями, если эти формы имеют одинаковые ранги и одинаковые сигнатуры.
5. Положительно и отрицательно определённые квадратичные формы. Критерий Сильвестра для положительно определённых и отрицательно определённых квадратичных форм.
Квадратичная форма A, определённая в действительном линейном пространстве называется положительно (отрицательно) определённой, если:
∀ ,
A > 0 (A <0)
Пусть матрица квадратичной формы .
– последовательность главных миноров матрицы .
Критерием положительной определённости квадратичной формы является определенный критерий.
Критерий Сильвестра
Для того, чтобы квадратичная форма A была положительно определённой необходимо и достаточно, чтобы все главные миноры её матрицы были положительны
Для того, чтобы квадратичная форма A была отрицательно определённой необходимо и достаточно, чтобы:
Пример
Выяснить, является ли положительно определённой или отрицательно определённой квадратичная форма
Запишем матрицу:
.
=1>0.
Согласно критерию Сильвестра данная квадратичная форма принимает только положительные значения.
Пример
Определить какие квадратичные формы являются положительно, либо отрицательно определёнными:
а) Запишем матрицу:
.
Квадратичная форма является отрицательно определённой.
б) Запишем матрицу:
,
,
.
Квадратичная форма общего вида.
Приведение квадратичной формы к каноническому виду методом Лагранжа, Якоби и ортогональным преобразованием.
Метод Лагранжа
Каждую квадратичную форму с помощью невырожденного линейного преобразования можно привести к каноническому виду.
Пример 1
Дана квадратичная форма . Привести ее к каноническому виду методом Лагранжа, записав соответствующие преобразования переменных.
Коэффициент при равен 3, 3≠0. Выделим в квадратичной форме члены, содержащие
.
Дополним до полного квадрата членами, не содержащими x2, и сразу вычтем
Введем обозначение исходя из принципа: в квадратичной форме пропадает, а в квадратичной форме появляется. Приводя подобные члены, перепишем квадратичную форму
К квадратичной форме снова применим метод выделения полного квадрата.
Дополним это выражение до полного квадрата членами, не содержащими
Обозначим через . Приводя подобные, перепишем исходную квадратичную форму
.
Выделять снова полный квадрат уже не надо.
Обозначим . Получим следующий канонический вид квадратичной формы
где
Запишем преобразование переменных в матричной форме
·X .
Пример 2
Найти канонический вид и невырожденное преобразование переменных, приводящее к этому виду квадратичную форму .
Так как в этой форме отсутствуют квадраты, то
(1)
Применив (2)
получим канонический вид формы
Из (2) найдем .
Подставляя эти выражения в (1) получим искомое преобразование
Метод Якоби
Пример 1
Для применения этого метода квадратичная форма
(1)
должна удовлетворять некоторым специальным условиям.
Пусть квадратичная форма (1) имеет ранг и миноры, стоящие в левом верхнем углу матрицы формы от 1-го до -го порядка отличны от нуля
(2)
Тогда канонический вид формы (1) можно найти по формуле Якоби
(3)
Ортогональное преобразование
Квадратичная матрица является ортогональной, если ее элементы действительны и выполняется одно из пяти следующих эквивалентных свойств:
-
Строки образуют ортонормированную систему;
-
Столбцы образуют ортонормированную систему;
-
;
-
;
-
– транспонированная матрица для ;
Рассмотрим n-квадратичную форму
(1)
квадратичной формы (1) симметрична. Она может быть представлена в виде
,
где – диагональная матрица, на диагонали которой стоят собственные числа матрицы , а – ортогональная матрица. Столбцы матрицы являются координатами некоторого ортонормированного базиса , в котором имеет диагональный вид и следовательно квадратичная форма – искомый канонический вид. Соответствующие преобразования координат определяются соответствием
Пример 1
Найти ортогональное преобразование, приводящее квадратичную форму , заданную в евклидовом пространстве к каноническому виду. Написать этот канонический вид.
Находим собственные числа этой матрицы
Находим соответствующие собственные ортонормированные векторы
В базисе заданная квадратичная форма имеет вид:
,
а соответствующее преобразование координат будет таким:
Пример 2
Найти ортогональное преобразование, приводящее квадратичную форму 11 к каноническому виду. Написать этот канонический вид.
Находим собственные числа этой матрицы
Находим соответствующие собственные ортонормированные векторы
В базисе заданная квадратичная форма имеет вид:
,
а соответствующее преобразование координат будет таким: