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})...

2.1.6観察 2.1.6\( U, V \in M_n \) がユニタリ行列（あるいは実直交行列）であるとき、積 \( UV \) もまたユニタリ行列（あるいは実直交行列）になります。演習問題定理2.1.4の(b)を使って、観察2.1.6...