Print this page and work through it on paper. Revealed answers are never printed, so you can check one question and still print a clean sheet.

  1. Show the solution to question 1

    (a) Multiply and compare.

    so is an eigenvector with eigenvalue .

    A multiple of with first entry would be , not ; so is not an eigenvector.

    so is an eigenvector with eigenvalue .

    (b) Count. Eigenvectors belonging to distinct eigenvalues are linearly independent, and contains at most independent vectors, so a matrix has at most distinct eigenvalues. We have found two, and , so there are no others.

    The same count settles the eigenspaces. A basis of together with a basis of is an independent set (again by the independence theorem, applied eigenvalue by eigenvalue), so . Each dimension is at least , so each is exactly : and .

    Checks: ✓ and ✓.

    (c) Transport the eigenpairs. If then (legitimate because is not an eigenvalue, so is invertible) and . Hence and are eigenpairs of , and and are eigenpairs of .

    For use the polynomial rule with : with . So has a nontrivial null space and is singular. Equivalently, .

    Sanity check by direct computation: , so , whose rows are equal ✓.

  2. Show the solution to question 2

    (a) Row reduce .

    subtracting row 1 from row 2 and twice row 1 from row 3. The system collapses to the single equation , i.e. with free:

    There are nonzero solutions, so is an eigenvalue; has basis and geometric multiplicity — the eigenspace is a plane.

    Checks: ✓ and ✓.

    (b) Multiply.

    so is an eigenvector with eigenvalue .

    (c) Count with the trace. A matrix has exactly three eigenvalues counted with algebraic multiplicity. The algebraic multiplicity of is at least its geometric multiplicity , and is a further eigenvalue, so the three slots are already full: the list is .

    Check: ✓. (Had the algebraic multiplicity of been , the trace would have been , so the trace alone rules that out.)

    The determinant is the product of the eigenvalues, . Since is not an eigenvalue, is invertible.

    Sanity check by cofactors along the first row: ✓.

  3. Show the solution to question 3

    (a) Expand along the second row, which has two zeros:

    Since ,

    Eigenvalues: with algebraic multiplicity , and with algebraic multiplicity .

    Checks: ✓. By cofactors along the first row, ✓.

    (b) Row reduce each . For :

    so with and free. A basis of is ; geometric multiplicity .

    For :

    so and . A basis of is ; geometric multiplicity .

    Checks: ✓, ✓, ✓. Both geometric multiplicities equal the algebraic ones, as they must for a symmetric matrix.

    (c) Expand and apply Cayley–Hamilton.

    The coefficient is and the constant term is ; both were predictable from the outer-coefficient formula, and both agree with (a) ✓.

    Cayley–Hamilton says :

    Hence . Now

    so

    Check the first row of : against the columns gives , , and , i.e. ✓. Note also that has eigenvalues , whose sum equals ✓.

  4. Show the solution to question 4

    (a) Evaluate at . By definition , so .

    By the characteristic-equation theorem, is an eigenvalue of if and only if , that is, if and only if . And is exactly the statement that is singular.

    (Directly from the definition: is an eigenvalue iff for some , iff , iff is singular. Either route is a proof.)

    (b) Write out the characteristic polynomial.

    By the characteristic-equation theorem the eigenvalues are precisely the roots of this quadratic, which the quadratic formula gives as

    The coefficients are real, so the roots are real if and only if the discriminant is non-negative, and they coincide if and only if (the then contributes nothing). Both roots are real exactly when , and equal exactly when .

    (c) Apply (b). If then , so regardless of the trace. By (b) the eigenvalues are real and distinct. Their product is the constant term, , and a product of two real numbers is negative only when they have opposite signs.

    Two distinct eigenvalues on a matrix means distinct eigenvalues for , so is diagonalizable by the corollary that distinct eigenvalues suffice.

    Example: has , and indeed : eigenvalues and , one of each sign. (Any reflection , eigenvalues , is another.)

  5. Show the solution to question 5

    (a) Two characteristic polynomials. For , expand along the third row, which has two zeros:

    For , expand along the first row:

    The last two brackets are and , which cancel, leaving , the same polynomial.

    Checks: both traces are ✓; and , both equal to ✓. Each matrix has eigenvalue with algebraic multiplicity and eigenvalue with algebraic multiplicity .

    (b) Eigenspaces. Matrix , :

    so and : , geometric multiplicity . Matrix , : ; row 2 gives , then row 1 gives , so . Check: ✓.

    By the diagonalizability criterion — a matrix whose characteristic polynomial factors completely is diagonalizable iff every geometric multiplicity equals the algebraic one — is defective: it supplies only independent eigenvectors in .

    Matrix , :

    so with free: , geometric multiplicity . Matrix , : ; rows 1 and 2 give and , and row 3 is then automatically ✓. So , geometric multiplicity .

    Both multiplicities match, so is diagonalizable.

    (c) Diagonalize . Columns of are the eigenvectors, and carries the matching eigenvalues in the same order:

    is invertible because its columns are independent (). Verify one column at a time: ✓; ✓; ✓. Hence .

    (d) Not similar. Suppose for some invertible . Then , and the map is a bijection from onto : indeed iff . Linear bijections preserve dimension, so the geometric multiplicity of would be the same for both matrices. It is for and for , so no such exists.

    Equivalently: similarity preserves diagonalizability (if and then ), and is diagonalizable while is not. The characteristic polynomial is a similarity invariant, but it is not a complete one.

  6. Show the solution to question 6

    (a) Eigenpairs. and , so : eigenvalues and (check: , ✓).

    For : gives , so . For : gives , so .

    Checks: ✓ and ✓.

    (b) The eigenbasis. , so the first column of is . , so the second column is . Hence

    No inversion was needed: the image of an eigenvector is a multiple of itself, and its coordinate vector is read off at sight.

    (c) A basis that is only half an eigenbasis. From the definition: . Solve : the second entry gives , then , so the first column is . , so the second column is :

    As : , , and

    It is lower triangular because the second basis vector is an eigenvector: maps into itself, so the second column has a zero in the first slot. The first basis vector is not an eigenvector, so its column is full. The diagonal entries are the eigenvalues, as they must be for a triangular matrix.

    Invariants: ✓ and ✓, as similar matrices share both.

    (d) Round trip through the eigenbasis. Solve : the equations are and ; subtracting, , so and . Thus .

    Apply the diagonal matrix: .

    Convert back: .

    Directly: ✓.

  7. Show the solution to question 7

    (a) Eigenvalues. and , so

    Checks: ✓ and ✓. The modulus is and the argument of , which lies in the first quadrant, is (about ).

    (b) Eigenvector and real canonical form. Take . Then

    The first row says , i.e. . Choosing gives . Second row: ✓, as it must be, since is singular.

    Split into real and imaginary parts: and . With for , ,

    is invertible (). Verify :

    Hence .

    (c) Geometry and stability. In the coordinate system with axes and , the map acts as with , : a counterclockwise rotation by followed by a stretch by . Areas are multiplied by ✓. Every nonzero trajectory of itself spirals outward.

    The eigenvalues of are , of modulus . The origin is an attractor exactly when every eigenvalue has modulus less than :

    At the modulus is exactly : trajectories neither grow nor decay but travel forever around a closed ellipse (a circle in the -coordinates), the origin being a centre. For , which includes , the origin is a repeller and trajectories spiral outward. Note that the sign of never matters: a negative adds a half-turn to each step but leaves the modulus, and hence the classification, unchanged.

  8. Show the solution to question 8

    (a) The companion matrix.

    , , so : eigenvalues and , distinct, so is diagonalizable. For either eigenvalue, the second row of reads , so works: and .

    Checks: ✓ and ✓.

    So , , and since ,

    (b) Powers. with :

    which multiplies out to

    Check at : ✓. Check the trace at general : , the sum of the eigenvalues of ✓.

    (c) Closed form. is the second entry of , i.e. the second row of applied to :

    (The same formula comes from expanding and reading off .)

    Checks: from the recurrence, and . From the formula, ✓ and ✓; also and ✓.

    Ratio: dividing numerator and denominator by ,

    because . The dominant eigenvalue is the limit, and the correction terms are of size , so the ratio converges geometrically at the rate per step — the power-method rate. The sign of makes the ratio alternate above and below : , , , .

  9. Show the solution to question 9

    (a) Eigenpairs and classification. and , so , and

    Check: and ✓. For , gives : . For , gives : . Checks: ✓, ✓.

    One eigenvalue exceeds in modulus and the other is below , so the origin is a saddle point: repelling along the line , attracting along the line .

    (b) Two trajectories. Solve : adding and subtracting the coordinates gives . By the eigenbasis solution formula,

    So , , .

    Check directly: ✓; and ✓.

    For : , , so and ; directly, ✓. This trajectory is the mirror image of the first in the line .

    (c) An invariant. Write with and . Then and — these are just the two eigenvalues acting on the eigen-coordinates and . Multiplying,

    So every trajectory stays on one level curve . For these are hyperbolas whose asymptotes are the eigenlines ; for the level set is the two eigenlines themselves. (The trajectories of (b) lie on and on : check ✓.) The invariant is exactly , which is preserved because one coefficient is doubled while the other is halved each step.

    (d) The sketch must show the following, each for a stated reason.

    The eigenline , drawn through the origin, with arrows pointing away from the origin in both directions: points on it are multiplied by each step.

    The eigenline , with arrows pointing toward the origin: points on it are halved each step. These two lines are the asymptotes of every other trajectory.

    The trajectory from : the marked points , , , , lying on the right branch of the hyperbola , moving up and to the right and hugging the line ever more closely from below. The gaps between consecutive points roughly double each step. The trajectory from is its mirror image on the upper branch of , approaching from above.

    One trajectory in each of the other two regions: e.g. from on the left branch of , escaping along toward the lower left, and from on the lower branch of , also escaping toward the lower left. In every region the motion is first inward (the term shrinks the -component) and then outward along (the term dominates).

    The only initial states that tend to the origin are those with , i.e. the points of the line . Every other trajectory has a nonzero term and escapes to infinity with slope tending to .

  10. Show the solution to question 10

    (a) The flaws.

    Step 2 is a non sequitur. A repeated eigenvalue does not decide anything; the diagonalizability criterion says a matrix is diagonalizable iff each geometric multiplicity equals the algebraic one, so the missing step is to compute . The identity matrix has the repeated eigenvalue and is diagonal already, so "repeated, therefore not diagonalizable" is false as a rule. The student's conclusion is right for this , but by luck, not by argument.

    Step 3 contradicts Step 2. Speaking of "the eigenbasis" assumes a basis of eigenvectors exists, which is exactly what diagonalizable means and exactly what Step 2 just denied.

    Step 3 misuses similarity. If were similar to then , so a matrix similar to is — and is visibly not . What is true is that and share the characteristic polynomial ; but a shared characteristic polynomial is a necessary condition for similarity, never a sufficient one. The claim is therefore false; already .

    (b) The correct diagnosis.

    has rank , so has dimension , while the algebraic multiplicity of is . Geometric multiplicity is strictly less than algebraic, so by the diagonalizability criterion is defective: there is no basis of consisting of eigenvectors, since every eigenvector lies on the single line .

    (c) Powers of a defective matrix. Let . By Cayley–Hamilton, , i.e. ; directly, ✓.

    Since and the matrices and commute, the binomial theorem applies, and every term containing or higher vanishes:

    Check at : , and directly ✓.

    At :

    Checks: the eigenvalues of are , so its trace should be ; indeed ✓. Its determinant should be ; indeed ✓. The off-diagonal entries are exactly what the student's is missing: the nilpotent part grows linearly in on top of the geometric growth.

  11. Show the solution to question 11

    (a) Eigenvalues. Let with . By the rule for polynomials in (eigenpairs of related matrices), for every polynomial . Take : then , so

    Since , the scalar must vanish: , so .

    (b) The two eigenspaces fill the space. By definition ; nothing to prove.

    For , first let , so ; then is in the column space of . Conversely let , say ; then , so . Hence . (Here and are being used for the null spaces and whether or not they are nonzero.)

    By the Rank–Nullity Theorem, .

    Now assemble a basis. Let be a basis of (, possibly ) and a basis of . The combined list has vectors, and it is independent: suppose

    Apply : each and each , so , forcing every by independence of the 's. The original relation then reads , forcing every likewise.

    So has linearly independent eigenvectors, and by the Diagonalization Theorem is diagonalizable: with containing ones and zeros.

    (This is the direct argument. Alternatively, (a) shows factors completely as , and the rank–nullity count shows the geometric multiplicities sum to , which is the diagonalizability criterion.)

    (c) Rank equals trace. By (b), is similar to , and similar matrices have the same trace (the characteristic polynomial, whose coefficient carries the trace, is a similarity invariant). Hence

    Equivalently: the trace is the sum of the eigenvalues with algebraic multiplicity, each eigenvalue is or , and the multiplicity of is because is diagonalizable.

    Example: has ✓. Its rank is (the two columns are equal) and its trace is ✓. Geometrically it is the orthogonal projection onto the line : is the line projected onto, and is the direction that is flattened.

  12. Show the solution to question 12

    (a) Eigenpairs by direct verification. Multiply:

    When the vector is nonzero, so is an eigenvalue with eigenvector ; and always, so is an eigenvalue with eigenvector . (If then and ; the eigenvalue is repeated with , and the statement still holds.) A matrix has exactly two eigenvalues with multiplicity, so this is the complete list.

    Checks: ✓ and ✓.

    The steady state is the eigenvector for scaled so that its entries sum to :

    (b) Convergence. Let be a probability vector. The entries of sum to and so do those of , so the entries of sum to : writing with gives , a multiple of the second eigenvector. Therefore, using and (the rule for an eigenpair),

    The second term tends to for every if and only if , i.e. , i.e.

    (If the term does not tend to whenever , i.e. whenever .) Since , the excluded cases are exactly and :

    : , nobody ever moves, every probability vector is a steady state, and for all . The steady state is not unique.

    : swaps the two states every step; has modulus , and alternates between and forever. The steady state exists but is approached by nothing except itself. In both cases is not regular: no power of or of the swap matrix has all entries positive, which is what the Perron–Frobenius theorem requires.

    Convergence is geometric with ratio , the modulus of the second eigenvalue — the smaller it is, the faster the chain forgets its starting point.

    (c) A concrete chain. With , :

    Check: ✓, and all entries of are positive, so is regular.

    With , , so

    Check at : , which is the first column of , i.e. ✓.

    The distance to is multiplied by exactly each step, so we need the smallest with . Now while , so . After five steps the chain is within of its initial gap: , about .

Full solutions sheet →