一类完全分配格的层次结构与其在拓扑分子格的应用

本文利用完全分配格的直积分解,在完全分配格中引入了层次结构概念,证明了一类完全分配格存在唯一的层次结构,并在此基础上引入了赋层完全分配格概念,证明了以赋层完全分配格为对象,以保层同态为态射的范畴与以形如L~x的完全分配格为对象,以双诱导映射为态射的范畴是等价的. 此外,作为上述结果的一个应用,在一类拓扑分子格中给出了具有层次特点的紧性概念.     

变量极小公式复杂性

基于逻辑公式的极小变量集合的需求, 研究了变量极小等价(VME)和变量极小可满足(VMS)问题的理论性质. 引入等价关键变量和可满足关键变量概念, 证明它们的判定复杂性分别为NP-完全和D^P-完全. 通过等价关键变量和可满足关键变量, 分别定义VME和VMS. 证明了Unique-SAT VMS VME SAT, 其中Unique-SAT是具有唯一成真赋值的公式类. 进一步证明VME是NP-完全, VMS属于D^P且是coNP-难.     

强可识语言族

Σ为一有限集,Σ~*表示Σ生成的自由么半群,Σ~*的元素与子集分别称为Σ上的字与语言,2~(Σ*)表示Σ~*的幂集,L(Σ)=2~(Σ*)—{φ}的子集称为Σ上的语言族。在人工智能中的一些问题的推动下,1974年Havet等人开创了语言的分支代数结构的研究,定义了有限分支自动机,从而导致了作为有限分支自动机识别的所谓可识语言族的研究;Havel在文献[2]中又引进了语言的相似度的概念,进而定义了语言之间的一种距离d,使(L(Σ),d)成一距离空间;文献[2]中还定义了语言族的一种替换性,并证明了,语言族是自相容的,当且仅当它具替换性且为L(Σ)的闭集。     

关于算子的双酉等价性

文献[1]对Hilbert空间的子空间引入了一个等价的概念,并引入了广义维数dim_g(),对等距算子证明了一个等价性定理.注意,文中许多结论只适用于可析Hilbert空间.我们从矩阵的奇异分解的思想,引入了一个双酉等价性的概念.本文主要讨论双酉等价性条件,对双     

诱导空间中内部算子的层次刻划

王国俊在新近出版的专著中提出了一个公开问题:在诱导空间中,不分明集的内部(闭包)可否表为在它各层截集的内部(闭包)上取相应常值的不分明集之并。 在文献[2]中关于完全分配律与上半连续映射之间有一个有趣的结果(文献[2]引理3):利用代数上完全分配律取代分析中上半连续性的要求,给出了一个映射的关系式。应用此式     

码与有限极大码的测度

设X是有限字母表,文献[1]以如下方式引入了X上一切语言构成的语言族么半群2~(X*)上的测度:令π是X上的一个概率分布,同态扩张π为么半群X~*到么半群[O,1](关于实数乘法)的函数,仍记为π,对任意语言L∈2~(X*),令π(L)=(?)(s),特别令π(Φ)=0,则π便是语言族么半群2~(X*)的σ有限测度。以下我们讨论语言族么半群2~(X*)上的测度,一概指X上的概率分布的这种同态扩张,并称之为概率扩张测度。     

关于不可解度的若干结论

从Post问题解决到现在,不可解度的研究一直是递归论的重要课题之一。在非递归可枚举度方面,极小度、极小覆盖、脱殊度等不可解度是人们很感兴趣的。Feferman最早定义了脱殊集合,脱殊度有很多有趣性质,比如Jockusch证明了1-脱殊度具有相对递归可数性。本文则考虑脱殊度的相对性,提出相对另一个度的脱殊度概念,我们首先得出相对脱殊     

倾斜代数的Generic模

Aronszajn和Fixman对Kronecker代数引入了可除模的概念,证明了Kroneeker代数存在唯一的不可分解挠自由可除模Q. Ringel推广了Aronszajn和Fixman的工作,对Tame遗传代数证明了同样的结论。Ringel同时还证明了Q的自同态环为除环且Q作为End(Q)上的向量空间是有限维的。Grawley-Boevey引入了Generic模的概念。Ringel的工作说明了Tame遗传代数存在唯一的Generic模。Generic模的概念尽管出现较晚,但它是非常自然和重要的,它在有限维代数的表示理论中起着举足轻重的作用。     

关于线性变换完全环的极小单侧理想同构可扩张性的一个注记

§1.引言 本文中无特别声明的线性空间都指左空间。设Q_i是除环△_i上线性空间m_i的线性变换完全环(i=1,2)。许永华在讲义《本原环》的定理1.4.1中证明了这样的扩张定理:Ω_1与Ω_2的极小右理想间的环同构可唯一地扩张为Ω_1与Ω_2的环同构。本文的目的在于证明,对于极小左理想,不成立类似的定理。事实上,我们能证明,存在环同构极小左理想的两个线性变换     

保层Fuzzy序同态的结构和Fuzzy同胚的另一定义

设L是完全分配格,X是非空通常集,X上L-Fuzzy集全体记作L~X,则它点式地从L中诱出格运算自然地成为完全分配格。本文将在文献[1—3]的基础上提出一种称作保层Fuzzy序同态的概念,并且研究它的结构,而后借助于它给出Fuzzy拓扑分子格之间同胚的     

半同胚空间类和半拓扑性质

