关于度量空间的formal balls构成的偏序集

formal ball构成的偏序集为度量空间理论和domain理论提供了联系.作者考察了Ω-范畴的tensor完备化,证明了当度量空间被视为Ω-范畴时,其formal ball构成的偏序集正好是它的tensor完备化.     

关于连续Ω-范畴的讨论

作者引入了理想完备Ω-范畴上的way below关系与完备Ω-范畴上的well below关系,证明了理想完备Ω-范畴上的连续性和完备Ω-范畴上的完全分配性可以分别用这两个关系来刻划,得出了完全分配Ω-范畴连续的推论.     

Ω-极限集的性质

在研究紧度量空间上流的分解时,C.Conky引入了关键性的概念--Ω-极限集,并讨论了其性质.在此基础上,进一步研究紧度量空间上动力系统连续流的Ω-极限集的相关性质.作为应用,最后得到了关于吸引子极限集的性质.     

半群的广义Ω-模糊双理想

给定一个集合Ω,引入半群的广义Ω-模糊双理想概念,讨论了它的一些相关性质及等价刻画,研究了半群的广义Ω-模糊双理想的同态像与原像的性质。此外,通过在SΩ上定义运算得到半群(SΩ,),并研究了其双理想与广义Ω-模糊双理想。     

半群的Ω-模糊内理想

给定一个集合Ω,引入半群的Ω-模糊内理想的概念,讨论它的基本性质及其等价刻画,研究了半群的Ω-模糊内理想的同态像与原像的性质。此外,通过在SΩ上定义运算得到半群(SΩ,),研究了其内理想与Ω-模糊内理想。     

乘积空间正规性的一个结果

T.Przymisin'ski 1980年在文[1]中提出研究N(X)(其中N(X)表示与正规空间X的乘积仍为正规的拓扑空间Y所组成的类)。对不同的拓扑空间X,给出类N(X的特征刻划是这个问题的一个重要方面. 本文给出当X为Ω-紧空间,Y为Ω-空间时(Ω-网空间,Ω-Frechet空间与Ω-邻域空间的总称)积空间X×Y为正规的充要条件。这几类空间的定义见文[2],主要结果     

有关链极限集的一个Conley定理

讨论度量空间里流的Ω-极限集和子集序列的极限集 .指出了文 [8]错误地否定了一个 Conley定理 ,同时加强了 Conley的结论 .     

有关链极限集的一个Conley定理

讨论度量空间里流的Ω-极限集和子集序列的极限集.指出了文[8]错误地否定了一个Conley定理,同时加强了Conley的结论.     

R0-代数的R0-语义集上的拓扑

以ΩM记R0-代数M到R0-单位区间的全体赋值之集.证明一个同构于一族全序的至多可数的R0-代数的直积的子R0-代数M是赋值决定序的,即x≤y当且仅当(V)v∈ΩM,v(x)≤v(y).然后通过一种自然的方式在ΩM上引入Fuzzy拓扑δ,研究拓扑δ及其相应的截拓扑的性质.建立R0-代数的Fuzzy拓扑表现定理和Loomis-Sikorski定理.     

关于BCI-代数的闭Ω-模糊理想

研究了BCI-代数的闭Ω-模糊理想的性质,讨论了闭模糊理想与闭Ω-模糊理想的相互构造,论述了怎样将闭Ω-模糊理想的同态象和同态原象变成闭Ω-模糊理想,给出了BCI-代数的闭Ω-模糊理想与BCI-代数的积代数的闭Ω-模糊理想之间的关系.     

Ω-群的同态定理

对Ω-群作了初步的探讨.通过对一般抽象群的同态定理的研究,得到了Ω-群的子群对应定理.设π是Ω-群G与它的商群G/N之间的自然同态,则π建立了G中所有包含N的Ω-子群与G/N中全部Ω-子群之间的一个一一对应.     

多值滤子及其应用

研究了模糊集理论中的一个基本问题：什么是多值滤子？利用模糊幂集固有的模糊偏序,通过给出滤子公理的多值解释,对该问题给出了一个新的回答.此外,作为多值滤子的一个应用,用它刻画了强Ω拓扑.     

布尔代数的Ω-模糊子代数

研究布尔代数的Ω-模糊子代数及其性质．定义布尔代数的仔模糊子代数,给出布尔代数的Ω-模糊子代数的两个简化判定定理,并证明布尔代数的Ω-模糊子代数的交、同态像和同态逆像等也是布尔代数的Ω-模糊子代数．然后,令RΩ表示集合Ω到布尔代数R的所有映射的集合,通过在RΩ上定义3种运算 , ,-,得到布尔代数〈RΩ, , ,-,I0,I1〉,并研究与其相关的模糊子代数和Ω-模糊子代数．     

BCH代数的拟结合Ω-犹豫模糊理想

给定一个集合Ω,在BCH代数中引入拟结合Ω-犹豫模糊理想的概念,讨论它的一些性质和等价刻画;研究了拟结合Ω-犹豫模糊理想的同态像与同态原像的性质;讨论了如何由BCH代数中的拟结合犹豫模糊理想构造拟结合Ω-犹豫模糊理想;给出了拟结合Ω-犹豫模糊理想与乘积型BCH代数的拟结合Ω-犹豫模糊理想的关系.     

半群的Ω-模糊子半群

给定一个集合Ω,引入半群的Ω-模糊子半群的概念,研究其一些基本性质。给出半群的Ω-模糊子半群的等价刻画,证明了半群的Ω-模糊子半群的交、同态像与原像等也是半群的Ω-模糊子半群。最后,通过在SΩ上定义运算得到半群(SΩ,),并研究了其模糊子半群与Ω-模糊子半群。     

广义Macaulay-Northcott模与包络

研究了广义Macaulay-Northcott模的包络性质.设M是右R-模,Ω是一个右R-模的类,E∈Ω,i:M→E是右R-模同态,证明了i:M→E是M的Ω-包络当且仅当[is,≤]:[Ms,≤]→[Es,≤]是[Ms,≤]的[Ωs,≤]-包络,其中[Ms,≤]是右R-模M上的广义Maucaulay-Northcott模;讨论了[Ms,≤]的Galois群与M的Galois群之间的关系.     

R0-代数的R0-语义集上的拓扑

以Ω_M记R₀-代数M到R0-单位区间的全体赋值之集. 证明一个同构于一族全序的至多可数的R₀-代数的直积的子R₀-代数M是赋值决定序的， 即x≤y当且仅当v∈Ω_M， v(x)≤v(y). 然后通过一种自然的方式在Ω_M上引入Fuzzy拓扑δ，研究拓扑δ及其相应的截拓扑的性质. 建立R₀-代数的Fuzzy拓扑表现定理和Loomis-Sikorski定理.     

格蕴涵代数的Ω-犹豫模糊LI-理想

在集合 Ω中,用犹豫模糊集、Ω-模糊集来研究格蕴涵代数,定义了格蕴涵代数中的 Ω-犹豫模糊LI-理想,讨论其性质及若干等价刻画;研究了 Ω-犹豫模糊LI-理想与其LI-理想之间的关系;讨论了格蕴涵代数的 Ω-犹豫模糊LI-理想的同态像与同态原像的性质.     

Ω-群范畴是幺半范畴

主要证明了Ω-群范畴是幺半范畴。     

Ω-Abel群范畴中的积与余积

引入以交换的有单位元的Quantale为真值集的Ω-Abel群范畴的概念,利用范畴理论研究了Ω-Abel群范畴的积与余积.