4.6.問題254.6.P25(4.5.P35) を再訪せよ。(4.5.17) を使って、非特異行列 \(S \in M_2\) が存在して、\(S^* A S\) と \(S^T B S\) が両方とも対角行列になることはないことを示せ。

4.6.問題244.6.P24 \(A \in M_n\) とし、次の行列を考える：A =\begin{pmatrix}0 & A \\\bar{A} & 0\end{pmatrix} \in M_{2n}コローラリー 4.6.15 により...

4.6.問題234.6.P23\(A \in M_n\) とする。\(J = B \oplus N\) を \(A \bar{A}\) のジョルダン標準形とする。ただし、\(B\) は非特異、\(N\) はニルポテンシャントである。(4.6...