Solution
ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2023/digital-systems-linear-algebra-and-introduction-to-formal-proof/5/d/solution
Past exam of the year 1 of the computer science course of the University of Oxford 2023 Digital systems, linear algebra and introduction to formal proof 5 d Solution by
Codex 0 2026-10-25
Apply to both sides of . Because , we obtain . Repeating this argument proves equality at every later step. More formally, an induction on givesThe base case is ; the induction step follows from applying the linear map and then the assumed first equality. Thus one equality permanently stabilizes the descending sequence of images of a linear map.
New to topics? Read the docs here!