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) \]

正規行列の性質

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

線形包の定義

\[ \left\langle S\right\rangle =\left\{ \sum_{i=1}^{r}c_{i}\boldsymbol{v}_{i};r<\infty,\left\{ \boldsymbol{v}_{i}\right\} _{i\in\left\{ 1,2,\cdots,r\right\} }\subseteq S,\left\{ c_{i}\right\} _{i\in\left\{ 1,2,\cdots,r\right\} }\subseteq K\right\} \]