Parallelepipeds and Volumes II
The universal property of spaces of antisymmetric tensors says that any such functional corresponds to a unique linear functional . That is, we take the parallelepiped with sides through and represent it by the antisymmetric tensor . Notice, in particular, that if the parallelepiped is degenerate then this tensor is , as we hoped. Then volume is some linear functional that takes in such an antisymmetric tensor and spits out a real number. But which linear functional?
I’ll start by answering this question for -dimensional parallelepipeds in -dimensional space. Such a parallelepiped is represented by an antisymmetric tensor with the sides as its tensorands. But we’ve calculated the dimension of the space of such tensors: . That is, once we represent these parallelepipeds by antisymmetric tensors there’s only one parameter left to distinguish them: their volume. So if we specify the volume of one parallelepiped linearity will take care of all the others.
There’s one parallelepiped whose volume we know already. The unit -cube must have unit volume. So, to this end, pick an orthonormal basis . A parallelepiped with these sides corresponds to the antisymmetric tensor , and the volume functional must send this to . But be careful! The volume doesn’t depend just on the choice of basis, but on the order of the basis elements. Swap two of the basis elements and we should swap the sign of the volume. So we’ve got two different choices of volume functional here, which differ exactly by a sign. We call these two choices “orientations” on our vector space.
This is actually not as esoteric as it may seem. Almost all introductions to vectors — from multivariable calculus to vector-based physics — talk about “left-handed” and “right-handed” coordinate systems. These differ by a reflection, which would change the signs of all parallelepipeds. So we must choose one or the other, and choose which unit cube will have volume and which will have volume . The isomorphism from to then gives us a “volume form” , which will give us the volume of a parallelepiped represented by a given top-degree wedge.
Once we’ve made that choice, what about general parallelepipeds? If we have sides — written in components as — we represent the parallelepiped by the wedge . This is the image of our unit cube under the transformation sending to , and so we find
The volume of the parallelepiped is the determinant of this transformation.
Incidentally, this gives a geometric meaning to the special orthogonal group . Orthogonal transformations send orthonormal bases to other orthonormal bases, which will send unit cubes to other unit cubes. But the determinant of an orthogonal transformation may be either or . Transformations of the first kind make up the special orthogonal group, while transformations of the second kind send “positive” unit cubes to “negative” ones, and vice-versa. That is, they involve some sort of reflection, swapping the choice of orientation we made above. Special orthogonal transformations are those which preserve not only lengths and angles, but the orientation of the space. More generally, there is a homomorphism sending a transformation to the sign of its determinant. Transformations with positive determinant are said to be “orientation-preserving”, while those with negative determinant are said to be “orientation-reversing”.