离散数学第三章集合与关系（8~12）

最新推荐文章于 2025-03-08 06:00:00 发布

Qi2469

最新推荐文章于 2025-03-08 06:00:00 发布

阅读量1.2w

点赞数 9

本文链接：https://blog.csdn.net/m0_56150664/article/details/115957047

版权

第三章（8~12）

3-8关系的闭包运算

定义：设R是X上的二元关系，如果有另一个关系R’满足：

1.R‘是自反的（对称的，可传递的）

2.R’⊇R

3.对于任何自反的（对称的，可传递的）关系R‘’，如果有R‘’⊇R，就有R‘’⊇R‘。

则称关系R’为R的自反（对称，传递）闭包。记作r(R ),(s(R ),t(R ))

tips:自反（对称，传递）闭包应是包含R的最小自反（对称，传递）关系

定理1：设R是X上的二元关系，那么

a) R是自反的，当且仅当r(R )=R

b) R是对称的，当且仅当s(R )=R

c) R是传递的，当且仅当t(R )=R

定理2：设R是集合X上的二元关系，则在这里插入图片描述

eg1.

定理3：设X是含有n个元素的集合，R是X上的二元关系，则存在一个正整数k≤n，使得在这里插入图片描述

定理4：rs(R )=sr(R )

rt(R )=tr(R )

ts(R )⊇st(R )

3-9 集合的划分和覆盖

定义：若把一个集合A分成若干个叫做分块的非空子集，使得A中每个元素至少属于一个分块，那么这些分块的全体构成的集合叫做A的一个覆盖。

如果A中每个元素属于且仅属于一个分块，那么这些分块的全体构成的集合叫做A的一个划分（或分划）。

符号定义：

在这里插入图片描述

eg.A={a,b,c}，考虑下列子集：

S={{a,b},{b,c}} (覆盖)

Q={{a},{a,b},{a,c}} (覆盖)

D={{a},{b,c}} (划分)

G={{a,b,c}} (划分)

E={{a},{b},{c}} (划分)

F={{a},{a,c}} (既不是划分也不是覆盖)

最小划分：由这个集合的全部元素组成的一个分块的集合 (eg中的G)

最大划分：由每个元素构成一个单元素分块的集合（eg中的E）

交叉划分：若{A₁,A₂,…,A(r )}与{B₁，B₂,…,B(s)}是同一集合A的两种划分，则其中所有A(i)∩B(j)≠∅组成的集合，称为是原来两种划分的交叉划分

X：所有生物

P：所有植物，A：所有动物则X可构成{P，A}

E：史前生物，F：史后生物则X也可构成{E，F}

其交叉划分为：Q={P∩E，P∩F,A∩E,A∩F}

P∩E:史前植物，P∩F:史后植物，A∩E:史前动物，A∩F:史后动物

定理：设{A₁,A₂,…,A(r )}与{B₁，B₂,…,B(s)}是同一集合X的两种划分，则其交叉划分亦是原集合的一种划分

加细定义：给定X的任意两个划分{A₁,A₂,…,A(r )}与{B₁，B₂,…,B(s)}，若对于每一个A(j)均有B(k)使A(j)⊆B(k),则{A₁,A₂,…,A(r )}称为是{B₁，B₂,…,B(s)}的加细

定理：任何两种划分的交叉划分，都是原来各划分的一种加细

3-10等价关系与等价类

等价关系

定义：设R为定义在集合A上的一个关系，若R是自反的，对称的和传递的，则R称为等价关系。

**eg1.**集合T={1,2,3,4},R={<1,1>,<1,4>,<4,1>,<4,4>,<2,2>,<2,3>,< 3,2>,< 3,3>}

则R是T上的等价关系

同余模k关系：x≡y(modk)，x、y被k除有相同的余数

eg2.设***I*为整数集，R={<x,y>|x≡y(modk)},证明R是等价关系

证明：自反性：∵a-a=k·0, ∴ <a,a>∈R

对称性：∵a≡b(modk),a-b=kt,b-a=-kt,∴b≡a(modk)

传递性：若a≡b(modk)，b≡c(modk), 则a-b=kt,b-c=ks,a-c=a-b+b-c=k(t+s),∴a≡c(modk)

因此R是等价关系

等价类

定义：设R为集合A上的等价关系，对任何a∈A，集合
在这里插入图片描述
称为元素a形成的R等价类

如在eg1中，T的各个元素等价类为：

定理1：设给定集合A上的等价关系R，对于a,b∈A有在这里插入图片描述

定理2：集合A上的等价关系R，其等价类集合
在这里插入图片描述称作A关于R的商集，记作A/R

定理3：集合A上的等价关系R，决定了A的一个划分，该划分就是商集A/R

定理4：集合A的一个划分确定A的元素间的一个等价关系

定理5：设R₁和R₂为非空集合A上的等价关系，则R₁=R₂当且仅当A/R₁=A/R₂

3-12序关系

偏序关系

定义：设A是一个集合，如果A上的一个关系R，满足自反性，反对称性和传递性，则称R是A上的一个偏序关系，并把它记为**“≼”。序偶<A,≼>称作偏序集**

盖住

定义：在偏序集合<A,≼>中，如果x,y∈A,x≼y,x≠y且没有其他元素z满足x≼z,z≼y,则称元素y盖住元素x，并且记**COV A={<x,y>|x,y∈A；y盖住x}

eg.设A是正整数m=12的因子的集合，并设≼为整除关系，求COV A

解：m=12其因子集合为A={1,2,3,4,6,12}

“≼”={<1,2>,<1,3>,<1,4>,<1,6>,<1,12>,<2,4>,<2,6>,<2,12>,< 3,6>,< 3,12>,<4,12>,<6,12>,<1,1>,<2,2>,< 3,3>,<4,4>,<6,6>,<12,12>}

COV A={<1,2>,<1,3>,<2,4>,< 3,6>,<4,12>,<6,12>}