ВНЕШНЯЯ АЛГЕБРА это:

ВНЕШНЯЯ АЛГЕБРА

алгебра Грассма-н а, векторного пространства Vнад полем k - ассоциативная алгебра над k, операция в к-рой обозначается знаком , порождающими элементами к-рой являются где - базис пространства V, а определяющие соотношения имеют вид


В. а. не зависит от выбора базиса и обозначается Подпространство в , порожденное элементами вида наз. r-й внешней степенью пространства V. Имеют место равенства: Кроме того,

Элементы пространства наз. -векторами; их можно понимать также как кососимметрические г раз контраварнантные тензоры в V(см. Внешнее произведение).

r-векторы тесно связаны с r-мерными подпространствами в V: линейно независимые системы векторов н из V порождают одно и то же подпространство тогда и только тогда, когда r-векторы и пропорциональны. Этот факт был одним из отправных пунктов в исследованиях Г. Грассмана [1], к-рый ввел В. а. как алгебраич. аппарат для описания порождения многомерных подпространств одномерными. С помощью В. а. легко строится теория определителей. В. а. может быть определена и для более общих объектов, а именно, для унитарных модулей Мнад коммутативным кольцом А с единицей (см. [4]). r-я внешняя степень модуля Мопределяется как фактормодуль r-й тензорной степени этого модуля по подмодулю, порожденному элементами вида где и для нек-рых В. а. для Мопределяется как прямая сумма где с естественно введенным умножением. В случае конечномерного векторного пространства это определение совпадает с первоначальным. В. а. модуля находит применение в теории модулей над кольцом главных идеалов (см. [5]).

Грассмaновыми (или плюккеровыми) координатами r-мерного подпространства Lв гс-мерном пространстве Vнад kназ. координаты r-вектора в V, соответствующего L, к-рый определен с точностью до пропорциональности. С помощью грасс-мановых координат множество всех r-мерных подпространств в Vестественным образом вкладывается в проективное пространство размерности и оказывается там алгебраич. многообразием (наз. Грассмана многообразием).

Этот метод позволяет построить целый ряд важных примеров проективных алгебраич. многообразий [6].

В форме исчисления внешних дифференциальных форм В. а. используется в качестве одного из основных формализмов в дифференциальной геометрии (см. [8], [7]). В терминах В. а. формулируются многие важные результаты алгебраич. топологии.

Например, если G - конечномерное H-пространство (например, группа Ли), то алгебра когомологий пространства Gс коэффициентами в поле kхарактеристики нуль является В. а. с образующими нечетных степеней. Если G - односвязная компактная группа Ли, то В. а. (над кольцом целых чисел) является также кольцо , изучаемое в К-те-ории.

Лит.:[1] Grassmann H., Gesammelte mathematische imd physikalische Werke, Bd 1, Tl. 1-2, Lpz., 1894-96; [2] Мальцев А. И., Основы линейной алгебры, 2 изд., М., 1956; [3] Калужнин Л. А., Введение в общую алгебру, М., 1973; [4] Бур баки Н., Алгебра. Алгебраические структуры. Линейная и полилинейная алгебра, пер. с франц., М., 1962; [5] его же, Алгебра. Модули, кольца, формы, пер. с франц., М., 1968; [6] Ходж В., Пидо Д., Методы алгебраической геометрии, пер. с англ., т. 1-3, М., 1954; [7] Фиников С. <П., Метод внешних форм Картана в дифференциальной геометрии, М.-Л., 1948; К] Стернберг С., Лекции по дифференциальной геометрии, пер. с англ., М., 1970. А. Л. Онищик.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Смотреть что такое "ВНЕШНЯЯ АЛГЕБРА" в других словарях:

  • Внешняя алгебра — или алгебра Грассмана  алгебраическая система, применяемая для описания подпространств векторного пространства. Впервые введена Грассманом в 1844 г. Содержание 1 Определение 2 Связанные определения …   Википедия

  • Внешняя форма — Внешняя алгебра или алгебра Грассмана  алгебраическая система, применяемая для описания подпространств векторного пространства. Впервые введена Грассманом. Содержание 1 Определение 2 Связанные определения 3 Свойства …   Википедия

  • Алгебра (значения) — Алгебра  раздел математики либо математическая структура специального вида (см. Алгебраическая система) Как раздел математики Абстрактная алгебра Алгебра логики  раздел математической логики. Коммутативная алгебра Линейная алгебра… …   Википедия

  • Алгебра Хопфа — Алгебра Хопфа  алгебра, являющаяся унитарной ассоциативной коалгеброй и, таким образом, биалгеброй c антигомоморфизмом специального вида. Названа в честь Х. Хопфа. Алгебры Хопфа встречаются в алгебраической топологии, где они возникли в… …   Википедия

  • АЛГЕБРА — часть математики, посвященная изучению алгебраических операций. Исторический очерк. Простейшие алгебраич. операции арифметич. действия над натуральными и положительными рациональными числами встречаются в самых ранних математич. текстах,… …   Математическая энциклопедия

  • Внешняя производная — Дифференциальная форма порядка k или k форма кососимметрическое тензорное поле типа на касательном расслоении многообразия. Дифференциальные формы были введены Картаном в начале XX века. Формализм дифференциальных форм оказывается удобен во… …   Википедия

  • ВНЕШНЯЯ ФОРМА — степени r, внешняя r форма, однородный элемент степени r внешней алгебры векторного пространства V, т. е. элемент r й внешней степени . Выражение внешняя форма степени r на пространстве F обычно обозначает косо симметрическую r линейную функцию… …   Математическая энциклопедия

  • ФИЛЬТРОВАННАЯ АЛГЕБРА — алгебра S, в к рой выделены подпространства индексированные элементами линейно упорядоченной группы А(чаще всего А аддитивная группа целых чисел ). таким образом, что при и (возрастающая фильтрация). Иногда рассматривают случай, когда при… …   Математическая энциклопедия

  • ХОПФА АЛГЕБРА — биалгебра, гипералгебра градуированный модуль Анад ассоциативно коммутативным кольцом К с единицей, снабженный одновременно структурой ассоциативной градуированной алгебры с единицей и структурой ассоциативной градуированной коалгебры скоединицей …   Математическая энциклопедия

  • Тензорная алгебра — Тензорной алгеброй линейного пространства (обозначается ) называется алгебра тензоров любого ранга над с операцией тензорного умножения. Также тензорной алгеброй называется соответствующий раздел линейной алгебры (то есть раздел, занимающийся… …   Википедия

Книги

Другие книги по запросу «ВНЕШНЯЯ АЛГЕБРА» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»