Pure Mathematics
Vol. 08  No. 06 ( 2018 ), Article ID: 27602 , 5 pages
10.12677/PM.2018.86091

Uniformly Fuzzy Posets and Its Applications

Hui Li, Lu Chen

School of Mathematical Sciences, Huaibei Normal University, Huaibei Anhui

Received: Oct. 25th, 2018; accepted: Nov. 6th, 2018; published: Nov. 16th, 2018

ABSTRACT

In this paper, the concept of uniform fuzzy posets is introduced on the fuzzy directed posets, and the basic properties of the uniformly fuzzy posets are discussed. Secondly, the uniformly fuzzy complete posets are introduced on the basis of uniformly fuzzy posets. Finally, by introducing a new fuzzy way-below relation, the concept of uniformly fuzzy continuous posets is introduced and some properties are given.

Keywords:Uniformly Fuzzy Posets, Uniformly Fuzzy Complete Posets, Uniformly Fuzzy Continuous Posets

一致模糊偏序集及其应用

李辉,陈璐

淮北师范大学数学科学学院,安徽 淮北

收稿日期:2018年10月25日;录用日期:2018年11月6日;发布日期:2018年11月16日

摘 要

本文在模糊定向集上引入一致模糊集的概念,讨论一致模糊集的基本性质。其次在一致模糊集的基础上引入一致模糊完备集,最后通过给出一种新的模糊way-below关系引入一致模糊连续集的概念,给出其若干性质。

关键词 :一致模糊集,一致模糊完备集,一致模糊连续集

Copyright © 2018 by authors and Hans Publishers Inc.

This work is licensed under the Creative Commons Attribution International License (CC BY).

http://creativecommons.org/licenses/by/4.0/

1. 引言

1965年Zadeh, L.A.提出模糊集 [1] 的概念,它的提出标志着模糊数学的诞生。模糊数学是传统数学的一个推广。文献 [2] 讨论了模糊偏序集上的若干性质,得到了若干好的等价刻画。文献 [3] 提出模糊DCPO的概念,给出了若干好的性质,然后在模糊DCPO的基础上引入模糊Domain的概念,进而得到了模糊Domain上的若干重要结果。文献 [4] 给出了模糊半连续格的概念,并讨论了其上的一些范畴性质。文献 [5] 在模糊Dcpo的基础上讨论了模糊Domain上的Ω范畴性质。文献 [6] 引入完备模糊格的概念,给出模糊完备格上若干好的性质。本文在以上文献基础上引入一致模糊集和一致模糊完备集的概念,讨论其上的若干性质。其次在一致模糊完备的基础上利用新的模糊way-below关系给出一致模糊Domain的概念,探讨其若干性质。一致模糊集是模糊定向集的一个推广。

2. 预备

本节给出本文所需的基本概念和符号。

定义2.1 [2] :设X是非空偏序集, e : X × X L 为映射,称e是X上的一个模糊偏序关系,若e满足:

i) 自反性: x X e ( x , x ) = 1

ii) 传递性: x , y , z X e ( x , y ) e ( y , z ) e ( x , z )

iii) 反对称性: x , y X e ( x , y ) = e ( y , x ) = 1 x = y

称偶对 ( X , e ) 为模糊偏序集,简称模糊集。

例2.1 [2] :设X为非空集合,定义 s u b X : L X × L X L A , B L X

s u b X ( A , B ) = x X A ( x ) B (x)

定义1.2 [3] :设 ( X , e ) 是模糊偏序集, x 0 X A L X ,如果:

1) x X A ( x ) e ( x , x 0 ) ;(相应的, x X A ( x ) e ( x 0 , x ) )

2) y X x X ( A ( x ) e ( x , y ) ) e ( x 0 , y )

(相应的, y X x X ( A ( x ) e ( y , x ) ) e ( y , x 0 ) ),则称 x 0 为A的上确界(相应的,下确界),记作 x 0 = A (相应的, x 0 = A )。

定义2.3 [3] :设 ( X , e ) 是模糊偏序集, A L X ,若 x , y X e ( x , y ) L A ( x ) A ( y ) ( e ( x , y ) L A ( y ) A ( x ) ),则称A为模糊上集(模糊下集)。

定义2.4 [3] :设 ( X , e ) 是模糊偏序集, A L X ,定义 A L X 为:

y X A ( x ) = y X A ( y ) e ( x , y ) ( A ( x ) = y X A ( y ) e ( y , x ) ).

对于 A X χ A L X (称为A的特征函数)定义为 χ A ( x ) = 1 ,若 x A ;否则为0.0,1分别为L的最小元和最大元。

定义2.5 [3] :设 ( X , e ) 是模糊偏序集, D L X ,如果D满足:

1) x X D ( x ) = 1 ;2) x , y X D ( x ) D ( y ) z X D ( z ) e ( x , z ) e ( y , z )

则称D为模糊定向集。如果模糊定向集 D L X 还是一个下集,则称D为模糊理想。 ( X , e ) 上的全体模糊定向子集记为 D ( X )

