Application multilinéaire
En algèbre linéaire, une application multilinéaire est une application à plusieurs variables vectorielles et à valeurs vectorielles qui est linéaire en chaque variable. Une application multilinéaire à valeurs scalaires est appelée forme multilinéaire. Une application multilinéaire à deux variables vectorielles est dite bilinéaire.
Quelques exemples classiques :
- le produit scalaire est une forme bilinéaire symétrique ;
- le déterminant est une forme multilinéaire antisymétrique des colonnes (ou lignes) d'une matrice carrée.
L'étude systématique des applications multilinéaires permet d'obtenir une définition générale du déterminant, du produit extérieur et de nombreux autres outils ayant un contenu géométrique. La branche de l'algèbre correspondante est l'algèbre multilinéaire. Mais il y a également de très nombreuses applications dans le cadre des variétés, en topologie différentielle.
Définition
Soient un entier Modèle:Math et des espaces vectoriels <math>E_1,\ldots,E_k,F</math> sur un même corps Modèle:Math. Une application
- <math>f:E_1\times\ldots\times E_k\to F</math>
est dite multilinéaire (ou plus précisément : Modèle:Math-linéaire) si elle est linéaire en chaque variable, c'est-à-dire si, pour des vecteurs <math>x_1, ..., x_k, x'_i</math> et des scalaires Modèle:Math et Modèle:Math,
- <math>f(x_1,\dots,x_{i-1},ax_i+bx'_i,x_{i+1},\dots,x_k)=af(x_1,\dots ,x_i,\dots, x_k)+bf(x_1,\dots,x'_i,\dots x_k).</math>
De façon informelle, on peut se représenter une application Modèle:Math-linéaire comme une application produit de Modèle:Math termes, avec une propriété de type distributivité.
L'ensemble des applications Modèle:Math-linéaires de <math>E_1\times\ldots\times E_k</math> dans Modèle:Math est un sous-espace vectoriel de l'espace FE1×…×En de toutes les applications de E1×…×En dans F. C'est donc un espace vectoriel, que l'on note <math>L(E_1,\ldots,E_k;F)</math>, ou plus simplement <math>L_k(E;F)</math> lorsque <math>E_1=\ldots=E_k=E</math>. L'espace <math>L_k(E;K)</math> des [[Forme multilinéaire|formes Modèle:Math-linéaires]] sur Modèle:Math est noté <math>L_k(E)</math>.
Si Modèle:Math, on retrouve l'espace <math>L(E;F)</math> des applications linéaires de Modèle:Math dans Modèle:Math. En revanche si Modèle:Math, il ne faut pas confondre l'espace d'applications multilinéaires <math>L(E_1,\ldots,E_k;F)</math> avec l'espace <math>L(E_1\times\ldots\times E_k;F)</math> des applications linéaires sur l'espace vectoriel produit <math>E_1\times\ldots\times E_k</math>. Par exemple, de K×K dans K, la multiplication <math>(x_1,x_2)\mapsto x_1x_2</math> est bilinéaire mais pas linéaire, tandis que la projection <math>(x_1,x_2)\mapsto x_1</math> est linéaire mais pas bilinéaire.
Écriture en composantes
Si <math>\mathcal B_1,\ldots,\mathcal B_k</math> (finies ou pas) sont des bases respectives des espaces <math>E_1,\ldots,E_k</math>, l'application (linéaire) de restriction
- <math>L(E_1,\ldots,E_k;F)\to F^{\mathcal B_1\times\ldots\times\mathcal B_k},\qquad f\mapsto f_{|\mathcal B_1\times\ldots\times\mathcal B_k}</math>
est bijective (donc est un isomorphisme d'espaces vectoriels), c'est-à-dire qu'une application Modèle:Math-linéaire est entièrement déterminée par ses valeurs sur les Modèle:Math-uplets de vecteurs des bases, et que ces valeurs peuvent être des vecteurs quelconques de Modèle:Math.
Plus concrètement, et en supposant pour simplifier les notations que
- <math>E_1=\ldots=E_k\quad\text{et}\quad\mathcal B_1=\ldots=\mathcal B_k=(e_i)_{i=1,\ldots,n},</math>
on peut décomposer chaque vecteur
- <math>x_j = \sum_{i=1}^n X_{i,j} e_i.</math>
Alors l'expression d'une forme Modèle:Math-linéaire sur le Modèle:Math-uplet <math>x_1, ..., x_k</math> devient
- <math>f(x_1,\dots,x_k )= f\left(\sum_{i_1=1}^n X_{i_1,1} e_{i_1}, \dots, \sum_{i_k=1}^n X_{i_k,k} e_{i_k}\right)=\sum_{i_1=1}^n \dots \sum_{i_k=1}^n \prod_{j=1}^k X_{i_j,j} f(e_{i_1},\dots,e_{i_k}).</math>
La connaissance des <math>n^k</math> valeurs <math>f(e_{i_1},\dots,e_{i_k})</math> détermine entièrement l'application Modèle:Math-linéaire Modèle:Math.
En particulier, l'espace <math>L_k(E)</math> des formes Modèle:Math-linéaires sur un espace vectoriel Modèle:Math de dimension Modèle:Math a pour dimension <math>n^k</math>.
Symétrie et antisymétrie
Une application <math>f\in L_k(E;F)</math> est dite
- Modèle:Page h' si l'échange de deux vecteurs ne modifie pas le résultat :
- <math>f(x_1,\dots,x_k)=f(x_1,\dots,x_{i-1},x_j,x_{i+1},\dots,x_{j-1},x_i,x_{j+1},\dots,x_k)</math> ;
- antisymétrique si l'échange de deux vecteurs a pour effet de changer le résultat obtenu en son opposé :
- <math>f(x_1,\dots,x_k)=-f(x_1,\dots,x_{i-1},x_j,x_{i+1},\dots,x_{j-1},x_i,x_{j+1},\dots,x_k)</math>.
On peut effectuer plusieurs échanges de vecteurs successifs. On réalise ainsi une permutation des vecteurs, obtenue comme une succession de transpositions. À chaque étape, le résultat est non modifié si Modèle:Math est symétrique, et changé en son opposé si Modèle:Math est antisymétrique. Finalement, l'effet d'une permutation générale des vecteurs est de ne pas modifier le résultat si Modèle:Math est symétrique, et de multiplier par la signature de la permutation si Modèle:Math est antisymétrique. En résumé, <math>\mathfrak S_k</math> désignant le groupe symétrique d'indice <math>k</math> :
- si Modèle:Math est symétrique alors :
- <math>\forall \sigma \in \mathfrak{S}_k, \; f(x_{\sigma(1)}, \dots, x_{\sigma(k)})=f(x_1,\dots, x_k)</math> ;
- si Modèle:Math est antisymétrique alors :
- <math>\forall \sigma \in \mathfrak{S}_k, \; f(x_{\sigma(1)}, \dots, x_{\sigma(k)})=\varepsilon(\sigma)f(x_1,\dots, x_k)</math> où <math>\varepsilon(\sigma)</math> est la signature de <math>\sigma</math>.
Les sous-ensembles correspondants de <math>L_k(E;F)</math>, notés respectivement <math>S_k(E;F)</math> et <math>A_k(E;F)</math>, sont des sous-espaces vectoriels. Si la caractéristique du corps Modèle:Math est égale à 2, ils sont égaux.
Application alternée
Une application <math>f\in L_k(E;F)</math> est dite alternée si elle s'annule à chaque fois qu'on l'évalue sur un Modèle:Math-uplet contenant deux vecteurs identiques :
- <math>[\exists i\neq j, x_i=x_j] \Rightarrow f(x_1,\dots, x_k)=0.</math>
De façon équivalente, une application Modèle:Math-linéaire sur <math>E^k</math> est alternée si elle s'annule sur tous les Modèle:Math-uplets liés. En particulier, si Modèle:Math est strictement supérieur à la dimension de Modèle:Math, alors la seule application Modèle:Math-linéaire alternée de <math>E^k</math> dans Modèle:Math est l'application nulle.
Application Modèle:Math-linéaire alternée en dimension Modèle:Math
Dans cette section on suppose que l'espace Modèle:Math est de dimension finie Modèle:Math et l'on étudie le cas particulier Modèle:Math. Pour Modèle:Math, cette étude permet de donner une définition alternative du déterminant dans une base e d'un n-uplet de vecteurs, ou de sa matrice, lorsqu'on l'a défini au préalable par la formule de Leibniz.
Si Modèle:Math est muni d'une base <math>e=(e_1,\dots, e_n)</math>, on peut décomposer chaque vecteur
- <math>x_j = \sum_{i=1}^n X_{i,j} e_i</math>.
Alors, l'expression d'une forme Modèle:Math-linéaire Modèle:Math sur le Modèle:Math-uplet <math>x_1,\dots, x_n</math> Modèle:Supra se simplifie lorsque Modèle:Math est alternée (donc aussi antisymétrique) :
- <math>f(x_1,\dots,x_n )=\left(\sum_{\sigma\in\mathfrak S_n} \varepsilon(\sigma) \prod_{j=1}^n X_{\sigma(j),j} \right) f(e_1,\dots,e_n)={\det}_e(x_1,\dots, x_n)f(e_1,\dots,e_n)</math><ref name=Wikiversité/> où <math>\varepsilon(\sigma)</math> est la signature de <math>\sigma</math>.
Ainsi, la connaissance du seul vecteur <math>f(e_1,\dots,e_n)</math> suffit pour déterminer complètement la fonction Modèle:Math, et l'application <math>{\det}_e</math> est l'unique forme Modèle:Math-linéaire alternée Modèle:Math telle que <math>f(e_1,\dots,e_n)=1</math>.
Modèle:ThéorèmeRemarque : ce théorème permet d'orienter des espaces vectoriels réels en choisissant, dans le cas où F=R, dans la droite A des formes n-linéaires alternées, l'une ou l'autre des demi-droites A' ou A'' et en appelant plans vectoriels orientés les couples (E,A) ou (E,A')<ref>Modèle:Ouvrage</ref>.
Application Modèle:Math-linéaire alternée en dimension Modèle:Math
Reprenant le cas d'une application Modèle:Math-linéaire alternée en dimension Modèle:Math, on suppose cette fois que Modèle:Math (rappelons que si Modèle:Math, toute application Modèle:Math-linéaire alternée est nulle). Une partie seulement des résultats précédents peut être étendue. Il est toujours possible de supprimer les termes où figure deux fois le même vecteur ; il vient
- <math>f(x_1,\dots,x_k )= \sum_{(i_1, \dots,i_k)\in J} \prod_{j=1}^k X_{i_j,j} f(e_{i_1},\dots,e_{i_k})</math>
où Modèle:Math est l'ensemble des Modèle:Math-uplets <math>(i_1, ..., i_k)</math> avec chaque <math>i_j</math> dans [|1,n|] et les <math>i_j</math> tous distincts. De plus par antisymétrie, il est possible de réordonner les termes dans Modèle:Math de façon à ne conserver qu'une combinaison de termes de la forme
- <math>f(e_{i_1},\dots,e_{i_k})\qquad\text{ avec }1\le i_1<i_2<\dots<i_{k-1}<i_k\le n.</math>
Le nombre de tels Modèle:Math-uplets réordonnés est le coefficient binomial <math>\tbinom{n}{k}</math>, et une forme Modèle:Math-linéaire alternée est caractérisée par la donnée de la valeur de Modèle:Math sur ces Modèle:Math-uplets. En définitive, le théorème précédent se généralise en :
Plus précisément, la formule de décomposition peut être écrite en utilisant la notion de déterminant : chaque coefficient est un mineur de la matrice représentative de la famille des vecteurs <math>x_i</math> dans la base des <math>e_j</math>.
- <math>f(x_1,\dots,x_k )= \sum_{ 1\leq i_1<i_2<\dots <i_{k-1}<i_k\leq n} \begin{vmatrix}
X_{i_1;1}&X_{i_1;2}&\dots &X_{i_1;k} \\ X_{i_2;1}&X_{i_2;2}&\dots &X_{i_2;k} \\ \vdots &\vdots & \ddots & \vdots \\ X_{i_k;1}&X_{i_k;2}&\dots &X_{i_k;k} \end{vmatrix}f(e_{i_1},\dots,e_{i_k}).</math>
Note
Voir aussi
Articles connexes
Algèbre extérieure • Anticommutativité • Permanent • Tenseur
Bibliographie
Roger Godement, Cours d'algèbre
