В математике , полуторалинейная форма является обобщением билинейной формы , что, в свою очередь, является обобщением понятия скалярного произведения в евклидовом пространстве . Билинейная форма линейна по каждому из своих аргументов, но полуторалинейная форма позволяет одному из аргументов «скручивать» полулинейным образом, отсюда и название; который происходит от латинского числового префикса sesqui-, означающего «полтора». Основная концепция скалярного произведения - создание скаляра. из пары векторов - можно обобщить, допустив более широкий диапазон скалярных значений и, возможно, одновременно, расширив определение вектора.
Мотивирующий частный случай является полуторалинейной формой на комплексное векторное пространстве , V . Это отображение V × V → C , которое линейно по одному аргументу и "скручивает" линейность другого аргумента комплексным сопряжением (называемое антилинейным по другому аргументу). Этот случай естественным образом возникает в приложениях математической физики. Другой важный случай позволяет скалярам происходить из любого поля, а поворот обеспечивается полевым автоморфизмом .
Применение в проективной геометрии требует, чтобы скаляры исходить от деления кольца (перекос поля), K , а это означает , что «векторы» должны быть заменены элементами K - модуль . В очень общей постановке, полуторалинейные формы могут быть определены над R -модулями для произвольного кольца R .
Неформальное введение
Полулинейные формы абстрагируют и обобщают основное понятие эрмитовой формы на комплексном векторном пространстве . Эрмитовы формы обычно рассматриваются в физике как внутренний продукт в сложном гильбертовом пространстве . В таких случаях стандартная эрмитова форма на C n имеет вид
где обозначает комплексное сопряжение сЭтот продукт может быть обобщен на ситуации, когда кто-то не работает с ортонормированной базой для C n или даже с какой-либо базой вообще. Добавив дополнительный множительв произведение получается косоэрмитова форма , более точно определенная ниже. Нет особой причины ограничивать определение комплексными числами; его можно определить для произвольных колец, несущих антиавтоморфизм , неформально понимаемый как обобщенное понятие «комплексного сопряжения» для кольца.
соглашение
Существуют разные мнения относительно того, какой аргумент должен быть линейным. В коммутативном случае мы будем считать первый линейным, как это принято в математической литературе, за исключением раздела, посвященного полуторалинейным формам на комплексных векторных пространствах. Здесь мы используем другое соглашение и считаем первый аргумент сопряженно-линейным (т. Е. Антилинейным), а второй - линейным. Это соглашение используется в основном физики [1] и берет свое начало в дираковской Бра и кет в квантовой механике .
В более общей некоммутативной ситуации, с правыми модулями мы считаем второй аргумент линейным, а с левыми модулями мы принимаем первый аргумент линейным.
Комплексные векторные пространства
- Предположение : в этом разделе полуторалинейные формы антилинейны по своему первому аргументу и линейны по второму.
Над сложным векторным пространством карта является полуторалинейным, если
для всех и все Здесь, является комплексно сопряженным к скаляру
Сложную полуторалинейную форму можно также рассматривать как сложную билинейную карту.
Для фиксированного карта является линейным функционалом на(т.е. элемент дуального пространства ). Точно так же картаявляется сопряженно-линейным функционалом на
Учитывая любую сложную полуторалинейную форму на мы можем определить вторую сложную полуторалинейную форму через сопряженное транспонирование :
Матричное представление
Если является конечномерным комплексным векторным пространством, то относительно любого базиса из полуторалинейная форма представлена матрицей вектор-столбец а также вектор-столбец :
Эрмитова форма
- Термин эрмитова форма может также относиться к другому понятию, чем объясненное ниже: он может относиться к определенной дифференциальной форме на эрмитовом многообразии .
Сложная эрмитова форма (также называемая симметричной полуторалинейной формой ) - это полуторалинейная форма такой, что
Знак минус вводится в эрмитовой форме определить группу SU (1,1) .
Векторное пространство с эрмитовой формой называется эрмитовым пространством .
Матричное представление сложной эрмитовой формы является эрмитовой матрицей .
Сложная эрмитова форма, примененная к одному вектору
Косоэрмитова форма
Сложная косоэрмитова форма (также называемая антисимметричной полуторалинейной формой ) - это сложная полуторалинейная форма такой, что
Матричное представление комплексной косоэрмитовой формы является косоэрмитовой матрицей .
Сложная косоэрмитова форма, примененная к одному вектору
Над делительным кольцом
Этот раздел относится неизменным , когда деление кольца К является коммутативной . Тогда также применима более конкретная терминология: тело - это поле, антиавтоморфизм также является автоморфизмом, а правый модуль - это векторное пространство. Следующее относится к левому модулю с подходящей перестановкой выражений.
Определение
A сг -sesquilinear формы над правой K - модуля M является би-аддитивное отображение φ : M × M → K с соответствующим антиавтоморфизмом сг о наличии деления кольца K такое , что для всех х , у в М и всех & alpha ; , β в K ,
Ассоциированный антиавтоморфизм σ для любой ненулевой полуторалинейной формы φ однозначно определяется функцией φ .
Ортогональность
Учитывая полуторалинейный вид ф над модулем М и подпространством ( подмодуль ) W из М , в ортогональном дополнении в W с относительно φ является
Точно так же, х ∈ М является ортогональным к у ∈ M относительно ф , написанная х ⊥ ф у (или просто х ⊥ у , если ф может быть выведено из контекста), когда ф ( х , у ) = 0 . Это отношение не обязательно должно быть симметричным , т. Е. Из x y y не следует y ⊥ x (но см. § Рефлексивность ниже).
Рефлексивность
Форма полуторалинейной φ является рефлексивным , если для всех х , у в М ,
- подразумевает
То есть полуторалинейная форма является рефлексивной именно тогда, когда производное отношение ортогональности симметрично.
Эрмитовские вариации
Σ -sesquilinear форма φ называется ( σ , ε ) -эрмитова , если существует ε в K такое , что для всех х , у в М ,
Если ε = 1 , форма называется σ - эрмитовой , а если ε = −1 , она называется σ - антиэрмитовой . (Когда подразумевается σ , соответственно просто эрмитово или антиэрмитово .)
Для ненулевой ( σ , ε ) -эрмитова форма, то отсюда следует , что для всех & alpha ; в K ,
Отсюда также следует, что φ ( x , x ) - неподвижная точка отображения α ↦ σ ( α ) ε . Неподвижные точки этой карты из подгруппы из аддитивной группы из K .
( Σ , ε ) -эрмитова форма рефлексивная, и каждый рефлексивный σ -sesquilinear формы ( σ , ε ) -эрмитов для некоторых х . [2] [3] [4] [5]
В частном случае, когда σ - тождественное отображение (т. Е. Σ = id ), K коммутативно, φ - билинейная форма и ε 2 = 1 . Тогда при ε = 1 билинейная форма называется симметричной , а при ε = -1 - кососимметричной . [6]
Пример
Пусть V - трехмерное векторное пространство над конечным полем F = GF ( q 2 ) , где q - степень простого числа . Относительно стандартного базиса мы можем записать x = ( x 1 , x 2 , x 3 ) и y = ( y 1 , y 2 , y 3 ) и определить отображение φ следующим образом:
Отображение σ : T ↦ т д является инволютивная автоморфизм F . Отображение φ тогда является σ -есквилинейной формой. Матрица M φ, связанная с этой формой, является единичной матрицей . Это эрмитовская форма.
В проективной геометрии
- Предположение : в этом разделе полуторалинейные формы антилинейны (соответственно линейны ) по второму (соответственно первому) аргументу.
В проективной геометрии G , A перестановка δ из подпространств, инвертирует включение, т.е.
- S ⊆ T ⇒ T δ ⊆ S δ для всех подпространств S , T в G ,
называется корреляцией . Результат Биркгофа и фон Неймана (1936) [7] показывает, что корреляции дезарговых проективных геометрий соответствуют невырожденным полуторалинейным формам на нижележащем векторном пространстве. [5] полуторалинейной форма φ является невырожденной , если φ ( х , у ) = 0 для всех у в V (тогда и) только тогда , когда х = 0 .
Чтобы достичь полной общности этого утверждения и поскольку каждая дезаргова проективная геометрия может быть скоординирована телом , Райнхольд Бэр расширил определение полуторалинейной формы на тело, что требует замены векторных пространств на R -модули . [8] (В геометрической литературе они все еще называются левыми или правыми векторными пространствами над телами.) [9]
Над произвольными кольцами
Специализация приведенного выше раздела на телесных полях была следствием применения к проективной геометрии, а не внутренним характером полуторалинейных форм. Только незначительные изменения, необходимые для учета некоммутативности умножения, необходимы для обобщения произвольной полевой версии определения на произвольные кольца.
Пусть R быть кольцо , V R - модуль и сг в антиавтоморфизм из R .
Отображение φ : V × V → R является σ -есквилинейным, если
для всех х , у , г , ш в V и все с , г в R .
Элемент х есть ортогональна к другому элементу у относительно вида полуторалинейной ф (написанной х ⊥ у ) , если φ ( х , у ) = 0 . Это отношение не обязательно должно быть симметричным, т. Е. Из x ⊥ y не следует, что y ⊥ x .
Форма полуторалинейной φ : V × V → R является рефлексивной (или orthosymmetric ) , если ф ( х , у ) = 0 означает , φ ( у , х ) = 0 для всех х , у в V .
Полуторалинейная форма φ : V × V → R называется эрмитовой, если существует такое σ , что [10] : 325
для всех х , у в V . Эрмитова форма обязательно рефлексивна, и если она отлична от нуля, ассоциированный антиавтоморфизм σ является инволюцией (т. Е. Порядка 2).
Поскольку для антиавтоморфизма σ мы имеем σ ( st ) = σ ( t ) σ ( s ) для всех s , t в R , если σ = id , то R должен быть коммутативным, а φ - билинейной формой. В частности, если в этом случае R - тело, то R - поле, а V - векторное пространство с билинейной формой.
Антиавтоморфизм σ : R → R также можно рассматривать как изоморфизм R → R оп , где R оп является противоположным кольцом из R , который имеет тот же базовый набор и то же дополнение, но чьи умножение операция ( * ) определяются * б = ба , где произведение справа есть произведение в R . Отсюда следует, что правый (левый) R -модуль V можно превратить в левый (правый) R op -модуль V o . [11] Таким образом, полуторалинейная форма φ : V × V → R можно рассматривать как билинейной формы ф ': V × V ö → R .
Смотрите также
- *-звенеть
Заметки
- ^ сноска 1 в Anthony Knapp Basic Algebra (2007) стр. 255
- ↑ «Комбинаторика», Труды Института перспективных исследований НАТО, проходивший в замке Нейенроде, Брекелен, Нидерланды, 8–20 июля 1974 г. , Д. Рейдел : 456–457, 1975 - [1]
- ^ Полуторалинейная форма в МНВ
- ^ Симеон Болл (2015), Конечная геометрия и комбинаторные приложения , Cambridge University Press , стр. 28 год- [2]
- ^ a b Дембовский 1968 , стр. 42
- ^ Когда char K = 2 , кососимметричная и симметричная билинейные формы совпадают, так как тогда 1 = −1 . Во всех случаях чередующиеся билинейные формы являются подмножеством кососимметричных билинейных форм и не должны рассматриваться отдельно.
- ^ Birkhoff, G .; фон Неймана, Дж (1936), "Логика квантовой механики", Анналы математики , 37 (4): 823-843, DOI : 10,2307 / 1968621 , JSTOR 1968621
- ^ Баер, Рейнхольд (2005) [1952], Линейная алгебра и проективная геометрия , Довер, ISBN 978-0-486-44565-6
- ^ Терминология Бэра дает третий способ обозначить эти идеи, поэтому его следует читать с осторожностью.
- ^ Фор, Клод-Ален; Фрёличер, Альфред (2000), Современная проективная геометрия , Kluwer Academic Publishers
- ^ Якобсон 2009 , стр. 164
Рекомендации
- Дембовски, Питер (1968), Конечные геометрии , Ergebnisse der Mathematik und ihrer Grenzgebiete , Band 44, Берлин, Нью-Йорк: Springer-Verlag , ISBN 3-540-61786-8, MR 0233275
- Грюнберг, KW; Weir, AJ (1977), Linear Geometry (2-е изд.), Springer, ISBN 0-387-90227-9
- Джейкобсон, Натан Дж. (2009) [1985], Основная алгебра I (2-е изд.), Довер, ISBN 978-0-486-47189-1
Внешние ссылки
- "Полулинейная форма" , Математическая энциклопедия , EMS Press , 2001 [1994]