Тензорная алгебра - Tensor algebra

В математика, то тензорная алгебра из векторное пространство V, обозначенный Т(V) или Т^•(V), это алгебра из тензоры на V (любого ранга) с умножением тензорное произведение. Это свободная алгебра на V, в смысле бытия левый смежный к забывчивый функтор от алгебр к векторным пространствам: это «самая общая» алгебра, содержащая V, в смысле соответствующего универсальная собственность (увидеть ниже ).

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

Тензорная алгебра также имеет два коалгебра конструкции; один простой, который не делает его биалгеброй, но приводит к концепции cofree коалгебра, и более сложный, который дает биалгебра, и может быть расширен путем задания антипода для создания Алгебра Хопфа структура.

Заметка: В этой статье предполагается, что все алгебры единый и ассоциативный. Единица явно требуется для определения сопродукта.

строительство

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

${\displaystyle T^{k}V=V^{\otimes k}=V\otimes V\otimes \cdots \otimes V.}$

Это, Т^kV состоит из всех тензоров на V из порядок k. Условно Т⁰V это наземное поле K (как одномерное векторное пространство над собой).

Затем мы строим Т(V) как прямая сумма из Т^kV для k = 0,1,2,…

${\displaystyle T(V)=\bigoplus _{k=0}^{\infty }T^{k}V=K\oplus V\oplus (V\otimes V)\oplus (V\otimes V\otimes V)\oplus \cdots .}$

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

${\displaystyle T^{k}V\otimes T^{\ell }V\to T^{k+\ell }V}$

задается тензорным произведением, которое затем распространяется по линейности на все Т(V). Из этого правила умножения следует, что тензорная алгебра Т(V) естественно градуированная алгебра с участием Т^kV служащий классом-k подпространство. Эту оценку можно расширить до Z сортировка путем добавления подпространств ${\displaystyle T^{k}V=\{0\}}$ для отрицательных целых чисел k.

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

Пристройка и универсальная собственность

Тензорная алгебра Т(V) также называется свободная алгебра в векторном пространстве V, и является функториальным. Как и в случае с другими бесплатные конструкции, функтор Т является левый смежный некоторым забывчивый функтор. В данном случае функтор отправляет каждый K-алгебра к лежащему в основе векторному пространству.

Явно тензорная алгебра удовлетворяет следующему универсальная собственность, что формально выражает утверждение, что это самая общая алгебра, содержащая V:

Любые линейное преобразование ж : V → А от V к алгебре А над K можно однозначно расширить до гомоморфизм алгебр от Т(V) к А как указано ниже коммутативная диаграмма:

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

Указанное универсальное свойство показывает, что построение тензорной алгебры функториальный в природе. Это, Т это функтор от K-Вект, то категория векторных пространств над K, чтобы K-Alg, категория K-алгебры. Функториальность Т означает, что любая линейная карта между K-векторные пространства U и W распространяется однозначно на Kгомоморфизм -алгебр из Т(U) к Т(W).

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

Если V имеет конечную размерность п, другой способ взглянуть на тензорную алгебру - как на "алгебру многочленов над K в п некоммутирующие переменные ". Если взять базисные векторы для V, они становятся некоммутирующими переменными (или неопределенный ) в Т(V), без ограничений, кроме ассоциативность, то распределительный закон и K-линейность.

Отметим, что алгебра многочленов на V не является ${\displaystyle T(V)}$, скорее ${\displaystyle T(V^{*})}$: (однородная) линейная функция на V является элементом ${\displaystyle V^{*},}$ например координаты ${\displaystyle x^{1},\dots ,x^{n}}$ в векторном пространстве ковекторы, поскольку они принимают вектор и выдают скаляр (заданную координату вектора).

Коэффициенты

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

Коалгебра

Тензорная алгебра имеет два разных коалгебра конструкции. Один совместим с тензорным произведением и, таким образом, может быть расширен до биалгебра, и может быть расширен антиподом к Алгебра Хопфа структура. Другая структура, хотя и более простая, не может быть распространена на биалгебру. Первая структура развивается непосредственно ниже; вторая структура приведена в разделе о cofree коалгебра, дальше.

Представленная ниже разработка может быть одинаково хорошо применена к внешняя алгебра, используя символ клина ${\displaystyle \wedge }$ вместо символа тензора ${\displaystyle \otimes }$; знак также необходимо отслеживать при перестановке элементов внешней алгебры. Это соответствие продолжается и в определении биалгебры, и в определении алгебры Хопфа. То есть внешней алгебре также может быть задана структура алгебры Хопфа.

