設,求證ATA與AAT特征值相等,即求證。
設上任意兩種矩陣算子范數(shù),證明存在常數(shù),使對一切滿足。
令是Rn(或Cn)上的任意一種范數(shù),而P是任意非奇異實(或復)矩陣,定義范數(shù)。