6.7 矩阵子空间、基与维数

把张成、基与维数由列向量子空间推广到矩阵子空间，例如全矩阵空间、上三角矩阵与反对称矩阵。