Orientierter Vektorraum/Borel-Lebesgue-Maß/n-Form/Aufgabe

Aus Wikiversity

Es sei ein -dimensionaler reeller orientierter Vektorraum und ein translationsinvariantes Maß auf . Zeige, dass die Zuordnung

wobei das Vorzeichen positiv zu wählen ist, wenn die Vektoren die Orientierung repräsentieren, eine alternierende multilineare Abbildung ist.