08-L02 关系的运算.pdfVIP

离散数学基础 离散数学基础 2017-11-19 • 关系运算内容提要 − 关系的一般运算 − 关系的复合运算 − 关系的逆运算 − 关系的闭包 − 关系运算的混合运算 − 关系运算对关系性质的影响 • 假设以下讨论的集合 X 、Y、Z 、W 都是非空集合。 (1) 关系的一般运算 − 设 R 、S  是 X 到  Y  的二元关系，定义运算如下： R∪S = {(x, y)|(x, y)∈R∨(x, y)∈S}  R∩S = {(x, y)|(x, y)∈R∧(x, y)∈S}  R−S = {(x, y)|(x, y)∈R∧(x, y)∉S}  ~R = X×Y−R  − 这些是在 ρ(X ×Y)，即 X ×Y  的幂集上定义的集合运算。 −例1 ： 设 A = { 1, 2, 3, 4 }, B = { a, b, c },   R = { (1, a), (1, b), (2, b), (2, c), (3, b), (4, a) },  S = { (1, b), (2, c), (3, b), (4, b) }.      求 ~R, R∩S, R∪S.  −解：A ×B = { (1, a), (1, b), (1, c), (2, a), (2, b), (2, c), (3, a), (3, b), (3, c), (4, a), (4, b), (4, c) }  ~R = { (1, c), (2, a), (3, a), (3, c), (4, b), (4, c) }  • 关系一般运算的矩阵描述 − 设 A  是一个非空有穷集，R 和 S 是在Ａ上定义的二元关系，则 M  = M ∧M    R∩S R S M  = M ∨M R∪S R S  M  = ~(M ) = 1 ‐ M ~R R A R − 其中  M ∧M  和  M ∨M 是关系矩阵的布尔运算： R S R S  [M ∧M ]  = [M ]  ∧ [M ] , [M ∨M ]  = [M ] ∨ [M ] R S  ij R ij S ij R S  ij R ij  S ij −例2 ：设 A = { 1, 2, 3 }，R 和 S 是在Ａ上定义的二元关系 ⎡1 0 1⎤ ⎡0 1 1⎤ ⎢ ⎥ ⎢ ⎥ MR ⎢0 1 1⎥, MS ⎢1 1 0⎥ ⎢⎣0 0 0⎥⎦ ⎢⎣0 1 0⎥⎦ ⎡0 0 1⎤ ⎡1 1 1⎤ ⎡0 1 0⎤ ⎢ ⎥ ⎢ ⎥ ⎢ ⎥ MR∩S ⎢0 1 0⎥, MR∪S ⎢1 1 1⎥ , M~R ⎢1 0 0⎥ ⎢⎣0 0 0⎥⎦ ⎢⎣0 1 0⎥⎦ ⎢⎣1 1 1⎥⎦ (2) 关系的复合 • 复合关系 − 设二元关系 R