If we take two electron system of non – interacting (hypothetical, not found in nature) electrons, than we can define Hartree product as: $$ \Psi(x_1,x_2) = \psi_1(x_1) \psi_2(x_2) $$
Since electrons don't interact we can write Schrödinger equation for each of them separately: $$ H_1\psi_1(x_1) = E_1\psi_1(x_1) $$ $$ H_2\psi_2(x_2) = E_2\psi_2(x_2) $$
Also, because electrons don't interact, both Hamiltonian and the energy of the system is the sum of Hamiltonians and energies for each electron: $$ H = H_1 + H_2 $$ $$ E = E_1 + E_2 $$
Schrödinger equation for the system is: $$ H\Psi = E\Psi $$
Plugging previous equations into the left hand side of equation and assuming that Hartree product is the solution to Schrödinger equation of the system, we get: $$ (H_1 + H_2)\psi_1(x_1)\psi_2(x_2) = E\psi_1(x_1)\psi_2(x_2) $$
Taking into account that both Hamiltonian operators are one-electron and linear, we can pull $ \psi_2(x_2) $ out of $ H_1 $ and $ \psi_1(x_1) $ out of $ H_2 $ which yields: $$ \psi_2(x_2)H_1\psi_1(x_1) + \psi_1(x_1)H_2\psi_2(x_2) = E\psi_1(x_1)\psi_2(x_2) $$
Taking into account Schrödinger equation for each of electrons separately: $$ \psi_2(x_2)E_1\psi_1(x_1) + \psi_1(x_1)E_2\psi_2(x_2) $$
Hartree product can be factored which gives: $$ \psi_2(x_2)\psi_1(x_1) (E_1 + E_2) = E\psi_1(x_1)\psi_2(x_2) $$
Taking into account that for non - interacting electrons, energy of the system is the sum of energies of each electron, we proved that Hartree product is the exact wavefunction for the system of non - interacting electrons since both sides of the last equation are equal.
In more general case we can write wavefunction for the system of $N$ non – interacting electrons as: $$ \Psi(x_1,x_2,...,x_N) = \prod_{n=1}^N \psi_n(x_n) $$
Wavefunction of the system isn't antisymmetric to electron exchange which means that in such a hypotethical system of non – interacting electrons it is possible to distinguish between them (it is known which electron is in which orbital).
I don't understand how is that possible since, according to my understanding, electron indistinguishability is a consequence of them being quantum particles which means that they lack exact position prior to measurement.
What does such a fact have to do with electron interaction since previous result shows that if interactions don't exist, we can suddenly distinguish between them?
If we measure positions of electrons in such a system, we should be able to tell which electron is which (which electron is in which orbital), but how is that possible if we don't know where both of electrons will be before the measurement is done?