## Parallelepipeds and Volumes III

So, why bother with this orientation stuff, anyway? We’ve got an inner product on spaces of antisymmetric tensors, and that should give us a concept of length. Why can’t we just calculate the size of a parallelepiped by sticking it into this bilinear form twice?

Well, let’s see what happens. Given a -dimensional parallelepiped with sides through , we represent the parallelepiped by the wedge . Then we might try defining the volume by using the renormalized inner product

Let’s expand one copy of the wedge out in terms of our basis of wedges of basis vectors

where the multi-index runs over all increasing -tuples of indices . But we already know that , and so this is squared-volume is the sum of the squares of these components, just like we’re familiar with. Then we can define the -volume of the parallelepiped as the square root of this sum.

Let’s look specifically at what happens for top-dimensional parallelepipeds, where . Then we only have one possible multi-index , with coefficient

and so our formula reads

So we get the magnitude of the volume without having to worry about choosing an orientation. Why even bother?

Because we already *do* care about orientation. Let’s go all the way back to one-dimensional parallelepipeds, which are just described by vectors. A vector doesn’t just describe a certain length, it describes a length *along a certain line in space*. And it doesn’t just describe a length along that line, it describes a length *in a certain direction* along that line. A vector picks out three things:

- A one-dimensional subspace of the ambient space .
- An orientation of the subspace .
- A volume (length) of this oriented subspace.

And just like vectors, nondegenerate -dimensional parallelepipeds pick out three things

- A -dimensional subspace of the ambient space .
- An orientation of the subspace .
- A -dimensional volume of this oriented subspace.

The difference is that when we get up to the top dimension the space *itself* can have its own orientation, which may or may not agree with the orientation induced by the parallelepiped. We don’t always care about this disagreement, and we can just take the absolute value to get rid of a sign if we don’t care, but it might come in handy.