行列解析

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

2.1.1.定義定義 2.1.1ベクトルの列 \( x_1, \ldots, x_k \in \mathbb{C}^n \) が「直交する」とは、すべての \( i \ne j \) に対して \( x_i^* x_j = 0 \) が成り...