エルミート形式・2次形式
\[
f\left(\boldsymbol{x}\right)=\boldsymbol{x}^{*}A\boldsymbol{x}
\]
恒等的に成り立つ行列
\[
A=B\Leftrightarrow\forall\boldsymbol{x}\in K^{n},A\boldsymbol{x}=B\boldsymbol{x}
\]
直交射影行列の定義と性質
\[
P=A\left(A^{*}A\right)^{-1}A^{*}
\]
射影行列
\[
P=A\left(B^{*}A\right)^{-1}B^{*}
\]