Algèbre extérieure
Un article de Wikipédia, l'encyclopédie libre.
En mathématiques, l'algèbre extérieure ou algèbre de Grassmann d'un espace vectoriel est une algèbre dont E est un sous-espace. Elle permet de faire des calculs algébriques avec des objets tels que parallélogrammes orientés, parallélépipèdes orientés, etc. En topologie différentielle on étend l'algèbre extérieure aux variétés pour donner le concept de forme différentielle et le produit extérieur correspondant.
Le nom d'algèbre de Grassmann est un hommage au mathématicien allemand Hermann Grassmann. L'algèbre de l'espace E se note Λ(E), parfois avec un point Λ•(E). Sa loi produit est appelée produit extérieur et notée ; elle est associative, bilinéaire et alternée sur les vecteurs de E, ce qui donne les lois
De plus, le produit extérieur d'une famille liée de vecteurs de E est nul.
[modifier] Définition intuitive
L'algèbre extérieure peut être caractérisée comme l'algèbre la « plus simple » possédant les propriétés précédentes, ce qui s'exprime formellement à l'aide d'un problème universel. Dans un premier temps on peut se contenter d'une description par générateurs et relations.
Les éléments de la forme avec v1,…,vk dans E sont appelés k-vecteurs. Le sous-espace de Λ(E) engendré par tous les k-vecteurs porte le nom de k-ème puissance extérieure de E et se note Λk(E). Les éléments de cet espace sont donc des combinaisons de k-vecteurs, pas forcément des k-vecteurs.
L'algèbre extérieure apparaît comme la somme directe des puissances extérieures successives :
L'indice k forme un degré compatible avec le produit extérieur : le produit d'un k-vecteur et d'un l-vecteur est un vecteur de degré inférieur à k+l. Ainsi l'algèbre extérieure a une structure d'algèbre graduée.
Les relations
ne sont vraies en général que pour des vecteurs, pas pour des k-vecteurs, ni des éléments de l'algèbre extérieure.
Une interprétation géométrique des k-vecteurs : le 2-vecteur représente le parallélogramme orienté de côtés u et v, le 3-vecteur représente le parallélépipède orienté de côtés u, v, et w.
[modifier] Base et dimension
Si E est de dimension n et de base (e1,...,en), alors il est possible de donner une base de la k-ème puissance extérieure Λk(E), sous la forme
En effet, c'est un résultat général de décomposition pour les applications multilinéaires. Chacune des composantes du k-vecteur sur cette base est un mineur de la matrice représentative du système de vecteurs vj sur la base ei.
La dimension of Λk(E) est le coefficient binomial . Notamment, Λk(E) = {0} pour k > n.
L'algèbre extérieure est une algèbre graduée égale à la somme directe
(dans laquelle Λ0(E) = K et Λ1(E) = E), et sa dimension est donc 2n.
[modifier] Définition explicite
L'objectif est, à partir d'un espace vectoriel E de construire une algèbre, la plus générale possible, avec un produit ayant la propriété d'alternance. Il est naturel de voir dans ce problème une variante de l'introduction de l'algèbre tensorielle T(E), et d'obtenir la propriété d'alternance par un quotient adapté. Soit donc I l'idéal bilatère de T(E) engendré par les éléments de la forme v⊗v pour v appartenant à E. L'espace ΛE est défini comme le quotient
- ΛE = T(E)/I.
Portail des mathématiques – Accédez aux articles de Wikipédia concernant les mathématiques. |