Симметричная билинейная форма
В математике симметричная билинейная форма в векторном пространстве — это билинейное отображение двух копий векторного пространства в поле скаляров такое , что порядок двух векторов не влияет на значение карты. Другими словами, это билинейная функция это отображает каждую пару элементов векторного пространства к основному полю так, что для каждого и в . Их также кратко называют просто симметричными формами , когда понимают «билинейность».
Симметричные билинейные формы в конечномерных векторных пространствах точно соответствуют симметричным матрицам с базисом для V . Среди билинейных форм важны симметричные формы, поскольку именно для них векторное пространство допускает особенно простой тип базиса, известный как ортогональный базис (по крайней мере, когда характеристика поля не равна 2).
Учитывая симметричную билинейную форму B , функция q ( x ) = B ( x , x ) является ассоциированной квадратичной формой в векторном пространстве. Более того, если характеристика поля не равна 2, B — единственная симметричная билинейная форма, связанная с q .
Формальное определение [ править ]
Пусть V векторное пространство размерности n над полем K. — Карта является симметричной билинейной формой в пространстве, если:
Последние две аксиомы устанавливают линейность только по первому аргументу, но первая аксиома (симметрия) сразу же подразумевает линейность и по второму аргументу.
Примеры [ править ]
Let V = R н , n- мерное действительное векторное пространство. Тогда стандартное скалярное произведение представляет собой симметричную билинейную форму B ( x , y ) = x ⋅ y . Матрица, соответствующая этой билинейной форме (см. ниже) на стандартной основе, является единичной матрицей.
Пусть V — любое векторное пространство (в том числе, возможно, бесконечномерное), и предположим, что T — линейная функция от V до поля. Тогда функция, определяемая формулой B ( x , y ) = T ( x ) T ( y ), является симметричной билинейной формой.
Пусть V — векторное пространство непрерывных вещественных функций одной переменной. Для можно определить . По свойствам определенных интегралов определяет симметричную билинейную форму на V. это Это пример симметричной билинейной формы, которая не связана ни с одной симметричной матрицей (поскольку векторное пространство бесконечномерно).
Матричное представление [ править ]
Позволять быть основой В. для Определим размера n × n матрицу A формулой . Матрица A является симметричной матрицей именно в силу симметрии билинейной формы. Если мы позволим размера n × 1 матрице x представлять вектор v относительно этого базиса и аналогичным образом позволим размера n × 1 матрице y представлять вектор w , то дается:
Предположим, C' является еще одним базисом для V с: где S - обратимая матрица размера n × n .Теперь новое матричное представление симметричной билинейной формы имеет вид
Ортогональность и сингулярность [ править ]
Два вектора v и w определяются как ортогональные относительно билинейной формы B, если B ( v , w ) = 0 , что для симметричной билинейной формы эквивалентно B ( w , v ) = 0 .
Радикал из билинейной формы B это набор векторов, ортогональных каждому вектору V. — То, что это подпространство V, следует из линейности B по каждому из его аргументов. При работе с матричным представлением A относительно определенного базиса v , представленный x , находится в радикале тогда и только тогда, когда
Матрица A сингулярна тогда и только тогда, когда радикал нетривиален.
Если W — подмножество V , то его ортогональное дополнение W ⊥ — набор всех векторов из V , ортогональных каждому вектору из W ; это подпространство V . Когда B невырожден, радикал B тривиален, а размерность W ⊥ тусклый ( Вт ⊥ ) = dim( V ) − dim( W ) .
Ортогональный базис [ править ]
Основа ортогонален относительно B тогда и только тогда, когда:
Когда характеристика поля не равна двум, V всегда имеет ортогональный базис. Это можно доказать методом индукции .
Базис C ортогонален тогда и только тогда, когда матричное представление A является диагональной матрицей .
инерции Сильвестра и закон Сигнатура
В более общей форме закон инерции Сильвестра гласит, что при работе над упорядоченным полем числа диагональных элементов в диагонализированной форме матрицы, которые являются положительными, отрицательными и нулевыми соответственно, не зависят от выбранного ортогонального базиса. Эти три числа образуют подпись билинейной формы.
Реальный случай [ править ]
Работая в пространстве над реальными объектами, можно пойти немного дальше. Позволять быть ортогональным базисом.
Мы определяем новую основу
Теперь новое матричное представление A будет диагональной матрицей только с 0, 1 и -1 на диагонали. Нули появятся тогда и только тогда, когда радикал нетривиален.
Сложный случай [ править ]
При работе в пространстве над комплексными числами можно пойти и дальше, и это даже проще.Позволять быть ортогональным базисом.
Мы определяем новую основу :
Теперь новое матричное представление A будет диагональной матрицей, на диагонали которой будут только 0 и 1. Нули появятся тогда и только тогда, когда радикал нетривиален.
полярности Ортогональные
Пусть B — симметричная билинейная форма с тривиальным радикалом в пространстве V над полем K с характеристикой , отличной от 2. Теперь можно определить отображение из D( V ), множества всех подпространств V , в себя:
Это отображение является ортогональной полярностью на проективном пространстве PG( W ). И наоборот, можно доказать, что все ортогональные полярности индуцируются таким образом и что две симметричные билинейные формы с тривиальным радикалом индуцируют одну и ту же полярность тогда и только тогда, когда они равны с точностью до скалярного умножения.
Ссылки [ править ]
- Адкинс, Уильям А.; Вайнтрауб, Стивен Х. (1992). Алгебра: подход через теорию модулей . Тексты для аспирантов по математике . Том. 136. Шпрингер-Верлаг . ISBN 3-540-97839-9 . Збл 0768.00003 .
- Милнор, Дж .; Хусемоллер, Д. (1973). Симметричные билинейные формы . Результаты математики и ее пограничные области . Том 73. Шпрингер-Верлаг . ISBN 3-540-06009-Х . Збл 0292.10016 .
- Вайсштейн, Эрик В. «Симметричная билинейная форма» . Математический мир .