Polar Decomposition corollary

Let or then
Every matrix with can be written as

where

  1. has orthonormal columns
  2. is self-adjoint () and positive semi-definite