本篇文章主要讲
空间的定义与基本性质。
一些过于基本的定义(例如范数,支撑集,完备性等等)不再赘述,需要的前置知识是一般测度空间的定义和测度空间上的积分(当然如果把空间
全都视作欧氏空间
,积分视作勒贝格积分也没什么问题)。
本文涉及的所有函数均视作实值函数,线性空间的标量域均取作实数域。
纯属个人闲着没事自high,有错误欢迎指出。
定义 1.1 设
为一测度空间,
为此空间上全体可测函数的集合 。
(1)设
是
上一可测函数,定义它的p-范数为
(2)对
定义
,即为全体p次可积函数的集合。同时在这个集合上定义等价关系:
定义空间
为集合
模去等价关系
,换句话说,几乎处处相等的函数将被视作同一个元素。
称为这个空间的
底空间。
在不引起混淆的前提下,可以记作
,甚至
。下文中出现的
表示底空间取任意一个测度空间
。
例子:取
测度取为勒贝格测度,我们得到勒贝格p次可积空间
取
为全体正整数,测度取为计数测度,可测集为全体子集,我们得到空间
性质1.2
是线性空间。
只需注意。
性质1.3 当
时,
是
空间,即为完备的赋范线性空间。
命题的分为两部分:1.时确实满足范数的条件。 2.关于此范数完备,即任何柯西列都收敛。
引理1.4(Hölder 不等式)设
则
.
不失一般性,只需要证明
的情形即可。
证明此命题需要用到的工具是用高中知识就可以简单证明的Young不等式:设
,则
.
设
,
,利用Young不等式得:
,证明完毕。
特别地,若
,我们称
互为
共轭指标。
引理1.5(Minkowski 不等式)设
,
,则成立不等式
这恰好就是范数的三角不等式,作为推论得到
时
确实是标准的范数。
设p,q互为共轭指标,则(p-1)q=p,使用r=1时的Hölder不等式得:
两边约去公因式即证。当然,这个不等式对于任意有限多项求和也是对的。
藉由以上两个重要的不等式,我们证明了当
时
是赋范线性空间,下面证明它是完备的:
定理 1.6(Riesz-Fisher)
是完备空间。
在数学分析中我们就见到过用Bolzano-Weierstrass定理证明Cauchy收敛原理,要证明完备,我们只需要证明从任何一个柯西列中都可以选出一个收敛子列。
设
是
中的一个柯西列,则根据定义,可以选出指标
,使得
我们期望序列
收敛,而这并不难证明。将序列写成和式:
,考虑证明级数绝对收敛。
考察无穷级数