模糊数学2009-2(运算、分解定理)

吉林大学计算机科学与技术学院
3
1-3 模糊集的运算
吉林大学计算机科学与技术学院
4
模糊集合的运算

经典集合有哪些运算？ 将经典集合的运算推广至模糊集合

逐点对隶属度作相应的运算
吉林大学计算机科学与技术学院
5
空模糊集合&相等模糊集合
设A、B为论域X上的模糊集

定义1：若对任何 x∈X，有μA(x) = 0，则 称模糊集A为空集，记为A=φ； 定义2：若对任何 x∈X ， μA(x) = μB(x) ， 则称模糊集A和B相等，记为 A = B ；
10
模糊集合的余集

若论域X表示商品集合，模糊集合A表示 商品质量好，模糊集合B表示商品质量 差


Ac表示什么？
Ac = B ?

商品质量不好，并不代表商品质量差。 模糊集合能够很好的表现这些概念的差 异。
吉林大学计算机科学与技术学院源自11Example 1
论域X={x1 , x2 , x3 , x4 ,, x5}
吉林大学计算机科学与技术学院
27
课内作业1-4

设论域X=[0,1]，A是X上的模糊集 合，其隶属函数为μA(x)=x，试求 A∩Ac和A∪Ac的隶属函数，并做出 解释。
吉林大学计算机科学与技术学院
28
课内作业1-5
设论域X R （实数集）对x R, , x 1 2 x2 2 A ( x) exp{( ) }, B ( x) exp{( )} 2 2 c 求A , A B, A B的隶属函数, 并画图
吉林大学计算机科学与技术学院
8
模糊集合的交集

定义5：两个模糊集合的交集A ∩ B的隶 属函数定义为 μ A ∩ B (x) = μA (x) ∧μB (x)
吉林大学计算机科学与技术学院
9
模糊集合的余集

定义6：模糊集合A的余集Ac的隶属函数 定义为
A ( x) 1 A ( x)
C
吉林大学计算机科学与技术学院
吉林大学计算机科学与技术学院
26
课内作业1-3

论域X={1,2,…,10}，定义X上的两个 模糊集合：


[大]=A=0.2/4+0.4/5+0.6/6+0.8/7+1/8 +1/9+1/10
[小]=B=1/1+0.8/2+0.6/3+0.4/4+0.2/5 求C=[不大], D=[不小], E=[或大或 小], F=[不大也不小]
Question. 什么时候Aλ最小？
吉林大学计算机科学与技术学院
44
模糊集的核与支集

λ=1时， Aλ最小，称截集Aλ=1为模糊集A的 “核”，若Aλ=1非空，则称A为正规模糊集
模糊集A的支集
suppA={ x| x∈X , μA(x) >0 }

核与支集的关系：核Aλ=1中的元素完全隶 属于A，随着λ值的下降，Aλ逐渐扩张，最 后扩张为A的支集suppA
模糊数学
孙舒杨 Email. sysun@
吉林大学计算机科学与技术学院
1
回顾

L.A.Zadeh的研究领域是什么？ “拂晓”、“中午”、“晚上”
吉林大学计算机科学与技术学院
2

L. A. Zadeh (1921～ ) 美国自动控制专家，美国工程科学 院院士。1921年2月生于苏联巴库。 1949年获哥伦比亚大学电机工程博士。 现任伯克利加利福尼亚大学电机工程与 计算机科学系教授。因发展模糊集理论 的先驱性工作而获电气与电子工程师学 会(IEEE)的教育勋章。
证明： x ∈ (A∪B)λ⇔ μA∪B (x)≥λ
又因为μA∪B (x)= max{μA(x),μB(x) }
⇔ μA (x)≥λ 或μB (x)≥λ
⇔ x ∈Aλ或x ∈Bλ
⇔ x ∈ Aλ ∪ Bλ
吉林大学计算机科学与技术学院
43
λ水平截集
由性质2（若λ≤μ，则Aλ⊇ Aμ)可知：

λ越大，则Aλ越小，或者说Aλ包含 的元素越少。

吉林大学计算机科学与技术学院
13
模糊集合运算性质（幂等律）
A∪A＝? , A∩A=?
性质1. 幂等律： A∪A=A，A∩A=A
吉林大学计算机科学与技术学院
14
模糊集合运算性质（交换律）
性质2. A∪B=?
B∪A
A∩B=? B∩A
吉林大学计算机科学与技术学院
15
模糊集合运算性质（结合律）
性质3.
吉林大学计算机科学与技术学院
29

