版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
3-8关系的闭包运算
1=5A中第5列,A[3,5]=1,将第5列加入到第3列,不变
1=6,j=7,第6列,第7列全为0,・・・A不变
ri/i,o,i,o,o,o
0,1,0,0,0,0,0
/+=A=
0,0,0,0,1,0,0
0,1,0,1,0,0,0
这一算法只是用来求不是重点,P127(5)页介绍了求"人的方
KR
法。
定理3-8.6r,s,t性质P66页反面,P95(6),(7),(8)
3-9集合的划分和覆盖
我们介绍了关系的几种重要运算,求复合运算、逆运算和闭包运算,今天我们介绍
3-9集合的划分和覆盖
内部的关系.将A分为若干非空的子集一分块,定义A的划分与覆盖.
tn
定义:A是非空集合,S={S],S2,..............>S,A,USj=A,S称为
A的覆盖.又若/则称s为AZ=1
如A={a,b,c}下列一些集合:
S={{a,b},{a,c}}S是A的覆盖,S不是A的划分.
Q={{a},{a,b},{b,c}Q是A的覆盖,S不是A的划分.
G={{a,b,c}}划分一最小划分
E={{a},{b},{c}}划分一最大划分
3-9集合的划分和覆盖
F={{a},{b,c}}划分
H={{a},{a,b})不是覆盖,不是划分.
注意:对于覆盖而言,一个元素可以属于两个分块,而对于划分,一个元
素仅属于且必属于一个分块,划分一定是覆盖,但覆盖未必是划分.
2.集合4S={S],S2—.,SJ,7={7],7;,...,7;}是4的两个戈1」分,把
所有S,CIT/工0构成的集合称为5和7的对N的交叉划分。
如4=忸力,储,G={{a},{b,c}},H={{a,b},{c}},则G和H的交叉划分是
{{a},{b},{c}},同样也是A的划分
3-9集合的划分和覆盖
对交叉划分有如下定理
定理:设{44,…,4J与{4,鸟,…,用}是/的两种划分,则它们的交叉划
分也是力的一种划分。
证:要证明是划分必须证两点,(a)覆盖;(b)任两分块不交
交叉戈分{404,4062,…,4ng,/2rl4,/2n笈2,…,42口
斗…,4ng,4n鸟,…,4一旦}将其中空集去掉。
⑴力的覆盖(4A^1)uu1n52)u...u(4n^)u(^2n51)u(^2n52)
u…uc42fM)u...u(4n4)u(4,n鸟)u…u(4.n纥)
=(4A(^U52u...U5j)u(^2n(^U52u...UB))u...u(4.n(^iU
鸟U...Uq))
=(4U4J..U4)n(4lMJ..U3s)=/nz=/
3-9集合的划分和覆盖
(2)4n4,4n纭任两个分块,则有如下三种情况:
wj,h=k,4n4=0,4n线n4Pl纥=0
S)2Wj,h^k,AQAj=0,BhCBk=0:.AinBhnA^Bk=0
(c)i=j,h手左,同(a)
(4n纥)n(4n线)=0故交叉划分也是4的划分
3定义:设{4,4,--,4}和{4,2,…,2}电的两种划分,若对
每一个4,存在绮使得4=%,则称{44,…,4”是
{g,鸟,…,纹}的加细。
{4,4,…,4}是{4,的加细(如图)。
3-9集合的划分和覆盖.
对于交叉划分和加细有如下定理:
定理:任意两种划分的交叉划分必是原来划分的加细.
证明是简单的口与=口夕=故交叉划分是
4LJ4,L4IJB.Js
的加细,也是T的加细。
下面介绍集合中一个重要的关系:等价关系。
3-10等价类与等价关系
1定义:若R为集合A上一个关系,满足R是自反的、对称的、
传递的,则R称为等价关系。
如三角形的相似关系1A1-A2^A2~AI
(Al~A2,A2~A3=>A1~AS
“=”为等价关系<R,=>
例1T={1,2,3,4}R={<1,1>,<1,4>,<4,1>,<4,4>,<2,2>
<2,3>,<3,2X3,3>},则R是等价关系。
3-10等价类与等价关系
R的关系矩阵:
43
3-10等价类与等价关系
陈的对角线元数全为1,GR中每个节点有自回路・・・R是自反的
MR是对称矩阵,GR中每两个节点要么没有连线,要么有成对
出现,JR是对称的
传递性只能由序偶判断,逐一检查得R是传递的。
・♦・由上所述可知R是等价关系
例2.1:整数集R={〈X,Y>|X三Y(modk)}这里X三Y(modk)
表示X、Y被k除有相同的余数,叫做同余模k关系
X=kti+aX=Y(modk)tl、t2、I
Y=kt2+a0<a<k
即X—Y=k(ti-t2)则R是一个等价关系。
3-10等价类与等价关系^
证明:
1.XZ"=X——内=k-O.,xJ^x
・・•衣^^目及白勺。
2.jCjRy^x—y=kt»y一x=—kt=kQ-t)
「.yAc,小是对称的。
3.xRy.yRz.
x—y—kt}.y—z—kt2x—z—x—y+y—z—ktx+kt2—kt
是传递的,因此尺是等价关系。
3-10等价类与等价关系
由等价关系可以引出一个等价类定义:
R是A上等价关系,x、yeAo若xRy称x和y是属于同一个
等价类的
2.定义:G[a]R={x\<a.x>£火}称为由a关于火
的等价类或由。形成的△的等价类
如例1中:口口={1,4}=甩,⑵x={2,3}=[3]火
例2中:取k=3.R={<x.y>\x=y(mod3)}
3-10等价类与等价关系
{...,-5,-2,1,4,7,...}被3除余数为1的集合
{3n+1|nei)
{..L2卢乃・・•}被3除余数为2的集合
{3n+2|n£1)
[O]A=[3k=[―34
全体整数集I被分成了三
个不同的等价类
3-10等价类与等价关系
3.定理:
对称性传递
证明:=<a,Z?>e凡设c£[0火=>=>cRa=>cRb
对称
今bRc=cw[b]R
・•・[叫口现
I司30二・・[。]衣=
<^曰矢口二?=[万]衣
自反,件:cz三[0]尺.*.CL巨[旬尺「・bRci=>ciRb
注:证明很简单,但是利用R的定义很重要。因而对等价类来说,
要么相等,要么交为空。
3-10等价类与等价关系
4.定义:
等价类:元素的集合,A的子集;商集:集合的集合
如例1中:T/R={[1]…[2]尺},集合元素互异,只有两个
口卜=[3k,[2k=[4k
例2中://尺={[OLJ1]欠」2]欠)取典型元素为代表。
由等价关系可以商集,商集与A有何关系?
3-10等价类与等价关系
5.定理:R是A上等价关系,A/R是A的一个划分。
证:①覆盖。A/R={[a]RIaEA}oaU[a]R=A。
②任意两个[@]RW[b]R,要证[@八门[b]—。o
反证法:假设[a]Rn[b]RW0,3:eA
ce[a]R且ce[b]Ro
又寸彳安
.,.aRc且bRcq>Rbb
由定理可得[a]-[b]R与假设矛盾。
[a]Rn[b]R=0,从而A/R是A的一个划分。
反之,有划分便可确定一等价关系。
3-10等价类与等价关系
6.定理:集合A的一个划分可以确定A的一个等价关系。
证明比较简单。
<=>
s={svS2,........,Sm}作一关系R,aRba,b在
同一分块中。
可以证明R是自反的、对称的、传递的(请自证),故R是
等价关系
例A={a、b、c、d},
S={{a,b},{c},{d}}是划分。
则确定的等价关系R为
{<a,b>,<a,a>,<c,c>,<d,d>,<b,a>,<b,b>}
3-10等价类与等价关系
也就是也1xS1)U(S2x^2U(S3x^3)
R为:每一分块自身作直积、取并。
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2025年高科技企业应收账款质押担保合同样本3篇
- 二零二五版高校学术期刊合作承包出版合同3篇
- 2025版卫生院与乡村医生合作协议书3篇
- 二零二五版旅游导购人员派遣合同2篇
- 2025年度跨境电商进口商品质量担保合同4篇
- 二零二五年车抵押贷款提前还款合同模板3篇
- 2025版无人配送机器人运营免责条款合同范本4篇
- 二零二五版企业班车租赁及节能减排服务合同3篇
- 二零二五年度透水混凝土工程市场营销合作协议2篇
- 第一人民医院二零二五年度进修人员医疗质量管理与服务协议3篇
- 第1课 隋朝统一与灭亡 课件(26张)2024-2025学年部编版七年级历史下册
- 2025-2030年中国糖醇市场运行状况及投资前景趋势分析报告
- 冬日暖阳健康守护
- 水处理药剂采购项目技术方案(技术方案)
- 2024级高一上期期中测试数学试题含答案
- 山东省2024-2025学年高三上学期新高考联合质量测评10月联考英语试题
- 不间断电源UPS知识培训
- 三年级除法竖式300道题及答案
- 品学课堂新范式
- GB/T 1196-2023重熔用铝锭
- 幼儿园教师培训:计数(数数)的核心经验
评论
0/150
提交评论