旋转的定义和性质