Linear Algebra/Determinants as Size Functions/Solutions
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.
- 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?
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
- Suppose that and that . Find .
- Assume that . Prove that .
- Answer
- If it is defined then it is .
- .
- 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.
- Note that the vectors forming make a linearly dependent set if and only if , and check that the result holds in this case.
- For the case, to show that for all transformations, consider the function given by . Show that has the first property of a determinant.
- Show that has the remaining three properties of a determinant function.
- Conclude that .
- Answer
- 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.
- 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 .
- 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.
- 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.
- Why do they give the same cycle?
- What other configurations of unit vectors on the axes give the same cycle?
- Find the determinants of the matrices formed from those (ordered) bases.
- What other counterclockwise cycles are possible, and what are the associated determinants?
- What happens in ?
- What happens in ?
A fascinating general-audience discussion of orientations is in (Gardner 1990).
- Answer
- The new basis is the old basis rotated by .
- ,
- In each case the determinant is (these bases are said to have positive orientation).
- Because only one sign can change at a time, the only other
cycle possible is
- There is one positively oriented basis and one negatively oriented basis .
- 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
- Show that this gives
the equation of a line in thru
and .
- (Peterson 1955)
Prove that the area of a triangle with vertices ,
, and is
- (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
- An algebraic check is easy.
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.
- 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:
- This is how the answer was given in the cited source.
Let
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).