(向量范数函数的单调递减性质.v3.docVIP

向量范数函数的单调递减性质 傅绪加1,2,*，吴红光1 (1 淮北师范大学数学科学学院，安徽 淮北 235000 2 南京理工大学理学院，江苏 南京 210094) 摘要：在有限维实向量空间中，证明了范数函数）的单调递减性，并应用此简洁明了地证明了任意两个范数）之间的等价性。 关键词：向量空间，向量范数，单调中，可以引入不同的范数，使之成为不同的赋范空间[1，2]，常用的范数有范数（），如范数范数范数范数极小化或范数正则化问题[1-6]。近年来，此类问题在机器学习、反问题、图像处理、结构化稀疏表示、压缩感知等领域[3-6]广受关注。探究向量范数的有关性质，仍具有意义。对于不同的值，空间中向量的范数实际上给出了向量长度或模的不同度量方式，它们之间具有某些联系，如等价性，见本文定义2与定理3。在范数的定义式中取时，所得到的实函数并不是向量空间（）中的向量范数，详见本文的定义1及其说明，但是，此时的极小化问题或正则化问题（）却有诸多有趣的性质[6]。本文主要讨论向量不同范数之间的大小关系，主要结论为定理1与定理2。为了文章的完整性，本文内容安排如下，在第1节中引入相关记号并给出主要结论之一即定理1；为了在第3节清晰表述定理1两种证明方法，并引出定理2，先在第2节给出相关预备知识；最后，在第4节给出定理1的一个简单应用，即用此定理的结论证明任意两种常用范数（）之间的等价性。 1、主要结论 在有限维实向量空间中，(为正整数集)，向量可被赋予范数[1]：与，其中，且有关系式：。因为由有 。 当，且时，并不是向量的范数，因为它不能满足范数公理中的三角不等式原则[1,2]，但为表述方便，在不引起混淆的情况下，仍称之为向量的范数，并给出如下概念： 定义1(范数、范数函数)：在向量空间中，，称 为向量的范数；称实函数，为向量的范数函数。 在定义1中，采用记法是为表述之便。要说明的是，当，且时，范数并不是真的范数，也不是上的凸函数；但对于，公式(1)中一维向量的所有范数（）均为常数值，也均为真的范数。 对于任意给定的向量，，范数函数在区间内连续可微，因为它可看成是由有限多个基本初等函数经过有限多次复合而组成的初等函数，并且有以下单调性质： 定理1：范数函数在区间上单调递减，，。 例如，取定时，为常值函数；取定时，为常值函数（）或为严格单调递减函数（）。定理1实际上描述了向量的不同范数（）之间的大小关系。 2、预备知识 引理1：设实函数在非空区间上连续，且在有理数集上单调，则函数在区间上单调。 证明：仅针对单调递减情形用反证法证明，类似可证明单调递增情形。假设函数在上单调递减，但函数不在区间上单调递减，即，，使得。记，由函数在区间上连续可知，存在足够小的正数，使得 ，， 任取有理数(如果或位于区间的端点处，只要在其相应的单侧邻域取相应的有理数即可)，由式(2)中的两个不等式有： ，， 这与“函数在上单调递减”的假设前提矛盾，故假设不成立。证毕。 引理2：设()中至少有两个为正数，且，则有 证明：由于()为有限个数，且至少有两个为正数，不妨记，则有()，，从而有： 由此立得不等式(3)，证毕。 引理3：设，则有，。 证明：要证明，只需证 。令，则函数在区间上连续且单调递增，因为。从而当时有，即。证毕。 3、定理1的两种证法 3.1、 定理1的第一种证法 分两种情形进行证明： （I）若或中至多只有一个非零分量，则此时为常数函数，结论成立； （II）若中至少有两个非零分量，则,由引理1及的连续性，只要证明在集合上单调递减即可。以下证明：，当时，就有。 由于，使得(互质)， (互质)。由有。下面只要证明，便可得到。记，()，则其中至少有两个大于0，且有 ，, 令，，有，结合引理2得，证毕。 在上述证法的情形（II）中，实际上证明了： 定理2：若至少有两个非零分量，范数函数在区间上严格单调递减。 3.2、 定理1第二种证法 分两种情形进行证明： （I）若为零向量，则此时为常数函数，结论显然成立； （II）若中有个分量不为零，，不妨设其前个分量不为零，并记，。再不妨设，则有，，由引理3有，，且 。 记，由复合函数的性质可知，此时只要证明函数在区间内时单调递减即可。而这是成立的，因为当时有， ， 证毕。 4、应用 本节给出定理1的一个简单应用，即用此定理证明向量空间中任意两个范数()等价。所给的证明过程比文献[1、2]中的证明都简洁明了。这里不考虑情形，因为这时并不是真的向量范数，除非。 定义2[1,2]（向量范数的等价性）为向量空间上的任意两种范数，若存在常数使得对任意有 则称范数与相互等价。 范数等价关系具有反身性；对称性；传递性。对于上的范数有