Outils mathématiques pour la physique - bis (PCSI)/Les tenseurs, définition à l'aide de la notion de produit tensoriel d'espaces vectoriels

Début de la boite de navigation du chapitre

fin de la boite de navigation du chapitre

Produit tensoriel d'espaces vectoriels de dimension finie

     Bien que les définitions qui suivent restent valables pour des espaces vectoriels de dimension finie quelconque, nous nous plaçons dans les conditions usuelles d'utilisation en physique c.-à-d. des $\;\mathbb {R}$-espaces vectoriels isomorphes à $\;\left\lbrace \mathbb {R} ^{3}\right\rbrace ^{p}\;$ avec $\;p\;\in \;\mathbb {N} ^{*}\;\ldots$

Définition du produit tensoriel de deux espaces vectoriels tridimensionnels

Produit tensoriel de deux vecteurs

     Soit deux $\;\mathbb {R}$-espaces vectoriels tridimensionnels $\;E\;$ et $\;F$, ainsi qu'un couple de vecteurs quelconques $\;\left({\vec {u}}\,,\,{\vec {v}}\right)\;\in E\times F$, on appelle « produit tensoriel de ces deux vecteurs » « l'application linéaire de $\;E\times F\;$ dans $\;\mathbb {R} \;$, notée $\;\left\lbrace {\vec {u}}\otimes {\vec {v}}\right\rbrace \;$», telle que
