03 Билинейные формы. Симметричные билинейные формы. Квадратичные формы, нормальный вид, положительная определенность.
Ошибка.
Попробуйте повторить позже
Из закона инерции следует, что если у двух квадратичных форм различные положительные
индексы инерции или различные отрицательные индексы инерции, то их нельзя перевести одну в
другую при помощи линейной замены.
Но верно ли обратное? То есть, верно ли, что если у и совпадает положительный
индекс инерции и совпадает отрицательный индекс инерции, то их можно перевести
одну в другую при помощи линейного преобразования?
Пусть даны две формы и .
Что означает, что у них совпадают положительные и отрицательные индексы инерции? А
означает это, если мы приведём в нормальный вид и , то в нормальном виде у
них будет одинаковое количество членов с 1, и одинаковое количество членов с (и,
следовательно, одинаковое количество членов с 0). То есть, в нормальном виде наши формы вообще
одинаковые:
Но тогда, пусть - это линейное преобразование, переводящее в её нормальный вид. Пусть
- линейное преобразование, переводящее в её нормальный вид. Тогда, очевидно,
преобразование композиции переводит сначала при помощи форму в её
нормальный вид, нормальный вид совпадает с нормальным видом , поэтому потом
переводит нормальный вид (он же нормальный вид ) в изначальный вид .
Таким образом, композиция линейных отображений
переводит форму в форму .
(напоминание: порядок действий отображений в композиции читается справа
налево)
Ошибка.
Попробуйте повторить позже
Можно ли некоторым линейным преобразованием привести квадратичную форму в квадратичную форму :
Если перевести формы и в нормальный вид (например, при помощи метода Лагранжа), то получим в нормальном виде:
(при помощи замены, например, )
(при помощи замены, например, )
И видно, что в нормальном виде формы и просто-напросто совпадают. Следовательно, их можно
перевести одну в другую при помощи линейного преобразования.
Действительно, пусть - это линейное преобразование, переводящее в её нормальный вид. Пусть
- линейное преобразование, переводящее в её нормальный вид. Тогда, очевидно,
преобразование композиции переводит сначала при помощи форму в её
нормальный вид, нормальный вид совпадает с нормальным видом , поэтому потом
переводит нормальный вид (он же нормальный вид ) в изначальный вид .
Таким образом, композиция линейных отображений
переводит форму в форму .
Ошибка.
Попробуйте повторить позже
Можно ли некоторым линейным преобразованием привести квадратичную форму в квадратичную форму :
Если перевести формы и в нормальный вид (например, при помощи метода Лагранжа), то получим в нормальном виде:
(при помощи замены, например, )
(при помощи замены, например, )
И мы видим, что у формы положительный индекс инерции равен 2, а отрицательный равен 0, в то
время как у формы положительный индекс инерции равен 2, а отрицательный равен 1.
Следовательно, мы не можем никак перевести форму в форму , поскольку это противоречило бы
закону инерции - положительный и отрицательный индексы являются инвариантами формы и
сохраняются при любых линейных преобразованиях.
Ошибка.
Попробуйте повторить позже
Будет ли квадратичная форма
положительно определена?
Давайте выпишем матрицу нашей квадратичной формы:
Вычислим теперь угловые миноры: , ,
.
Таким образом, мы видим, что все угловые миноры нашей матрицы вплоть до определителя самой
матрицы положительны. Следовательно, исходная квадратичная форма положительно определена по
критерию Сильвестра.
Ошибка.
Попробуйте повторить позже
Будет ли квадратичная форма
положительно определена?
Давайте выпишем матрицу нашей квадратичной формы:
Вычислим теперь угловые миноры: , .
Дальнейшее вычисление уже бесполезно, поскольку по критерию Сильвестра, чтобы форма была
положительно определена, необходимо, чтобы все её угловые миноры были положительны.
Следовательно, т.к. , то наша форма не является положительно определенной.
Ошибка.
Попробуйте повторить позже
Вывести из критерия Сильвестра критерий отрицательной определенности:
Опр. Квадратичная форма отрицательно определена, если для любого вектора
выполнено .
Задача. Доказать, что - отрицательно определена тогда и только тогда, когда знаки её угловых
миноров - чередуются, начиная с минуса ()
Ясно, что из определения мгновенно следует, что форма - отрицательно определена тогда и только
тогда, когда форма - положительно определена (форма действует на векторах так же, как
и , но умножает результат на ).
Следовательно, чтобы была отрицательно определена, необходимо и достаточно, чтобы форма
была положительно определена.
Но к форме применим критерий Сильвестра положительной определенности: форма
положительно определена тогда и только тогда, когда все её угловые миноры больше 0.
Но чем отличаются угловые миноры матрицы от угловых миноров матрицы ?
Итак, вспомним такое свойство определителя: если весь столбец матрицы умножается на какое-то
число, то и весь определитель умножается на это число.
Отсюда следует, что если все элементы матрицы умножить на , то если матрица была четного
порядка, то есть столбцов было чётное количество, то её определитель вообще не изменится (
вынесется чётное количество раз), а если матрица была нечётного порядка, то её определитель
умножится на .
Таким образом, миноры чётного порядка матрицы равны минорам чётного порядка матрицы .
А миноры нечётного порядка отличаются знаком.
Следовательно, раз для положительной определенности нам необходимо и достаточно,
чтобы
То для отрицательной определенности нам необходимо и достаточно, чтобы
То есть чтобы знаки миноров исходной матрицы чередовались, начиная с минуса.
Ошибка.
Попробуйте повторить позже
При каких значениях параметра квадратичная форма
положительно определена? Отрицательно определена?
Давайте выпишем матрицу нашей квадратичной формы:
Вычислим теперь угловые миноры: , ,
.
1. Положительная определенность. По критерию Сильвестра, исходная квадратичная форма
будет положительно определена тогда и только тогда, когда все угловые миноры , ,
будут положительны.
То есть когда
Решая эту систему стандартно методом интервалов, получим, что её решением является множество
. Следовательно, при форма положительно определена.
2. Отрицательная определенность. По критерию Сильвестра, исходная квадратичная форма
будет отрицательно определена тогда и только тогда, когда , , .
То есть когда
Решая эту систему стандартно методом интервалов, получим, что её решением является множество
. Следовательно, при форма отрицательно определена.
Ошибка.
Попробуйте повторить позже
Какие из следующих функций являются билинейными:
a) ;
b) ;
c) ;
d) ;
e) ?
a) В силу свойств следа
Таким образом, - линейна по первому аргументу. Аналогично можно показать, что будет
линейна и по второму. Так что в данном случае - билинейна;
b) Нет, поскольку даже при фиксированном втором аргументе не будет выполнено, что
, потому что
(определитель суммы не равен сумме определителей);
c) В силу свойств следа
Таким образом, - линейна по первому аргументу. Аналогично можно показать, что будет
линейна и по второму. Так что в данном случае - билинейна;
d) По свойствам определенного интеграла Римана:
Таким образом, - линейна по первому аргументу. Аналогично можно показать, что будет
линейна и по второму. Так что в данном случае - билинейна;
e)
Далее, давайте распишем длину через скалярное произведение, ведь мы находимся в пространстве , а в нем по определению
В то время как
Следовательно,
Таким образом, - линейна по первому аргументу. Аналогично можно показать, что будет
линейна и по второму. Так что в данном случае - билинейна;
Ошибка.
Попробуйте повторить позже
Пусть билинейная функция задана в некотором базисе матрицей
И в этом же базисе следующие вектора имеют координаты
Вычислить .
По правилу вычисления билинейной функции, когда известна её матрица в некотором базисе и вектора, от которых мы хотим её вычислить тоже разложены в этом базисе:
Ошибка.
Попробуйте повторить позже
В некотором базисе пространства задана матрица билинейной функции
В выбрали новый базис , который связан со старым соотношениями
Найти матрицу той же самой билинейной функции относительно нового базиса.
Выпишем матрицу перехода
Тогда в новом базисе матрица той же самой билинейной функции будет вычисляться по правилу , то есть
Ошибка.
Попробуйте повторить позже
Привести квадратичную форму
к нормальному виду.
Будем действовать прямо так, как в доказательстве теоремы Лагранжа.
Делаем замену
Тогда в новых координатах наша форма будет иметь вид
Делаем замену
Тогда в новых координатах наша форма будет иметь вид
Тогда, делая замены
получим нормальный вид нашей квадратичной формы
Ошибка.
Попробуйте повторить позже
Для билинейной функции
действующей по правилу
выбрав некоторый базис в пространстве , записать матрицу относительно этого базиса.
Выберем в нашем пространстве стандартный базис. То есть базис, состоящий из матриц, у которых в
каком-то одном месте стоит единица, а в остальных местах - нули. В этом базисе будет матриц,
поэтому в таком базисе матрица нашей билинейной функции будет квадратной матрицей
, у которой на ом месте стоит , где - базисные элементы.
Ясно, что
Но если , то в произведении таких матриц, очевидно, получится нулевая матрица, а поэтому и её след будет нулевой. Наоборот, если , то в произведении получится либо нулевая матрица, если у единица стояла не на диагонали. либо сама , если у неё единица стояла на диагонали. В таком случае
Таким образом, получим, что в матрице нашей билинейной функции равны 1 только те элементы,
которые соответствуют взятию от пары совпадающих матриц, да еще и таких, что у них единица
стоит где-то на диагонали.