direct sum of vector spaces