第2章模糊关系.docVIP

第二章 模糊关系与模糊关系合成 第一节 模糊关系 在第一章中我们介绍过“关系”的概念，那是指事物之间一种完全清晰的关系，即直积中序偶（x,y）的第一个元素与第二个元素之间，要么存在关系R，要么不存在关系R，不存在其他情形。但是实际事物中却大量存在另一类型的关系，这种关系不能简单地用“有”或“无”作肯定或否定回答，因此可以考虑运用模糊关系加以描述，即在直积空间中各元素之间，可以在不同程度上具有我们所指的某种关系，也就是说，对于这种关系允许有中间过渡性。例如，用X，Y表示两类人的集合，那么对于“亲密关系”而言，X,Y的各成员之间具有这种关系就不会那么清晰，允许存在由亲密到不亲密的中间过渡状态，若以表示具有“亲密关系”的元素序偶组成的集合，则序偶对于的隶属关系就不象清晰关系那样非有即无，如果以表示这种隶属程度，则可以取[0，1之间的任何数值。 一、模糊关系定义 设X，Y为两个非空集合，则称直积X×Y中的一个模糊子集是X到Y的一个二元模糊关系，可表示为 模糊关系是由其隶属函数 ：X×Y→[0，1] （表示从X×Y到[0，1]的一个映射）完全刻划。 对 (x ,y)∈X×Y，（x,y）→∈[0，1] 其中表示（x,y）具有关系的程度。 当X=Y 时, 称为“在X上的二元模糊关系”。 注意在表示模糊关系时，序偶（x,y）的顺序不能颠倒。 二、模糊关系表示法 当论域是有限域时，一个模糊关系可以用图形或数来表示，这里主要介绍最常用的矩阵表示法，称这种矩阵为模糊关系矩阵。 例1 设论域A={1，2，3}，B={1，2，3，4，5} 从A到B的模糊关系定义为“a比b小得多”，则此关系可用下表给出： 表2-1 a比b小得多 隶属度μR B 1 2 3 4 5 1 0 0 0.5 0.8 1 A 2 0 0 0 0.5 0.8 3 0 0 0 0 0.5 或者表示成为如下的关系矩阵： 例2 设论域X={x1 ，x2 ，x3 ，x4 ，x5}是五个人的集合，X上的一个模糊关系定义为他们之间“面貌相象”关系，则此关系可用模糊矩阵表示如下： 根据上面所举例，我们给出模糊关系定义 设论域X={x1 ，x2 ，x3 ，…， x m} Y={ y1 ，y2 ，y3 ，…， y n } 则从X到Y的模糊关系R可以用矩阵表示 称为模糊关系矩阵， 其中，1≤ i ≤m ，1≤ j ≤n ， x i ,x j ∈X 。 若是X上的模糊关系，则称为n×n的方阵。 三、模糊关系的性质 1．自反性 设是X上的模糊关系，对x∈X，必有，则称是有自反性的模糊关系，例如相象关系具有自反性。 2．非自反性 设是X上的模糊关系，对x∈X，必有，则称是非自反性的模糊关系，例如仇敌关系是非自反的。 3．对称性 设是X上的模糊关系，对x∈X，y∈X，必有，则称具有对称性 4．设是X上的模糊关系，对x∈X，y∈X，要么，要么，则称是 X上的非对称模糊关系，例如大于关系就是非对称模糊关系。 5．传递性 设是X上的模糊关系，对x,y,z∈X，若 则称是 X上的有传递性的模糊关系，例如“大得多”关系就是传递性的模糊关系。 采用矩阵形式，就可以更方便地显示模糊关系的性质。设是X上的模糊关系，则我们有下列结论： ⑴ 具有自反性，则的主对角线上元素皆为1。 ⑵ 具有非自反性，则的主对角线上元素皆为0。 ⑶ 具有对称性，则是对称方阵，即，其中是的转置矩阵。 ⑷ 具有非对称性，则中关于主对角线对称的任意两个元素不相等或这两个元素皆为0。 6．模糊关系运算 我们已经看到，一个模糊关系就是一个模糊集合，于是对模糊关系的运算就是对模糊集合的运算，运算的结果就是模糊关系式，X上的模糊关系之间有并、交、补、包含、相等的基本运算，定义如下： ⑴ 相等 ，对x∈X，y∈X，必有 ⑵ 包含 ，对x∈X，y∈X，必有 ⑶ 并 ，对x∈X，y∈X，必有 ⑷ 交 ，对x∈X，y∈X，必有 ⑸ 补 对x∈X，y∈X，必有 ⑹ 恒等 X上的模糊关系称为恒等关系，记为，定义为 ⑺ 全称关系 X上的模糊关系称为全称关系，记为E，定义为 。 四、模糊关系的矩阵运算方式 有了模糊关系矩阵，则模糊关系运算可以用矩阵运算来表示 1．相等 ， 2．并 设 ， 则 3．交 设 ， 则 4．补 设 ，则 例3 设 求 ， ， 解： 第二节 模糊关系合成 所谓模糊关系合成，是指模糊关系之间的一种运算关系，既然模糊关系使用矩阵表示直观方便，因此模糊关系合成也可以采用矩阵运算进行。 一、模糊关系合成 定义1 设是从集合X到Y的一个模糊关系，是集合Y到Z的一个模糊关