Linear Algebra/Determinants as Size Functions/Solutions

Solutions

edit
Problem 1

Find the volume of the region formed.

  1.  
  2.  
  3.  
Answer

For each, find the determinant and take the absolute value.

  1.  
  2.  
  3.  
This exercise is recommended for all readers.
Problem 2

Is

 

inside of the box formed by these three?

 
Answer

Solving

 

gives the unique solution  ,   and  . Because  , the vector is not in the box.

This exercise is recommended for all readers.
Problem 3

Find the volume of this region.

 

Answer

Move the parallelepiped to start at the origin, so that it becomes the box formed by

 

and now the absolute value of this determinant is easily computed as  .

 
This exercise is recommended for all readers.
Problem 4

Suppose that  . By what factor do these change volumes?

  1.  
  2.  
  3.  
Answer
  1.  
  2.  
  3.  
This exercise is recommended for all readers.
Problem 5

By what factor does each transformation change the size of boxes?

  1.  
  2.  
  3.  
Answer

Express each transformation with respect to the standard bases and find the determinant.

  1.  
  2.  
  3.  
Problem 6

What is the area of the image of the rectangle   under the action of this matrix?

 
Answer

The starting area is   and the matrix changes sizes by  . Thus the area of the image is  .

Problem 7

If   changes volumes by a factor of   and   changes volumes by a factor of   then by what factor will their composition changes volumes?

Answer

By a factor of  .

Problem 8

In what way does the definition of a box differ from the defintion of a span?

Answer

For a box we take a sequence of vectors (as described in the remark, the order in which the vectors are taken matters), while for a span we take a set of vectors. Also, for a box subset of   there must be   vectors; of course for a span there can be any number of vectors. Finally, for a box the coefficients  , ...,   are restricted to the interval  , while for a span the coefficients are free to range over all of  .

This exercise is recommended for all readers.
Problem 9

Why doesn't this picture contradict Theorem 1.5?

 

   
area is   determinant is   area is  
Answer

That picture is drawn to mislead. The picture on the left is not the box formed by two vectors. If we slide it to the origin then it becomes the box formed by this sequence.

 

Then the image under the action of the matrix is the box formed by this sequence.

 

which has an area of  .

This exercise is recommended for all readers.
Problem 10

Does  ?  ?

Answer

Yes to both. For instance, the first is  .

Problem 11
  1. Suppose that   and that  . Find  .
  2. Assume that  . Prove that  .
Answer
  1. If it is defined then it is  .
  2.  .
This exercise is recommended for all readers.
Problem 12

Let   be the matrix representing (with respect to the standard bases) the map that rotates plane vectors counterclockwise thru   radians. By what factor does   change sizes?

Answer

 

This exercise is recommended for all readers.
Problem 13

Must a transformation   that preserves areas also preserve lengths?

Answer

No, for instance the determinant of

 

is   so it preserves areas, but the vector   has length  .

This exercise is recommended for all readers.
Problem 14

What is the volume of a parallelepiped in   bounded by a linearly dependent set?

Answer

It is zero.

This exercise is recommended for all readers.
Problem 15

Find the area of the triangle in   with endpoints  ,  , and  . (Area, not volume. The triangle defines a plane— what is the area of the triangle in that plane?)

Answer

Two of the three sides of the triangle are formed by these vectors.

 

One way to find the area of this triangle is to produce a length-one vector orthogonal to these two. From these two relations

 

we get a system

 

with this solution set.

 

A solution of length one is this.

 

Thus the area of the triangle is the absolute value of this determinant.

 
This exercise is recommended for all readers.
Problem 16

An alternate proof of Theorem 1.5 uses the definition of determinant functions.

  1. Note that the vectors forming   make a linearly dependent set if and only if  , and check that the result holds in this case.
  2. For the   case, to show that   for all transformations, consider the function   given by  . Show that   has the first property of a determinant.
  3. Show that   has the remaining three properties of a determinant function.
  4. Conclude that  .
