设，则矩阵范数与向量的1-范数相容。