「行列ノルム」の版間の差分
削除された内容 追加された内容
編集の要約なし |
m編集の要約なし |
||
88行目:
== 両立するノルム ==
空間 '''K'''<sup>''m''×''n''</
: <math>\|Ax\|_b \leq \|A\|_{ab} \|x\|_a</math>
を満たすとき、‖•‖<sub>''a''</sub>, ‖•‖<sub>''b''</sub> と'''両立する''' {{lang|en|(consistent)}} という。‖•‖<sub>''a''</sub>, ‖•‖<sub>''b''</sub> から誘導される作用素ノルムは、その定義から明らかに ‖•‖<sub>''a''</sub>, ‖•‖<sub>''b''</sub> と両立する。誘導ノルムをベクトルのノルムと両立する行列ノルムにまで広げても、スペクトル半径が下限を与えるという命題はなお正しい。
|