Tensorprodukt

Das Tensorprodukt ist ein sehr vielseitiger Begriff der Mathematik: in der linearen Algebra und der Differentialgeometrie dient es der Beschreibung von multilinearen Abbildungen, in der kommutativen Algebra und algebraischen Geometrie entspricht es einerseits der Einschränkung geometrischer Strukturen auf Teilmengen, andererseits dem kartesischen Produkt geometrischer Objekte.

Dieser Artikel beschreibt die mathematischen und koordinatenfreien Aspekte des Tensorproduktes. Für einzelne Tensoren und Koordinatendarstellungen siehe Tensor.

Tensorprodukt von Vektorräumen

Sind V und W zwei Vektorräume über einem gemeinsamen Skalarkörper K, so ist das Tensorprodukt

$V\otimes W$

ein Vektorraum, der wie folgt konstruiert werden kann: Ist $E=\{e_{i}\mid i\in I\}$ eine Basis von V und $F=\{f_{j}\mid j\in J\}$ eine Basis von W, dann ist $V\otimes W$ ein Vektorraum, in dem es eine Basis gibt, die auf eineindeutige Weise mit den geordneten Paaren des kartesischen Produkts

$E\times F=\{(e_{i},f_{j})\mid i\in I,j\in J\}$

der Basen der Ausgangsräume identifiziert werden kann. Die Dimension von $V\otimes W$ ist demzufolge gleich dem Produkt der Dimensionen von V und W.

Das Element dieser Basis, das dem geordneten Paar $(e_{i},f_{j})$ entspricht, wird als $e_{i}\otimes f_{j}$ notiert. Das Symbol $\otimes$ hat dabei bis hier keine tiefere Bedeutung. Man kann nun mit Hilfe dieser Basis ein Produkt von Vektoren aus V und W definieren, welches mit demselben Verknüpfungssymbol notiert wird. Natürlicherweise ist das Produkt zweier Basisvektoren $e_{i}\in E\subset V$ und $f_{j}\in F\subset W$ gerade der Basisvektor, der mit $e_{i}\otimes f_{j}\in V\otimes W$ bezeichnet wurde. Das Produkt beliebiger Vektoren kann nun durch bilineare Fortsetzung erhalten werden,

$v=\sum _{i\in I_{0}}a_{i}e_{i}\in V$ und $w=\sum _{i\in J_{0}}b_{i}f_{i}\in W$ – mit $I_{0}\subset I,\;J_{0}\subset J$ endlich –

wird das Produkt

$v\otimes w=\sum _{(i,j)\in I_{0}\times J_{0}}a_{i}b_{j}\;(e_{i}\otimes f_{j})$

zugeordnet.

Für endlichdimensionale Vektorräume V und W kann das Tensorprodukt direkt als Raum von Matrizen konstruiert werden. Die Zeilen werden mit dem Basisindex $I=\{1,\dots ,m\}$ von V nummeriert, die Spalten mit dem Basisindex $J=\{1,\dots ,n\}$ von W. Das Produkt zweier Vektoren $v\in V,\;w\in W$ ist diejenige Matrix, deren Eintrag an der Stelle (i,j) die i-te Koordinate von v mal der j-ten Koordinate von w ist. Die Spalten sind Vielfache von v, die Zeilen sind Vielfache von w. (In der Sprache der Matrizen nennt sich diese Konstruktion auch dyadisches Produkt.)

Für das Symbol v$\otimes$w gelten folgende Rechenregeln:

