Beschreibung
Die Äußere Potenz ist das Fundamentale Objekt, über dem die Kovariante Graßmann-Algebra und das Keilprodukt definiert sind.
Definition
Definition von
Sei wie bei Alternierende Multilineare Abbildung definiert.
Äußere Potenz
Die -te äußere Potenz soll das Bild des Keilprodukt sein und das Keilprodukt zur größten Alternierende Multilineare Abbildung machen. Dazu definieren wir sie mit einem Quotientenraum (Lineare Algebra)
Multivektor
Ein Element aus wird Multivektor oder -Vektor genannt.
Simpler Vektor
Kann ein Element aus als Keilprodukt geschrieben werden, nennt man es simpel
Charakterisierungen
Eigenschaften
Basis
Ist eine Basis (Lineare Algebra) von und besitzt eine Totale Ordnung, so ist eine Basis von .
Die Basis sind also alle Möglichkeiten, Elemente aus der Basis von zu ziehen.
Dimension
Mit der oberen Basis erhalten wir für endlichdimensionale die Dimension für :
Beispiele
Äußere Potenz
Das ist ein Skalar aus dem Grundkörper von
Äußere Potenz
Das ist ein Vektor aus .