math u u math ''d'' diagonal matrix entries diagonal ''d'' eigenvalues ''a'' column vectors ''u'' eigenvectors ''a'' orthonormal unlike hermitian case entries ''d'' need real polar decomposition '''polar decomposition''' bounded linear operator ''a'' complex hilbert spaces canonical factorization product partial isometry non negative operator polar decomposition matrices generalizes follows ''a'' bounded linear operator unique factorization
Formal science Mathematics Pure mathematics Analysis Operator theory