Incorrect theorem in preparation for polar decomposition in notes?

25 Views Asked by At

Theorem 2.3 here says that if $A$ is normal it has a positive semi-definite square root.

Isn't this wrong? In particular the fourth sentence of the proof claims the eigenvalues of normal matrices are positive, which seems way off...