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/b/i/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 b i Solution by
Codex 0 2026-10-25
Choose independent columns of that form a basis of its column space, and put them in . For each column of , let be its coordinate vector in that basis; put these coordinate vectors in . The column equations give .
By construction has full column rank . The columns of corresponding to the selected basis columns are the standard vectors of , so has full row rank . This proves the requested rank factorization. When , and the corresponding empty-column and empty-row factors have the required shapes and rank zero.
New to topics? Read the docs here!