- 運営しているクリエイター
#tex
これが分かる人なら要らないであろう解説
実正規変換編さて, 実正規変換$${F}$$は固有空間$${\bm{W}(\alpha)\oplus\bm{W}(\tilde{\alpha})}$$の正規直交基底$${\{u_1,v_1,\cdots,u_m,v_m\}}$$に関する表現行列が
$${\begin{pmatrix*}[r]a&-b\\b&a\\&&\ddots\\&&&a&-b\\&&&b&a\end{pmatrix*}}$$
実正規変換編さて, 実正規変換$${F}$$は固有空間$${\bm{W}(\alpha)\oplus\bm{W}(\tilde{\alpha})}$$の正規直交基底$${\{u_1,v_1,\cdots,u_m,v_m\}}$$に関する表現行列が
$${\begin{pmatrix*}[r]a&-b\\b&a\\&&\ddots\\&&&a&-b\\&&&b&a\end{pmatrix*}}$$