剩余格上Riecan态的存在性.pdfVIP

第 28卷第 5期 模 糊 系 统 与 数 学 Vo1．28，No．5 2014年 1O月 FuzzySystemsandMathematics 0Ct．．2014 文章编号 ：1001—7402(2014)05—0033—08 剩余格上RieVcan态的存在性 刘练珍 ，张 向阳 (江南大学 理学院，江苏 无锡 214122) 摘 要 ：在 good剩余格上研 究Riean态的存在性 。证 明了good剩余格上 Riean态的核是一个真弱正 规滤子 ，但不是正规滤子。进一步，给 出了good剩余格上Riean态存在 的充分必要条件 。此外，证明了 可表示剩余格至 多只有一个固定点。 关键词 ：剩余格 ；Riean态；MV一滤子 中图分类号 ：O141 文献标识码 ：A 引言 自从剩余格理论建立以来 ，关于剩余格的研究一直长盛不衰 ，特别是基于剩余格的模糊逻辑代数 的研究得到了更多的关注。其中伪 MTL一代数n]、伪 BL一代数 、伪 MV一代数 、MTL一代数、BL一代数、 MV一代数及 R。一代数被认为是最重要的剩余格值逻辑代数。伪MTL一代数 (伪 BL一代数、伪MV一代数)是 MTL一代数(BL一代数，MV一代数)的非可换推广。MTL一代数是 由闭区间[0，1]上左连续三角模及其相应 的剩余蕴涵所诱导 的代数系统。因此，BL一代数、MV一代数、NM一代数和 IMTL一代数是重要 的MTL一代 数 。R。一代数[4 是 由王国俊教授在 1997年为证明系统 L 的完备性而提出的。在文[4]中，裴道武教授 证明了NM一代数和 IMTL一代数分别等价于尺。一代数和弱R。一代数。 为刻画 Lukasiewicz逻辑系统 中命题 的真值平均度，Mundici[在 MV一代数中提出态 的概念并证 明 了每一个MV一代数都存在态。值得指出的是，态是布尔代数上有限可加测度的推广，它表示模糊事件发 生 的概率 。态提供了一种将概率和模糊逻辑结合起来 的方法 。2004年，Georgescu在伪BL一代数上提出 了Bosbach态和 Riean态_2；随后 ，CiunguL7将 Bosbach态和 Riean态概念推广到剩余格。进一步 ， 文 [8]证明了Riean态和Bosbach态在对合剩余格上等价 。2007年 ，Dvureenskij研究了伪BL一代数上 Bosbach态的存在性 ，证明了每个伪 BL一链存在态[9]。在文[1]中，Ciungu进一步研究了剩余格上态的存 在性，证明了存在线性伪MTL一代数没有Bosbach态 。文[1O]、文[11]、文[12]进一步给出了MTL一代数 中Bosbach态存在 的充分必要条件。然而 ，有关Riean态存在的条件到 目前为止还没有解决。 本文我们主要研究剩余格上 Riean态的存在性。我们证 明了good剩余格上Riean态的核是一个 真弱正规滤子 ，但不是正规滤子 。同时，我们给出了good剩余格上Riean态存在 的充分必要条件。在 剩余格上提出了固定点的概念 ，证明了可表示剩余格至多只有一个 固定点。进一步，通过例子说明伪 IMTL一代数 固定点不唯一 。 收稿 日期 ：2013—03—31 基金项 目：国家 自然科学基金资助项 目60875084；61273O17)；中央高校基本科研业务 费专项资金项 目(JUSRP21118； JUSRP211A24)f江苏省高校优秀中青年教师和校长境外研修计划项 目 作者简介 ：刘练珍 (1971一)，女 ，陕西人 ，江南大学理学院教授 ，研究方 向：多值逻辑与模糊逻辑 ；张向阳(1969一)，男 ，陕西人 ，江南大 学理学院副教授，研究方向：量子信息。 34 模 糊 系 统 与 数 学 2 预备知识 定义 2．1 (2，2，2，2，20，O)型代数 L一(L，八，V，o，一，一，0，1)叫作剩余格，如果它满足下列 条件 ： (M1)( ，^，V，0，1)是一个有界格 ， (M2)(L，o，1)是一个以1为单位元的半群， (M3) Gy~z当且仅当z