离散数学第三章 集合与关系(1~7)

第三章 集合与关系(1~7)

3-1 集合的概念和表示法

  • 说明集合的方法有两种:

    • 列举法(eg.A={a,b,c,d})
    • 叙述法(eg.S₁={x|x是中国的省})
  • 我们用p(x)表示任何谓词,则{x|p(x)}可表示集合。如果p(b)为真,那么b∈A,否则b∉A

  • 外延性原理:两个集合是相等的,当且仅当它们有相同的成员

  • 两个集合A和B是相等的,记作A=B,两个集合不相等,则记作A≠B

  • 集合的元素还可以允许是一个集合,例如:S={a,{1,2},p,{q}}。必须指出:q∈{q},但q∉S,同理1∈{1,2},但1∉S

  • A⊆B:A是B的子集,或A包含在B内,或B包含A

    A⊆B⇔∀x(x∈A→x∈B)

    根据子集的定义,显然有:

    A⊆A(自反性)

    (A⊆B)∧(B⊆C)⇒(A⊆C)(传递性)

  • 集合A和集合B相等的充分必要条件是这两个集合互为子集(★这个定理很重要,今后证明两个集合相等,主要利用这个互为子集的判定条件)

  • A⊂B:A为B的真子集

    A⊂B⇔(∀x)(x∈A→x∈B)∧(∃x)(x∈B∧x∉A)

    A⊂B⇔A⊆B∧A≠B

  • 空集(Φ):不包含任何元素的集合

    对任意一个集合A,Φ⊆A

  • 全集(E):对任一x∈A,因A⊆E,故x∈E

幂集

给定集合A,由集合A的所有子集为元素组成的集合,称为集合A的幂集,记为P(A)

eg1.求幂集:{a,{a}}

:{Φ,{a},{{a}},{a,{a}}}

eg2.求幂集:{{1,{2,3}}}

:{Φ,{{1,{2,3}}}}

eg3.求幂集:P(P(Φ))

:P(P(Φ))={Φ,{Φ}},则幂集为{Φ,{Φ},{{Φ}},{Φ,{Φ}}}

如果有限集合A有n个元素,则其幂集P(A)有2ⁿ个元素

3-2 集合的运算

(1).集合的交(∩)

S=A∩B={x|(x∈A)∧(X∈B)}

性质
  • A∩A=A
  • A∩Φ=Φ
  • A∩E=A
  • A∩B=B∩A
  • (A∩B)∩C=A∩(B∩C)

n个集合A₁,A₂,…,An的交可记为:

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-1sQcEJ37-1617872211654)(C:\Users\27745\AppData\Roaming\Typora\typora-user-images\image-20210406092321464.png)]

(2).集合的并(∪)

S=A∪B={x|(x∈A)∨(x∈B)}

性质
  • A∪A=A
  • A∪E=E
  • A∪Φ=A
  • A∪B=B∪A
  • (A∪B)∪C=A∪(B∪C)

n个集合A₁,A₂,…,An的并可记为:

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-tKhkurM8-1617872211656)(C:\Users\27745\AppData\Roaming\Typora\typora-user-images\image-20210406092707358.png)]

分配律
  • A∩(B∪C)=(A∩B)∪(A∩C)
  • A∪(B∩C)=(A∪B)∩(A∪C)
吸收律
  • A∪(A∩B)=A
  • A∩(A∪B)=A

A⊆B,当且仅当A∪B=B或A∩B=A

(3).集合的补(—,~)

相对补(—)

S=A—B={x|x∈A∧x∉B}={x|x∈A∧¬(x∈B)}(属于前者而不属于后者)

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-PCSA80I5-1617872211657)(C:\Users\27745\AppData\Roaming\Typora\typora-user-images\image-20210406093724296.png)]

绝对补(~)

~A=E—A={x|x∈E∧x∉A}

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-woW2hP6i-1617872211660)(C:\Users\27745\AppData\Roaming\Typora\typora-user-images\image-20210406094002851.png)]

性质
  • ~( ~A)=A
  • ~E=Φ, ~Φ=E
  • A∪~A=E,A∩ ~A=Φ
  • ~(A∪B)= ~A∩ ~B, ~(A∩B)= ~A∪ ~B
  • A—B=A∩~B (★)
  • A—B=A—(A∩B)
  • A∩(B—C)=(A∩B)—(A∩C)
  • 若A⊆B,则:
    • ~B⊆ ~A
    • (B—A)∪A=B

(4).集合的对称差(⊕)

