Une construction bilinéaire universelle qui, appliquée à deux modules ou espaces vectoriels sur un même anneau ou corps, produit un nouvel objet dont les applications linéaires correspondent exactement aux applications bilinéaires définies sur le produit cartésien des facteurs.

Principe

Caractérisé par la propriété universelle : pour des objets A et B, le produit tensoriel A ⊗ B est muni d'une application bilinéaire canonique A×B → A⊗B telle que toute application bilinéaire A×B → X se factorise de façon unique par une application linéaire A⊗B → X.

Démonstration

Pour des espaces vectoriels V et W sur un corps k, en prenant des bases {v_i} et {w_j}, V⊗_k W est l'espace vectoriel sur k engendré par des symboles formels v_i⊗w_j soumis aux relations de bilinéarité ; les applications linéaires V⊗W → X correspondent aux applications bilinéaires V×W → X. Sur Z, Z/2Z ⊗_Z Z/2Z ≅ Z/2Z illustre des phénomènes de torsion propres aux modules.

Mauvaise application

Prendre le produit tensoriel pour le produit cartésien ou supposer qu'il préserve tous les limites et colimites. Une erreur fréquente est d'utiliser le produit tensoriel algébrique pour des espaces vectoriels topologiques sans le compléter (négliger le produit tensoriel topologique complété), ou d'omettre les actions gauche/droite dans le cas de bimodules sur des anneaux non commutatifs.

Conséquence

Formé correctement, le produit tensoriel linéarise les opérations bilinéaires et fournit des outils standards : changement de base, algèbre multilinéaire, structures monoïdales sur les catégories de modules, et l'adjonction Hom–tensor Hom(A⊗B, X) ≅ Bilin(A×B, X). De nombreuses constructions (puissances extérieures ou symétriques) se fondent sur des itérés de tenseurs plus des relations.

Inversion

La perspective duale est celle de Hom / Hom interne : au lieu de former le récepteur universel des applications bilinéaires sortant de A×B, Hom interne représente les applications d'un facteur vers les applications linéaires sur l'autre. Dans une catégorie monoïdale, l'inversion revient à représenter des flèches vers une cible fixe plutôt que des flèches bilinéaires issues des facteurs.

Limite

Défini dans des catégories algébriques telles que les modules sur un anneau ou les espaces vectoriels sur un corps ; pour des anneaux non commutatifs il faut utiliser les produits tensoriels équilibrés de bimodules et suivre les actions gauche/droite. Ce n'est pas le produit cartésien et il n'est pas automatiquement complet en contexte topologique ; l'existence et les propriétés dépendent de la catégorie ambiante.

Tension sémantique

Souvent confondu avec la somme directe ou le produit direct parce que tous « combinent » des objets, mais le produit tensoriel encode la bilinéarité et se caractérise par une propriété universelle plutôt que par des opérations composantes. Il diffère aussi des produits symétriques ou extérieurs qui imposent des relations supplémentaires.

Synthèse

Le produit tensoriel est la construction algébrique universelle qui transforme la dépendance bilinéaire entre deux facteurs en dépendance linéaire dans un seul objet, obtenu comme quotient du module libre sur le produit cartésien par les relations de bilinéarité.