direct sum of Hilbert spaces