Volumes and determinants
Determinants also relate to volumes of geometric objects. It may seem silly but let’s look at the one-dimensional setting first. (In general, if you don’t understand the 1-d setting, then you should start your learning there.)
In , a vector is just a scalar or a element of . The length of the vector is . In 1-d, length is volume. So we have the following relation between the volume of the line segment spanned by is The determinant is a signed volume in 1-d.
With some confidence with one dimension, we turn to 2-d. Let’s start with a matrix The columns give up two vectors The vectors span a parallelogram .
Let’s check that
Neither the volume nor the determinant depend on where we place the parallelogram in the plane so assume that the unlabelled vertex is at the origin.
Let’s rotate so that lies along the -axis.
Notice that so for the rotated matrix which is exactly the volume of the rotated parallelogram (base height).
To finish, we want to see that the determinant also does not change up when rotating in . However, a rotation is a linear transformation! So it can be represented by a matrix when using the standard basis. For rotating counter-clockwise through an angle from -axis, we have as the matrix. Since we get and So the determinant is unchanged also.
We can conclude that in 2-d, like 1-d.
We feel pretty good about making the following statement.
For any matrix we have where is the parallelopiped spanned by the column vectors of .
In three dimensions, the parallelopiped looks like
For higher dimensions, we rely on our intuition from dimensions 1 through 3.
The proof of can go one of two ways:
- We can brute force things along lines of two dimensions above. Use explicit formulas and manipulations to match up the results.
- Or we can reach for the power of abstraction and use the properties that completely capture the behavior and .
Proposition. If are two functions which both satisfy
- and for singular .
Then, .
Proof. (Expand to view)
From Gaussian Elimination, we know that any matrix can be written as where is a product of , and and is in reduced row echelon form. Thus, and only depends on the reduced row echelon form. We have seen that is invertible if and only . Thus, we have specified for invertible completely from the properties.
For non-invertible , we know that . ■
Corollary. For any matrix we have where is the parallelopiped spanned by the column vectors of .
Proof. (Expand to view)
Both and satisfy the conditions of the previous proposition.
We have already seen that satisfies all the conditions with the exception that But the absolute value doesn’t change.
For the volume, we know it doesn’t change with rigid motions. Let’s write $\mathbf{v}1,\ldots,\mathbf{v}_n$ be the _row vectors of . Then, we have an intuitively clear formula \operatorname{Vol} (P(A)) = \operatorname{ht}(\mathbf{v}_i}) \operatorname{Vol} (P_i) where is the parallelopiped spanned by all the vectors $\mathbf{v}1,\ldots,\mathbf{v}_n$ _except and \operatorname{ht}(\mathbf{v}_i}) is height of above that parallelopiped. (We should really prove this too but we will rely a bit on “geometric intuition” here and below.)
From this formula, we see that and using induction on .
For we note that the height of has the same height above as .
Finally, the volume of is the volume of the unit cube in -dimensions which is . And if is singular, then it spans at most a -dimensional subspace and must have volume. ■
This corollary tells us that the determinant can also be viewed as a way to provide signed volumes in all dimensions. This is useful for multi-variable integration, for example, which is why you find determinants showing up in change of variable formulae for multi-variable integrals.