线性算符 的算符范数是
伸展
元素的最大的值,
(1)
|
对于 和
成为赋范向量空间是必要的。复合的算符范数受算符范数的控制,
(2)
|
当 由矩阵给出时,例如
,那么
是对称矩阵
的最大特征值的平方根,其所有特征值都是非负的。例如,如果
(3)
|
那么
(4)
|
它具有特征值 ,所以
。
以下 Wolfram 语言代码将确定矩阵的算符范数
OperatorNorm[a_List?MatrixQ] := Sqrt[Max[Eigenvalues[Transpose[a].a]]]