粗糙集的BCK-代数.pdfVIP

第22卷第1期 甘肃联合大学学报(自然科学版) Vo1．22 No．1 2008年 1月 Journal of Gansu Lianhe University(Natural Sciences) Jan．2008 文章编号：1672—691X(2008)01—0009—04 粗糙集的BCK-代数 宋艳丽，张秋娜 (云南民族大学数学与计算机科学学院云南 昆明650031) 摘 要：在粗糙集的代数方法研究中，一个重要的方面是从粗糙集的偶序对(下近似集，上近似集)表示人 手，通过定义偶序对性质的基本运算，从而构造出相应粗代数，并寻找能抽象表示偶序对的性质的一般代数结 构．其中最有影响的粗代数分别是粗双stone代数、近似空间代数和粗Nelson代数．文章讨论了近似空间中粗 糙集的代数性质，通过所给的粗糙并、交、补的定义，定义了粗糙集的全体所组的集合B的一个二元运算*．并 证明B是一个蕴涵的BCK叶℃数． 关键词：粗糙集；粗糙并、交、补；BCK一代数；交换的BCK一代数；正蕴涵的BCK一代数；蕴涵的BCK一代数 中图分类号：O153．4 文献标识码：A (x)一{z l[z] x)． 0 引言 在近似空间A一(U，R)中，集合之间的粗糙 BCK～代数的概念是由日本数学家Iseki于 相等(≈)定义为：对于X，y U，X≈y当且仅当 1966年以命题演算系统的代数公式化的角度提 A(X)一A(y)，A一(X)===A一(y)． 出的另一种代数结构．其后有众多研究者深入地 不难验证，粗糙相等≈是U的幂集2“上的 讨论了BCK一代数的理论．Z．PAwLAK于 1982 等价关系，用[X] 表示集合X对应的粗糙集．这 年提出粗糙集理论后．该理论已有了广泛的发展， 些集合拥有共同的上下近似，因此对应的粗糙集 且已渗透到多学科领域．用代数的方法对粗糙集 也可以用序对(A(X)，A(X))表示． 进行研究吸引了大量学者和研究人员．用代数方 1．1．2 粗糙并(U )，交(n )，补(～ ) 在近似 法对粗糙集理论自身进行的研究，似乎可以按照 空间A一(U，R)中，V X，Y U，3 Z，W U，满 人手角度分为两类：一类从近似人手，用算子的观 足： 点来抽象的看待近似，从而在一些代数结构中定 A(Z)==：A(X)U A(y)， (1) 义出两个近似算子．另一类则是从粗糙集的偶序 A(Z)==：A(X)【J A(y)， (2) 对(下近似集，上近似集)表示人手．通过定义 A(W)一A(X)n A(y)， (3) 偶序对的基本运算，从而构造出相应粗代数，并寻 A(W)= A(X)n A(y)． (4) 一 一 一 找能够抽象刻画偶序对性质的结构． 这样的Z符合下列要求： 本文用第二类方法构造一个粗代数，证明它 (a)对应惟一的粗糙集； 是一个BCK一代数，称此为粗糙集的BCK一代数， (b)[Z] ，[w] 不依赖[x] 和[y] 中代 并研究了它具有一般BCK一代数的性质． 表元的选择．