広義固有空間・広義固有ベクトルの性質
\[
\dim\ker\left(\left(\lambda_{k}I-A\right)^{n_{k}}\right)=n_{k}
\]
広義固有空間と広義固有ベクトルの定義
\[
\widetilde{W}\left(\lambda_{k}\right)=\ker\left(\left(A-\lambda_{k}I\right)^{n_{k}}\right)
\]
エルミート形式・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}
\]