效应代数上态射的一些性质 被引量：4

1

作者 王敏 曹怀信 《纺织高校基础科学学报》 CAS 2011年第4期505-509,共5页

研究了效应代数上态射、单调态射和弱单调态射的一些性质,证明了如果E1,E2为格效应代数,:E1→E2是1-1态射且是格同态,那么是单调态射.反之,若:E1→E2是满的单调态射,则是格同态。如果E1,E2是格序列效应代数,:E1→E2是双射... 研究了效应代数上态射、单调态射和弱单调态射的一些性质,证明了如果E1,E2为格效应代数,:E1→E2是1-1态射且是格同态,那么是单调态射.反之,若:E1→E2是满的单调态射,则是格同态。如果E1,E2是格序列效应代数,:E1→E2是双射且为态射,那么是单调态射当且仅当(a∧b)=(a)∧(b),a,b∈E1. 展开更多

关键词 效应代数 态射 单调态射 弱单调态射

在线阅读 下载PDF 职称材料

Some Properties of Morphisms in Effect Algebras 被引量：4

2

作者 ZHANG Jian Cheng WANG Guo Jun 《Journal of Mathematical Research and Exposition》 CSCD 2009年第2期219-226,共8页

In the present paper the properties of morphisms in effect algebras are discussed. The conditions for the morphisms in effect algebras to be join-preservation and meet-preservation are given. From the categorical poin... In the present paper the properties of morphisms in effect algebras are discussed. The conditions for the morphisms in effect algebras to be join-preservation and meet-preservation are given. From the categorical point of view, some properties of ideals, filters and congruence relations under morphisms are obtained. 展开更多

关键词 effect algebra effect morphism IDEAL CONGRUENCE adjoint functor.

在线阅读 下载PDF 职称材料

效应代数的表示及弱表示 被引量：8

3

作者 张巧卫 曹怀信 陆玲 《西北大学学报（自然科学版）》 CAS CSCD 北大核心 2012年第2期198-202,共5页

目的给出效应代数的表示及弱表示的定义,研究幂集和布尔代数的可表示性。方法用效应代数表示的定义及效应代数中态射的性质得出结论。结果证明了E是可表示的,则E是弱可表示的;若E是弱可表示的,则由E到Hilbert空间效应代数的强态射诱导... 目的给出效应代数的表示及弱表示的定义,研究幂集和布尔代数的可表示性。方法用效应代数表示的定义及效应代数中态射的性质得出结论。结果证明了E是可表示的,则E是弱可表示的;若E是弱可表示的,则由E到Hilbert空间效应代数的强态射诱导的效应代数是可表示的;布尔代数格同构和效应代数同构是一致的。结论幂集作为一个效应代数是可表示的,任何有限布尔代数是可表示的效应代数。 展开更多

关键词 效应代数 单调态射 强态射 表示 弱表示

在线阅读 下载PDF 职称材料

伪效应代数的极真算子

4

作者 花秀娟 孙晓青 朱熙 《西安理工大学学报》 CAS 北大核心 2017年第1期71-73,共3页

本文研究了伪效应代数的极真算子的问题。利用在与剩余格和基本代数中定义偏序概念相同的传统方式的方法,获得了极真算子的一些基本性质,研究了态射与恒等映射之间的关系。

关键词 极真算子 伪效应代数 态射

在线阅读 下载PDF 职称材料

拓扑效应代数 被引量：2

5

作者 张巧卫 郭志华 曹怀信 《山东大学学报（理学版）》 CAS CSCD 北大核心 2017年第10期97-103,共7页

