向量组或线性相关或线性无关,二者必居其一且仅居其一