文章目录
一、划分
划分 :
非空集合
,
,
集合的一个 划分 是 集族
,
该 集族
包含于
集合的幂集 ,
, 集族中的元素都属于
集合的幂集 ;
集族
中的元素是 集合 , 称为 划分块 ( Block ) , 集合中的元素都是
集合中的元素 ;
该集族
有以下性质 :
①
集族中每个元素都非空
②
集族中任意两个元素 ( 划分块 / 集合 ) 是不相交的
③
集族中所有的元素 ( 划分块 / 集合 ) 的并集是
集合
商集就是一个划分 , 该集族中的元素是等价类集合 ;
商集参考 : 【集合论】等价类 ( 等价类概念 | 等价类示例 | 等价类性质 | 商集 | 商集示例 ) 四、商集
二、划分示例
全集是
,
取
的
个 非平凡 的 真子集 , 非平凡的含义是既不是空集 , 也不是它自己 ;
1. 划分 1 基于
个元素
集族
,
,
集族中包含
集合及其补集
, 该集族
满足上述划分的三个性质 , 是一个划分 ;
2. 划分 2基于
个元素
集族
,
根据如下文氏图进行理解 :
对应区域 ①
对应区域 ③
对应区域 ②
对应区域 ④
与
不相交 , 那么区域 ① 就是空集 , 划分类不能是空集 , 此时就需要减去空集 , 对应
3. 划分 3 基于
个元素
集族
4. 划分 4 基于
个元素
集族
规则 :
到
的并集 ,
个
到
的并集 , 其中每个并集中 , 只有一个不是补集 ,
到
的并集 ;
三、划分与等价关系定理
划分与等价关系定理 :
前提 : 集合
非空 ,
关系是
集合上的等价关系 , 可以推导出 ,
集合关于
关系的商集
是
的划分 ;
集族
是
集合上的划分 , 定义一个 二元关系 是 同块关系
,
该 同块关系 是
集合上的 等价关系 ,
该 同块关系 是 由划分
定义的关系 ;