数域P上n元齐次线性方程组的解集对于n维向量的加法和数乘法构成数域P上的线性空间A错B对