定义2.6 [3] :设 ( X , e ) 是模糊偏序集,如果 A D ( X ) A 存在,则称 ( X , e ) 是模糊Dcpo。

定义2.7 [7] :设 ( X , e X ) ( X , e Y ) 是模糊偏序集, f : X Y , g : Y X 是两个保模糊序的映射。如果 x X , y Y , e Y ( f ( x ) , y ) = e X ( x , g ( y ) ) ,则称 ( f , g ) 为X和Y之间的一个模糊Galois伴随。f称为g的左伴随,g称为f的右伴随。

3. 主要结果

在本节中引入一致模糊偏序集和一致模糊连续偏序集的概念。

定义3.1:设 ( X , e ) 为模糊偏序集, A L X 为模糊子集,若 D A x , y X 满足:

1) x X A ( x ) = 1

2) D ( x ) D ( y ) z X A ( z ) e ( x , z ) e ( y , z )

则称A为一致模糊偏序集。 ( X , e ) 上的一致模糊偏序集的全体记为 U F ( X ) ,若A还是一个模糊下集,则称A为一致模糊理想,全体一致模糊理想记为 U F I ( X )

注3.1:在定义2.1中若令 D = A ,则此时A为模糊定向集。即模糊定向集为一致模糊集。

定义3.2:设 ( X , e ) 为模糊偏序集,若 A U F ( X ) A 存在,则称 ( X , e ) 为一致模糊完备偏序集。记为UFCPO。

注3.2:设 ( X , e ) 是UFCPO, A U F ( X ) D A 为模糊子集,则 D A ,等号成立当且仅当 D = A

定义3.3:设 ( X , e ) 为UFCPO,定义其上的一致模糊way-below关系为, x , y X

U F x ( y ) = I U F I ( X ) ( e ( x , I ) I ( y ) ) .

U F : X × X L ( X , e ) 上的一致模糊way-below关系,且 U F x ( y ) = U F ( y , x ) 。如果 x X U F x U F ( X ) x = U F x ,则称 ( X , e ) 为一致模糊连续偏序集或一致模糊Domain。

定理3.1:设 ( X , e ) 为UFCPO, x X , A U F ( X ) ,若 x = A ,则 U F x A

证明:设 ( X , e ) 为UFCPO,故 A U F ( X ) A 存在,且 A 为一致模糊理想,故 x = A = A 。因此 y X ,有

U F x ( y ) e ( x , A ) A ( y ) = 1 A ( y ) = A ( y ) .

命题3.1:设 ( X , e ) 为UFCPO, x , y X I U F I ( X ) ,则以下条件成立:

1) y X e ( x , y ) I ( x )

2) z X e ( x , y ) U F y ( x )

3) U F x x

4) 对任意的 u , v X , e ( u , x ) U F y ( x ) e ( y , v ) U F v ( u )

证明:

1) y X e ( x , y ) = ( y X e ( x , y ) ) ( z X I ( z ) ) = z X ( y X e ( x , y ) I ( z ) ) z X ( e ( x , z ) I ( z ) ) I ( x )

2) U F y ( x ) = I U F I ( X ) e ( y , I ) I ( x ) I U F I ( X ) I ( x ) z X e ( x , z )

3) U F x ( y ) e ( x , x ) x ( y ) = e ( x , x ) e ( y , x ) = e ( y , x ) = x ( y )

4) e ( v , I ) e ( u , x ) e ( y , u ) ( e ( y , I ) I ( x ) ) e ( y , I ) ( e ( y , I ) I ( x ) ) e ( u , x ) e ( u , x ) I ( x ) I ( u )

e ( u , x ) e ( y , u ) ( e ( y , I ) I ( x ) ) e ( v , I ) I ( u )

进而 e ( u , x ) U F y ( x ) e ( y , v ) = e ( u , x ) e ( y , u ) ( I U F I ( X ) e ( y , I ) I ( x ) ) I U F I ( X ) e ( u , x ) e ( y , u ) ( e ( y , I ) I ( x ) ) I U F I ( X ) e ( v , I ) I ( u ) = U F v ( u )

定理3.2:设 ( X , e ) 为一致模糊Domain,则 x , y X U F y ( x ) = z X U F z ( x ) U F y ( z )

证明:由命题3.1可知 z X U F z ( x ) U F y ( z ) U F y ( x ) 。下证

U F y ( x ) z X U F z ( x ) U F y ( z ) .

a X ,令 A ( a ) = z X U F z ( x ) U F y ( z ) 。故只需证 U F y ( a ) A ( x )

首先证A是一致模糊理想。

1) a X A ( a ) = a X z X U F z ( a ) U F y ( z ) = z X a X U F z ( a ) U F y ( z ) = z X ( U F y ( z ) ( a X U F z ( a ) ) ) = z X U F y ( z ) = 1

2) a , b X

A ( a ) e ( b , a ) = z X U F z ( a ) U F y ( z ) e ( b , a ) z X U F z ( b ) U F y ( z ) = A ( b ) .