• $(v'+v'')\otimes w=v'\otimes w+v''\otimes w$
• $v\otimes (w'+w'')=v\otimes w'+v\otimes w''$
• $(\lambda v)\otimes w=\lambda \cdot (v\otimes w)=v\otimes (\lambda w)$    ($\lambda$ ein Element des Grundkörpers K)

Diese Regeln sehen aus wie Distributivgesetze bzw. Assoziativgesetze; auch daher der Name Tensorprodukt.

Im Allgemeinen nichts miteinander zu tun haben jedoch

$v\otimes w$ und $w\otimes v$,

selbst wenn V = W ist; andernfalls gehören sie sogar unterschiedlichen Vektorräumen an.

Universaldefinition

Bisher wurde die Frage umgangen, welcher Natur denn der mit $V\otimes W$ bezeichnete Vektorraum im allgemeinen Falle ist. Die bisher angegebenen Forderungen an diesen Vektorraum können kondensiert und in mathematischer Sicht unzweideutig in Form einer Universaldefinition angegeben werden.

Als Tensorprodukt der Vektorräume V und W, d.h. als Vektorraum, in welchem die Tensorprodukte von Vektoren aus V und W „leben“, wird jeder Vektorraum X (über dem gemeinsamen Skalarenkörper von V und W) bezeichnet, zu dem es eine bilineare Abbildung $\phi :V\times W\to X$ gibt, die die folgende universelle Eigenschaft erfüllt:

Jede weitere bilineare Abbildung $B:V\times W\to Y$ kann auf eindeutige Weise zu einer linearen Abbildung auf X erweitert werden. Dies heißt exakter, dass es eine eindeutig bestimmte lineare Abbildung ${\tilde {B}}:X\to Y$ gibt, so dass für beliebige Paare von Vektoren gilt

$B(v,w)={\tilde {B}}(\phi (v,w))$.

Gibt es einen solchen Vektorraum, so ist er (bis auf Isomorphie) eindeutig. Es wird $X=V\otimes W$ und $\phi (v,w)=v\otimes w$ notiert. Die universelle Eigenschaft kann also als $B(v,w)=B'(v\otimes w)$ geschrieben werden, oft verzichtet man auf die Vergabe unterschiedlicher Bezeichnungen, da der Definitionsbereich aus dem Argument ablesbar ist.

Um nun tatsächlich Vektorräume anzugeben, die diese Definition erfüllen, gibt es zwei übliche Wege. Einmal im endlichdimensionalen Fall über den Raum der Bilinearformen auf den Dualräumen, wie im folgenden angegeben, und zum anderen durch die Konstruktion eines einfach anzugebenden, aber zu großen Raumes, von dem ein Quotientenraum nach einem geeigneten Unterraum die Eigenschaften des Tensorproduktes erhält. Die letztgenannte Konstruktion wird weiter unten im Kontext von Moduln über Ringen ausgeführt.

Tensorprodukt und Bilinearformen

Bilinearformen $V\times W\to K$ entsprechen linearen Abbildungen $V\otimes W\to K$.

Es sei $B:V\times W\to K$ eine Bilinearform. Dann kann man zeigen, dass

$V\otimes W\to K,\qquad v\otimes w\mapsto B(v,w)$

eine wohldefinierte lineare Abbildung ist.

Ist umgekehrt

$\lambda \colon V\otimes W\to K$

eine lineare Abbildung, so ist die Abbildung

$V\times W\to K,\qquad (v,w)\mapsto \lambda (v\otimes w)$

bilinear.

Im Fall endlichdimensionaler Vektorräume kann man das Tensorprodukt von $V$ und $W$ also auch als den Dualraum des Vektorraums aller bilinearen Abbildungen $V\times W\to K$ definieren.

Ein Grund, weshalb man nicht statt des Tensorproduktes mit dem Raum der Bilinearformen arbeitet, ist der folgende: Multilinearformen, also beispielsweise Abbildungen

$U\times V\times W\to K$

für drei $K$-Vektorräume $U$, $V$, $W$, die linear in jeder Komponente sind, entsprechen linearen Abbildungen

$U\otimes V\otimes W\to K,$

aber es gibt keine ähnlich einfache Möglichkeit, Räume von Multilinearformen durch Räume von Bilinearformen auszudrücken; dabei bezeichnet

$U\otimes V\otimes W$

die Räume

$U\otimes (V\otimes W)$ bzw. $(U\otimes V)\otimes W,$

die mithilfe von

$u\otimes (v\otimes w)=(u\otimes v)\otimes w$

kanonisch identifiziert werden können. Diese Identifizierung entspricht dem Umstand, dass man aus einer Multilinearform

$U\times V\times W\to K$

einerseits durch Festhalten des Argumentes aus $U$ eine Bilinearform

$V\times W\to K,$

andererseits durch Festhalten des Argumentes aus $W$ eine Bilinearform

$U\times V\to K$

erhalten kann.

Erweiterung der Skalare

Ist V ein Vektorraum über K und L ein Erweiterungskörper von K, so kann man das Tensorprodukt

$V_{L}:=V\otimes _{K}L$

bilden, indem man auch L als K-Vektorraum auffasst; dies wird durch $\otimes _{K}$ symbolisiert. V_L wird zu einem Vektorraum über L, wenn man

$\lambda \cdot (v\otimes \mu ):=v\otimes (\lambda \mu )\qquad \mathrm {f{\ddot {u}}r} \ v\in V,\lambda ,\mu \in L$

setzt. Die Dimension von V_L als L-Vektorraum ist gleich der Dimension von V als K-Vektorraum: ist {e_i} eine K-Basis von V, so bildet die Menge

$\{e_{i}\otimes 1\}$

eine L-Basis von V_L.

Tensorprodukt über einem Ring

Die Grundkonstruktion

Es sei R ein Ring, M ein R-Rechtsmodul und N ein R-Linksmodul. Dann ist die abelsche Gruppe $M\otimes _{R}N$ definiert als der Quotient der freien abelschen Gruppe in den Erzeugern $m\otimes n$ (als Symbole) für alle Elemente m von M und n von N nach der Untergruppe, die von

• $(m_{1}+m_{2})\otimes n-m_{1}\otimes n-m_{2}\otimes n\qquad (m_{1},m_{2}\in M;n\in N)$
• $m\otimes (n_{1}+n_{2})-m\otimes n_{1}-m\otimes n_{2}\qquad (m\in M;n_{1},n_{2}\in N)$
• $mr\otimes n-m\otimes rn\qquad (m\in M;n\in N;r\in R)$

erzeugt wird.

Spezialfälle

• Ist M ein S-R-Bimodul mit einem weiteren Ring S, so ist

$M\otimes _{R}N$

ein S-Linksmodul.

• Ist R kommutativ, so ist

$M\otimes _{R}N$

ein R-Modul; die Moduloperation ist gegeben durch

$r(m\otimes n)=(rm)\otimes n=m\otimes (rn).$

Die Moduln

$M\otimes _{R}N$ und $N\otimes _{R}M$

sind kanonisch isomorph.

• Ist A eine R-Algebra, so ist

$A\otimes _{R}N$

ein A-Linksmodul; die Moduloperation ist gegeben durch

$b(a\otimes n)=(ba)\otimes n$ für a, b in A.

• Ist R ein kommutativer Ring, und sind A und B assoziative R-Algebren, so ist

$A\otimes _{R}B$

wieder eine assoziative R-Algebra; die Multiplikation ist gegeben durch

$(a_{1}\otimes b_{1})(a_{2}\otimes b_{2})=(a_{1}a_{2})\otimes (b_{1}b_{2}).$

Kategorielle Eigenschaften

Verschiedene Varianten des Tensorproduktes besitzen rechtsadjungierte Funktoren:

• Ist R ein Ring, M ein R-Rechtsmodul, N ein R-Linksmodul und P eine abelsche Gruppe, so gilt:

$\mathrm {Hom} _{\mathbf {Z} }(M\otimes _{R}N,P)=\mathrm {Hom} _{R}(M,\mathrm {Hom} _{\mathbf {Z} }(N,P));$

dabei ist Hom_Z(N,P) ein R-Rechtsmodul via

$(f\cdot r)(n)=f(rn)\quad \mathrm {f{\ddot {u}}r} \ f\in \mathrm {Hom} _{\mathbf {Z} }(N,P),r\in R,n\in N.$

• Ist R ein Ring, S eine R-Algebra, M ein R-Linksmodul und N ein S-Linksmodul, so gilt:

$\mathrm {Hom} _{S}(S\otimes _{R}M,N)=\mathrm {Hom} _{R}(M,N)$.

• Ist R ein kommutativer Ring mit Einselement und M, N, P drei R-Moduln, so gilt:

$\mathrm {Hom} _{R}(M\otimes _{R}N,P)=\mathrm {Hom} _{R}(M,\mathrm {Hom} _{R}(N,P))$.

Insbesondere ist das Tensorprodukt ein rechtsexakter Funktor.

Das Tensorprodukt ist der Pushout in der Kategorie der kommutativen Ringe mit Einselement; insbesondere ist für einen kommutativen Ring $R$ mit Eins das Tensorprodukt über $R$ das Koprodukt (für endlich viele Objekte) in der Kategorie der $R$-Algebren.

Beispiele

• Ist R ein Ring, I ein zweiseitiges Ideal und M ein R-Linksmodul, so ist

$M/IM=M\otimes _{R}R/I.$

• $\mathbb {Z} /n\mathbb {Z} \otimes _{\mathbb {Z} }\mathbb {Z} /m\mathbb {Z} =\mathbb {Z} /\mathrm {ggT} (m,n)\mathbb {Z}$
• $\mathbb {Q} \otimes _{\mathbb {Z} }\mathbb {Z} /n\mathbb {Z} =0$
• Ist R ein kommutativer Ring mit Einselement, so ist

$R[X]\otimes _{R}R[Y]=R[X,Y].$

• Lokalisierungen von Moduln sind Tensorprodukte mit den lokalisierten Ringen, also ist beispielsweise

$\mathbb {Q} \otimes _{\mathbb {Z} }\mathbb {Q} =\mathbb {Q} .$

Weiterführende Begriffe

In der Differentialgeometrie:

• Tensorfeld
• Differentialform
• Vektorbündel

In der Algebra:

• Flachheit
• Brauergruppe