Since the matrix is unitary semidefinite , it can be diagonalized with a positive transformation : Since the matrix is semidefinite , it can be diagonalized with positive transformation :
Oleh kerana matriks adalah semidefinite unitari, ia boleh diagonal dengan transformasi positif: Oleh kerana matriks adalah semidefinite, ia boleh diagonal dengan transformasi positif: