Locale的紧正则极不连通反射

本文从任一给定LocaleA,构造出一个紧正则极不连通Locale J(A),且证明了:(1)A是J(A)的稠子locale当且仅当A是正则极不连通(2)对是范畴Loc到子范畴KREDLOC的函子(3)J是子范畴KREDLOC到范畴EDLOC的包含函子的左伴随函子,(即KREDLOC是范畴EDLOC的可反射子范畴。     

κ-仿紧条件下的狭义拟仿紧空间的逆极限定理

给出了在κ-仿紧条件下的狭义拟仿紧性的逆极限定理,对于遗传狭义拟仿紧性,分别给出了在遗传κ-仿紧和遗传κ-次仿紧两个不同条件下的逆极限定理。     

具有两个状态的可修复系统的拟紧性和不可约性

利用算子半群生成元的边界扰动方法,给出了Banach格上C0半群的拟紧性和不可约性的充分条件.并利用本文结果对具有两个状态的可修复系统的拟紧性和不可约性进行了研究.     

强序列紧性,可数强紧性和强列紧性

本文首先指出[1]中定义的序列紧fts和可数紧fts的病态结果,接着定义了强序列紧性,可数强紧性和强列紧性,它们分别以一般拓扑学中相应概念为特款,文中还证明了强序列紧性、可数强紧性和强列紧性分别是一般拓扑学中相应概念的良扩张,最后讨论了引进的这些fts的性质和它们间的联系。     

LF-拓扑空间的强拟紧性

本文将文[1]给出的拟紧概念推广到α-拓扑空间，证明了它是L-好的推广并且它对于正则闭子集是可遗传的．在LF-半正则空间中讨论了强拟紧集与强F紧集的等价性。     

逆极限的超仿紧性

本研究得到如下结果：设Ｘ是逆系统（Ｘａ，πβ＾α，Λ）的极限，│Λ│＝λ，假设每个投射πａ；Ｘ→Ｘａ是开且到上的，Ｘ是λ－超仿紧的，如果每个Ｘα是超仿紧的，则Ｘ是超仿紧的，进一步还要得到遗传超仿紧的类似结果。     

完全正则狭义拟仿紧空间的逆极限及Tychonoff乘积定理

狭义拟仿紧空间是广义仿紧空间类的重要空间,文章在附加完全正则的条件下讨论了狭义拟仿紧空间的逆极限定理和Tychonoff乘积定理,得到以下主要结论:(1)设X=←lim{xσ,πσρ,Σ},并且每一个投射πσ:Χ→Xσ是开满射,设X是Σ-仿紧空间,其中Σ>2,若每一个Χσ是完全正则狭义拟仿紧空间,则Χ也是完全正则狭义拟仿紧空间;(2)记X=∏α∈ΛXα是Λ-仿紧空间,则Χ是完全正则狭义拟仿紧空间当且仅当σ∈Σ,Χ=∏α∈σΧα是完全正则狭义拟仿紧空间,其中:Σ=Λ。文章的证明方法以及得出的结论使狭义拟仿紧空间的逆极限的保持性及其乘积性更加清楚,同时所讨论的内容也使得狭义拟仿紧空间类的一些性质在应用时更加方便。     

关于弱仿紧、狭义拟仿紧性的一些注记

本文肯定地回答了戴牧民提出的是否存在T_2σ-弱仿紧而非弱仿紧的空间,纠正了朱俊的一个错误的结论,并给出一个正规狭义拟仿紧而不是θ-加细空问的例.     

L-拓扑空间中的*-拟仿紧性

利用α-正则闭远域族在L-拓扑空间中定义了一种新的仿紧性,即*-拟仿紧性,并用半内部对其进行了刻划。研究了*-拟仿紧性所具有的一些性质,比如L-good extension,正则闭遗传,弱同胚不变性。讨论了*-拟仿紧空间的半正则化以及*-拟仿紧性在诱导空间中的重要性质。     

拟弱滴状性质与弱紧性

引入了一种新的滴状性质 ,关于局部凸空间中有界闭凸集的拟弱滴状性质 ,利用Rolewicz所引进的流动序列 ,给出了Frechet空间中有界闭凸集的拟弱滴状性质的特征 由此 ,证明了拟弱滴状性质等价于弱紧性 这样 ,Frechet空间为自反当且仅当该空间中每个有界闭凸集具拟弱滴状性质     

Frame偶范畴及若干相关的范畴

引入frame偶范畴FrmPair,它以Frame范畴Frm为子范畴,证明在范畴等价意义下,分子格范畴CD是locale范畴Loc的子范畴;拓扑分子格范畴TML是范畴FrmPoir之逆范畴的子范畴。     

几乎完备例外序列的补

利用垂直范畴和Hammock图中的性质定理,研究了有限维遗传代数A=k→↑△上几乎完备例外序列补的存在性与惟一性。     

扭双指标代数的零关系Ringel对偶

部分解决了惠昌常提出的一个公开问题,给出了广义V 型偏序集的对偶扩张代数的Ringel对偶代数的定义理想的生成元集, 证明了该类代数仍是零关系代数.     

广义半单环

定义并刻划了广义半单环，证明了当Ｇａｂｒｉｅｌ拓扑Ｇ完备时，商环ＲＧ半单等价于环Ｒ是广义半单环     

关于Karoubian范畴的推出范畴的一点注记

给定一个加法范畴A，证明了如果A是Karoubian范畴，则以A中的推出为对象，推出态射为态射所构成的推出范畴A0也是Karoubian范畴。     

构造三角模型结构的新方法

设T 是三角范畴,ξ表示某个三角真类。假设(Q,R)和(Q,R)是两个相对于ξ的完备遗传余挠对,其中R⊆R且Q ∩R=Q∩R。在T 中构造了一个相对于ξ的唯一三角模型结构,Q(Q)作为余纤维(平凡的余纤维)对象的类,R(R)作为纤维(平凡的纤维)对象的类。     

关于Abelian三角范畴的一个注记

主要证明如下结论:如果(C,T,Δ)是三角范畴,则C是Abelian范畴的充分且必要条件是C中三角是由同构于如下形式的态射图构成:U⊕V(00/01)→W⊕V(00/10)→T(U)⊕W(10/00)T(U)⊕T(V).由此得到:如果C是一个Abelian范畴,T是C上的可逆加法自函子,则有且仅有一种方式使(C,T)构成三角范畴.另外,还通过Abelian范畴C上的Serre类,研究局部化范畴C[S-1]是Abelian三角范畴的条件.     

拟Hopf代数上BHQ何时是预辫子monoidal范畴

设H为带有可逆对极的拟Hopf代数, B为左拟Yetter-Drinfeld模代数,并且^H_BQ为拟Hopf Yetter-Drinfeld(H,B)-模范畴。讨论了范畴^H_BQ何时是预辫子monoidal范畴。假设B是H交换的,则拟Hopf Yetter-Drinfeld模范畴^HQ上的辫子诱导出^H_BQ上的预辫子当且仅当^H_BQ中的每一个对象是dyslectic。     

广义路代数的表示范畴

利用构造函子方法证明了广义路代数RQ,A的有限表示范畴等价于它的有限维模范畴,从而推广了路代数的结果.