§4矩阵分块法.docVIP

§4 矩阵分块法 将矩阵用若干条纵线和横线分成许多个小矩阵，每一个小矩阵称为的子块，以子块为元素的形式上的矩阵称为分块矩阵． 例如将矩阵 可分为 其中 即为的子块，而形式上成为以这些子块为元素的分块矩阵． 分块矩阵的运算规则： （）设矩阵与的行数相同、列数相同，采用相同的分块法，有 其中与的行数相同、列数相同，那么 （）设，为数，那么 （）设为矩阵，为矩阵，分块成为， 其中的列数分别等于的行数，那么 其中． 设求．解　把分块成 则 而 于是. （）设，则（）设为阶矩阵，若的分块矩阵只有在对角线上有非零子块，其余子块都为零矩阵，且在对角线上的子块都是方阵，即 其中都是方阵，那么称为分块对角矩阵． 分块对角矩阵的行列式具有下述性质：， 由此性质可知，若，则，并有。 例16 设，求． 解 其中，得 所以。 矩阵按行分块和按列分块矩阵有行，称为矩阵的个行向量，若第行记作则矩阵便记为 矩阵有列，称为矩阵的个列向量，若第列记作 则．以对角阵左乘矩阵时，把按行分块，有 即以对角阵左乘的结果是的每一行乘以中与该行对应的对角元．以对角阵乘矩阵时，把按行分块，有 即以对角阵乘的结果是的每一乘以中与该对应的对角元．例17 证明矩阵的充分必要条件是方阵． 证 条件的必要性是显然的，下面证条件的充分性． 设，把用列向量表示为，则 因，故 特殊地，有 而 得 即对于线性方程组 记 其中为系数矩阵，为未知数向量，为常数项向量，为增广矩阵．按分块矩阵的记法，可记利用矩阵的乘法，此方程组可记作 方程（12）以向量为未知元，它的解称为方程组（11）的解向量． 如果把系数矩阵按行分成块，则线性方程组可记作 这就相当于把每个方程 记作 如果把系数矩阵按列分成块，则与相乘的应对应地按行分成块，从而记作 即 克拉黙法则　对于个变量，个方程的线性方程组 如果它的系数行列式，则它有惟一解 把方程组（15）写成矩阵方程这里为阶矩阵，因故存在令，有是方程组（15）的解向量． 由，有，即，根据逆矩阵的唯一性，知是方程组（15）的唯一的解向量． 由逆阵公式，有即 得 。