集合论与图论 · 第 4 讲：关系的投影与联接

集合论与图论

2026年9月22日 笔记

1. 投影运算

2. 联接运算

设是以为基的元关系；是以为基的元关系，则和的联接运算定义为：

关系矩阵 ，也就类似之前说的特征函数

3. 特殊二元关系

表示关系矩阵，表示关系图。

性质

def 设

1. 是自反的，是指
2. 是反自反的，是指
3. 对称的
4. 反对称的
5. 斜对称的

Theorem

设

1. 是自反的，对角线元素全部是1每一个顶点都有自环

查看原始笔记