Carte 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

1 Forme k-linéaire
- 1.1 Écriture en composantes
2 Forme k-linéaire alternée
3 Voir aussi

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 $E k$ dans $\mathbb{K}$ , linéaire en chaque variable. Ainsi pour des vecteurs $x 1,..., x k, 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 $E k$ 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 $e 1,..., e n$ , 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 $x 1,..., x k$ 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 $n k$ 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 $L k (E)$ , de dimension $n k$ .

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.

Démonstration

On peut se contenter de travailler avec deux variables, en fixant toutes les autres. On fait donc la preuve dans le cas d'une forme bilinéaire $f$ sur $E$ .

Si $f$ est alternée, alors pour deux vecteurs $x$ et $y$ de $E$ ,

f (x + y, x + y) = 0 = f (x, x) + f (x, y) + f (y, x) + f (y, y) = f (x, y) + f (y, x)

ce qui montre que $f (x, y)$ et $f (y, x)$ sont opposés. Donc $f$ est antisymétrique.

Si $f$ est antisymétrique, pour tout $x$ $f (x, x)$ est un scalaire, égal à son opposé. Si la caractéristique de $\mathbb{K}$ est différente de deux, on en déduit que $f (x, x)$ est nul puis que $f$ 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 $e 1,..., e n$ , 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 $x 1,..., x n$ 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})$

où $J$ est l'ensemble des $n$ -uplets $(i 1,..., i n)$ avec chaque $i j$ dans [|1,n|] et les $i j$ tous distincts.

Mais alors $(i 1,..., i n)$ 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 (e 1,..., e n)$ suffit pour déterminer complètement la fonction $f$ .

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

Démonstration

L'application

$\phi:\begin{matrix}A_n(E)& \longrightarrow & K\\ f&\longmapsto & f(e_{1},\dots,e_{n})\end{matrix}$

est linéaire. On vient de montrer qu'elle est injective.

Il reste à prouver qu'elle est surjective, c'est-à-dire que pour tout réel $a$ , il existe effectivement une forme $n$ -linéaire alternée pour laquelle $f (e 1,..., e n) = a$ .

Pour construire un tel $f$ on pose

$f(x_1,\dots,x_n )= \left(\sum_{\sigma\in \mathfrak{S}_n} \varepsilon(\sigma) \prod_{j=1}^n X_{\sigma(j),j} \right) a$

On a bien $f (e 1,..., e n) = a$ .
La $n$ -linéarité se vérifie pour chacun des termes de la somme pris séparément. À chaque fois on a affaire à un produit de composantes, une pour chaque vecteur du $n$ -uplet. Donc si un seul vecteur varie, on lit cela comme une composante du vecteur variable fois une constante ; c'est bien linéaire.
Le caractère alterné est moins évident. Si $x i = x j$ pour deux indices $i$ et $j$ distincts, on introduit la transposition $τ$ qui échange $i$ et $j$ . On regroupe les termes deux par deux : chaque permutation paire $σ$ avec la permutation $\tau \circ \sigma$ . L'application $\sigma \mapsto \tau\circ \sigma$ étant bijective de l'ensemble des permutations paires dans celui des permutations impaires, on a bien décrit chaque terme une seule fois.

$f(x_1,\dots,x_n )= \left(\sum_{\sigma\in \mathfrak{A}_n} \left( \prod_{k=1}^n X_{\sigma(k),k}- \prod_{k=1}^n X_{\tau(\sigma(k)),k}\right) \right) a$

Mais les deux termes dont on fait la différence sont égaux, le résultat est donc bien nul.

On appelle notamment application déterminant relativement à la base base $e 1,..., e n$ l'unique application $n$ -linéaire alternée telle que $f (e 1,..., e n) = 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})$

où $J$ est l'ensemble des $k$ -uplets $(i 1,..., i k)$ avec chaque $i j$ dans [|1,n|] et les $i j$ 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 $x i$ dans la base des $e j$ .

$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

