共查询到20条相似文献,搜索用时 93 毫秒
1.
邓自克 《湖南大学学报(自然科学版)》2002,29(5):1-3,36
证明广义代数格同构于拓扑空间的闭集格当且仅当它是可加的,进而证明可加广义代数格之范畴等价于T0拓扑空间之范畴。因此可加广义代数格在拓扑中可起与传统代数格在代数中相同的作用。 相似文献
2.
3.
4.
正则余剩余格的特征及其应用 总被引:5,自引:0,他引:5
余剩余格理论是研究逻辑代数系统的重要工具,而余剩余格的代数结构本身就具有普遍性和代表性.文中对余剩余格的定义和性质进行研究,给出了余剩余格的特征定理,并且引入正则余剩余格的概念,进而讨论了正则余剩余格的特征定理,同时证明了正则余剩余格与正则剩余格的一致性.最后,基于正则余剩余格的特征定理给出了几类逻辑代数系统的等价刻画. 相似文献
5.
广义连续格II 总被引:2,自引:1,他引:2
邓自克 《湖南大学学报(自然科学版)》1996,23(5):1-3,37
基于way-below关系引进广义连续格的强连续性、代数性以及可加性,并用最大子集系对它们加以刻划。 相似文献
6.
蕴涵格、弱Ro代数与正则剩余格 总被引:2,自引:0,他引:2
苏忍锁 《宝鸡文理学院学报(自然科学版)》2004,24(2):89-91,119
讨论了蕴涵格、弱Ro代数以及正则剩余格之间的相互关系,证明了以下结论:(1) 弱Ro代数既是蕴涵格又是正则剩余格;(2) 蕴涵格L是正则剩余格(弱Ro代数)的充分必要条件是:对任意x,y,z∈L,x→(y→z)=y→(x→z);(3) 正则剩余格L是蕴涵格(弱Ro代数)的充分必要条件是:对任意x,y,z∈L,x→y∨z=(x→y)∨(x→z). 相似文献
7.
樊太和 《陕西师范大学学报(自然科学版)》1991,(3)
借助范畴论中的正则子对象,引入了子拓扑分子格概念。由正则子对象的基本事实可知,子拓扑分子格是关于子拓扑空间概念的各种推广中的最广形式,具有几乎子拓扑空间的所有遗传性质。同时还给出了子分子格的几种等价描述,讨论了一个分子格的所有子分子格之集的代数性质。 相似文献
8.
刘龙飞 《宁夏大学学报(自然科学版)》2011,(3):202-204,207
给出了一些格效应代数的例子,并讨论了其理想.证明了效应代数的一个子集是代数系统F的一个极大效应代数理想,也是F的一个格理想当且仅当它是某个同态映射的核.特别地,单态射的像是一个子效应代数.得到了广义效应代数的真理想是一个子广义效应代数,子广义效应代数也是一个真理想. 相似文献
9.
《山东大学学报(理学版)》2016,(8)
在Monadic MV-代数(M,■)上引入并研究了M-微分。定义并研究了Monadic MV-代数(M,■)上的强M-微分和正则M-微分,利用强M-微分,给出了一个MV-代数成为布尔代数的等价刻画,并给出了正则M-微分成为保序M-微分的等价刻画。进一步地,在Monadic MV-代数(M,■)上定义不动点集合Fd■,证明了若d为保序微分时,Monadic MV-代数上的不动点之集为M的格理想。随后,在Monadic MV-代数上定义并研究了可加微分,从而得到了一些关于可加微分的重要性质。最后,在微分Monadic MV-代数(M,■,d)上定义了Monadic微分理想,并对其进行了刻画,而且研究了(M,■,d)上所有Monadic微分理想组成的集合ID(M)的代数结构。 相似文献
10.
颉永建 《陕西师范大学学报(自然科学版)》2009,37(3)
研究了上定向的具有Riesz分解性质的广义效应代数的结构.引入了广义效应代数中素理想的定义,证明了上定向的具有Riesz分解性质的广义效应代数是有限次直既约的当且仅当它是反格;上定向的具有Riesz分解性质的广义效应代数通过理想得到的商代数是反格当且仅当此理想是素理想.最后证明了上定向的具有Riesz分解性质的广义效应代数具有子直积表示. 相似文献
11.
12.
将Green关系进行了不对称的推广,利用该Green关系研究了广义的完全正则半群,证明了广义完全正则半群为完全J*~-单半群的半格. 相似文献
13.
谢永红 《河北师范大学学报(自然科学版)》2001,25(1):16-17,20
首先给出了四元数广义正则函数向量的定义,之后借助四元数广义正则函数的斜微商边值问题解的存在唯一性,得到了四元数广义正则函数向量的斜微商边值问题解的存在唯一性。 相似文献
14.
把右π-正则序半群推广为右π-正则序Γ-半群,利用序Γ-半群中的右理想,理想和格林关系(R)给出右π-正则序Γ-半群的一些刻画,推广了右π-正则序半群的相关结果. 相似文献
15.
一般柱形域上广义双曲正则函数的Riemann-Hilbert边值问题 总被引:1,自引:0,他引:1
通过引入多双曲数,用函数论的方法研究了一个双曲复变函数的超定双曲型方程组的解,即多双曲复数的广义双曲正则函数在一般柱形域上它的Riemann-Hilbert边值问题的提法、可解条件、解的表示、唯一性和存在性. 相似文献
16.
广义正规变化函数及其逆函数 总被引:2,自引:0,他引:2
讨论了广义正规变化函数的逆函数Γ(γ, b),将Π变化函数及其逆--Γ变化函数的性质推广到广义正规变化函数及其逆函数Γ(γ, b)上,导出Γ(γ, b)的基本性质及表示定理和等价条件,利用所得结果讨论了极值分布的吸引场及Von Mises条件的收敛速度问题。 相似文献
17.
高岩 《大连理工大学学报》1999,39(3):348-351
Demyanov分别对两类称为d-正则和cd-正则的非光滑函数建立了Clarke广义梯度和拟微分之间的关系,证明了d-正则函数和cd-正则函数的光滑复合分别是d-正则函数和cd-正则函数,有限个非线性函数的极大值函数cd-正则函数。 相似文献
18.
LF拓扑空间中的广义半连续序同态 总被引:1,自引:0,他引:1
尚云 《陕西师范大学学报(自然科学版)》2001,29(3):31-34
提出了LF拓扑空间中强广义闭集、广义弱半闭集、广义正则闭集的概念。利用这些概念及它们之间的关系研究了广义非连续序同态和广义不可约序同态,给出了它们的一些性质及其等价刻画。 相似文献
19.
利用C larke广义梯度,广义次微分将B-凸函数进行推广,给出了正则Lipschitz B-凸等函数的概念,在此基础上我们得到了一类不可微凸多目标规划解的最优性充分条件。 相似文献
20.
刻画具有完全正则的广义圈乘半群的环. 证明了环R
有一个广义圈乘半群R◇是群之并当且仅当R◇同构于一个Morita context M
(S,T,U,V)的由E11诱导的广义圈乘半群, 其中S是广义根环, T是强正则环,
VU=0, 并且对于S的任意幂等元e, 都有eU=Ve=0. 相似文献
有一个广义圈乘半群R◇是群之并当且仅当R◇同构于一个Morita context M
(S,T,U,V)的由E11诱导的广义圈乘半群, 其中S是广义根环, T是强正则环,
VU=0, 并且对于S的任意幂等元e, 都有eU=Ve=0. 相似文献