Тензорна алгебра

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку

Тензорною алгеброю лінійного простору (позначається ) називається алгебра тензорів будь-якого рангу над з операцією тензорного добутку.

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

Означення[ред. | ред. код]

Нехай Vвекторний простір над полем k. Для будь-якого натурального числа k визначимо k-ий тензорний степінь V як тензорний добуток V на себе k раз :

Таким чином, Tk V складається з усіх тензорів над V рангу k. Будемо вважати, що T0 V — основне поле k (одновимірний векторний простір над собою).

Визначимо T(V) як пряму суму Tk V для всіх k = 0,1,2, ...

Добуток в T(V) визначається заданим тензорним добутком канонічним ізоморфізмом:

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

Універсальна властивість і функторіальність[ред. | ред. код]

Тензорна алгебра T(V) — вільна алгебра векторного простору V. Як і для будь-якої іншої вільної конструкції, функтор Т є лівим спряженим функтором забуваючого функтора (який в даному випадку відправляє К-алгебру в її векторний простір). Тензорна алгебра задовольняє наступну універсальну властивість, яка формалізує твердження, що це найбільш загальна алгебра, що містить простір V:

Будь-яке лінійне відображення простору V над полем К в алгебру A над k може бути єдиним чином продовжено до гомоморфізма алгебр . Це твердження виражається комутативною діаграмою:
Universal property of the tensor algebra

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

Наведена вище універсальна властивість показує, що тензорна алгебра функторіальна, тобто Tфунктор з категорії K-Vect векторних просторів над K в категорію k-Alg K-алгебр. Функторіальность Т означає, що будь-яке лінійне відображення з V в W може бути єдиним чином продовжено до гомоморфізму з алгебри T(V) у T(W).

Некомутативні многочлени[ред. | ред. код]

Якщо розмірність V є скінченною і дорівнює n, то тензорну алгебру можна розглядати як алгебру многочленів над k з n некомутативними змінними. Базисним векторам V відповідають некомутативними змінні, причому їх множення буде асоціативним, дистрибутивним і k — лінійним.

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

Факторалгебри[ред. | ред. код]

Зважаючи на загальність тензорної алгебри багато інших важливих алгебр на просторі V можна отримати, накладаючи певні обмеження на твірні елементи тензорної алгебри, тобто як факторалгебри від T(V). Наприклад, так можна побудувати зовнішню алгебру, симетричну алгебру і алгебру Кліффорда.

Варіації і узагальнення[ред. | ред. код]

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

Див. Також[ред. | ред. код]

Література[ред. | ред. код]