FDM-W.07-L.02 关系的性质.pdf

计算机科学MOOC课程群 计算机科学MOOC课程群 离散数学基础 离散数学基础 • 定义  − 设 R  是集合 X 上的二元关系，x, y, z ∈X ，则：  ① R  是自反的 ⇔ (∀x)(x, x)∈R  ② R  是反自反的 ⇔ (∀x)(x, x)∉R  ③ R  是对称的 ⇔ (∀x)(∀y)((x, y)∈R→(y, x)∈R)  ④ R  是反对称的 ⇔ (∀x)(∀y)((x, y)∈R∧(y, x)∈R→x = y)   ⑤ R  是传递的 ⇔ (∀x)(∀y)(∀z)((x, y)∈R∧(y, z)∈R→(x,z)∈R)  • 定义  − 设 R  是集合 X 上的二元关系，x, y, z ∈X ，则：  ① R  是自反的 ⇔ (∀x)(x, x)∈R  » 等价定义  – IX ⊆ R  – MR  的对角元均为1  – R  的关系图为自环图  (每个结点上均有自环)  » Dom(R) = Ran(R) = X  • 定义  − 设 R  是集合 X 上的二元关系，x, y, z ∈X ，则：  ② R  是反自反的 ⇔ (∀x)(x, x)∉R  » 等价定义  – R ∩ IX = ∅  – MR  的对角元均为0  – R  的关系图为无自环图  (每个结点上均无自环)  − 说明：  » 存在着既非自反也非反自反的关系，如： ⎛0 1⎞ M R ⎜ ⎟ ⎝0 1⎠ • 定义  − 设 R  是集合 X 上的二元关系，x, y, z ∈X ，则：  ③ R  是对称的 ⇔ (∀x)(∀y)((x, y)∈R→(y, x)∈R)  » 等价定义  – M   为对称矩阵  R – 关系图中的任意两个不同结点或者分离，或者由一对方向相反的有向线 段联结  • 定义  − 设 R  是 X 上的二元关系，x, y, z ∈X ，则：  ④ R  是反对称的 ⇔ (∀x)(∀y)((x, y)∈R∧(y, x)∈R→x = y)  » 等价定义  – M   为反对称矩阵  R – 关系图中的任意两个不同结点或者分离，或者仅由一条有向线段联结  − 说明：  » 存在着既对称又反对称的关系，如：  ⎛1 0 0⎞ ⎜ ⎟ M 0 1 0 R ⎜ ⎟ ⎜⎝0 0 1⎠⎟ − 说明：  » 存在着既非对称又非反对称的关系，如：  ⎛1 1 1⎞ ⎜ ⎟ M 1 0 0 R ⎜ ⎟