The polar decomposition of a square real or complex matrix is a factorization of the form , where is a unitary matrix and is a positive semi-definite Hermitian matrix, both square and of the same size.
If a real matrix is interpreted as a linear transformation of -dimensional space , the polar decomposition separates it into a rotation or reflection , and a scaling of the space along a set of orthogonal axes.
The polar decomposition of a square matrix always exists. If is invertible, the decomposition is unique, and the factor will be positive-definite. In that case, can be written uniquely in the form , where is unitary and is the unique self-adjoint logarithm of the matrix . This decomposition is useful in computing the fundamental group of Lie groups.
The polar decomposition can be seen as the matrix analog of the polar form of a complex number , where is its absolute value and is a complex number with unit norm.
The polar form may be extended to rectangular matrices, , by requiring be a semi-unitary matrix, and be a positive semi-definite Hermitian matrix as before. The decomposition always exists and is always unique. The matrix is only unique if has full rank.
Relation to SVD
In terms of the SVD of , one has
where , , and are unitary matrices. The general derivation is as follows
More generally, if is some rectangular matrix, its SVD can be written as where now and are isometries with dimensions and , respectively, were , and is again diagonal positive semi-definite square matrix with dimensions . The same reasoning applies, but now is not in general unitary. Nonetheless, has the same support and range as , and it satisfies . This makes into an isometry when its action is restricted onto the support of , that is, it means is a partial isometry.
Partial Isometry
A partial isometry is a linear map between Hilbert spaces such that it is an isometry on the orthogonal complement of its kernel. The orthogonal complement of its kernel is called the initial subspace, and its range is called the final subspace.