直觉I-fuzzy拓扑空间中,T3,T4分离公理

目的讨论直觉I-fuzzy拓扑空间中的T_3,T_4分离公理以及与T_1,T_2分离公理的关系。方法 L*-格值上Lukasiewicz蕴含算子。结果与结论首先给出直觉I-fuzzy拓扑空间中T_3,T_4分离性的概念,接着得到它们的等价命题,最后讨论了T_3,T_4分离性与T_1,T_2分离性的关系。     

分离公理的关系

通过对拓扑空间上分离公理之间的讨论得出公理关系链，主要给出了各分离公理不能包含的例子。     

L-fuzzy U-分离公理及其特征

在ＬＦ拓扑空间中引入Ｌ－ｆｕｚｙＵｉ（ｉ＝－１，０，１，２，３，４）、Ｌ－ｆｕｚｚｙＵ－正则及Ｌ－ｆｕｚｚｙＵ－正规分离公理．讨论了这些分离公理的特征及其相互关系．证明了这些分离公理是遗传和拓扑不变的等重要性质．     

T~*—型空间和T~*(ω_μ)—型空间

本文中,我们考察了T*一空间和T*(ωμ)一空间,这是[Ⅰ]中结果的发展,我们的主要想法是在分离公理中,以紧集去代替点,其主要结果是定理11和15。     

基于间断区间的时态关系处理

定义了基于间断区间的时态的逻辑的公理，分离规则，证明等概念，特别，讨论了区间分离后的时态关系确定问题以及公理的完备性。     

半分离空间的映射性质

将分离公理推广为半分离公理，讨论了半分离空间在同胚映射、强半开映射、弱半开映射、半开映射和弱连续映射下的有关性质。     

模糊逻辑系统UL*不具有标准完备性

证明了由Cignoli等人提出的模糊逻辑系统L∏G的特征,公理(L∏G)是张小红提出的UL*系统的重言式,但不是UL*系统的定理,这一结果表明UL*系统不具备标准完备性。     

Lω-空间中的ω*Ti分离性

在Lω-空间中引进一组新的分离公理。即ω^＊Ti分离公理（i=0，1，2），给出了它们的特征性质，证明了ω^＊Ti分离性具有可遗传性、可乘性和ω-同胚不变性，以及在R．Lowen意义下“好的推广”等重要性质，并且它们之间有很好的协调一致性．     

拟拓扑群中的嵌入性质

本文主要刻画第一可数拟拓扑群乘积空间的子群,得如下结论:1)设G是满足T_1分离公理的拟拓扑群,则G拓扑同构于一族满足第一可数且满足T_1分离公理拟拓扑群乘积空间的子群当且仅当G是w-balanced和局部w-good;2)设G是满足T_2分离公理的拟拓扑群,则G拓扑同构于一族满足第一可数且满足T_2分离公理拟拓扑群乘积空间的子群当且仅当G是w-balanced、局部w-good和Hs(G)≤w;3)设G是满足正则分离公理的拟拓扑群,则G拓扑同构于一族满足第一可数且满足正则分离公理拟拓扑群乘积空间的子群当且仅当G是w-balanced、局部w-good和Ir(G)≤w.     

连续值逻辑系统中的代换定理

在舍弃了经典逻辑系统中公理L1的基础上建立了一类模糊命题逻辑的准形式演绎系统L^*G-R，并在此基础上研究了模糊逻辑系统中的代换定理，为进一步研究模糊命题逻辑系统的完备性奠定了一定的基础．     

［0,1］-F分离性

定义了Ti-(i=3,4)和T*i-(i=3,4)分离性,讨论了它们的关系,研究了它们的性质,最后,讨论了T*i-(i=3,4)与Ti-(i=1,2)的关系.     

拟-*-A(n)算子的性质

主要给出了拟-*-A(n)算子的一些性质,若T是拟-*-A(n)算子,则T有SVEP.作为此性质的应用,证明了若T是拟-*-A(n)算子,则B-Weyl谱的谱映射定理成立;若T或T*是拟-*-A(n)算子,则广义Browder定理对T成立.     

Banach空间的凸性算子

定义了严格凸算子和光滑算子，证明了若Ｔ＊是严格凸算子，则Ｔ是光滑算子；若Ｔ＊是光滑算子，则Ｔ是严格凸算子     

二氟锗烯与乙烯环加成反应的机理

用二阶微扰和密度泛函理论研究单重态F2C＝Ge:与C2H4环加成反应机理,采用MP2/6-31G·和B3LYP/6-31G·方法计算势能面上驻点的构型参数、振动频率和零点能;利用CCSD(T)//MP2/6-31G·和CCSD(T)//B3LYP/6-31G·计算各构型的能量;利用CCSD(T)//MP2得到单线态F2...     

TG*h函数的性质讨论

在Baemstein[2]及王键[3]定义的*—函数和T^*的研讨下，对TG^*h函数的性质进行研究，作出一些讨论，得出TG^*算子的有界性和连续性的结论及TG^*h，与h的非增对称重排之间的关系．     

本性正规算子的Aluthge变换

设T∈B(H), T=U|T|是算子T的极分解, 则定义Tt=|T|tU|T|1-t和Tt(*)=|T*|tU|T*|1-t(其中0相似文献   

δ-Hom-Jordan李色代数的T*-扩张

先通过2-上圈和余伴随表示构造δ-Hom-Jordan李色代数的T*-扩张, 得到T*-扩张T^*_ωL的可解性和幂零性, 然后给出平凡T*-扩张T^*₀L具有分解性的充分条件.     

k-拟-*-A算子的性质

主要引入了一类新的算子k-拟-*-A算子,它是*-A类算子的推广,继而研究了一些它的重要性质,诸如若T是一个k-拟-*-A算子,则T在它的不变子空间M上的限制T|M也是k-拟-*-A算子;若T是一个k-拟-*-A算子且λ≠0,则N(T-λ)■N(T-λ)*.     

关于*-仿正规压缩算子的性质

主要研究了压缩的*-仿正规算子的一些性质,证明了若T是一个压缩的*-仿正规算子,则正算子D=12(T*2 T2-2TT*+I)是一个压缩算子,且算子序列{Dn}强收敛于一个投影算子P,满足T*P=0;若T没有非平凡的不变子空间,则(i)T是真压缩算子,(ii)正算子D=12(|T2|2-2|T*|2+I)是强稳定压缩算子.     

下与上弱半预连续模糊多值映射

在文（７）中引入并研究了一般拓扑空间（Ｘ,Ｔ）与模糊拓扑空间（Ｙ,Ｔ１）之间的模糊下与上半预连续多值映射的概念,本文讨论其弱形式模糊下与上弱半预连续多值映射,并借助于映射Ｆ,与Ｆ研究了它们的一些基本性质,同时讨论了它们和已有的模糊多值映射的关系。