正交向量组与线性无关向量组的关系