Application Multilinéaire

Application multilinéaire

En algèbre linéaire, une application multilinéaire est une application à plusieurs variables vectorielles qui est linéaire en chaque variable.

Quelques exemples classiques :

  • Le produit scalaire est une fonction bilinéaire symétrique à deux variables vectorielles, et qualifiée de forme bilinéaire car à valeur dans le corps de base.
  • Le déterminant est une fonction multilinéaire antisymétrique des colonnes (ou rangées) 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.

Sommaire

Forme k-linéaire

Soit k > 1 un entier. Soit E un \mathbb{K}-espace vectoriel. Une forme k-linéaire sur E est une application de Ek dans \mathbb{K}, linéaire en chaque variable. Ainsi pour des vecteurs x1,...,xk,x'i et des scalaires a et b

f(x_1,\dots,x_{i-1}, ax_i+bx'_i,x_{i+1}, \dots, x_k )=a f(x_1,\dots ,x_i,\dots, x_k) +
bf(x_1, \dots,x'_i,\dots x_k)

Il ne faut pas confondre cette notion avec celle d'application linéaire de Ek dans \mathbb{K}. Pour une telle application on aurait en effet

f(ax_1+bx'_1,\dots,ax_k+bx'_k )=a f(x_1, \dots, x_k) +
bf(x'_1, \dots,x'_k)

De façon informelle, il faut se représenter une application k-linéaire comme une application produit de k termes, avec une propriété de type distributivité.

Écriture en composantes

Si l'espace E est de dimension finie n et muni d'une base e1,...,en, on peut décomposer chaque vecteur

x_j = \sum_{i=1}^n X_{i,j} e_i

Alors l'expression d'une forme k-linéaire sur le k-uplet x1,...,xk devient

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})

La connaissance des nk valeurs f(e_{i_1},\dots,e_{i_k}) détermine entièrement la forme k-linéaire f.

Les formes k-linéaires alternées sur un espace vectoriel E de dimension n forment donc un espace vectoriel Lk(E), de dimension nk.

Forme k-linéaire alternée

Une forme k-linéaire sur E est dite alternée si elle s'annule à chaque fois qu'on l'évalue sur un k-uplet contenant deux vecteurs identiques :

[\exists i\neq j, x_i=x_j] \Rightarrow f(x_1,\dots, x_k)=0

Antisymétrie

Toute forme k-linéaire alternée est antisymétrique, c'est-à-dire que l'échange de deux vecteurs a pour effet de changer le résultat obtenu en son opposé :

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)

Sauf dans le cas où \mathbb{K} est un corps de caractéristique deux, la réciproque est vérifiée : toute forme k-linéaire antisymétrique est alternée.

Forme plus générale de la propriété d'antisymétrie

Si f est une forme k-linéaire antisymétrique, 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 signe est changé en son opposé. Finalement l'effet d'une permutation générale des vecteurs est la multiplication de la valeur obtenue par la signature de la permutation.

\forall \sigma \in \mathfrak{S}_k, \; f(x_{\sigma(1)}, \dots, x_{\sigma(k)})=\varepsilon(\sigma)f(x_1,\dots, x_k)

Cette propriété s'applique notamment pour les formes k-linéaires alternées.

Forme n-linéaire alternée en dimension n

Dans cette section on étudie le cas particulier k = n qui permet de construire le déterminant.

Si l'espace E est de dimension finie n et muni d'une base e1,...,en, on peut décomposer chaque vecteur

x_j = \sum_{i=1}^n X_{i,j} e_i

Alors l'expression d'une forme n-linéaire alternée sur le n-uplet x1,...,xn se simplifie. Après suppression des termes où figurent deux fois le même vecteur, il vient

f(x_1,\dots,x_n )=  \sum_{(i_1, \dots,i_n)\in J} \prod_{j=1}^n X_{i_j,j} f(e_{i_1},\dots,e_{i_n})

J est l'ensemble des n-uplets (i1,...,in) avec chaque ij dans [|1,n|] et les ij tous distincts.

Mais alors (i1,...,in) sont les entiers de 1 à n rangés dans un certain ordre. En d'autres termes, ils forment une permutation des entiers de 1 à n. On retrouve une et une seule fois chacune des permutations de n entiers dans la somme précédente. Ceci permet de réindexer

f(x_1,\dots,x_n )=  \sum_{\sigma\in \mathfrak{S}_n} \prod_{j=1}^n X_{\sigma(j),j} f(e_{\sigma(1)},\dots,e_{\sigma(n)})

