矩阵变换和线性空间
(2.4)正交矩阵的性质