S=A⊕B=(A—B)∪(B—A)={x|x∈A 不可兼或 x∈B}(A与B的并集去掉A与B的交集)

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-FRyaIRdQ-1617872211663)(C:\Users\27745\AppData\Roaming\Typora\typora-user-images\image-20210406095138152.png)]

性质
  • A⊕B=B⊕A
  • A⊕Φ=A
  • A⊕A=Φ
  • A⊕B=(A∩~B)∪( ~A∩B)
  • (A⊕B)⊕C=A⊕(B⊕C)

3-4序偶与笛卡尔积

序偶

一般地说,两个具有固定次序的客体组成一个序偶,它常常表达两个客体之间的关系,记作<x,y>。

eg.<上、下>,<左、右>,< 3,4>

序偶可以看作是具有两个元素的集合。但它与一般集合不同的是序偶具有确定的次序。在集合中{a,b}={b,a},但对序偶<a,b>≠<b,a>

  • 两个序偶相等,<x,y>=<u,v>当且仅当x=u,y=v
  • 在序偶<a,b>中,a称第一元素,b称第二元素
  • 三元组是一个序偶,其第一元素本身也是一个序偶,可形式化为<<x,y>,z>。<<x,y>,z>≠<x,<y,z>>,因为<x,<y,z>>不是三元组
  • 同理,四元组被定义为一个序偶,其第一元素为三元组,故四元组有形式为<<x,y,z>,w>。这样,n元组可写为<<x₁,x₂,…,x(n-1)>,xn>。一般地,n元组可简写为<x₁,x₂,…,xn>,第i个元素x(i)称作n元素组的第i个坐标

笛卡尔积

令A和B是任意两个集合,若序偶的第一个成员是A的元素,第二个元素是B的元素。所有这样的序偶集合,称为集合A和B的笛卡尔乘积或直积,记作A×B

A×B={<x,y>|(x∈A)∧(x∈B)}

A={α,β},B={1,2,3}

A×B={<α.1>,<α,2>,<α,3>,<β,1>,<β,2>,<β,3>}

B×A={<1,α>,<1,β>,<2,α>,<2,β>,< 3,α>,< 3,β>}

(A×B)∩(B×A)=∅

可得出A×B≠B×A

  • 若A=∅或B=∅,则A×B=∅

  • (A×B)×C≠A×(B×C)

  • 设A,B,C为任意三个集合,即有:

    • A×(B∪C)=(A×B)∪(A×C)
    • A×(B∩C)=(A×B)∩(A×C)
    • (A∪B)×C=(A×C)∪(B×C)
    • (A∩B)×C=(A×C)∩(B×C)
  • 若C≠∅,则A⊆B⇔(A×B⊆B×C)⇔(C×A⊆C×B)

3-5关系及其表示

任一序偶的集合确定了一个二元关系R,R中任一序偶<x,y>可记作<x,y>∈R或xRy。不在R中的任一序偶<x,y>可记作<x,y>∉R

前域:令R为二元关系,由<x,y>∈R的所有x组成的集合dom R称为R的前域,即:dom R={x|(∃y)(<x,y>∈R)}

值域:使<x,y>∈R的所有y组成的集合ran R称作R的值域,即:ran R={y|(∃x)(<x,y>∈R)}

:R的前域和值域一起称作R的域,记作FLD R,即:FLD R=dom R∪ran R

设A={1,2,3,5},B={1,2,4},H={<1,2>,<1,4>,<2,4>,< 3,4>}

:dom H={1,2,3} ran H={2,4} FLD H={1,2,3,4} (重复多余的去掉)

  • 令X和Y是任意两个集合,直积X×Y的子集R称作X到Y的关系
  • 把X×Y的两个平凡子集X×Y和∅,分别称作X到Y的全域关系空关系
  • 当X=Y时,关系R是X×X的子集,这时称R为在X上的二元关系

设X={1,2,3,4},求X上的关系>及dom>,ran>

:>={<2,1>,< 3,1>,< 3,2>,<4,1>,<4,2>,<4,3>}

dom>={2,3,4},ran>={1,2,3}

  • 设I(x)是X上的二元关系且满足I(x)={<x,x>|x∈X},则称I(x)是X上的恒等关系

A={1,2,3}, 则I(A)={<1,1>,<2,2>,< 3,3>}

  • 若Z和S是从集合X到集合Y的两个关系,则Z,S的并、交、补、差仍是X到Y的关系

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-XnSdreHg-1617872211664)(C:\Users\27745\AppData\Roaming\Typora\typora-user-images\image-20210407191805988.png)]

eg.设A={1,2,3,4},写出集合A上大于关系>的关系矩阵