Точно так же симметрическая алгебра также можно точно таким же образом задать структуру алгебры Хопфа, заменив всюду тензорное произведение ${\displaystyle \otimes }$ симметризованным тензорным произведением ${\displaystyle \otimes _{\mathrm {Sym} }}$, т.е. тот продукт, где ${\displaystyle v\otimes _{\mathrm {Sym} }w=w\otimes _{\mathrm {Sym} }v.}$

В любом случае это возможно, потому что чередующийся продукт ${\displaystyle \wedge }$ и симметричное произведение ${\displaystyle \otimes _{\mathrm {Sym} }}$ подчиняться требуемым условиям согласованности для определения биалгебры и алгебры Хопфа; это можно явно проверить следующим образом. Всякий раз, когда у кого-то есть продукт, удовлетворяющий этим условиям согласованности, конструкция идет тщательно; поскольку такое произведение привело к фактор-пространству, фактор-пространство наследует структуру алгебры Хопфа.

На языке теория категорий, говорят, что существует функтор Т из разряда K-векторных пространств к категории K-ассоциированные алгебры. Но есть еще функтор Λ переводящие векторные пространства в категорию внешних алгебр, а функтор Сим переводящие векторные пространства в симметрические алгебры. Существует природная карта от Т к каждому из них. Проверка того, что факторизация сохраняет структуру алгебры Хопфа, аналогична проверке того, что отображения действительно естественны.

Копродукт

Коалгебра получается путем определения сопродукт или диагональный оператор

${\displaystyle \Delta :TV\to TV\boxtimes TV}$

Вот, ${\displaystyle TV}$ используется как сокращение для ${\displaystyle T(V)}$ чтобы избежать взрыва скобок. В ${\displaystyle \boxtimes }$ символ используется для обозначения «внешнего» тензорного произведения, необходимого для определения коалгебры. Его используют, чтобы отличить его от "внутреннего" тензорного произведения. ${\displaystyle \otimes }$, который уже «взят» и используется для обозначения умножения в тензорной алгебре (см. раздел Умножениениже для дальнейших разъяснений по этому вопросу). Чтобы избежать путаницы между этими двумя символами, в большинстве текстов заменяется ${\displaystyle \otimes }$ простой точкой или даже совсем отказаться от него, понимая, что это подразумевается из контекста. Затем это позволяет ${\displaystyle \otimes }$ символ, который будет использоваться вместо ${\displaystyle \boxtimes }$ символ. Ниже этого не делается, и два символа используются независимо и явно, чтобы показать правильное расположение каждого из них. Результат будет немного более подробным, но его будет легче понять.

Определение оператора ${\displaystyle \Delta }$ проще всего построить поэтапно, сначала определив его для элементов ${\displaystyle v\in V\subset TV}$ а затем гомоморфным расширением на всю алгебру. Тогда подходящим выбором для побочного продукта является

${\displaystyle \Delta :v\mapsto v\boxtimes 1+1\boxtimes v}$

и

${\displaystyle \Delta :1\mapsto 1\boxtimes 1}$

где ${\displaystyle 1\in K=T^{0}V\subset TV}$ это единица поля ${\displaystyle K}$. По линейности очевидно, что

${\displaystyle \Delta (k)=k(1\boxtimes 1)=k\boxtimes 1=1\boxtimes k}$

для всех ${\displaystyle k\in K.}$ Несложно проверить, что это определение удовлетворяет аксиомам коалгебры: то есть, что

${\displaystyle (\mathrm {id} _{TV}\boxtimes \Delta )\circ \Delta =(\Delta \boxtimes \mathrm {id} _{TV})\circ \Delta }$

где ${\displaystyle \mathrm {id} _{TV}:x\mapsto x}$ тождественная карта на ${\displaystyle TV}$. Действительно, получается

${\displaystyle ((\mathrm {id} _{TV}\boxtimes \Delta )\circ \Delta )(v)=v\boxtimes 1\boxtimes 1+1\boxtimes v\boxtimes 1+1\boxtimes 1\boxtimes v}$

то же самое и с другой стороны. Здесь можно воспользоваться леммой и сказать, что ${\displaystyle \Delta }$ тривиально распространяется по линейности на все ${\displaystyle TV}$, потому что ${\displaystyle TV}$ это свободный объект и ${\displaystyle V}$ это генератор свободной алгебры и ${\displaystyle \Delta }$ является гомоморфизмом. Тем не менее, полезно предоставлять явные выражения. Таким образом, для ${\displaystyle v\otimes w\in T^{2}V}$, имеется (по определению) гомоморфизм