«$\;\forall \;\left({\vec {x}}\,,\,{\vec {y}}\right)\;\in E\times F$, $\;\left\lbrace {\vec {u}}\otimes {\vec {v}}\right\rbrace \left({\vec {x}}\,,\,{\vec {y}}\right)=\left({\vec {u}}\cdot _{E}{\vec {x}}\right)\left({\vec {v}}\cdot _{F}{\vec {y}}\right)\;\in \mathbb {R} \;$»,
«$\;\cdot _{E}\;$ et $\;\cdot _{F}\;$ étant les multiplications scalaires respectivement définies sur $\;E\;$ et $\;F\;$» .

     Remarque 1 : À partir du « vecteur $\;{\vec {u}}\;\in \;E\;$» et de « la multiplication scalaire $\;\cdot _{E}\;$ définie sur $\;E\;$» , on construit le « covecteur $\;{\vec {u}}\cdot _{E}\;\in \;E^{*}\;$» et
     Remarque 1 : À partir on en déduit l'« image d'un élément quelconque $\;{\vec {x}}\;\in E\;$ par la forme linéaire $\;{\vec {u}}\cdot _{E}\;\in \;E^{*}\,$ définie comme le scalaire $\;\left({\vec {u}}\cdot _{E}{\vec {x}}\right)\;$»,
     Remarque 1 : à partir du « vecteur $\;{\vec {v}}\;\in \;F\;$» et de « la multiplication scalaire $\;\cdot _{F}\;$ définie sur $\;F\;$» , on construit le « covecteur $\;{\vec {v}}\cdot _{F}\;\in \;F^{*}\;$» et
     Remarque 1 : à partir on en déduit l'« image d'un élément quelconque $\;{\vec {y}}\;\in F\;$ par la forme linéaire $\;{\vec {v}}\cdot _{F}\;\in \;F^{*}\,$ définie comme le scalaire $\;\left({\vec {v}}\cdot _{F}{\vec {y}}\right)\;$» ;
     Remarque 1 : en utilisant les deux observations précédentes, l'« application linéaire de $\;E\times F\;$ dans $\;\mathbb {R} \;$ “$\;\left\lbrace {\vec {u}}\otimes {\vec {v}}\right\rbrace \;$” » peut être considérée comme la « composition de deux applications linéaires »
     Remarque 1 : $\succ \;$« la 1^ère de $\;E\times F\;$ dans $\;F\;$» étant la « composition de la forme linéaire $\;{\vec {u}}\cdot _{E}\;$ de $\;E\;$ appliquée sur $\;{\vec {x}}\;$ du couple $\;\left({\vec {x}}\,,\,{\vec {y}}\right)\;\in E\times F\;$ dont l'image est $\;{\vec {u}}\cdot _{E}{\vec {x}}\;\in \mathbb {R} \;$ et
     Remarque 1 : $\color {transparent}{\succ }\;$« la 1^ère de $\;\color {transparent}{E\times F}\;$ dans $\;\color {transparent}{F}\;$» étant la « composition de l'homothétie de rapport $\;{\vec {u}}\cdot _{E}{\vec {x}}\;$ de $\;F\;$ appliquée sur $\;{\vec {y}}\;$ du couple $\;\left({\vec {x}}\,,\,{\vec {y}}\right)\;\in E\times F\;$ dont l'image est $\;\left({\vec {u}}\cdot _{E}{\vec {x}}\right)\;{\vec {y}}\;\in F\;$» soit
     Remarque 1 : $\color {transparent}{\succ }\;$« la 1^ère de $\;\color {transparent}{E\times F}\;$ dans $\;\color {transparent}{F}\;$» étant la «$\;\left({\vec {x}}\,,\,{\vec {y}}\right)\;\in E\times F\;\;{\overset {{\vec {u}}\cdot _{E}\,\in \,E^{*}}{\longrightarrow }}\;\left\lbrace \left({\vec {u}}\cdot _{E}{\vec {x}}\right),{\vec {y}}\right\rbrace \;\in \;\mathbb {R} \,\times \,F\;\;{\overset {{\mathcal {H}}_{F}}{\rightarrow }}\;\;\left({\vec {u}}\cdot _{E}{\vec {x}}\right)\,{\vec {y}}\;\in \;F\;$» suivi de
     Remarque 1 : $\succ \;$« la 2^nde forme linéaire $\;{\vec {v}}\cdot _{F}\;$ de $\;F\;$», « appliquée sur $\;\left({\vec {u}}\cdot _{E}{\vec {x}}\right)\,{\vec {y}}\;\in \;F\;$ et donnant $\;{\vec {v}}\cdot _{F}\left[\left({\vec {u}}\cdot _{E}{\vec {x}}\right)\,{\vec {y}}\right]=\left({\vec {u}}\cdot _{E}{\vec {x}}\right)\,\left({\vec {v}}\cdot _{F}{\vec {y}}\right)\;\in \mathbb {R} \;$» soit
     Remarque 1 : $\color {transparent}{\succ }\;$« la 2^nde forme linéaire $\;\color {transparent}{{\vec {v}}\cdot _{F}}\;$ de $\;\color {transparent}{F}\;$», « appliquée sur«$\;\left({\vec {u}}\cdot _{E}{\vec {x}}\right)\,{\vec {y}}\;\in \;F\;\;{\overset {{\vec {v}}\cdot _{F}\,\in \,F^{*}}{\longrightarrow }}\;\;{\vec {v}}\cdot _{F}\left[\left({\vec {u}}\cdot _{E}{\vec {x}}\right)\,{\vec {y}}\right]=\left({\vec {u}}\cdot _{E}{\vec {x}}\right)\,\left({\vec {v}}\cdot _{F}{\vec {y}}\right)\;\in \mathbb {R} \;$»
     Remarque 1 : $\color {transparent}{\succ }\;$« la 2^nde forme linéaire $\;\color {transparent}{{\vec {v}}\cdot _{F}}\;$ de $\;\color {transparent}{F}\;$», « appliquée sur«$\;\color {transparent}{\left({\vec {u}}\cdot _{E}{\vec {x}}\right)\,{\vec {y}}\;\in \;F\;\;{\overset {{\vec {v}}\cdot _{F}\,\in \,F^{*}}{\longrightarrow }}}\;\;$ c.-à-d. l'image définitive $\;\left\lbrace {\vec {u}}\otimes {\vec {v}}\right\rbrace \left({\vec {x}}\,,\,{\vec {y}}\right)\in \,\mathbb {R} \;$» ;

     Remarque 1' : « la 1^ère application linéaire ci-dessus de $\;E\times F\;$ dans $\;F\;$ étant construite à l'aide de la forme linéaire $\;{\vec {u}}\cdot _{E}\;\in \;E^{*}\;$» et
     Remarque 1' : « la 2^nde application linéaire ci-dessusde $\;F\;$ dans $\;\mathbb {R} \;$ étant la forme linéaire $\;{\vec {v}}\cdot _{F}\;\in \;F^{*}\;$», on en déduit que
     Remarque 1' : « l'application linéaire de $\;E\times F\;$ dans $\;\mathbb {R} \;$ “$\;\left\lbrace {\vec {u}}\otimes {\vec {v}}\right\rbrace \;$” » est une « forme bilinéaire $\;\left({\text{?}}_{1}\,\vert \,{\text{?}}_{2}\right)\;$ de $\;E\times F\;$» construite en utilisant un élément particulier $\;\left({\vec {u}}\cdot _{E}\,,\,{\vec {v}}\,\cdot _{F}\right)\;\in E^{*}\times F^{*}\;$ et
     Remarque 1' : « l'application linéaire de $\;\color {transparent}{E\times F}\;$ dans $\;\color {transparent}{\mathbb {R} }\;$ “$\;\color {transparent}{\left\lbrace {\vec {u}}\otimes {\vec {v}}\right\rbrace }\;$” » est une « forme bilinéaire $\;\color {transparent}{\left({\text{?}}_{1}\,\vert \,{\text{?}}_{2}\right)}\;$ de $\;\color {transparent}{E\times F}\;$» définie selon «$\;\left({\text{?}}_{1}\,\vert \,{\text{?}}_{2}\right)=\left({\vec {u}}\cdot _{E}{\text{?}}_{1}\right)\,\left({\vec {v}}\cdot _{F}{\text{?}}_{2}\right)\;$» $\Rightarrow$
     Remarque 1' : « l'application linéaire de $\;\color {transparent}{E\times F}\;$ dans $\;\color {transparent}{\mathbb {R} }\;$ “$\;\color {transparent}{\left\lbrace {\vec {u}}\otimes {\vec {v}}\right\rbrace }\;$” » est une «$\;\forall \;\left({\vec {x}}\,,\,{\vec {y}}\right)\;\in \;E\times F\;$ $\;\left({\vec {x}}\,,\,{\vec {y}}\right)\;{\overset {\left({\text{?}}_{1}\,\vert \,{\text{?}}_{2}\right)}{\rightarrow }}\;\left({\vec {x}}\,\vert \,{\vec {y}}\right)=\left({\vec {u}}\cdot _{E}{\vec {x}}\right)\,\left({\vec {v}}\cdot _{F}{\vec {y}}\right)=\left\lbrace {\vec {u}}\otimes {\vec {v}}\right\rbrace \left({\vec {x}}\,,\,{\vec {y}}\right)\;\in \;\mathbb {R} \;$» ;
     Remarque 1' : réciproquement on admet que « toute forme bilinéaire $\;\left({\text{?}}_{1}\,\vert \,{\text{?}}_{2}\right)\;$ de $\;E\times F\;$» peut être mise sous la forme d'une « application linéaire de $\;E\times F\;$ dans $\;\mathbb {R} \;$ du type “$\;\left\lbrace {\vec {u}}\otimes {\vec {v}}\right\rbrace \;$” »
     Remarque 1' : réciproquement on admet que « toute forme bilinéaire $\;\color {transparent}{\left({\text{?}}_{1}\,\vert \,{\text{?}}_{2}\right)}\;$ de $\;\color {transparent}{E\times F}\;$» ${\big \{}$avec $\;\left({\vec {u}}\,,\,{\vec {v}}\right)\,\in E\times F\;$ couple particulier caractérisant la forme bilinéaire $\;\left({\text{?}}_{1}\,\vert \,{\text{?}}_{2}\right){\big \}}$ ;
     Remarque 1' : nous en déduisons que l'ensemble des formes bilinéaires de $\;E\times F\;$ noté «$\;{\mathcal {L}}_{2}\!\left(E^{*}\times F^{*}\,,\,\mathbb {R} \right)\;$» est isomorphe à
     Remarque 1' : nous en déduisons que l'ensemble des applications linéaires de $\;E\times F\;$ dans $\;\mathbb {R} \;$ du type “$\;\left\lbrace {\vec {u}}\otimes {\vec {v}}\right\rbrace \;$” avec $\;\left({\vec {u}}\,,\,{\vec {v}}\right)\,\in E\times F\;$».

     Conséquence : Sur l'ensemble des formes bilinéaires de $\;E\times F\;$ c.-à-d. «$\;{\mathcal {L}}_{2}\!\left(E^{*}\times F^{*}\,,\,\mathbb {R} \right):=\left\lbrace {\vec {u}}\otimes {\vec {v}},\;\;\forall \;\left({\vec {u}}\,,\,{\vec {v}}\right)\in E\times F\right\rbrace \;$» , on définit :
     Conséquence : $\blacktriangleright \;$une addition «$\;+\;$» telle que «$\;\forall \;\left({\vec {u}}\otimes {\vec {v}}\,,\,{\vec {u'}}\otimes {\vec {v'}}\right)\;\in \;\left\lbrace {\mathcal {L}}_{2}\!\left(E^{*}\times F^{*}\,,\,\mathbb {R} \right)\right\rbrace ^{2}$, $\;\left({\vec {u}}\otimes {\vec {v}}\,,\,{\vec {u'}}\otimes {\vec {v'}}\right)\;{\overset {+}{\rightarrow }}\;{\vec {u}}\otimes {\vec {v}}+{\vec {u'}}\otimes {\vec {v'}}\;\in \;{\mathcal {L}}_{2}\!\left(E^{*}\times F^{*}\,,\,\mathbb {R} \right)\;$» , vérifiant
     Conséquence : $\color {transparent}{\blacktriangleright }\;$une addition «$\;\color {transparent}{+}\;$» telle que «$\;\forall \;\left({\vec {x}}\,,\,{\vec {y}}\right)\in E\times F$, $\;\left\lbrace {\vec {u}}\otimes {\vec {v}}+{\vec {u'}}\otimes {\vec {v'}}\right\rbrace \left({\vec {x}}\,,\,{\vec {y}}\right)=\left[\left({\vec {u}}\cdot _{E}{\vec {x}}\right)\left({\vec {v}}\cdot _{F}{\vec {y}}\right)+\left({\vec {u'}}\cdot _{E}{\vec {x}}\right)\left({\vec {v'}}\cdot _{F}{\vec {y}}\right)\right]\;\in \;\mathbb {R} \;$» ;
     Conséquence : $\color {transparent}{\blacktriangleright }\;$cette addition ayant les propriétés suivantes : $\succ \;$associative «$\;\left({\vec {u}}\otimes {\vec {v}}+{\vec {u'}}\otimes {\vec {v'}}\right)+{\vec {u''}}\otimes {\vec {v''}}={\vec {u}}\otimes {\vec {v}}+\left({\vec {u'}}\otimes {\vec {v'}}+{\vec {u''}}\otimes {\vec {v''}}\right)={\vec {u}}\otimes {\vec {v}}+{\vec {u'}}\otimes {\vec {v'}}+{\vec {u''}}\otimes {\vec {v''}}\;$»,
     Conséquence : $\color {transparent}{\blacktriangleright }\;$cette addition ayant les propriétés suivantes : $\succ \;$admettant un élément neutre «$\;0_{{\mathcal {L}}_{2}\left(E^{*}\times F^{*}\,,\,\mathbb {R} \right)}=\left\lbrace {\begin{array}{c}{\vec {u}}\otimes {\vec {0}}_{F}\;\;\forall \;{\vec {u}}\;\in \;E\\{\text{ou}}\\{\vec {0}}_{E}\otimes {\vec {v}}\;\;\forall \;{\vec {v}}\;\in \;F\end{array}}\right\rbrace \;$» c.-à-d. tel que «$\;{\vec {u}}\otimes {\vec {v}}+0_{{\mathcal {L}}_{2}\left(E^{*}\times F^{*}\,,\,\mathbb {R} \right)}={\vec {u}}\otimes {\vec {v}}\;$» ,
     Conséquence : $\color {transparent}{\blacktriangleright }\;$cette addition ayant les propriétés suivantes : $\succ \;$tout élément «$\;{\vec {u}}\otimes {\vec {v}}\;$» admet un opposé «$\;-\left({\vec {u}}\otimes {\vec {v}}\right)=(-{\vec {u}})\otimes {\vec {v}}={\vec {u}}\otimes (-{\vec {v}})\;$» c.-à-d. tel que
     Conséquence : $\color {transparent}{\blacktriangleright }\;$cette addition ayant les propriétés suivantes : $\color {transparent}{\succ }\;$tout élément «$\;\color {transparent}{{\vec {u}}\otimes {\vec {v}}}\;$» admet un opposé «$\;{\vec {u}}\otimes {\vec {v}}+\left[-\left({\vec {u}}\otimes {\vec {v}}\right)\right]=0_{{\mathcal {L}}_{2}\left(E^{*}\times F^{*}\,,\,\mathbb {R} \right)}\;$» et
     Conséquence : $\color {transparent}{\blacktriangleright }\;$cette addition ayant les propriétés suivantes : $\succ \;$commutative c.-à-d. tel que «$\;{\vec {u}}\otimes {\vec {v}}+{\vec {u'}}\otimes {\vec {v'}}={\vec {u'}}\otimes {\vec {v'}}+{\vec {u}}\otimes {\vec {v}}\;$»,
     Conséquence : $\color {transparent}{\blacktriangleright }\;$cette addition ayant les propriétés suivantes : $\succ \;$on en déduit que «$\;{\mathcal {L}}_{2}\!\left(E^{*}\times F^{*}\,,\,\mathbb {R} \right)\;$ muni de l'addition a une structure de groupe abélien »  ;
     Conséquence : $\blacktriangleright \;$une loi de composition externe «$\;\cdot \;$» telle que «$\;\forall \;\lambda \;\in \;\mathbb {R} \;$ et $\;\forall \;{\vec {u}}\otimes {\vec {v}}\;\in \;{\mathcal {L}}_{2}\!\left(E^{*}\times F^{*}\,,\,\mathbb {R} \right)\;$, $\;\left(\lambda \,,\,{\vec {u}}\otimes {\vec {v}}\right)\;{\overset {\cdot }{\rightarrow }}\;\lambda \cdot \left({\vec {u}}\otimes {\vec {v}}\right)\;\in \;{\mathcal {L}}_{2}\!\left(E^{*}\times F^{*}\,,\,\mathbb {R} \right)\;$» , vérifiant
     Conséquence : $\color {transparent}{\blacktriangleright }\;$une loi de composition externe «$\;\color {transparent}{\cdot }\;$» telle que «$\;\forall \;\left({\vec {x}}\,,\,{\vec {y}}\right)\in E\times F$, $\;\left\lbrace \lambda \cdot \left[{\vec {u}}\otimes {\vec {v}}\right]\right\rbrace \left({\vec {x}}\,,\,{\vec {y}}\right)=\lambda \;\left[\left({\vec {u}}\cdot _{E}{\vec {x}}\right)\left({\vec {v}}\cdot _{F}{\vec {y}}\right)\right]\;\in \;\mathbb {R} \;$» ;
     Conséquence : $\color {transparent}{\blacktriangleright }\;$une loi de composition externe «$\;\color {transparent}{\cdot }\;$» ayant les propriétés suivantes : $\succ \;$distributive à gauche par rapport à l'addition de $\;{\mathcal {L}}_{2}\!\left(E^{*}\times F^{*}\,,\,\mathbb {R} \right)\;$ c.-à-d. tel que
     Conséquence : $\color {transparent}{\blacktriangleright }\;$une loi de composition externe «$\;\color {transparent}{\cdot }\;$» ayant les propriétés suivantes : $\color {transparent}{\succ }\;$distributive à gauche par rapport à l'addition «$\;\lambda \cdot \left({\vec {u}}\otimes {\vec {v}}+{\vec {u'}}\otimes {\vec {v'}}\right)=\lambda \cdot \left({\vec {u}}\otimes {\vec {v}}\right)+\lambda \cdot \left({\vec {u'}}\otimes {\vec {v'}}\right)\;$» et
     Conséquence : $\color {transparent}{\blacktriangleright }\;$une loi de composition externe «$\;\color {transparent}{\cdot }\;$» ayant les propriétés suivantes : $\succ \;$distributive à droite par rapport à l'addition définie sur $\;\mathbb {R}$ c.-à-d. tel que
     Conséquence : $\color {transparent}{\blacktriangleright }\;$une loi de composition externe «$\;\color {transparent}{\cdot }\;$» ayant les propriétés suivantes : $\color {transparent}{\succ }\;$distributive à droite par rapport à l'addition «$\;\left(\lambda +\mu \right)\cdot \left({\vec {u}}\otimes {\vec {v}}\right)=\lambda \cdot \left({\vec {u}}\otimes {\vec {v}}\right)+\mu \cdot \left({\vec {u}}\otimes {\vec {v}}\right)\;$» ,
     Conséquence : $\color {transparent}{\blacktriangleright }\;$une loi de composition externe «$\;\color {transparent}{\cdot }\;$» ayant les propriétés suivantes : $\succ \;$associative mixte $\;{\big (}$par rapport à la multiplication dans $\;\mathbb {R} {\big )}$ c.-à-d. tel que
      Conséquence : $\color {transparent}{\blacktriangleright }\;$une loi de composition externe «$\;\color {transparent}{\cdot }\;$» ayant les propriétés suivantes : $\color {transparent}{\succ }\;$associative mixte «$\;\left(\lambda \;\mu \right)\cdot \left({\vec {u}}\otimes {\vec {v}}\right)=\lambda \cdot \left[\mu \cdot \left({\vec {u}}\otimes {\vec {v}}\right)\right]\;$» et
     Conséquence : $\color {transparent}{\blacktriangleright }\;$une loi de composition externe «$\;\color {transparent}{\cdot }\;$» ayant les propriétés suivantes : $\succ \;$admettant l'élément neutre multiplicatif de $\;\mathbb {R}$, noté «$\;1_{\mathbb {R} }\;$», comme neutre à gauche pour «$\;\cdot \;$» c.-à-d. tel que
     Conséquence : $\color {transparent}{\blacktriangleright }\;$une loi de composition externe «$\;\color {transparent}{\cdot }\;$» ayant les propriétés suivantes : $\color {transparent}{\succ }\;$admettant l'élément neutre multiplicatif de $\;\color {transparent}{\mathbb {R} }$, noté «$\;\color {transparent}{1_{\mathbb {R} }}\;$», «$\;1_{\mathbb {R} }\cdot \left({\vec {u}}\otimes {\vec {v}}\right)=\left({\vec {u}}\otimes {\vec {v}}\right)\;$» ,
     Conséquence : $\color {transparent}{\blacktriangleright }\;$une loi de composition externe «$\;\color {transparent}{\cdot }\;$» ayant les propriétés suivantes : $\succ \;$on en déduit, avec la structure de groupe abélien muni de l'addition pour $\;{\mathcal {L}}_{2}\!\left(E^{*}\times F^{*}\,,\,\mathbb {R} \right)\;$, que
     Conséquence : $\color {transparent}{\blacktriangleright }\;$une loi de composition externe «$\;\color {transparent}{\cdot }\;$» ayant les propriétés suivantes : $\color {transparent}{\succ }\;$on en déduit, «$\;{\mathcal {L}}_{2}\!\left(E^{*}\times F^{*}\,,\,\mathbb {R} \right)\;$ a une structure de $\;{\underline {\mathbb {R} }}$-espace vectoriel » .

     Remarque 2 : Théoriquement les multiplications scalaires définies sur $\;E\;$ et $\;F\;$ à savoir «$\;\cdot _{E}\;$ et $\;\cdot _{F}\;$» étant des formes bilinéaires particulières sur $\;E\times E\;$ et sur $\;F\times F\;$
         Remarque 2 : Théoriquement les multiplications scalaires définies sur $\;\color {transparent}{E}\;$ et $\;\color {transparent}{F}\;$ peuvent être remplacées par n'importe quelle forme bilinéaire non dégénérée définie sur $\;E\times E\;$ et sur $\;F\times F$
         Remarque 2 : Théoriquement les multiplications scalaires définies sur $\;\color {transparent}{E}\;$ et $\;\color {transparent}{F}\;$ ${\Big [}$de façon plus générale une forme bilinéaire «$\;f\;{\text{:}}\;E\times F\;\rightarrow \;\mathbb {R} \;$» est non dégénérée
         Remarque 2 : Théoriquement les multiplications scalaires définies sur $\;\color {transparent}{E}\;$ et $\;\color {transparent}{F}\;$ $\color {transparent}{\Big [}$« si les espaces singuliers à droite et à gauche se réduisent respectivement à $\;\left\lbrace {\vec {0}}_{F}\right\rbrace \;$ et $\;\left\lbrace {\vec {0}}_{E}\right\rbrace \;$»${\Big ]}$,
         Remarque 2 : Théoriquement les multiplications scalaires définies sur $\;\color {transparent}{E}\;$ et $\;\color {transparent}{F}\;$ «$\;\cdot _{E}\;$ et $\;\cdot _{F}\;$» étant des formes bilinéaires non dégénérées particulières sur $\;E\times E\;$ et sur $\;F\times F\;$ ;
         Remarque 2 : Théoriquement les multiplications scalaires définies sur $\;\color {transparent}{E}\;$ et $\;\color {transparent}{F}\;$ les formes bilinéaires non dégénérées définies sur $\;E\times E\;$ et $\;F\times F\;$
         Remarque 2 : Théoriquement les multiplications scalaires définies sur $\;\color {transparent}{E}\;$ et $\;\color {transparent}{F}\;$ les formes bilinéaires non dégénérées sont alors respectivement notées $\;\langle {\text{?}}_{E^{*}}\,,\,{\text{?}}\rangle \;$ et $\;\langle {\text{?}}_{F^{*}}\,,\,{\text{?}}\rangle \;$ ;
         Remarque 2 : Théoriquement les multiplications scalaires définies sur $\;\color {transparent}{E}\;$ et $\;\color {transparent}{F}\;$ avec ce remplacement, le produit tensoriel «$\;\left\lbrace {\vec {u}}\otimes {\vec {v}}\right\rbrace \;$» est l'application linéaire de $\;E\times F\;$ dans $\;\mathbb {R} \;$ telle que
         Remarque 2 : Théoriquement les multiplications scalaires définies sur $\;\color {transparent}{E}\;$ et $\;\color {transparent}{F}\;$ avec ce remplacement, «$\;\forall \;\left({\vec {x}}\,,\,{\vec {y}}\right)\in E\times F$, $\;\left\lbrace {\vec {u}}\otimes {\vec {v}}\right\rbrace \left({\vec {x}}\,,\,{\vec {y}}\right)=\langle {\vec {u}}_{E^{*}}\,,\,{\vec {x}}\rangle \;\langle {\vec {v}}_{F^{*}}\,,\,{\vec {y}}\rangle \in \mathbb {R} \;$» avec
         Remarque 2 : Théoriquement les multiplications scalaires définies sur $\;\color {transparent}{E}\;$ et $\;\color {transparent}{F}\;$ avec ce remplacement, «$\;\left({\vec {u}}_{E^{*}}\,,\,{\vec {v}}_{F^{*}}\right)\,\in \,E^{*}\times F^{*}\;$ les formes linéaires associées à $\left({\vec {u}}\,,\,{\vec {v}}\right)\,\in \,E\times F\;$» ;
         Remarque 2 : Théoriquement les multiplications scalaires définies sur $\;\color {transparent}{E}\;$ et $\;\color {transparent}{F}\;$ sous cet aspect «$\;\left\lbrace {\vec {u}}\otimes {\vec {v}}\right\rbrace \;$» est toujours une forme bilinéaire de $\;E\times F\;$ construite à l'aide d'un couple particulier
         Remarque 2 : Théoriquement les multiplications scalaires définies sur $\;\color {transparent}{E}\;$ et $\;\color {transparent}{F}\;$ sous cet aspect «$\;\color {transparent}{\left\lbrace {\vec {u}}\otimes {\vec {v}}\right\rbrace }\;$» est toujours une forme bilinéaire de $\;\color {transparent}{E\times F}\;$ construite à l'aide de $\;E^{*}\times F^{*}\;$ car
         Remarque 2 : Théoriquement les multiplications scalaires définies sur $\;\color {transparent}{E}\;$ et $\;\color {transparent}{F}\;$ sous cet aspect «$\;\langle {\text{?}}_{E^{*}}\,,\,{\text{?}}\rangle \;$ étant une forme bilinéaire non dégénérée de $\;E\times E\;$» $\Rightarrow$
         Remarque 2 : Théoriquement les multiplications scalaires définies sur $\;\color {transparent}{E}\;$ et $\;\color {transparent}{F}\;$ sous cet aspect « pour $\;{\vec {u}}\;\in \;E$, $\;\langle {\vec {u}}_{E^{*}}\,,\,{\text{?}}\rangle \;$ est une forme linéaire de $\;E\;$ donc $\;\in E^{*}\;$ s'appliquant à $\;{\vec {x}}\in E\;$ et
         Remarque 2 : Théoriquement les multiplications scalaires définies sur $\;\color {transparent}{E}\;$ et $\;\color {transparent}{F}\;$ sous cet aspect «$\;\langle {\text{?}}_{F^{*}}\,,\,{\text{?}}\rangle \;$ étant une forme bilinéaire non dégénérée de $\;F\times F\;$» $\Rightarrow$
         Remarque 2 : Théoriquement les multiplications scalaires définies sur $\;\color {transparent}{E}\;$ et $\;\color {transparent}{F}\;$ sous cet aspect « pour $\;{\vec {v}}\;\in \;F$, $\;\langle {\vec {v}}_{F^{*}}\,,\,{\text{?}}\rangle \;$ est une forme linéaire de $\;F\;$ donc $\;\in F^{*}\;$ s'appliquant à $\;{\vec {y}}\in F$.

Produit tensoriel de deux espaces vectoriels tridimensionnels

     On appelle « produit tensoriel des deux $\;\mathbb {R}$-espaces vectoriels tridimensionnels $\;E\;$ et $\;F\;$» noté «$\;E\otimes _{\mathbb {R} }F\;$»
     On appelle « l'ensemble des produits tensoriels de tous les couples de vecteurs de $\;E\times F\;$» soit mathématiquement «$\;E\otimes _{\mathbb {R} }F:=\left\lbrace {\vec {u}}\otimes {\vec {v}},\;\;\forall \;\left({\vec {u}}\,,\,{\vec {v}}\right)\in E\times F\right\rbrace \;$»,
                        «$\;E\otimes _{\mathbb {R} }F\;$» étant un $\;\mathbb {R}$-espace vectoriel de dimension $\;3^{2}=9$.

Divers produits tensoriels de deux espaces vectoriels tridimensionnels formés à partir de ces derniers ou de leurs duals

Notion d'espace bidual

     Soit «$\;E\;$ un $\;\mathbb {R}$-espace vectoriel de dimension $\;3\;$»,
     Soit «$\;E^{*}\;$ le dual de $\;E$ $\;{\big [}$c.-à-d. l'ensemble des formes linéaires définies sur $\;E{\big ]}\;$»,
     nous nous proposons de préciser la signification à donner à
     Soit «$\;\left(E^{*}\right)^{*}\;$ le bidual de $\;E$ $\;{\big [}$l'existence de $\;\left(E^{*}\right)^{*}\;$ étant assurée car $\;E^{*}\;$ est lui-même un $\;\mathbb {R}$-espace vectoriel de dimension $\;3{\big ]}\;$» ;

     pour cela introduisons d'abord la forme bilinéaire non dégénérée $\;\langle {\text{?}}\,,\,{\text{?}}\rangle \;$ appelée « crochet de dualité » définie sur $\;E^{*}\times E\;$ selon
   pour cela introduisons d'abord la forme bilinéaire non dégénérée «$\;\langle {\text{?}}\,,\,{\text{?}}\rangle \;{\text{:}}\;E^{*}\times E\;\rightarrow \;\mathbb {R}$,$\quad \left(\chi \,,\,{\vec {x}}\right)\;\rightarrow \;\langle \chi \,,\,{\vec {x}}\rangle \;:=\;\chi ({\vec {x}})\;$» puis,
     pour cela définissons une application linéaire «$\;\iota \;$ de $\;E\;$ dans $\;\left(E^{*}\right)^{*}$» telle que
     pour cela définissons une application linéaire «$\;\forall \;\chi \;\in \;E^{*}$ et $\;\forall \;{\vec {x}}\;\in \;E$, $\;\langle \iota ({\vec {x}})\,,\,\chi \rangle =\langle \chi \,,\,{\vec {x}}\rangle \;$» $\;=\chi ({\vec {x}})\;\in \;\mathbb {R}$ ;
     pour cela nous en déduisons que «$\;\forall \;{\vec {x}}\;\in \;E$, $\;\iota ({\vec {x}})\;\in \;\left(E^{*}\right)^{*}$ est la forme linéaire définie sur $\;E^{*}\;$» qui,
     pour cela nous en déduisons que « à toute forme linéaire $\;\chi \;\in \;E^{*}\;$ définie sur $\;E\;$» associe «$\;\chi ({\vec {x}})\;\in \;\mathbb {R} \;$» c.-à-d.
   pour cela nous en déduisons que «$\;\color {transparent}{\forall \;{\vec {x}}\;\in \;E}$, «$\;\iota ({\vec {x}})\;\in \;\left(E^{*}\right)^{*}\;$» est telle que «$\;\left\lbrace \iota ({\vec {x}})\right\rbrace \!\left[\chi \right]=\chi ({\vec {x}})\;$» «$\;\forall \;{\vec {x}}\;\in \;E\;$ et $\;\forall \;\chi \;\in \;E^{*}\;$».

     Propriété : Dans la mesure où le $\;\mathbb {R}$-espace vectoriel $\;E\;$ est de dimension finie, l'application linéaire «$\;\iota \;$» de $\;E\;$ dans $\;\left(E^{*}\right)^{*}\;$ définit « un isomorphisme de $\;E\;$ dans $\;\left(E^{*}\right)^{*}\;$» en effet
     Propriété : si le « crochet de dualité » $\;\langle {\text{?}}\,,\,{\text{?}}\rangle \;$ défini sur $\;E^{*}\times E\;$ est construit à l'aide de la multiplication scalaire sur $\;E\;$ c.-à-d. «$\;\cdot _{E}\;$»,
     Propriété : si le « crochet de dualité » $\;\color {transparent}{\langle {\text{?}}\,,\,{\text{?}}\rangle }\;$ défini sur $\;\color {transparent}{E^{*}\times E}\;$ il y a une correspondance bijective entre éléments de $\;E\;$ et de $\;E^{*}\;$ définie selon «$\;{\vec {u}}\;\in \;E\;$ $\longmapsto$ $\;{\vec {u}}\cdot _{E}\;\in \;E^{*}\;$» et
     Propriété : si le « crochet de dualité » $\;\color {transparent}{\langle {\text{?}}\,,\,{\text{?}}\rangle }\;$ défini sur $\;\color {transparent}{E^{*}\times E}\;$ il y a une correspondance bijective entre éléments de $\;E^{*}\;$ et de $\;\left(E^{*}\right)^{*}\;$     selon «$\;{\vec {u}}^{*}\;\in \;E^{*}\;$ $\longmapsto$ $\;{\vec {u}}^{*}\cdot _{E^{*}}\;\in \;\left(E^{*}\right)^{*}\;$» ,
     Propriété : si le « crochet de dualité » $\;\color {transparent}{\langle {\text{?}}\,,\,{\text{?}}\rangle }\;$ défini sur $\;\color {transparent}{E^{*}\times E}\;$ on en déduit le caractère bijectif de l'application linéaire «$\;\iota \;$» de $\;E\;$ dans $\;\left(E^{*}\right)^{*}\;$» par construction, cette application se réécrivant
     Propriété : si le « crochet de dualité » $\;\color {transparent}{\langle {\text{?}}\,,\,{\text{?}}\rangle }\;$ défini sur $\;\color {transparent}{E^{*}\times E}\;$ «$\;\left({\vec {x}}\in E\,,\,{\vec {u}}^{*}\in E^{*}\right)\longmapsto {\Big (}{\vec {u}}^{*}\in E^{*}\,,\,\iota ({\vec {x}})=\left({\vec {x}}^{*}\right)^{*}\in \left(E^{*}\right)^{*}{\Big )}\;$» telle que «$\;\langle \iota ({\vec {x}})\,,\,{\vec {u}}^{*}\rangle =\langle {\vec {u}}^{*}\,,\,{\vec {x}}\rangle ={\vec {u}}\cdot _{E}{\vec {x}}\in \mathbb {R} \;$» .
     Propriété : En conclusion, «$\;\left(E^{*}\right)^{*}\;$ le bidual de $\;E\;$» étant isomorphe à «$\;E\;$ un $\;\mathbb {R}$-espace vectoriel de dimension $\;3\;$», et
     Propriété : En conclusion, admettant que cet isomorphisme est indépendant de tout choix de bases dans $\;E\;$ et $\;\left(E^{*}\right)^{*}\;$ nous pouvons les identifier

Les quatre produits tensoriels de deux espaces vectoriels tridimensionnels formés à partir de ces derniers ou de leurs duals

     Soit «$\;\left\lbrace E\,,\,F\right\rbrace \;$ deux $\;\mathbb {R}$-espaces vectoriels de dimension $\;3\;$» et
     Soit «$\;\left\lbrace E^{*}=L_{\mathbb {R} }\!\left(E\,,\,\mathbb {R} \right)\,,\,F^{*}=L_{\mathbb {R} }\!\left(F\,,\,\mathbb {R} \right)\right\rbrace \;$ leur dual respectif , chacun constituant « un $\;\mathbb {R}$-espace vectoriel de dimension $\;3\;$»,
     à partir de ces espaces vectoriels et en utilisant les « crochets de dualité $\;\langle {\text{?}}\,,\,{\text{?}}\rangle _{E}\;$ et $\;\langle {\text{?}}\,,\,{\text{?}}\rangle _{F}\;$ respectivement définis sur $\;E^{*}\times E$ $\;{\big \{}$ou sur $\;\left(E^{*}\right)^{*}\times E^{*}\;$ identifié à $\;E\times E^{*}{\big \}}\;$ et
          à partir de ces espaces vectoriels et en utilisant les « crochets de dualité $\;\color {transparent}{\langle {\text{?}}\,,\,{\text{?}}\rangle _{E}}\;$ et $\;\color {transparent}{\langle {\text{?}}\,,\,{\text{?}}\rangle _{F}}\;$ respectivement définis sur $\;F^{*}\times F\;$ ${\big \{}$ou sur $\;\left(F^{*}\right)^{*}\times F^{*}\;$ identifié à $\;F\times F^{*}{\big \}}\;$» selon, par exemple,
     à partir de ces espaces vectoriels et en utilisant les «$\;\left\lbrace {\begin{array}{c}\langle {\text{?}}\,,\,{\text{?}}\rangle _{E}\;{\text{:}}\;E^{*}\times E\;\rightarrow \;\mathbb {R} ,\quad \left(\varpi \,,\,{\vec {x}}\right)\;\rightarrow \;\langle \varpi \,,\,{\vec {x}}\rangle \;:=\;\varpi ({\vec {x}})\\\langle {\text{?}}\,,\,{\text{?}}\rangle _{F}\;{\text{:}}\;F^{*}\times F\;\rightarrow \;\mathbb {R} ,\quad \left(\omega \,,\,{\vec {y}}\right)\;\rightarrow \;\langle \omega \,,\,{\vec {y}}\rangle \;:=\;\omega ({\vec {y}})\end{array}}\right\rbrace \;$», on peut former les quatre produits tensoriels ci-dessous :

• $\;E\otimes F={\mathcal {L}}_{2}\!\left(E^{*}\times F^{*}\,,\,\mathbb {R} \right)\;$ ensemble des formes bilinéaires de $\;E\times F\;$ : «$\;\forall \left({\vec {x}}\,,\,{\vec {y}}\right)\in E\times F$, avec $\;\left({\vec {u}}\,,\,{\vec {v}}\right)\in E\times F\;$ $\mapsto$ $\;\left(\varpi \,,\,\omega \right)\in E^{*}\times F^{*}$, on a
      $\;\color {transparent}{E\otimes F={\mathcal {L}}_{2}\!\left(E^{*}\times F^{*}\,,\,\mathbb {R} \right)}\;$ ensemble des formes bilinéaires de $\;\color {transparent}{E\times F}\;$ : «$\;\color {transparent}{\forall \left({\vec {x}}\,,\,{\vec {y}}\right)\in E\times F}$, avec $\left\lbrace {\vec {u}}\otimes {\vec {v}}\right\rbrace \left({\vec {x}}\,,\,{\vec {y}}\right)=\langle \varpi \,,\,{\vec {x}}\rangle _{E}\;\langle \omega \,,\,{\vec {y}}\rangle _{F}=\varpi ({\vec {x}})\;\omega ({\vec {y}})\;$», ou
      $\;\color {transparent}{E\otimes F={\mathcal {L}}_{2}\!\left(E^{*}\times F^{*}\,,\,\mathbb {R} \right)}\;$ ensemble des formes bilinéaires de $\;\color {transparent}{E\times F}\;$ : si les « crochets de dualité sont définis à l'aide de la multiplication scalaire sur $\;E\;$ et sur $\;F\;$»,
      $\;\color {transparent}{E\otimes F={\mathcal {L}}_{2}\!\left(E^{*}\times F^{*}\,,\,\mathbb {R} \right)}\;$ ensemble des formes bilinéaires de $\;\color {transparent}{E\times F}\;$ : «$\;\forall \left({\vec {x}}\,,\,{\vec {y}}\right)\in E\times F$, avec $\;\left({\vec {u}}\,,\,{\vec {v}}\right)\in E\times F\;$ $\mapsto$ $\;\left({\vec {u}}\cdot _{E}\,,\,{\vec {v}}\cdot _{F}\right)\in E^{*}\times F^{*}$, on a
      $\;\color {transparent}{E\otimes F={\mathcal {L}}_{2}\!\left(E^{*}\times F^{*}\,,\,\mathbb {R} \right)}\;$ ensemble des formes bilinéaires de $\;\color {transparent}{E\times F}\;$ : «$\;\color {transparent}{\forall \left({\vec {x}}\,,\,{\vec {y}}\right)\in E\times F}$, avec $\left\lbrace {\vec {u}}\otimes {\vec {v}}\right\rbrace \left({\vec {x}}\,,\,{\vec {y}}\right)=\langle {\vec {u}}\cdot _{E}\,,\,{\vec {x}}\rangle _{E}\;\langle {\vec {v}}\cdot _{F}\,,\,{\vec {y}}\rangle _{F}=\left({\vec {u}}\cdot _{E}{\vec {x}}\right)\;\left({\vec {v}}\cdot _{F}{\vec {y}}\right)\;$»  ;
• $\;E^{*}\otimes F={\mathcal {L}}_{2}\!\left(E\times F^{*}\,,\,\mathbb {R} \right)\;$ ensemble des formes bilinéaires de $\;E^{*}\times F\;$ : «$\;\forall \left(\chi \,,\,{\vec {y}}\right)\in E^{*}\times F$, avec $\;\left(\varpi \,,\,{\vec {v}}\right)\in E^{*}\times F\;$ $\mapsto$ $\;\left(\varpi ^{*}\,,\,\omega \right)\in \left(E^{*}\right)^{*}\times F^{*}\;$, on a
          $\;\color {transparent}{E^{*}\otimes F={\mathcal {L}}_{2}\!\left(E\times F^{*}\,,\,\mathbb {R} \right)}\;$ ensemble des formes bilinéaires de $\;\color {transparent}{E^{*}\times F}\;$ : «$\;\color {transparent}{\forall \left(\chi \,,\,{\vec {y}}\right)\in E^{*}\times F}$, avec $\;\left\lbrace \varpi \otimes {\vec {v}}\right\rbrace \left(\chi \,,\,{\vec {y}}\right)=\langle \varpi ^{*}\,,\,\chi \rangle _{E^{*}}\;\langle \omega \,,\,{\vec {y}}\rangle _{F}=\varpi ^{*}(\chi )\;\omega ({\vec {y}})\;$», ou
           $\;\color {transparent}{E^{*}\otimes F={\mathcal {L}}_{2}\!\left(E\times F^{*}\,,\,\mathbb {R} \right)}\;$ ensemble des formes bilinéaires de $\;\color {transparent}{E^{*}\times F}\;$ : si les « crochets de dualité sont définis à l'aide de la multiplication scalaire sur $\;E^{*}\;$ ou sur $\;F\;$»,
           $\;\color {transparent}{E^{*}\otimes F={\mathcal {L}}_{2}\!\left(E\times F^{*}\,,\,\mathbb {R} \right)}\;$ ensemble des formes bilinéaires de $\;\color {transparent}{E^{*}\times F}\;$ : «$\;\forall \left(\chi \,,\,{\vec {y}}\right)\in E^{*}\times F$, avec $\;\left(\varpi \,,\,{\vec {v}}\right)\in E^{*}\times F\;$ $\mapsto$ $\;\left(\varpi \cdot _{E^{*}}\,,\,{\vec {v}}\cdot _{F}\right)\in \left(E^{*}\right)^{*}\times F^{*}$, on a
           $\;\color {transparent}{E^{*}\otimes F={\mathcal {L}}_{2}\!\left(E\times F^{*}\,,\,\mathbb {R} \right)}\;$ ensemble des formes bilinéaires de $\;\color {transparent}{E^{*}\times F}\;$ : «$\;\color {transparent}{\forall \left(\chi \,,\,{\vec {y}}\right)\in E^{*}\times F}$, avec $\left\lbrace \varpi \otimes {\vec {v}}\right\rbrace \left(\chi \,,\,{\vec {y}}\right)=\langle \varpi \cdot _{E^{*}}\,,\,\chi \rangle _{E^{*}}\;\langle {\vec {v}}\cdot _{F}\,,\,{\vec {y}}\rangle _{F}=\left(\varpi \cdot _{E^{*}}\chi \right)\;\left({\vec {v}}\cdot _{F}{\vec {y}}\right)\;$» ;
• $\;E\otimes F^{*}={\mathcal {L}}_{2}\!\left(E^{*}\times F\,,\,\mathbb {R} \right)\;$ ensemble des formes bilinéaires de $\;E\times F^{*}\;$ : «$\;\forall \left({\vec {x}}\,,\,\psi \right)\in E\times F^{*}$, avec $\;\left({\vec {u}}\,,\,\omega \right)\in E\times F^{*}\;$ $\mapsto$ $\;\left(\varpi \,,\,\omega ^{*}\right)\in E^{*}\times \left(F^{*}\right)^{*}\;$, on a
          $\;\color {transparent}{E\otimes F^{*}={\mathcal {L}}_{2}\!\left(E^{*}\times F\,,\,\mathbb {R} \right)}\;$ ensemble des formes bilinéaires de $\;\color {transparent}{E\times F^{*}}\;$ : «$\;\color {transparent}{\forall \left({\vec {x}}\,,\,\psi \right)\in E\times F^{*}}$, avec $\;\left\lbrace {\vec {u}}\otimes \omega \right\rbrace \left({\vec {x}}\,,\,\psi \right)=\langle \varpi \,,\,{\vec {x}}\rangle _{E}\;\langle \omega ^{*}\,,\,\psi \rangle _{F^{*}}=\varpi ({\vec {x}})\;\omega ^{*}(\psi )\;$», ou
           $\;\color {transparent}{E\otimes F^{*}={\mathcal {L}}_{2}\!\left(E^{*}\times F\,,\,\mathbb {R} \right)}\;$ ensemble des formes bilinéaires de $\;\color {transparent}{E\times F^{*}}\;$ : si les « crochets de dualité sont définis à l'aide de la multiplication scalaire sur $\;E\;$ ou sur $\;F^{*}\;$»,
           $\;\color {transparent}{E\otimes F^{*}={\mathcal {L}}_{2}\!\left(E^{*}\times F\,,\,\mathbb {R} \right)}\;$ ensemble des formes bilinéaires de $\;\color {transparent}{E\times F^{*}}\;$ : «$\;\forall \left({\vec {x}}\,,\,\psi \right)\in E\times F^{*}$, avec $\;\left({\vec {u}}\,,\,\omega \right)\in E\times F^{*}\;$ $\mapsto$ $\;\left({\vec {u}}\cdot _{E}\,,\,\omega \cdot _{F^{*}}\right)\in E^{*}\times \left(F^{*}\right)^{*}$, on a
           $\;\color {transparent}{E\otimes F^{*}={\mathcal {L}}_{2}\!\left(E^{*}\times F\,,\,\mathbb {R} \right)}\;$ ensemble des formes bilinéaires de $\;\color {transparent}{E\times F^{*}}\;$ : «$\;\color {transparent}{\forall \left({\vec {x}}\,,\,\psi \right)\in E\times F^{*}}$, avec $\left\lbrace {\vec {u}}\otimes \omega \right\rbrace \left({\vec {x}}\,,\,\psi \right)=\langle {\vec {u}}\cdot _{E}\,,\,{\vec {x}}\rangle _{E}\;\langle \omega \cdot _{F^{*}}\,,\,\psi \rangle _{F^{*}}=\left({\vec {u}}\cdot _{E}{\vec {x}}\right)\;\left(\omega \cdot _{F^{*}}\psi \right)\;$» ;
• $\;E^{*}\otimes F^{*}={\mathcal {L}}_{2}\!\left(E\times F\,,\,\mathbb {R} \right)\;$ ensemble des formes bilinéaires de $\;E^{*}\times F^{*}\;$ : «$\;\forall \left(\chi \,,\,\psi \right)\in E^{*}\times F^{*}$, avec $\;\left(\varpi \,,\,\omega \right)\in E^{*}\times F^{*}\;$ $\mapsto$ $\;\left(\varpi ^{*}\,,\,\omega ^{*}\right)\in \left(E^{*}\right)^{*}\times \left(F^{*}\right)^{*}\;$ , on a
                 $\;\color {transparent}{E^{*}\otimes F^{*}={\mathcal {L}}_{2}\!\left(E\times F\,,\,\mathbb {R} \right)}\;$ ensemble des formes bilinéaires de $\;\color {transparent}{E^{*}\times F^{*}}\;$ : «$\;\color {transparent}{\forall \left(\chi \,,\,\psi \right)\in E^{*}\times F^{*}}$, avec $\;\left\lbrace \varpi \otimes \omega \right\rbrace \left(\chi \,,\,\psi \right)=\langle \varpi ^{*}\,,\,\chi \rangle _{E^{*}}\;\langle \omega ^{*}\,,\,\psi \rangle _{F^{*}}\;$», ou
                 $\;\color {transparent}{E^{*}\otimes F^{*}={\mathcal {L}}_{2}\!\left(E\times F\,,\,\mathbb {R} \right)}\;$ ensemble des formes bilinéaires de $\;\color {transparent}{E^{*}\times F^{*}}\;$ : si les « crochets de dualité » sont définis à l'aide de la multiplication scalaire sur $\;E^{*}\;$ ou sur $\;F^{*}$,
                 $\;\color {transparent}{E^{*}\otimes F^{*}={\mathcal {L}}_{2}\!\left(E\times F\,,\,\mathbb {R} \right)}\;$ ensemble des formes bilinéaires de $\;\color {transparent}{E^{*}\times F^{*}}\;$ : «$\;\forall \left(\chi \,,\,\psi \right)\in E^{*}\times F^{*}$, avec $\;\left(\varpi \,,\,\omega \right)\in E^{*}\times F^{*}\;$ $\mapsto$ $\;\left(\varpi \cdot _{E^{*}}\,,\,\omega \cdot _{F^{*}}\right)\in \left(E^{*}\right)^{*}\times \left(F^{*}\right)^{*}$, on a
                  $\;\color {transparent}{E^{*}\otimes F^{*}={\mathcal {L}}_{2}\!\left(E\times F\,,\,\mathbb {R} \right)}\;$ ensemble des formes bilinéaires de $\;\color {transparent}{E^{*}\times F^{*}}\;$ : «$\;\color {transparent}{\forall \left(\chi \,,\,\psi \right)\in E^{*}\times F^{*}}$, avec $\left\lbrace \varpi \otimes \omega \right\rbrace \left(\chi \,,\,\psi \right)=\langle \varpi \cdot _{E^{*}}\,,\,\chi \rangle _{E^{*}}\,\langle \omega \cdot _{F^{*}}\,,\,\psi \rangle _{F^{*}}=\left(\varpi \cdot _{E^{*}}\chi \right)\,\left(\omega \cdot _{\left\lbrace F^{*}\right\rbrace }\psi \right)\;$».

Propriétés de la multiplication tensorielle d'espaces vectoriels (tridimensionnels)

     Les vecteurs d'un $\;\mathbb {R}$-espace vectoriel $\;F\;$ étant des tenseurs d'ordre $\;1\;$ contravariants de $\;F\;$ et
     les covecteurs du $\;\mathbb {R}$-espace vectoriel dual $\;F^{*}$ des tenseurs d'ordre $\;1\;$ covariants de $\;F$,
     le produit tensoriel de deux vecteurs introduit la notion de « multiplication tensorielle sur les tenseurs d'ordre 1 »,
          le produit tensoriel de deux vecteurs introduit la notion de « loi de composition externe sur les $\;\mathbb {R}$-espaces vectoriels des tenseurs d'ordre $\;1\;$ possédant les propriétés des sous-paragraphes suivants :

Associativité de la multiplication tensorielle

     «$\;\forall \;\left({\vec {u}}\,,\,{\vec {v}}\,,\,{\vec {w}}\right)\;\in \;E\times F\times G\;$» où $\;\left\lbrace E\,,\,F\,,\,G\right\rbrace \;$ sont $\;3$ $\;\mathbb {R}$-espaces vectoriels tridimensionnels , on a : «$\;\left\lbrace {\vec {u}}\otimes {\vec {v}}\right\rbrace \otimes {\vec {w}}={\vec {u}}\otimes \left\lbrace {\vec {v}}\otimes {\vec {w}}\right\rbrace \;$ ou $\;={\vec {u}}\otimes {\vec {v}}\otimes {\vec {w}}\;$» en effet
     «$\;\color {transparent}{\forall \;\left({\vec {u}}\,,\,{\vec {v}}\,,\,{\vec {w}}\right)\;\in \;E\times F\times G}\;$» $\forall \;\left({\vec {x}}\,,\,{\vec {y}}\,,\,{\vec {z}}\right)\;\in \;E\times F\times G$, $\;\left[\left\lbrace {\vec {u}}\otimes {\vec {v}}\right\rbrace \otimes {\vec {w}}\right]\left({\vec {x}}\,,\,{\vec {y}}\,,\,{\vec {z}}\right)=\left\lbrace {\vec {u}}\otimes {\vec {v}}\right\rbrace \left({\vec {x}}\,,\,{\vec {y}}\right)\;\left({\vec {w}}\cdot _{G}{\vec {z}}\right)=\left[\left({\vec {u}}\cdot _{E}{\vec {x}}\right)\;\left({\vec {v}}\cdot _{F}{\vec {y}}\right)\right]\;\left({\vec {w}}\cdot _{G}{\vec {z}}\right)\;$ soit encore,
      «$\;\color {transparent}{\forall \;\left({\vec {u}}\,,\,{\vec {v}}\,,\,{\vec {w}}\right)\;\in \;E\times F\times G}\;$» $\color {transparent}{\forall \;\left({\vec {x}}\,,\,{\vec {y}}\,,\,{\vec {z}}\right)\;\in \;E\times F\times G}$, d'après l'associativité de la multiplication des scalaires,
     «$\;\color {transparent}{\forall \;\left({\vec {u}}\,,\,{\vec {v}}\,,\,{\vec {w}}\right)\;\in \;E\times F\times G}\;$» $\color {transparent}{\forall \;\left({\vec {x}}\,,\,{\vec {y}}\,,\,{\vec {z}}\right)\;\in \;E\times F\times G}$, $\;\color {transparent}{\left[\left\lbrace {\vec {u}}\otimes {\vec {v}}\right\rbrace \otimes {\vec {w}}\right]\left({\vec {x}}\,,\,{\vec {y}}\,,\,{\vec {z}}\right)}$ $=\left({\vec {u}}\cdot _{E}{\vec {x}}\right)\;\left[\left({\vec {v}}\cdot _{F}{\vec {y}}\right)\;\left({\vec {w}}\cdot _{G}{\vec {z}}\right)\right]=\left[{\vec {u}}\otimes \left\lbrace {\vec {v}}\otimes {\vec {w}}\right\rbrace \right]\left({\vec {x}}\,,\,{\vec {y}}\,,\,{\vec {z}}\right)$ ;

     cette propriété étant vraie pour tout vecteur de chaque $\;\mathbb {R}$-espace vectoriel considéré, on en déduit «$\;\left\lbrace E\otimes F\right\rbrace \otimes G=E\otimes \left\lbrace F\otimes G\right\rbrace =E\otimes F\otimes G\;$» dans laquelle
     cette propriété étant vraie pour tout vecteur de chaque $\;\color {transparent}{\mathbb {R} }$-espace vectoriel considéré, on en déduit «$\;E\otimes F\otimes G={\mathcal {L}}_{3}\!\left(E\times F\times G\,,\,\mathbb {R} \right)\;$ est l'ensemble des formes trilinéaires de $\;E\times F\times G\;$» .

     En itérant la propriété d'associativité on peut affirmer «$\;\left\lbrace E_{1}\otimes \cdots \otimes E_{i}\otimes \cdots \otimes E_{k}\right\rbrace _{1\,<\,i\,<\,k}=\bigotimes _{i\,=\,1\,..\,k}E_{i}={\mathcal {L}}_{k}\!\left(\left\lbrace E_{1}\times \cdots \times E_{i}\times \cdots \times E_{k}\right\rbrace _{1\,<\,i\,<\,k}\,,\,\mathbb {R} \right)\;$» avec
     En itérant la propriété d'associativité on peut affirmer «$\;{\mathcal {L}}_{k}\!\left(\left\lbrace E_{1}\times \cdots \times E_{i}\times \cdots \times E_{k}\right\rbrace _{1\,<\,i\,<\,k}\,,\,\mathbb {R} \right)={\mathcal {L}}_{k}\!\left(\prod _{i\,=\,1\,..\,k}E_{i}\,,\,\mathbb {R} \right)\;$ l'ensemble des formes k-linéaires de $\;\prod _{i\,=\,1\,..\,k}E_{i}\;$» .

Le corps des réels, élément « neutre » de la multiplication tensorielle

     «$\;\mathbb {R} \;$ étant un $\;\mathbb {R}$-espace vectoriel de dimension $\;1=3^{\,0}\;$», on peut, avec un «$\;\mathbb {R}$-espace vectoriel $\;E\;$ de dimension $\;3\;$»,
     «$\;\color {transparent}{\mathbb {R} }\;$ étant un $\;\color {transparent}{\mathbb {R} }$-espace vectoriel de dimension $\;\color {transparent}{1=3^{\,0}}\;$», on peut, définir deux produits tensoriels $\bullet \;$«$\;\mathbb {R} \otimes E=\left\lbrace a\otimes {\vec {v}},\;\;\forall \;\left(a\,,\,{\vec {v}}\right)\in \mathbb {R} \times E\right\rbrace \;$» avec le produit tensoriel «$\;a\otimes {\vec {v}}\;$» défini selon
     «$\;\color {transparent}{\mathbb {R} }\;$ étant un $\;\color {transparent}{\mathbb {R} }$-espace vectoriel de dimension $\;\color {transparent}{1=3^{\,0}}\;$», on peut, définir deux produits tensoriels $\color {transparent}{\bullet }\;$«$\;\forall \;\left(\lambda \,,\,{\vec {y}}\right)\in \mathbb {R} \times E$, $\;\left\lbrace a\otimes {\vec {v}}\right\rbrace \left(\lambda \,,\,{\vec {y}}\right)=\langle a\,,\,\lambda \rangle _{\mathbb {R} }\;\langle {\vec {v}}\,,\,{\vec {y}}\rangle _{E}\;$ $=\left(a\;\lambda \right)\left({\vec {v}}\cdot _{E}{\vec {y}}\right)\in \mathbb {R} \;$»
     «$\;\color {transparent}{\mathbb {R} }\;$ étant un $\;\color {transparent}{\mathbb {R} }$-espace vectoriel de dimension $\;\color {transparent}{1=3^{\,0}}\;$», on peut, définir deux produits tensoriels $\color {transparent}{\bullet }\;$s'écrivant encore «$\;\left(a\;{\vec {v}}\right)\cdot _{E}\left(\lambda \;{\vec {y}}\right)\;$» ou, en posant $\;\left\lbrace {\begin{array}{c}{\vec {v'}}=a\;{\vec {v}}\in E&{\text{unique}}\\{\vec {y'}}=\lambda \;{\vec {y}}\in E&{\text{quelconque}}\end{array}}\right\rbrace$,
     «$\;\color {transparent}{\mathbb {R} }\;$ étant un $\;\color {transparent}{\mathbb {R} }$-espace vectoriel de dimension $\;\color {transparent}{1=3^{\,0}}\;$», on peut, définir deux produits tensoriels $\color {transparent}{\bullet }\;$se réécrivant «$\;{\vec {v'}}\cdot _{E}{\vec {y'}}$» c.-à-d. tel que «$\;\forall \;\left(\lambda \,,\,{\vec {y}}\right)\in \mathbb {R} \times E$, $\;\left\lbrace a\otimes {\vec {v}}\right\rbrace \left(\lambda \,,\,{\vec {y}}\right)={\vec {v'}}\cdot _{E}{\vec {y'}}\;$»
     «$\;\color {transparent}{\mathbb {R} }\;$ étant un $\;\color {transparent}{\mathbb {R} }$-espace vectoriel de dimension $\;\color {transparent}{1=3^{\,0}}\;$», on peut, définir deux produits tensoriels $\color {transparent}{\bullet }\;$l'unicité de $\;{\vec {v'}}\;$ $\Rightarrow$ «$\;\mathbb {R} \otimes E\;$ canoniquement (au sens de l'algèbre linéaire) isomorphe à $\;E\;$» et
     «$\;\color {transparent}{\mathbb {R} }\;$ étant un $\;\color {transparent}{\mathbb {R} }$-espace vectoriel de dimension $\;\color {transparent}{1=3^{\,0}}\;$», on peut, définir deux produits tensoriels $\color {transparent}{\bullet }\;$l'unicité de $\;\color {transparent}{\vec {v'}}\;$ $\color {transparent}{\Rightarrow }$ « ce qui permet l'identification entre «$\;\mathbb {R} \otimes E\;$ et $\;E\;$» ;
     «$\;\color {transparent}{\mathbb {R} }\;$ étant un $\;\color {transparent}{\mathbb {R} }$-espace vectoriel de dimension $\;\color {transparent}{1=3^{\,0}}\;$», on peut, définir deux produits tensoriels $\bullet \;$«$\;E\otimes \mathbb {R} =\left\lbrace {\vec {u}}\otimes b,\;\;\forall \;\left({\vec {u}}\,,\,b\right)\in E\times \mathbb {R} \right\rbrace \;$» avec le produit tensoriel «$\;{\vec {u}}\otimes b\;$» défini selon
     «$\;\color {transparent}{\mathbb {R} }\;$ étant un $\;\color {transparent}{\mathbb {R} }$-espace vectoriel de dimension $\;\color {transparent}{1=3^{\,0}}\;$», on peut, définir deux produits tensoriels $\color {transparent}{\bullet }\;$«$\;\forall \;\left({\vec {x}}\,,\,\mu \right)\in E\times \mathbb {R}$, $\;\left\lbrace {\vec {u}}\otimes b\right\rbrace \left({\vec {x}}\,,\,\mu \right)=\langle {\vec {u}}\,,\,{\vec {x}}\rangle _{E}\;\langle b\,,\,\mu \rangle _{\mathbb {R} }\;$ $=\left({\vec {u}}\cdot _{E}{\vec {x}}\right)\left(b\;\mu \right)\in \mathbb {R} \;$»
     «$\;\color {transparent}{\mathbb {R} }\;$ étant un $\;\color {transparent}{\mathbb {R} }$-espace vectoriel de dimension $\;\color {transparent}{1=3^{\,0}}\;$», on peut, définir deux produits tensoriels $\color {transparent}{\bullet }\;$s'écrivant encore «$\;\left(b\;{\vec {u}}\right)\cdot _{E}\left(\mu \;{\vec {x}}\right)\;$» ou, en posant $\;\left\lbrace {\begin{array}{c}{\vec {u'}}=b\;{\vec {u}}\in E&{\text{unique}}\\{\vec {x'}}=\mu \;{\vec {x}}\in E&{\text{quelconque}}\end{array}}\right\rbrace$,
     «$\;\color {transparent}{\mathbb {R} }\;$ étant un $\;\color {transparent}{\mathbb {R} }$-espace vectoriel de dimension $\;\color {transparent}{1=3^{\,0}}\;$», on peut, définir deux produits tensoriels $\color {transparent}{\bullet }\;$se réécrivant «$\;{\vec {u'}}\cdot _{E}{\vec {x'}}$» c.-à-d. tel que «$\;\forall \;\left({\vec {x}}\,,\,\mu \right)\in E\times \mathbb {R}$, $\;\left\lbrace {\vec {u}}\otimes b\right\rbrace \left({\vec {x}}\,,\,\mu \right)={\vec {u'}}\cdot _{E}{\vec {x'}}\;$»
     «$\;\color {transparent}{\mathbb {R} }\;$ étant un $\;\color {transparent}{\mathbb {R} }$-espace vectoriel de dimension $\;\color {transparent}{1=3^{\,0}}\;$», on peut, définir deux produits tensoriels $\color {transparent}{\bullet }\;$l'unicité de $\;{\vec {u'}}\;$ $\Rightarrow$ «$\;E\otimes \mathbb {R} \;$ canoniquement (au sens de l'algèbre linéaire) isomorphe à $\;E\;$» et
     «$\;\color {transparent}{\mathbb {R} }\;$ étant un $\;\color {transparent}{\mathbb {R} }$-espace vectoriel de dimension $\;\color {transparent}{1=3^{\,0}}\;$», on peut, définir deux produits tensoriels $\color {transparent}{\bullet }\;$l'unicité de $\;\color {transparent}{\vec {u'}}\;$ $\color {transparent}{\Rightarrow }$ « ce qui permet l'identification entre «$\;E\otimes \mathbb {R} \;$ et $\;E\;$».

     Propriété : Notant l'« identification de deux $\;\mathbb {R}$-espaces vectoriels canoniquement (au sens de l'algèbre linéaire) isomorphes par le symbole $\;{\underset {\text{isom.}}{\overset {\text{can.}}{\;=\;}}}\;$», nous en déduisons «$\;\left\lbrace {\begin{array}{c}\mathbb {R} \otimes E\;{\underset {\text{isom.}}{\overset {\text{can.}}{\;=\;}}}\;E\;\left({\mathfrak {d}}\right)\\E\otimes \mathbb {R} \;{\underset {\text{isom.}}{\overset {\text{can.}}{\;=\;}}}\;E\;\left({\mathfrak {e}}\right)\end{array}}\right\rbrace \;$»,
     Propriété : la relation $\;\left({\mathfrak {d}}\right)\;$ traduisant que $\;\mathbb {R} \;$ est l'élément « neutre » de la multiplication tensorielle à gauche des $\;\mathbb {R}$-espaces vectoriels tridimensionnels et
     Propriété : la relation $\;\left({\mathfrak {e}}\right)\;$ traduisant que $\;\mathbb {R} \;$ est l'élément « neutre » de la multiplication tensorielle à droite des $\;\mathbb {R}$-espaces vectoriels tridimensionnels.

     Remarque : $\mathbb {R} \;$ élément « neutre » de la multiplication tensorielle des $\;\mathbb {R}$-espaces vectoriels tridimensionnels $\Rightarrow$ $\left\lbrace {\begin{array}{c}\mathbb {R} \otimes E\otimes F\;{\underset {\text{isom.}}{\overset {\text{can.}}{\;=\;}}}\;E\otimes F\\E\otimes F\otimes \mathbb {R} \;{\underset {\text{isom.}}{\overset {\text{can.}}{\;=\;}}}\;E\otimes F\end{array}}\right\rbrace \;$ ${\big \{}$avec $\;E\;$ et $\;F$ : $\mathbb {R}$-espaces vectoriels tridimensionnels${\big \}}$,
     Remarque : toutefois un réel quelconque n'est usuellement pas élément neutre de sa multiplication tensorielle avec le produit tensoriel de deux vecteurs quelconques de $\;E\;$ et $\;F\;$ c.-à-d.
     Remarque : toutefois un réel quelconque n'est usuellement pas élément neutre «$\;\forall \;\left(a\,,\,{\vec {u}}\,,\,{\vec {v}}\right)\in \mathbb {R} \times E\times F\;$», «$\;a\otimes {\vec {u}}\otimes {\vec {v}}\neq {\vec {u}}\otimes {\vec {v}}\;$»
     Remarque : toutefois un réel quelconque n'est usuellement pas élément neutre «$\;\color {transparent}{\forall \;\left(a\,,\,{\vec {u}}\,,\,{\vec {v}}\right)\in \mathbb {R} \times E\times F}\;$», «$\;{\vec {u}}\otimes {\vec {v}}\otimes a\neq {\vec {u}}\otimes {\vec {v}}\;$» .

