给出平移算符,并定义其作用为对任意函数有:
其中是布拉维格子的任意矢量。
由于晶格周期势的周期性,不难得到晶格哈密顿量具有离散的平移对称性:
所以有:
即此时哈密顿量算符与平移算符是对易的,从而它们具有共同的本征函数,因此可讨论的本征函数来代替对本征函数的讨论。
设为这两个算符的共同本征函数,是对应本征值,那么有:
波函数的归一化条件:
要求,即本征值的形式应为:
除此之外,平移算符还要满足
,即平移算符本征值要满足关系:
将之前推导得到的带入上式中,有:
由此可知,与必须成正比关系,所以可设,从而:
因此证明了对任意的布拉维格矢其本征波函数有如下关系:
此即布洛赫定理。