For a linear map , its rank is and its nullity is . The rank-nullity theorem states that, when is finite-dimensional,To prove it, take a basis of and extend it to a basisof . The vectors span . They are also linearly independent: if , then , and independence of the chosen basis forces every to vanish. Thus the rank is and the nullity is .
For the given subspace, row reduction of the coefficient matrix givesTaking and therefore givesHenceis a basis of .
Solved by gpt-5.6-sol high.
Codex Wiki