模糊数学第十三讲.pptVIP

第四章 模糊集之间的度量与模糊模式识别 第十三讲 4.2 模糊集之间的贴近度 §4.1 模糊集之间的距离  4.1.1 经典集合之间的距离 定义4.1.1 设Ｕ 为非空集合, d :Ｕ ×Ｕ ? R+ =[ 0 , +∞ ], (u , v) ?? d (u , v) 满足下了三条公理: ( 1 ) 正规性: d (u , v) =0 iff u = v , ? u ,v ?Ｕ ; ( 2 ) 对称性: d (u , v) = d (v , u) , ? u ,v ?Ｕ ; ( 3 ) 三角不等式: d (u , w) = d (u , v) + d (v , w) , ? u ,v ,w ?Ｕ . 则称 d 为Ｕ 上的一个距离函数(度量函数)，称 d (u , v)为u与 v两点之间的距离,称 (Ｕ , d )为一个距离空间(度量空间) 。 . 定义4.1.2 设(Ｕ , d )为一个度量空间, P0(U)= P(U)-{?}.在P0(U)上定义二元函数如下: dH : P0(U) × P0(U) ? R+ (A , B) ?? dH(A , B) =[∨u∈A ∧v ∈ B d (u , v) ] ∨ [∨v ∈ B ∧u∈A d (u , v)] . 则dH满足 ( 1 ) dH(A , A)=0 , ? A ?P0(U) ; ( 2 ) 对称性: dH(A , B)= dH(B , A) , ? A , B ?P0(U) ; ( 3 ) dH(A , C) ≤ dH(A , B)+ dH(B , C ) , ? A ,B ,C ? P0(U) . 我们称dH为Hausdorff 广义伪度量函数 , 而称dH(A , B)为A与B 的Hausdorff 度量(距离),简称P0(U)为Hausdorff 空间. 4.1.2 模糊集合之间的距离 定义4.1.3 设(Ｕ , d )为一个度量空间, F0(U)= {A ?F(U) | A的高=1} . 在F0(U)上定义二元函数如下: de : F0(U) × F0(U) ? R+ , 使得? A , B ?P0(U) , de(A , B)= ∨??[0,1] e(?) dH(A? , B? ). (4.1.6) 其中dH为由d 诱导的Hausdorff 广义伪度量, e 为在[0, 1] 上定义的函数, 且满足在[0,1]中, 0 e(?) ≤ 1, e(?) 为增函数, 并且当?趋向于1时, e(?) 趋向于1. 则称de 为F0(U)中带有限制因子e的模糊 Hausdorff 广义伪度量 , 简称F.H.度量.而称de (A , B)为模糊集合A与B 的F.H. 距离. 注意:反映模糊集合之间距离的度量方法有很多，可以从多种途径加以推广. 4.2.1 模糊集合的内积与外积 定义4.2.1 设U 为论域, A , B ? F (U), 则 (1).称 A◎B=∨u∈U (A(u) ∧B(u)) 为A与B的内积. (2).称 A⊙B=∧u∈U (A(u) ∨B(u)) 为A与B的外积. 特别当U = {u1 , u2 , ? , un }时,有 A◎B= A⊙B=∧ ni=1(A(ui) ∨B(ui)). 定理4.2.1 设U 为论域, A , B ? F (U),则有 (1) A◎A= , A⊙A= A (2) A◎B≤ , A⊙B≥A∨B (3) A◎A? ≤0.5, A⊙A? ≥0.5 (4) (A◎B)? =A?⊙B? ,(A⊙B)? =A?◎B? . 定理4.2.2 设A,B?F(U),若A?B,则 (1) A◎B= , A⊙B= B (2) ?C?F(U), A◎C≤B◎C, A⊙C≤ B⊙C. 定理4.2.3 设A?F(U),则 A◎A= ∨B?F(U) A◎B; (2) A ⊙ A= ∧B?F(U) A⊙B . 定理4.2.4 设A,B,C?F(U),则有 (1) (A∪B)◎C=(A◎C)∨(B◎C); (2) (A∩B)⊙C=(A⊙C)∧(B⊙C); (3) (A∩B)◎C ≤ (A◎C)∧(B◎C); (4) (A∪B)⊙C≥(A⊙C)∨(B⊙C); 4.2.2 模糊集合之间的格贴近度 定义4.2.2 设A,B∈F(U) ,记 A,B = (A◎B)∧(A⊙B)? 称A,B为A与B的格贴近度.当A,B越大时,说明A与B越贴近. 例4.2.2. 设U = {u1 , u2 , u3 , u4 }, A , B ? F (U), 且A=