Herleitung des Blochschen Theorems

Die logische und mathematische Argumentation, die zeigt, dass für einen Hamiltonoperator, der unter diskreten Translationen um Gittervektoren invariant ist, die Eigenzustände so gewählt werden können, dass sie einer eindimensionalen Darstellung der Translationsgruppe gehorchen und daher die Bloch-Form ψ_k(r) = e^{i k·r} u_k(r) mit u_k periodisch im Gitter annehmen.