不可分的么模定Hermite型的构作

设F=Q((-m)~(1/2))(m>0且无平方因子)为虚二次域,D_m为它的代数整数环.域F有一个非平凡的对合即复共轭,它的不动点域是Q.设V为域F上n维非退化的Hermite空间,并有关于上述对合的V上半双线性型φ以及与φ相伴的Hermite型H.设L为V上的D_m格,即L是V中的一个有限生成D_m模且FL=V.一个D_m格L称为偶格,是指对一切x∈L有H(x)     

格蕴涵代数的滤子与结构

为了从语义角度研究命题的真值取于格上的逻辑系统,文献[1]将格与蕴涵代数相结合提出了格蕴涵代数的概念,文献[1,3～5]研究了格蕴涵代数的一些性质.本文讨论格蕴涵代数中的滤子,特别是生成滤子,并由此探讨一类格蕴涵代数的结构特征.1 滤子及其性质关于格蕴涵代数及其中滤子的定义参看文献[1].定义1 设(L,V,∧,’,→)为一个格蕴涵代数,称包含A(?)L的最小滤子(A]为由A生成的滤子.     

有限域上辛几何中一类几何格的特征多项式

设V=V_n(F)={(a_1,…,a_n)|a_i∈F}是域F上的n维行向量空间,是V的子空间所构成的一个有限集,满足条件:∩_(H∈)H=(0),L=L是的元素的有限交所构成的集合。在子空间的反包含关系所确定的偏序下L是一个几何格,其秩函数为r(P)=     

格的半同态的若干结果

本文讨论了格的交同态与并同态之间的联系,给出了格的交(并)同态是并(交)同态(从而是同态)的充要条件.作为格的同态基本定理的推广,建立了格的半同态基本定理。 定义1 设,厂为格L到格L的映射,若使则称f为交(并)次同态.若f既为交次同态又为并次同态,则称f为次同态。     

正定么模Hermite型的分类

设且无平方因子)为虚二次域,D_m为它的代数整数环。令H为F上n秩正定Hermite型(以下简称日型),而(V,H)或V为F上n维Hermite向量空间。若L为V上的一个D_m-格,则L为V的有限生成D_m-模且FL=V.     

不可分的正定Hermite型

设(m>0,无平方因子)为虚二次域,R_m为它的代数整数环。本文的目的是构作具有判别式为自然数a的R_m上n秩不可分的正定整Hermite型。设L为R_m上正定Hermite格,如果有:L=M⊥N(?)M=o或N=0,则称L为不可分格。设h(X_1,…,X_n)为R_m上正定Hermite型,如果不存在表示式:     

L模糊矩阵的格半群幂

本文提出了L模糊矩阵的格半群(latticesemigroup)幂、它的收敛性以及L模糊矩阵的格半群传递闭包等概念,并给出求L模糊矩阵的格半群传递闭包的一个算法。设X和Y是两个非空集合,L是一个完备格。映射R:Ⅹ×Y→L称为X和Y间的L     

L构造(Ⅱ)

L=(L,≤,∨,∧,′)为—Fuzzy格。X为一分明集,X到L的映射,称为L-Fuzzy集。 设x∈X,记L(x)P(X)(幂集):①L(X)≠φ;② V∈L(x)有x∈V;③若V∈L(x)则有v,∈L(x)使∈,∈L(y)。 定义 若A为X上的L-Fuzzy集,定义     

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

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

相对有补分配格

定理1 设L是相对有补分配格,则存在唯一一个备Boole格乙与乙到乙的一个备嵌入f,对存在L的非空子集     

Fuzzy格上的点式一致结构与点式度量

关于格拓扑学中的一致结构与度量理论已有许多引人注目且有创造性的工作(如文献[1～6]及文献[4]中的相应文献)但它们多是Hutton与Erceg无点派工作的继续和推广,不能直接反映格上点式拓扑的特点.本文的目的就是在Fuzzy格上建立一种点式一致结构与点式度量理论.     

一阶格值逻辑系统FM的语法问题

文献[1～3]建立了以丰富剩余格为真值域的命题逻辑系统,得到了一些结果.为研究更一般的格值逻辑系统,文献[4]提出了格蕴涵代数的概念,文献[5]讨论了以格蕴涵代数为真值域的命题逻辑,文献[6」建立了以格蕴涵代数为真值域的—阶逻辑系统FM,本文讨论FM的语法问题,得到了FM的可靠性定理、演绎定理及协调性定理.设L是一格蕴涵代数,F是系统FM的公式集合.定理1~[6]对于任意公式p,q,r及正整数m,n,下列公式都是有效公式:     

拓扑分子格范畴与相关范畴的关系

以Fuzzy拓扑学与点集拓扑学为背景,1979年我们提出了拓扑分子格理论,此后几经拓广,文献[3]与[4]是其最一般的框架。正如文献[3]所指出的,Fuzzy拓扑学与点集拓扑学都是拓扑分子格理论的特款,然而关于是否可以通过经典拓扑学的方法来处理拓扑分子格理论的可行性问题似乎并不很清楚。本文将从范畴论的角度出发讨论拓扑分子格范畴(?)与拓扑空间范畴(?)以及局部超紧Sober双拓扑空间范畴(?)之间的关系,从而从总体     

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

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

诱导空间中闭包算子的层次刻划及其应用

关于诱导空间中闭包算子的层次刻划已有不少讨论(见文献[1—3](,但都有一定局限性:文献[1—3]的讨论分别是就L=[0,1]及“M=L~0”的Fuzzy格L进行的。本文利用极小集克服了诸局限性,彻底解决了诱导     

格值模型力迫法

Robinson把Cohen力迫法引进模型论,得到一些有趣的结果。本文把力迫法引进格值模型论中。本文所用符号从文献[2,3],并要求是可数语言,C是可数无限新常量集,值格L适合紧致性定理,满足性质(F_1)、(F_2),具有特征式△.理论T是指中和谐分组句子集。     

拓扑分子格范畴中的极限结构

范畴极限的研究是范畴论中一个重要而基本的问题。对于一个有极限与上极限的具体范畴,如果搞清楚它的极限与上极限的结构,那么这个范畴的很多性质就变为直接推论了。我们知道,拓扑分子格范畴中的上极限的结构是容易描述的,特别是上积结构很容易给出。但是,要想给出拓扑分子格范畴中的极限结构,则是一个很困难的问题。本文将利用已经得到的分子格范畴中的极限结构,给出拓扑分子格范畴中的极限构造定理。作为推论,得到了拓扑分子格范畴中的乘积、多重等子及逆系统的逆极限等的具体结构,从而回答了上述的困难问题。     

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

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

关于无隙覆盖

在R.L.Graham的文章“Fault-free tiling of rectangles”(载于The Mathematical Gardner一书,120—127页,1981年)中,提出了长方形格盘被同种尺寸的矩形瓦片无隙覆盖的一个充要条件,但未给出证明。我们提出了另一个更易判断的充要条件,     

关于无限值格模型论中条件(F_1)和(F_2)的可减弱性

在王世强等关于“格值模型论”的研究中,当值格L为无限(完备、“可补”)格的情形往往须假定L适合条件(F_1)和(F_2)方能将古典(二值)模型论中的结果移植过去。但是,就我们能见到的文献作一些考察之后,可以容易地看出,其中的条件(F_1)和