设Ａ，Ｂ为n阶矩阵，如果有n阶非奇异矩阵Ｐ存在，使得Ｐ^(-1)*a*p=b成立,则称矩阵a与b相似,记为a~b.
("p^(-1)"表示p的-1次幂,"*"表示乘号,"~"读作"相似于".)