一致凸空间(uniformly convex space)是一种具备了凸性的赋范线性空间,其上的范数拓扑决定了该空间中的凸性质。该空间最早由 James A. Clarkson 于1936年提出。我们常见的很多函数空间,例如 Hilbert 空间,
空间(
)都是一致凸的。
定义[]
赋范线性空间
中的范数
称为是一致凸的(uniformly convex),是指:对任意
,存在正数
使得
- 如果
满足
- 那么

此时我们也称赋范线性空间
是一致凸空间。
一些评注:
- 一个赋范线性空间上可能有很多等价范数,可能存在这样的情况:某个范数是一致凸的,但存在另外的非一致凸范数。因此一致凸性仅仅是范数的性质。只要该空间有一个一致凸范数,那么这个空间就称为一致凸空间。但是范数的性质却可以决定某些空间自身的性质,例如自反性(Milman-Pettis 定理表明一致凸空间是自反的)。
- 上述定义中的条件
可以弱化为
- 一致凸性是比局部凸性更强的条件,任何赋范线性空间都是局部凸的,但不一定是一致凸的。进一步一致凸性比严格凸性的条件更强,形象地说,严格凸性要求
中的单位球上成立更强的三角不等式
而一致凸性要求该不等式一致地成立。存在着严格凸但不是一致凸的空间,甚至是自反的,参见这里。
- Hilbert 空间是一致凸的 Banach 空间,仅需注意到平行四边形恒等式即可,
空间当
时是一致凸的,证明主要用到 Clarkson 不等式。
- 在一个一致凸空间
中,如果有序列
以及
满足
,
,那么
强收敛到
,实际上对任意
我们要证明存在
使得
,由一致凸的定义,我们只需要找到
的
即可,然而注意到
因此对
存在
使得
- 进一步,我们可以证明,
一致凸当且仅当对任意
,如果
,我们有
- 一致凸的 Banach 空间
中的一个完备闭子空间
是一致凸的,因此一致凸性是可继承的性质。
一致凸模[]
为了更精确的描述一致凸性,我们可以引入凸模的概念:
对于一个赋范线性空间
,定义其中的凸模(modulus of convexity):

我们有如下命题:
赋范线性空间

是一致凸的当且仅当其凸模
![{\displaystyle \delta _{X}(\varepsilon )>0,\forall \varepsilon \in (0,2].}](https://services.fandom.com/mathoid-facade/v1/media/math/render/svg/6a6b82ce34bf244729bc8dc97ae847ce241df932)
凸模和一致凸空间定义中的
表述类似于复值函数的连续模和连续性定义的
表述。例如
空间的凸模是

共轭性质[]
为了通过共轭的方法研究赋范线性空间的一致凸性, 我们引入光滑模的概念:
- 假设有赋范线性空间
,定义如下函数为
的光滑模(modulus of smoothness):
可以证明:共轭空间的光滑模可以用原空间的凸模表达。
假设

是赋范线性空间,那么其共轭空间

中的光滑模有表达式

我们可以利用上述命题将原空间的一致凸性和共轭空间的一致光滑性联系起来,为此给出赋范线性空间的一致光滑性的定义:
- 假设有赋范线性空间
,我们称它是一致光滑的(uniformly smooth),是指极限
可以证明:
赋范线性空间

是一致凸的当且仅当

是一致光滑的。
进一步,Milman-Pettis 定理指出:一致凸的 Banach 空间是自反空间。
收敛性[]
在 Hilbert 空间中,弱收敛序列如果是模有界的,那么它就是强收敛的,这个性质在一般的 Banach 空间中不成立,但是在一致凸的 Banach 空间中成立。
如果

,我们甚至不需要一致凸性,因为这时第二个条件直接就是强收敛到零的定义,下面我们考察

的情况,注意到一致凸性都是在单位球内考虑的,因此我们需要对序列

紧性放缩,令

由于

,上面的定义都是有意义的(

),这时我们就有

我们注意到


弱收敛到

,于是

弱收敛到

。因而由
范数的弱下半连续性得到

另一方面,我们注意到

这样我们就有

,由评注
#一致凸性的序列性质我们就得到

强收敛到

,今儿就得到结论。
三角不等式[]
下面这个定理是一直凸空间中对范数的三角不等式的细化:
假设

是一致凸的 Banach 空间,

,那么对任意

以及任意

存在

对任意

都有

关于这个定理/命题的证明,单击这里以显示/折叠

时规范化向量

,然后直接用定义就可以得到,下面假设

,用
反证法,假设存在

存在

对任意

(

是正整数)存在

满足

都有

- 由于实数列
有界,进而有收敛子列,我们依旧记作
并记模极限分别是
注意到
因此对
式取极限得到
由这个练习题,那么上述不等式只能是等式即
- 我们断言
,实际上如果
,那么
收敛到零,然而
这是不可能的。
- 规范化:我们假设
中没有为零的项,令
,那么当
充分大时我们有
由一致凸性存在
使得

但是由

式我们就有

这样就导出了矛盾。
投影引理[]
下面这个定理指出:一致凸空间上的闭凸子集关于范数的最佳逼近问题存在唯一。
假设

是一致凸 Banach 空间

中的闭凸子集,那么对任意的

存在唯一的

使得

且对任意的
都有
我们称

是

在

上的投影,进一步这个投影映射

还是连续的,且在任意有界集上一致连续。
证明参见投影引理。
单位向量[]
我们知道,根据 Hahn-Banach 定理,任意的非零元
都存在一个
使得
,但是给定一个
未必存在
使得
,不过在一致凸空间中,这是对的。
假设

是一致凸的 Banach 空间,

,那么存在

,

满足

进一步,映射

连续。
参考资料
- Haïm Brezis, Functional Analysis, Sobolev Spaces and Partial Differential Equations, Springer Science&Business Media, 2010-11, ISBN
978-0-3877-0913-0
.