Soit A ∈ Mn(C), alors il existe une matrice hermitienne Θ
et une matrice hermitienne positive R telles que A = exp(iΘ) R.
Si A est inversible alors R et exp(iΘ) sont uniques, mais pas Θ.
Ceci, permet de généraliser la forme polaire bien connue sur C, z = r exp(iθ)