${\displaystyle \Delta :v\otimes w\mapsto \Delta (v)\otimes \Delta (w)}$

Расширяя, есть

${\displaystyle {\begin{aligned}\Delta (v\otimes w)&=(v\boxtimes 1+1\boxtimes v)\otimes (w\boxtimes 1+1\boxtimes w)\\&=(v\otimes w)\boxtimes 1+v\boxtimes w+w\boxtimes v+1\boxtimes (v\otimes w)\end{aligned}}}$

В приведенном выше расширении нет необходимости когда-либо писать ${\displaystyle 1\otimes v}$ поскольку это просто старое скалярное умножение в алгебре; то есть, очевидно, что ${\displaystyle 1\otimes v=1\cdot v=v.}$

Приведенное выше расширение сохраняет градуировку алгебры. Это,

${\displaystyle \Delta :T^{2}V\to \bigoplus _{k=0}^{2}T^{k}V\boxtimes T^{(2-k)}V}$

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

${\displaystyle {\begin{aligned}\Delta (v_{1}\otimes \cdots \otimes v_{m})&=\Delta (v_{1})\otimes \cdots \otimes \Delta (v_{m})\\&=\sum _{p=0}^{m}\left(v_{0}\otimes \cdots \otimes v_{p}\right)\;\omega \;\left(v_{p+1}\otimes \cdots \otimes v_{m}\right)\\&=\sum _{p=0}^{m}\;\sum _{\sigma \in \mathrm {Sh} (p,m-p+1)}\;\left(v_{\sigma (0)}\otimes \dots \otimes v_{\sigma (p)}\right)\boxtimes \left(v_{\sigma (p+1)}\otimes \dots \otimes v_{\sigma (m)}\right)\end{aligned}}}$

где ${\displaystyle \omega }$ символ, который должен выглядеть как ш, ша, обозначает перемешать продукт. Это выражается во втором суммировании, которое проводится по всем (p, m-p + 1) -перестановки. Вышеупомянутое написано с помощью нотации, чтобы отслеживать элемент поля 1: трюк состоит в том, чтобы написать ${\displaystyle v_{0}=1}$, и это перетасовывается в различные места во время расширения суммы путем перемешивания. Перемешивание следует непосредственно из первой аксиомы коалгебры: относительный порядок элементов ${\displaystyle v_{k}}$ является сохранился в случайном порядке: при случайном воспроизведении упорядоченная последовательность просто разделяется на две упорядоченные последовательности, одну слева и одну справа. Любой заданный случайный порядок подчиняется

${\displaystyle \sigma (0)<\cdots <\sigma (p)\quad {\mbox{ and }}\quad \sigma (p+1)<\cdots <\sigma (m)}$

Как и прежде, сохраняется алгебра градуировки:

${\displaystyle \Delta :T^{m}V\to \bigoplus _{k=0}^{m}T^{k}V\boxtimes T^{(m-k)}V}$

Графство

Графство ${\displaystyle \epsilon :TV\to K}$ дается проекцией компоненты поля из алгебры. Это можно записать как ${\displaystyle \epsilon :v\mapsto 0}$ для ${\displaystyle v\in V}$ и ${\displaystyle \epsilon :k\mapsto k}$ для ${\displaystyle k\in K=T^{0}V}$. Гомоморфизмом относительно тензорного произведения ${\displaystyle \otimes }$, это распространяется на

${\displaystyle \epsilon :x\mapsto 0}$

для всех ${\displaystyle x\in T^{1}V\oplus T^{2}V\oplus \cdots }$Несложно проверить, удовлетворяет ли эта коединица необходимой аксиоме для коалгебры:

${\displaystyle (\mathrm {id} \boxtimes \epsilon )\circ \Delta =\mathrm {id} =(\epsilon \boxtimes \mathrm {id} )\circ \Delta .}$

Работая с этим явно, можно

${\displaystyle {\begin{aligned}((\mathrm {id} \boxtimes \epsilon )\circ \Delta )(x)&=(\mathrm {id} \boxtimes \epsilon )(1\boxtimes x+x\boxtimes 1)\\&=1\boxtimes \epsilon (x)+x\boxtimes \epsilon (1)\\&=0+x\boxtimes 1\\&\cong x\end{aligned}}}$

где для последнего шага использовался изоморфизм ${\displaystyle TV\boxtimes K\cong TV}$, что соответствует определяющей аксиоме счетчика.

Биалгебра

