07-L01 关系的定义.pdfVIP

离散数学基础 离散数学基础 2017-11-19 • 序偶 − 由两个固定次序的对象构成的序列称为一个序偶，记作  (x, y)。x 称为首元，y 称为次元或末元。 − 说明： ① 次序至关紧要； ② x, y  之间无关联要求； ③ 首元和次元允许同一，即  (a, a) 是合法的； ④ 注意与 {x, y}  的区别。 • 序偶的集合性定义 −x ≠ y  时，令  (x, y) = { {x}, {x, y} } • 定理1. − (x, y) = (u, v)   当且仅当 x = u, y = v −证明： − 引入序偶的集合性定义以及集合相等的外延性公理 − ⇐  此时 {{x}, {x, y}} = {{u}, {u, v}}，故  (x, y) = (u, v) − ⇒  由 {{x}, {x, y}} = {{u}, {u, v}} 只能 {x} = {u}, {x, y} = {u, v} • 推广定义：(x, y, z) = ( (x, y),  z ) • 定理2. − (x, y, z) = (u, v, w)   当且仅当 x = u, y = v, z = w • 推广定义：  (x , x ,…, x ) = ( (x , x ,…, x ),  x ) 1 2 n 1 2 n‐1 n  • 定理3. − (x , x ,…, x ) = (u , u ,…, u )  当且仅当 x = u , 1 2 n 1 2 n i  i      i=1,2,…,n  • 笛卡儿乘积 − 设 A 、B  为任意集合，定义      A ×B = {(x, y)|x ∈A∧y ∈B}        为 A 和 B  的笛卡尔乘积。  −例1 ：设 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×B ≠ B×A  • 定理4.  − 设 A 、B 、C  为任意集合，则：  − |A×B | = |A |×|B |  − A ×B ≠ B×A     （通常地）  − A ×(B∪C) = (A×B)∪(A ×C)  − A ×(B∩C) = (A×B)∩(A ×C)  − (B∪C)×A = (B×A)∪(C×A )  − (B∩C)×A = (B×A) ∩(C×A)  − 证明：③ A ×(B∪C) = (A×B)∪(A ×C)    A ×(B∪C) = {(x, y)|x ∈A∧y ∈(B∪C)}         = {(x, y)|x ∈A∧(y ∈B∨y ∈C)}          = {(x, y)|(x ∈A∧y ∈B)∨(x ∈A∧y ∈C)}         = {(x, y)|(x, y)∈A×B ∨ (x, y)∈A ×C}         = (A×B)∪(A ×C)  • 二元关系的一般性描述  − 一对对象之间的关系称为二元关系。  −例2 ：teachers = {a, b, c}，students = {x, y, z}  » 建立教学关系 T ：aTx   iff  a TEACHING x  » 假设有 aTx, aTz, bTy, cTy, cTz  ，用序偶集合表示为：      Teaching = {(a, x), (a, z), (b, y), (c, y), (c, z)}