The dimension of a direct sum of subspaces is the sum of the dimensions of the subspaces.

Created over 8 years ago