4.エルミート行列、対称行列、合同行列 [行列解析4.4.3]定理
4.4.3定理 4.4.3. \(A \in M_n\) と \(p \in \{0,1,\dots,n\}\) を与える。\(A\bar{A}\) が少なくとも \(p\) 個の実かつ非負の固有値（ここでは \(\lambda_1,\do...
行列解析
4.エルミート行列、対称行列、合同行列 4.エルミート行列、対称行列、合同行列 [行列解析4.4.2]補題
4.4.2補題 4.4.2. \(A \in M\_n\) とし、\(\lambda\) を \(A \bar{A}\) の固有値、\(x \in \mathbb{C}^n\) を \(\lambda\) に対応する \(A \bar{A}...
4.エルミート行列、対称行列、合同行列 [行列解析4.4]ユニタリ合同と複素対称行列
この節の目次4.4.2 補題4.4 ユニタリ合同と複素対称行列複素エルミート行列と複素対称行列は、ともに複素平面における単位円板の解析写像の研究に現れる。もし \( f \) が単位円板上の複素解析関数で、正規化条件 \( f(0) = 0...
4.エルミート行列、対称行列、合同行列 [行列解析4.3]注記および参考文献
4.3.注とさらなる読書メジャライゼーションについては Marshall と Olkin (1979) を参照せよ。リツキー不等式 (4.3.47b) は多くの重要な摂動評価の基盤となる。(6.3) および (7.4) を参照のこと。これら...
4.エルミート行列、対称行列、合同行列 [行列解析4.3.P30]
4.3.問題304.3.P30シュールのメジャライゼーション定理 (4.3.45) には、ブロック行列に対する一般化があり、不等式 (4.3.46) に中間項を導入する。\(A = _{i,j=1}^k\) を分割されたエルミート行列とし、...