Born-Oppenheimer Approximation equivalent to Tensor-product ? If you have a wave function $\Psi$ of a system consisting of an electron and the vibrational modes of the crystal, THEN we represent the wavefunction $\Psi%$ to be in the Hilbert Space formed by the tensor product of the Hilbert spaces corresponding to the electron with the Hilbert Space corresponding to the vibrational modes if and only if there isn't an instantaneous interaction between the electrons and the vibrational modes; First of all, this is true right? 
The Born-Oppenheimer Approximation technique tells us that we can write the wavefunction $\Psi$ as a product wavefunction- as a product of the electronic ($\phi$) and vibrational modes' ($\zeta$) wavefunctions. We write $\Psi$= $\phi \zeta$ ?  
Now my main question:
Is the Born-Oppenheimer Approximation technique equivalent to saying that the Hilbert Space representation of the space that  $\Psi$ is situated in is the tensor product space of the electronic and vibrational mode wavefunctions?
 A: Whenever two quantum systems are united, the Hilbert space of the wavefunctions of the resulting system is always the tensor product of the Hilbert spaces of the wavefunctions of the source systems.
This does not mean that the total wavefunction is always a product of two wavefunctions from the source spaces. In general case it looks like this:
$$
\Psi = \sum_{ij} \phi_i \zeta_j \qquad (1)
$$
If the systems do not interact then the total Hamiltonian is the sum of the Hamiltonians of the subsystems:
$$
\hat{H}_\Psi = \hat{H}_\phi + \hat{H}_\zeta
$$
In this case one can prove that any product of the eigenstates of the subsystems is an eigenstate of the whole system. But even in this case the wavefunction can have the form (1) because this function can describe any state of the system not only a state with determined energy (which is an eigenstate of the Hamiltonian).
In the Born-Oppenheimer approximation the interaction of the subsystems is substantial. The basis consisting of the eigenstates (of the Hamiltonian) of the electron system depends on the state of the crystal lattice. This does not mean though that the Hilbert space of the electron wavefunctions changes. In will neither lose any functions nor get new ones.
So the answers to your questions are:


*

*The total wavefunction is not obliged to be the product $\Psi = \phi\zeta$ even for independent subsystems.

*The Hilbert space of the total wavefunctions is always the tensor product of the ones of the subsytems.


These questions are not equivalent.
