向量组a可由向量组b线性表示,且a线性无关