§7  泛函分析初步

 

一、  勒贝格积分

 

1、 测度与可测函数

[测度与可测集]  S为某一区间内的任一有界点集,则把覆盖S的一组区间的长度之和的下确界称为S的外测度,记作. 包含S的任一有界区间的长度S关于的余集(即内不属于S的点的全体)的外测度之差称为S的内测度,记作. =的集S称为可测集,其测度记作.

S为直线上的一个无界点集,若对一切大于零的x是可测的,则称这个无界点集S是可测的. 在这种情形下,定义无界点集S的测度为

           

这里可以有限或无限.

每个有界开集都是可测的.

可测集的概念可以推广到n维空间的点集上去.

[几乎处处]  若一个性质对区间上除了一个测度为零的集合之外,在其他点都成立,则称这个性质在已知区间上几乎处处成立.

[可测函数]  设函数在可测集S上定义,而c是任意实数. 若在S上使的一切点x所构成的集是可测的,则称函数为在S上的一个可测函数.

在这个定义中,条件可用中任一条件来代替.

内任一连续函数是内的可测函数.

都是内的可测函数,则a为常数),(极限存在)也都是内的可测函数.

    2、勒贝格积分

    [有界函数的勒贝格积分]  在有界区间内给定一个有界可测的实函数,在)的变化范围内插入分点:

                                     1

并用表示使内的点x所构成的集,对每个分法(1)的序列,当时,和式趋于唯一的有限极限I,记作

                

这个量称为内按勒贝格意义的定积分,又称为勒贝格积分,称内是可积(在勒贝格意义下,下同)的.

    [无界函数的勒贝格积分]   在有界区间内是无界可测函数,则勒贝格积分定义如下:

                

式中

 

[在无界区间上的勒贝格积分]  对一切存在,则定义勒贝格积分如下:

            
式中          

同样可以定义.

[在一个点集上的勒贝格积分]  上述有界和无界函数的勒贝格积分的定义可推广到任一个可测集S上的勒贝格积分. 还可推广到n维空间的区域或可测集上的多重勒贝格积分.

[勒贝格积分的存在性与性质]

1o每个有界可测集函数在任一有界可测集上是可积的,在一可测集S上的可积函数在S的每个子集上都是可积的.

2o勒贝格积分存在的充分必要条件是:勒贝格积分存在.

3o在一个测度等于零的集上的勒贝格积分等于零.

4o为一组可数的互不相交(即)的可测集,假定上的勒贝格积分都存在,则

                       

5o连续性定理  和一个正的函数在一个可测集S上都是可测的,并且对一切nS中一切x,不等式

                          

几乎处处成立;又设对S中几乎一切x,使成立,则

                           

存在,且

                     

6o勒贝格基本定理  S是一个可测集,不一定有界.

    (i) 都是S上非负的可测函数;

    (ii)

                   

3、平方可积函数

[L2空间]  S是有界可测集,f(x)S上的可测函数,可积,并且

               

则称为属于空间的函数,记作,或简写为. 在本段中,假定S就是区间.

,则都是可积的;并有

       

[模与距离]  ,则称

                  

f的模(范数).

则称

                  

fg的距离.

(i) ,只当几乎处处成立时,

(ii)

(iii)

[平均收敛]  并且

                       

则称函数序列内收敛或平均收敛,且其极限为,记作

                                       *

平均收敛有以下性质:

1o

               

上几乎处处成立.

2o

              

3o

       

4o中点列平均收敛的充分必要条件是它为基本序列.

基本序列的定义如下:设,若对任意总有正整数N,对一切,使得
                       

则称中的基本序列.

由此可见是完备空间(见第二十一章,§4,一).

[空间的可分性]

1o,则对任意,总有连续函数,使

                     

2o,则对任意,总有系数为有理数的多项式,使

                       

因为所有系数为有理数的多项式组成一个可数集合,并在中处处稠密. 所以2o表明为可分空间(见二十一章,§3,三).

 

二、希尔伯特空间

 

    [希尔伯特(H)空间]  若无限维酉空间V中每个基本序列收敛于V中一个元素,则称V为完备的. 一个完备的无限维酉空间称为希尔伯特空间,或简称H空间.

