You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
d d(e1, . . . , en) = 1<br />
i = j<br />
<br />
d(v1, . . . , vj, . . . , vi, . . . , vn) = −d(v1, . . . , vi, . . . , vj, . . . , vn).<br />
0 = d(v1, . . . , vi + vj, . . . , vi + vj, . . . , vn)<br />
= 0 + d(v1, . . . , vi, . . . , vj, . . . , vn) + d(v1, . . . , vj, . . . , vi, . . . , vn) + 0<br />
σ ∈ Sn d F n <br />
v1, . . . , vn ∈ F n <br />
d <br />
d(v σ(1), . . . , v σ(n) = ε(σ)d(v1, . . . , vn)<br />
d(e σ(1), . . . , e σ(n) = ε(σ)d(e1, . . . , en)<br />
= ε(σ)<br />
d F n A = (aij) = (A (1) , . . . , A (n) ) ∈ Mn(F)<br />
d(A (1) , . . . , A (n) ) = det Ad(e1, . . . , en)<br />
<br />
d(A (1) , . . . , A (n) ) = d( <br />
j1<br />
aj11ej1 , A(2) , . . . , A (n) )<br />
= <br />
aj11d(ej1 , A(2) , . . . , A (n) )<br />
j1<br />
= <br />
aj11aj22d(ej1 , ej2 , A(3) , . . . , A (n) )<br />
j1,j2<br />
= · · ·<br />
= <br />
j1,...,jn<br />
aj11 · · · ajnnd(ej1 , . . . , ejn)<br />
= <br />
aσ(1)1 · · · aσ(n)nε(σ)d(e1, . . . , en)<br />
σ∈Sn<br />
= (det A)d(e1, . . . , en).<br />
d : F n × · · · × F n → F d(A (1) , . . . , A (n) ) = det A <br />
A = (A (1) , . . . , A (n) ) d <br />
n<br />
j=1 a σ(j)j det A<br />
A (k) = A (l) k = l det A = 0 τ = (kl) Sn<br />
det A = <br />
ε(σ) <br />
aσ(j)j σ∈Sn<br />
j