Научная литература
booksshare.net -> Добавить материал -> Математика -> Бурбаки Н. -> "Алгебра. Том 1. Алгебраические структуры. Линейная и полилинейная алгебра " -> 174

Алгебра. Том 1. Алгебраические структуры. Линейная и полилинейная алгебра - Бурбаки Н.

Бурбаки Н. Алгебра. Том 1. Алгебраические структуры. Линейная и полилинейная алгебра — М.: Физ-мат литературы, 1962. — 515 c.
Скачать (прямая ссылка): algebraicheskiestrukturi1962.djvu
Предыдущая << 1 .. 168 169 170 171 172 173 < 174 > 175 176 177 178 179 180 .. 201 >> Следующая


Следствие. Каждый (п—1)-вектор над п-мерным векторным пространством E разложим.

Достаточно применить предложение 7, поменяв в нем ролями E и Е* и приняв P=1 (см. упражнение 7).

Пусть E — (л+1)-мерное векторное пространство над полем К,

V-г I

Е* — сопряженное пространство, F — пространство Д E и F1 —

п—р

пространство Д Е*\ каноническое отображение ср пространства F

n-f 1

на F' (относительно базиса е' в Д E*) дает при факторизации проективную биекцию ф пространства P (F) на P (F'), которая, на основании

п+1

сказанного в п° 5, не зависит от выбора базиса е' в Д?* и называется канонической. Ее сужение на грассманиан Gptl(E) (§ 7) является [биекцией на С„_р (Е*), относящей каждому/>-мерному проективному линейному многообразию n(F) из P (E) (гл. II, Приложение III, п° 3)

(п—р—1)-мерное проективное линейное многообразие Jt(Fc) в P (Е*), где F0 означает подпространство пространства E*, ортогональное

к V (предложение 7).
ДВОЙСТВЕНJlOCTb ДЛЯ ВНЕШНЕЙ АЛГЕБРЫ

451

У и р а ж н е н и я. 1) Пусть E — модуль, обладающий коиеч ним базисом, состоящим им н элементов, X — р-иектор над E і: х' — (/>4- </)-форма на х канонически отождествим (? 5, предложение 6} с результатом Uxi антисимметрирования контравариаитного тензора X1 /i-го порядка, а х' — с антисимметрированным ковариантным тензором (р '.-д)-то порядка. Показать, что если в смешанном тензоре хух' для каждого к такого, что 1 < к-'р, свернуть /,-ІІ контралнрнапт-ный индекс с (р~-к)-м ковариантным, то полученный так конарпант-ный тензор ?-1-о порядка также будет антисимметрированным, и притом канонически отождествимым С (/-формой xj. X .

2) Пусть X=X1 Д . . . Д X1, — разложимый /)-вектор над конечномерным векторным пространством являющейся внешним произведением р линейно независимых векторов xf, пусть, далее, у' — д-форма (</чСр) и z — произвольный элемент из Д ¦/’’*. Показать, что

¦Г L- (у' A Zt)=. 2] Qh К {хн> L-

H

где H пробегает множество всех подмножеств интервала [1, р], состоящих нз q элементов, а К означает дополнение к Ы относительно [1, р\. [Взять в E базис, р элементами которого служат х( .J

3) Пусть E — конечномерное векторное пространство их — произвольный элемент пространства Д Е. !Множество V' тех линей-иых форм у' на Е, для которых элемент х 1_ ?/' пространства Д E равен нулю, образует в Е* подпространство. Показать, что подпространство Г в Е, ортогональное к 1 ', есть наименьшее из подпространств W пространства Е, для которых х принадлежит Д W.

'i) Пусть E — модуль, обладающпіі конечным базисом, состоящим из п элементов. Обратным произведением х V у элементов х и у

V

из Д E относительно базиса е модуля Д E называется элемент

(f' (Cf (х) А Ч- (у)), где ср — изоморфизм, соответствующий базису е. Это произведение определено лишь с точностью до обратимого множителя, зависящего от выбранного базиса е. Показать, что если х - р-вектор н у — (/-вектор, то при p-ї q -С п будем иметь X у у ^ О, в противном же случае .і: у у есть (рт q— п)-вектор такой, что у у х—(- I)*"' х у у. Обратное произведение ассоциативно

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

5) Пусть E — «-мерное векторное пространство, х — разложимый р-вектор, у — разложимый (/-вектор и V (соответственно W) — подпространство в Е, определяемое р-вектором X (соответственно (/-век-

29*
ПОЛИЛИНЕЙНАЯ АЛГЕБРА

ГЛ. III, § 8

тором у). Для того чтобы Г-і W-=E, необходимо и достаточно, чтобы xV у Ф 0; тогда (р-\- q — «)-вектор х Vy разложим и определяет векторное подпространство V CXW.

*6) Для того чтобы /і-вектор л над n-мерпым векторным пространством E был разложимым, необходимо и достаточно,чтобы z V (z A ?) = 0 для каждого разложимого (п — р — 1)-вектора х. [Для установления достаточности условия применить его, взяв в качестве х внешние произведения п — р — 1 векторов базиса, и вывести существование п — р линейно пезависимых линейных форм и[ (1 і <; п — р)

на E таких, что <p(z) A Wi = O.]

7) а) Дать прямое доказательство (без использования изоморфизмов фр) разложимости каждого (п — 1)-вектора над /г-мерным векторным пространством.

б) Пусть А — коммутативная алгебра над полем К, обладающая базисом, образованным единичным элементом 1 и тремя элементами Cu Ci, с3, все попарные произведения которых равны нулю. Пусть, далее, E — Л-модуль A3 и (єі)і5:і<з —его канонический базис. Показать, что бивектор

(е3 А е3) + с3(е3 Д е1)~}-с3(е1 А е2)

неразложим.

8) Пусть E — Л-модуль, обладающий конечным базисом, состоящим из п > 1 элементов. Показать, что каждое линейное отображение

р п—р п—р P

ф модуля Д E в ДЯ* такое, что (д и ) о т|з = т|) о (д и) для каждого автоморфизма и модуля E с определителем, равным 1, являетси одним из изоморфизмов фр, определенных в и0 5. [Рассуждать, как в упражнении 12 § 5.] Вывести отсюда, что если в А существуют

р

обратимые элементы ф 1, то не существует изоморфизма Д E на
Предыдущая << 1 .. 168 169 170 171 172 173 < 174 > 175 176 177 178 179 180 .. 201 >> Следующая

Реклама

c1c0fc952cf0704ad12d6af2ad3bf47e03017fed

Есть, чем поделиться? Отправьте
материал
нам
Авторские права © 2009 BooksShare.
Все права защищены.
Rambler's Top100

c1c0fc952cf0704ad12d6af2ad3bf47e03017fed