任意の実正則行列は、直交行列と対称正定値行列の積として一意に分解することができ、極分解と呼ばれる.
極分解