一、引言半同胚与半拓扑性质的概念是由Crossley等人于1972年引入并随后进行一系列研究的。本文较深入地分析了与某个拓扑空间(X,U)具有相同半开集族的全体拓扑空间组成的拓扑族[U]的结构,得到了[U]中最强拓扑的两种新的结构形式。另一方面,我们研究了[U]中存在最弱拓扑的条件。在此基础上,给出了拓扑空间半同胚的两个充要条件,并     

具有伪轨跟踪性的Distal流

Smale在文献[1]中指出:极小集的存在性问题是动力系统中一个十分有意义的问题,其主要问题是寻求空间为何时,才能对其上的一些流来说这空间是极小的.有关这方面的综述报告曾在文献[2]中给出.就Distal流而言,文献[3,4]对这个问题进行了研究.最近Komuro在文献[5]中得到:紧连通流形上具有有限伪轨跟踪性的等距流是极小流.与此同时,Kat(?)在文献[6]中得到:紧连通流形上具有有限伪轨跟踪性的同等连续流是极小流.显然等距流和同等连续流均为Disal流.与此相关,我们要问:具有伪轨跟踪性的Distal流是否为极小流?本文研究了这个问题,并在紧连通度量空间上给出问题的一个正面回答.     

分子格范畴中的积运算

文献[1,2]以近年来发展起来的Fuzzy拓扑学中的工作为基础,建立了完全分配格上的点式拓扑理论。从纯代数的角度看,文献[1,2]中探讨了分子格、广义序同态等重要概念,且证明了以分子格为对象,广义序同态为态射可构成一范畴。本文从范畴论的角度出发,以范畴论中的乘积与上积作为基本概念,证明了分子格范畴是对乘积与上积运算封闭的范畴。同时,我们沿用文献[3]的结果,给出了乘积与上积的具体结构。从而较完满地建立了分子格中的乘积与上积理论。为进而展开拓扑分子格的乘积及直和理论奠定了基础。     

蕴涵格与Stone表现定理的推广

从R0 _语义出发在全体 ( ,∨ ,→ )型公式之集F(S)上引入了逻辑等价关系 ,证明了它是F(S)上的同余关系并称商代数为R0 _语义Lindenbaum代数 .以此为背景引入了蕴涵格与正则蕴涵格的概念 ,它是Boole代数的推广 .另一方面 ,引入了除含有拓扑结构之外尚有蕴涵运算的Fuzzy蕴涵空间及其蕴涵基的概念 ,证明了正则蕴涵格的拓扑表现定理 ,即 ,( ,∨ ,→ )型代数M是正则蕴涵格当且仅当M同构于某Fuzzy蕴涵空间的蕴涵基 .在M是Boole代数的情形 ,证明了相应的蕴涵空间是紧零维Hausdorff空间 ,从而由蕴涵格的表现定理可以推得关于Boole代数的著名的Stone表现定理 .     

积分语言族的强可识性、半可识性与语言族的强替换性

令∑为有限字母表,∑~*为三生成的自由么半群。u∈∑~*为∑上的字,L ∑~*为∑上的语言,x L(∑)为∑上的语言族。∫XdV为关于字V的X的积分。c′(X)为X的强相容闭包。 郭聿琦等建立并讨论了语言族的强可识性,半可识性与强替换性。本文讨论积分语言族的强可识性与半可识性,建立了积分语言族强可识与半可识     

蕴涵格与Stone表现定理的推广

从R₀-语义出发在全体 ( ,∨ ,→ )型公式之集F(S)上引入了逻辑等价关系 ,证明了它是F(S)上的同余关系并称商代数为R₀-语义Lindenbaum代数 .以此为背景引入了蕴涵格与正则蕴涵格的概念 ,它是Boole代数的推广 .另一方面 ,引入了除含有拓扑结构之外尚有蕴涵运算的Fuzzy蕴涵空间及其蕴涵基的概念 ,证明了正则蕴涵格的拓扑表现定理 ,即 ,( ,∨ ,→ )型代数M是正则蕴涵格当且仅当M同构于某Fuzzy蕴涵空间的蕴涵基 .在M是Boole代数的情形 ,证明了相应的蕴涵空间是紧零维Hausdorff空间 ,从而由蕴涵格的表现定理可以推得关于Boole代数的著名的Stone表现定理.     

模糊逻辑的紧致性

在真值格的一定的紧性条件下证明了Ｐａｖｅｌｋａ逻辑的紧致性,并为再删除关于真值格的紧性条件而引入了程度化紧致性的概念。     

语言族的L可识性、L半可识性与L强可识性

郭聿琦等建立和讨论了语言族的半可识性和强可识性,给出了积分语言族可识的充要条件。本文建立和讨论了语言族的L可识性、L半可识性和L强可识性,给出了L积分语言族的L可识、L半可识和L强可识的充分条件。     

完全正则半群的诣零扩张上的同余

令半群Ｓ为完全正则半群Ｋ的诣零扩张,Ｑ为基Ｒｅｅｓ商半群Ｓ／Ｋ。本文引入Ｓ的可许同余对的概念,其中δ和ω分别为诣零半群Ｑ和完全正则半群Ｋ上 的同余,证明了Ｓ上的任何同余σ都可由Ｓ的一个可许同余对唯一表示。     

关于Mukhin的一个问题

在文献[1]中Mukhin提出了如下公开问题:是否存在有限非交换单群,使得它的全部sylow子群的正规化子均有奇指数?在本文里,我们利用有限单群分类定理证明了如下定理。定理如果有限群G的全部sylow子群的正规化子均有奇指数,那么G为2-幂零群。这样,我们完全解决了Mukhin问题。以下假定所讨论的群均为有限群,所用术语和符号同文献[2]。证设群G为极小阶反例。我们首先证明G为非交换单群。实际上,容易证明定理的