离散数学 集合与关系 函数 习题 测验

合集下载
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

一、已知A、B、C是三个集合,证明(A∪B)-C=(A-C)∪(B-C)

证明:因为

x∈(A∪B)-C⇔x∈(A∪B)-C

⇔x∈(A∪B)∧x∉C

⇔(x∈A∨x∈B)∧x∉C

⇔(x∈A∧x∉C)∨(x∈B∧x∉C)

⇔x∈(A-C)∨x∈(B-C)

⇔x∈(A-C)∪(B-C)

所以,(A∪B)-C=(A-C)∪(B-C)。

二、设R={<2,1>,<2,5>,<2,4>,<3,4>,<4,4>,<5,2>},求r(R)、s(R)和t(R),并作出它们及R的关系图。

解:r(R)={<2,1>,<2,5>,<2,4>,<3,4>,<4,4>,<5,2>,<1,1>,<2,2>,<3,3>,<4,4>,<5,5>}

s(R)={<2,1>,<2,5>,<2,4>,<3,4>,<4,4>,<5,2>,<1,2>,<4,2>,<4,3>} R2=R5={<2,2>,<2,4>,<3,4>,<4,4>,<5,1>,<5,5>,<5,4>}

R3={<2,1>,<2,5>,<2,4>,<3,4>,<4,4>,<5,2>,<5,4>}

R4={<2,2>,<2,4>,<3,4>,<4,4>,<5,1>,<5,5>,<5,4>}

t(R)={<2,1>,<2,5>,<2,4>,<3,4>,<4,4>,<5,2>,<2,2>,<5,1>,<5,4>,

<5,5>}

三、证明等价关系

设R是集合A上的一个具有传递和自反性质的关系,T是A上的关系,使得∈T⇔∈R且∈R,证明T是一个等价关系。

证明因R自反,任意a∈A,有∈R,由T的定义,有∈T,故T自反。

∈T,即∈R且∈R,也就是∈R且∈R,从而∈T,故T对称。

∈T,∈T,即∈R且∈R,∈R且∈R,因R 传递,由∈R和∈R可得∈R,由∈R和∈R可得∈R,由∈R和∈R可得∈T,故T传递。

所以,T是A上的等价关系。

四、函数

设A、B、C、D是集合,f是A到B的双射,g是C到D的双射,令h:A×C→B×D且∀∈A×C,h()=。证明h是双射。

证明:1)先证h是满射。

∈B×D,则b∈B,d∈D,因为f是A到B的双射,g是C到D的双射,所以存在a∈A,c∈C,使得f(a)=b,f(c)=d,亦即存在∈A×C,使得h()=

,所以h是满射。

2)再证h是单射。

∈A×C,若h()=h(),则,所以f(a1)=f(a2),g(c1)=g(c2),因为f是A到B的双射,g是C到D 的双射,所以a1=a2,c1=c2,所以,所以h是单射。

综合1)和2),h是双射。

相关文档
最新文档