Definition
Die graduierte assoziative Algebra, die aus einem Vektorraum V durch Bildung alternierender Tensorpotenzen und Durchsetzung der Antisymmetrie (Keilprodukt) entsteht, so dass v∧v=0 für Elemente vom Grad eins gilt; oft mit Λ•V bezeichnet.
Prinzip
Prinzip
Alternierende multilineare Phänomene kodieren, indem man die Tensoralgebra durch das zweiseitige Ideal modt, das von x⊗x für x∈V erzeugt wird (oder äquivalent v∧w = −w∧v erzwingt), und so orientierte Volumina und Determinanten algebraisch erfasst.
Demonstration
Demonstration
Für V der Dimension n ist Λ^n V eindimensional und Elemente von Λ^k V lassen sich als k-Vektoren oder orientierte k-dimensionale Volumenelemente deuten; das Keilprodukt kombiniert k- und ℓ-Vektoren zu (k+ℓ)-Vektoren mit Antisymmetrie.
Fehlanwendung
Fehlanwendung
Die äußere Algebra als gewöhnlich kommutativ behandeln (die Vorzeichenregeln ignorieren) oder sie ohne Beachtung der Gradierung einsetzen, was zu Vorzeichenfehlern in alternierenden Summen und bei der Berechnung von Determinanten und Orientierungen führt.
Konsequenz
Konsequenz
Richtige Verwendung liefert algebraische Modelle für Differentialformen, Orientierung und Determinanten; sie bietet den Rahmen zur Definition von Volumenelementen, Integration auf Mannigfaltigkeiten, Konstruktion von Grassmann-Mannigfaltigkeiten und multilinearen Invarianten.
Umkehrung
Umkehrung
Die Antisymmetrie durch Symmetrie ersetzen ergibt die symmetrische Algebra, die polynomiale und bosonenartige Konstruktionen statt alternierender oder fermionischer Verhaltensweisen kodiert; Vorzeichenumkehr entfernt Orientierungsinformation.
Abgrenzung
Abgrenzung
Definiert für Module und Vektorräume, in denen 2 invertierbar ist, verhält sie sich wie erwartet; über Ringen der Charakteristik zwei oder ohne wohl definierten Alternationsbegriff fallen manche Unterscheidungen weg und Antisymmetrie ist vorsichtig zu behandeln.
Semantische Spannung
Semantische Spannung
Spannung zur symmetrischen Algebra: Beide sind Quotienten der Tensoralgebra, jedoch mit gegensätzlichen Relationen (Antisymmetrie vs. Symmetrie) und unterschiedlichen Rollen in Geometrie und Physik.
Synthese
Synthese
Die äußere Algebra ist die graduierte Algebra alternierender Tensoren über V, im Grad eins erzeugt mit dem Keilprodukt, das Antisymmetrie erzwingt; sie bildet algebraisch Orientierung, Determinanten und alternierende multilineare Phänomene ab.