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

 MACROBUTTON MTEditEquationSection2 Equation Chapter 1 Section 1 SEQ MTEqn \r \h \* MERGEFORMAT  SEQ MTSec \r 1 \h \* MERGEFORMAT  SEQ MTChap \r 1 \h \* MERGEFORMAT 向量范数函数的单调递减性质 傅绪加1,2,?基金项目：淮北师范大学教研项目（JY10227）；淮北师范大学青年研究项目（2012xq56）；安徽省高等学校省级自然科学研究项目（KJ2013B252）。 作者简介：傅绪加(1978- )，男，淮北师范大学讲师，南京理工大学在读博士生； 研究方向：图像建模与分析，Email： HYPERLINK mailto:fxj068@ fxj068@；吴红光(1989 - )，男，淮北师范大学2010级应用数学专业班； ，吴红光1 (1 淮北师范大学数学科学学院，安徽 淮北 235000 2 南京理工大学理学院，江苏 南京 210094) 摘要：在有限维实向量空间中，用两种方法证明了范数函数（）的单调递减性质，并应用此性质，简洁明了地证明了任意两个范数（）之间的等价性。 关键词：向量空间，向量范数，单调递减性 中图分类号：O151.21 文献标识码：C 文章编号： 在有限维实向量空间中，可以引入不同的范数，使之成为不同的赋范空间[1，2]，常用的范数有范数（），如范数、范数、范数[1]。由于范数满足齐次性与三角不等式性[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(范数、范数函数)：在向量空间中，，称  MACROBUTTON MTPlaceRef \* MERGEFORMAT  SEQ MTEqn \h \* MERGEFORMAT ( SEQ MTEqn \c \* Arabic \* MERGEFORMAT 1) 为向量的范数；称实函数，为向量的范数函数。 在定义1中，采用记法是为表述之便。要说明的是，当，且时，范数并不是真的范数，也不是上的凸函数；但对于，公式 GOTOBUTTON ZEqnNum617837 \* MERGEFORMAT  REF ZEqnNum617837 \* Charformat \! \* MERGEFORMAT (1)(1)中一维向量的所有范数（）均为常数值，也均为真的范数。 对于任意给定的向量，，范数函数在区间内连续可微，因为它可看成是由有限多个基本初等函数经过有限多次复合而组成的初等函数，并且有以下单调性质： 定理1：范数函数在区间上单调递减，，。 例如，取定时，为常值函数；取定时，为常值函数（）或为严格单调递减函数（）。定理1实际上描述了向量的不同范数（）之间的大小关系。 2、预备知识 引理1：设实函数在非空区间上连续，且在有理数集上单调，则函数在区间上单调。 证明：仅针对单调递减情形用反证法证明，类似可证明单调递增情形。假设函数在上单调递减，但函数不在区间上单调递减，即，，使得。记，由函数在区间上连续可知，存在足够小的正数，使得 ，，  MACROBUTTON MTPlaceRef \* MERGEFORMAT  SEQ MTEqn \h \* MERGEFORMAT ( SEQ MTEqn \c