Loading article…
線形代数と凸解析の数学の分野において、複素行列Aの数値範囲または値体とは、集合である。
ここで、 はベクトルの共役転置を表します。数値範囲には、特に、行列の対角要素 (座標軸に沿った単位ベクトルに等しいx を選択することによって取得) と行列の固有値 (固有ベクトルに等しいx を選択することによって取得) が含まれます。
工学では、数値範囲はAの固有値の大まかな推定値として使用されます。最近では、数値範囲の一般化が量子コンピューティングの研究に使用されています。
関連する概念として数値半径があり、これは数値範囲内の数値の絶対値の最大値、すなわち
プロパティ
- 数値範囲はレイリー商の範囲です。
- (ハウスドルフ・テプリッツの定理) 数値範囲は凸かつコンパクトである。
- すべての正方行列と複素数およびに対して となります。ここでは単位行列となります。
- が半正定値である場合に限り、閉じた右半平面の部分集合となる。
- 数値範囲は、(2)、(3)、(4)を満たす正方行列の集合上の唯一の関数である。
- (劣加法) 、ここで右側の和は和集合を表します。
- のすべての固有値が含まれます。
- 行列の数値範囲は塗りつぶされた楕円です。
- が実線分である場合、かつその最小の固有値と最大の固有値が と であるエルミート行列である場合に限ります。
- が正規行列である場合、 はその固有値の凸包です。
- が の境界上の鋭い点である場合、 はの正規固有値です。
- 行列の空間上のノルムです。
- ここで は演算子ノルムを表す。[1] [2] [3] [4]
一般化
- C 数値範囲
- 上位の数値範囲
- 共同数値範囲
- 製品数値範囲
- 多項式数値包
参照
文献
- Choi, MD; Kribs, DW; Życzkowski (2006)、「圧縮形式による量子エラー訂正コード」、Rep. Math. Phys.、58 (1): 77–91、arXiv : quant-ph/0511101、Bibcode :2006RpMP...58...77C、doi :10.1016/S0034-4877(06)80041-8、S2CID 119427312。
- ディアー、G.アメリカ、ヘルムケル。クラインシュトイバー、M.シュルテ ヘルブリュッゲン、Th. (2006)、「量子コンピューティングで生じる新しいタイプの C 数値範囲」、Proc.応用数学。メカ。、6 : 711–712、土井: 10.1002/pamm.200610336。
- Bonsall, FF; Duncan, J. (1971)、「ノルム空間上の作用素の数値範囲とノルム代数の要素」、ケンブリッジ大学出版局、ISBN 978-0-521-07988-4。
- ボンソール、FF; ダンカン、J. (1971)、数値範囲 II、ケンブリッジ大学出版局、ISBN 978-0-521-20227-5。
- ホーン、ロジャー A.; ジョンソン、チャールズ R. (1991)、「行列分析のトピック」、ケンブリッジ大学出版局、第 1 章、ISBN 978-0-521-46713-1。
- ホーン、ロジャー A.; ジョンソン、チャールズ R. (1990)、マトリックス分析、ケンブリッジ大学出版局、第 5.7 章、ex. 21、ISBN 0-521-30586-1
- Li, CK (1996)、「楕円範囲定理の簡単な証明」、Proc. Am. Math. Soc.、124 (7): 1985、doi : 10.1090/S0002-9939-96-03307-2。
- Keeler, Dennis S.; Rodman, Leiba; Spitkovsky, Ilya M. (1997)、「3 × 3 行列の数値範囲」、線形代数とその応用、252 (1–3): 115、doi : 10.1016/0024-3795(95)00674-5。
- 「値の体とスペクトルの凸包の機能的特徴付け」、チャールズ・R・ジョンソン、アメリカ数学会紀要、61(2):201-204、1976年12月。
参考文献
- ^ 「演算子の数値半径に関する「よく知られた」不等式」。StackExchange。
- ^ 「ヒルベルト空間演算子のノルムの上限」。StackExchange。
- ^ 「複素ヒルベルト空間演算子の数値半径の不等式」。StackExchange。
- ^ Hilary Priestley . 「B4b ヒルベルト空間: 拡張概要 9. スペクトル理論」(PDF)。
実際、 ‖T‖ = max(−m
T
, M
T
) = w
T
です。これは非自己随伴演算子では成立しませんが、
複素数の場合はw
T
≤ ‖T‖ ≤ 2w
Tです。
