n::::定义.给定一个向量空间formula_1。formula_1的一组基formula_3是指formula_1里面的可线性生成formula_1的一个线性无关子集。formula_3的元素称为基向量。更详细来说，设formula_13是在系数域formula_14（比如实数域formula_15或复数域formula_16）上的向量空间formula_1的有限子集。如果formula_3满足下列条件：就说formula_3是向量空间formula_1的一组基。第二个条件中，将一个向量form