行列解析

2.1.9定理 2.1.9. \( A \in M_n \) が正則（非特異）であるとする。このとき、\( A^{-1} \) が \( A^{*} \) に相似であるのは、ある正則行列 \( B \in M_n \) が存在して \( A...

2.1.8補題 2.1.8. \( U_1, U_2, \ldots \in M_n \) をユニタリ行列の無限列とする。このとき、無限部分列 \( U_{k_1}, U_{k_2}, \ldots \) （ただし \( 1 \leq k_...

2.1.7観察 2.1.7. \( M_n \) におけるユニタリ行列（あるいは実直交行列）の集合は群を成す。この群は一般に、\( n \times n \) ユニタリ群（あるいは実直交群）と呼ばれ、\( GL(n, \mathbb{C})...