Eine Operation auf einem multilinearen Tensor oder einer Form, die auf den alternierenden (antisymmetrischen) Anteil projiziert, indem die signierte Summe über Permutationen der Argumente gebildet wird, so dass das Ergebnis bei ungeraden Permutationen das Vorzeichen wechselt.

Prinzip

Verwende den Alternator A = (1/n!) ∑_{σ∈S_n} sgn(σ) σ; dieser Operator ist in Charakteristiken mit invertierbarer Fakultät idempotent und liefert Elemente mit T(...,x_i,...,x_j,...) = −T(...,x_j,...,x_i,...) und die bei gleichen Argumenten verschwinden.

Demonstration

Für v⊗w in V⊗V ergibt die Antisymmetrisierung (v⊗w − w⊗v)/2, was dem Element in Λ^2(V) entspricht; auf Funktionen angewandt liefert sie alternierende multilineare Formen, die in Determinanten und dem Keilprodukt vorkommen.

Fehlanwendung

In Charakteristik 2 ist das Vorzeichenhomomorphismus trivial, daher reduziert sich die Alternierung auf gewöhnliche Summe und isoliert keine antisymmetrischen Anteile; das Weglassen der Division durch n! kann die Idempotenz zerstören.

Konsequenz

Ergibt Exteriorpotenzen und alternierende multilineare Formen, zentral für Determinanten, Differentialformen und die homologischen Konstruktionen; sorgt für Verschwinden bei mehrfachen gleichen Argumenten und kodiert Orientierungszeichen unter Permutationen.

Umkehrung

Das natürliche Gegenstück ist die Symmetrisierung, die ohne Vorzeichen mittelt und permutationsinvariante Komponenten liefert; Alternierung und Symmetrisierung zerlegen Tensorpotenzen in komplementäre Isotypen, wenn Fakultäten invertierbar sind.

Abgrenzung

Gilt in multilinearen Kontexten und für Tensorpotenzen; ist sorgfältig bei Basenringen mit kleiner Charakteristik zu behandeln, wo Fakultäten null werden, und beachtet werden muss die mögliche Divergenz von 'skew-symmetric' und 'alternating'.

Semantische Spannung

Unterscheide 'alternierend' (verschwindet bei gleichen Argumenten) von 'schiefsymmetrisch' (ändert Vorzeichen bei Vertauschungen): über Körpern mit Charakteristik ≠ 2 sind die Begriffe äquivalent, in Charakteristik 2 jedoch nicht.

Synthese

Die Antisymmetrisierung ist der signierte Durchschnittsprojector, der den antisymmetrischen Anteil eines multilinearen Objekts extrahiert und so Exteriorpotenzen und Formen erzeugt, die auf wiederholten Eingaben verschwinden und sich nach dem Vorzeichen der Permutation verhalten.