局部Z-空间和Z-连续空间

对于一般广义子集系统Z,引入了局部Z-空间和Z-连续空间的概念,讨论了局部Z-空间的基本性质;基于收敛网,给出了局部Z-空间的等价刻画,证明了X为Z-连续空间当且仅当X为局部Z-空间。     

关于函数空间的超连续性

超连续格(超连续完备半格)可以由函数空间刻画,并且超连续格(超连续完备半格)在Scott连续函数空间下是封闭的,进而其相应的范畴均是Cartesian闭范畴.     

关于函数空间的超连续性

超连续格(超连续完备半格)可以由函数空间刻画,并且超连续格(超连续完备半格)在Scott连续函数空间下是封闭的,进而其相应的范畴均是Cartesian闭范畴.     

Z-半连续格

作为连续格和半连续格的公共推广,引入了广义理想子系统Z、Z-半连续格及强Z-连续格的概念,讨论了它们的基本性质和Z-半连续格的函数空间的结构,给出了强Z-连续格到方体的嵌入,证明了当子系统Z满足一定条件时,Z-半连续格范畴SCLZ是笛卡儿闭的。     

L—Fuzzy连续序同态的推广

本文推广了LF连续序同态。得到LF几乎连续序同态,LF—σ连续序同态概念。并首次给出LF半几乎连续序同态概念。讨论了各自的性质和相互关系。     

关于交半格同态构成的函数空间与FS-交连续Domain

定义了一类序结构-FS-交连续domain,讨论其相关性质并证明:(1)FS-交连续domain关于由Scott连续且保持非空有限交运算的函数构成的函数空间封闭,以(代数)FS-交连续domain为对象、以Scott连续函数为态射的范畴是Cartesian闭范畴;(2)任意分配可乘的有界完备domain是FS-交连续domain,从而紧连续dcpo的Smyth幂domain是FS-交连续domain.这些结果表明,FS-交连续domain是关于保非空有限交的连续映射构成的函数空间封闭的最恰当序结构.     

拟Z-连续domain和Z-交连续domain

对一般子集系统Z,引入了Rudin性质、拟Z-连续domain及Z-交连续 domain的概念,讨论了它们的基本性质.特别是Z-连续性、拟Z-连续性、 Z-交连 续性和Z-Lawson拓扑之T2性之间的相互关系. 证明了当子集系统Z满足一定条件 时,拟Z-连续domain P上的Z-way below关系Z具有插入性质, P上的Z-Lawson 拓扑λZ(P)是T2的,且P可用Z-Lawson同态嵌入到某方体之中.文中给出了一个 domain P,其上的Lawson拓扑λ(P)是T2的,但P不是拟连续性domain.     

关于交半格同态构成的函数空间与FS-交连续Domain

定义了一类序结构—FS-交连续domain,讨论其相关性质并证明:(1)FS-交连续domain关于由Scott连续且保持非空有限交运算的函数构成的函数空间封闭,以(代数)FS-交连续domain为对象、以Scott连续函数为态射的范畴是Cartesian闭范畴;(2)任意分配可乘的有界完备domain是FS-交连续domain,从而紧连续dcpo的Smyth幂domain是FS-交连续domain.这些结果表明,FS-交连续domain是关于保非空有限交的连续映射构成的函数空间封闭的最恰当序结构.     

一类格序半群的同余

本文讨论了一类可换格序半群的同余性质。给出了这类格序半群同余的表示和同态分解定理。这个结论一般化了［１］和［２］中的结果。     

Category Theoretic Properties of Topological Structures and Proximity Structures on L-fuzzy Space

This paper formulates the category of L-fuzzy spaces and fuzzy functions. It shows that the category of topological spaces and continuous fuzzy functions is a direct generalization of TOP and LTOP Moreover, it defines the concept of proximity space on L-fuzzy space and introduces its fundamental properties. A comparison between the classical case and the ordinary case has been outlined.     

完备格上基于Sup-T合成算子的矩阵的平方根

对于完备格L上给定的|I|×|I|的矩阵R,若存在|I|×|I|的L上的矩阵S满足S⊙S=R,则称S为R的平方根,其中I表示指标集|I|的基数,⊙在本文中指的是sup-T合成算子并且T是无限∨分配的保序的算子。本文给出了完备格上基于sup-T合成算子的矩阵平方根存在的充要条件以及相应的理论上的算法求解所有的平方根。     

基于率模可靠性的客观确定非对称概型功能函数隶属函数的方法

摒弃目前以主观方法给出功能函数对结构安全模糊集隶属函数的做法,提出并从理论上证明了：当功能函数具有非对称概型时,将功能函数的线性函数假想为集值统计的随机集边界点,通过定积分运算获得隶属函数的方法。算例充分说明文中方法的科学性和客观性。     

On complete subsets of the cyclic group

A subset X of an abelian G is said to be complete if every element of G can be expressed as a nonempty sum of distinct elements from X.Let A⊂Zn be such that all the elements of A are coprime with n. Solving a conjecture of Erd?s and Heilbronn, Olson proved that A is complete if n is a prime and if . Recently Vu proved that there is an absolute constant c, such that for an arbitrary large n, A is complete if , and conjectured that 2 is essentially the right value of c.We show that A is complete if , thus proving the last conjecture.     

随机半范模上等度连续的典则模同态族的特征

给出了随机半范模上等度连续的典则模同态族的一个待征——随机半范模上强凸的等度连续的典则模同态族可以被一个性质较好的连续随机半范数所控制．     

几种曲面上的方格和三角格的左右路的计数

设G是连通的胞腔嵌入于某闭曲面的图,G的一条左右路是指沿G的边通过交错的选择最左和最右的边作为下一条边走出的一闭途径．本文计数得到了自然嵌入到环面,Klein瓶和射影平面的方格子和三角格子图的左右路数．     

半连续格和半代数格的映射性质

研究了半连续格及半代数格的一些映射性质,讨论了强连续格的函数空间,给出了强连续格到方体的嵌入定理.     

Characterizations of Arveson's Hardy Space

A Hardy-type space H ² _d in the unit ball B_d of C^d , which was recently introduced by Arveson [W. Arveson (1998). Subalgebras of C*-algebras III: multivariable operator theory. Acta Math., 181, 159-228.], is appropriate for the operator theory of d-contractions. In this article, it is proved that H ² _d actually coincides with a Hardy-Sobolev space. This yields almost immediately some of the related results obtained in [W. Arveson (1998). Subalgebras of C*-algebras III: multivariable operator theory. Acta Math., 181, 159-228.], including the facts that H ² _d is not associated with any measure on C ^d ; and that the corresponding algebra of multipliers M ? H ^∞(B_d ) and the inclusion is proper. Finally, a function-theoretic version of von Neumann's inequality for the d-contractions is presented.     

Trace Theorems for Sobolev Spaces of Variable Order of Differentiation

We prove a trace theorem and an extension theorem for Sobolev spaces of variable order of differentiation which are defined by pseudodifferential operators.