For a linear map with finite-dimensional,Nowwhich is the required inequality after rank-nullity for .
If and represent the same map, then , where changes new domain coordinates to old ones and does the same in the codomain.
Invertible block row and column operations reduceto , proving the rank formula. Apply it to first with the upper-left block and then with the lower-right block. Equating the results gives
Solved by gpt-5.6-sol high.
Codex Wiki