Produit tensoriel de deux applications linéaires

Un article de Wikipédia, l'encyclopédie libre.

Vous avez de nouveaux messages (diff^?).

Articles scientifiques
sur les tenseurs

Mathématiques

Produit tensoriel
... de deux modules
... de deux algèbres
... de deux applications linéaires
Algèbre tensorielle
Champ tensoriel
Espace tensoriel

Physique

Convention d'Einstein
Tenseur
Tenseur de courbure
Tenseur de Ricci
Tenseur des contraintes
Tenseur des déformations
Tenseur énergie-impulsion
Tenseur métrique

[modifier] Définition

On suppose dans cette partie que l'anneau d'opérateurs A des modules étudiés est commutatif. Avec les notations introduites en introduction, l'application suivante de $E_1 \times E_2$ dans $F_1 \otimes_A F_2$

$(x,y) \mapsto u(x) \otimes v(y)$

est une application A-bilinéaire. D'après la propriété universelle du produit tensoriel, il existe une application $\varphi(u,v)$ de $E_1 \otimes_A E_2$ dans $F_1 \otimes_A F_2$ telle que :

$\forall (x,y) \in E \times F, \varphi(u,v)(x \otimes y) = u(x) \otimes v(y)$

En fait, l'application $\varphi$ de l'espace $\mathrm{Hom}_A\, (E_1, F_1) \times \mathrm{Hom}_A\, (E_2, F_2)$ dans le module $\mathrm{Hom}_A \, (E_1 \otimes_A E_2, F_1 \otimes_A F_2)$ est bilinéaire, il existe donc une application $\psi : \mathrm{Hom}_A\, (E_1, F_1) \otimes_A \mathrm{Hom}_A\, (E_2, F_2) \to \mathrm{Hom}_A \, (E_1 \otimes_A E_2, F_1 \otimes_A F_2)$ telle que :

$\varphi(u,v) = \psi(u \otimes v)$ pour toutes applications A-linéaires $u : E_1 \to F_1$ , $v : E_2 \to F_2$ .

L'application $φ(u, v)$ de $E_1 \otimes_A E_2$ dans $F_1 \otimes_A F_2$ s'appelle le produit tensoriel de u et v, et il se note dans la pratique $u \otimes v$ . Attention, cette notation est abusive, car elle peut désigner deux objets de nature différente :

L'application A-linéaire $\varphi(u,v)$
L'élément du produit tensoriel $\mathrm{Hom}_A\, (E_1, F_1) \otimes_A \mathrm{Hom}_A\, (E_2, F_2)$ qui n'est pas une application linéaire.

D'autant plus que ψ ne réalise pas systèmatiquement un isomorphisme de $\mathrm{Hom}_A\, (E_1, F_1) \otimes_A \mathrm{Hom}_A\, (E_2, F_2)$ sur $\mathrm{Hom}_A \, (E_1 \otimes_A E_2, F_1 \otimes_A F_2)$ , si bien qu'il impossible d'identifier les deux « $u \otimes v$ ».

Néanmoins, quand tous les modules $E 1, E 2, F 1, F 2$ ont des bases finies (ce qui en particulier le cas lorsque l'on manipule des espaces vectoriels de dimension finie), alors ψ est un isomorphisme, et cela a bien un sens de confondre le deux notations $u \otimes v$ .

Démonstration de ce résultat