因此A是模糊下集。

3) a , b X D A ,由命题3.1 (4),

D ( a ) D ( b ) = a 1 , b 1 X U F a 1 ( a ) U F b 1 ( b ) U F y ( a 1 ) U F y ( b 1 ) a 1 , b 1 X c X U F a 1 ( a ) U F b 1 ( b ) U F y ( c ) e ( a , c ) e ( b , c ) = a 1 , b 1 X c X ( U F a 1 ( a ) e ( a , c ) ) ( U F b 1 ( b ) e ( b , c ) ) U F y ( c ) a 1 , b 1 X c X U F c ( a ) U F c ( b ) U F y (c)

= c X U F c ( a ) U F c ( b ) U F y ( c ) c X d X U F c ( d ) e ( a , d ) e ( b , d ) U F y ( c ) = d X ( e ( a , d ) e ( b , d ) ( c X U F c ( d ) U F y ( c ) ) ) = d X e ( a , d ) e ( b , d ) A (d)

其次, y = A 。事实上, a X

z X A ( z ) e ( z , a ) = z X a 1 X ( U F a 1 ( z ) U F y ( a 1 ) e ( z , a ) ) = a 1 X ( U F y ( a 1 ) z X ( U F a 1 ( z ) e ( z , a ) ) ) = a 1 X U F y ( a 1 ) e ( U F a 1 , a ) = a 1 X U F y ( a 1 ) e ( a 1 , a ) = e ( y , a ) .

最后, U F y ( x ) = I U F I ( X ) e ( y , I ) I ( x ) e ( y , A ) A ( x ) = 1 A ( x ) = A ( x )

定理3.3: ( X , e ) 是一致模糊Domain当且仅当 ( U F , ) ( X , e ) ( U F I ( X ) , s u b X ) 之间的一个模糊Galois伴随。

证明:

1) 必要性。 x , y X

s u b ( U F x , U F y ) = z X ( I U F I ( X ) e ( x , I ) I ( z ) ) ( J U F I ( X ) e ( y , J ) J ( z ) ) z X ( J U F I ( X ) e ( y , I ) J ( z ) ) ( e ( y , J ) J ( z ) ) J U F I ( X ) e ( y , J ) e ( x , J ) e ( x , y ) .

U F 是保模糊序的。 I , J U F I ( X )

e ( I , J ) = x X I ( x ) e ( x , J ) x X I ( x ) J ( x ) = s u b X ( I , J ) ,故 也是保模糊序的。

x X , I U F I ( X ) ,

s u b X ( U F x , I ) = y X U F x ( y ) I ( y ) y I ( e ( x , I ) I ( y ) ) I ( y ) e ( x , I ) .

并且, e ( x , I ) = y X U F x ( y ) e ( y , I ) y X U F x ( y ) I ( y ) = s u b X ( U F x , I )

因此, ( U F , ) ( X , e ) ( U F I ( X ) , s u b X ) 之间的一个模糊Galois伴随。

2) 充分性。因 ( U F , ) ( X , e ) ( U F I ( X ) , s u b X ) 之间的一个模糊Galois伴随,故 x X U F x U F I ( X ) e ( x , U F x ) = 1 ,进而 x U F x x = x ,故 x = U F x 。所以 ( X , e ) 是一致模糊Domain。

文章引用

李 辉,陈 璐. 一致模糊偏序集及其应用
Uniformly Fuzzy Posets and Its Applications[J]. 理论数学, 2018, 08(06): 676-680. https://doi.org/10.12677/PM.2018.86091

参考文献

  1. 1. Zadeh, L.A. (1965) Fuzzy Sets. Information and Control, 8, 338-353.
    https://doi.org/10.1016/S0019-9958(65)90241-X

  2. 2. 张奇业. L-Fuzzy Domain理论[D]: [博士学位论文]. 北京: 首都师范大学, 2002.

  3. 3. Yao, W. and Shi, F.G. (2010) Quantitative Domain via Fuzzy Sets: Part I: Continuity of Fuzzy Directed Complete Posets. Fuzzy Sets and Systems, 161, 973-987.
    https://doi.org/10.1016/j.fss.2009.06.018

  4. 4. 韩艳伟. 模糊半连续格及其范畴性质[D]: [硕士学位论文]. 西安: 陕西师范大学, 2011.

  5. 5. Lai, H. and Zhang, D. (2007) Complete and Directed Complete Ω-Categories. Theoretical Computer Science, 388, 1-25.
    https://doi.org/10.1016/j.tcs.2007.09.012

  6. 6. Lai, H.L. (2005) Complete Fuzzy Lattice. Foundations of Fuzzy Set Theory, Beijing, IFSA: 246-251.

  7. 7. Yao, W. and Lu, L.X. (2009) Fuzzy Galois Connections on Fuzzy Posets. Mathematical Logic Quarterly, 55, 84-91.
    https://doi.org/10.1002/malq.200710079

期刊菜单