抽象Lebesgue积分的等价定义

抽象测度空间(Ω,F,μ)上可测函数的Lebesgue积分通常是由以下程序确定的先定义简单可测函数的积分,再定义非负可测函数的积分,最后定义一般可测函数的积分,但有的文献不是这样定义的.在此,证明了三种不同定义的等价性.     

抽象Lebesgue积分的等价定义

抽象测度空间（Ω，F，μ）上可测函数的Lebesgue积分通常是由以下程序确定的：先定义简单可测函数的积分，再一义非负可测函数的积分，最后定义一般可测函数的积分，但有的文献不是这样定义的。在此，证明了三种不同定义的等价性。     

鞅空间上的几何极大算子

设(Ω,(F),μ)是一完备的概率空间,假定((F)n)n≥0是(F)的完备子σ代数的一个增加族,满足(F)=∨n≥0(F)n,其中F0是平凡的((F)0=(φ,Ω)),f=(f1,f2,…)是Ω上的实值函数序列,且fn关于((F)n,μ)可测,(A)n.定义f=(fn)n≥0为一个鞅[1],如果每个dn可积,且E(dn 1|(F)n)=0,n=0,1,…;其中E(·|(F)n)表示关于测度μ的条件期望算子.     

广义模糊Choquet积分的自连续性

在一般模糊测度空间的任一子集上,对给定的μ-可积模糊值函数,定义了广义模糊Cho-quet积分,并将这种积分整体看成可测空间上的模糊值集函数,进而讨论它的上(下)自连续性和一致上(下)自连续性等.     

关于模糊积分的一点注记

设(X,B,μ)为模糊测度空间,对于可测函数fX→[0,+∞),称∫fμ(*)=∧α∈[0,+∞)(α∨μ(Fα*))为f的(∧-∨)-模糊积分,通过引入广义简单函数和利用下截集的概念,将(∧-∨)-模糊积分用广义简单函数来逼近.     

在Bochner函数空间Lp(u,x)中的Frechet可微点

设X是Banach空间,(Ω,∑,μ)是一个正测度空间,Lp(μ,X)表示在测度空间(Ω,Σ,μ)上P-可积、X-值、μ-可测函数的等价类所组成的Lehesgue-Bochner空间。I.E.Leonard和K.Sundaresan曾经证明,Lp(μ,X),1相似文献   

鞅的极小算子及加权不等式

设(Ω,F,μ)是一完备的概率空间,假定(Fn)n 0是F的完备子σ代数的一个增加族,满足F=∨n 0Fn,其中F0是平凡的(F0=(Φ,Ω)),f=(f1,f2,…)是Ω上的实值函数序列,且fn关于(Fn,μ)可测,n.我们定义f=(fn)n 0为一个(上,下)鞅[1],如果每个dn可积,且E(dn 1|Fn)(,)=0,n=0,1,…;其中E(·|Fn)表示关于测度μ的条件期望算子.若f=(fn)n 0是鞅或下鞅,则称mf=inf0 n<∞|fn|为f的极小算子[2].现在我们考虑单权意义下极小算子的加权不等式,以下的两个定理分别刻画了Ap权和Wp权的性质.定理1设p>1,则ω∈Ap,即E(ω|Fn)E(ω-p1-1|Fn)p-1 K a.e.n 0,当且仅…     

广义模糊值Choquet积分的双零渐近可加性

在一般模糊测度空间的任一子集上,对给定的μ-可积模糊值函数,建立所谓的广义模糊值Cho-quet积分,并将这种积分整体看成可测度空间上取值于模糊数(值)的集函数,进而讨论当模糊测度满足上(下)自连续性时,这种积分所对应的模糊值集函数将分别具有双零渐近、伪双零渐近可加性.     

Pettis可积性的一个判别条件

设Ｘ是Ｂａｎａｃｈ空间，Ｘ＾＊是其共轭空间，而（Ω，Σ，μ）是完备的有限测度空间。证明了：μ－可测的Ｄｕｎｆｏｒｄ可积函数ｆ：Ω→Ｘ是Ｐｅｔｔｉｓ可积的，当且仅当标量值函数族｛ｘ＾＊ｆ：‖ｘ＾＊‖≤１｝是一致可积的。     

建立完备测度空间的4种方法及其等价性

对给定测度空间（Ω，F，μ），给出了4种建立完备测度空间的方法：设μ^*是由μ引出的外测度，令F^*为μ^*可测集全体，得到（Ω，F^*，μ^*）；N是μ－零测集全体，令－↑F＝｛A∪N：A∈F，N∈N｝，定义－↑μ（A∪N）=μ（A），得到（Ω，－↑F，-↑μ）；令F^△＝｛A△N：A∈F，N∈N｝，定义μ^△（A△N）＝μ（A），得到（Ω，F^△，μ^△）；令＝↑F=｛A：存在A1、A2∈F，使A1∪→A∪→A2且μ（A1）＝μ（A2）｝，定义＝↑μ（A）＝μ（A1），得到（Ω，＝↑F，＝↑μ）。并证明了它们之间的等价性，结论是测度空间的完备化是由给定的测度空间唯一确定的。     

可测函数的一些刻画

本文给出了可测函数的一些刻画，证明了定义在可测集E包含R^n上几乎处处有限的函数f（x）在E上可测当且仅当任给δ〉0，存在可测集F包含E，使得m（E-F）〈δ且f（x）是F上可测函数．这一结果对经典的卢津定理的逆定理给出了一个实质性的改进.     

向量值可测函数的连续性

本文给出了向量值可测函数等价类〔f〕的连续和弱连续的定义,并得到如下结果:如果〔f〕在〔a,b〕(?)R上(弱)连续,则必存在且唯一的g∈〔f〕使得g是〔a,b〕上的(弱)连续函数。以上定义及结论是A.C.Zaanen在文〔1〕中相应部分的推广。     

可测函数与零测度集

讨论零测度集对可测函数所产生的影响,并证明了存在直线上的可测集A,使得f^-1(A)不是可测集．     

向量值可测函数的可导性

文[1]给出了向量值可测函数的连续性的一些结果,本文主要讨论向量值可测函数的强可导及弱可导性,并得到了一些相应的结果。     

可测横截集及小波框架

定义和刻画了空间L2(R2)中的可测横截集被,利用可测横截集的理论,得到一个小波框架,而且它的对偶也是小波框架,最后构造了广义的Shannon小波基.     

可求积集的若干性质

研究可求积集与可求积集的分割,给出了一组性质,推广了关于分割的一个重要结论.     

部分状态可测的鲁棒自适应控制

本文研究了一类部分状态可测的鲁棒自适应控制系统,导出了当部分状态信息可测时的自适应控制律,分析了系统的稳定性.文中进行了数字仿真,分析及仿真表明,该方案具有较强的鲁棒性,能用于实际控制系统.     

可测横截集及类Shannon抽样定理

L^2（R^2）中可测横截集被定义,它的性质被刻画,与之相联系一个标准正交基也被导出.从而,在L^2（R^2）中,具有更广泛形式的类Shannon抽样定理被发现.最后一些例子被给出.     

可测集定义的一个附注

测度论中的可测集的定义通常由Caratheodory条件给出．本文在有限可测空间上简化Caratheodory条件，给出可测集的一个新定义，并证明两个定义是等价的．