Algèbre linéaire générale
Vecteur • Scalaire • Combinaison linéaire • Espace vectoriel • Matrice
Famille de vecteurs	Colinéarité • Indépendance linéaire • Famille libre • Rang • Famille génératrice • Base • Théorème de la base incomplète
Sous-espace	Somme d'ensembles • Somme directe • Sous-espace supplémentaire • Dimension d'un espace vectoriel • Codimension • Droite • Plan • Hyperplan
Morphisme et notions relatives	Application linéaire • Noyau • Conoyau • Lemme des noyaux • Pseudo-inverse • Théorème de factorisation • Théorème du rang • Équation linéaire • Système d'équations linéaires • Élimination de Gauss-Jordan • Forme linéaire • Espace dual • Orthogonalité • Base duale • Endomorphisme linéaire • Valeur propre, vecteur propre et espace propre • Spectre • Projecteur • Symétrie • Matrice diagonalisable • Endomorphisme nilpotent
En dimension finie	Trace • Déterminant • Polynôme caractéristique • Polynôme d'endomorphisme • Théorème de Cayley-Hamilton • Polynôme minimal d'un endomorphisme • Invariants de similitude • Réduction d'endomorphisme • Réduction de Jordan • Décomposition de Dunford
Enrichissements de structure	Norme • Produit scalaire • Forme quadratique • Espace vectoriel topologique • Orientation • Algèbre sur un corps • Algèbre de Lie • Complexe différentiel
Développements	Théorie des matrices • Représentation de groupe • Analyse fonctionnelle • Algèbre multilinéaire • Module sur un anneau

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

Catégorie : Algèbre multilinéaire

Wikimedia Foundation. 2010.

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

Игры ⚽ Поможем написать курсовую

Regardez d'autres dictionnaires:

VARIÉTÉS DIFFÉRENTIABLES — On a l’habitude de considérer que la notion de variété différentiable est due à B. Riemann. C’est en effet Riemann qui proposa d’appliquer à l’étude des ensembles d’objets non géométriques les méthodes qui avaient été inventées pour les courbes… … Encyclopédie Universelle
Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… … Wikipédia en Français
ANALYSE MATHÉMATIQUE — L’analyse mathématique est le développement des notions et résultats fondamentaux du calcul infinitésimal. Ce dernier s’était déjà considérablement enrichi et diversifié entre les mains des mathématiciens du XVIIIe siècle, avant tout Euler et… … Encyclopédie Universelle
Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants … Wikipédia en Français
GRAPHES (THÉORIE DES) — On appelle théorie des graphes une classe de problèmes plus ou moins bien résolus. Leur résolution suscite chez les mathématiciens, en particulier à l’étranger, un engouement sans cesse croissant. Claude Berge, dans le discours inaugural des… … Encyclopédie Universelle
Orientation (mathematiques) — Orientation (mathématiques) Pour les articles homonymes, voir Orientation. En mathématiques, une orientation est une convention à fixer pour l objet étudié, dont la formulation dépend de la nature de cet objet. Elle se révèle nécessaire par… … Wikipédia en Français
Orientation (mathématiques) — Pour les articles homonymes, voir Orientation. En mathématiques, une orientation est une convention à fixer pour l objet étudié, dont la formulation dépend de la nature de cet objet. Elle se révèle nécessaire par exemple, pour régler des… … Wikipédia en Français
Orientation d'un repère — Orientation (mathématiques) Pour les articles homonymes, voir Orientation. En mathématiques, une orientation est une convention à fixer pour l objet étudié, dont la formulation dépend de la nature de cet objet. Elle se révèle nécessaire par… … Wikipédia en Français
Orientation d'une base — Orientation (mathématiques) Pour les articles homonymes, voir Orientation. En mathématiques, une orientation est une convention à fixer pour l objet étudié, dont la formulation dépend de la nature de cet objet. Elle se révèle nécessaire par… … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Carte multilinéaire

Application multilinéaire

Sommaire