模糊关系

论域(直积空间)X×Y={(x,y)│xX,yY}中的模糊关系就是X×Y中的模糊集的隶属函数在实轴闭区间[0,1]上取值,的大小反映元素xy之间的关联程度。一般,XX1×X2×…×Xn中的n项模糊关系,是X1×X2×…×Xn中的模糊集,它的隶属函数用表示,xiXi,i=1,2,…,n。模糊关系是普通关系的拓广。普通关系描述事物之间是否有关联,而模糊关系则描述事物之间关联程度的多少。L.A.扎德将模糊关系应用于输入、输出和状态间有模糊关系的模糊系统中。模糊关系还应用于有限自动机、算法、语言学等方面。

模糊矩阵和模糊关系图

X={ x1, x2,…, xm}和Y={ y1y2,…, yn}是有限论域,则X,Y 的模糊关系可用n×m 矩阵R 表示: 矩阵R称为模糊关系的模糊矩阵。模糊矩阵还可以用相应的图来表示,称为模糊关系图(见图)。

图 模糊关系的性质

X×Y上的模糊关系有下述运算性质:两个模糊关系,如果对任何的(x,y)∈X×Y都有,则称的补集。

两个模糊关系12的并12,是指对任何的(x,y)∈X×Y都有,其中“ab”表示在ɑ,b中取较大者。

两个模糊关系12的交12, 是指对任何的(x,y)∈X×Y 都有,其中“ab”表示在ɑ,b中取较小者。

两个模糊关系-1,如果对任何的(x,y)∈X×Y,都有,则称-1的逆转关系,又称倒置关系。

模糊关系称为恒等关系,是指当且仅当对任何的(x,y)∈X×Y,都有

模糊关系捊 称为零关系,是指当且仅当对任何的(x,y)∈X×Y 都有

模糊关系 称为全称关系,是指当且仅当对任何的(x,y)∈X×Y,都有

X×Y上的模糊关系Y×Z上的模糊关系 的合成,记作,是指对任何的(x,z)∈X×Z,都有,式中,,表示对所有yY求[ ]中的最大值,∧表示求其前后两项中的最小值。

X×X上的二元模糊关系 具有自反性、对称性、反对称性和传递性。

自反性是指对任何的xX,都有

对称性是指对任何的(x,y)∈X×X,都有

反对称性是指对任何的(x,y)∈X×X的充分必要条件是

传递性是指对任何的(x,y),(y,z),(x,z)∈X×X,都有

模糊相似关系和模糊等价关系

X×X上的模糊关系 满足自反性与对称性,则称X的一个模糊相似关系,又称模糊相容关系。表示xy对于模糊关系的相似程度。当X为有限集时,模糊相似关系可用一个主对角线元素为1的对称模糊矩阵来表示。若X×X上的模糊关系 满足自反性、对称性和传递性,则称X的一个模糊等价关系。模糊相似关系和模糊等价关系是模糊聚类分析模糊综合评判的基本数学工具。

模糊关系方程

模式识别、综合评判等方面经常遇到模糊关系方程的问题。如果已知模糊关系捜和,要求解出满足捜⋅垾=的模糊关系,这时捜⋅垾=就是一个模糊关系方程。