如何将一个向量扩充为实向量空间的一个标准正交基