拓扑分子格范畴中的积运算

文[1,2]以近年来发展起来的Fuzzy拓扑学中的工作为基础,建立了完全分配格上的点式拓扑理论。在文[1—3]的基础上,文[4]证明了分子格范畴对乘积运算封闭,并给出了其具体构造。本文进一步证明拓扑分子格范畴也对乘积运算封闭,同时给出了拓扑分子格范畴中的乘积结构。本文还证明这种乘积具有良好的性质,比如:连通性是可乘的最后,给出了这种乘积与L-Fuzzy拓扑空间乘积的关系。     

锥拟凸集值映射多目标优化的解集的连通性

在一般拓扑向量空间中,本文引进了一类锥进凸（锥严格拟凸）集值映射。并在目标映射是锥拟凸（锥严格拟凸）和上半连续的条件下,利用Minkowski泛函,证明了弱有效解（有效解）集是连通的。文[9]中的结论是本文所得结果大目标映射为单值和拓扑空间为格的情况下的特例。     

Locale的弱拓扑表达

本文引入了弱拓扑空间的概念,证明了locale范畴与弱拓扑空间范畴的关系类似于拓扑空间范畴与locale范畴的关系。locale范畴严格包含于弱拓扑空间范畴并且与Sober的弱拓扑空间范畴等价。     

Hamilton体系与辛正交系的完备性*

本文定义了一个Banach空间ZH,并证明了一类Hamilton体系的本征函数系(辛正交系)在ZH空间中具有完备性.还证明了如下结论ZH空间能连续嵌入到L₂[0,1]×L₂[0,1]但ZH≠L₂[0,1]×L₂[0,1].     

有限维空间强制上半连续映射的满射性的新证明

Browder 和 Hess 给出了有限维 Banach 空间强制上半连续映射的满射性结果([1],Proposition 10),用它证明了自反 Banach 空间伪单调强制映射的满射性定理,可见这一结果的作用是重要的.他们所用的方法是有限覆盖和单位分解.Aubin 在[2]中也写进了这一结果,所用的证明方法是应用 Browder-Ky Fan 定理.本文用多值映射的单值逼近和拓扑度的同伦不变性给出了一个新证明,为多值映射问题的单值化证明提供了一条可行的途径.     

多值映象的不动点集的本质连通区及其对博奕论的应用

<正> 在文[1]中,我们曾对多值映象引进本质不动点的概念,并证明了任何映象均可用不动点全为本质不动点的映象来任意逼近.但是,甚至就在空间具有所谓不动点性质时,也并非任何映象均至少有一本质不动点,例如,区间[0,1]到自身的恒同映象就沒有任何本质不动点.因此,Kinoshita 曾对单值映象引进不动点集的本地质连通区的概念,并证明对     

度量子空间上概率测度的弱收敛问题

设{X_n},{Y_n}分别是度量空间C,D上的两个随机元序列,这里C,D分别表示度量空间C[0,1],D[0,1]。C上的度量为通常的一致距离,图为ρ;D上的度量为Skorohod距离,记为d,由一致距离ρ产生的拓扑称为一致拓扑,记为,由Skorohod距离d所产生的拓扑,称为Skorohod拓扑,记为u'=σ(),=σ()分别表示由开集类,'所产生的σ域W为c上的Weinri测度W'是W在D的扩张。[1]中引理2.8指出:     

Fuzzy关系的α广义分解

在[0,1]格上讨论了Fuzzy关系α广义可分解问题,证明了[0,1]格上的任一Fuzzy关系R都是α广义可分解的,且给出了R的α广义分解解集.     

关于超一致空间的一个注记

最近,张德学引入了拓扑构造的co-tower扩张这一概念,并证明了不分明拓扑学中若干熟知的范畴构造可以表示为较为简单的范畴构造的co-tower扩张.本文证明了由J.GutiérrezGarcía和M.A.dePradaVicente[3]引入的超一致空间构造SUS具体同构与R.Lowen[9]意义下的不分明一致空间构造FUS的cco-tower扩张的一个满子构造,而已知FUS同构于一致空间构造的co-tower扩张.     

L-拓扑空间中的T3#分离性

在L-拓扑空间中定义T3#,T3分离性,讨论与其他分离性的关系,论证了它们是L-好的推广,证明了T3#空间范畴是有积和上积的范畴。     

Bernstein-Durrmeyer-Bezier算子在L_P[0,1]上的逼近性质