Answer
  1. Because the image of a linearly dependent set is linearly dependent, if the vectors forming   make a linearly dependent set, so that  , then the vectors forming   make a linearly dependent set, so that  , and in this case the equation holds.
  2. We must check that if   then  . We can do this by checking that pivoting first and then multiplying to get   gives the same result as multiplying first to get   and then pivoting (because the determinant   is unaffected by the pivot so we'll then have that   and hence that  ). This check runs: after adding   times row   of   to row   of  , the   entry is  , which is the   entry of  .
  3. For the second property, we need only check that swapping   and then multiplying to get   gives the same result as multiplying   by   first and then swapping (because, as the determinant   changes sign on the row swap, we'll then have  , and so  ). This ckeck runs just like the one for the first property. For the third property, we need only show that performing   and then computing   gives the same result as first computing   and then performing the scalar multiplication (as the determinant   is rescaled by  , we'll have   and so  ). Here too, the argument runs just as above. The fourth property, that if   is   then the result is  , is obvious.
  4. Determinant functions are unique, so  , and so  .
Problem 17

Give a non-identity matrix with the property that  . Show that if   then  . Does the converse hold?

Answer

Any permutation matrix has the property that the transpose of the matrix is its inverse.

For the implication, we know that  . Then  .

The converse does not hold; here is an example.

 
Problem 18

The algebraic property of determinants that factoring a scalar out of a single row will multiply the determinant by that scalar shows that where   is  , the determinant of   is   times the determinant of  . Explain this geometrically, that is, using Theorem 1.5,

Answer

Where the sides of the box are   times longer, the box has   times as many cubic units of volume.

This exercise is recommended for all readers.
Problem 19

Matrices   and   are said to be similar if there is a nonsingular matrix   such that   (we will study this relation in Chapter Five). Show that similar matrices have the same determinant.

Answer

If   then  .

Problem 20

We usually represent vectors in   with respect to the standard basis so vectors in the first quadrant have both coordinates positive.

            

Moving counterclockwise around the origin, we cycle thru four regions:

 

Using this basis

            

gives the same counterclockwise cycle. We say these two bases have the same orientation.

  1. Why do they give the same cycle?
  2. What other configurations of unit vectors on the axes give the same cycle?
  3. Find the determinants of the matrices formed from those (ordered) bases.
  4. What other counterclockwise cycles are possible, and what are the associated determinants?
  5. What happens in  ?
  6. What happens in  ?

A fascinating general-audience discussion of orientations is in (Gardner 1990).

Answer
  1. The new basis is the old basis rotated by  .
  2.  ,  
  3. In each case the determinant is   (these bases are said to have positive orientation).
  4. Because only one sign can change at a time, the only other cycle possible is
     
    Here each associated determinant is   (such bases are said to have a negative orientation).
  5. There is one positively oriented basis   and one negatively oriented basis  .
  6. There are   bases (  half-axis choices are possible for the first unit vector,   for the second, and   for the last). Half are positively oriented like the standard basis on the left below, and half are negatively oriented like the one on the right

                        

    In   positive orientation is sometimes called "right hand orientation" because if a person's right hand is placed with the fingers curling from   to   then the thumb will point with  .

Problem 21

This question uses material from the optional Determinant Functions Exist subsection. Prove Theorem 1.5 by using the permutation expansion formula for the determinant.

Answer

We will compare   with   to show that the second differs from the first by a factor of  . We represent the  's with respect to the standard bases

 

and then we represent the map application with matrix-vector multiplication

 

where   is column   of  . Then   equals  .

As in the derivation of the permutation expansion formula, we apply multilinearity, first splitting along the sum in the first argument

 

and then splitting each of those   summands along the sums in the second arguments, etc. We end with, as in the derivation of the permutation expansion,   summand determinants, each of the form  . Factor out each of the  's  .

As in the permutation expansion derivation, whenever two of the indices in  , ...,   are equal then the determinant has two equal arguments, and evaluates to  . So we need only consider the cases where  , ...,   form a permutation of the numbers  , ...,  . We thus have

 

Swap the columns in   to get the matrix   back, which changes the sign by a factor of  , and then factor out the determinant of  .

 

As in the proof that the determinant of a matrix equals the determinant of its transpose, we commute the  's so they are listed by ascending row number instead of by ascending column number (and we substitute   for  ).

 
This exercise is recommended for all readers.
Problem 22
  1. Show that this gives the equation of a line in   thru   and  .
     
  2. (Peterson 1955) Prove that the area of a triangle with vertices  ,  , and   is
     
  3. (Bittinger 1973) Prove that the area of a triangle with vertices at  ,  , and   whose coordinates are integers has an area of   or   for some positive integer  .
Answer
  1. An algebraic check is easy.
     
    simplifies to the familiar form
     
    (the   case is easily handled). For geometric insight, this picture shows that the box formed by the three vectors. Note that all three vectors end in the   plane. Below the two vectors on the right is the line through   and  .

     

    The box will have a nonzero volume unless the triangle formed by the ends of the three is degenerate. That only happens (assuming that  ) if   lies on the line through the other two.

  2. This is how the answer was given in the cited source. The altitude through   of a triangle with vertices     and   is found in the usual way from the normal form of the above:
     
    Another step shows the area of the triangle to be
     
    This exposition reveals the modus operandi more clearly than the usual proof of showing a collection of terms to be identitical with the determinant.
  3. This is how the answer was given in the cited source. Let
     
    then the area of the triangle is  . Now if the coordinates are all integers, then   is an integer.

References

edit
  • Bittinger, Marvin (proposer) (1973), "Quickie 578", Mathematics Magazine, American Mathematical Society, 46 (5): 286, 296 {{citation}}: Unknown parameter |month= ignored (help).
  • Gardner, Martin (1990), The New Ambidextrous Univers, W. H. Freeman and Company {{citation}}: Unknown parameter |editition= ignored (help).
  • Peterson, G. M. (1955), "Area of a triangle", American Mathematical Monthly, American Mathematical Society, 62 (4): 249 {{citation}}: Unknown parameter |month= ignored (help).
  • Weston, J. D. (1959), "Volume in Vector Spaces", American Mathematical Monthly, American Mathematical Society, 66 (7): 575–577 {{citation}}: Unknown parameter |month= ignored (help).