- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
#三部分模糊代数 215
半群的L—fuzzy子半群构成的格
汤建钢胡卫敏
伊犁师范学院数学系 伊犁835000
成一个完备格。引入了L—fuzzy子半群范畴的概念,并对其态射的特征进行了研
究,给出了等价结果。该结果说明所引入态射概念即L—fuzzy子半群同态概念的
合理性。
关键词半群L—fuzzy子半群态射
本文用&£表示集范畴,&表示半群范畴。
设L是完全分配格,0,1分别是L的最小元与最大元,x是通常集合,映射A:x一上,称
记作L。。按点态方式定义,容易验证L。是完全分配格,Q,1分别是它的最小元、最大元。其
A(T)≥a}称
中旦(X)=o,l(z)=l,对任意z∈x成立。对于A∈p,A。={T∈x
为A的口一截集。
B∈L6,定义
(AoB)(z)=V{A(T)^B(Y)Iz=xy,z,,∈C(G)}
为A与B的内积。
更一般地,设A,∈LG,i∈j,定义OA:∈L6如下:Vz∈G
(黔r)(z)2…。;^≤A‘屯)
”噩∞p∈N,x。∈c(G)·
称黔t为诸At的内积。
1
定义l 设G是一个具单位元e的半群,A∈LG,如果
A(z)^A(Y)≤A(xy),VX,Y∈G
半群的全体记作F(G),G的所有通常子半群的全体记作P(G)。
定理1.1
卫∈A,否则x^(T)=o。
证明 结论显然。
注l:以下本文约定普通集合与其特征函数使用一个符号,即普通集合A的特征函数仍记
作A.其约定的合理性见文【4J。
定理1.2设H∈P(G)。A∈F(G),则A作为映射在H上的限制AIH∈F(H)。
I
j
216 模糊桌理论与应用
证明 结论显然。 妻簧
L—fUZzy点的积运算为j。·卯=(soy)。^口。 潮
以下我们给出半群的L—fuzzy子半群的等价刻划。
定理1.3 设G是具单位元e的半群,A∈L6,则下列命题等价:
(t)a∈F(G); (2)AOA≤A; · 浏
(5)A=’:薹{
(3)A。∈P(G),Vn∈L; (4)V卫。,帅∈A有z。·卵∈A。其中a^p≠0;
;士。1卫。∈Al是半群,其中卫。·即=(划)。^p。 ∥一
证明 (I)=}(2)若A∈F(G)则Vz,Y∈G
A(z)^A(y)≤A(蒯) {
于是Vz∈G,(AoA)(z)=VfA(工)^a(y)lz=xy。z,y∈C(G)I
≤V}A(叫)Jz=xy,z,Y∈C(G)}
=V{A(z)I£=掣。212,Y∈C(G)f
=A(z)
所以AoA≤A。
2∈c(
原创力文档


文档评论(0)