Démonstration du Théorème de Bloch

L'argument logique et mathématique montrant que, pour un hamiltonien invariant par translations discrètes selon les vecteurs du réseau, les états propres peuvent être choisis pour se transformer selon une représentation unidimensionnelle du groupe de translations et prennent donc la forme de Bloch ψ_k(r) = e^{i k·r} u_k(r) avec u_k périodique selon le réseau.