Linear Algebra/Determinants as Size Functions/Solutions

From Wikibooks, open books for an open world
< Linear Algebra‎ | Determinants as Size Functions
Jump to navigation Jump to search

Solutions[edit]

Problem 1

Find the volume of the region formed.

Answer

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

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.

Linalg parallelogram problem 3.png

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?

Answer
This exercise is recommended for all readers.
Problem 5

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

Answer

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

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?

Linalg parallelogram problem 9 1.png

Linalg parallelogram problem 9 2.png
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.

Linalg basis orientation 1.png         

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

Using this basis

         Linalg basis orientation 2.png

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

    Linalg basis orientation 3d 1.png                  Linalg basis orientation 3d 2.png

    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 .

    Linalg parallelepiped problem 22.png

    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) (Jan. 1973), "Quickie 578", Mathematics Magazine (American Mathematical Society) 46 (5): 286,296 .
  • Gardner, Martin (1990), The New Ambidextrous Univers, W. H. Freeman and Company .
  • Peterson, G. M. (Apr. 1955), "Area of a triangle", American Mathematical Monthly (American Mathematical Society) 62 (4): 249 .
  • Weston, J. D. (Aug./Sept. 1959), "Volume in Vector Spaces", American Mathematical Monthly (American Mathematical Society) 66 (7): 575-577 .