Puissance tensorielle d'un espace vectoriel tridimensionnel

     Le carré tensoriel du $\;\mathbb {R}$-espace vectoriel $\;E\;$ de dimension $\;3\;$ résultant de la multiplication tensorielle de $\;E\;$ par lui-même est défini par «$\;E\otimes E=\left\lbrace {\vec {u}}\otimes {\vec {v}},\;\;\forall \;\left({\vec {u}}\,,\,{\vec {v}}\right)\in E\times E\right\rbrace \;$»
     Le carré tensoriel du $\;\color {transparent}{\mathbb {R} }$-espace vectoriel $\;\color {transparent}{E}\;$ de dimension $\;\color {transparent}{3}\;$ dans lequel le produit tensoriel «$\;{\vec {u}}\otimes {\vec {v}}\;$» suit «$\;\forall \;\left({\vec {x}}\,,\,{\vec {y}}\right)\in E\times E$, $\;\left\lbrace {\vec {u}}\otimes {\vec {v}}\right\rbrace \left({\vec {x}}\,,\,{\vec {y}}\right)=\left({\vec {u}}\cdot _{E}{\vec {x}}\right)\left({\vec {v}}\cdot _{E}{\vec {y}}\right)\in \mathbb {R} \;$» ,
     le carré tensoriel du $\;\mathbb {R}$-espace vectoriel $\;E\;$ noté «$\;E^{\,\otimes \,2}\;$» ou encore $\;{\big (}$mais plus rarement${\big )}\;$ «$\;\bigotimes _{2}E\;$»
     le carré tensoriel du $\;\color {transparent}{\mathbb {R} }$-espace vectoriel $\;\color {transparent}{E}\;$ est aussi l'ensemble des formes bilinéaires définies sur $\;E\times E\;$ c.-à-d. «$\;{\mathcal {L}}_{2}\!\left(E^{*}\times E^{*}\,,\,\mathbb {R} \right)\;$»  ;

     la $\;k$^ème puissance tensorielle du $\;\mathbb {R}$-espace vectoriel $\;E\;$ de dimension $\;3\;$ notée «$\;E^{\,\otimes \,k}\;$» ou plus rarement «$\;\bigotimes _{k}E\;$» $\;{\big [}$avec $\;k\geqslant 3{\big ]}\;$
     la $\;\color {transparent}{k}$^ème puissance tensorielle du $\;\color {transparent}{\mathbb {R} }$-espace vectoriel $\;\color {transparent}{E}\;$ de dimension $\;\color {transparent}{3}\;$ se définit à partir de la $\;(k-1)$^ème puissance tensorielle notée «$\;E^{\,\otimes \,(k-1)}\;$» ou plus rarement «$\;\bigotimes _{(k-1)}E\;$»
     la $\;\color {transparent}{k}$^ème puissance tensorielle du $\;\color {transparent}{\mathbb {R} }$-espace vectoriel $\;\color {transparent}{E}\;$ de dimension $\;\color {transparent}{3}\;$ se définit selon «$\;E^{\,\otimes \,k}=E^{\,\otimes \,(k-1)}\otimes E\;$» $\;{\Big [}$ou «$\;\bigotimes _{k}E=\bigotimes _{(k-1)}E\;\otimes E\;$»${\Big ]}$,
     la $\;\color {transparent}{k}$^ème puissance tensorielle du $\;\color {transparent}{\mathbb {R} }$-espace vectoriel $\;\color {transparent}{E}\;$ de dimension $\;\color {transparent}{3}\;$ c'est aussi l'ensemble des formes k-linéaires de $\;\prod _{k}E\;$ soit «$\;{\mathcal {L}}_{k}\!\left(\prod _{k}E^{*}\,,\,\mathbb {R} \right)\;$» .

     Remarque : Pour que «$\;E^{\,\otimes \,k}=\bigotimes _{k}E={\mathcal {L}}_{k}\!\left(\prod _{k}E^{*}\,,\,\mathbb {R} \right)\;$» soit définie $\;\forall \;k\;\in \;\mathbb {N}$, il reste à préciser la signification pour $\;k=1\;$ et $\;k=0$ :
     Remarque : $\bullet \;$pour $\;k=1$, on pose «$\;E^{\,\otimes \,1}=E\;$» de façon à ce que $\;E^{\,\otimes \,1}={\mathcal {L}}\!\left(E^{*}\,,\,\mathbb {R} \right)=\left(E^{*}\right)^{*}\;$ canoniquement (au sens de l'algèbre linéaire) isomorphe à $\;E\;$ ;
     Remarque : $\bullet \;$pour $\;k=0$, on pose «$\;E^{\,\otimes \,0}=\mathbb {R} \;$» pour que $\;E^{\,\otimes \,0}\;$ soit l'élément « neutre » de la puissance tensorielle.
     Remarque : Avec toutes ces définitions on en déduit les deux propriétés suivantes «$\;\left\lbrace {\begin{array}{c}E^{\,\otimes \,k}\otimes E^{\,\otimes \,l}=E^{\,\otimes \,(k+l)}\\\left\lbrace E^{\,\otimes \,k}\right\rbrace ^{\,\otimes \,l}=E^{\,\otimes \,(k\,l)}\end{array}}\right\rbrace \;\forall \;\left(k\,,\,l\right)\;\in \mathbb {N} ^{2}\;$».

Dualité du produit tensoriel d'espaces vectoriels

     On admet que « la dualisation commute avec la multiplication tensorielle d'espaces vectoriels de dimension $\;3\;$» à savoir,
     On admet que si $\;E\;$ et $\;F\;$ sont deux $\;\mathbb {R}$-espaces vectoriels quelconques de dimension $\;3$, on a «$\;\left\lbrace E\otimes F\right\rbrace ^{*}=E^{*}\otimes F^{*}\;$» ;

     on admet la « généralisation de la propriété ci-dessus à un nombre fini d'espaces vectoriels de dimension $\;3\;$» soit
     on admet «$\;\left\lbrace \bigotimes _{i\,=\,1\,..\,n}E_{i}\right\rbrace ^{\!*}=\bigotimes _{i\,=\,1\,..\,n}E_{i}^{*}\;$» dans laquelle $\;E_{i},\;\;\forall \;i\;\in \;\left[\left[1\,,\,n\right]\right]\;$ sont des $\;\mathbb {R}$-espaces vectoriels de dimension $\;3$.

Définition de tenseurs à l'aide de la notion de produit tensoriel d'espaces vectoriels tridimensionnels

Rappel sur la notion de produit tensoriel d'espaces vectoriels tridimensionnels

     Considérant « deux $\;\mathbb {R}$-espaces vectoriels tridimensionnels $\;E\;$ et $\;F\;$», nous avons défini le « produit tensoriel de $\;E\;$ et $\;F\;$ noté $\;E\otimes F\;$» plus haut dans ce chapitre
     Considérant « deux $\;\color {transparent}{\mathbb {R} }$-espaces vectoriels tridimensionnels $\;\color {transparent}{E}\;$ et $\;\color {transparent}{F}\;$», comme « ensemble des éléments $\;{\vec {u}}\otimes {\vec {v}},\;\forall \;\left({\vec {u}}\,,\,{\vec {v}}\right)\;\in \;E\times F\;$» avec
     Considérant « deux $\;\color {transparent}{\mathbb {R} }$-espaces vectoriels tridimensionnels $\;\color {transparent}{E}\;$ et $\;\color {transparent}{F}\;$», «$\;\forall \;\left({\vec {x}}\,,\,{\vec {y}}\right)\in E\times F$, $\;\left\lbrace {\vec {u}}\otimes {\vec {v}}\right\rbrace \left({\vec {x}}\,,\,{\vec {y}}\right)=\langle {\vec {u}}\,,\,{\vec {x}}\rangle _{E}\;\langle {\vec {v}}\,,\,{\vec {y}}\rangle _{F}\in \mathbb {R} \;$»
     Considérant « deux $\;\color {transparent}{\mathbb {R} }$-espaces vectoriels tridimensionnels $\;\color {transparent}{E}\;$ et $\;\color {transparent}{F}\;$», dans laquelle $\left\lbrace {\begin{array}{c}\langle {\text{?}}_{1}\,,\,{\text{?}}_{2}\rangle _{E}\\\langle {\text{?}}_{3}\,,\,{\text{?}}_{4}\rangle _{F}\end{array}}\right\rbrace \;$ sont des formes bilinéaires non dégénérées de $\;\left\lbrace {\begin{array}{c}E\times E\\F\times F\end{array}}\right\rbrace \;$ $\;{\bigg [}$comme par exemple
     Considérant « deux $\;\color {transparent}{\mathbb {R} }$-espaces vectoriels tridimensionnels $\;\color {transparent}{E}\;$ et $\;\color {transparent}{F}\;$», dans laquelle la multiplication scalaire $\;\left\lbrace {\begin{array}{c}\left({\text{?}}_{1}\,\cdot _{E}\,{\text{?}}_{2}\right)\\\left({\text{?}}_{3}\,\cdot _{F}\,{\text{?}}_{4}\right)\end{array}}\right\rbrace \;$ définie sur $\;\left\lbrace {\begin{array}{c}E\\F\end{array}}\right\rbrace \;$ dans le cas où ces derniers sont euclidiens${\bigg ]}$ ;
     Considérant « deux $\;\color {transparent}{\mathbb {R} }$-espaces vectoriels tridimensionnels $\;\color {transparent}{E}\;$ et $\;\color {transparent}{F}\;$», de plus le « produit tensoriel$\;E\otimes F\;$» est canoniquement isomorphe à l'ensemble des formes bilinéaires définies sur$\;E\times F\;$ soit
     Considérant « deux $\;\color {transparent}{\mathbb {R} }$-espaces vectoriels tridimensionnels $\;\color {transparent}{E}\;$ et $\;\color {transparent}{F}\;$», de plus le «$\;E\otimes F\;{\underset {\text{isom.}}{\overset {\text{can.}}{\;=\;}}}\;{\mathcal {L}}_{2}\!\left(E^{*}\times F^{*}\,,\,\mathbb {R} \right)\;$» $\;{\bigg \{}{\begin{array}{c}E^{*}\\F^{*}\end{array}}\;$ étant les duaux respectifs de $\;{\begin{array}{c}E\\F\end{array}}{\bigg \}}$ ;
     Considérant « deux $\;\color {transparent}{\mathbb {R} }$-espaces vectoriels tridimensionnels $\;\color {transparent}{E}\;$ et $\;\color {transparent}{F}\;$», la « forme bilinéaire définie sur $\;E\times F\;$» avec $\;\left({\vec {u}}\,,\,{\vec {v}}\right)\;\in \;E\times F\;$
     Considérant « deux $\;\color {transparent}{\mathbb {R} }$-espaces vectoriels tridimensionnels $\;\color {transparent}{E}\;$ et $\;\color {transparent}{F}\;$», la «$\;{\vec {u}}\otimes {\vec {v}}\;\in \;E\otimes F\;$» définit le « produit tensoriel entre vecteurs de $\;E\;$ et $\;F\;$» .

Construction des 1^ers tenseurs à l'aide de la notion de produit tensoriel d'espaces vectoriels

Rappel des tenseurs d'ordre zéro et un

     Les tenseurs d'ordre $\;0\;$ ou $\;1\;$ sont introduits uniquement dans le cadre de $\;\mathbb {R}$-espaces vectoriels de dimension $\;3\;$ et de leur dual, ces derniers seront notés $\;E\;$ et $\;E^{*}$.

     Tenseurs d'ordre$\;0\;$ : « Tout scalaire $\;{\big (}$c.-à-d. tout élément de $\;\mathbb {R} \;$ qui est un $\;\mathbb {R}$-espace vectoriel de dimension $\;1=3^{\,0}{\big )}\;$ est un tenseur d'ordre $\;0\;$»,
       Tenseurs d'ordre$\;\color {transparent}{0}\;$ : « Tout scalaire il n'est ni contravariant ni covariant mais « invariant »  ;
     Tenseurs d'ordre$\;\color {transparent}{0}\;$ : « l'ensemble des tenseurs d'ordre $\;0\;$» est «$\;\mathbb {R} =E^{\,\otimes \,0}\;$» $\;{\big [}\mathbb {R}$-espace vectoriel de dimension $\;3^{\,0}=1{\big ]}$.

     Tenseurs d'ordre$\;1\;$ : $\bullet \;$« Tout vecteur $\;{\big (}$c.-à-d. tout élément du $\;\mathbb {R}$-espace vectoriel $\;E\;$ de dimension $\;3=3^{\,1}{\big )}\;$ est un tenseur d'ordre $\;1\;$ contravariant »  ;
     Tenseurs d'ordre$\;\color {transparent}{1}\;$ : $\color {transparent}{\bullet }\;$« l'ensemble des tenseurs d'ordre $\;1\;$ contravariants » est «$\;E=E^{\,\otimes \,1}\;$» $\;{\big [}\mathbb {R}$-espace vectoriel de dimension $\;3^{\,1}=3{\big ]}$.

     Tenseurs d'ordre$\;\color {transparent}{1}\;$ : $\bullet \;$« Tout covecteur $\;{\big (}$c.-à-d. tout élément du dual $\;E^{*}\;$ du $\;\mathbb {R}$-espace vectoriel $\;E\;$ de dimension $\;3=3^{\,1}{\big )}\;$» est un « tenseur d'ordre $\;1\;$ covariant » ,
       Tenseurs d'ordre$\;\color {transparent}{1}\;$ : $\color {transparent}{\bullet }\;$« Tout covecteur c'est aussi une forme linéaire de $\;E\;$ ;
     Tenseurs d'ordre$\;\color {transparent}{1}\;$ : $\color {transparent}{\bullet }\;$« l'ensemble des tenseurs d'ordre $\;1\;$ covariants » est «$\;E^{*}=\left\lbrace E^{*}\right\rbrace ^{\,\otimes \,1}\;$» $\;{\big [}\mathbb {R}$-espace vectoriel de dimension $\;3^{\,1}=3{\big ]}$.

Construction de tenseurs d'ordre deux

     Les tenseurs d'ordre $\;2\;$ sont construits ci-dessous comme produit tensoriel de deux tenseurs d'ordre $\;1$, donc comme élément d'un produit tensoriel de deux $\;\mathbb {R}$-espaces vectoriels choisis parmi $\;\left\lbrace E\,,\,E^{*}\right\rbrace$ :

     Tenseurs d'ordre$\;2\;$contravariants  : « Tout élément de $\;E\otimes E\;$ est un tenseur d'ordre $\;2\;$ contravariant » ,
                  Tenseurs d'ordre$\;\color {transparent}{2}\;$contravariants : « Tout élément de $\;\color {transparent}{E\otimes E}\;$ c'est aussi le « produit tensoriel de deux tenseurs d'ordre $\;1\;$ contravariants »  ;
                  Tenseurs d'ordre$\;\color {transparent}{2}\;$contravariants : « l'ensemble des tenseurs d'ordre $\;2\;$ contravariants » est «$\;E\otimes E=E^{\,\otimes \,2}\;$» $\;{\big [}\mathbb {R}$-espace vectoriel de dimension $\;3^{\,2}=9{\big ]}$.
     Tenseurs d'ordre$\;\color {transparent}{2}\;$covariants  : « Tout élément de $\;E^{*}\otimes E^{*}\;$ est un tenseur d'ordre $\;2\;$ covariant » ,
                  Tenseurs d'ordre$\;\color {transparent}{2}\;$covariants : « Tout élément de $\;\color {transparent}{E^{*}\otimes E^{*}}\;$ c'est aussi le « produit tensoriel de deux tenseurs d'ordre $\;1\;$ covariants » ,
                  Tenseurs d'ordre$\;\color {transparent}{2}\;$covariants : « Tout élément de $\;\color {transparent}{E^{*}\otimes E^{*}}\;$ ou encore une « forme bilinéaire de $\;E^{*}\times E^{*}\;$» $\;{\Big [}$avec $\;E^{*}\otimes E^{*}\;{\underset {\text{isom.}}{\overset {\text{can.}}{\;=\;}}}\;{\mathcal {L}}_{2}\!\left(\left\lbrace E^{*}\right\rbrace ^{*}\times \left\lbrace E^{*}\right\rbrace ^{*}\,,\,\mathbb {R} \right)\;{\underset {\text{isom.}}{\overset {\text{can.}}{\;=\;}}}\;{\mathcal {L}}_{2}\!\left(E\times E\,,\,\mathbb {R} \right)\;$${\Big ]}\;$ ;
                  Tenseurs d'ordre$\;\color {transparent}{2}\;$covariants : « l'ensemble des tenseurs d'ordre $\;2\;$ covariants » est «$\;E^{*}\otimes E^{*}=\left\lbrace E^{*}\right\rbrace ^{\otimes \,2}\;$» $\;{\big [}\mathbb {R}$-espace vectoriel de dimension $\;3^{\,2}=9{\big ]}$.
     Tenseurs d'ordre$\;\color {transparent}{2}\;$“ mixtes ”  : $\bullet \;$« Tout élément de $\;E\otimes E^{*}\;$ est un tenseur d'ordre $\;2\;$ “ mixte ” » ,
                         Tenseurs d'ordre$\;\color {transparent}{2}\;$“ mixtes ” : $\color {transparent}{\bullet }\;$« Tout élément de $\;\color {transparent}{E\otimes E^{*}}\;$ c'est aussi le « produit tensoriel de deux tenseurs d'ordre $\;1\;$ l'un contravariant et l'autre covariant  » ,
                         Tenseurs d'ordre$\;\color {transparent}{2}\;$“ mixtes ” : $\color {transparent}{\bullet }\;$« Tout élément de $\;\color {transparent}{E\otimes E^{*}}\;$ ou encore une « forme bilinéaire de $\;E\times E^{*}\;$» $\;{\Big [}$avec $\;E\otimes E^{*}\;{\underset {\text{isom.}}{\overset {\text{can.}}{\;=\;}}}\;{\mathcal {L}}_{2}\!\left(E^{*}\times \left\lbrace E^{*}\right\rbrace ^{*}\,,\,\mathbb {R} \right)\;{\underset {\text{isom.}}{\overset {\text{can.}}{\;=\;}}}\;{\mathcal {L}}_{2}\!\left(E^{*}\times E\,,\,\mathbb {R} \right)\;$${\Big ]}\;$ ;
                         Tenseurs d'ordre$\;\color {transparent}{2}\;$“ mixtes ” : $\color {transparent}{\bullet }\;$« l'ensemble des tenseurs d'ordre $\;2\;$ “ mixtes ” » $\;{\big (}$contravariant à gauche et covariant à droite ${\big )}\;$ est «$\;E\otimes E^{*}\;$»
                                      Tenseurs d'ordre$\;\color {transparent}{2}\;$“ mixtes ” : $\color {transparent}{\bullet }\;$« l'ensemble des tenseurs d'ordre $\;\color {transparent}{2}\;$ “ mixtes ” » $\;{\big [}\mathbb {R}$-espace vectoriel de dimension $\;3^{\,2}=9{\big ]}$.
     Tenseurs d'ordre$\;\color {transparent}{2}\;$“ mixtes ”  : $\bullet \;$« Tout élément de $\;E^{*}\otimes E\;$ est un tenseur d'ordre $\;2\;$ “ mixte ” » ,
                         Tenseurs d'ordre$\;\color {transparent}{2}\;$“ mixtes ” : $\color {transparent}{\bullet }\;$« Tout élément de $\;\color {transparent}{E^{*}\otimes E}\;$ c'est aussi le « produit tensoriel de deux tenseurs d'ordre $\;1\;$ l'un covariant et l'autre contravariant  » ,
                         Tenseurs d'ordre$\;\color {transparent}{2}\;$“ mixtes ” : $\color {transparent}{\bullet }\;$« Tout élément de $\;\color {transparent}{E^{*}\otimes E}\;$ ou encore une « forme bilinéaire de $\;E^{*}\times E\;$» $\;{\Big [}$avec $\;E^{*}\otimes E\;{\underset {\text{isom.}}{\overset {\text{can.}}{\;=\;}}}\;{\mathcal {L}}_{2}\!\left(\left\lbrace E^{*}\right\rbrace ^{*}\times E^{*}\,,\,\mathbb {R} \right)\;{\underset {\text{isom.}}{\overset {\text{can.}}{\;=\;}}}\;{\mathcal {L}}_{2}\!\left(E\times E^{*}\,,\,\mathbb {R} \right)\;$${\Big ]}\;$ ;
                         Tenseurs d'ordre$\;\color {transparent}{2}\;$“ mixtes ” : $\color {transparent}{\bullet }\;$« l'ensemble des tenseurs d'ordre $\;2\;$ “ mixtes ” » $\;{\big (}$covariant à gauche et contravariant à droite ${\big )}\;$ est «$\;E^{*}\otimes E\;$»
                                      Tenseurs d'ordre$\;\color {transparent}{2}\;$“ mixtes ” : $\color {transparent}{\bullet }\;$« l'ensemble des tenseurs d'ordre $\;\color {transparent}{2}\;$ “ mixtes ” » $\;{\big [}\mathbb {R}$-espace vectoriel de dimension $\;3^{\,2}=9{\big ]}$.
                         Tenseurs d'ordre$\;\color {transparent}{2}\;$“ mixtes ” : $\bullet \;$Remarque : la multiplication dans $\;\mathbb {R} \;$ étant commutative, « tout tenseur d'ordre $\;2\;$ “ mixte ” de $\;E^{*}\otimes E\;$ est aussi
                         Tenseurs d'ordre$\;\color {transparent}{2}\;$“ mixtes ” : $\color {transparent}{\bullet }\;$Remarque : la multiplication dans $\;\color {transparent}{\mathbb {R} }\;$ étant commutative, « un tenseur d'ordre $\;2\;$ “ mixte ” de $\;E\otimes E^{*}\;$» et réciproquement d'où
                         Tenseurs d'ordre$\;\color {transparent}{2}\;$“ mixtes ” : $\color {transparent}{\bullet }\;$Remarque : «$\;E^{*}\otimes E\;$ est donc canoniquement (au sens de l'algèbre linéaire) isomorphe à $\;E\otimes E^{*}\;$».

