Determinantenfunktion

Sei ${\displaystyle V}$  ein ${\displaystyle n}$ -dimensionaler Vektorraum über einem Körper ${\displaystyle K}$ . Dann heißt eine Funktion ${\displaystyle f\colon V^{n}\rightarrow K}$  Determinantenfunktion, wenn sie folgende Bedingungen erfüllt:

• ${\displaystyle f}$  ist multilinear, d. h. linear in jeder Variablen:

${\displaystyle \forall \,i\in \left\{1,\ldots ,n\right\},\;\forall \,a,b\in V\colon f\left(v_{1},\ldots ,v_{i-1},a+b,v_{i+1},\ldots ,v_{n}\right)=f\left(v_{1},\ldots ,v_{i-1},a,v_{i+1},\ldots ,v_{n}\right)+f\left(v_{1},\ldots ,v_{i-1},b,v_{i+1},\ldots ,v_{n}\right)}$  (Additivität)

${\displaystyle \forall \,i\in \left\{1,\ldots ,n\right\},\;\forall \,a\in V,\;\forall \,r\in K\colon f\left(v_{1},\ldots ,v_{i-1},r\cdot a,v_{i+1},\dots ,v_{n}\right)=r\cdot f\left(v_{1},\ldots ,v_{i-1},a,v_{i+1},\ldots ,v_{n}\right)}$  (Homogenität)

• ${\displaystyle f}$  ist alternierend:

${\displaystyle \left(\exists \,r,s\in \left\{1,\ldots ,n\right\},r\neq s\colon v_{r}=v_{s}\right)\Rightarrow f\left(v_{1},v_{2},\ldots ,v_{n}\right)=0}$ 

• Eine Determinantenfunktion ist schiefsymmetrisch, allgemeiner gilt für eine Permutation ${\displaystyle \sigma }$ : ${\displaystyle f\left(v_{\sigma (1)},v_{\sigma (2)},\dots ,v_{\sigma (n)}\right)=\mathrm {sgn} (\sigma )\cdot f\left(v_{1},v_{2},\dots ,v_{n}\right)}$ , wobei ${\displaystyle \mathrm {sgn} }$  das Signum der Permutation bezeichnet.

• Sind ${\displaystyle v_{1},v_{2},\dots ,v_{n}\in V}$  linear abhängig, so gilt ${\displaystyle f(v_{1},v_{2},\dots ,v_{n})=0}$ . Für eine nicht-triviale Determinantenfunktion (d. h. ${\displaystyle f\not \equiv 0}$ ) gilt auch die Umkehrung dieser Aussage.

• Sind ${\displaystyle f,g:V^{n}\rightarrow K}$  zwei Determinantenfunktionen und ${\displaystyle f\not \equiv 0}$ , dann gibt es ein ${\displaystyle a\in K}$  so, dass ${\displaystyle g(v_{1},v_{2},\dots ,v_{n})=a\cdot f(v_{1},v_{2},\dots ,v_{n})\;\forall \,v_{1},v_{2},\dots ,v_{n}\in V}$ . Das bedeutet, dass es bis auf eine Normierungskonstante nur eine nicht-triviale Determinantenfunktion gibt, alle anderen Determinantenfunktionen lassen sich durch Multiplikation mit einer Konstanten gewinnen. Tatsächlich existiert auf jedem Vektorraum eine nicht-triviale Determinantenfunktion.

• Die Nullfunktion ist die sog. triviale Determinantenfunktion.
• ${\displaystyle V=\mathbb {R} ^{n}}$ , mit der üblichen Determinante als Determinantenfunktion.
• Aus dem vorangehenden Beispiel durch Multiplikation der Determinante mit einer Konstante gewonnene Determinantenfunktionen.

• H. Zieschang: Lineare Algebra und Geometrie. B.G. Teubner, Stuttgart 1997. ISBN 3-519-02230-3
• S. Bosch: Lineare Algebra. Springer-Verlag, Münster 2008. ISBN 3-540-76437-2