第三章 集合与关系
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的交可记为:
(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的并可记为:
分配律
- 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)}(属于前者而不属于后者)
绝对补(~)
~A=E—A={x|x∈E∧x∉A}
性质
- ~( ~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的交集)
性质
- 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的关系
eg.设A={1,2,3,4},写出集合A上大于关系>的关系矩阵
解:>={<2,1>,< 3,1>,< 3,2>,<4,1>,<4,2>,<4,3>}
- 关系图:关系集合<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的关系图
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ⁿ
复合关系也可用矩阵表示
逆关系
定义:设R为X到Y的二元关系,如将R中每一序偶的元素顺序互换,所得到的的集合称为R的逆关系,记作R^c
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,≼>,它的盖住关系是唯一的,所以可用盖住的性质画出偏序集合图,或称哈斯图,其作图规则为:
- A中的元素用小圆圈表示
- 如果x≼y且x≠y,则将代表y的小圆圈画在代表x的小圆圈之上
- 如果<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,≤>是良序集合
性质:
- 每一个良序集合,一定是全序集合
- 每一个有限的全序集合,一定是良序集合(对无限的全序集合不一定成立)