Direct sum of vector spaces