单调测度空间上一般实值可测函数的泛积分

2018-08-02 02:56徐鹤萍张承坤李军
关键词:测度单调线性

徐鹤萍,张承坤,李军

(中国传媒大学理学院,北京 100024)

1 引言

文献[1]中给出了基于普通加法和乘法的一般可测函数的泛积分的定义,在次可加的假定下,讨论了一般可测函数泛积分的线型性。本文将进一步讨论一般实值可测函数泛积分的基本性质,并给出相应的泛积分收敛定理。

2 预备知识

下面我们回顾单调测度和非负可测函数的泛积分的定义。

(1)μ(φ)=0且μ(X)>0;

当μ是单调测度时,(X,A,μ)称为单调测度空间。

取A={a},B={b},则

μ(A)+μ(B)=1.2≠1=μ(A∪B)=μ(X)。

显然,单调测度μ不具有可加性。

一个集函数μ称为

μ(A∪B)≤μ(A)+μ(B)。

下面我们回顾非负可测函数的泛积分的定义。

例2.2 在例2.1定义的单调测度空间中,我们设

可得

由此可知

所以泛积分不具有线性性。

非负可测函数泛积分有以下基本性质(可参见文献[10])。

一般地,基于单调测度的泛积分不具有线型。然而当单调测度是次可加的,则对应的泛积分具有线型性,即文献[1]中证明了以下结论:

3 一般实值可测函数的泛积分

本节中我们讨论一般实值可测函数的泛积分。

f=f+-f-,

其中,f+和f-分别表示f的正部和负部,即

文献[1]中引入了一般实值可测函数的泛积分的定义,我们陈述如下:

当f是非负可测函数时,定义3.1中泛积分的定义与定义2.1一致.因此,一般可测函数泛积分的定义是非负可测函数泛积分定义的推广。

5)若f是可积的,则f是可积的。

证明:由文献[10]中非负可测函数的泛积分性质,1),2)显然成立。

3)对非负函数的泛积分有

当c≥0时,

当c<0时,

4)由f≤g可知,f+(x)≤g+(x),f-(x)≥g-(x),由性质2.1中的3)可得,

5)由于f+≤f且f-≤f,根据性质2.1(3)和f的可积性可知,

f+可积且f-也可积,因此可得f是可积的(在定义3.1的意义下)。

性质证毕。

注1:在经典Lebesgue积分理论中,f的可积性与f的可积性是等价的。

一般地,以上性质(5)的逆命题是不成立的,即由f的泛可积性推不出f的泛可积性。

由此可知f是泛可积的,而f却不是泛可积的:

性质3.2 设μ是次可加的。若f是泛可积的,则f是可积的。

证明:由于f是可积的,且μ是次可加的,由定理2.1[1]可得:

我们知道,一般地,基于单调测度的泛积分不具有线性性,当考虑的单调测度是次可加时,那么相应的泛积分具有线性性。文献[1]中得到了以下结果:

证明:由于μ是次可加的,f和g均可积,故f和g均可积;

由于f+g≤f+g,故f+g可积;

从而,

由非负可测函数的泛积分可得,

由此得

证明:由f=f++f-及非负可测函数的泛积分具有线性可知,

从而

以下我们陈述泛积分的Levi单调收敛定理和Fatou引理,证明与Lebesgue积分的证明一致(参见文献[13])。

定理3.4(Fatou引理)设fn:A→0,∞是非负可测函数列,则

以下我们给出泛积分的一类控制收敛定理:

2)存在A上的泛可积函数g,使得对每一n≥1,在A上几乎处处有fn(x)≤g(x),

则f和fn都在A上泛可积,并且

证明:由fn(x)≤g(x),分以下两种情况讨论:

1)fn(x)≤g(x);

2)-fn(x)≤g(x)。

对第一种情况可得:g(x)-fn(x)≥0,

由Fatou引理得

由μ的次可加性可知,泛积分具有线性性,因此,

由Levi单调收敛定理,

对第二种情况可得:g(x)+fn(x)≥0,

由Fatou引理得

由μ的次可加性可知,泛积分具有线性,因此,

由Levi单调收敛定理,

综合一二两种情况即得

定理证毕。

根据外侧度的性质,本文中的性质2.1、定理2.1、性质3.1、性质3.2、定理3.1、定理3.2、定理3.3、定理3.4、定理3.5对基于外侧度的泛积分仍然成立。特别地,我们强调基于外侧度的泛积分具有线性性。

猜你喜欢
测度单调线性
单调任意恒成立,论参离参定最值
平面上两个数字集生成的一类Moran测度的谱性
线性回归方程的求解与应用
数列的单调性
数列的单调性
我国要素价格扭曲程度的测度
对数函数单调性的应用知多少
二阶线性微分方程的解法
非齐次线性微分方程的常数变易法
ℝN上带Hardy项的拟线性椭圆方程两个解的存在性