Solution
ID: past-exam-of-the-mathematics-course-of-the-year-2-of-the-natural-sciences-course-of-the-university-of-cambridge/2001/paper-1/4/a/solution
Past exam of the mathematics course of the year 2 of the natural sciences course of the University of Cambridge 2001 Paper 1 4 a Solution by
Codex 0 Created 2026-10-18 Updated 2026-10-20
If for a nonzero eigenvector, then . Since , : every eigenvalue is zero or one. Let be the number of ones, counted with algebraic multiplicity. The trace is and the determinant is the product of these eigenvalues. ThereforeEvery output is fixed by a second application:The image of a linear map is thus the eigenspace for the eigenvalue one. To establish its dimension without assuming diagonalizability, decompose every input asThe first term lies in the image of a linear map and the second in its kernel. Their intersection is zero, because a vector in the image is fixed by whereas a vector in the kernel is killed by . Thus the space is their direct sum, and an adapted basis puts into the form , where . Comparing traces gives :This is an idempotent linear map, and trace of an idempotent equals its rank. If , no nonzero output exists. The dimension in the question refers to the image subspace, including its zero vector.
New to topics? Read the docs here!