目录前言二元关系的基础定义2. 五大核心性质所有特殊关系的根基两个关键点核心二元关系详解一基础平凡关系集合上的 3 个基准关系1. 空关系2. 恒等关系3. 全关系全域关系二应用核心关系1. 相容关系2. 等价关系3. 偏序关系半序关系二元关系信息归纳表前言在离散数学的知识体系中二元关系是连接集合论、数理逻辑、图论与代数系统的核心桥梁。我们常听到的等价、相容、偏序这些概念本质上都是基于基础性质定义的特殊二元关系二元关系的基础定义设 A、B 是两个集合笛卡尔积 A×B 的任意子集 R就称为从 A 到 B 的二元关系如果 AB则称 R 是集合 A 上的二元关系。下文所有讨论均针对集合 A 上的二元关系。简单来说二元关系就是集合中元素之间的 “关联规则”我们用有序对x,y表示 “x 和 y 满足该关系”。2. 五大核心性质所有特殊关系的根基所有特殊二元关系都是这 5 个性质的不同组合也是判断关系类型的唯一标准。自反性∀x∈A必有x,x∈R反自反性∀x∈A必有x,x∉R对称性若x,y∈R则y,x∈R反对称性若x,y∈R且y,x∈R则必有xy传递性若x,y∈R且y,z∈R则必有x,z∈R性质名称严谨定义通俗解释正面示例反面示例自反性对∀x∈A必有x,x∈R每个元素都和自己有关系所有元素必须带自环实数集的≤、集合的⊆、恒等关系实数集的xx 永远不成立反自反性对∀x∈A必有x,x∉R每个元素都和自己没有关系绝对不能有自环实数集的、集合的⊂、父子关系恒等关系自带自环不满足反自反对称性若x,y∈R则必有y,x∈R关系是双向的你和我有关系我就和你有关系同学关系、三角形相似关系、相等关系实数集的≤x≤y 推不出 y≤x反对称性若x,y∈R且y,x∈R则必有 xy除了元素自身关系不能双向不同元素不能有双向关联实数集的≤、集合的⊆、整除关系同学关系你是我同学、我是你同学但我们不是同一个人传递性若x,y∈R且y,z∈R则必有x,z∈R关系可以顺延A 和 B 有关系、B 和 C 有关系则 A 和 C 有关系实数集的≤、集合的⊆、祖先关系父子关系你爸是你爸、你爷爷是你爸的爸但你爷爷不是你爸两个关键点自反和反自反不是非此即彼一个关系可以既不自反也不反自反比如部分元素有自环、部分没有但非空集合上的关系绝对不可能同时满足自反和反自反。对称和反对称不是非此即彼恒等关系既满足对称也满足反对称也存在关系既不满足对称、也不满足反对称。核心二元关系详解一基础平凡关系集合上的 3 个基准关系这三类是集合上最边界、最基础的二元关系是理解所有特殊关系的起点。1. 空关系定义集合 A 上的空关系是不包含任何有序对的关系记为∅。核心性质反自反、对称、反对称、传递仅当 A 为空集时满足自反性直观理解集合里所有元素之间没有任何关联。示例A{1,2,3}空关系就是∅无任何x,y有序对。2. 恒等关系定义集合 A 上的恒等关系记为I_A是所有元素自环组成的集合即I_A {x,x | x∈A}。核心性质自反、对称、反对称、传递直观理解只有元素自己和自己有关系是集合上最小的自反关系。示例A{1,2,3}则I_A{1,1,2,2,3,3}对应 “数值相等” 的最小关系。3. 全关系全域关系定义集合 A 上的全关系记为E_A是包含 A 上所有可能有序对的关系即E_A {x,y | x∈A, y∈A}。核心性质自反、对称、传递同时也是等价关系直观理解集合里所有元素两两之间都有关系是集合上最大的二元关系。示例A{1,2}则E_A{1,1,1,2,2,1,2,2}。二应用核心关系这三类是实际工程、逻辑推理中最常用的关系模型。1. 相容关系定义集合 A 上的二元关系 R若满足自反性、对称性则称 R 是 A 上的相容关系。核心特点在自反的基础上只要求双向关联不要求传递性是比等价关系更宽松的关系核心是刻画元素的 “相似性”。与其他关系的关联等价关系一定是相容关系相容关系不一定是等价关系缺少传递性。示例同学关系你和我是同学、我和你是同学对称自己和自己必然是同学自反但你和我同学、我和他同学你和他不一定是同学不传递是最典型的相容关系。补充相容关系与集合的覆盖一一对应一个相容关系可以唯一确定集合的一个覆盖反之亦然。2. 等价关系定义集合 A 上的二元关系 R若满足自反性、对称性、传递性则称 R 是 A 上的等价关系。核心特点在相容关系的基础上增加了传递性是离散数学中最核心的关系之一核心作用是对集合做无重叠、无遗漏的划分。与其他关系的关联等价关系是特殊的相容关系恒等关系、全关系都是等价关系。示例整数集上的模 n 同余关系如模 3 同余a≡b mod 3满足自反a≡a mod 3、对称a≡b则b≡a、传递a≡b且b≡c则a≡c是最经典的等价关系。补充等价关系与集合的划分一一对应一个等价关系会把集合分成若干互不相交的等价类这些等价类构成集合的一个划分反过来给定集合的一个划分也能唯一确定一个等价关系。3. 偏序关系半序关系定义集合 A 上的二元关系 R若满足自反性、反对称性、传递性则称 R 是 A 上的偏序关系通用记为≤并非指数值的小于等于集合 A 与偏序关系 R 合称为偏序集记为(A, ≤)。核心特点刻画元素的 “层级、顺序” 关系允许集合中存在两个元素 “不可比”既无x,y也无y,x。与其他关系的关联和等价关系的核心区别是等价要求对称偏序要求反对称二者仅恒等关系是交集。示例实数集的≤、集合的⊆、正整数集的 “整除关系”都是偏序关系。比如正整数集上的整除关系2 和 3 无法互相整除二者不可比完全符合偏序的特点。补充偏序关系通常用哈斯图可视化简化了自环和传递边仅保留直接的层级关联。二元关系信息归纳表关系类型自反性反自反性对称性反对称性传递性核心定义示例空关系❌✅✅✅✅不含任何有序对的关系集合 A{1,2,3} 上的∅恒等关系✅❌✅✅✅仅包含所有元素自环的关系数值相等关系、I_A{x,xx∈A}全关系✅❌✅❌✅包含集合上所有有序对的关系任意两个元素都有关联的关系相容关系✅❌✅❌❌满足自反性、对称性的关系同学关系、集合交集非空关系等价关系✅❌✅❌✅满足自反、对称、传递性的关系模 n 同余关系、三角形全等关系偏序关系✅❌❌✅✅满足自反、反对称、传递性的关系集合包含⊆、整数≤、整除关系
【离散数学】核心二元关系梳理
发布时间：2026/5/17 9:41:30
目录前言二元关系的基础定义2. 五大核心性质所有特殊关系的根基两个关键点核心二元关系详解一基础平凡关系集合上的 3 个基准关系1. 空关系2. 恒等关系3. 全关系全域关系二应用核心关系1. 相容关系2. 等价关系3. 偏序关系半序关系二元关系信息归纳表前言在离散数学的知识体系中二元关系是连接集合论、数理逻辑、图论与代数系统的核心桥梁。我们常听到的等价、相容、偏序这些概念本质上都是基于基础性质定义的特殊二元关系二元关系的基础定义设 A、B 是两个集合笛卡尔积 A×B 的任意子集 R就称为从 A 到 B 的二元关系如果 AB则称 R 是集合 A 上的二元关系。下文所有讨论均针对集合 A 上的二元关系。简单来说二元关系就是集合中元素之间的 “关联规则”我们用有序对x,y表示 “x 和 y 满足该关系”。2. 五大核心性质所有特殊关系的根基所有特殊二元关系都是这 5 个性质的不同组合也是判断关系类型的唯一标准。自反性∀x∈A必有x,x∈R反自反性∀x∈A必有x,x∉R对称性若x,y∈R则y,x∈R反对称性若x,y∈R且y,x∈R则必有xy传递性若x,y∈R且y,z∈R则必有x,z∈R性质名称严谨定义通俗解释正面示例反面示例自反性对∀x∈A必有x,x∈R每个元素都和自己有关系所有元素必须带自环实数集的≤、集合的⊆、恒等关系实数集的xx 永远不成立反自反性对∀x∈A必有x,x∉R每个元素都和自己没有关系绝对不能有自环实数集的、集合的⊂、父子关系恒等关系自带自环不满足反自反对称性若x,y∈R则必有y,x∈R关系是双向的你和我有关系我就和你有关系同学关系、三角形相似关系、相等关系实数集的≤x≤y 推不出 y≤x反对称性若x,y∈R且y,x∈R则必有 xy除了元素自身关系不能双向不同元素不能有双向关联实数集的≤、集合的⊆、整除关系同学关系你是我同学、我是你同学但我们不是同一个人传递性若x,y∈R且y,z∈R则必有x,z∈R关系可以顺延A 和 B 有关系、B 和 C 有关系则 A 和 C 有关系实数集的≤、集合的⊆、祖先关系父子关系你爸是你爸、你爷爷是你爸的爸但你爷爷不是你爸两个关键点自反和反自反不是非此即彼一个关系可以既不自反也不反自反比如部分元素有自环、部分没有但非空集合上的关系绝对不可能同时满足自反和反自反。对称和反对称不是非此即彼恒等关系既满足对称也满足反对称也存在关系既不满足对称、也不满足反对称。核心二元关系详解一基础平凡关系集合上的 3 个基准关系这三类是集合上最边界、最基础的二元关系是理解所有特殊关系的起点。1. 空关系定义集合 A 上的空关系是不包含任何有序对的关系记为∅。核心性质反自反、对称、反对称、传递仅当 A 为空集时满足自反性直观理解集合里所有元素之间没有任何关联。示例A{1,2,3}空关系就是∅无任何x,y有序对。2. 恒等关系定义集合 A 上的恒等关系记为I_A是所有元素自环组成的集合即I_A {x,x | x∈A}。核心性质自反、对称、反对称、传递直观理解只有元素自己和自己有关系是集合上最小的自反关系。示例A{1,2,3}则I_A{1,1,2,2,3,3}对应 “数值相等” 的最小关系。3. 全关系全域关系定义集合 A 上的全关系记为E_A是包含 A 上所有可能有序对的关系即E_A {x,y | x∈A, y∈A}。核心性质自反、对称、传递同时也是等价关系直观理解集合里所有元素两两之间都有关系是集合上最大的二元关系。示例A{1,2}则E_A{1,1,1,2,2,1,2,2}。二应用核心关系这三类是实际工程、逻辑推理中最常用的关系模型。1. 相容关系定义集合 A 上的二元关系 R若满足自反性、对称性则称 R 是 A 上的相容关系。核心特点在自反的基础上只要求双向关联不要求传递性是比等价关系更宽松的关系核心是刻画元素的 “相似性”。与其他关系的关联等价关系一定是相容关系相容关系不一定是等价关系缺少传递性。示例同学关系你和我是同学、我和你是同学对称自己和自己必然是同学自反但你和我同学、我和他同学你和他不一定是同学不传递是最典型的相容关系。补充相容关系与集合的覆盖一一对应一个相容关系可以唯一确定集合的一个覆盖反之亦然。2. 等价关系定义集合 A 上的二元关系 R若满足自反性、对称性、传递性则称 R 是 A 上的等价关系。核心特点在相容关系的基础上增加了传递性是离散数学中最核心的关系之一核心作用是对集合做无重叠、无遗漏的划分。与其他关系的关联等价关系是特殊的相容关系恒等关系、全关系都是等价关系。示例整数集上的模 n 同余关系如模 3 同余a≡b mod 3满足自反a≡a mod 3、对称a≡b则b≡a、传递a≡b且b≡c则a≡c是最经典的等价关系。补充等价关系与集合的划分一一对应一个等价关系会把集合分成若干互不相交的等价类这些等价类构成集合的一个划分反过来给定集合的一个划分也能唯一确定一个等价关系。3. 偏序关系半序关系定义集合 A 上的二元关系 R若满足自反性、反对称性、传递性则称 R 是 A 上的偏序关系通用记为≤并非指数值的小于等于集合 A 与偏序关系 R 合称为偏序集记为(A, ≤)。核心特点刻画元素的 “层级、顺序” 关系允许集合中存在两个元素 “不可比”既无x,y也无y,x。与其他关系的关联和等价关系的核心区别是等价要求对称偏序要求反对称二者仅恒等关系是交集。示例实数集的≤、集合的⊆、正整数集的 “整除关系”都是偏序关系。比如正整数集上的整除关系2 和 3 无法互相整除二者不可比完全符合偏序的特点。补充偏序关系通常用哈斯图可视化简化了自环和传递边仅保留直接的层级关联。二元关系信息归纳表关系类型自反性反自反性对称性反对称性传递性核心定义示例空关系❌✅✅✅✅不含任何有序对的关系集合 A{1,2,3} 上的∅恒等关系✅❌✅✅✅仅包含所有元素自环的关系数值相等关系、I_A{x,xx∈A}全关系✅❌✅❌✅包含集合上所有有序对的关系任意两个元素都有关联的关系相容关系✅❌✅❌❌满足自反性、对称性的关系同学关系、集合交集非空关系等价关系✅❌✅❌✅满足自反、对称、传递性的关系模 n 同余关系、三角形全等关系偏序关系✅❌❌✅✅满足自反、反对称、传递性的关系集合包含⊆、整数≤、整除关系
