Алгебра. Том 1. Алгебраические структуры. Линейная и полилинейная алгебра - Бурбаки Н.
Скачать (прямая ссылка):
v Примеры. 1) Если а — автоморфизм кольца А, то отображение, относящее каждому элементу (?{) модуля А” элемент (??), есть нолулинейиое относительно а отображение А" на себя.
2) Если кольцо А некоммутативно, то, как мы видели, при a не принадлежащем центру кольца А, гомотетия х —> ах, вообще говоря, не является линейным отображением Л-модуля E в себя (§ 1, 11° 1 и § 2, п° 5); но если а обратимо, то эта гомотетия есть полулинейное отображение относительно внутреннего автоморфизма % —> CtgcT1 кольца А, ибо а(Хх) = (аХа~г)(ах).
Пусть Е, I- . С — модули относительно изоморфных колец А, В, С и и — полулинейное отображение EbF относительно изоморфизма а кольца А
304 ПРИЛОЖЕНИЕ I К ГЛАВЕ II. ПОЛУЛИНЕЙНЫЕ ОТОБРАЖЕНИЯ
на В, а и — полулинейное отображение FbG относительно изоморфизма г кольца В на С; тогда композиция v о «является полулинейным отображением EbG относительно изоморфизма т о а кольца А на С.
2, Линейное отображение, ассоциированное с полулинейным
Пусть и — полулинейное отображение Л-модуля E в В-модуль F относительно изоморфизма о> кольца А на В. Если и есть взаимно однозначное отображение E на F, то оно образует, вместе с изоморфизмом а, биизомор-фиам E на F (гл. I, § 4, n° 1); допуская вольность речи, говорят, что и само есть биизоморфизм E на F относительно о.
В F можно определить структуру А-модуля, оставив прежний закон аддитивной группы и положив Xy = Xaу для каждого X ? А и каждого у € F (выполнение аксиом модуля очевидно); обозначим полученный так Л-модуль через Fa. Тождественное отображение (р множества F на себя есть бииаомор-фиам (относительно а) А -модуля Fa на В-модуль F; ясно, что образ каждого подмодуля M модуля Fa при отображении гр есть подмодуль в F, и обратно; кроме того, при факторизации (р порождает биизоморфизм фактормодуля F0IM на фактормодуль F/M.
Пусть теперь и — произвольное полулинейное отображение EbF; оно однозначным образом представляется в виде и=фо v, где и—линейное отображение А -модуля E в Л-модуль F0. и называется линейным отображением, ассоциированным с полулинейным отображением и. Благодаря этому разложению каждому свойству линейных отображений отвечает свойство полулинейных отображений (относительно одного и того же изоморфизма о>), полученное путем применения рассматриваемого свойства к ассоциированным с ними линейным отображениям; мы предоставляем читателю сформулировать большую часть получающихся так предложений.
3. Ранг полулинейного отображения
Пусть К и К' — изоморфные тела и а — изоморфизм К на К'. Ранг полулинейного относительно а отображения м векторного пространства E над К в векторное пространство F над К' есть, по определению, размерность подпространства и (E) пространства F (если эта размерность конечна; в противном случае говорят, что и — бесконечного ранга). Очевидно, этот ранг равен рангу линейного отображения v, ассоциированного с и (п° 2), ибо каждый базис подпространства V пространства F0 относительно К есть также базис ?(17) относительно К'.
4. Сопряженное к полулинейному отображению
Пусть А и В — изоморфные кольца, E — левый Л-модуль, F — левый В-модуль, и—полулинейное отображение EbF относительно изоморфизма о кольца А на. В и а-1—изоморфизм В на А, обратный к а. Для каждого y' ? F*
,5
ПРИЛОЖЕНИЕ I К ГЛАВЕ II. ПОЛУЛИНЕЙНЫЕ ОТОБРАЖЕНИЯ 305
отображение х —> {и (х), у')а есть линейная форма на Е\ обозначив ее 1и(у'), мы определим отображение tU модуля F* в E*, называемое по-прежнему отображением, сопряженным к и; таким образом, tU определяется тождеством относительно X ? E и у' Є F*
(“ (ж), у') = {х, tU (у'))°. (1)
Без труда проверяется, что tU есть полулинейное отображение F* в Е* относительно изоморфизма О'1. Если v — линейное отображение E в Faj ассоциированное с и, и ф — тождественное отображение Fa па F, так что ц = ф о V (п° 2), то, как легко видеть, tU = tV о и *<р есть биизоморфизм F* на (F0)* относительно изоморфизма C1; это соотношение позволяет сразу распространить на сопряженные полулинейные отображения все установленные в § 4 свойства сопряженных линейных отображений.
5. Матрица полулинейного отображения
Пусть А и В — изоморфные кольца с единицей и а — изоморфизм А на В. Для каждой матрицы X = (Iwi) над А обозначим через Xа матрицу (5"ц) над В\ очевидно (X-4-У)0 = Xa+ Ya, (XZf=XaZa, (аХ)а = ааХа,
(Xa)0=X0Ot0 (в предположении, что рассматриваемые операции имеют смысл).
Пусть E — унитарный правый Л-модуль с конечным базисом (я F — унитарный правый В-модуль с копечным базисом (Ь^)^м им — полулинейное отображение EbF относительно изоморфизма а; коэффициенты
разложений и (a.) = V вполне определяются заданием и, и, обрат-
[IfM
но, их задание определяет элементы и(а^), а следовательно, и и (§ 2, следствие 2 предложения 3); матрица (a^. ),^ yjcxixtс элементами из В называется матрицей отображения и относительно базисов (a,^) и (Ь^) и по-прежнему обозначается M (и; (a^), (Ъ^)) или просто М(и).
Пусть С — кольцо, изоморфное А и В, г — изоморфизм В С, G — унитарный правый С-модуль с конечным базисом (cv)vcv и — полулинейное отображение FbG относительно изоморфизма т. Если U — матрица отображения и относительно базисов (a^) и (у и F — матрица отображения V относительно базисов (bjL) и (cv), то матрица отображения v°u относительно базисов (а?) и (cv) равна VUx.