倒易点阵的基本性质