第二章模糊关系.docVIP

模糊关系 2.1 关系的基本知识 关系是一种常见的概念。例如甲对乙有兄弟关系；对有余弦关系；对有大小的次序关系等。在现代数学中，关系是用集合来表现的。 一、集合的笛卡儿乘积 定义2.1.1 设和是两个集合，和的笛卡儿乘积是 我们称为序偶（或称为有序对），序偶的全体构成了笛卡儿乘积集。应注意到序偶和顺序有关，即。所以一般地。 [例 2.1.1] 设={0, 1, 2}， ={3, 4}，则 这里，。 两个集合的笛卡儿乘积的定义，容易推广到任意有限个集合的情形。 定义 2.1.2 对于任意个集合 ，记 称其为的笛卡儿乘积。其中为有次序的元素组。 二、关系 序偶是笛卡儿乘积的元素，它是无约束的组对。若给组对以约束，便体现了一种特定的关系；同时，受到约束的序偶形成了的一个子集。 定义 2.1.3 中的（二元）关系是的子集，即 若，则称是中的关系。 如果, 则和有关系，记做；如果，则和没有关系，记作。对此，也可以用特征函数表达为 (2.1) 集合称为关系的定义域；集合称为关系的值域。 当和都是有限集合时，关系可以用矩阵来表示。设, ，则可以表示为 (2.2) [例 2.1.2] 设＝＝{1，2，3，4，5，6}，中的关系可用关系矩阵表示为 ＝ 由本例可见，矩阵中的元素或等于0或等于1。我们称这种矩阵为布尔矩阵。 三、映射 定义 2.1.4 设为中的关系，如果对于每一，有①，使，②若，，则，则称为到的映射。 如果，则是唯一确定的，记为，并称是在下的象。对于每一，如果使得，则称是的原象。并且的原象集记作。 记号 ： 表示到的映射。 定义 2.1.5 设：。如果对每一，有，则称为单射（或称为一一映射）。如果的值域是整个，则称为满射。如果既是单射的，又是满射的，则称为双射（或称为一一对应的映射）。 2.2 模糊关系 一、模糊关系的概念 在例2.1.2中，序偶组对的约束是。这是一种仅有两种状态可供选择的“硬”约束，在此约束下所形成的是中的一个普通集合。当序偶组对所受到的约束是一种弹性的“软”约束时，接受约束的序偶形成了一个模糊集合，这个模糊集合表现了和弹性约束相对应的模糊关系。 定义2.2.1 中的（二元）模糊关系是中的模糊集合，它的隶属函数用表示。 若，则称是中的模糊关系。 在实轴的闭区间[0，1]取值，它的大小反映了具有关系的程度。 [例 2.2.1] 设=（实轴），中的模糊关系具有： 这里和是常数。给出了一个模糊环，它表示受到模糊约束的所构成的形状为模糊环的模糊集合。 由于模糊关系是一种模糊集合，所以模糊集合的相等、包含等概念对于模糊关系同样具有意义。 定义2.2.2 设和是中的模糊关系，如对，均有 则称和相等，记为＝。 定义2.2.3 设和是中的模糊关系，如对，均有 则称包含，记为。 二、模糊关系的模糊矩阵表示 当和都是有限论域时，模糊关系也可以表示为矩阵形式。设＝{，，…，，…，}，＝{y，y，…，，…，}，则可以表示为 (2.3) 式（2.3）和式（2.2）形式相同，只是在式（2.2）中，r{0,1}；而在式（2.3）中，[0,1]。我们称矩阵为模糊矩阵。 [例 2.2.2] 设和同例2.1.2，中的模糊关系可用模糊矩阵表示为 ＝ 其中＝(5,2)＝0.3，它说明当较多3时，对的隶属程度看作为0.3。其余情况的解释类似。 三、模糊关系的投影 定义2.2.4 设是中的模糊关系，定义在中的投影,在中的投影，他们分别具有隶属度函数 (2.4) (2.5) [例 2.2.3] 设,中的模糊关系描述为，1，则 当,是有限集时，用模糊矩阵可以方便地求出的投影。 [例 2.2.4] ＝ ＝ ＝ 以为例，其计算如下： 四、模糊关系的运算 模糊关系的运算类同于模糊集合的运算。当和是有限集时，模糊关系的运算可以用模糊矩阵的形式来进行。 定义2.2.5 设和是中的模糊关系，定义，，它们分别具有隶属函数 (2.6) (2.7) 分别称为与的并和交。 [例 2.2.5] 设 ＝，＝ 则 ＝ ＝ ＝ ＝ 定义2.2.6 设是中