4.エルミート行列、対称行列、合同行列 [行列解析4.2.4]補題
4.2.4補題 4.2.4. 関数 \( f \) を集合 \( S \) 上の有界な実数値関数とする。ここで \( S_1, S_2 \) は集合であり、\( S_1 \) は空でなく、かつ \( S_1 \subset S_2 \sub...
行列
4.エルミート行列、対称行列、合同行列 4.エルミート行列、対称行列、合同行列 [行列解析4.2.3]補題 4.2.3（部分空間の共通部分）
4.2.3補題 4.2.3（部分空間の共通部分） \( S_1, \ldots, S_k \) を \( \mathbb{C}^n \) の部分空間とする。もし\delta = \dim S_1 + \cdots + \dim S_k - ...
4.エルミート行列、対称行列、合同行列 [行列解析4.2.2]定理（レイリー）
4.2.2定理 4.2.2（レイリー）. \(A \in M_n\) がエルミート行列であり、その固有値が (4.2.1) のように順序付けられているとする。整数 \(i_1, \ldots, i_k\) が \(1 \leq i_1 \l...