行列

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

2.1.5定義 2.1.5（ユークリッド等距変換）線形変換 \( T : \mathbb{C}^n \rightarrow \mathbb{C}^m \) がすべての \( x \in \mathbb{C}^n \) に対して \( \|x...

定理 2.1.4. \(U \in M_n\) のとき、以下は同値である：(a) \(U\) はユニタリである。(b) \(U\) は正則で、かつ \(U^* = U^{-1}\) である。(c) \(UU^* = I\) である。(d) ...

2.1.3定義 2.1.3ユニタリ・実直交行列\( U \in M_n \) が「ユニタリ」であるとは、\( U^* U = I \) を満たすことである。\( U \in M_n(\mathbb{R}) \) が「実直交行列」であるとは、...

2.1.2定理 2.1.2任意の直交正規なベクトル列は線形独立である。証明\( \{x_1, \ldots, x_k\} \) が直交正規であると仮定し、次のような線形結合がゼロになるとする： 0 = \alpha_1 x_1 + \cdo...