1-3答案
0.2 0.4 0.6 0.8 1 1 1 4 5 6 7 8 9 10 1 0.8 0.6 0.4 0.2 [小] B 1 2 3 4 5 求[不大],[不小],[或大或小],[不大也不小] [大] A
吉林大学计算机科学与技术学院
39
λ截集的性质1
性质1. 设A，B为论域X上的模糊集， λ∈[0,1]，若A⊆B，则
Aλ⊆Bλ
证明： x ∈ Aλ ⇔ μA(x)≥λ
A⊆B⇔∀x∈X, μB(x) ≥μA(x)
⇒μB(x)≥λ⇔ x ∈ Bλ
吉林大学计算机科学与技术学院
40
λ截集的性质2
性质2. 设A，B为论域X上的模糊集， λ,μ ∈[0,1]，若λ≤μ，则
0.8 0.6 0.4 0.2 0 0 0 4 5 6 7 8 9 10 0 0.2 0.4 0.6 0.8 [不小] D B c 1 2 3 4 5 [不大] C Ac
[或大或小] A B 1 0.8 0.6 0.2 0.4 0.4 0.2 0.6 0.8 1 1 1 1 2 3 4 5 6 7 8 9 10 1 0.8 0.6 0.4 0.4 0.6 0.8 1 1 1 1 2 3 4 5 6 7 8 9 10 [不大也不小] Ac B c 0 0.2 0.4 0.8 0.6 0.6 0.8 0.4 0.2 0 0 0 ＝ 1 2 3 4 5 6 7 8 9 10 0 0.2 0.4 0.6 0.6 0.4 0.2 0 0 0 ＝ 吉林大学计算机科学与技术学院 1 2 3 4 5 6 7 8 9 10
(A∩B)∪C= ？ ( A∪C)∩(B∪C)
吉林大学计算机科学与技术学院
18
模糊集合运算性质（0-1律）
性质6. A∪Φ＝?, A∩Φ＝?
A,
X,
Φ
A
19
X∪A=?, X∩A=?
吉林大学计算机科学与技术学院
模糊集合运算性质（还原律）
性质7. (Ac)c = ?
(Ac)c = A
吉林大学计算机科学与技术学院
c
吉林大学计算机科学与技术学院
31
设U R （实数集）对x R, A( x) exp{( ,
x 1 2 x2 2 ) }, B( x) exp{( )} 2 2
1-5答案
求Ac , A B, A B, 并画图
x 1 2 A ( x) 1 exp{( )} 2
(A∪B)∪C=? A∪(B ∪C) (A∩B)∩C=? A∩(B∩C)
吉林大学计算机科学与技术学院
16
模糊集合运算性质（吸收律）
性质4. A∩(A∪B)= ? A
A∪(A∩B)=？ A
吉林大学计算机科学与技术学院
17
模糊集合运算性质（分配律）
性质5. (A∪B)∩C=？ ( A∩C)∪(B∩C)
20
模糊集合运算性质（对偶律）
性质8. (A∪B)c= ？
Ac∩Bc (A∩B)c= ？
Ac∪Bc
吉林大学计算机科学与技术学院
21
经典集合的其他性质

经典集合的运算中，还有“排中律” Ac∪A= X, A∩Ac = Φ

Question. 模糊集合运算中， “排 中律”是否成立？
吉林大学计算机科学与技术学院

如果将隶属度≥0.5 的朝代看作真正的 奴隶社会，将模糊集合[奴隶社会]转 化为经典集合[奴隶社会]0.5 ，则
[奴隶社会]0.5 = ？
吉林大学计算机科学与技术学院
35
λ水平截集的定义
定义：设A∈F(X) （ F(X)是指X上的所有模 糊子集构成的集合），对任意实数λ∈[0,1]， 称经典集合 Aλ= { x| x ∈X， μA(x) ≥ λ}
c
x 1 2 x2 2 exp{( ) } exp{( )} 2 2
x 1 2 3 exp{( 2 ) }, x 2 A B exp{( x 2 ) 2 }, x 3 2 2
3 x 2
x2 2 3 exp{( 2 ) }, x 2 A B exp{( x 1) 2 }, x 3 2 2
30
1-4答案
设X [0,1], A( x） x, 求( A A )( x),( A A )( x), 并解释
c c
1 x, x [0,0.5] ( A A )( x)＝ x, x [0.5,1]
c
x, x [0, 0.5] ( A A )( x)＝ 1 x, x [0.5,1]
吉林大学计算机科学与技术学院
25
课内作业1-2

设X={a,b,c,d,e,f,g} A=0.5/b+0.4/c+1/d+0.7/f


B=0.3/a+0.9/b+0.4/c+1/d+0.6/f+1/g