Determinante/Rekursiv/Multilinear/Fakt

Es sei ${}K$ ein Körper und  ${}n\in \mathbb {N} _{+}$. 

Dann ist die Determinante

$\operatorname {Mat} _{n}(K)=(K^{n})^{n}\longrightarrow K,\,M\longmapsto \det M,$

multilinear.

D.h., dass für jedes  ${}k\in {\{1,\ldots ,n\}}$,  für je ${}n-1$ Vektoren  ${}v_{1},\ldots ,v_{k-1},v_{k+1},\ldots ,v_{n}\in K^{n}$  und für  ${}u,w\in K^{n}$  die Gleichheit

${}\det {\begin{pmatrix}v_{1}\\\vdots \\v_{k-1}\\u+w\\v_{k+1}\\\vdots \\v_{n}\end{pmatrix}}=\det {\begin{pmatrix}v_{1}\\\vdots \\v_{k-1}\\u\\v_{k+1}\\\vdots \\v_{n}\end{pmatrix}}+\det {\begin{pmatrix}v_{1}\\\vdots \\v_{k-1}\\w\\v_{k+1}\\\vdots \\v_{n}\end{pmatrix}}\,$

und für  ${}s\in K$  die Gleichheit

${}\det {\begin{pmatrix}v_{1}\\\vdots \\v_{k-1}\\su\\v_{k+1}\\\vdots \\v_{n}\end{pmatrix}}=s\det {\begin{pmatrix}v_{1}\\\vdots \\v_{k-1}\\u\\v_{k+1}\\\vdots \\v_{n}\end{pmatrix}}\,$

gilt.

Zum Beweis, Alternativen Beweis erstellen