Construction de tenseurs d'ordre quelconque

     On se propose de construire des tenseurs d'ordre $\;p\;\in \mathbb {N} ^{*}\,\backslash \left\lbrace 1\,,\,2\right\rbrace \;$ contravariants , covariants ou « mixtes »
     On se propose de construire des tenseurs d'ordre $\;\color {transparent}{p\;\in \mathbb {N} ^{*}\,\backslash \left\lbrace 1\,,\,2\right\rbrace }\;$ à partir du $\;\mathbb {R}$-espace vectoriel tridimensionnel $\;E$, de son dual $\;E^{*}\;$ et de les notions de produit et de puissance tensoriel(le)s  :
     On se propose de construire des tenseurs d'ordre $\;\color {transparent}{p\;\in \mathbb {N} ^{*}\,\backslash \left\lbrace 1\,,\,2\right\rbrace }\;$ $\bullet \;$« Tout élément de $\;E^{\,\otimes \,p},\;p\;\in \mathbb {N} ^{*}\,\backslash \left\lbrace 1\,,\,2\right\rbrace \;$ est un tenseur d'ordre $\;p\;$ contravariant » ,
     On se propose de construire des tenseurs d'ordre $\;\color {transparent}{p\;\in \mathbb {N} ^{*}\,\backslash \left\lbrace 1\,,\,2\right\rbrace }\;$ $\color {transparent}{\bullet }\;$« Tout élément de $\;\color {transparent}{E^{\,\otimes \,p},\;p\;\in \mathbb {N} ^{*}\,\backslash \left\lbrace 1\,,\,2\right\rbrace }\;$ c'est aussi le « produit tensoriel de $\;p\;$ tenseurs d'ordre $\;1\;$ contravariants »  ;
     On se propose de construire des tenseurs d'ordre $\;\color {transparent}{p\;\in \mathbb {N} ^{*}\,\backslash \left\lbrace 1\,,\,2\right\rbrace }\;$ $\color {transparent}{\bullet }\;$« l'ensemble des tenseurs d'ordre $\;p\;$ contravariants » est «$\;E^{\,\otimes \,p}\;$» $\;{\big [}\mathbb {R}$-espace vectoriel de dimension $\;3^{\,p}{\big ]}$.
     On se propose de construire des tenseurs d'ordre $\;\color {transparent}{p\;\in \mathbb {N} ^{*}\,\backslash \left\lbrace 1\,,\,2\right\rbrace }\;$ $\bullet \;$« Tout élément de $\;\left\lbrace E^{*}\right\rbrace ^{\otimes \,p},\;p\;\in \mathbb {N} ^{*}\,\backslash \left\lbrace 1\,,\,2\right\rbrace \;$ est un tenseur d'ordre $\;p\;$ covariant » , c'est aussi
     On se propose de construire des tenseurs d'ordre $\;\color {transparent}{p\;\in \mathbb {N} ^{*}\,\backslash \left\lbrace 1\,,\,2\right\rbrace }\;$ $\color {transparent}{\bullet }\;$« Tout élément de $\;\color {transparent}{\left\lbrace E^{*}\right\rbrace ^{\otimes \,p},\;p\;\in \mathbb {N} ^{*}\,\backslash \left\lbrace 1\,,\,2\right\rbrace }\;$ est le « produit tensoriel de $\;p\;$ tenseurs d'ordre $\;1\;$ covariants »
     On se propose de construire des tenseurs d'ordre $\;\color {transparent}{p\;\in \mathbb {N} ^{*}\,\backslash \left\lbrace 1\,,\,2\right\rbrace }\;$ $\color {transparent}{\bullet }\;$« Tout élément de $\;\color {transparent}{\left\lbrace E^{*}\right\rbrace ^{\otimes \,p},\;p\;\in \mathbb {N} ^{*}\,\backslash \left\lbrace 1\,,\,2\right\rbrace }\;$ est ou encore, une « forme p-linéaire de $\;\left(E^{*}\right)^{p}\;$»
     On se propose de construire des tenseurs d'ordre $\;\color {transparent}{p\;\in \mathbb {N} ^{*}\,\backslash \left\lbrace 1\,,\,2\right\rbrace }\;$ $\color {transparent}{\bullet }\;$« Tout élément de $\;\color {transparent}{\left\lbrace E^{*}\right\rbrace ^{\otimes \,p},\;p\;\in \mathbb {N} ^{*}\,\backslash \left\lbrace 1\,,\,2\right\rbrace }\;$ est ou encore, ${\Big [}$avec $\;\left\lbrace E^{*}\right\rbrace ^{\,\otimes \,p}\;{\underset {\text{isom.}}{\overset {\text{can.}}{\;=\;}}}\;{\mathcal {L}}_{p}\!\left(\left[\left\lbrace E^{*}\right\rbrace ^{*}\right]^{p}\,,\,\mathbb {R} \right)\;{\underset {\text{isom.}}{\overset {\text{can.}}{\;=\;}}}\;{\mathcal {L}}_{p}\!\left(E^{\,p}\,,\,\mathbb {R} \right)\;$${\Big ]}$ ;
     On se propose de construire des tenseurs d'ordre $\;\color {transparent}{p\;\in \mathbb {N} ^{*}\,\backslash \left\lbrace 1\,,\,2\right\rbrace }\;$ $\color {transparent}{\bullet }\;$« l'ensemble des tenseurs d'ordre $\;p\;$ covariants » est «$\;\left\lbrace E^{*}\right\rbrace ^{\otimes \,p}\;$» $\;{\big [}\mathbb {R}$-espace vectoriel de dimension $\;3^{\,p}{\big ]}$.
     On se propose de construire des tenseurs d'ordre $\;\color {transparent}{p\;\in \mathbb {N} ^{*}\,\backslash \left\lbrace 1\,,\,2\right\rbrace }\;$ $\bullet \;$« Tout élément de $\;E^{\,\otimes \,k}\otimes \left\lbrace E^{*}\right\rbrace ^{\otimes \,(p-k)},\;k\,\in \left[\left[1\,,\,(p-1)\right]\right]\;$ est un tenseur d'ordre $\;p\;$ “ mixte ” » ,
     On se propose de construire des tenseurs d'ordre $\;\color {transparent}{p\;\in \mathbb {N} ^{*}\,\backslash \left\lbrace 1\,,\,2\right\rbrace }\;$ $\color {transparent}{\bullet }\;$« Tout élément de $\;\color {transparent}{E^{\,\otimes \,k}\otimes \left\lbrace E^{*}\right\rbrace ^{\otimes \,(p-k)},\;k\,\in \left[\left[1\,,\,(p-1)\right]\right]}\;$ c'est aussi le « produit tensoriel de
     On se propose de construire des tenseurs d'ordre $\;\color {transparent}{p\;\in \mathbb {N} ^{*}\,\backslash \left\lbrace 1\,,\,2\right\rbrace }\;$ $\color {transparent}{\bullet }\;$« Tout élément de $\;\color {transparent}{E^{\,\otimes \,k}\otimes \left\lbrace E^{*}\right\rbrace ^{\otimes \,(p-k)},\;k\,\in \left[\left[1\,,\,(p-1)\right]\right]}\;$ c'est aussi le «$\;k\;$ tenseurs d'ordre $\;1\;$ contravariants et de
     On se propose de construire des tenseurs d'ordre $\;\color {transparent}{p\;\in \mathbb {N} ^{*}\,\backslash \left\lbrace 1\,,\,2\right\rbrace }\;$ $\color {transparent}{\bullet }\;$« Tout élément de $\;\color {transparent}{E^{\,\otimes \,k}\otimes \left\lbrace E^{*}\right\rbrace ^{\otimes \,(p-k)},\;k\,\in \left[\left[1\,,\,(p-1)\right]\right]}\;$ c'est aussi le «$\;(p-k)\,$ tenseurs d'ordre $\,1\,$ covariants  »
     On se propose de construire des tenseurs d'ordre $\;\color {transparent}{p\;\in \mathbb {N} ^{*}\,\backslash \left\lbrace 1\,,\,2\right\rbrace }\;$ $\color {transparent}{\bullet }\;$« Tout élément de $\;\color {transparent}{E^{\,\otimes \,k}\otimes \left\lbrace E^{*}\right\rbrace ^{\otimes \,(p-k)},\;k\,\in \left[\left[1\,,\,(p-1)\right]\right]}\;$ ou encore, une « forme p-linéaire de $\;E^{\,k}\times \left\lbrace E^{*}\right\rbrace ^{\,(p-k)}\;$» ${\Big [}$avec
     On se propose de construire des tenseurs d'ordre $\;\color {transparent}{p\;\in \mathbb {N} ^{*}\,\backslash \left\lbrace 1\,,\,2\right\rbrace }\;$ $\color {transparent}{\bullet }\;$« Tout élément de $\;\color {transparent}{E^{\,\otimes \,k}\otimes \left\lbrace E^{*}\right\rbrace ^{\otimes \,(p-k)},\;k\,\in \left[\left[1\,,\,(p-1)\right]\right]}\;$, $E^{\,\otimes \,k}\otimes \left\lbrace E^{*}\right\rbrace ^{\otimes \,(p-k)}\;{\underset {\text{isom.}}{\overset {\text{can.}}{\;=\;}}}\;{\mathcal {L}}_{p}\!\left(\left\lbrace E^{*}\right\rbrace ^{k}\times \left[\left\lbrace E^{*}\right\rbrace ^{*}\right]^{(p-k)}\,,\,\mathbb {R} \right)$
     On se propose de construire des tenseurs d'ordre $\;\color {transparent}{p\;\in \mathbb {N} ^{*}\,\backslash \left\lbrace 1\,,\,2\right\rbrace }\;$ $\color {transparent}{\bullet }\;$« Tout élément de $\;\color {transparent}{E^{\,\otimes \,k}\otimes \left\lbrace E^{*}\right\rbrace ^{\otimes \,(p-k)},\;k\,\in \left[\left[1\,,\,(p-1)\right]\right]}\;$, $\color {transparent}{E^{\,\otimes \,k}\otimes \left\lbrace E^{*}\right\rbrace ^{\otimes \,(p-k)}}$$\;{\underset {\text{isom.}}{\overset {\text{can.}}{\;=\;}}}\;{\mathcal {L}}_{p}\!\left(\left\lbrace E^{*}\right\rbrace ^{k}\times E^{\,(p-k)}\,,\,\mathbb {R} \right)\;$${\Big ]}$ ;
     On se propose de construire des tenseurs d'ordre $\;\color {transparent}{p\;\in \mathbb {N} ^{*}\,\backslash \left\lbrace 1\,,\,2\right\rbrace }\;$ $\color {transparent}{\bullet }\;$« l'ensemble des tenseurs d'ordre $\;p\;$ “ mixtes ” » est «$\;\bigcup _{k\,=\,1\,..\,(p-1)}E^{\,\otimes \,k}\otimes \left\lbrace E^{*}\right\rbrace ^{\otimes \,(p-k)}\;$»
     On se propose de construire des tenseurs d'ordre $\;\color {transparent}{p\;\in \mathbb {N} ^{*}\,\backslash \left\lbrace 1\,,\,2\right\rbrace }\;$ $\color {transparent}{\bullet }\;$« l'ensemble des tenseurs d'ordre $\;\color {transparent}{p}\;$ $\;{\big (}$contravariant à gauche et covariant à droite ${\big )}$,
     On se propose de construire des tenseurs d'ordre $\;\color {transparent}{p\;\in \mathbb {N} ^{*}\,\backslash \left\lbrace 1\,,\,2\right\rbrace }\;$ $\color {transparent}{\bullet }\;$« $\;{\Big [}$chaque élément $\;E^{\,\otimes \,k}\otimes \left\lbrace E^{*}\right\rbrace ^{\otimes \,(p-k)}\;$ de la réunion étant un $\;\mathbb {R}$-espace vectoriel de dimension $\;3^{\,p}{\Big ]}$.
     On se propose de construire des tenseurs d'ordre $\;\color {transparent}{p\;\in \mathbb {N} ^{*}\,\backslash \left\lbrace 1\,,\,2\right\rbrace }\;$ $\color {transparent}{\bullet }\;$Remarque : « un tenseur d'ordre $\;p\;$ “ mixte ” contravariant d'ordre partiel $\;k\;$ et
                  On se propose de construire des tenseurs d'ordre $\;\color {transparent}{p\;\in \mathbb {N} ^{*}\,\backslash \left\lbrace 1\,,\,2\right\rbrace }\;$ $\color {transparent}{\bullet }\;$Remarque : « un tenseur d'ordre $\;\color {transparent}{p}\;$ “ mixte ” covariant d'ordre partiel $\;(p-k)\;$  »
                  On se propose de construire des tenseurs d'ordre $\;\color {transparent}{p\;\in \mathbb {N} ^{*}\,\backslash \left\lbrace 1\,,\,2\right\rbrace }\;$ $\color {transparent}{\bullet }\;$Remarque : « un tenseur d'ordre $\;\color {transparent}{p}\;$ “ mixte ” est, compte-tenu de la commutativité de la multiplication dans $\;\mathbb {R}$,
                  On se propose de construire des tenseurs d'ordre $\;\color {transparent}{p\;\in \mathbb {N} ^{*}\,\backslash \left\lbrace 1\,,\,2\right\rbrace }\;$ $\color {transparent}{\bullet }\;$Remarque : « un tenseur d'ordre $\;\color {transparent}{p}\;$ “ mixte ” est, « parfaitement défini dès que $\;k\;$ est fixé, quel que soit l'ordre d'apparition
                  On se propose de construire des tenseurs d'ordre $\;\color {transparent}{p\;\in \mathbb {N} ^{*}\,\backslash \left\lbrace 1\,,\,2\right\rbrace }\;$ $\color {transparent}{\bullet }\;$Remarque : « un tenseur d'ordre $\;\color {transparent}{p}\;$ “ mixte ” est, « des $\;k\;$ espaces vectoriels $\;E\;$ et des $\;(p-k)\;$ duaux $\;E^{*}\;$»
     On se propose de construire des tenseurs d'ordre $\;\color {transparent}{p\;\in \mathbb {N} ^{*}\,\backslash \left\lbrace 1\,,\,2\right\rbrace }\;$ $\color {transparent}{\bullet }\;$Remarque : ${\big [}$« tous les produits tensoriels de $\;k\;$ espaces vectoriels $\;E\;$ et de $\;(p-k)\;$ duaux $\;E^{*}\;$» sont
     On se propose de construire des tenseurs d'ordre $\;\color {transparent}{p\;\in \mathbb {N} ^{*}\,\backslash \left\lbrace 1\,,\,2\right\rbrace }\;$ $\color {transparent}{\bullet }\;$Remarque : $\color {transparent}{\big [}$« canoniquement (au sens de l'algèbre linéaire) isomorphes entre eux » quel que soit leur ordre d'apparition${\big ]}$.