NEW!2×2ブロック対称分けの積の分割

\[ \left(\begin{array}{cc} A & B\\ C & D \end{array}\right)=\left(\begin{array}{cc} I & O\\ CA^{-1} & I \end{array}\right)\left(\begin{array}{cc} A & O\\ O & D-CA^{-1}B \end{array}\right)\left(\begin{array}{cc} I & A^{-1}B\\ O & I \end{array}\right) \]

正規行列の性質

正規行列であることと、ユニタリ行列で対角化できることは同値である。