4.6 等价关系与划分.pptVIP

4.6　等价关系与划分 一、等价关系与等价类 定义4.6.1　若集合 A上的二元关系 R是自反的、对称的和传递的，则称 R为 A上的等价关系，此时若 aRb, 则称 a与b 等价,记为 a ～ b。 如人血型、年龄的相同关系都是等价关系，但同学关系不是等价关系，因为它不是传递的。 例4.6.1　设Ｒ是整数集合Ｚ上模ｎ同余关系，即 则Ｒ是Ｚ上等价关系。 例4.6.2　设Ｒ是ｎ阶矩阵集合 上的相似关系，即 存在ｎ阶可逆矩阵Ｐ，使 则Ｒ是 上的等价关系。 定义4.6.2 设Ｒ是集合Ａ上的等价关系,元素 称与 等价的元素所组成的集合为由 生成的等价类，简称 的等价类，记为 或简记为 ，即 有时元素 也称为等价类 的一个代表元。例如在例4.6.1中 定理4.6.1　设Ｒ是非空集合Ａ上的等价关系，则 （1）若 ,则 是非空集合； （2）若 ,则 ； （3）若 ,则 ； （4） 上述定理表明，等价的元素属于同一等价类，即等价类与代表元的选取无关；不等价的元素的等价类是不相交的；进一步，A就是所有这些互不相交的等价类之并。 定义4.6.3　设 R是非空集合 A上的等价关系，则 A的(关于R的)商集 A/R是 A的全体等价类所成集合，即 例如，在例4.6.1中， 二、等价关系与划分 定义4.6.4　设 是非空集合 A上的一非空子集族，其中 为指标集，如果满足下面两个条件： （1） （2） 那么称 为 A的一个划分， 中元素称为A的划分块，简称块。 定理4.6.2 设 R为非空集合 A上的等价关系，则 A的商集 A/R是 A的一个划分，称为由 R诱导的划分，记为 ，即 定理4.6.3 设 是非空集合A的一个划分，则由 可确定 A上的一个等价关系 且 。 只要注意到定义 A上的二元关系 定理4.6.4 设 R1和 R2是 A上的两个等价关系，则 证. 必要性显然成立。 充分性 设 ，则当 时，有 ，而 ，故存在 使 ，于是由 可知 即 ，说明 ，同理可证 。 上述三个定理表明集合 A上的任一等价关系可以惟一地确定 A的一个划分；反过来，A的任一划分也可以惟一地确定A上的一个等价关系。 * *