А биалгебра определяет как умножение, так и коумножение, и требует их совместимости.

Умножение

Умножение дается оператором

${\displaystyle \nabla :TV\boxtimes TV\to TV}$

которое в данном случае уже было задано как «внутреннее» тензорное произведение. Это,

${\displaystyle \nabla :x\boxtimes y\mapsto x\otimes y}$

Это, ${\displaystyle \nabla (x\boxtimes y)=x\otimes y.}$ Выше должно быть понятно, почему ${\displaystyle \boxtimes }$ необходимо использовать символ: ${\displaystyle \otimes }$ на самом деле это то же самое, что ${\displaystyle \nabla }$; а небрежность в обозначениях привела бы к полному хаосу. Чтобы усилить это: тензорное произведение ${\displaystyle \otimes }$ тензорной алгебры соответствует умножению ${\displaystyle \nabla }$ используется в определении алгебры, тогда как тензорное произведение ${\displaystyle \boxtimes }$ это тот, который требуется в определении коумножения в коалгебре. Эти два тензорных произведения равны не тоже самое!

Единица измерения

Единица алгебры

${\displaystyle \eta :K\to TV}$

это просто вложение, так что

${\displaystyle \eta :k\mapsto k}$

Что единица совместима с тензорным произведением ${\displaystyle \otimes }$ является «тривиальным»: это просто часть стандартного определения тензорного произведения векторных пространств. Это, ${\displaystyle k\otimes x=kx}$ для элемента поля k и любой ${\displaystyle x\in TV.}$ Более подробно, аксиомы для ассоциативная алгебра требуются два гомоморфизма (или коммутирующие диаграммы):

${\displaystyle \nabla \circ (\eta \boxtimes \mathrm {id} _{TV})=\eta \otimes \mathrm {id} _{TV}=\eta \cdot \mathrm {id} _{TV}}$

на ${\displaystyle K\boxtimes TV}$, причем симметрично, на ${\displaystyle TV\boxtimes K}$, это

${\displaystyle \nabla \circ (\mathrm {id} _{TV}\boxtimes \eta )=\mathrm {id} _{TV}\otimes \eta =\mathrm {id} _{TV}\cdot \eta }$

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

Совместимость

Единица и счетчик, умножение и коумножение должны удовлетворять условиям совместимости. Несложно увидеть, что

${\displaystyle \eta \circ \epsilon =\mathrm {id} _{K}.}$

Точно так же единица совместима с коумножением:

${\displaystyle \Delta \circ \eta =\eta \boxtimes \eta \cong \eta }$

Сказанное выше требует использования изоморфизма ${\displaystyle K\boxtimes K\cong K}$ чтобы работать; без этого теряется линейность. По компонентам,

${\displaystyle (\Delta \circ \eta )(k)=\Delta (k)=k(1\boxtimes 1)\cong k}$

с правой частью, использующей изоморфизм.

Умножение и счет совместимы:

${\displaystyle (\epsilon \circ \nabla )(x\boxtimes y)=\epsilon (x\otimes y)=0}$

всякий раз, когда Икс или у не являются элементами ${\displaystyle K}$, а в противном случае - скалярное умножение на поле: ${\displaystyle k_{1}\otimes k_{2}=k_{1}k_{2}.}$ Сложнее всего проверить совместимость умножения и коумножения:

${\displaystyle \Delta \circ \nabla =(\nabla \boxtimes \nabla )\circ (\mathrm {id} \boxtimes \tau \boxtimes \mathrm {id} )\circ (\Delta \boxtimes \Delta )}$

где ${\displaystyle \tau (x\boxtimes y)=y\boxtimes x}$ обменивается элементами. Условие совместимости необходимо проверять только на ${\displaystyle V\subset TV}$; полная совместимость следует как гомоморфное расширение на все ${\displaystyle TV.}$ Проверка является многословной, но простой; здесь он не приводится, за исключением окончательного результата:

${\displaystyle (\Delta \circ \nabla )(v\boxtimes w)=\Delta (v\otimes w)}$

Для ${\displaystyle v,w\in V,}$ явное выражение для этого было дано в разделе коалгебры выше.

Алгебра Хопфа

В Алгебра Хопфа добавляет антипода к аксиомам биалгебры. Антипод ${\displaystyle S}$ на ${\displaystyle k\in K=T^{0}V}$ дан кем-то

${\displaystyle S(k)=k}$

Иногда это называют «антиидентичностью». Антипод на ${\displaystyle v\in V=T^{1}V}$ дан кем-то

${\displaystyle S(v)=-v}$

