Let the $c_i$ be column vectors of a matrix (rows could equivalently be used).
The formal definition of the determinant (that I'm familiar with) is as follows:
$\det(c_1,c_2,\cdots,c_n):\Bbb R^{n\times n}\to\Bbb R$, , is the unique function that is alternating multilinear in all its arguments that also satisfies $\det(\operatorname{Id})=1$.
I have seen the proofs that this generates the more familiar ways of computing the determinant and all its properties.
However, it doesn't quite scratch the itch of the geometric meaning. Yes, this determinant is the scaling of volume under a linear map, but it doesn't seem motivated to be that way.
The proof that the Lebesgue measure of a measurable set in $\Bbb R^n$ scales by the determinant under a linear map relies on the following:
Let $A$ be a square matrix. The polar decomposition theorem gives $A=QR$, for an orthogonal $Q$ and a positive semi-definite, symmetric, matrix $R$. The spectral theorem gives that $R$ can be orthogonally diagonalised as $UDU^{-1}$, for $U$ an orthogonal matrix and $D$ a diagonal matrix. It can be shown that the Lebesgue measure of area under an orthogonal matrix is unchanged, and it can be shown the effect of multiple linear maps is the combination of the individual effects - thus the Lebesgue measure of a set under $A$ is changed only by how much it would be changed under $D$, and as $D$ is diagonal it can be shown that the (absolute value of the) determinant of $D$ is precisely this scaling. As $|\det(QUDU^{-1})|=|\det(D)|$, we have that $|\det(A)|$ is precisely this scaling.
So that leads me to consider the following characterisation of the determinant:
$\det(c_1,c_2,\cdots,c_n):\Bbb R^{n\times n}\to\Bbb R$ is the (unique?) function that satisfies:
- $\det(AB)=\det(A)\cdot\det(B)$ for any square matrices of the same dimension $A,B$
- $\det(Q)=1$ for any orthogonal matrix $Q$, or $-1$ if there is an element of reflection
- $\det(D)$ is the product of diagonal entries for any diagonal matrix $D$.
Does this lead to the same two $\det$ functions? I know the first characterisation implies mine, but I'm curious if one can motivate and define the determinant purely geometrically.
Many thanks for any insight.