第2不変量
$ I_2^{\bm A}:=\frac12\left(\left({\mathrm{tr}\bm A}\right)^2-\mathrm{tr}\left(\bm A^2\right)\right)
導出イメージ
$ \bm{A}^2-I_1^{\bm{A}}\bm A+I_2^{\bm{A}}\bm I=\bm0
$ I_1^{\bm{A}}：$ \bm{A}の第1不変量 $ \implies\mathrm{tr}\left(\bm{A}^2\right)-I_1^{\bm{A}}\mathrm{tr}\bm{A}+I_2^{\bm{A}}\mathrm{tr}\bm{I}=0
$ \iff I_2^{\bm{A}}\mathrm{tr}\bm{I}=I_1^{\bm{A}}\mathrm{tr}\bm{A}-\mathrm{tr}\left(\bm{A}^2\right)
$ =\left(\mathrm{tr}\bm{A}\right)^2-\mathrm{tr}\left(\bm{A}^2\right)
$ \iff I_2^{\bm{A}}=\frac1{\mathrm{tr}\bm I}\left(\left(\mathrm{tr}\bm{A}\right)^2-\mathrm{tr}\left(\bm{A}^2\right)\right)
あれ？これ3次元だと1/3になるぞ？
なにか間違えているな
次元によらず、1/2になるようだ
$ =\frac12\left(\left(\mathrm{tr}\bm{A}\right)^2-\mathrm{tr}\left(\bm{A}^2\right)\right)
ここでは2次元で示したが、任意次元でも成立する
正確な証明はいずれ書くかも
性質
$ I_2^{\bm{A}}=\sum_{i<j}\lambda_i^{\bm{A}}\lambda_j^{\bm{A}}
eg.
2次元のとき$ I_2^{\bm A}=\lambda_0^{\bm A}\lambda_1^{\bm A}
3次元のとき$ I_2^{\bm A}=\lambda_0^{\bm A}\lambda_1^{\bm A}+\lambda_1^{\bm A}\lambda_2^{\bm A}+\lambda_2^{\bm A}\lambda_0^{\bm A}
任意基底で成分表示すると
$ I_2^{\bm A}=\frac12\left({{A_i}^i}^2-{A_i}^j{A_j}^i\right)
2次元の時
$ =\frac12\left(2{A_1}^1{A_2}^2-{A_1}^2{A_2}^1-{A_2}^1{A_1}^2\right)
$ ={A_1}^1{A_2}^2-{A_1}^2{A_2}^1
$ =I_3^{\bm A}
$ =\det\bm A
3次元の時
$ =\frac12\left(2{A_1}^1{A_2}^2+2{A_1}^1{A_3}^3+2{A_3}^3{A_1}^1-{A_1}^2{A_2}^1-{A_2}^3{A_2}^3-{A_3}^1{A_3}^1-{A_1}^3{A_1}^3-{A_3}^2{A_3}^2-{A_2}^1{A_2}^1\right)