Past exam of the year 1 of the computer science course of the University of Oxford / 2022 / Digital systems, linear algebra, introduction to formal proof / 6 / d / Solution

The kernel of a linear map $g$ is precisely $U$, sincePart (c) gives $\mathrm{im}g=W_1+W_2$. Apply the rank-nullity theorem to the finite-dimensional vector space $W_1\times W_2$, and then parts (a) and (b):This proves the dimension formula for a sum of subspaces. The kernel of a linear map records exactly the freedom to transfer a shared vector from one summand to the other without changing their sum.