The rank-nullity theorem says that for a linear map with finite-dimensional domain,
The direct sum consists of pairs with componentwise vector-space operations. The canonical inclusions are
For subspaces , define
This is surjective, and
The First isomorphism theorem for vector spaces therefore gives
Row reduction of the matrices whose columns are the displayed spanning vectors gives
Row-reducing the matrix formed from all six columns gives
The dimension formula for a sum of subspaces now yields

Articles by others on the same topic (0)

There are currently no matching articles.