空间群的不可约表示与能带结构