离散数学第三章 集合与关系

本文详细介绍了集合论的基本概念,包括列举法和叙述法表示集合,以及集合的外延性原理。讨论了集合的子集、相等、幂集、交集、并集、补集和对称差的运算。此外,还涵盖了序偶、笛卡尔积、关系的性质(如自反性、对称性、传递性)以及关系的复合和逆关系。最后,探讨了等价关系、偏序关系及其相关概念,如等价类、链、极大元和最小元。这些理论在计算机科学中有着广泛的应用。
摘要由CSDN通过智能技术生成

第三章 集合与关系

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)]



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>}


偏序集合图(哈斯图)

定义:对于给定偏序集<A,≼>,它的盖住关系是唯一的,所以可用盖住的性质画出偏序集合图,或称哈斯图,其作图规则为:

  1. A中的元素用小圆圈表示
  2. 如果x≼y且x≠y,则将代表y的小圆圈画在代表x的小圆圈之上
  3. 如果<x,y>∈COV A,则在x与y之间用直线连接

上例中的哈斯图为:

在这里插入图片描述


链/反链

定义:设<A,≼>是一个偏序集合,在A的一个子集中,如果每两个元素都是有关系的,则称这个子集为

​ 在A的一个子集中,如果每两个元素都是无关的,则称这个子集为反链

tips:若A的子集只有单个元素,则这个子集既是链又是反链

在这里插入图片描述在这里插入图片描述


全序(线序)

定义:在偏序集<A,≼>中,如果A是一个链,则称<A,≼>为全序集合或称线序集合,在这种情况下,二元关系≼称为全序关系或称线序关系

​ 全序集<A,≼>就是对任意x,y∈A,或者有x≼y或者有y≼x成立。

例如“≤”关系,对任意i,j∈N,必有:(i≤j)或(j≤i)成立,则"≤"是全序关系


极大/小元

定义:设<A,≼>是一个偏序集合,且B是A的子集,对于B中的一个元素b,如果B中没有任何元素x,满足b≠x且b≼x,则称b为B的极大元。同理,对于b∈B,如果B中没有任何元素x,满足b≠x且x≼b,则称b为B的极小元

在这里插入图片描述

tips

  • 极大元和极小元不是唯一的

  • 当B=A时,偏序集<A,≼>的极大元即是哈斯图中最顶层的元素,其极小元是哈斯图中最底层的元素,不同的极小元素或不同的极大元素之间是无关的


最大/小元

定义:令<A,≼>是一个偏序集,且B是A的子集,若有某个元素b∈B,对于B中每一个元素x有x≼b,则称b为<B,≼>的最大元。同理,若有某个元素b∈B,对每一个x∈B有b≼x,则称b为<B,≼>的最小元

在这里插入图片描述

性质

  • 令<A,≼>为偏序集且B⊆A,若B有最大(最小)元,则必是唯一的

  • 在最大(最小)元的定义中,当子集B与A相等时,B的最大(最小)元就是偏序集<A,≼>的最大(最小)元


上/下界

定义:设<A,≼>为一偏序集,对于B⊆A,如有a∈A,且对B的任意元素x,都满足x≼a,则称a为子集B的上界

​ 同样地,对于B的任意元素x,都满足a≼x,则称a为B的下界

tips:上界和下界不是唯一的

在这里插入图片描述
在这里插入图片描述


上/下确界

定义:设<A,≼>为偏序集且B⊆A为一子集,a为B的任一上界,若对B的所有上界y均有a≼y,则称a为B的最小上界(上确界),记作LUB B

​ 同样,若b为B的任一下界,若对B的所有下界z,均有z≼b。则称b为B的最大下界(下确界),记作GLB B

在这里插入图片描述在这里插入图片描述


良序

定义:任一偏序集合,假如它的每一个非空子集存在最小元素,这种偏序集合称为良序的

eg. I={1,2,…,n}及N={1,2,3,…},对于小于等于关系来说是良序集合,即<I,≤>,<N,≤>是良序集合

性质

  • 每一个良序集合,一定是全序集合
  • 每一个有限的全序集合,一定是良序集合(对无限的全序集合不一定成立)
  • 12
    点赞
  • 54
    收藏
    觉得还不错? 一键收藏
  • 1
    评论
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值