在一些经典效应代数上引入了拓扑结构,使其成为拓扑效应代数,证明了两个拓扑效应代数的直和仍是拓扑效应代数,拓扑效应代数的模糊集系统仍是拓扑效应代数。给出了拓扑效应代数上连续映射的定义,并研究了拓扑效应代数上态射(单调态射、同... 在一些经典效应代数上引入了拓扑结构,使其成为拓扑效应代数,证明了两个拓扑效应代数的直和仍是拓扑效应代数,拓扑效应代数的模糊集系统仍是拓扑效应代数。给出了拓扑效应代数上连续映射的定义,并研究了拓扑效应代数上态射(单调态射、同构)的连续性,证明了从一个拓扑效应代数到另一个拓扑效应代数的全体连续映射之集仍是拓扑效应代数。 展开更多

关键词 拓扑效应代数 态射 连续映射

原文传递

效应代数的EA-滤子和EA-态射的相关性质 被引量：2

6

作者 张燕 吴洪博 《模糊系统与数学》 北大核心 2019年第6期37-46,共10页

首先,在效应代数中引入了EA-滤子的概念,给出了EA-滤子的几种等价刻画,讨论了效应代数中真EA-滤子与极大EA-滤子间的关系;其次.在格效应代数中讨论了EA-滤子与格滤子之间的关系;最后,讨论了EA-态射的核的EA-滤子性质和SEA-滤子关于EA-... 首先,在效应代数中引入了EA-滤子的概念,给出了EA-滤子的几种等价刻画,讨论了效应代数中真EA-滤子与极大EA-滤子间的关系;其次.在格效应代数中讨论了EA-滤子与格滤子之间的关系;最后,讨论了EA-态射的核的EA-滤子性质和SEA-滤子关于EA-态射的相关性质,并利用SEA-滤子得到了格效应代数泊同构定理。 展开更多

关键词 效应代数 EA-滤子 格效应代数 EA-态射 SEA-滤子 商代数 同构定理

原文传递

态格效应代数及其基本性质

7

作者 张燕 吴洪博 《模糊系统与数学》 北大核心 2019年第4期28-34,共7页

本文研究了格效应代数上有关态算子的问题。利用MV-代数上内态的引入方法在格效应代数上引入了态算子,定义了态格效应代数,态射格效应代数,并讨论了态格效应代数和态射格效应代数的一些基本性质及二者间的联系。

关键词 格效应代数 态算子 态格效应代数 态射格效应代数

原文传递

广义伪效应代数态射的格结构

8

作者 郭亚男 颉永建 《纺织高校基础科学学报》 CAS 2018年第3期326-328,340,共4页

把伪效应代数间的态射推广到伪效应代数与广义伪效应代数间的态射.研究了格序广义伪效应代数的态射.证明了广义伪效应代数格态射在区间上的限制是伪效应代数格态射.给出广义伪效应代数态射是格态射的一个充要条件.

关键词 广义伪效应代数 广义伪效应代数态射 格态射 广义伪效应代数区间

在线阅读 下载PDF 职称材料

效应代数上态的存在性 被引量：5

9

作者 张坤利 曹怀信 郭志华 《数学学报（中文版）》 SCIE CSCD 北大核心 2013年第3期301-310,共10页

[中国科学A，2011，41（3）：279—286]引入了效应代数的表示，给出了可表示与不可表示的效应代数的例子，证明了某些效应代数的可表示性．然而，尚未得到一般效应代数的可表示准则，基于抽象C＊-代数的GNS构造的思想，我们猜测具有足... [中国科学A，2011，41（3）：279—286]引入了效应代数的表示，给出了可表示与不可表示的效应代数的例子，证明了某些效应代数的可表示性．然而，尚未得到一般效应代数的可表示准则，基于抽象C＊-代数的GNS构造的思想，我们猜测具有足够多的态的抽象效应代数应当是可以表示的．因而，态的存在性与态空间的表示问题对于建立抽象效应代数的表示理论、解决分类问题似乎是至关重要的．本文讨论效应代数上态的存在性和赋值的存在性问题，给出了若干典型的效应代数上态的一般形式与它们的态空间．特别地，证明了可表示效应代数上态的存在性定理，并得到了到态空间与赋值空间的非空凸子集． 展开更多

关键词 效应代数 态射 态 赋值 可表示效应代数

原文传递

效应代数上态射的注记 被引量：12

10

作者 陆玲 曹怀信 +1 位作者 陈峥立 银俊成 《数学学报（中文版）》 SCIE CSCD 北大核心 2009年第5期957-960,共4页

研究了效应代数上的态、态射和单同态的一些重要性质和给了它们的刻画;对于可加映射φ:E→F,证明了φ是一个态射当且仅当φ(a′)=(φ(a))′(■a∈E);φ是一个单同态当且仅当φ是反保序的,即φ(a)≤φ(b)■a≤b。最后,证明了:如果(P,≤)... 研究了效应代数上的态、态射和单同态的一些重要性质和给了它们的刻画;对于可加映射φ:E→F,证明了φ是一个态射当且仅当φ(a′)=(φ(a))′(■a∈E);φ是一个单同态当且仅当φ是反保序的,即φ(a)≤φ(b)■a≤b。最后,证明了:如果(P,≤)是一个偏序集且以0为最小元、1为最大元,φ是从P到[0,1]的一族映射且满足一定条件,则在P上存在部分二元运算⊕,使得(P,0,1,⊕)成为一个效应代数且以φ为一个序决定态系统。 展开更多

关键词 效应代数 可加映射 态射

原文传递

效应代数的不分明化滤子

11

作者 彭家寅 《数学的实践与认识》 北大核心 2018年第6期196-203,共8页

在连续格值逻辑的语义框架下，以Lukasiewicz蕴涵算子为工具定义了连续格值逻辑上的效应代数之不分明化滤子的概念，将用G．Cantor集合理论所刻画的效应代数的滤子概念在连续格值谓词演算下给予重新刻画，给出了不分明滤子的几个等价描... 在连续格值逻辑的语义框架下，以Lukasiewicz蕴涵算子为工具定义了连续格值逻辑上的效应代数之不分明化滤子的概念，将用G．Cantor集合理论所刻画的效应代数的滤子概念在连续格值谓词演算下给予重新刻画，给出了不分明滤子的几个等价描述和性质．在两个经典效应代数的效应态射与效应同构意义下，讨论了这种不分明滤子的像和前像问题． 展开更多

关键词 效应代数 连续值逻辑 LUKASIEWICZ蕴涵算子 不分明滤子 效应态射(同构)

原文传递