Eine bilineare Konstruktion, die zwei Moduln oder Vektorräume über demselben Ring oder Körper zu einem neuen Modul bzw. Vektorraum kombiniert, dessen lineare Abbildungen genau den bilinearen Abbildungen vom Paar entsprechen; Elemente sind endliche Summen einfacher Tensorn v ⊗ w.

Prinzip

Charakterisiert durch eine universelle Eigenschaft: bilineare Abbildungen vom Produkt faktorisieren eindeutig über eine lineare Abbildung vom Tensorprodukt; Tensorieren ist das linksadjungierte Funktor zu Hom in den passenden Variablen.

Demonstration

Bei endlichdimensionalen Vektorräumen V und W über einem Körper liefert die Wahl von Basen eine Basis von V ⊗ W aus Paaren von Basisvektoren; jede bilineare Abbildung V×W→X faktorisert über eine lineare Abbildung V⊗W→X mit v⊗w ↦ f(v,w).

Fehlanwendung

Das Tensorprodukt mit dem kartesischen Produkt verwechseln oder annehmen, jedes Element sei ein einfacher Tensor; in nicht-flachen Moduln kann das Tensorprodukt Torsion zusammenziehen und Verhalten verfälschen.

Konsequenz

Linearisiert bilineare Phänomene, ermöglicht multilineare Algebra, Skalarextensionen und monoidale Strukturen auf Modul-Kategorien; es ist funktoriell und verteilt sich unter schwachen Voraussetzungen über direkte Summen.

Umkehrung

Ersetzt man das Tensorprodukt durch das direkte Produkt oder Hom, kehrt sich die universelle Eigenschaft um: Hom repräsentiert lineare Abbildungen von einem Faktor, das Produkt sammelt Tupel ohne Linearisierung, sodass sich die Darstellungsrichtung ändert.

Abgrenzung

Setzt einen gemeinsamen Grundring bzw. -körper voraus und ist empfindlich gegenüber Flachheit und Torsion bei Moduln über Nichtkörpern; unendliche Tensorprodukte erfordern oft Komplettierung oder topologische Strukturen.

Semantische Spannung

Wird leicht mit dem Kronecker-Produkt oder komponentenweisen Produkten in angewandten Kontexten verwechselt; das Tensorprodukt ist ein Quotient des freien Moduls über dem kartesischen Produkt durch Bilinearitätsrelationen, nicht ein komponentenweises Produkt.

Synthese

Das Tensorprodukt ist das kanonische lineare Objekt zur Darstellung bilinearer Wechselwirkungen: es universalisiert bilineare Abbildungen zu linearen Abbildungen und erzeugt einen Modulraum formaler Summen einfacher Tensoren unter Bilinearitätsrelationen.