Tensoralgebra

Die Tensoralgebra i​st ein mathematischer Begriff, d​er in vielen Bereichen d​er Mathematik w​ie der linearen Algebra, d​er Algebra, d​er Differentialgeometrie s​owie in d​er Physik verwendet wird. Sie f​asst „alle Tensoren“ über e​inem Vektorraum i​n der Struktur e​iner graduierten Algebra zusammen.

Definition

Es sei ${\displaystyle V}$ ein Vektorraum über einem Körper ${\displaystyle K}$ oder allgemeiner ein Modul über einem kommutativen Ring mit Einselement. Dann ist die Tensoralgebra (als Vektorraum) definiert durch die direkte Summe aller Tensorprodukte des Raums mit sich selbst.

${\displaystyle \mathrm {T} (V):=\bigoplus _{n\geq 0}V^{\otimes n}=K\oplus V\oplus (V\otimes V)\oplus (V\otimes V\otimes V)\oplus \ldots }$

Mit der Multiplikation, die auf den homogenen Bestandteilen durch das Tensorprodukt gegeben ist, wird ${\displaystyle \mathrm {T} (V)}$ zu einer ${\displaystyle \mathbb {N} _{0}}$-graduierten, unitären, assoziativen Algebra.

Universelle Eigenschaft

Die Tensoralgebra erfüllt die folgende universelle Eigenschaft: Ist ${\displaystyle A}$ eine assoziative ${\displaystyle K}$-Algebra mit einem Einselement ${\displaystyle e}$, sowie ${\displaystyle f\colon V\to A}$ eine lineare Abbildung, so existiert genau ein Algebrenhomomorphismus ${\displaystyle {\tilde {f}}\colon \mathrm {T} (V)\to A}$, sodass das Diagramm

Universelle Eigenschaft der Tensoralgebra

kommutiert. Dieser Algebrenhomomorphismus ist gegeben durch ${\displaystyle {\tilde {f}}(v_{1}\otimes \dots \otimes v_{r})=f(v_{1})\dots f(v_{r})}$ sowie ${\displaystyle {\tilde {f}}(\lambda )=\lambda e}$.

T als Funktor

${\displaystyle \mathrm {T} }$ ist ein Funktor von der Kategorie der ${\displaystyle K}$-Vektorräume in die Kategorie der ${\displaystyle K}$-Algebren. Für einen ${\displaystyle K}$-Vektorraumhomomorphismus (eine lineare Abbildung) ${\displaystyle \varphi \colon V\to W}$ ist ${\displaystyle \mathrm {T} (\varphi ):\mathrm {T} (V)\to \mathrm {T} (W)}$ durch den Algebrenhomomorphismus gegeben, der nach der universellen Eigenschaft der Tensoralgebra durch ${\displaystyle i_{W}\circ \varphi :V\to \mathrm {T} (W)}$ induziert wird (hierbei ist ${\displaystyle i_{W}:W\to \mathrm {T} (W)}$ die Einbettung).

Der Funktor ${\displaystyle \mathrm {T} }$ ist linksadjungiert zum Vergissfunktor, der einer ${\displaystyle K}$-Algebra, den zugrundeliegenden ${\displaystyle K}$-Vektorraum zuordnet. Daher wird ${\displaystyle \mathrm {T} (V)}$ auch als die freie Algebra über ${\displaystyle V}$ bezeichnet.

Beispiel

Ist ${\displaystyle V}$ ein ${\displaystyle n}$-dimensionaler ${\displaystyle K}$-Vektorraum (bzw. ein freier Modul vom Rang ${\displaystyle n}$), so ist ${\displaystyle \mathrm {T} (V)}$ isomorph zur freien assoziativen Algebra über ${\displaystyle K}$ in ${\displaystyle n}$ Unbestimmten. Im Fall ${\displaystyle n=1}$ ist ${\displaystyle \mathrm {T} (V)}$ also isomorph zum Polynomring ${\displaystyle K[X]}$.

Ist allgemeiner ${\displaystyle X}$ eine beliebige nicht-leere Menge und ist ${\displaystyle V_{X}}$ der über ${\displaystyle X}$ erzeugte ${\displaystyle K}$-Vektorraum, das heißt der freie K-Modul über ${\displaystyle X}$, so ist ${\displaystyle \mathrm {T} (V_{X})}$ die frei über ${\displaystyle X}$ erzeugte assoziative Algebra.

Quotientenräume der Tensoralgebra

Durch Herausteilen e​ines bestimmten Ideals k​ann man a​us der Tensoralgebra beispielsweise d​ie symmetrische Algebra, d​ie äußere Algebra o​der die Clifford-Algebra gewinnen. Diese Algebren s​ind in d​er Differentialgeometrie v​on Bedeutung.

Siehe auch

• Formelsammlung Tensoralgebra