線性算符 的算符範數是
伸展
元素的最大的值,
|
(1)
|
對於 和
成為賦範向量空間是必要的。複合的算符範數受算符範數的控制,
|
(2)
|
當 由矩陣給出時,例如
,那麼
是對稱矩陣
的最大特徵值的平方根,其所有特徵值都是非負的。例如,如果
|
(3)
|
那麼
|
(4)
|
它具有特徵值 ,所以
。
以下 Wolfram 語言程式碼將確定矩陣的算符範數
OperatorNorm[a_List?MatrixQ] :=
Sqrt[Max[Eigenvalues[Transpose[a].a]]]