对[0,1]上的L—可积函数ф及α>0定义下列B—D—B算子;本文研究了M_(na)(ф,x)当α>0时,在L_P(0,1](1≤p<+∞)的一致逼近;当α≥1时在L_P[O,1]及L~1_P[0,1]逼近度的量化估计。作者在文[4]中定义了B—D—B算子:其中f_(nk)(X)称为Bézeief基函数文[4]研究的是B—D—B称子在C[0,1]空间中的逼近性质,本文继续[4]的工作,专研究这个算子在L_P[0,1](1≤P<+∞)的逼近性质,证明了M_(na)(ф X)当α>0时在L_P[0,1]中为一致逼近,并得到了当α≥1时在L_P[0,1]及L~1_P[0,1]中逼近度的量化估计。     

关于 D-紧性的几点注记

文献[1]中给出了拓扑空间的一种新的紧性,即 D-紧性,这里 D 是自然数集合 N 上的超滤。这种紧性介于可数紧性与紧性之间,且确实不同于这两者。[1]中证明了 D-紧性在拓扑空间的乘积运算下是保持的,即推广了紧空间的乘积的 Tychonoff 定理。文献[2]又成功地将这种紧性概念扩张至 D 是任意定向集上的超滤的情形,并利用紧度的概念对 D-紧性、紧性及其它们之间的关系作了深入研究。[2]中证明了:拓扑空间是紧的当且仅当它的紧度是∞(无穷大)。又证得了:乘积空间的紧度等于各个因子空间的紧度之最小者。这是[2]的主要结果,它进一步推广了 Tychonoff 定理。本文则是在文献[1]与[2]的基础上的进一步发展。作者利用 D-闭映射给出了 D-紧性的一个等价条     

关于具贝尔性质的函数所组成的半序空间

杨宗磐在[2]中直接证明了下列事实:设B是[0,1]上一切具(广义)Baire性质并在除第一纲集外取有穷值的实值函数全体,n表示[0,1]上一切除在一个第一纲集外等于0的实值函数全体,那末[即在中把只在一个第一纲集上取不同值的函数等同起来]成为一个连续的备Riesz空间(即[6]中所谓连续K空间)。杨先生并指出这是一个不知道是否具度量的备Riesz空间。本文的目的在于给这个问题提供解答,即从Floyd     

强[0,1]-拟阵

本文研究一类特殊的[0,1]-拟阵,即强[0,1]-拟阵,它属于G-V模糊拟阵类和H模糊拟阵类之交,证明了强[0,1]-拟阵的模糊基交换性定理。     

Domain函数空间上Isbell拓扑与Scott拓扑何时相同

本文证明了,若L是一个双完备的连续DCPO,则对所有的RW-空间X,函数空间[X→L]上的Isbell拓扑和Scott拓扑相同当且仅当L是有最小元的L-Domain.而且还证明了,若X是核紧的局部连通空间,则对所有有最小元的连续L-DomainL,[X→L]上的Isbell拓扑和Scott拓扑相同当且仅当X是RW-空间.特别地,若X是连续DCPO,则对所有有最小元的连续L-DomainL,函数空间[X→L]上的Isbell拓扑和Scott拓扑相同当且仅当X是RW-空间.这也给出由Lawson和Mislove提出的一个公开问题的一个部分回答.     

L-预拓扑空间的强连通集和局部强连通L-预拓扑空间

定义L-预拓扑空间中的强连通L-子集以及L-预拓扑空间的局部强连通性,证明了它们和拓扑空间中的连通子集以及局部连通性拓扑空间有类似的性质,证明了局部强连通L-预拓扑空间和连续映射构成的范畴L-LSCPS是topological construct.     

MV-代数的素滤子MV-拓扑空间

在MV-方体[0,1]X的子集Ω上引进MV-拓扑结构,并套论MV-拓扑空间的紧性、Hausdorff分离性等拓扑性质.细致地讨论MV-代数的素滤子集上的MV-拓扑空间(M,ΩM),证明素滤子MV-拓扑空间是紧Hausdorff MV-空间,并且它还是良紧空间.作为应用,证明一个σ-完备格M是MV-代数当且仅当M同构于某个Stone MV-空间的MV-开闭集格.     

MV-代数的Fuzzy拓扑表现定理

以ΩM记MV-代数M到MV-单位区间[0,1]的全体Lukasiewicz赋值之集．本文证明了格完备的MV-代数是正则的,从而可通过一种自然的方法在ΩM上引入fuzzy拓扑δ,建立了MV-代数的fuzzy拓扑表现定理,并给出了fuzzy拓扑δ的一些性质．     

ω-范畴完全理论的特征

在一阶理论的型中建立了拓扑空间,证明了该拓扑空间的基本性质;利用上述性质,证明了ω－范畴完全理论的新特征。     

广义凸函数相关集合的稠密性问题

应用新方法,研究十二类广义凸函数相关集合的稠密性问题.证明了其中的八个集合在[0,1]中是稠密的.应用反例说明了其中的四个集合在[0,1]中不必稠密.