离散数学特殊关系

离散数学是数学的一个分支，研究的是离散结构和离散对象。在离散数学中，关系是一个重要的概念，它用于描述对象之间的关联和依赖关系。在关系中，我们需要重点关注一些特殊的关系，这些关系被称为特色关系，包括偏序关系、等价关系和函数关系等。

重点：特殊关系的判定与证明、等价类与商集的计算、8个特殊的判定、复合函数的计算

难点：相关内容关系与覆盖的联系、等价关系与集合划分的联系、特殊关系的判定与证明、8个特色元的判定、函数类型的证明

相容关系：相容关系与覆盖定义、相容关系与覆盖的联系

等价关系：等价关系与集合划分的定义、等价关系与集合划分的联系、等价类与商集

拟序关系：拟序关系的定义

偏序关系：偏序关系的定义、哈斯图、8个特殊元

函数：函数的相关概念、函数的类型、常用的函数、函数的运算、置换函数

1.偏序关系

偏序关系（partial order）是离散数学中的一种常见的特色关系，它通常用于描述集合中元素的顺序关系。若集合S上的二元关系R具有下列三个性质，则称R是S上的偏序关系：

（1）自反性：对于S中任意元素a都有aRa。

（2）反对称性：若aRb且bRa，则a=b。

（3）传递性：若aRb且bRc，则aRc。

例如，"小于等于"就是偏序关系，其中S为实数集，R={(x, y) | x≤y}。

2.等价关系

等价关系（equivalence relation）是具有自反性、对称性和传递性的关系，它通常用于描述集合中元素的相等关系。若集合S上的二元关系R具有下列三个性质，则称R是S上的等价关系：

（1）自反性：对于S中任意元素a都有aRa。

（2）对称性：若aRb，则bRa。

（3）传递性：若aRb且bRc，则aRc。

例如，"相似"就是等价关系，其中S为所有的几何图形，R={(a, b) | a与b相似}。

3.函数关系

函数关系（function relation）是离散数学中的另一种特色关系，它通常用于描述两个集合之间的映射关系。若集合S和T上的二元关系R满足以下条件，则称R是从S到T的函数关系：

（1）对于S中的每个元素x，存在T中的唯一元素y，使得(x, y)∈R。

（2）对于S中的每个元素x和y，如果(x, a)∈R且(x, b)∈R，则a=b。

例如，"国家和首都的对应关系"就是函数关系，其中S为所有的国家，T为所有的首都，R={(a, b) | a的首都是b}。

例如：设A是所有中国人组成的集合，试判断下列关系是否为相容关系。
（1)A上的同性关系R。
（2）A上的朋友关系S。
（3）A上的父子关系T。
分析根据“相容关系的判断方法”直接判断即可。
解（1）关系R同时具有自反性和对称性，即关系R是相容关系。
（2）关系S同时具有自反性和对称性，即关系S是相容关系。
（3）关系T不具有自反性，即关系T不是相容关系；也可以说关系T不具有对称
生，即关系T不是相容关系。

最大元、最小元的求解方法
（1)b为B的最大元→存在b(b∈B∧任意x(x∈B→x≤b))=1。

（2)b是B的最大元→b是B对应哈斯图的唯一最上端。

（3)b为B的最小元→存在b(b∈B∧任意x(x∈B→b≤x))=1。

（4)b是B的最小元→b是B对应哈斯图的唯一最下端。

极大元、极小元的求解方法
（1)b为B的极大元→存在b(b=B∧任意x(x=B∧b≤x→x=b))=1。

（2)bb是B的极大元→在B对应哈斯图中，b的上面没有其他元素。

（3)b为B的极小元→存在b(b∈B∧任意x(x∈B∧x≤b→x=b))=1。

(4)b是B的极小元→在B对应哈斯图中，b的下面没有其他元素。

总之，特色关系是离散数学中的重要概念，它们在各种领域中都有着广泛的应用。通过研究这些关系，我们能够更好地理解和处理现实世界中存在的各种关联和依赖关系，为实际应用提供有力的支持。