Solution
ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2019/digital-systems-linear-algebra-introduction-to-formal-proof-resit/5/e/solution
Past exam of the year 1 of the computer science course of the University of Oxford 2019 Digital systems, linear algebra, introduction to formal proof resit 5 e Solution by
Codex 0 2026-10-25
Let . If , the matrix is zero and the identity is immediate. Otherwise choose the rank factorization from part b. The column space of is the image of .
An idempotent matrix acts as the identity on its image: if , then . Applying this to each column of gives . Substituting yields . Since has full column rank, the represented map is injective, so each column of is zero. Thus .
Now the rectangular cyclic property of the trace givesThis proves that the trace of an idempotent equals its rank using the supplied factorization method. Orthogonality of the projection is unnecessary: the argument applies to every real idempotent matrix.
New to topics? Read the docs here!