Virtual Laboratory Wiki
Регистрация
Advertisement

Тензорной алгеброй линейного пространства (обозначается ) называется алгебра тензоров любого ранга над с операцией тензорного умножения.

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

Определение[]

Пусть Vвекторное пространство над полем K. Для любого натурального числа k определим k-ую тензорную степень V как тензорное произведение V на себя k раз:

Таким образом, TkV состоит из всех тензоров над V ранга k. Будем считать, что T0V — это основное поле K (одномерное векторное пространство над собой).

Определим T(V) как прямую сумму TkV для всех k = 0,1,2,…

Умножение в T(V) определяется задаваемым тензорным произведением каноническим изоморфизмом

который потом продолжается по линейности на всю T(V). Такое умножение превращает тензорную алгебру T(V) в градуированную алгебру.

Функториальность[]

Тензорная алгебра T(V) — это свободная алгебра векторного пространства V. Тензорная алгебра является наиболее общей алгеброй пространства V, то есть любое линейное отображение пространства V в алгебру A над K может быть продолжено единственным образом до гомоморфизма . Это утверждение выражается коммутативной диаграммой:

где i — каноническое вложение V в T(V). Тензорную алгебру можно определить как единственную (с точностью до изоморфизма) алгебру, обладающую таким свойством, хотя необходимо ещё явно показать, что такая алгебра существует.

Таким образом, тензорная алгебра функториальна, то есть T — это функтор из категории K-Vect векторных пространств над K в категорию K-Alg K-алгебр.

Некоммутативные многочлены[]

Если размерность V конечна и равна n, то тензорную алгебру можно рассматривать как алгебру многочленов над K с n некоммутативными переменными. Базисным векторам V соответствуют некоммутативные переменные, причем их умножение будет ассоциативным, дистрибутивным и K-линейным.

Заметим, что алгебра многочленов над V — это не , а : однородная линейная функция на V является элементом сопряженного пространства .

Факторалгебры[]

В силу общности тензорной алгебры многие другие важные алгебры пространства V можно получить, накладывая определенные ограничения на образующие элементы тензорной алгебры, то есть строя факторалгебры от T(V). Например, так можно построить внешнюю алгебру, симметрическую алгебру и алгебру Клиффорда.

Вариации и обобщения[]

Конструкция тензорной алгебры над линейным пространством естественно обобщается до тензорной алгебры над модулем M над коммутативным кольцом. Если R — некоммутативное кольцо, можно построить тензорное произведение для любых R-бимодулей над M. Для обычных R-модулей оказывается невозможным построить кратное тензорное произведение.

Ссылки[]

  • Винберг Э. Б. Курс алгебры — М.:Издательство «Факториал Пресс» — 2002, ISBN 5-88688-060-7

См. также[]

  • Алгебра Клиффорда
  • Внешняя алгебра
  • Симметрическая алгебра




Эта страница использует содержимое раздела Википедии на русском языке. Оригинальная статья находится по адресу: Тензорная алгебра. Список первоначальных авторов статьи можно посмотреть в истории правок. Эта статья так же, как и статья, размещённая в Википедии, доступна на условиях CC-BY-SA .


Advertisement