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