Jump to content

Симметричная билинейная форма

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

Симметричные билинейные формы в конечномерных векторных пространствах точно соответствуют симметричным матрицам с базисом для 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 .
  • Вайсштейн, Эрик В. «Симметричная билинейная форма» . Математический мир .
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 54dac6f9ec479f00678130323e4d0a31__1684461720
URL1:https://arc.ask3.ru/arc/aa/54/31/54dac6f9ec479f00678130323e4d0a31.html
Заголовок, (Title) документа по адресу, URL1:
Symmetric bilinear form - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)