摘要

A是一个实正交矩阵,给出了n维复向量组线性相关和线性无关的定义,证明了二阶正交矩阵的对角化,以及某些三阶正交矩阵对角化.