Главная > Математика > Алгебра
<< Предыдущий параграф
Следующий параграф >>
<< Предыдущий параграф Следующий параграф >>
Макеты страниц

§ 7. Полуторалинейная двойственность

Существуют формы „почти" билинейные, для которых описанные выше результаты остаются верными почти без изменений; их нужно рассмотреть отдельно для сохранения ясности в используемых обозначениях.

Пусть R имеет автоморфизм периода 2. Мы будем записывать этот автоморфизм так: (имея в виду аналогию с комплексным сопряжением).

Следуя Бурбаки, будем говорить, что отображение

является полуторалинейной формой, если оно Z-билинейно и если для мы имеем

и

Пусть — модули. Отображение называется антилинейным (или полулинейным), если оно Z-линейно и для всех . Таким образом, мы можем сказать, что полуторалинейная форма линейна по своему первому аргументу и антилинейна по второму аргументу. Пусть обозначает модуль антилинейных отображений Е в Е.

Теперь мы последовательно повторим все те замечания, которые раньше были сделаны для билинейных форм.

Для полуторалинейной формы определяем, как и прежде, перпендикулярность, а также ядра справа и слева. Эти ядра являются подмодулями, скажем, и мы получаем индуцированную полуторалинейную форму

которая невырождена с обеих сторон.

Пусть -модуль. Назовем его антимодулем модуль Е, аддитивная группа которого та же, что и у F, а операция задается отображением

Имеем естественный изоморфизм -модулей

Полуторалинейная форма индуцирует линейное отображение

Мы говорим, что — неособая слева, если —изоморфизм. Аналогично имеем соответствующее линейное отображение

модуля F в модуль, дуальный к Е, и мы говорим, что — неособая справа, если — изоморфизм. Мы говорим, что форма неособая, если она неособая слева и справа.

Заметим, что наша полуторалинейная форма может рассматриваться как билинейная форма

и наши понятия неособости совместимы с соответствующими понятиями, определенными раньше для билинейных форм.

Имея фиксированную неособую полуторалинейную форму на мы получаем зависящий от этой формы изоморфизм между модулем полуторалинейных форм на и модулем эндоморфизмов модуля Е. Мы также получаем антиизоморфизм между этими модулями и модулем эндоморфизмов модуля F. В частности, мы можем ввести понятие сопряженного эндоморфизма, обозначаемого в случае полуторалинейных форм звездочкой. Именно, пусть — неособая полуторалинейная форма, - некоторое линейное отображение. Существует однозначно определенное линейное отображение

такое, что

для всех . Отметим, что А линейно, а не антилинейно. Мы называем А сопряженным с А относительно нашей формы Имеют место правила

для линейных отображений А, В модуля Е в себя и

Предположим, что Пусть — полуторалинейная форма. Под автоморфизмом формы мы будем понимать линейное отображение А: для которого

в полной аналогии с автоморфизмами для билинейных форм.

Предложение 11П. Пусть неособая полуторалинейная форма, — некоторое линейное отображение. Тогда А является автоморфизмом в том и только в том случае, если и А обратимо.

Доказательства этого, а также всех последующих предложений, полностью аналогичные соответствующим доказательствам из билинейного случая, опускаются.

Полуторалинейная форма называется эрмитовой, если

для всех Множество эрмитовых форм на Е будет обозначаться через Пусть подкольцо в R, состоящее из всех элементов, неподвижных относительно нашего автоморфизма (т. е. состоящее из всех элементов , таких, что . Тогда (Е) есть -модуль.

Фиксируем некоторую эрмитову неособую форму на Е, Эндоморфизм А: называется эрмитовым относительно , если Ясно, что множество эрмитовых эндоморфизмов является - модулем, который мы будем обозначать символом . Имеет место - изоморфизм, зависящий от нашей фиксированной эрмитовой неособой формы

Этот изоморфизм описывается следующим образом. Эрмитова форма g тогда и только тогда соответствует эрмитову отображению А, когда

Опишем теперь связи между нашими понятиями и матрицами, так же как это мы сделали для билинейных форм.

Начнем с полуторалинейной формы

Если Е, F — свободные модули и мы, как и прежде, выбрали в них базисы, то снова можно сопоставить нашей форме матрицу О, и в терминах координатных векторов X, Y эта полуторалинейная форма будет задаваться отображением

где Y — вектор, полученный из Y применением нашего автоморфизма к каждой компоненте

Если и мы используем один и тот же базис и справа, и слева, то в тех же обозначениях, которые использованы в формуле (1), последняя для полуторалинейных форм принимает вид

Таким образом, в формуле появляется автоморфизм сопряжения.

Предложение 12 П. Пусть Е, F — свободные модули, размерности над R и полуторалинейная форма. Тогда следующие условия эквивалентны.

Форма неособая слева.

Форма — неособая справа.

Форма — неособая.

Определитель матрицы относительно любых базисов обратим в

Предложение 13 П. Пусть Е, F — свободные модули размерности над полуторалинейная форма. Пусть — базисы над R для Е и F соответственно и О — матрица относительно этих базисов. Пусть, наконец, — линейное отображение и М — его матрица относительно Тогда матрицей относительно 38 сопряженного к А отображения А будет

Следствие 1. Если О — единичная матрица, то матрица «отображения А равна

Следствие 2. Сохраняя обозначения предложения, положим Матрица М размера пуп тогда и только тогда является матрицей автоморфизма формы (относительно нашего базиса), когда

Матрица М называется эрмитовой, если

Пусть, как и прежде, -подкольцо в R, состоящее из всех элементов, неподвижных относительно нашего автоморфизма (т. е. состоящее из всех элементов таких, что

Предложение 14 П. Пусть Е — свободный модуль размерности над R и 38 — его базис. Отображение

индуцирует - изоморфизм между -модулем эрмитовых форм на Е и -модулем эрмитовых матриц размера над

Замечание. Если бы мы предположили с самого начала, что наш автоморфизм - заимеет период 2 или 1 (т. е. если бы мы позволили ему быть тождественным), то результаты о билинейных и симметрических формах стали бы частными случаями результатов этого параграфа. Однако неудобства, которые причинила бы путаница в обозначениях, вполне оправдывают сделанное нами повторение.

<< Предыдущий параграф Следующий параграф >>
Оглавление