L'algèbre associative graduée construite à partir d'un espace vectoriel V en prenant les puissances tensorielles alternées et en imposant l'antisymétrie (produit extérieur) de sorte que v∧v=0 pour les éléments de degré un ; souvent notée Λ•V.

Principe

Coder les phénomènes multilinéaires alternés en quotientant l'algèbre tensorielle par l'idéal bilatère engendré par x⊗x pour x∈V (ou en imposant v∧w = −w∧v), capturant ainsi algébriquement les volumes orientés et les déterminants.

Démonstration

Pour V de dimension n, Λ^n V est de dimension 1 et les éléments de Λ^k V s'interprètent comme k-vecteurs ou éléments de volume orienté de dimension k ; le produit wedge combine un k- et un ℓ-vecteur en un (k+ℓ)-vecteur avec antisymétrie.

Mauvaise application

Considérer l'algèbre extérieure comme commutative au sens ordinaire (ignorant les règles de signe) ou l'utiliser sans attention à la graduation conduit à des erreurs de signe dans les sommes alternées et dans les calculs de déterminants et d'orientations.

Conséquence

Un usage correct fournit des modèles algébriques des formes différentielles, de l'orientation et des déterminants ; elle offre le cadre pour définir éléments de volume, intégration sur variétés, construction de Grassmanniennes et invariants multilinéaires.

Inversion

Remplacer l'antisymétrie par la symétrie donne l'algèbre symétrique, qui encode des constructions polynomiales et de type bosonique plutôt que des comportements alternés ou de type fermionique ; inverser les signes efface l'information d'orientation.

Limite

Définie pour des modules et espaces vectoriels où 2 est inversible, elle se comporte comme attendu ; sur des anneaux de caractéristique deux ou sans condition alternée bien définie, certaines distinctions s'effondrent et il faut traiter l'antisymétrie avec précaution.

Tension sémantique

Tension avec l'algèbre symétrique : toutes deux sont des quotients de l'algèbre tensorielle mais imposent des relations opposées (antisymétrie vs symétrie), et elles servent des rôles différents en géométrie et en physique.

Synthèse

L'algèbre extérieure est l'algèbre graduée des tenseurs alternés sur V, engendrée en degré un avec le produit wedge qui impose l'antisymétrie ; elle capture algébriquement l'orientation, les déterminants et les phénomènes multilinéaires alternés.