9第九讲.pptVIP

第九讲: 覆盖粗糙集模型 1基本定义 2 性质 ３可表示近似空间 * * 定义 设是论域，，如果且，则称是 的一个覆盖，是一个覆盖近似空间。 设是一个覆盖近似空间，，关于的最小描述定义为： 由此定义，是中关于包含关系的极小元构成的集合，其中 定义3.1.2 设是一个覆盖近似空间，。 （1）称为的下近似集合； 称为的下近似。 （2）称为的边界。 （3）称为的上近似集合； 为的上近似，其中 例 3.1.1 设，， ，， 显然构成的覆盖。令，则 ， ， ， 定理 设是一个覆盖近似空间，则对于任意， ，， （1） （2） （3） （4）若，则且 （5） （6） （7） （8） （9） （10） （11） 当且仅当 （12） （13） （14）若，则 （15） 设是一个覆盖近似空间， 若能表示成中 若干元素之并，即存在使得，则称为 中可定义集。 定理3.1.2 设是一个覆盖近似空间， 为中可定义集当且仅当 定理 设是一个覆盖近似空间，则对于任意， （1）， （2） （3）， （4）若，则；若，则 在覆盖近似空间中，下列性质一般不成立： （1）； （2） （3），； （4） 定义 设是一个覆盖近似空间。 （1）若，使得， 则称是的一个代表元。 （2）称是极小的，如果 （3）称是可表示的，如果任意，有代表元。 （4）称为精确的，如果对于任意，有 定理 设是一个覆盖近似空间， 下列三条件等价： （1）是极小的； （2）是可表示的； （3）是精确的。 定义 设是一个覆盖近似空间，若是可表示的，则称 是一个可表示覆盖近似空间，简称为可表示近似空间。 定理 设是一个可表示近似空间， 存在使得为的一个代表元 则对于任意，有 定义3.1.5 设是一个覆盖近似空间，在上定义 等价关系为：对于任意， 当且仅当且 称等价类为中粗糙集，包含集合的粗糙集 记为，所有粗糙集构成的集合记为 定义3.1.6 设是一个覆盖近似空间，定义上 的二元关系为：对于任意， 当且仅当 且 若，则称粗糙集粗糙包含于粗糙集 显然，为上的偏序关系。 例 设，，，，显然构成的覆盖。令，，则，， 故 另一方面，， 故不成立。 若令，，则，， 故，，从而 又， ，故，，从而于是，另一方面，，，，，故 即不成立。此例中，，即关于上近似的单调性一般不成立。 例 设，，，， 显然构成的覆盖。令，则， 又，， ，故， 于是不成立，即上近似与下近似不是对偶的。