离散数学期末考试重点冲刺：关系矩阵与反自反性（Irreflexivity）深度解析-CSDN博客

本文链接：https://blog.csdn.net/2402_84764726/article/details/151050165

关键词： 离散数学, 二元关系, 关系矩阵, 反自反性, 自反性, 对角线, 期末复习

知识点总体预览

在离散数学中，关系矩阵（Relation Matrix） 是表示有限集合上二元关系的常用工具。结合反自反性（Irreflexivity） 的判断，是期末考试中考察关系性质的典型题型。掌握如何从关系矩阵的结构特征（特别是主对角线）快速判断关系的性质，是解题的关键。

本篇将系统梳理关系矩阵与反自反性判断的完整知识体系，涵盖：

关系矩阵的定义与构造方法。
反自反性的精确定义与数学表达。
关系矩阵中反自反性的判定准则（主对角线全为0）。
反自反性与自反性、非自反性的辨析。
其他关系性质在矩阵中的体现（对称、反对称、传递）。
关系矩阵的运算与性质推导。

我们将通过详尽的理论讲解和丰富的题目解析，助你彻底攻克这一抽象但重要的知识点。

知识点详解

1. 关系矩阵（Relation Matrix）

定义：设集合A={a₁, a₂, …, aₙ}，R是A上的二元关系。R的关系矩阵是一个 n×n 的布尔矩阵M=(mᵢⱼ)，其中：
- mᵢⱼ = 1，如果 (aᵢ, aⱼ) ∈ R
- mᵢⱼ = 0，如果 (aᵢ, aⱼ) ∉ R
构造步骤：
1. 将集合A的元素按固定顺序排列（如a₁, a₂, …, aₙ）。
2. 矩阵的行和列分别对应这些元素。
3. 若aᵢ与aⱼ有关系R，则在第i行第j列填1；否则填0。
例子：A={1,2,3}，R={(1,1),(1,2),(2,3)}，则关系矩阵为：
```
M = [1  1  0]
    [0  0  1]
    [0  0  0]
```

2. 反自反性（Irreflexivity）

定义：对于集合A中的每一个元素a，都有 (a, a) ∉ R，即 a 与自身没有关系R。
数学表达：∀a ∈ A, (a, a) ∉ R
直观理解：“没有元素与自身相关”。
关键点：必须是所有元素都不与自身相关。只要有一个元素与自身相关，就不满足反自反性。

3. 反自反性在关系矩阵中的判定

核心准则：关系矩阵的主对角线（从左上到右下的对角线，即m₁₁, m₂₂, …, mₙₙ）上的所有元素都必须是0。
原因：主对角线上的元素mᵢᵢ对应的是 (aᵢ, aᵢ) 是否在R中。反自反性要求所有 (aᵢ, aᵢ) ∉ R，所以所有mᵢᵢ=0。
判定步骤：
1. 观察关系矩阵的主对角线。
2. 如果主对角线上所有元素都是0，则关系具有反自反性。
3. 如果主对角线上至少有一个元素是1，则关系不具有反自反性。

4. 反自反性与相关概念的辨析

(1) 反自反性 vs 自反性（Reflexivity）

自反性：∀a ∈ A, (a, a) ∈ R → 关系矩阵主对角线全为1。
反自反性：∀a ∈ A, (a, a) ∉ R → 关系矩阵主对角线全为0。
关系：两者是互斥的。一个关系不能同时是自反的和反自反的（除非论域为空集）。
注意：一个关系可以既不自反也不反自反（主对角线既有1也有0）。

(2) 反自反性 vs 非自反性（Non-reflexivity）

非自反性：不是自反的。即 ∃a ∈ A, (a, a) ∉ R。
区别：
- 反自反性要求所有元素都不与自身相关。
- 非自反性只要求至少一个元素不与自身相关。
关系：反自反性 ⇒ 非自反性，但反之不成立。
例子：
- A={1,2}，R={(1,1)}：主对角线[1,0] → 非自反（因为(2,2)∉R），但不反自反（因为(1,1)∈R）。
- A={1,2}，R={(1,2)}：主对角线[0,0] → 反自反。

5. 其他关系性质在矩阵中的体现

对称性（Symmetry）：矩阵关于主对角线对称，即 M = Mᵀ（转置矩阵）。
反对称性（Antisymmetry）：若 i ≠ j，则 mᵢⱼ 和 mⱼᵢ 不能同时为1。即上三角和下三角中，对应位置不能同时为1。
传递性（Transitivity）：较复杂，需满足 M² ≤ M（布尔矩阵乘法，且比较是逐元素的≤，即0≤0, 0≤1, 1≤1，但1≰0）。或检查：若 mᵢⱼ=1 且 mⱼₖ=1，则 mᵢₖ=1。

6. 关系矩阵的运算

并（∪）：对应元素进行逻辑或（∨）。
交（∩）：对应元素进行逻辑与（∧）。
复合（∘）：布尔矩阵乘法（∧代替×，∨代替+）。
逆（⁻¹）：矩阵的转置（Mᵀ）。

