# Is the Hilbert space $S$ of states for a particle the tensor product of spaces generated by each observable eigenvectors?

There is a nice answer to this question by @joshphysics but it applies to multiple quantum systems combination. I was wondering whether this could also be applied to a single quantum system? For example, the Hilbert space $$S$$ of states for a single particle (the space abstraction including its spin, position, momentum, charge, energy, ...) is the tensor product of the Hilbert spaces generated by the basis (eigen-) vectors of each observable considered in the $$S$$ space.

• I don't understand what you mean. The basis vectors of any observable always span the entire space - that's what being a basis means! Can you be a bit more explicit/mathematical about what you're imagining here? – ACuriousMind Apr 4 at 10:51
• @ACuriousMind Let's take a basic example. A particle with only 2 observables: its spin and its 3D-position. Any state that is generated with the spin operator (let's use the x component of the spin to simplify things here) can be expressed as a linear combination of 2 x-spin basis vectors, which happen to be normalized eigenvectors of the x-spin operator. But what you are saying is that ANY state, including those with more info than just spin (e.g.position info), can be expressed in the same basis, using only 2 vectors with 2 complex components ? Please see my next comment below – Carla Apr 4 at 13:41
• My initial question was asking if it was not rather the tensor product of the space generated by the spin eigenvectors by the space generated by the position eigenvectors, which would then become the Hilbert space of all states owning ALL the information about the particle. – Carla Apr 4 at 13:41
• No, I'm not saying what you think I'm saying. You're simply misusing terminology - the basis of common eigenvectors $\lvert x, s_x\rangle$ of position and spin in x-direction are all eigenvectors of $\hat{x}$ and $\hat{S}_x$. There is no "subset" here of eigenvectors of $S_x$. I think I understand why you are trying to say, though - for that Valter's answer is correct. – ACuriousMind Apr 4 at 13:46
• @ACuriousMind I agree that "subset" is incorrect and misleading. I changed the tile of this post accordingly. Thank you for your comment – Carla Apr 5 at 8:10

• OK. Thanks. So to make sure I understand (and validate your answer), in that particular case, the $\lvert x, s_x\rangle$ are elements of the tensor product, since x and Sx commute, correct? – Carla Apr 4 at 14:16