刘晓铭_关系(ppt,371k).pptVIP

关系 函数 等价关系 集合A上的关系叫做等价的，如果它是自反的、对称的和传递的。 例子：设R是实数集上的关系，并且aRb，当且仅当a-b是整数。R是等价关系吗？ 等价类 定义：设R是集合A上的等价关系。与A中的一个元素a有关系的所有元素的集合叫做a的等价类。A的关于R的等价类记做[a]R。 即[a]R = {s | (a,s) ∈R} 例子：设A是你们班的所有学生的集合。考虑A上的关系R，R由所有的对(x,y)构成，其中x和y从同一高中毕业。给定学生x，由与x在同一高中毕业的所有学生构成的集合是A的子集，称为关系R的一个等价类。 等价类与划分 设R是集合A上的等价关系，下面的定理证明A的两个元素的等价类或是相等或是不相交。 定理1 设R是集合A上的等价关系，下面的命题是等价的。 ( I ) aRb ( Ii ) [a] = [b] ( iii ) [a] ∩ [b] ≠Φ 等价类与划分 集合S的划分是一族S的不相交的非空子集，且S就是它们的并。 设R是集合S上的等价关系，则R的所有等价类的并集就是S，且由定理1知道，这些等价类或是相等的或是不相交的。 于是，等价类构成A的划分，因为它们将A分成不相交的子集。 序关系 ??偏序,线序,拟序,良序 ??哈斯图 ??特殊元素: 最?元, 极?元, ?界, ?确界 ?? (反)链 偏序 定义：集合S上的关系R，如果它是自反的，反对称的和传