对角阵关于矩阵的加法和数构成的线性空间的一组基