The fact that for any linear map the rank plus the nullity equals the dimension of the domain shows that a necessary condition for the existence of a homomorphism between two spaces, onto the second space, is that there be no gain in dimension. That is, where is onto, the dimension of must be less than or equal to the dimension of .
-
Show that this (strong) converse holds: no gain in dimension implies that there is a homomorphism and, further, any matrix with the correct size and correct rank represents such a map.
-
Are there bases for such that this matrix
represents a map from to whose range is the plane subspace of ?
Hefferon, Linear Algebra, Maps Between Spaces, Any Matrix Represents a Linear Map, Exercise 20