Quantum ergodicity, which expresses the semiclassical convergence of almost
all expectation values of observables in eigenstates of the quantum Hamilt
onian to the corresponding classical microcanonical average, is proven for
non-relativistic quantum particles with spin 1/2. It is shown that quantum
ergodicity holds, if a suitable combination of the classical translational
dynamics and the spin dynamics along the trajectories of the translational
motion is ergodic. AMS classification scheme numbers: 35P20, 81Q50, 58F11.