题目描述：下列关系矩阵所对应的关系具有反自反性的是？

[1  0  1]
[0  1  0]
[1  0  1]

[0  1  0]
[1  0  1]
[0  1  0]

[1  1  0]
[0  0  1]
[1  0  0]

[0  0  0]
[0  0  0]
[0  0  0]

解析：

判断反自反性的关键是主对角线全为0。

A：主对角线为 [1, 1, 1] → 全为1 → 自反，不反自反。
B：主对角线为 [0, 0, 0] → 全为0 → 反自反。
C：主对角线为 [1, 0, 0] → 第一个元素为1 → 不满足全0 → 不反自反。
D：主对角线为 [0, 0, 0] → 全为0 → 反自反。

答案：B, D
（注：题目可能为单选，但根据标准定义，B和D都满足反自反性。D是空关系，也满足反自反性。）

题目描述：设集合A={a,b,c}，其上的关系R的关系矩阵为

M = [0  1  0]
    [1  0  1]
    [0  1  0]

判断R是否具有反自反性、对称性、传递性。

解析：

反自反性：主对角线 [0, 0, 0] 全为0 → 具有反自反性。
对称性：检查矩阵是否对称。
- m₁₂=1, m₂₁=1 → 对称。
- m₁₃=0, m₃₁=0 → 对称。
- m₂₃=1, m₃₂=1 → 对称。
- 矩阵关于主对角线对称 → 具有对称性。
传递性：检查是否存在 mᵢⱼ=1 且 mⱼₖ=1 但 mᵢₖ=0 的情况。
- 取 i=1, j=2, k=3：m₁₂=1, m₂₃=1 → 应有 m₁₃=1，但 m₁₃=0 → 不满足。
- 因此，不具有传递性。
- （关系图：a→b→c，但没有a→c）

答案：具有反自反性和对称性，不具有传递性。

题目描述：为什么空关系（Empty Relation）在任意非空集合上都是反自反的？

解析：

空关系：R = ∅，即没有任何有序对在R中。
反自反性定义：∀a ∈ A, (a, a) ∉ R。
对于空关系，任何有序对，包括 (a, a)，都不在R中。
因此，对于集合A中的每一个元素a，都有 (a, a) ∉ R。
这恰好满足反自反性的定义。
补充：如果集合A为空集，则空关系既是自反的也是反自反的（因为全称量词在空集上恒真）。

答案：因为空关系不包含任何有序对，所以对任意元素a，(a, a) 都不在关系中，满足反自反性定义。

题目描述：设关系R在集合A上的关系矩阵主对角线为[1,0,1]，则R是自反的吗？是反自反的吗？是非自反的吗？

解析：

自反性？要求主对角线全为1。此处为[1,0,1]，第二个元素为0 → 不自反。
反自反性？要求主对角线全为0。此处有1 → 不反自反。
非自反性？指“不是自反的”。因为不自反 → 是非自反的。

答案：不自反，不反自反，是非自反的。

题目描述：若关系R具有反自反性和对称性，它是否可能具有传递性？举例说明。

解析：

可能。
例子1（具有传递性）：A={1,2}，R={(1,2),(2,1)}。
- 关系矩阵：[0 1; 1 0] → 主对角线[0,0] → 反自反。
- 矩阵对称 → 对称。
- 检查传递性：(1,2)和(2,1) → 应有(1,1)，但(1,1)∉R → 不传递。
例子2（不具有传递性）：A={1,2,3}，R={(1,2),(2,1),(2,3),(3,2)}。
- 反自反（主对角线0），对称。
- (1,2)和(2,3) → 应有(1,3)，但(1,3)∉R → 不传递。
例子3（具有传递性）：A={1,2,3}，R={(1,2),(2,1),(1,3),(3,1),(2,3),(3,2)}（即所有不同元素间的双向关系）。
- 反自反（无自环），对称。
- 检查传递性：取任意 i≠j, j≠k。
  - 若 i=k，如 (1,2)和(2,1) → (1,1)？但(1,1)∉R，而定义要求若 (a,b)∈R 且 (b,c)∈R 则 (a,c)∈R。此处a=1,b=2,c=1，(a,c)=(1,1)∉R → 不传递！
结论：实际上，对于具有反自反性和对称性的关系，要满足传递性非常困难，因为 (a,b)∈R 且 (b,a)∈R（由对称性）会要求 (a,a)∈R，但这与反自反性矛盾。
严格证明：假设R反自反、对称且传递。
- 若存在 (a,b)∈R 且 a≠b。
- 由对称性，(b,a)∈R。
- 由传递性，(a,b)∈R 且 (b,a)∈R → (a,a)∈R。
- 但这与反自反性（(a,a)∉R）矛盾。
- 因此，R中不能有任何 (a,b) 且 a≠b。
- 又因反自反，也不能有 (a,a)。
- 所以R只能是空关系。
最终结论：只有空关系同时满足反自反性、对称性和传递性。