The Unapologetic Mathematician

Mathematics for the interested outsider

Parallelepipeds and Volumes I

And we’re back with more of what Mr. Martinez of Harvard’s Medical School assures me is onanism of the highest caliber. I’m sure he, too, blames me for not curing cancer.

Coming up in our study of calculus in higher dimensions we’ll need to understand parallelepipeds, and in particular their volumes. First of all, what is a parallelepiped? Or, more specifically, what is a k-dimensional parallelepiped in n-dimensional space? It’s a collection of points in space that we can describe as follows. Take a point p and k vectors \left\{v_i\right\}_{i=1}^k in \mathbb{R}^n. The parallelepiped is the collection of points reachable by moving from p by some fraction of each of the vectors v_i. That is, we pick k values t^i, each in the interval \left[0,1\right], and use them to specify the point p+t^iv_i. The collection of all such points is the parallelepiped with corner p and sides v_i.

One possible objection is that these sides may not be linearly independent. If the sides are linearly independent, then they span a k-dimensional subspace of the ambient space, justifying our calling it k-dimensional. But if they’re not, then the subspace they span has a lower dimension. We’ll deal with this by calling such a parallelepiped “degenerate”, and the nice ones with linearly independent sides “nondegenerate”. Trust me, things will be more elegant in the long run if we just deal with them both on the same footing.

Now we want to consider the volume of a parallelepiped. The first observation is that the volume doesn’t depend on the corner point p. Indeed, we should be able to slide the corner around to any point in space as long as we bring the same displacement vectors along with us. So the volume should be a function only of the sides.

The second observation is that as a function of the sides, the volume function should commute with scalar multiplication in each variable separately. That is, if we multiply v_i by a non-negative factor of \lambda, then we multiply the whole volume of the parallelepiped by \lambda as well. But what about negative scaling factors? What if we reflect the side (and thus the whole parallelepiped) to point the other way? One answer might be that we get the same volume, but it’s going to be easier (and again more elegant) if we say that the new parallelepiped has the negative of the original one’s volume.

Negative volume? What could that mean? Well, we’re going to move away from the usual notion of volume just a little. Instead, we’re going to think of “signed” volume, which includes the possibility of being positive or negative. By itself, this sign will be less than clear at first, but we’ll get a better understanding as we go. As a first step we’ll say that two parallelepipeds related by a reflection have opposite signs. This won’t only cover the above behavior under scaling sides, but also what happens when we exchange the order of two sides. For example, the parallelogram with sides v_1=a and v_2=b and the parallelogram with sides v_1=b and v_2=a have the same areas with opposite signs. Similarly, swapping the order of two sides in a given parallelepiped will flip its sign.

The third observation is that the volume function should be additive in each variable. One way to see this is that the k-dimensional volume of the parallelepiped with sides v_1 through v_k should be the product of the k-1-dimensional volume of the parallelepiped with sides v_1 through v_{k-1} and the length of the component of v_k perpendicular to all the other sides, and this length is a linear function of v_k. Since there’s nothing special here about the last side, we could repeat the argument with the other sides.

The other way to see this fact is to consider the following diagram, helpfully supplied by Kate from over at f(t):

Parallelograms

The side of one parallelogram is the (vector) sum of the sides of the other two, and we can see that the area of the one parallelogram is the sum of the areas of the other two. This justifies the assertion that for parallelograms in the plane, the area is additive as a function of one side (and, similarly, of the other). Similar diagrams should be apparent to justify the assertion for higher-dimensional parallelepipeds in higher-dimensional spaces.

Putting all these together, we find that the k-dimensional volume of a parallelepiped with k sides is an alternating multilinear functional, with the k sides as variables, and so it lives somewhere in the exterior algebra \Lambda(V^*). We’ll have to work out which particular functional gives us a good notion of volume as we continue.

About these ads

November 2, 2009 - Posted by | Analytic Geometry, Geometry

5 Comments »

  1. [...] and Volumes II Yesterday we established that the -dimensional volume of a parallelepiped with sides should be an [...]

    Pingback by Parallelepipeds and Volumes II « The Unapologetic Mathematician | November 3, 2009 | Reply

  2. [...] An Example of a Parallelogram Today I want to run through an example of how we use our new tools to read geometric information out of a parallelogram. [...]

    Pingback by An Example of a Parallelogram « The Unapologetic Mathematician | November 5, 2009 | Reply

  3. [...] Now that we’ve used exterior algebras to come to terms with parallelepipeds and their transformations, let’s come back to apply these ideas to the [...]

    Pingback by The Jacobian « The Unapologetic Mathematician | November 11, 2009 | Reply

  4. [...] to come back down again, covering the same region twice with opposite signs. This is related to the signed volumes we talked about, where (in one dimension) an interval can be traversed (integrated over) from left [...]

    Pingback by Change of Variables in Multiple Integrals I « The Unapologetic Mathematician | January 5, 2010 | Reply

  5. [...] because of this correspondence. In fact, it’s not hard to see that they’re related to signed volumes. This is the starting point from which all integration on manifolds emerges, and everything will [...]

    Pingback by Integration on the Standard Cube « The Unapologetic Mathematician | August 2, 2011 | Reply


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Follow

Get every new post delivered to your Inbox.

Join 392 other followers

%d bloggers like this: