第3章 模糊关系.ppt

第3章 模糊关系 3.1 经典关系 3.2 模糊关系 3.1 经典关系 笛卡尔积 一个 r 元的有序序列，称为一个有序 r 元组，记作（a1，a2，…，ar） 一个无序的 r 元组只是在次序上无约束的集合 有序 r 元组，当 r = 2时，称此 r 元组为序偶 定义： 对于经典集合（或清晰集）A1，A2，…，Ar，其所有r 元组（a1，a2，…，ar） ，称为A1，A2，…，Ar 上的笛卡尔集。 记作： A1×A2×…×Ar 其中： 3.1 经典关系 例3-1 已知两个集合A，B中的元素为 A = {0，1}，B = { a，b，c} 则这两个集合所有不同的笛卡尔积表示如下： A×B = {(0, a), (0, b), (0, c), (1, a), (1, b), (1, c)} B×A = {(a, 0), (a, 1), (b, 0), (b, 1), (c, 0), (c, 1)} A×A = {(0, 0), (0, 1), (1, 0), (1, 1)} B×B = {(a, a), (a, b), (a, c), (b, a), (b, b), (b, c), (c, a), (c, b), (c, c)} 3.1 经典关系 清晰关系 关系：笛卡尔积A1，A2，…，Ar的一个子集，称为A1，A2，…，Ar的 r 元关系 二元关系：笛卡尔积A1，A2一个子集 一个偶集 第一个坐标为A1中的元素，第二个坐标为A2中的元素 约定：术语关系，若无限定，均指二元关系 关系的意义：表示二个（或二个以上）集合元素之间关联、交互、互连是否存在。 二元关系的表示： 3.1 经典关系 清晰关系 两个论域X，Y上的笛卡尔积定义为： 任意的 组成一个序偶，并构成X、Y键的无约束偶，即论域X上的每一个元素与Y上的每一个元素相关。 相关强度可以用特征函数来度量，表示为 完全相关其值为1 无关其值为0 3.1 经典关系 清晰关系 清晰关系的特征函数描述 关系矩阵：当论域或者集合为有限时，关系可用矩阵来表示。 一个 r 元关系可用一个维矩阵 r 来表示。 二元关系可用一个二维矩阵来表示。 3.1 经典关系 例3-2 X = {x1, x2}，Y = { y1, y2, y3}，定义R为X 到Y二元关系： 注意行、列的顺序 3.1 经典关系 例3-3 X ，Y是实数集，R是X 到Y的大于关系，则 3.1 经典关系 清晰关系 逆关系：设R是X到Y的关系，令 则R-1是Y到X的关系，称R-1为R的逆关系。 特征函数表示： 关系矩阵的性质： R 与R-1互为转置，即 3.1 经典关系 例3-4 令A = {3，5}，B = { 1，2，3}，则A×B上的“大于关系” R为： R的逆关系，即B×A上的小于关系为： 3.1 经典关系 例3-4　用关系矩阵描述 到的大于关系Ｒ为： Ｂ到Ａ的小于关系R-1为： 3.1 经典关系 清晰关系的运算 R和S为笛卡尔论域X×Y上的两个独立关系 并： 交： 补： 包含： 同一性： 3.1 经典关系 清晰关系的运算 — 复合 定义：给定集合X，Y，Z，设R是X×Y上的经典关系，Q是Y×Z上的经典关系，S是X×Z上的经典关系，若： 则称关系S是R与Q的复合，记为： 3.1 经典关系 清晰关系的运算 — 复合 运算方法： 最大—最小复合（常用） 最大积复合 3.1 经典关系 例3-5 R和Q关系矩阵可表示为 则采用最大—最小复合法 3.2 模糊关系 模糊关系的定义 笛卡尔积空间 上的模糊关系是X×Y的一个模糊子集 。 的隶属函数 表示X中的元素与Y中的元素具有这种关系的程度。 推广：若 是n个集合，则所谓笛卡尔积空间 上的一个n元模糊关系 是指 上的一个模糊集。 由隶属函数 来描述，它反应了 具有这种关系的程度。 3.2 模糊关系 对比 3.2 模糊关系 3.2 模糊关系 例3-6： 3.2 模糊关系 模糊关系—逆关系： 设 是X到Y的模糊关系，令 则 是Y到X的模糊关系