For a system consists of two particle, says two spins, the wavefunction for that system is a direct product of each individual states. And the corresponding operator is also a direct product of each individual operators. I know this is a procedure to construct such a space, but can anybody told me why in this way? Why direct product? and how do we know the new space is still a Hilbert space?