:>={<2,1>,< 3,1>,< 3,2>,<4,1>,<4,2>,<4,3>}

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-KNqniuMO-1617872211665)(C:\Users\27745\AppData\Roaming\Typora\typora-user-images\image-20210407192053703.png)]

  • 关系图:关系集合<x(i),y(i)>,对于x(i)Ry(i),则用箭头由x(i)指向y(i)

eg.设A={1,2,3,4,5},在A上的二元关系R给定为:R={<1,5>,<1,4>,<2,3>,< 3,1>,< 3,4>,<4,4>}画出R的关系图

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-eOydY4uu-1617872211666)(C:\Users\27745\AppData\Roaming\Typora\typora-user-images\image-20210407192520178.png)]

3-6关系的性质

(1).自反

设R为定义在集合X上的二元关系,如果对于每个x∈X,有xRx,则称二元关系R是自反

R在X上自反⇔(∀x)(x∈X→xRx)

eg.A={1,2,3}

R₁={<1,1>,<2,2>},R₂={<1,1>,<2,2>,< 3,3>}

则R₁不是自反的,R₂是自反的

(2).对称

对于每个x,y∈X,每当xRy,就有yRx,则称集合X上关系R是对称的(有<x,y>则必须要有<y,x>)

R在X上对称⇔(∀x)(∀y)(x∈X∧y∈X∧xRy→yRx)

A={1,2,3}

R₁={<1,2>,<2,1>},R₂={<1,2>,<2,1>,<1,1>},R₃={<1,2>,<2,1>,<2,3>}

R₁,R₂是对称的,R₃不对称

(3).传递

对于任意x,y,z∈X,每当xRy,yRz时就有xRz,称关系R在X上是传递的

A={1,2,3}

R₁={<1,2>,<2,2>},R₂={<1,2>},R₃={<1,2>,<2,3>,<1,3>,<2,1>}

R₁,R₂是传递的,R₃因没有<1,1>,<2,2>,所以不传递

(4).反自反

对于每个x∈X,都有<x,x>∉R,则R称作反自反

R在X上反自反⇔(∀x)(x∈X→<x,x>∉R)

一个不是自反的关系,不一定就是反自反的

(5).反对称

除了<x,x>外,不含有其他对称元素

A={1,2,3}

R₁={<1,1>,<2,2>},R₂={<1,2>,<1,3>},R₃={<1,2>,<2,3>,<1,3>,<2,1>}

R₁,R₂是反对称的,R₃不反对称

可能有某种关系,既是对称的,又是反对称的;也可能既不对称,也不反对称

空集除了自反以外,其他性质都有

3-7集合关系和逆关系

复合关系

定义:设R为X到Y的关系,S为从Y到Z的关系,则R○S称为R和S的复合关系

eg.R={<1,2>,< 3,4>,<2,2>},S={<4,2>,<2,5>,< 3,1>,<1,3>}

:R○S={<1,5>,< 3,2>,<2,5>}

​ S○R={<4,2>,< 3,2>,<1,4>}≠R○S

​ (R○S)○R={< 3,2>}

​ R○(S○R)={< 3,2>}

​ R○R={<1,2>,<2,2>}

​ S○S={<4,5>,< 3,3>,<1,1>}

​ R○R○R={<1,2>,<2,2>}

R○R○R○R…○R○R(n个R相乘)=Rⁿ

复合关系也可用矩阵表示

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-ishZt6CC-1617872211668)(C:\Users\27745\AppData\Roaming\Typora\typora-user-images\image-20210408125937103.png)]

逆关系

定义:设R为X到Y的二元关系,如将R中每一序偶的元素顺序互换,所得到的的集合称为R的逆关系,记作R^c

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-98DUDlT4-1617872211669)(C:\Users\27745\AppData\Roaming\Typora\typora-user-images\image-20210408131355292.png)]

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-CCMmci8X-1617872211670)(C:\Users\27745\AppData\Roaming\Typora\typora-user-images\image-20210408132007625.png)]

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-BYGJfqPX-1617872211671)(C:\Users\27745\AppData\Roaming\Typora\typora-user-images\image-20210408132218533.png)]

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-yMhIua9g-1617872211672)(C:\Users\27745\AppData\Roaming\Typora\typora-user-images\image-20210408132704610.png)]

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-sRKU2D5A-1617872211673)(C:\Users\27745\AppData\Roaming\Typora\typora-user-images\image-20210408132725321.png)]

  • 6
    点赞
  • 37
    收藏
    觉得还不错? 一键收藏
  • 3
    评论
评论 3
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值