检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:陆玲[1,2] 曹怀信[1] 陈峥立[1] 银俊成[1]
机构地区:[1]陕西师范大学数学与信息科学学院,西安710062 [2]西安陆军学院军事运筹教研室,西安710108
出 处:《数学学报(中文版)》2009年第5期957-960,共4页Acta Mathematica Sinica:Chinese Series
摘 要:研究了效应代数上的态、态射和单同态的一些重要性质和给了它们的刻画;对于可加映射φ:E→F,证明了φ是一个态射当且仅当φ(a′)=(φ(a))′(■a∈E);φ是一个单同态当且仅当φ是反保序的,即φ(a)≤φ(b)■a≤b。最后,证明了:如果(P,≤)是一个偏序集且以0为最小元、1为最大元,φ是从P到[0,1]的一族映射且满足一定条件,则在P上存在部分二元运算⊕,使得(P,0,1,⊕)成为一个效应代数且以φ为一个序决定态系统。A series of properties of morphisms, monomorphisms and states on an effect algebra are discussed, and characterizations of morphisms and monomorphisms are given. It is proved that if Ф : E →F is additive, then it is morphism if and only if Ф(a') = (Ф(a))' ( a ∈ E); and it is a monomorphism if and only if it is anti-order preserving, i.e., Ф(a) 〈 Ф(b) implies a ≤ b. Finally, it is shown that if (P, ≤) is a partially ordered set with the minimal and maxmual elements 0 and 1, respectively, and if Ф is a family of mappings from P into [0, 1] satisfying some conditions, then there exists a partial binary operation in P such that (P, 0, 1, ) becomes an effect algebra with Ф as an order-determining state system.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.166