程克玲

(吕梁学院汾阳师范分校 数学与科学系，山西吕梁 032200)

以前我们熟知的实数的绝对值、复数的模、直觉空间中的向量的长度都是范数的概念原型，在内积空间中用内积诱导出的一个范数是一类特殊的范数，它们确实反映了向量长度的几个基本几何性质，即非负性、齐次性以及三角不等式.[1]那么，在一般的线性空间中，也有类似的基本几何性质.

1 向量p-范数的有关定理及证明

定理1[2]对于任意的x=(x1,x2,…,xn)T∈Cn,令

(1)

则‖x‖p是Cn中的一种向量范数，称为p-范数.

要证明向量的p-范数‖x‖p满足向量范数的三个公理，需先证明以下结论：

引理1[3](Young不等式) 设实数p，q均大于1，则∀a,b∈R,有

(2)

证若ab=0,结论显然成立.当ab≠0时，构造函数

(3)

由φ′(τ)=τp-1-τ-(q+1)可知，当0<τ<1时，φ′(τ)≤0;当1≤τ<+时，φ′(τ)≥0,因此φ(τ)≥φ(1)=1,取代入式(2)，有

(4)

因此

结论得证.

(5)

证当xk,yk中至少有一个不为0时，结论显然成立.当xk不全为0，yk也不全为0时，由引理1，有

(6)

于是有

定理3[3](Minkowski不等式) 任取x,y∈Cn,则∀p≥1，有

(7)

证当p=1时，式(7)显然成立.当p>1时，设q为p的共轭指数，于是

(8)

式(8)右端两项各用Holder不等式得

(9)

Holder不等式与Minkowski不等式是泛函分析中的两个基本不等式，在向量的范数中也有其相应的表达形式.它对有限或无限维空间均成立，且有离散及连续两种类型.[4]下面证明定理1.

(1)正定性.显然‖x‖p≥0,而x≠0时至少有一个分量不为0，因此‖x‖p>0.

(2)齐次性.∀k∈C,∀x=(x1,x2,…,xn)T∈Cn,有

(3)三角不等式.由Minkowski不等式，有

于是

‖x+y‖p=‖x‖p+‖y‖p

因此，‖x‖p是Cn中的一种向量p-范数.

2 向量范数的等价性

定义1[5]设V是有限维线性空间，‖x‖α与‖x‖β是V中任意两种范数，若存在正数k1及k2，使得对任意的x∈V,有

k1‖x‖β≤‖x‖α≤k2‖x‖β

(10)

称‖x‖α与‖x‖β等价.

引理2n维向量空间V中的任一向量x的范数都是其坐标的连续函数.

证设V是n维线性空……