设是不可逆矩阵，则对任一自相容矩阵范数，其中I为单位矩阵。