Кососимметричная матрица
Эта статья включает список общих ссылок , но в ней отсутствуют достаточные соответствующие встроенные цитаты . ( Ноябрь 2009 г. ) |
В математике , особенно в линейной алгебре , кососимметричный (или антисимметричный , или антиметрический) [1] ) матрица — это квадратная матрица которой , транспонирование равно ее отрицательному значению. То есть удовлетворяет условию [2] : с. 38
С точки зрения элементов матрицы, если обозначает запись в -й ряд и -го столбца, то условие кососимметричности эквивалентно
Пример
[ редактировать ]Матрица
является кососимметричным, поскольку
Характеристики
[ редактировать ]Всюду мы предполагаем, что все элементы матрицы принадлежат полю которого характеристика не равна 2. То есть мы предполагаем, что 1 + 1 ≠ 0 , где 1 обозначает мультипликативное тождество, а 0 — аддитивное тождество данного поля. Если характеристика поля равна 2, то кососимметричная матрица — это то же самое, что и симметричная матрица .
- Сумма двух кососимметричных матриц кососимметрична.
- Скаляр, кратный кососимметричной матрице, является кососимметричным.
- Элементы на диагонали кососимметричной матрицы равны нулю, следовательно, ее след равен нулю.
- Если является реальной кососимметричной матрицей и является действительным собственным значением , то , т. е. ненулевые собственные значения кососимметричной матрицы недействительны.
- Если — действительная кососимметричная матрица, то обратима , где является единичной матрицей.
- Если является кососимметричной матрицей, то — симметричная отрицательная полуопределенная матрица .
Структура векторного пространства
[ редактировать ]В результате первых двух свойств, приведенных выше, набор всех кососимметричных матриц фиксированного размера образует векторное пространство . Пространство кососимметричные матрицы имеют размерность
Позволять обозначаем пространство матрицы. Кососимметричная матрица определяется формулой скаляры (количество вхождений над главной диагональю ); определяется симметричная матрица формулой скаляры (количество элементов на главной диагонали или выше нее). Позволять обозначаем пространство кососимметричные матрицы и обозначаем пространство симметричные матрицы. Если затем
Обратите внимание, что и Это верно для любой квадратной матрицы. с записями из любого поля, которого характеристика отлична от 2. Тогда, поскольку и где обозначает прямую сумму .
Обозначим через стандартный внутренний продукт на Настоящий матрица кососимметричен тогда и только тогда, когда
Это также эквивалентно для всех (один из выводов очевиден, другой — простое следствие для всех и ).
Поскольку это определение не зависит от выбора базиса , кососимметрия является свойством, зависящим только от линейного оператора и выбор внутреннего продукта .
Кососимметричные матрицы можно использовать для представления перекрестных произведений в виде умножения матриц.
Кроме того, если — кососимметричная (или косоэрмитова ) матрица, то для всех .
Определитель
[ редактировать ]Позволять быть кососимметричная матрица. Определитель удовлетворяет
В частности, если нечетно, и поскольку основное поле не имеет характеристики 2, определитель обращается в нуль. Следовательно, все кососимметричные матрицы нечетной размерности являются сингулярными, поскольку их определители всегда равны нулю. Этот результат называется теоремой Якоби в честь Карла Густава Якоби (Eves, 1980).
Четномерный случай более интересен. Оказывается, определитель для даже можно записать как квадрат полинома в записях , что впервые было доказано Кэли: [3]
называется пфаффианом Этот многочлен и обозначается . Таким образом, определитель вещественной кососимметричной матрицы всегда неотрицательен. Однако этот последний факт элементарно можно доказать следующим образом: собственные значения вещественной кососимметричной матрицы чисто мнимые (см. ниже) и каждому собственному значению соответствует сопряженное собственное значение той же кратности; следовательно, поскольку определитель является произведением собственных значений, каждое из которых повторяется в соответствии со своей кратностью, из этого сразу следует, что определитель, если он не равен 0, является положительным действительным числом.
Количество различных терминов в разложении определителя кососимметричной матрицы порядка рассматривался еще Кэли, Сильвестром и Пфаффом. Из-за сокращений это число весьма мало по сравнению с количеством членов определителя общей матрицы порядка , что . Последовательность (последовательность A002370 в OEIS )
- 1, 0, 1, 0, 6, 0, 120, 0, 5250, 0, 395010, 0, …
и это закодировано в экспоненциальной производящей функции
Последнее подчиняется асимптотике (при даже)
Число положительных и отрицательных членов составляет примерно половину от общего числа, хотя их разность принимает все большие положительные и отрицательные значения, поскольку увеличивается (последовательность A167029 в OEIS ).
Перекрестное произведение
[ редактировать ]Кососимметричные матрицы размером три на три можно использовать для представления векторных произведений в виде умножения матриц. Рассмотрим векторы и Тогда, определив матрицу
векторное произведение можно записать как
В этом можно сразу убедиться, вычислив обе части предыдущего уравнения и сравнив каждый соответствующий элемент результатов.
На самом деле у одного есть
т.е. коммутатор кососимметричных матриц размером три на три можно отождествить с векторным произведением трехвекторов. Поскольку кососимметричные матрицы размером три на три являются алгеброй Ли группы вращений это проясняет связь между трехмерным пространством , векторное произведение и трехмерные вращения. Более подробную информацию о бесконечно малых вращениях можно найти ниже.
Спектральная теория
[ редактировать ]Поскольку матрица аналогична своей собственной транспонированной, они должны иметь одинаковые собственные значения. Отсюда следует, что собственные значения кососимметричной матрицы всегда входят в пары ± λ (за исключением нечетномерного случая, когда имеется дополнительное неспарное собственное значение 0). Согласно спектральной теореме для действительной кососимметричной матрицы все ненулевые собственные значения являются чисто мнимыми и, следовательно, имеют вид где каждый из реальны.
Реальные кососимметричные матрицы являются нормальными матрицами (они коммутируют со своими сопряженными ) и, таким образом, подчиняются спектральной теореме , которая утверждает, что любая действительная кососимметричная матрица может быть диагонализирована унитарной матрицей . Поскольку собственные значения вещественной кососимметричной матрицы мнимые, диагонализировать их с помощью действительной матрицы невозможно. Однако любую кососимметричную матрицу можно привести к блочно-диагональной форме специальным ортогональным преобразованием . [4] [5] В частности, каждый действительная кососимметричная матрица может быть записана в виде где является ортогональным и
для реального положительно-определенного . Ненулевые собственные значения этой матрицы равны ±λ k i . В нечетномерном случае Σ всегда имеет хотя бы одну строку и столбец нулей.
В более общем смысле, любую комплексную кососимметричную матрицу можно записать в виде где является унитарным и имеет приведенную выше блочно-диагональную форму с еще настоящий положительно-определенный. Это пример разложения Юлы комплексной квадратной матрицы. [6]
Кососимметричные и чередующиеся формы
[ редактировать ]Кососимметричная форма в векторном пространстве над полем произвольной характеристики определяется как билинейная форма
такой, что для всех в
Это определяет форму с желаемыми свойствами для векторных пространств над полями с характеристикой, отличной от 2, но в векторном пространстве над полем с характеристикой 2 это определение эквивалентно определению симметричной формы, поскольку каждый элемент является собственным аддитивным обратным. .
Где векторное пространство находится над полем произвольной характеристики , включая характеристику 2, мы можем определить знакопеременную форму как билинейную форму такой, что для всех векторов в
Это эквивалентно кососимметричной форме, когда поле не имеет характеристики 2, как видно из
откуда
Билинейная форма будет представлена матрицей такой, что , однажды основе на выбирается и, наоборот, матрица на приводит к отправке формы к Для каждой из симметричной, кососимметричной и знакопеременной форм представляющие матрицы являются симметричными, кососимметричными и знакопеременными соответственно.
Бесконечно малые вращения
[ редактировать ]Кососимметричные матрицы над полем действительных чисел образуют касательное пространство к вещественной ортогональной группе. в единичной матрице; формально — специальная ортогональная алгебра Ли . В этом смысле кососимметричные матрицы можно рассматривать как бесконечно малые вращения .
Другой способ сказать это состоит в том, что пространство кососимметричных матриц образует алгебру Ли Лия группы Скобка Ли в этом пространстве задается коммутатором :
Легко проверить, что коммутатор двух кососимметричных матриц снова кососимметричен:
Матричная экспонента кососимметричной матрицы тогда является ортогональной матрицей :
Образ экспоненциального отображения алгебры Ли всегда лежит в компоненте связности группы Ли, содержащей единицу. В случае группы Ли этот связный компонент является специальной ортогональной группой состоящая из всех ортогональных матриц с определителем 1. Итак будет иметь определитель +1. Более того, поскольку экспоненциальное отображение связной компактной группы Ли всегда сюръективно, оказывается, что любую ортогональную матрицу с единичным определителем можно записать как экспоненту некоторой кососимметричной матрицы. В особо важном случае размерности экспоненциальное представление ортогональной матрицы сводится к известной полярной форме комплексного числа единичного модуля. Действительно, если специальная ортогональная матрица имеет вид
с . Поэтому, поставив и это можно написать
что в точности соответствует полярной форме комплексного числа единичного модуля.
Экспоненциальное представление ортогональной матрицы порядка можно получить также исходя из того, что в размерности любая специальная ортогональная матрица можно записать как где ортогональна, а S — блочно-диагональная матрица с блоки порядка 2 плюс один порядка 1, если является странным; поскольку каждый отдельный блок порядка 2 также является ортогональной матрицей, он допускает экспоненциальную форму. Соответственно, матрица S записывается как экспонента кососимметричной блочной матрицы формы выше, так что экспонента кососимметричной матрицы И наоборот, сюръективность экспоненциального отображения вместе с упомянутой выше блочной диагонализацией для кососимметричных матриц влечет за собой блочную диагонализацию для ортогональных матриц.без координат
[ редактировать ]Более существенно (т. е. без использования координат) кососимметричные линейные преобразования в векторном пространстве. со скалярным произведением можно определить как бивекторы в пространстве, которые представляют собой суммы простых бивекторов ( 2-лопасти ) Переписка дана по карте где – ковектор, двойственный вектору ; в ортонормированных координатах это в точности элементарные кососимметричные матрицы. Эта характеристика используется при интерпретации ротора векторного поля (естественно, 2-вектора) как бесконечно малого вращения или «роторца», отсюда и название.
Кососимметризуемая матрица
[ редактировать ]Ан матрица называется кососимметризуемой, если существует обратимая диагональная матрица такой, что является кососимметричным. Серьезно матрицы, иногда условие добавлено наличие положительных записей. [7]
См. также
[ редактировать ]- Преобразование Кэли
- Симметричная матрица
- Косо-эрмитова матрица
- Симплектическая матрица
- Симметрия в математике
Ссылки
[ редактировать ]- ^ Ричард А. Реймент; К.Г. Йорескуг ; Лесли Ф. Маркус (1996). Прикладной факторный анализ в естественных науках . Издательство Кембриджского университета. п. 68. ИСБН 0-521-57556-7 .
- ^ Липшуц, Сеймур; Липсон, Марк (сентябрь 2005 г.). Очерк теории и проблем линейной алгебры Шаума . МакГроу-Хилл. ISBN 9780070605022 .
- ^ Кэли, Артур (1847). «Sur les determinants gauches» [О перекосе определителей]. Журнал Крелля . 38 : 93–96. Перепечатано в Кэли, А. (2009). «О левых определителях». Сборник математических статей . Полет. 1.стр. 410–413. дои : 10.1017/CBO9780511703676.070 . ISBN 978-0-511-70367-6 .
- ^ Воронов, Теодор. Пфаффиан , в: Краткая энциклопедия суперсимметрии и некоммутативных структур в математике и физике, под ред. С. Дуплидж, В. Сигел, Дж. Баггер (Берлин, Нью-Йорк: Springer 2005), с. 298.
- ^ Зумино, Бруно (1962). «Нормальные формы комплексных матриц». Журнал математической физики . 3 (5): 1055–1057. Бибкод : 1962JMP.....3.1055Z . дои : 10.1063/1.1724294 .
- ^ Юла, округ Колумбия (1961). «Нормальная форма матрицы относительно унитарной группы конгруэнтности» . Может. Дж. Математика . 13 : 694–704. дои : 10.4153/CJM-1961-059-8 .
- ^ Фомин, Сергей; Зелевинский, Андрей (2001). «Кластерные алгебры I: Основы». arXiv : math/0104151v1 .
Дальнейшее чтение
[ редактировать ]- Ивс, Ховард (1980). Элементарная теория матриц . Дуврские публикации. ISBN 978-0-486-63946-8 .
- Супруненко, Д.А. (2001) [1994], «Кососимметричная матрица» , Энциклопедия Математики , EMS Press
- Эйткен, AC (1944). «О числе различных членов в разложении симметричных и косых определителей» . Эдинбургская математика. Примечания . 34 : 1–5. дои : 10.1017/S0950184300000070 .
Внешние ссылки
[ редактировать ]- «Антисимметричная матрица» . Вольфрам Математический мир .
- Беннер, Питер; Кресснер, Дэниел. «HAPACK - Программное обеспечение для решения (косых) гамильтоновых задач на собственные значения» .
- Уорд, Колорадо; Грей, ЖЖ (1978). «Алгоритм 530: Алгоритм вычисления собственной системы кососимметричных матриц и класса симметричных матриц [F2]» . Транзакции ACM в математическом программном обеспечении . 4 (3): 286. дои : 10.1145/355791.355799 . S2CID 8575785 . Фортран Фортран90