Tensorprodukt/Vektorraum/Universelle Eigenschaft/Fakt

Universelle Eigenschaft des Tensorprodukts

Es sei ${}K$ ein Körper und seien ${}V_{1},\ldots ,V_{n}$ Vektorräume über ${}K$.

1. Die Abbildung

   $\pi \colon V_{1}\times \cdots \times V_{n}\longrightarrow V_{1}\otimes _{K}\cdots \otimes _{K}V_{n},\,{\left(v_{1},\ldots ,v_{n}\right)}\longmapsto v_{1}\otimes \cdots \otimes v_{n},$

   ist ${}K$-multilinear.

2. Es sei ${}W$ ein weiterer ${}K$-Vektorraum und

   $\psi \colon V_{1}\times \cdots \times V_{n}\longrightarrow W$

   eine multilineare Abbildung. Dann gibt es eine eindeutig bestimmte ${}K$-lineare Abbildung

   ${\bar {\psi }}\colon V_{1}\otimes _{K}\cdots \otimes _{K}V_{n}\longrightarrow W$

   mit ${}\psi ={\bar {\psi }}\circ \pi$.

Zum Beweis, Alternativen Beweis erstellen