行列

4.2.11系 4.2.12. 行列 \( A \in M_n \) がエルミート行列であるとする。もし \( k \) 次元部分空間のすべてのベクトル \( x \) に対して \( x^{*} A x \geq 0 \) が成り立つなら...

4.2.10定理 4.2.10. \( A \in M_n \) をエルミート行列とし、その固有値を (4.2.1) に従って昇順に並べる。\( S \) を \( \mathbb{C}^n \) の \( k \) 次元部分空間、\( c...

4.2.6定理 4.2.6（クーラント＝フィッシャー）. \( A \in M_n \) をエルミート行列とし、その固有値を代数的順序で \( \lambda_1 \leq \cdots \leq \lambda_n \) とする。\( k...

4.2.5観察 4.2.5. \( A \in M_n \) をエルミート行列とし、その固有値を (4.2.1) に従って \( \lambda_1(A) \leq \cdots \leq \lambda_n(A) \) と並べる。このとき...

4.2.4補題 4.2.4. 関数 \( f \) を集合 \( S \) 上の有界な実数値関数とする。ここで \( S_1, S_2 \) は集合であり、\( S_1 \) は空でなく、かつ \( S_1 \subset S_2 \sub...