и дальше ${\displaystyle v\otimes w\in T^{2}V}$ от

${\displaystyle S(v\otimes w)=S(w)\otimes S(v)=w\otimes v}$

Это продолжается гомоморфно на

${\displaystyle {\begin{aligned}S(v_{1}\otimes \cdots \otimes v_{m})&=S(v_{m})\otimes \cdots \otimes S(v_{1})\\&=(-1)^{m}v_{m}\otimes \cdots \otimes v_{1}\end{aligned}}}$

Совместимость

Совместимость антипода с умножением и коумножением требует, чтобы

${\displaystyle \nabla \circ (S\boxtimes \mathrm {id} )\circ \Delta =\eta \circ \epsilon =\nabla \circ (\mathrm {id} \boxtimes S)\circ \Delta }$

Это легко проверить покомпонентно на ${\displaystyle k\in K}$:

${\displaystyle {\begin{aligned}(\nabla \circ (S\boxtimes \mathrm {id} )\circ \Delta )(k)&=(\nabla \circ (S\boxtimes \mathrm {id} ))(1\boxtimes k)\\&=\nabla (1\boxtimes k)\\&=1\otimes k\\&=k\end{aligned}}}$

Аналогично на ${\displaystyle v\in V}$:

${\displaystyle {\begin{aligned}(\nabla \circ (S\boxtimes \mathrm {id} )\circ \Delta )(v)&=(\nabla \circ (S\boxtimes \mathrm {id} ))(v\boxtimes 1+1\boxtimes v)\\&=\nabla (-v\boxtimes 1+1\boxtimes v)\\&=-v\otimes 1+1\otimes v\\&=-v+v\\&=0\end{aligned}}}$

Напомним, что

${\displaystyle (\eta \circ \epsilon )(k)=\eta (k)=k}$

и это

${\displaystyle (\eta \circ \epsilon )(x)=\eta (0)=0}$

для любого ${\displaystyle x\in TV}$ это не в ${\displaystyle K.}$

Можно поступить аналогичным образом, путем гомоморфизма, проверяя, что антипод вставляет соответствующие знаки отмены в тасование, начиная с условия совместимости на ${\displaystyle T^{2}V}$ и действуя по индукции.

Cofree совместная коалгебра

Основная статья: Коалгебра Cofree

Можно определить другое копроизведение на тензорной алгебре, более простое, чем приведенное выше. Это дается

${\displaystyle \Delta (v_{1}\otimes \dots \otimes v_{k}):=\sum _{j=0}^{k}(v_{0}\otimes \dots \otimes v_{j})\boxtimes (v_{j+1}\otimes \dots \otimes v_{k+1})}$

Здесь, как и раньше, используется нотационный прием ${\displaystyle v_{0}=v_{k+1}=1\in K}$ (напоминая, что ${\displaystyle v\otimes 1=v}$ тривиально).

Это копроизведение порождает коалгебру. Он описывает коалгебру, которая двойной к структуре алгебры на Т(V^∗), где V^∗ обозначает двойное векторное пространство линейных карт V → F. Точно так же, как тензорная алгебра является свободная алгебра, соответствующая коалгебра называется кокомполной co-свободной. С обычным продуктом это не биалгебра. Это мочь превратиться в биалгебру с произведением ${\displaystyle v_{i}\cdot v_{j}=(i,j)v_{i+j}}$ где (я, j) обозначает биномиальный коэффициент для ${\displaystyle {\tbinom {i+j}{i}}}$. Эта биалгебра известна как алгебра Хопфа с разделенной степенью.

Разницу между этой и другой коалгеброй легче всего увидеть в ${\displaystyle T^{2}V}$ срок. Вот это

${\displaystyle \Delta (v\otimes w)=1\boxtimes (v\otimes w)+v\boxtimes w+(v\otimes w)\boxtimes 1}$

для ${\displaystyle v,w\in V}$, в котором явно отсутствует перетасованный термин по сравнению с предыдущим.

Смотрите также

• Плетеное векторное пространство
• Плетеная алгебра Хопфа
• Моноидальная категория
• Полилинейная алгебра
• Станислав Лем Любовь и тензорная алгебра
• Пространство фока

использованная литература

• Бурбаки, Николас (1989). Алгебра I. Главы 1-3. Элементы математики. Springer-Verlag. ISBN  3-540-64243-9. (См. Главу 3 §5)

• Серж Ланг (2002), Алгебра, Тексты для выпускников по математике, 211 (3-е изд.), Springer Verlag, ISBN  978-0-387-95385-4