NEW!グラム・シュミットの直交化

\[ \boldsymbol{b}_{m}=\frac{\boldsymbol{b}'_{m}}{\left\Vert \boldsymbol{b}'_{m}\right\Vert },\boldsymbol{b}'_{m}=\boldsymbol{a}_{m}-\sum_{k=1}^{m-1}\left\langle \boldsymbol{a}_{m},\frac{\boldsymbol{b}'_{k}}{\left\Vert \boldsymbol{b}'_{k}\right\Vert }\right\rangle \frac{\boldsymbol{b}'_{k}}{\left\Vert \boldsymbol{b}'_{k}\right\Vert } \]

パーセバルの等式

\[ \sum_{k=1}^{\infty}\left|\left\langle \boldsymbol{x},\boldsymbol{e}_{k}\right\rangle \right|^{2}=\left\Vert \boldsymbol{x}\right\Vert ^{2} \]

ベッセルの不等式

\[ \sum_{k=1}^{\infty}\left|\left\langle \boldsymbol{x},\boldsymbol{a}_{k}\right\rangle \right|^{2}\leq\left\Vert \boldsymbol{x}\right\Vert ^{2} \]

双対写像の性質

線形写像$f$の表現行列が$A$ならば、双対写像$f^{*}$の表現行列は転置行列$A^{T}$となる。