Direct sum of graded vector spaces