2.5.問題53
2.5.P53
\( U, V \in M_n \) をユニタリ行列とし、さらに \( V \) の全ての固有値が長さ \( \pi \) の開弧上にあると仮定する。
このような行列を cramped unitary という。\( C = UVU^*V^* \) を \( U, V \) の乗法的交換子とする。
前問を用いて Frobenius の定理を証明せよ:
\( U \) が \( C \) と可換であることと \( U \) が \( V \) と可換であることは同値である。
コメント