首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 140 毫秒
1.
推广分配格的 Stone引理到抽象完备集环并得到 :1 )完备格 L上完备同余关系能够由完备素理想表示 L是抽象完备集环 ;2 )完备格 L上的完备同余关系格 conc( L)同构到 Pc( L)的对偶幂集格 P( Pc( L) ) L是抽象完备集环  相似文献   

2.
完全分配格是完备集环的刻划定理   总被引:2,自引:0,他引:2  
利用RaneyGN的完全分配格的次直积表示定理证明了 :完全分配格L是完备集环 L是相对原子格 ;完全分配格L是完备集环 conc(L)同构到一个幂集格 ,这里conc(L)是L的完备同余关系格 .  相似文献   

3.
引入广义格半群的概念,进而对广义格半群与格半群以及相应的理想和sl理想的相互关系及区别进行了讨论,指出凡格半群是广义格半群,反之则不一定。在广义格半群中理想集I(S)是完备格,而sl理想集SL(S)却不能构成格。在格半群中,sl理想集是格,但是2个sl理想的上确界不等于其并。广义格半群中的理想均能生成sl理想。  相似文献   

4.
关于广义格半群   总被引:2,自引:0,他引:2  
引入广义格半群的概念,进而对广义格半群与格半群以及相应的理想和sl理想的相互关系及区别进行了讨论,指出格半群是广义格半群,反之则不一定,在广义格半群中理想集I(S)是完备格,而sl理想集却不能构成格,在格半群中,sl理想集是格,但是两个sl理想的上确界不等于其并,广义格半群中的理想均能生成sl理想。  相似文献   

5.
在一般完备格L中引入(L)集族的概念,利用完备格上的“”关系、(L)集族及其完备格之间的一映射作为工具,对完备格及其分子格上的保并映射进行了研究,得到了保并映射的若干新的特征定理.证明了完备格之间的一个映射是保并映射当且仅当它是—映射;完备格L到平凡格{0,1}上的全体保并映射之集是一个分子格当且仅当L是分子格;一个强分子格到另一个强分子格土的保并映射之集构成一个新的强分子格.  相似文献   

6.
证明了n元真值函数集L关于运算V及其对偶运算^、序结构≤作为一个布尔代数是一个F格半群:f∨g(x)=f(x)∨g(x),f∧g(x)=f(x)∧g(x),f≤g当且仅当f(x)≤g(x)(任意f,g∈L,任意x∈|0,1|^n),并且确定了其分子结构.指出含n个变元的合式公式集关于合式公式等值关系←→所构成的商结构L/←→与L同构,从而说明命题逻辑的基本框架实际上是一个特殊的双格半群,即F格半群.  相似文献   

7.
证明了一个格L同构于一个满足条件两个主理想的交仍为主理想的序半群的理想格的充分必要条件是格L满足条件(*):1)L是分配的完备格;2)L的任意两个非零元素的交有是非零元;3)L的每个元为L的完备并不可约的元素并;4)L的所有完备的半不可元素集P是A-半格。  相似文献   

8.
得到了如下结果:①完备集环L是Stone代数当且仅当L的每个完备素滤子仅包含在L的一个极大滤子中;②完备集环L是Stone代数当且仅当L是直积不可约Stone代数的直积;③完备集环L是Lukasiewicz三值代数当且仅当L同构到一个幂集格.  相似文献   

9.
含n个命题变元的合式公式A(P1,P2,…,Pn)组成的集合M关于命题公式的等值关系←→构成的商集M/←→{CA|A↓B∈CA包含M,A←→B}关于如下代数运算∨和序关系≤是一个特殊的双格半群,即F格半群:CA∨CB=CA∨B;CB=CA∧B;CA≤CB当且仅当A的每一成真赋值都是B的成真赋值(A↓CA,CB∈M/←→),这里的∧运算是∨的对偶运算,而M上的∧、∨运算分别是逻辑“或”逻辑“与”,同时给出了它的分子结构,并指出该F格半群与n元真值函数集构成的F格半群是同构的。  相似文献   

10.
幺半群等价     
讨论了幺半群等价.给出了幺半群等价的一些性质,证明了两个重要的格同构.得到:如果幺半群R和S等价,F是从左R-范畴到左D-系范畴的范畴等价,M是一个左R-系,p是R的一个同余,则有M的子系格L(M)和F(N)的子系格L(F(M))格同构,只的同余格C(R)和S的同余格C(S)格同构,幺半群R/p和S/ψ(p)等价,其中ψ是R的同余格C(R)和S的同余格C(S)的格同构.  相似文献   

11.
提出了格上的半伪度量函数的概念,给出了格上伪度量函数的几种分解,即,将伪度量函数表示为2个半伪度量函数之和,讨论了它们在格上的诱导拓扑之间的对应关系,并且研究了格上的半伪度量与非负模函数之间的关系。  相似文献   

12.
构造了一类新的保持半连续格结构的映射,进而得到了意义更广泛的连续格格范畴。  相似文献   

13.
采用自适应调节控制,选择适当的控制参数,开流耦合映象格子(OCML)混沌系统很快就能被控制到均匀的稳定态上去.用本征值稳定性分析方法可以确定控制参数的范围.但研究表明由此确定的控制参数范围内的参数并不都能使得系统被控制到稳定态,对其原因从理论上进行了分析.  相似文献   

14.
15.
设L是完备格,S(*)L称为L的基,若(*)x∈L,Sx(*)S使得∨Sx=x.称L是基拟原子的,若(*)x∈S且x≠1,(*)y∈L,使得x(*)y因而x(*)y.该文使用the wedge below relation (*)证明完全分配格是完备集环当且仅当L有一个基S(*)L使得L是基拟原子格.又得到使用拓扑方法的如下刻划定理完全分配格是完备集环(*)L的区间拓扑θ(L)(Lawson拓扑λ(L)或双Scott拓扑σω(L))是完全不连通的.  相似文献   

16.
本文引入了拓扑分子格上的几乎R不定、几乎R不定开和几乎R不定闭序同态的概念,给出了它们的一些特征性质,并且讨论了它们同其他序同态之间的关系。  相似文献   

17.
采用英国著名学者Stinchcombe提出的理论方法——参数变换,研究了一族钻石分形晶格上Ising模型的相变和临界性质,结果表明:与实空间部分格点消约(decimation)RG变换的结果完全一致.这似乎暗示着用该方法精确求解其他等级晶格上的离散自旋模型是有效的.  相似文献   

18.
证明了完全分配格范畴是完备的和余完备的格范畴。  相似文献   

19.
讨论了半连续格某些具体的结构性质以及某些半连续格范畴的Cartesian封闭性  相似文献   

20.
1979年王国俊提出了拓扑分子格的理论,本文的讨论就是在这一理论的基本框架下进行的,所得的主要结果是:刻划远域特征的定理,远城系确立拓扑的定理,以及在正统原子格中边界算子、导算子确立拓扑的定理。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号