高等工程数学课件1.1集合.pptVIP

定义1.3.3 设R是A上的一个等价关系， 称 为 a 关于R的等价类 (equivalence class)。 定理1.3.1 设R是集合A上的一个等价关系， 1.3.2 集合的分类 定义1.3.4 设R是A上的一个等价关系。A的所有元素关于R的等价类集合 称为A关于R的商集(quotient set)。 例. 整数集Z关于模n同余关系的商集。 定义1.3.5 设每个 都是集合A的非空 子集，如果 ，并且对任意 ， 当 时有 ，则称 是A的 一个分类(partition)。 定理1.3.2 集合A上的每个等价关系R都决定A的一个分类。反之，集合A的每个分类都决定A上的一个等价关系。 定义1.4.1 若集合A上的一个二元关系R满足 (1) 自反性(reflexivity):对任意 , 有aRa； (2) 反对称性(antisymmetry):对任意