范数(norm),是具有“长度”概念的函数。在线性代数、泛函分析及相关的数学领域,范函是一个函数,其为矢量空间内的所有矢量赋予非零的正长度或大小。半范数反而可以为非零的矢量赋予零长度。
举一个简单的例子,在二维的欧氏几何空间 R就可定义欧氏范数。在这个矢量空间中的元素常常在笛卡儿坐标系统中被画成一个从原点出发的带有箭头的有向线段。每一个矢量的欧氏范数就是有向线段的长度。
其中定义范数的矢量空间就是赋范矢量空间。同样,其中定义半范数的矢量空间就是赋半范矢量空间。
设函数f:Rn→Rf:Rn→R,若ff满足
例如:
这里以CnCn空间为例,RnRn空间类似。
最常用的范数就是p-范数。若x=[x1,x2,…,xn]Tx=[x1,x2,…,xn]T,那么
可以验证p-范数确实满足范数的定义。其中三角不等式的证明不是平凡的,这个结论通常称为闵可夫斯基(Minkowski)不等式。
当p取1,2,∞的时候分别是以下几种最简单的情形:
1-范数:║x║1=│x1│+│x2│+…+│xn│║x║1=│x1│+│x2│+…+│xn│
2-范数:║x║2=(│x1│2+│x2│2+…+│xn│2)1/2║x║2=(│x1│2+│x2│2+…+│xn│2)1/2
∞-范数(最大范数):║x║∞=max(│x1│,│x2│,…,│xn│)║x║∞=max(│x1│,│x2│,…,│xn│)
其中2-范数就是通常意义下的距离。
(1)连续性
设ff是RnRn上的任意一个范数,则ff关于xx的每个分量是连续的。
(2)等价性
设∥⋅∥s‖⋅‖s和∥⋅∥t‖⋅‖t是RnRn上的任意两个范数,则存在常数c1c1和c2c2,使得对任意的x∈Rnx∈Rn有
(3)不等式
对于这些常用的范数有以下不等式:║x║∞≤║x║2≤║x║1≤n12║x║2≤n║x║∞║x║∞≤║x║2≤║x║1≤n12║x║2≤n║x║∞
另外,若p和q是赫德尔(Hölder)共轭指标,即1/p+1/q=1,那么有赫德尔不等式:
当p=q=2时就是柯西-许瓦兹(Cauchy-Schwarz)不等式。
(4)向量序列的收敛性
一般来讲矩阵范数除了正定性,齐次性和三角不等式之外,还规定其必须满足相容性:║XY║≤║X║║Y║║XY║≤║X║║Y║。
所以矩阵范数通常也称为相容范数。
如果║⋅║α║·║α是相容范数,且任何满足║⋅║β≤║⋅║α║·║β≤║·║α的范数║⋅║β║·║β都不是相容范数,那么║⋅║α║·║α称为极小范数。对于nn阶实方阵(或复方阵)全体上的任何一个范数║⋅║║·║,总存在唯一的实数k>0k>0,使得k×║⋅║k×║·║是极小范数。
注:如果不考虑相容性,那么矩阵范数和向量范数就没有区别,因为m×nm×n矩阵全体和mnmn维向量空间同构。引入相容性主要是为了保持矩阵作为线性算子的特征,这一点和算子范数的相容性一致,并且可以得到Mincowski定理以外的信息。
满足以上设定的矩阵范数可以有多种。由于它们都是定义在Mm,n(K)Mm,n(K)这个有限维向量空间上的范数,所以实质上是等价的。常见的矩阵范数通常是在矩阵的应用中自然定义或诱导的范数。
向量范数诱导的矩阵范数
考虑从向量空间V=KmV=Km映射到W=KnW=Kn的所有线性映射的构成的空间:Lm,n(K)Lm,n(K)。设VV和WW中分别装备了两个向量范数∥⋅∥V‖⋅‖V和∥⋅∥W‖⋅‖W,则可以定义Lm,n(K)Lm,n(K)上的算子范数∥⋅∥L:‖⋅‖L:
∀A∈Lm,n(K)∀A∈Lm,n(K)
而给定了基底后,每个从V映射到W的线性映射都可以用一个m \times n的矩阵来表示,所以同样地可以定义Mm,n(K)Mm,n(K)上的非负映射∥⋅∥M:‖⋅‖M:
∀A∈Mm,n(K)∀A∈Mm,n(K)
可以验证,∥⋅∥M‖⋅‖M满足矩阵范数的定义,因此是一个矩阵范数。这个矩阵范数被称为是由向量空间范数诱导的矩阵范数,可以看作是算子范数在由有限维向量空间之间线性映射组成的空间上的特例。如果m=nm=n,所对应的矩阵空间就是n阶方块矩阵空间Mn(K)Mn(K)。这时可以验证,诱导范数∥⋅∥M‖⋅‖M满足一致性条件。
p-范数诱导的矩阵范数
当VV和WW中装备的向量范数都是p-范数的时候,诱导的矩阵范数也称为矩阵的诱导p-范数。具体来说就是:
在p=1和p=∞p=∞的情况下,其范数可以以下方式计算:
矩阵元范数
这些向量范数将矩阵视为m×nm×n向量,并使用类似的向量范数。
举例说明,使用向量的p-范数,我们得到:
弗罗贝尼乌斯范数
对p=2p=2,这称为弗罗贝尼乌斯范数(Frobenius norm)或希尔伯特-施密特范数(Hilbert–Schmidt norm),不过后面这个术语通常只用于希尔伯特空间。这个范数可用不同的方式定义:
矩阵范数的性质
(1)连续性:设ff是Rn×nRn×n上的任一矩阵范数,则ff关于AA的每个分量是连续的。
(2)等价性:设∥⋅∥s‖⋅‖s和∥⋅∥t‖⋅‖t是Rn×nRn×n上的任意两个矩阵范数,则存在常数c1c1和c2c2,使得对任意的A∈Rn×nA∈Rn×n有
算子范数的性质
定理:
设∥⋅∥‖⋅‖是RnRn上的任一向量范数,其对应的算子范数也记为∥⋅∥‖⋅‖,则有
定理:
设∥⋅∥‖⋅‖是任一算子范数,则ρ(A)≤∥A∥ρ(A)≤‖A‖
定理:
对任意ε>0ε>0,总存在一个算子范数∥⋅∥ε‖⋅‖ε,使得