Direct sum of Hilbert spaces