Fuzzy序同态与Zadeh型函数

所谓Zadeh 型函数就是一种由分明映射提升给出的L-Fuzzy 集之间的映射,它是很基本的.讨论其他更一般形式的映射(例如Fuzz 函数)成为Zadeh 型函数的充要条件是令人关注的.我们将改进文[2]在这方面的结果.L、L_1与L_2表示完备格,其最小元表作0.定义1 若映射f:L_1~X→L_2~Y 及其逆f~(-1)是保并的,且f(0)=0,则称f 为Fuzzy 序同态;若L_1与L_2为Fuzz,f:L_1_X→L_2~Y(L_1与L_2允许不同)保并,f(0)=0,且f~(-1)保补,即对B∈L_2~Y,f~(-1)(B')=(f~(-1)(B))',这里'表示相应的对合对应,则称f 为Fuzz 函数.     

拓扑空间的Frame映射与点分离性公理

继Wallman以格论观点研究拓扑性质的方法之后,Ehresmann及其学生Bénabou首先将完备Heyting代数作为广义拓扑空间来讨论。此后Dowker,Papert和Isbell等许多数学家对完备Heyting代数做了大量的研究,逐渐建立了一个新的数学分枝——Frame理论(或其偶范畴Locale理论)。Frame理论从范畴论的高度,把拓扑学代数化,同时把代数学拓     

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

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

分子格范畴中的积运算

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

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

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

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

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

数域上两个三次循环扩域的复合域

设K是一个数域,L_1=K(D_1~(1/2),L_2=K(D_2(1/2)(D_1,D_2∈K)是K上的两个二次扩域,L_1=L_2。令L=L_1L_2,熟知,L/K恰有三个2次中间子域,即已知的L_1,L_2及另一个L_3。现在L_3可由L_1,L_2的定义方程x~2=D_i=0(i=1,2)简单地得出:     

Scott拓扑与Sober空间

连续格理论是诞生于拓扑与格论边缘的一门新兴学科,本文对这一理论中的基本问题“在什么条件下Scott拓扑空间是Sober空间?”做了一定的探讨,得出了几个充要条件,为此还引入了一类新的空间——p空间,并证明任一完备格上的偏序都能由     

L-不分明完备映射

完备映射是拓扑学重要概念之一,如何定义一种合适的L-不分明完备映射自然是一个值得关注的课题。文献[1]与[2]就L=[0,1]之情形曾分别引入过不分明完备映射的概念,但都不太理想。受连续格理论的影响,文献[3]和[4]彼此独立地就值域为完全分配格情形建立了较为理想的良紧理论,它为我们建立一种理想的L-不分明完备映射理论提供了基础。本     

格值模型论的Morley定理

本文在文献[1—5]的基础上引进了格值模型论的Skolem函数、不可辨元集、饱和模型、原子模型和α-稳定理论等概念,证明了在值格有限时的格值模型论的Morley定理。 本文所用符号取自文献[1—5]。要求值格适合(F_1)、(F_2)和强特征式及紧致性定理。     

格值模型论中常量构作法的两个应用

本文是文献[1]中开始的把2值模型论各主要结果向多值模型论推广工作的继续。有些基本概念及记号用法可参看该文。但所讨论的内容与文献[1]是各自独立的。本文主要是用常量构作模型的方法的两个应用。其一是用于证明某些有限值格时的紧致性定理(文献[1]中已用超积方法证明了有限值格时的紧致性定理),其二是用于证明某些值格时的省略型定理。     

关于奥尔里奇空间内的线性积分算子

设M_1(u)、N_1(v),M_2(u)、N_2(v)和Φ(u)、ψ(v)是三对互补的N函数.F和G分别是两个欧氏空间的有界闭集.对应的奥尔里奇函数空间分别记为L_(M1)~*(F)、L_(N1)~*(F),L_(M2)~*(G)、L_(N2)~*(G)和L_Φ~*(G×F)、L_ψ~*(G×F),或简单记作L_M~*     

线性复杂度曲线可控序列

设S=(S_0,S_1,S_2,…)为有限域GF(q)上的无穷序列,S~n=(S_0,S_1,…,3_(n-1)),序列S~n的线性复杂度L_n(S)=min{l:S_j=-sum from i=1 to l(C_iS_(j-i),j=l,l+1,…,n-1,C_1,C_2,…,C_1∈CF(q)},序列的线性复杂度曲线为L=(L_0(S),L_1(S),L_1(S),L_2(S),…)。由序列的随机性与复杂度关系可知,适合作为序列密码密钥的伪随机序列,其线性复杂度曲线应接近于     

Dixmier代数与轨道数据的归纳诱导法及其应用

为研究Dixmier映射,Vogan定义了Dixmier代数与轨道数据,并给出了抛物子群诱导法.本文将证明这些诱导法是可归纳导出的,并在此基础上对SO(2n 1,C),SP(2n,C)及F_4,G_2类Lie群部分地证明了文献[1]中Vogan的一个猜想,即上述Lie群的完全素可交换轨道数据的抛物诱导与抛物子群选取无关.1 归纳抛物诱导本文恒假定G为复约化Lie群,P(?)P_1为G的两个抛物子群,P=LU,P_1=L_1U_1分别为它们的Levi分解,且L(?)L_1,而(?),(?),(?),(?),(?),(?),(?)分别为它们的Lie代数.记Q=L_1∩P,(?)=(?)∩(?),显然Q为L_1的抛物子群(有Levi因子L),其Lie代数为(?).     

关于单K_4-群

确定某种类型阶的单群已有不少结果(见文献[1—6]),其中文献[2]证明了有限群G的阶的相异素因子数|π(G)|为3的单群是下述群之一:A_5,A_6,L_2(7),L_2(8),L_2(17),L_3(3),U_3(3)及U_4(2)。文献[7]称上述单群为单K_3-群,并指出它们的分类只能作为所有的有限单群分类的一个推论。     

K_4单群的分类定理

称群阶的相异素因子恰为n的有限单群为K_n单群。利用单群的分类定理本文证明了: 定理1 设G为K_4单群,则G同构于下述群之一: (Ⅰ)L_2(2~4),L_2(2~r),r≥5,2~r-1是Mersenne素数,是一素数的方幂。     

Bergman空间上乘法算子的约化问题

以L_α~2(D)表示复平面上单位圆盘上的Bergman空间,利用超等距膨胀的技术,本文得到如下结果: 命题1 对阶数为N(<∞)的Blaschke积,L_α~2(D)上乘法算子M_Φ酉等价于2N-1个Bergman位移的直接和的压缩。     

可分离的LF一致结构与点式度量

用L~X上的保并增值自映射来定义L~X上的拟一致结构是B. Hutton的著名工作。但正如[1]指出的,保并增值自映射本身又具特色,是值得研究的对象,比如[2]中已证明保并增值自映射族为完备格。但任意一个子族的下确界     

Baire范畴定理在不分明拓扑空间中的推广

关于完备度量空间的Baire范畴定理可以陈述为:设(X,d)为完备度量空间,则x不能表示成可数多个无处稠密集的并。它的一个等价命题是:如果{G_n}为完备度量空间(X,d)中     

关于L~x的保序、幂等自映射集合的基数

一些集合的基数问题,是集合论和其他数学分支中颇感兴趣的问题。本文通过对某一类函数格的基数计算,得到了L~x上的保序、幂等自映射集合的基数。 设L是完全可分配的完备格。X是一无穷集合,且2≤|L|≤2~|x|,L~x={f:f是X到