Enfin par antisymétrie

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})

Ainsi la connaissance d'un seul scalaire, f(e1,...,en) suffit pour déterminer complètement la fonction f.

Théorème — L'ensemble An(E) des formes n-linéaires alternées sur un espace vectoriel de dimension n constitue un espace vectoriel de dimension 1.

On appelle notamment application déterminant relativement à la base base e1,...,en l'unique application n-linéaire alternée telle que f(e1,...,en) = 1. Ses propriétés sont étudiées dans l'article déterminant (mathématiques).

Forme k-linéaire alternée en dimension n

Reprenant le cas d'une application k-linéaire alternée en dimension n, une partie seulement des résultats précédents peut être étendue. Il est toujours possible de supprimer les termes où figurent deux fois le même vecteur, il vient

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})

J est l'ensemble des k-uplets (i1,...,ik) avec chaque ij dans [|1,n|] et les ij tous distincts. De plus par antisymétrie, il est possible de réordonner les termes dans f de façon à ne conserver qu'une combinaison de termes de la forme

f(e_{i_1}, \dots, e_{i_k}) \qquad \text{ avec } 1\leq i_1<i_2<\dots <i_{k-1}<i_k\leq n
  • si k = n alors il n'est pas possible de trouver de tels k-uplets, ce qui signifie qu'il n'existe pas d'autre forme k-linéaire alternée en dimension n que la forme nulle.
  • si k\leq n alors le nombre de tels k-uplets réordonnés est le coefficient binomial \tbinom{n}{k}. Par une démonstration analogue à celle du paragraphe précédent, une forme k-linéaire alternée est caractérisée par la donnée de la valeur de f sur ces k-uplets.

En définitive, l'espace des formes k-linéaires alternées sur un espace de dimension n est de dimension \tbinom{n}{k}.

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 des vecteurs xi dans la base des ej.

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})

Voir aussi

Ce document provient de « Application multilin%C3%A9aire ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Application Multilinéaire de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Application multilineaire — Application multilinéaire En algèbre linéaire, une application multilinéaire est une application à plusieurs variables vectorielles qui est linéaire en chaque variable. Quelques exemples classiques : Le produit scalaire est une fonction… …   Wikipédia en Français

  • 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… …   Wikipédia en Français

  • multilinéaire — [ myltilineɛr ] adj. • av. 1966; de multi et linéaire; cf. angl. multilinear (1886) ♦ Math. ASe dit d une aplication linéaire par rapport à chacune des variables affectées, correspondant à un produit d espaces vectoriels (on dit aussi application …   Encyclopédie Universelle

  • Application bilinéaire — Une application bilinéaire est un cas particulier d application multilinéaire. Définition Soit E, F et G trois espaces vectoriels sur un corps . Soit une application, on dit que φ est bilinéaire si elle est linéaire en chacune de ses variables, c …   Wikipédia en Français

  • application — [ aplikasjɔ̃ ] n. f. • 1361; de appliquer, d apr. lat. applicatio 1 ♦ Action de mettre une chose sur une autre de manière qu elle la recouvre et y adhère. L application d un enduit sur un mur. Application de feuilles de bois ou de métal précieux …   Encyclopédie Universelle

  • Application Linéaire — En mathématiques, une application linéaire (aussi appelée opérateur linéaire ou transformation linéaire) est une application entre deux espaces vectoriels qui respecte l’addition des vecteurs et la multiplication scalaire définie dans ces espaces …   Wikipédia en Français

  • Application lineaire — Application linéaire En mathématiques, une application linéaire (aussi appelée opérateur linéaire ou transformation linéaire) est une application entre deux espaces vectoriels qui respecte l’addition des vecteurs et la multiplication scalaire… …   Wikipédia en Français

  • Application trilinéaire — Application linéaire En mathématiques, une application linéaire (aussi appelée opérateur linéaire ou transformation linéaire) est une application entre deux espaces vectoriels qui respecte l’addition des vecteurs et la multiplication scalaire… …   Wikipédia en Français

  • Application linéaire — En mathématiques, une application linéaire (aussi appelée opérateur linéaire ou transformation linéaire) est une application entre deux espaces vectoriels qui respecte l’addition des vecteurs et la multiplication scalaire définie dans ces espaces …   Wikipédia en Français

  • Application linéaire canoniquement associée à une matrice — Matrice (mathématiques) Pour les articles homonymes, voir Matrice. En mathématiques, les matrices servent à interpréter en termes calculatoire …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”