矩阵维度必须一致。_线性代数15——矩阵空间\对角矩阵\和秩1矩阵

矩阵空间

　　矩阵空间是对向量空间的扩展，因为矩阵的本质是向量，所以与向量空间类似，也存在矩阵空间。

　　在向量空间中，任意两个向量的加法和数乘仍然在该空间内。类似的，所有固定大小的矩阵也组成了矩阵空间，在空间内的任意两个矩阵的加法和数乘也在该空间内。例如，M是所有3×3矩阵构成的空间，空间内的矩阵可以相加，也可以数乘，其结果仍然是3×3矩阵。虽然可以把它们中的两个相乘，但是没人会那么做，因为乘法与向量空间没有关系。

　　看起来我们需要随时注意乘法的概念，线性代数中的乘法有别于中学时代标量间的乘法。向量与一个标量相乘，被明确定义为

；两个相同维度的向量间存在点积和叉积，其写法上都与九九乘法表中的乘法类似，但是没有定义两个向量的乘法。虽然矩阵间定义了乘法，但存在限制，只有满足“攘外必先安内”原则的两个矩阵才能相乘。线性代数中的概念众多，学了线性代数后，再也不能愉快地做乘法了。

　　“攘外必先安内”：AB两个矩阵相乘，必须满足A的列数等于B的行数：

　　如果AB能够相乘，必须满足n = p，看起来n和p正好夹在m和q中间，m和q在外围：

　　相乘的结果当然是“共同御敌，一致对外”。

　　以3×3矩阵构成的空间M为例，M一共有9个元素，M的维度是9。M的标准基是：

矩阵的子空间

　　矩阵的子空间也是对向量子空间的扩展，矩阵子空间需要满足数乘和加法仍处于同一集合内。

　　矩阵空间M也有一些特殊的子空间，比如将M空间内的两个对称矩阵相加或数乘，仍然得到对称矩阵；上三角矩阵子空间，将空间内的两个矩阵相加或数乘，仍然得到上三角矩阵。仍然以3×3矩阵构成的空间M为例，看看M中的几个子空间。

对称矩阵子空间

　　设M中的对称子空间是S，6个对称矩阵构成了S的标准基：

　　S维度是6，表示为：