σ-有限测度空间的Loeb空间

本文在充分大的k-饱和非标准模型中讨论。令(X,A,μ)是一个σ-有限的测度空间,从而存在{E_n}↑A,使X=∪E_n且μ(E_n)<+∞,n∈N。对每一A∈A及n∈N,令μ_n(A)=μ(A∩E_n)。每一个有限测度空间(X,A,μ_n)相应的Loeb空间为(~*X,~*L(~*A,~*μ_n),L(~*μ_n))。     

由有限核生成的Loeb测度

在非标准多饱和模型下,研究了由有限核生成的Loeb测度的性质. 首先,利用内可测空间中的内有限核构造了相应的Loeb测度. 其次,讨论了内可测空间和内乘积可测空间中由内有限核生成的Loeb测度的性质. 最后,在内乘积可测空间上,证明了由内有限核生成的Loeb测度的Keisler’s Fubini定理.     

广义Loeb测度及像Loeb测度的性质

广义Ｌｏｅｂ测度及像Ｌｏｅｂ测度的性质陈东立１冯汉桥２（１西安建筑科技大学基础课部，西安７１００５５；２陕西师范大学计算机科学系，西安７１００６２；第一作者，男，３２岁，讲师）１广义Ｌｏｅｂ测度设（Ｙ，Ａ，ν）为一个内的有限可加测度空间，即（Ｙ，Ａ，...     

集值测度的半变差

本文用支撑函数定义了集值测度的半变差。，并讨论了其性质，最后给出了用广义数值测度来刻划集值测度半变差的一个结果。     

建立完备测度空间的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,μ) .并证明了它们之间的等价性 ,结论是测度空间的完备化是由给定的测度空间唯一确定的     

Loeb乘积空间及Keisler′s Fubini定理

在非标准多饱和模型下,研究了Loeb乘积空间及Keisler′s Fubini定理。首先,应用Loeb构造方法分别构造了Loeb乘积空间 L（Y1× Y2）和乘积Loeb空间 L（Y1）× L（Y2）,并得到了L（A1）L（A2）包含于 L（A1× A2）。其次,？ A ∈ L（A1× A2）,证明了如果（ν1×ν2）L（A）＝0,则对于几乎所有的 y1∈ Y1,截口 Ay1是 L（A2）-可测的。最后,在Loeb乘积空间上证明了Keisler′s Fubini定理。     

模糊σ代数上的模糊数值测度及应用(Ⅱ):广义矢值测度的约当分解

(X,A,μ)是一个全有限测度空间．H为由A生成的模糊σ-代数．通过计算H中模糊子集的截集的测度,运用一维模糊数的嵌入定理,构造了一种定义在H上取值于一维模糊数空间的测度,这种测度限制在A上就是测度μ．并且这个测度继承了μ的可列可加性、下连续性、上连续性、自连续性等性质．作为应用之一,在合理定义了广义矢值测度后,得到了约当分解定理,并且这种广义矢值测度就是一个模糊数值测度．     

S-饱和集的特征及其应用

引入并系统地研究了一般拓扑空间(X,τ)的非标准扩张(~*X,~*τ)的S-饱和集,证明了标准Souslin集与Loeb可测集的关系定理,得到了~*μ_L-零集在标准部分映射下是μ-零集的充分条件。     

乘积空间r∏i=1 D上的一类Toeplitz型算子

假设L(→)α.2(r∏i=1 D,dμ(→)α)是乘积空间r∏i=1 D上的带有加权测度dμ(→)α(z)= r∏i=1α+1/π(1-| z|2)ai dm(z)的平方可积函数空间,在本文中我们首先给出了空间L(→)α.2(r∏i=1 D,dμ(→)α)的一个完全正交分解,然后我们定义了一类Toeplitz型算子Tkb,并且证明了它们的有界性、紧性及Schatten-von Neumann性质.     

带测度权Dirichlet空间上的复合算子

对各空间上复合算子性质的研究一直备受关注,也有很多经典的结果,但对Dirichlet空间上复合算子的研究却不多,尤其是带测度权的Dirichlet空间。首先,令M和N表示复平面上两个开、连通的非空子集,称M和N为C上的域,ρ是一个从M到N的解析映射。接着定义了带测度权的Dirichlet空间D_μ,使得在该空间上的复合算子更具有一般性。M和N的带测度权Dirichlet空间分别用D_μ(M)和D_μ(N)表示。C_ρ表示从D_μ(N)到D_μ(M)的复合算子,由C_ρf=f°ρ定义。当ρ为非恒定解析映射时,结合Carleson测度以及再生核的定性性质证明了C_ρ可逆和C_ρ为Fredholm算子的充分必要条件;若ρ为解析映射,并满足?_(μ-r)(ρM)=,结合Carleson测度,证明了C_ρ为可逆算子的充分必要条件为ρ可逆。