令║·║是Rⁿ（或Cⁿ）上的任意一种范数，而P是任意非奇异实（或复）矩阵，定义范数，证明。