Direct sum of topological vector spaces