BBot
Apr 20'25
Exercise
[math]
\newcommand{\mathds}{\mathbb}[/math]
Prove with full details, based on the above, that the determinant of the systems of vectors
[[math]]
\det:\mathbb R^N\times\ldots\times\mathbb R^N\to\mathbb R
[[/math]]
is multilinear, alternate and unital, and unique with these properties. Then try to prove as well this directly, without any reference to geometry.