n维空间中的矢量定义为n个数的全体. 类似地,无限维空间中的矢量定义为ta变到b的函数.

矢量的加法与数乘定义为函数的加法与函数和数的乘法.

H空间中两矢量的内积(数量积)公式为

                                                      1

    [H空间的度量]  ,则

                  

为矢量的长度. ,则矢量之间的距离等于

                  

这个表达式称为函数的均方差. 就是以均方差作为希尔伯特空间H中两元素间的距离的度量.

H空间中两矢量间的角度定义为

                                            2

因为对任意两个函数都有不等式

                 
所以等式(2)的右端可以看作某角度的余弦.

    [正交函数与正交函数系]  若非零矢量fg的内积,则由(1)与(2)可知,即. 因此称矢量fg是正交的. 这时

                  

表示两两正交的函数,而

                  

为它们的和,则的长度平方等于的长度平方和.

因为H空间中矢量的长度是用积分给出的,所以这时类似于商高定理由下面的公式给出:

          

以上所述的积分,例如,是指勒贝格积分有意义而言的.

H空间中函数系

                    

中的任意两函数相互正交,即

                        

则称这个函数系为正交函数系. 若还满足

                        

则称此函数系为标准正交系.

    [依标准正交函数系的分解]  若在H空间中给定一个完备的标准正交函数系(即不可能再加一个不恒为零的函数与系中的一切函数正交),则一切函数都可依这个系中函数展开成级数(平均收敛):

               

式中函数等于矢量在标准正交系中的矢量上的投影:

               

可以证明:

                      

它的几何意义是,H空间中矢量的长度平方等于该矢量在完备的标准正交系中的矢量上的投影平方和.

 

三、  巴拿赫空间

 

    [赋范线性空间]  V为一个线性空间,对于V中每个元素α,有一个实数与之对应,且具有下列性质:

(i) ,当且仅当*

(ii) ,特别

(iii)

则称V为赋范线性空间. 称为α的范数或模.

对于赋范线性空间V

                     

V成为一个尺度空间. 以后讲到赋范线性空间,总认为它是一个尺度空间,并且用(1)式表示它的距离.

[巴拿赫空间的定义与例子]  完备的赋范线性空间称为巴拿赫空间.

1  是巴拿赫空间.

    2  设在内所定义的一切连续函数的全体记为C,令属于Cc是任一实数,定义

                     

易知C是一个线性空间,对于C中的,定义

                           

C为一赋范线性空间,这种空间称为空间.   

,则由可得函数序列一致收敛于.

可以证明,空间是完备的,所以是巴拿赫空间.

例3   设有界实数列

                        

的全体记为M. 是两个有界数列,a是任一实数. 定义和,数乘与范数如下:

                    

                       

                           

那末M成为一个赋范线性空间,称为收敛序列空间,简称为空间M. 并可证明空间M是完备的,所以是巴拿赫空间.

    [紧致性]  A为尺度空间E中一个非空集,或者A的任一无限子集至少有一极限点,则称A是一个紧致集.

任一紧致集必为有界.

是定义在区间上的一个函数族,若对任一,恒有,当,且时,不等式

                       

A中任意函数成立,则称函数族A上等度连续.

阿尔采拉—阿斯可里定理  是定义在上的连续函数族,

(i) 存在一个常数M,使此族中的函数都满足

(ii)  A上等度连续;

A中存在着在上一致收敛的函数序列.

A是空间C中的一个元素,则A为紧致的充分必要条件是:A中一切函数为有界且为等度连续.

    [线性泛函及其性质]  考虑巴拿赫空间V上的泛函数v,对于V中任一点x,有一实函数与它对应,若

    (i) v是可加的,齐次的,即对V中任两点xy与任两实数ab,恒有 

           

    (ii) v是连续的,即当时,,则称V上的线性泛函.

线性泛函有以下性质:

1o可加齐次泛函连续的充分必要条件是:有常数,使

                                                     22o是线性泛函,则由满足(2)的一切M构成数集的下确界称为的模或范数,记作;且有

                        

    3o若对巴拿赫空间V上一个线性泛函序列{},使V上处处存在,则有常数,使得

              

这称为一致有界原理或共鸣定理.



* 这里不同于.

* 这里0是线性空间中的零元素。