标准型，如果矩阵B可以由A经过一系列初等行变换得到，且B的左上角是一个单位矩阵，其余元素都是0，那么这个矩阵就是原来矩阵的等价标准型。
假设可逆方阵的标准形不是单位阵，那么标准型的对角线元素至少有一个为零。
