集合与图论

《集合论与图论》
《离散数学》系列课程之一
刘田
北京大学计算机系
2001年2月
教材
• 《集合论与图论》，离散数学二分册，耿
素云，北大出版社，1998年2月
参考书
• 《离散数学习题集》，耿素云，北大出版
社
– 数理逻辑与集合论分册，1993年2月
– 图论分册，1990年3月
内容介绍
• 《离散数学》
– 《集合论与图论》
– 《代数结构与组合数学》
– 《数理逻辑》
内容介绍
• 《集合论与图论》
– 第一部分集合论
• 第1章集合
• 第2章二元关系
• 第3章函数
• 第4章自然数
• 第5章基数
内容介绍
• 《集合论与图论》
– 第二部分图论
• 第7章图
• 第8章欧拉图与哈密顿图
• 第9章树
• 第10章图的矩阵表示
• 第11章平面图
• 第12章图的着色
• 第13章支配、覆盖、独立、匹配
• 第14章带权图
进度安排
• 第1周预备知识（数理逻辑）
• 第2--7周集合论（6周）
• 第8--17周图论（10周）
• 第8、15周测验（2次）
• 第18周（机动）
成绩评定
• 书面作业占10%，4--5题/每次课
• 平时测验占30%，1小时/每次，2次
• 期末考试占60%
作业
• 时间：每周日交上周作业，下周日发回
• 顺序：每次交一个班，1、2、3班轮流
• 讲解：每次作业都有课上讲解
• 要求：正确、完全、简洁、清楚
Correct，Complete，Concise，Clear
• 提示：独立完成作业，可以讨论，但要杜
绝抄袭
答疑
• 时间：（待定）
• 地点：理科楼群#1，1625室
• 电话： 62765818
• Email：
– liu_tian@263.net
– liutian@theory.cs.pku.edu.cn
• 讲义下载：
– ftp://162.105.30.157/incoming/Liu_Tian/
第1讲命题逻辑基础
• 1. 命题、命题符号化
• 2. 合式公式、真值表、永真式
• 3. 逻辑等值式、推理定律
• 4. 形式化证明
什么是命题(proposition)
• 命题：真假值唯一确定的陈述句。
– 地球围绕太阳转。
– 2+2=5。
– 多冷啊！关上门吧！
– 你去锻炼身体了吗？
– 火星上有生命。
– 2002年1月1日下雪。
– 这句话是假的。
什么是命题(续)
• 简单(simple)命题：不含联结词的命题。
• 复合(compound)命题：含联结词的命题。
– 我痛并快乐着。
– 如果天气好，我就去锻炼。
– 老王或老李中的一个人去出差，当且仅当不是
他们都去或者都不去。
常用的联结词(connective)
• 合取(conjunction)：与，并且，而且，也
• 析取(disjunction)：或，要么…要么…
• 否定(negation)：非，不
• 蕴涵(conditional)：如果…就…，
只有…才… ，除非…不，若…则…，
• 等价(biconditional)：当且仅当
命题符号化
• 简单命题： p,q,r,p1,q1,r1,…
• 联结词：
– 合取联结词：∧
– 析取联结词：∨
– 否定联结词：¬
– 蕴涵联结词：→
– 等价联结词：↔
• 逻辑真值： 0，1
命题符号化（举例）
• 例1：地球围绕太阳转。
解：p：地球围绕太阳转。
• 如果天气好，我就去锻炼。
解：p：天气好；
q ：我去锻炼；
原命题符号化结果是：
p →q
命题符号化（举例、续）
• 例3：老王或老李中的一个人去出差，当且
仅当不是他们都去或者都不去。
解：p：老王去出差；
q ：老李去出差；
原命题符号化结果是：
( ( p∧¬q)∨(¬p∧q ) ) ↔
( ¬( (p∧q )∨(¬p∧¬q) ) )
字母表(alphabet)
• 命题变元： p,q,r,p1,q1,r1,…
• 联结词： ∧，∨，¬，→，↔
• 分隔符：（，）
合式公式(well-formed formula)
• 单个命题变项是合式公式，称为原子
（atomic）公式
• 若A是合式公式，则(¬A)是合式公式
• 若A,B是合式公式，则(A∧B), (A∨B), (A
→B), (A↔B)也是合式公式
• 只有有限次地应用上述规则形成的符号串
才是合式公式
合式公式（举例）
• p
• (¬(¬p))， ¬¬p
• ((¬p)∧(¬p))， ¬p∧¬p
• (¬(p∧q))， ¬(p∧q)
• ((¬p)∧q )， ¬p∧q
– 约定：省略多余括号
• 最外层
• 优先级递减： ¬； ∧，∨；→，↔
真值表(truth-table)
• 赋值(assignment)：给变元指定0、1值
• n个变元，共有2n种不同的赋值
p q ¬p p∧q p∨q p→q p↔q

0 0 1 0 0 1 1
0 1 1 0 1 1 0
1 0 0 0 1 0 0
1 1 0 1 1 1 1
真值表(续)
p q r (p∧q)→r ¬p∨¬q∨r
0 0 0 1 1
0 0 1 1 1
0 1 0 1 1
0 1 1 1 1
1 0 0 1 1
1 0 1 1 1
1 1 0 0 0
1 1 1 1 1
永真式(tautology)
• 永真式:在各种赋值下取值均为真(重言式)
• 永假式:在各种赋值下取值均为假(矛盾式)
• 可满足式：非永假式
p q ¬(p∧q) ¬p∨¬q ¬(p∧q)↔(¬p∨¬q)

0 0 1 1 1
0 1 1 1 1
1 0 1 1 1
1 1 0 0 1
逻辑等值式(identities)
• 等值： A⇔B
– 读作：A等值于B
– 含义：A与B在各种赋值下取值均相等
• A⇔B 当且仅当 A↔B是永真式
• 例如： (p∧q)∨r⇔¬p∨¬q∨r
常用逻辑等值式(关于∨与∧)
• 幂等律(idempotent laws)
A⇔A∨A
A⇔A∧A
• 交换律(commutative laws)
A∨B⇔B∨A
A∧B⇔B∧A
• 结合律(associative laws)
(A∨B)∨C⇔A∨(B∨C)
(A∧B)∧C⇔A∧(B∧C)
• 分配律(distributive laws)
A∨(B∧C)⇔(A∨B )∧(A∨C )
A∧(B∨C)⇔(A∧B )∨(A∧C )
• 吸收律(absorption laws)
A∨(A∧B)⇔A
A∧(A∨B)⇔A
常用逻辑等值式(关于¬)
• 双重否定律(double negation law)
¬¬A⇔A
• 德●摩根律(DeMorgan’s laws)
¬(A∨B)⇔¬A∧¬B
¬(A∧B)⇔¬A∨¬B
常用逻辑等值式(关于0,1)
• 零律(dominance laws)
A∨1⇔1
A∧0⇔0
• 同一律(identity laws)
A∨0⇔A
A∧1⇔A
常用逻辑等值式(关于0,1)
• 排中律(excluded middle)
A∨¬A⇔1
• 矛盾律(contradiction)
A∧¬A⇔0
常用逻辑等值式(关于→)
• 蕴涵等值式(conditional as disjunction)
A→B⇔¬A∨B
• 假言易位(contrapositive law)
A→B⇔¬B→¬A
• 归谬论
(A→B )∧( A→¬B )⇔¬A
常用逻辑等值式(关于↔)
• 等价等值式(biconditional as implication)
A↔B⇔(A→B)∧(B→A)
• 等价否定等值式
A↔B⇔¬A↔¬B
等值式模式
• A，B，C代表任意的公式
• 上述等值式称为等值式模式
• 每个等值式模式都给出了无穷多个同类型的具体
的等值式。
等值式模式(举例)
• 蕴涵等值式模式
A→B⇔¬A∨B
• 取A=p，B=q时，得到
p→q⇔¬p∨q
• 取A=p∨q∨r，B=p∧q时，得到
(p∨q∨r)→(p∧q)⇔¬(p∨q∨r)∨(p∧q)
对偶原理
一个逻辑等值式，如果
• 只含有∧，∨，¬，0，1
那么，同时
• 把∨与∧互换
• 把 0 与 1互换
得到的还是等值式
对偶原理(举例)
• 分配律
A∨(B∧C)⇔(A∨B )∧(A∨C )
A∧(B∨C)⇔(A∧B )∨(A∧C )
A∨¬A⇔1
A∧¬A⇔0
对偶原理(举例、续)
A∨1⇔1
A∧0⇔0
A∨0⇔A
A∧1⇔A
等值演算（举例）
• 例：(p∧q)→r⇔¬p∨¬q∨r
解：
(p∧q)→r
⇔ ¬(p∧q)∨r （蕴涵等值式）
⇔ (¬p∨¬q)∨r （德●摩根律）
⇔ ¬p∨¬q∨r （结合律）
推理（deduction）
• 推理：从前提出发推出结论的思维过程
• 前提：已知命题公式的集合
• 结论：从前提出发应用推理规则推出的命
题公式
推理（举例）
• 例：下午小王或去看电影或去游泳。他没
去看电影。所以，他去游泳了。
设： p：小王下午去看电影
q：小王下午去游泳
前提： p∨q， ¬p
结论： q
推理的形式结构
• 前提： A1,A2 ,A3 ,L,Ak
结论： B
• 推理的形式结构：
(A1∧A2∧A3∧L∧Ak)→B
• 一个推理是正确的，当且仅当推理的形式
结构是永真式
推理定律(deduction laws)
• 推出： A⇒B
– 读作：A推出B
– 含义：当A为真时，B也为真
• A⇒B 当且仅当 A→B是永真式
• 例如： (p∨q )∧¬p ⇒q
推理定律（举例）
• (p∨q )∧¬p ⇒q
• (p∨q )∧¬p →q 是永真式
p q p∨q ¬p (p∨q )∧¬p (p∨q )∧¬p→q

0 0 0 1 0 1
0 1 1 1 1 1
1 0 1 0 0 1
1 1 1 0 0 1
常见推理定律
• 附加律
A⇒(A∨B)
• 化简律
(A∧B)⇒A
常见推理定律（续）
• 假言推理
(A→B )∧A⇒B
• 拒取式
(A→B )∧¬B ⇒¬A
• 析取三段论
(A∨B )∧¬B ⇒A
• 假言三段论
(A→B)∧(B→C)⇒(A→C)
• 等价三段论
(A↔B)∧(B↔C)⇒(A↔C)
• 构造性两难
(A→B)∧(C→D)∧(A∨C)⇒(B∨D)
• 构造性两难(特殊形式)
(A→B)∧(¬A→B)∧(A∨¬A)⇒B
• 破坏性两难
(A→B)∧(C→D)∧(¬B∨¬D)⇒(¬A∨¬C)
推理规则
• 前提引入规则：在证明的任何步骤上都可
以引入前提
• 结论引入规则：在证明的任何步骤上所得
到的结论都可以做为后继证明的前提
• 置换规则：在证明的任何步骤上，命题公
式中的子公式都可以用与之等值的公式置
换，得到公式序列中又一个公式
推理规则（续）
• 附加规则：A⇒(A∨B)
A
————
∴ A∨B
• 化简规则：(A∧B)⇒A
• 假言推理规则： (A→B )∧A⇒B
A→B
A
————
∴B
• 拒取式规则：(A→B )∧¬B ⇒¬A
• 假言三段论规则：
(A→B)∧(B→C)⇒(A→C)
A→B
B→C
————
∴ A→C
• 析取三段论规则：(A∨B )∧¬B ⇒A
• 构造性两难推理规则：
(A→B)∧(C→D)∧(A∨C)⇒(B∨D)
• 破坏性两难推理规则：
(A→B)∧(C→D)∧(¬B∨¬D)⇒(¬A∨¬C)
• 合取引入规则：(A)∧(B)⇒(A∧B )
A
B
————
∴ A∧B
证明
• 所谓证明，就是一些公式的序列，其中每一个公式或是已
知的前提，或是由前面的公式运用推理规则得出的公式，
最后一个公式是结论
• 前提： A1,A2 ,A3 ,L,Ak
结论： B
证明： (1) A1 前提引入
(2) A2 ××××(推理规则)
(3) A3 ××××
M M M
(s) Ak ××××
证明(举例)
• 前提： p∨q， ¬p
结论： q
证明： (1) p∨q 前提引入
(2) ¬p 前提引入
(3) q (1)(2)析取三段论
证明(举例、续)
• 前提： (p∧q) →r， ¬s∨p，q
结论： s→r
证明： (1) ¬s∨p 前提引入
(2) s→p (1)置换
(3) (p∧q) →r 前提引入
(4) q →(p→r) (3)置换
(5) q 前提引入
(6) p→r (4)(5)假言推理
(7) s→r (2)(6)假言三段论
证明(举例、续)
• 证明： (p∧q) →r⇔q→(p→r)
(p∧q) →r
⇔ ¬(p∧q)∨r (蕴涵等值式)
⇔ (¬p∨¬q)∨r (德●摩根律)
⇔ ¬q∨(¬p∨r) (交换律、结合律)
⇔ q →(¬p∨r) (蕴涵等值式)
⇔ q →(p→r) (蕴涵等值式)
总结
• 等值式（16组、24条）
– 幂等律、交换律、结合律、分配律、吸收律；
– 双重否定律、德●摩根律；
– 零律、同一律、排中律、矛盾律；
– 蕴涵等值式、等价等值式、假言易位、等价否定等值式
– 归谬论
• 推理定律（9条）
– 附加、化简
– 假言推理、拒取式、析取三段论、假言三段论、
– 等价三段论、构造性两难（特殊形式）、破坏性两难
习题
• 证明下面的等值式：
(1) (p→q )∧(p→r) ⇔ p→(q∧r)
(2) (p∧¬q)∨(¬p∧q) ⇔ (p∨q)∧¬(p∧q)
• 构造下面推理的证明：
(1) 前提：p→(q→r) ， p，q
结论： r∨s
(2) 前提：p→q ，¬(q∧r)，r
结论： ¬p
第2讲一阶逻辑基础
内容提要
• 1. 量词、谓词、个体词、命题符号化
• 2. 合式公式、解释、永真式
• 3. 一阶逻辑等值式
• 4. 一阶逻辑推理规则
苏格拉底三段论
• 凡人都是要死的。苏格拉底是人。所以，
苏格拉底是要死的。
• 设：p:凡人都是要死的; q:苏格拉底是人;
r: 苏格拉底是要死的。
• 前提：p，q 结论：r
• 推理的形式结构：p∧q→r (非永真式！)
苏格拉底三段论(续)
• 重新符号化：∀, ∃, F( ), x, a
• 设：F(x)：x是人。G(x)：x是要死的。
a：苏格拉底。
• 前提：∀x(F(x)→G(x))，F(a)
结论：G(a)
谓词(predicate)
• 谓词：表示性质、关系等；相当于句子中
的谓语。
• 用大写英文字母F,G,H,…,后跟括号与变元
来表示。例如：
F(x): x是人。
G(x,y): x与y是兄弟。
• n元谓词：含有n个变元。例如：
F(x)是一元谓词， G(x,y)是二元谓词
量词(quantifier)
• 全称(universal)量词: ∀
“所有的”, “全部的”,…
• 存在(existential)量词: ∃
“有一些的”, “某些的”,…
• 唯一(unique)存在量词: ∃!
“恰好存在一个”
量词(举例)
• 设：F(x)：x是自然数。G(x)：x是偶数。
H(x) ： x是奇数。 I(x,y)：x=y。
• “有些自然数是偶数”。 ∃x(F(x)∧G(x))
• “既有奇数又有偶数” 。∃xH(x)∧∃xG(x)
• 存在既奇又偶的数” 。∃x(H(x)∧G(x))
• “存在唯一的自然数0”。 ∃!x(F(x)∧I(x,0))
个体词
• 个体常项
• 个体变项
个体常项(constant)
• 表示具体的特定对象
• 用小写英文字母a,b,c,…来表示
• 例如： a:王大明，b:王小明，
G(x,y): x与y是兄弟,
“王大明与王小明是兄弟”: G(a,b)
个体变项(varible)
• 表示不确定的泛指对象
• 用小写英文字母x,y,z,…来表示
• 例如： F(x): x是人。G(x): x是数。
“存在着人”: ∃xF(x)
“仅有一人”: ∃!xF(x)
“万物皆数”: ∀xG(x)
命题符号化
• 个体域(scope): 个体词的取值范围, 缺省(default)
采用全总个体域.
• 全总个体域: 世界上的万事万物
• 特性谓词: 表示所关注的对象的性质
• 两种模式:
∀x(M(x)→G(x))
∃x(M(x)∧G(x))
其中M(x)是特性谓词。
命题符号化(举例)
• 例: “有些人是要死的”.
• 解1: 采用全总个体域.
设: F(x): x是人; G(x):x是要死的.
原命题符号化成: ∃x(F(x)∧G(x))
• 解2: 采用全体人作为个体域.
设: G(x): x是要死的.
原命题符号化成: ∃xG(x)
命题符号化(举例、续)
• 例: “凡人都是要死的”.
• 解1: 采用全总个体域.
设: F(x): x是人; G(x):x是要死的.
原命题符号化成: ∀x(F(x)→G(x))
• 解2: 采用全体人作为个体域.
设: G(x): x是要死的.
原命题符号化成: ∀xG(x)
• 例: “存在最小的自然数”。
解1: 设: F(x): x是自然数; G(x,y): x<y;
原命题符号化成:
∃x(F(x)∧∀y(F(y)→G(x,y)))
解2: 采用全体自然数作为个体域.
设: G(x,y): x<y;
原命题符号化成: ∃x∀yG(x,y)
– 注意量词顺序:
∀y∃xG(x,y): “没有最小的自然数”.
• 例: “不存在最大的自然数”。
解: 设: F(x): x是自然数; G(x,y): x≤y;
¬∃x(F(x)∧∀y(F(y)→G(y,x)))
或: ∀x(F(x)→∃y(F(y)∧G(x,y)))
• 例: “火车比汽车快”。
解: 设: F(x): x是火车; G(x): x是汽车;
H(x,y): x比y快
∀x(F(x)→∀y(G(y)→H(x,y)))
或: ∀x∀y((F(x)∧G(y))→H(x,y))
• 例: “有的汽车比火车快”。
解: 设: F(x): x是汽车; G(x): x是火车;
H(x,y): x比y快
∃x(F(x)∧∃y(G(y)∧H(x,y)))
或: ∃x∃y(F(x)∧G(y)∧H(x,y))
• 例: “有些病人相信所有的医生”。
解: 设: F(x): x是病人; G(x): x是医生;
H(x,y): x相信y
∃x(F(x)∧∀y(G(y)→H(x,y)))
• 例: “存在唯一的对象满足性质P”。
解: 设: P(x): x满足性质P
∃!xP(x)
或:
∃x( P(x) ∧ ∀y( P(y)→x=y ) )
• 例: “2+2=4”。
解: 设: a: 2; b: 4; f(x,y)=x+y;
F(x,y): x=y
原命题符号化成: F(f(a,a),b)
或: F(f(2,2),4)
或: 2+2=4
一阶逻辑的字母表
• 个体常项: a, b, c, …, a1, b1, c1,…
• 个体变项: x, y, z, …, x1, y1, z1,…
• 函数符号: f, g, h, …, f1, g1, h1,…
• 谓词符号: F, G, H, …, F1, G1, H1, …
• 量词符号: ∃, ∀
• 联结词符号: ¬, ∧, ∨, →, ↔
• 括号与逗号: (, ), ，
一阶(first order)逻辑的合式公式
• 项
• 原子公式
• 合式公式
项(term)
• 个体常项和个体变项是项
• 若ϕ(x1,x2,…,xn)是n元函数, t1,t2,…,tn是项,
则ϕ(t1,t2,…,tn)是项
• 所有的项都是有限次地应用上述规则形成
的
• 例如: a, x, f(a), g(a,x), g(x,f(a))
原子公式(atomic formula)
• 若R(x1,x2,…,xn)是n元谓词, t1,t2,…,tn是项,
则R(t1,t2,…,tn)是原子公式
• 例如: F(a), G(a,y), F(f(a)), G(x,g(a,y))
合式公式(well-formed formula)
• 原子公式是合式公式
• 若A是合式公式，则(¬A)是合式公式
• 若A,B是合式公式，则(A∧B), (A∨B),
(A→B), (A↔B)也是合式公式
• 若A是合式公式，则∃xA, ∀xA也是合式公式
• 只有有限次地应用上述规则形成的符号串
才是合式公式
合式公式（举例）
• ∃x(F(x)∧∀y(G(y)→H(x,y)))
• F(f(a,a),b)
• 约定：省略多余括号
– 最外层
– 优先级递减： ∃, ∀; ¬; ∧,∨; →,↔
合式公式中的变项
• 量词辖域: 在∃xA, ∀xA中, A是量词的辖域.
例如: ∃x(F(x)∧∀y(G(y)→H(x,y)))
• 指导变项: 紧跟在量词后面的个体变项.例
如: ∃x(F(x)∧∀y(G(y)→H(x,y)))
• 约束出现: 在辖域中与指导变项同名的变项.
例如: ∃x(F(x)∧∀y(G(y)→H(x,y)))
• 自由出现: 既非指导变项又非约束出现. 例
如: ∀y(G(y)→H(x,y))
合式公式中的变项(举例)
• H(x,y)∨∃xF(x)∨∀y(G(y)→H(x,y))
• x 与 y 是指导变项
• x与y是约束出现
• x与 y是自由出现
闭式(closed form)
• 闭式: 无自由出现的变项
• 一般来说, 闭式表示的是命题, 例如
– F(a)
– ∃xF(x)
– F(x)
– ∀y(G(y)→H(x,y))
后两个不是闭式
解释(interpret)
• 对一个合式公式的解释包括给出
– 个体域
– 谓词
– 函数
– 个体常项
的具体含义
解释(举例)
• F(f(a,a),b)
• 解释1：个体域是全体自然数; a: 2;
b: 4; f(x,y)=x+y; F(x,y): x=y
原公式解释成: “2+2=4”。
• 解释1：个体域是全体实数; a: 3;
b: 5; f(x,y)=x-y; F(x,y): x>y
原公式解释成: “3-3>5”。
一阶逻辑永真式(tautology)
• 永真式:在各种解释下取值均为真(逻辑有效
式)
– 命题逻辑永真式: 在各种赋值下取值均为真(重
言式)
• 永假式:在各种解释下取值均为假(矛盾式)
– 命题逻辑永假式: 在各种赋值下取值均为真(矛
盾式)
• 可满足式：非永假式
一阶逻辑等值式(定义)
• 等值： A⇔B
– 读作：A等值于B
– 含义：A与B在各种解释下取值均相等
• A⇔B 当且仅当 A↔B是永真式
• 例如： ¬∀xF(x)⇔∃x¬F(x)
F
¬F
一阶逻辑等值式(来源)
• 命题逻辑等值式的代换实例
• 与量词有关的
– 有限个体域量词消去
– 量词否定
– 量词辖域收缩与扩张
– 量词分配
• 与变项命名有关的
– 换名规则
– 代替规则
代换实例
• 在命题逻辑等值式中, 代入一阶逻辑公式所
得到的式子, 称为原来公式的代换实例.
• 例1：A⇔¬¬A, 令A=∀xF(x), 得到
∀xF(x)⇔¬¬∃xF(x)
• 例2：A→B⇔¬A∨B, 令A=F(x),
B=G(y), 得到
F(x)→G(y)⇔¬F(x)∨G(y)
有限个体域上消去量词
• 设个体域为有限集D={a1, a2,…, an}, 则
∀xA(x)⇔A(a1)∧A(a2)∧…∧A(an)
∃xA(x)⇔A(a1)∨A(a2)∨…∨A(an)
• 例: 个体域D={a,b,c}, 则 ∃x∀yF(x,y)
⇔∃x (F(x,a)∧F(x,b)∧F(x,c))
⇔ (F(a,a)∧F(a,b)∧F(a,c))∨
(F(b,a)∧F(b,b)∧F(b,c))∨
(F(c,a)∧F(c,b)∧F(c,c))
量词否定等值式
• ¬∀xA(x)⇔∃x¬A(x)
• ¬∃xA(x)⇔∀x¬A(x)
量词否定等值式(举例)
• lim a n = a
n→ ∞
⇔ ∀ε ∃N ∀n ( n>N → |an-a|<ε )
• a1,a2,a3,…,aN ,aN+1,aN+2 ,…,an ,…
ε ε
a
• lim a n ≠ a
n→ ∞
⇔ ?
量词否定等值式(举例、续)
• lim a n ≠ ⇔
a ¬ lim a n = a
n→ ∞ n→ ∞
⇔¬∀ε ∃N ∀n ( n>N → |an-a|<ε
)
⇔ ∃ε¬∃N ∀n ( n>N → |an-a|<ε )
⇔ ∃ε ∀N¬∀n ( n>N → |an-a|<ε )
⇔ ∃ε ∀N ∃n¬( n>N → |an-a|<ε )
⇔ ∃ε ∀N ∃n¬( ¬n>N∨ |an-a|<ε )
⇔ ∃ε ∀N ∃n ( n>N ∧ ¬ |an-a|<ε )
⇔ ∃ε ∀N ∃n ( n>N ∧ |an-a|≥ε )
量词辖域收缩与扩张(∀)
• ∀x(A(x)∨B) ⇔ ∀xA(x)∨B
• ∀x(A(x)∧B) ⇔ ∀xA(x)∧B
• ∀x(A(x)→B) ⇔ ∃xA(x)→B
• ∀x(B→A(x)) ⇔ B→∀xA(x)
• 说明: B中不含x的出现
• 例1: ∀x(F(x)∨G(y)) ⇔ ∀xF(x)∨G(y)
• 例2: ∀x∀y(F(x)∧G(y)) ⇔∀x(F(x)∧∀yG(y))
⇔ ∀xF(x)∧∀yG(y)
量词辖域收缩与扩张(∀、续)
• ∀x(A(x)→B) ⇔ ∃xA(x)→B
证明: ∀x(A(x)→B)
⇔ ∀x(¬A(x)∨B) ⇔ ∀x¬A(x)∨B
⇔ ¬∃xA(x)∨B ⇔ ∃xA(x)→B
• ∀x(B→A(x)) ⇔ B→∀xA(x)
证明: ∀x(B→A(x))
⇔ ∀x(¬B∨A(x)) ⇔ ¬B∨∀xA(x)
⇔ ¬B∨∀xA(x) ⇔ B→∀xA(x)
量词辖域收缩与扩张(∃)
• ∃x(A(x)∨B) ⇔ ∃xA(x)∨B
• ∃x(A(x)∧B) ⇔ ∃xA(x)∧B
• ∃x(A(x)→B) ⇔ ∀xA(x)→B
• ∃x(B→A(x)) ⇔ B→∃xA(x)
• 说明: B中不含x的出现
• 例1: ∃x(F(x)∨G(y)) ⇔ ∃xF(x)∨G(y)
• 例2: ∀x∃y(F(x)∧G(y)) ⇔∀x(F(x)∧∃yG(y))
⇔ ∀xF(x)∧∃yG(y)
量词辖域收缩与扩张(∃、续)
• ∃x(A(x)→B) ⇔ ∀xA(x)→B
证明: ∃x(A(x)→B)
⇔ ∃x(¬A(x)∨B) ⇔ ∃x¬A(x)∨B
⇔ ¬∀xA(x)∨B ⇔ ∀xA(x)→B
• ∃x(B→A(x)) ⇔ B→∃xA(x)
证明: ∃x(B→A(x))
⇔ ∃x(¬B∨A(x)) ⇔ ¬B∨∃xA(x)
⇔ ¬B∨∃xA(x) ⇔ B→∃xA(x)
量词分配
• ∀x(A(x)∧B(x)) ⇔ ∀xA(x)∧∀xB(x)
• ∃x(A(x)∨B(x)) ⇔ ∃xA(x)∨∃xB(x)
量词分配(反例)
• ∀x(A(x)∨B(x)) ⇐ ∀xA(x)∨∀xB(x)
• ∀x(A(x)∨B(x)) ⇒ ∀xA(x)∨∀xB(x)
个体域为全体自然数; A(x): x是偶数
B(x): x是奇数; 左⇔1, 右⇔0
• ∃x(A(x)∧B(x)) ⇒ ∃xA(x)∧∃xB(x)
• ∃x(A(x)∧B(x)) ⇐ ∃xA(x)∧∃xB(x)
个体域为全体自然数; A(x): x是偶数
B(x): x是奇数; 左⇔0, 右⇔1
换名(rename)规则
• 把某个指导变项和其量词辖域中所有同名
的约束出现, 都换成某个新的个体变项符号.
• 例如:
– ∀x(A(x)∧B(x)) ⇔ ∀y(A(y)∧B(y))
– ∀xA(x)∧∀xB(x) ⇔ ∀yA(y)∧∀zB(z)
– H(x,y)∨∃xF(x)∨∀y(G(y)→H(x,y))
⇔ H(x,y)∨∃zF(z)∨∀u(G(u)→H(x,u))
代替(substitute)规则
• 把某个自由变项的所有出现, 都换成某个新
的个体变项符号.
• 例如:
– A(x)∧B(x) ⇔ A(y)∧B(y)
– ∀xA(x)∧B(x) ⇔ ∀xA(x)∧B(y)
– H(x,y)∨∃xF(x)∨∀y(G(y)→H(x,y))
⇔ H(s,t)∨∃xF(x)∨∀y(G(y)→H(s,y))
一阶逻辑推理定律(定义)
• 推出： A⇒B
– 读作：A推出B
– 含义：A为真时, B也为真
• A⇒B 当且仅当 A→B是永真式
• 例如： ∀xF(x) ⇒ ∃xF(x)
F
一阶逻辑推理定律(来源)
• 命题逻辑推理定律的代换实例
• 基本等值式生成的推理定律
• 其他的一阶逻辑推理定律
∀xA(x)∨∀xB(x) ⇒ ∀x(A(x)∨B(x))
∃x(A(x)∧B(x)) ⇒ ∃xA(x)∧∃xB(x)
∀x(A(x)→B(x)) ⇒ ∀xA(x)→∀xB(x)
∃x(A(x)→B(x)) ⇒ ∃xA(x)→∃xB(x)
M
一阶逻辑推理定律(举例)
• 命题逻辑推理定律的代换实例
例如: 假言推理规则:
(A→B )∧A⇒B
代入 A=F(a), B=G(a), 得到
(F(a)→G(a))∧F(a)⇒G(a)
一阶逻辑推理定律(举例、续)
• 基本等值式生成的推理定律
即由 A⇔B 可得 A⇒B 和 B⇒A
例如: 量词分配等值式:
∀x(A(x)∧B(x)) ⇔ ∀xA(x)∧∀xB(x)
可得
∀x(A(x)∧B(x)) ⇒ ∀xA(x)∧∀xB(x)
∀xA(x)∧∀xB(x) ⇒ ∀x(A(x)∧B(x))
推理定律与推理规则
• 推理定律A⇒B表示A→B是永真式
• 推理规则是在证明过程中使用的规则
• 每一条推理定律都可以作为推理规则
• 有些推理规则不是推理定律
一阶逻辑的常用推理规则
• 前提引入、结论引入、置换规则
• 假言推理、附加、化简、拒取式、假言三
段论、析取三段论、构造性两难、合取引
入
• UI、UG、EI、EG
4条新的推理规则
• 全称量词消去规则(UI)
• 全称量词引入规则(UG)
• 存在量词消去规则(EI)
• 存在量词引入规则(EG)
UI规则(universal instantiation)
• 表示为 ∀xA(x) ∀xA(x)
———— 或 ————
∴ A(y) ∴ A(c)
• 注意1: y是自由变项； c是个体常项
• 注意2: 被消去量词的辖域是整个公式
• 例如
(1) ∀x(F(x)→G(x)) 前提引入
(2) F(a)→G(a) (1)UI
UG规则(universal generalization)
• 表示为 A(y)
————
∴ ∀xA(x)
• 注意1: y是自由变项
• 注意2: 量词加在整个公式前面
• 例如
(1) F(y)→G(y) 前提引入
(2) ∀x(F(x)→G(x)) (1)UG
EI规则(existential instantiation)
• 表示为 ∃xA(x)
————
∴ A(c)
• 注意1: c是特定的满足A的个体常项
• 注意2: 被消去量词的辖域是整个公式
• 例如
(1) ∃x(F(x)∧G(x)) 前提引入
(2) F(a)∧G(a) (1)EI
EG规则(existential generalization)
• 表示为 A(c)
————
∴ ∃xA(x)
• 注意1: c是个体常项
• 注意2: 量词加在整个公式前面
• 例如
(1) F(c)∧G(c) 前提引入
(2) ∃x(F(x)∧G(x)) (1)EG
构造推理的证明(举例)
• 前提: ∀x(F(x)→G(x))，F(a)
结论: G(a)
证明: (1) F(a) 前提引入
(3) F(a)→G(a) (2)UI
(4) G(a) (1)(3)假言推理
构造推理的证明(举例、续)
• 前提: ∀x(F(x)→G(x))，∃xF(x)
结论: ∃xG(x)
证明: (1) ∃xF(x) 前提引入
(2) F(c) (1) EI
(4) F(c)→G(c) (3) UI
(5) G(c) (2)(4)假言推理
(6) ∃xG(x) (5) EG
• “先EI，后UI”
• 证明: (1) ∀x(F(x)→G(x)) 前提引入
(2) F(c)→G(c) (2) UI
(3) ∃xF(x) 前提引入
(4) F(c) (3) EI
M M M
• 说明：这个证明是错的. (3)(4)应当在(1)(2)前，(4)
中的c是特定的， (2)中的c是任意的
• 前提: ¬∃x(F(x)∧H(x)), ∀x(G(x)→H(x)),
结论: ∀x(G(x)→¬F(x))
证明: (1) ¬∃x(F(x)∧H(x)) 前提引入
(2) ∀x(¬F(x)∨¬H(x)) (1)置换
(3) ∀x(H(x)→¬F(x)) (2)置换
(4) H(y)→¬F(y) (3) UI
(5) ∀x(G(x)→H(x)) 前提引入
(6) G(y)→H(y) (5) UI
(7) G(y)→¬F(y) (4)(6)假言三段论
(8) ∀x(G(x)→¬F(x)) (7) UG
总结
• 一阶逻辑等值式（4组）
– 有限个体域量词消去；
– 量词否定；
– 量词辖域收缩与扩张；
– 量词分配；
• 一阶逻辑推理定律（4条）
– UI (全称量词消去)
– UG (全称量词引入)
– EI (存在量词消去)
– EG (存在量词引入)
习题
• 1. 设个体域D={a,b,c}, 消去下列各式的量
词：
(1) ∀x∃y(F(x)∧G(x))
(2) ∀x(F(x,y)→∃yG(y))
• 2. 证明等值式:
∀xF(x)∨¬∃xG(x)⇔∀x∀y(F(x)∨¬G(y))
(下页还有)
习题(续)
• 3. 构造下面推理的证明：
(1) 前提：∃xF(x)→∀y((F(y)∨G(y))→R(y)),
∃xF(x)
结论： ∃xR(x)
(2) 前提：∀x(F(x)∨G(x)),
∀x(¬G(x)∨¬R(x)),
∀xR(x)
结论： ∀xF(x)
第3讲集合的概念与运算
• 1. 集合的概念
• 2. 集合之间的关系
• 3. 集合的运算
• 4. 文氏图、容斥原理
集合论(set theory)
• 十九世纪数学最伟大成就之一
• 集合论体系
– 朴素(naive)集合论
– 公理(axiomatic)集合论
• 创始人康托(Cantor)
Georg Ferdinand Philip Cantor
1845 ~ 1918
德国数学家, 集合论创始人.
什么是集合(set)
• 集合：不能精确定义。一些对象的整体就
构成集合，这些对象称为元素(element)或
成员(member)
• 用大写英文字母A,B,C,…表示集合
• 用小写英文字母a,b,c,…表示元素
• a∈A：表示a是A的元素，读作“a属于A”
a∉A：表示a不是A的元素，读作“a不属于
A”
集合的表示
• 列举法
• 描述法
• 特征函数法
列举法(roster)
• 列出集合中的全体元素，元素之间用逗号分开，
然后用花括号括起来，例如
A={a,b,c,d,…,x,y,z}
B={0,1,2,3,4,5,6,7,8,9}
• 集合中的元素不规定顺序
C={2,1}={1,2}
• 集合中的元素各不相同(多重集除外)
C={2,1,1,2}={2,1}
多重集(multiple set)
• 多重集: 允许元素多次重复出现的集合
• 元素的重复度: 元素的出现次数(≥0).
• 例如: 设A={a,a,b,b,c}是多重集
元素a,b的重复度是2
元素c的重复度是2
元素d的重复度是0
描述法(defining predicate)
• 用谓词P(x)表示x具有性质P ，用{x|P(x)}表示具有
性质 P 的集合，例如
• P1 (x): x是英文字母
A={x|P1 (x)}={x| x是英文字母}
={a,b,c,d,…,x,y,z}
• P2 (x): x是十进制数字
B={x|P2(x)}= {x|x是十进制数字}
={0,1,2,3,4,5,6,7,8,9}
描述法（续）
• 两种表示法可以互相转化，例如
E={2,4,6,8,…}
={x|x>0且x是偶数}
={x|x=2(k+1)，k为非负整数}
={2(k+1) | k为非负整数}
• 有些书在列举法中用:代替|, 例如
{2(k+1): k为非负整数}
特征函数法(characteristic function)
• 集合A的特征函数是χA (x):
1，若x∈A
χA (x) =
0，若x∉A
• 对多重集, χA (x)=x在A中的重复度
数的集合
• N：自然数(natural numbers)集合
N={0,1,2,3,…}
• Z：整数(integers)集合
Z={0,±1,±2,…}={…,-2,-1,0,1,2,…}
• Q：有理数(rational numbers)集合
• R：实数(real numbers)集合
• C：复数(complex numbers)集合
集合之间的关系
• 子集、相等、真子集
• 空集、全集
• 幂集、n元集、有限集
• 集族
子集(subset)
• 子集: 若B中的元素也都是A中的元素, 则称
B为A的子集, 或说B包含于A, 或说A包含B,
记作B⊆A
B⊆A ⇔ ∀x(x∈B→x∈A)
• 若B不是A的子集, 则记作B⊄A
B⊄A ⇔ ∃x(x∈B∧x∉A)
• ¬∀x(x∈B→x∈A)⇔∃x¬(¬x∈B∨x∈A)
⇔∃x(x∈B∧¬x∈A)⇔∃x(x∈B∧x∉A)
子集(举例)
• 设A={a,b,c},B={a,b,c,d},C={a,b},则
A⊆B, C⊆A, C⊆B
a b c d e f g h i j …
A …
B …
C …
相等(equal)
• 相等: 互相包含的集合是相等的.
A=B ⇔ A⊆B ∧ B⊆A
A=B ⇔ ∀x(x∈A↔x∈B)
• A=B ⇔ A⊆B∧B⊆A (=定义)
⇔∀x(x∈A→x∈B)∧∀x(x∈B→x∈A) (⊆定义)
⇔∀x((x∈A→x∈B)∧(x∈B→x∈A)) (量词分配)
⇔∀x(x∈A↔x∈B) (↔等值式)
包含(⊆)的性质
• A⊆A
证明: A⊆A⇔∀x(x∈A→x∈A) ⇔1
• 若A⊆B,且A≠B,则 B⊄A
证明: A≠B ⇔ ¬(A=B)
⇔ ¬(A⊆B∧B⊆A) (定义)
⇔¬(A⊆B) ∨ ¬(B⊆A) (德•摩根律)
A⊆B (已知)
∴¬B⊆A (即B⊄A) (析取三段论) #
包含(⊆)的性质(续)
• 若A⊆B,且B⊆C, 则A⊆C
证明: A⊆B ⇔ ∀x(x∈A→x∈B)
∀x, x∈A
⇒ x∈B (A⊆B)
⇒ x∈C (B⊆C)
∴ ∀x(x∈A→x∈C), 即A⊆C. #
真子集(proper subset)
• 真子集: B真包含A:
A⊂B ⇔ A⊆B ∧ A≠B
• A⊄B ⇔ ¬(A⊆B ∧ A≠B) (⊂定义)
⇔ ¬(A⊆B) ∨ (A=B) (德•摩根律)
⇔ ∃x(x∈A∧x∉B) ∨ (A=B) (⊄定义)
真包含(⊂)的性质
• A⊄A
证明: A ⊂ A⇔ A⊆A ∧ A≠A ⇔ 1∧0 ⇔ 0. #
• 若A⊂B,则 B⊄A
证明: (反证) 设B⊂A, 则
A⊂B ⇔ A⊆B ∧ A≠B ⇒ A⊆B (化简)
B⊂A ⇔ B⊆A ∧ B≠A ⇒ B⊆A
所以 A⊆B ∧ B⊆A ⇔ A=B (=定义)
但是 A⊂B ⇔ A⊆B ∧ A≠B ⇒ A≠B (化简) 矛盾! #
真包含(⊂)的性质(续)
• 若A⊂B,且B⊂C, 则A⊂C
证明: A⊂B ⇔ A⊆B ∧ A≠B ⇒ A⊆B (化简),
同理 B⊂C ⇒ B⊆C, 所以A⊆C.
假设A=C, 则B⊆C⇔B⊆A, 又A⊆B, 故
A=B, 此与A⊂B矛盾, 所以A≠C.
所以, A⊂C. #
空集(empty set)
• 空集:没有任何元素的集合是空集,记作∅
• 例如, {x∈R|x2 +1=0}
• 定理1: 对任意集合A, ∅⊆A
证明: ∅⊆A⇔∀x(x∈∅→x∈A)
⇔∀x(0→x∈A)⇔1. #
• 推论: 空集是唯一的.
证明: 设∅1与∅2都是空集, 则
∅1⊆∅2 ∧ ∅2⊆∅1 ⇔ ∅1=∅2 . #
全集
• 全集: 如果限定所讨论的集合都是某个集合
的子集,则称这个集合是全集,记作E
• 全集是相对的, 视情况而定, 因此不唯一.例
如, 讨论(a,b)区间里的实数性质时, 可以选
E=(a,b), E=[a,b), E=(a,B], E=[a,b],
E=(a,+∞),E=(-∞,+∞)等
幂集(power set)
• 幂集: A的全体子集组成的集合,称为A的幂
集,记作P(A)
P(A)={x|x⊆A}
• 注意: x∈P(A) ⇔ x⊆A
• 例子: A={a,b}, P(A)={∅,{a},{b},{a,b}}. #
n元集(n-set)
• n元集: 含有n个元素的集合称为n元集
• 0元集: ∅
• 1元集(或单元集),如{a}, {b}, {∅}, {{∅}},…
• |A|: 表示集合A中的元素个数,
A是n元集 ⇔ |A|=n
• 有限集 (fimite set): |A|是有限数, |A|<∞, 也
叫有穷集
幂集(续)
• 定理: |A|=n ⇒ |P(A)|=2n.
证明: 每个子集对应一种染色,一共有2n
种不同染色. #
a1 a2 a3 …… … … … an
A
∅
{a1}
{a1,a3}
集族(set family)
• 集族: 由集合构成的集合. 幂集都是集族.
• 指标集(index set): 设A是集族, 若
A={Aα|α∈S}, 则S称为A的指标集. S中的元
素与A中的集合是一一对应的. 也记作
A={Aα|α∈S}={Aα}α∈S
• 例1: {A1,A2}的指标集是{1,2}
集族(举例)
• 例2: An={x∈N|x=n}, A0={0}, A1={1},…
{An|n∈N}={{0},{1},{2},…}
{An|n∈N}的指标集是N
• 例3: 设R+={x∈R|x>0}, Aa=[0,a),
{Aa|a∈R+ }的指标集是R+
0 a
集合之间的运算
• 并集、交集
• 相对补集、对称差、绝对补
• 广义并集、广义交集
并集(union)
• 并集: A∪B = { x | (x∈A) ∨ (x∈B) }
x∈A∪B ⇔ (x∈A) ∨ (x∈B)
• 初级并:
A1 U A2 U L U An = { x | ∃ i (1 ≤ i ≤ n ∧ x ∈ Ai )}
n
U Ai = A1 U A2 U L U An
i =1
∞
U Ai = A1 U A2 U L
i =1
并集(举例)
• 例1: 设An={x∈R|n-1≤x≤n},n=1,2,…,10,则
10
U Ai = { x ∈ R | 0 ≤ x ≤ 10} = [ 0,10 ]
i =1
• 例2: 设An={x∈R|0≤x≤1/n},n=1,2,…,则
∞
U Ai = { x ∈ R | 0 ≤ x ≤ 1} = [ 0,1]
i =1
交集(intersection)
• 交集: A∩B = { x | (x∈A) ∧ (x∈B) }
x∈A∩B ⇔ (x∈A) ∧ (x∈B)
• 初级交:
A1 I A2 I L I An = { x | ∀ i (1 ≤ i ≤ n → x ∈ Ai )}
n
I Ai = A1 I A2 I L I An
i =1
∞
I Ai = A1 I A2 I L
i =1
交集(举例)
• 例1: 设An={x∈R|n-1≤x≤n},n=1,2,…,10,则
10
I Ai = ∅
i =1
• 例2: 设An={x∈R|0≤x≤1/n},n=1,2,…,则
∞
I Ai = {0}
i =1
不相交(disjoint)
• 不相交: A∩B=∅
• 互不相交: 设A1,A2,…是可数多个集合, 若
对于任意的i≠j, 都有Ai∩Bj=∅, 则说它们互不
相交
• 例: 设 An={x∈R|n-1<x<n}, n=1,2,…,10, 则
A1,A2,…是不相交的
相对补集(set difference)
• 相对补集: 属于A而不属于B的全体元素,称
为B对A的相对补集, 记作A-B
A-B = { x | (x∈A) ∧ (x∉B) }
A B
A-B
对称差(symmetric difference)
• 对称差: 属于A而不属于B, 或属于B而不属
于A的全体元素, 称为A与B的对称差, 记作
A⊕B
A⊕B={x|(x∈A∧x∉B)∨(x∉A∧x∈B)}
• A⊕B=(A-B)∪(B-A)=(A∪B)-(A∩B)
A B
A⊕B
绝对补(complement)
• 绝对补: ~A=E-A, E是全集, A⊆E
~A={x|(x∈E∧x∉A)}
~A={x∈E|x∉A)}
~A
相对补、对称差、补(举例)
• 例: 设A={x∈R|0≤x<2}, A={x∈R|1≤x<3},
则
A-B= {x∈R|0≤x<1}=[0,1)
B-A= {x∈R|2≤x<3}=[2,3)
A⊕B={x∈R|(0≤x<1)∨(2≤x<3)}=[0,1)∪[2,3)
[ [ )
[ ) )
广义并集(big union)
• 广义并: 设A是集族, A中所有集合的元素的
全体, 称为A的广义并, 记作∪A.
∪A = { x | ∃z(x∈z∧z∈A }
• 当是以S为指标集的集族时
∪A = ∪{Aα|α∈S}= ∪ Aα
α∈S
• 例: 设 A={{a,b},{c,d},{d,e,f}}, 则
∪A= {a,b,c,d,e,f}
广义交集(big intersection)
• 广义交: 设A是集族, A中所有集合的公共元
素的全体, 称为A的广义交, 记作∩A.
∩A = { x | ∀z(z∈A→x∈z) }
• 当是以S为指标集的集族时
∩A = ∩{Aα|α∈S}= ∩ Aα
α∈S
• 例: 设 A={{1,2,3},{1,a,b},{1,6,7}}, 则
∩A= {1}
广义交、广义并(举例)
• 设 A1={a,b,{c,d}}, A2={{a,b}}, A3={a},
A4={∅,{∅}}, A5=a(a≠∅), A6=∅, 则
∪A1= a∪b∪{c,d}, ∩A1= a∩b∩{c,d},
∪A2={a,b}, ∩A2={a,b},
∪A3=a, ∩A3=a
∪A4=∅∪{∅}={∅}, ∩A4=∅∩{∅}=∅,
∪A5= ∪a, ∩A5= ∩a
∪A6=∅, ∩A6=E
文氏图(Venn diagram)
• 文氏图: 平面上的n个圆(或椭圆),使得任何
可能的相交部分, 都是非空的和连通的
• John Venn, 1834~1923
• 例:
文氏图(应用)
• 文氏图可表示集合运算(结果用阴影表示)
A B A B A B
A∩B A∪B A-B
A B A A B
A⊕B ~A A∩B=∅
文氏图(问题)
• Venn曾经构造出4个椭圆的文氏图, 并且断
言: 没有5个椭圆的文氏图
• Peter Hamburger & Raymond Pippert,
1996, 构造出5个椭圆的文氏图
• Can you try it ?
文氏图(续)
• 试试 n=4:
14 < 16
文氏图(续)
• 试试 n=5
17 + 5 < 32
容斥原理(principle of inclusion/exclusion)
• 容斥原理(或包含排斥原理)
n n
| U Ai |= ∑ | Ai | − ∑ | Ai I A j |
i =1 i =1 i< j
+ ∑ i j k
| A I
i < j <k
A I A | − L + (−1) n−1
| A1 I A2 I LI An |
容斥原理(证明)
• n=2时的情况:
|A∪B|=|A|+|B|-|A∩B| A B
• 归纳证明: 以n=3为例:
|A∪B ∪C| = |(A∪B)∪C|= |A∪B|+|C|-|(A∪B)∩C|
= |A|+|B|-|A∩B|+|C|-|(A∩C)∪(B∩C)|
= |A|+|B|-|A∩B|+|C|
A
-(|A∩C|+|B∩C|-|(A∩C)∩(B∩C)|)
B C= |A|+|B|+|C|-|A∩B|-|A∩C|-|B∩C|
+|A∩B∩C|
容斥原理(举例)
• 例1: 在1到10000之间既不是某个整数的平方,
也不是某个整数的立方的数有多少?
• 解: 设 E={x∈N|1≤x≤10000}, |E|=10000
A={x∈E|x=k2∧k∈Z}, |A|=100
B={x∈E|x=k3∧k∈Z}, |B|=21
则 |~(A∪B)|=|E|-|A∪B|
=|E|-(|A|+|B|-|A∩B|)
=10000-100-21+4=9883
注意 A∩B= {x∈E|x=k6∧k∈Z}, |A∩B|=4. #
容斥原理(举例、续)
• 例2: 在24名科技人员中,会说英,日,德,法语的人
数分别为13, 5, 10, 和9, 其中同时会说英语,德
语, 或同时会说英语,法语, 或同时会说德语,法
语两种语言的人数均为4.会说日语的人既不会
说法语也不会说德语. 试求只会说一种语言的
人数各为多少?又同时会说英,德,法语的人数有
多少?
• 解: 设E={x|x是24名科技人员之一}, |E|=24
A={x∈E|x会说英语}, B={x∈E|x会说日语},
C={x∈E|x会说德语} D={x∈E|x会说法语},
容斥原理(举例、续)
• 解(续): 设所求人数分别为x1,x2,x3,x4,x(如图),
X B X A={x∈E|x会说英语}, |A|=13
A 1 2 2
4-X 4-X B={x∈E|x会说日语}, |B|=5

X
C X 4-X DX
4 C={x∈E|x会说德语}, |C|=10
3
D={x∈E|x会说法语}, |D|=9
首先, x2=|B|-|A∩B|=5-2=3,
其次,对A,C,D用容斥原理, 注意|E|=24:
24-3=21=13+10+9-4-4-4+x=20+x, 得x=1,
最后, x1=|A|-|A∩B|-3-3-1=13-2-7=4, 同理
x3=10-3-3-1=3, x4=9-3-3-1=2. #
总结
• 集合概念: ∈, ∅, E, ⊆, ⊂,
• 集合运算: ∩, ∪, -, ⊕, ~, P( )
• 文氏图
• 容斥原理
习题(#1)
• p25, 习题一, 3, 7, 10, 16
第4讲集合恒等式
内容提要
• 1. 集合恒等式与对偶原理
• 2. 集合恒等式的证明
• 3. 集合列的极限
• 4. 集合论悖论与集合论公理
集合恒等式(关于∪与∩)
• 等幂律(idempotent laws)
A∪A=A
A∩A=A
• 交换律(commutative laws)
A∪B=B∪A
A∩B=B∩A
集合恒等式(关于∪与∩、续)
• 结合律(associative laws)
(A∪B)∪C=A∪(B∪C)
(A∩B)∩C=A∩(B∩C)
• 分配律(distributive laws)
A∪(B∩C)=(A∪B)∩(A∪C)
A∩(B∪C)=(A∩B)∪(A∩C)
集合恒等式(关于∪与∩ 、续)
• 吸收律(absorption laws)
A∪(A∩B)=A
A∩(A∪B)=A
集合恒等式(关于~)
• 双重否定律(double complement law)
~~A=A
• 德●摩根律(DeMorgan’s laws)
~(A∪B)=~A∩~B
~(A∩B)=~A∪~B
集合恒等式(关于∅与E)
A∪E=E
A∩∅=∅
A∪∅=A
A∩E=A
集合恒等式(关于∅,E)
A∪~A = E
A∩~A = ∅
• 全补律
~∅ = E
~E = ∅
集合恒等式(关于-)
• 补交转换律(difference as intersection)
A-B=A∩~B
集合恒等式(推广到集族)
• 分配律
B ∪ ( I{ Aα }α ∈S ) = I ( B ∪ Aα )
α ∈S
B ∩ ( U{ Aα }α ∈S ) = U ( B ∩ Aα )
α ∈S
• 德●摩根律
~ ( U{ Aα }α ∈S ) = I (~ Aα )
α ∈S
~ ( I{ Aα }α ∈S ) = U (~ Aα )
α ∈S
B − ( U{ Aα }α ∈S ) = I ( B − Aα )
α ∈S
B − ( I{ Aα }α ∈S ) = U ( B − Aα )
α ∈S
对偶(dual)原理
• 对偶式(dual): 一个集合关系式, 如果只含有
∩, ∪,~,∅, E,=, ⊆, 那么, 同时把∪与∩互换,
把∅与E互换, 把⊆与⊇互换, 得到的式子称
为原式的对偶式.
• 对偶原理: 对偶式同真假. 或者说, 集合恒
等式的对偶式还是恒等式.
对偶原理(举例)
• 分配律
A ∪ (B ∩ C) = (A ∪ B ) ∩ (A ∪ C )
A ∩ (B ∪ C) = (A ∩ B ) ∪ (A ∩ C )
• 排中律
A ∪ ~A=E
• 矛盾律
A ∩ ~A= ∅
• 零律
A ∪ E =E
A∩∅=∅
• 同一律
A ∪ ∅ =A
A ∩ E=A
• A∩B⊆A
A∪B⊇A
• ∅⊆A
E ⊇A
集合恒等式证明(方法)
• 逻辑演算法:
利用逻辑等值式和推理规则
• 集合演算法:
利用集合恒等式和已知结论
逻辑演算法(格式)
题目: A=B. 题目: A⊆B.
证明: ∀x, 证明: ∀x,
x∈A x∈A
⇔ … (????) ⇒ … (????)
⇔ x∈B ⇒ x∈B
∴ A=B. # ∴ A⊆B. #
分配律(证明)
• A∪(B∩C)=(A∪B)∩(A∪C)
证明: ∀x, x∈A∪(B∩C)
⇔ x∈A ∨ x∈(B∩C) (∪定义)
⇔ x∈A ∨ (x∈B ∧ x∈C) (∩定义)
⇔ (x∈A∨x∈B)∧(x∈A∨x∈C) (命题逻辑分配律)
⇔ (x∈A∪B)∧(x∈A∪C) (∪定义)
⇔ x∈(A∪B)∩(A∪C) (∩定义)
∴ A∪(B∩C)=(A∪B)∩(A∪C)
零律(证明)
• A∩∅ = ∅
证明: ∀x, x∈A∩∅
⇔ x∈A ∧ x∈∅ (∩定义)
⇔ x∈A ∧ 0 (∅定义)
⇔0 (命题逻辑零律)
∴ A∩∅ = ∅
排中律(证明)
• A∪~A = E
证明: ∀x, x∈A∪~A
⇔ x∈A ∨ x∈~A (∪定义)
⇔ x∈A ∨ x∉A (~定义)
⇔ x∈A ∨ ¬x∈A (∉定义)
⇔1 (命题逻辑排中律)
∴ A∪~A = E
集合演算法(格式)
证明: A 证明: A
=…(????) ⊆ …(????)
=B ⊆B
∴ A=B. # ∴ A⊆B. #
吸收律(证明)
• A∪(A∩B)=A A B
证明: A∪(A∩B)
= (A∩E)∪(A∩B) (同一律)
= A∩(E∪B) (分配律)
= A∩E (零律)
=A (同一律)
∴ A∪(A∩B)=A
吸收律(证明、续)
• A∩(A∪B) = A A B
证明: A∩(A∪B)
= (A∩A)∪(A∩B) (分配律)
= A∪(A∩B) (等幂律)
=A (吸收律第一式)
∴ A∩(A∪B) = A
集合演算法(格式,续)
证明: (⊆) … 证明: A∩B (或A∪B)
∴ A⊆B =…(????)
(⊇) … = A (或B)
∴ A⊆B. #
∴A⊇B
说明: 化⊆成=
∴ A = B. #
A∩B=A⇔A⊆B
说明: 分=成⊆与⊇ A∪B=B⇔A⊆B
集合恒等式证明(举例)
• 基本集合恒等式
• 对称差(⊕)的性质
• 集族({Aα}α∈S)的性质
• 幂集(P( ))的性质
补交转换律
• A-B = A∩~B
证明: ∀x,
x∈A-B
⇔ x∈A ∧ x∉B
⇔ x⊆A ∧ x∈~B
⇔ x⊆ A∩~B
∴A-B = A∩~B. #
德●摩根律的相对形式
• A-(B∪C)=(A-B)∩(A-C)
• A-(B∩C)=(A-B)∩(A-C)
证明: A-(B∪C)
= A∩~(B∪C) (补交转换律)
= A∩(~B∩~C) (德●摩根律)
= (A∩A)∩(~B∩~C) (等幂律)
= (A∩~B)∩(A∩~C) (交换律,结合律)
= (A-B)∩(B-A) (补交转换律). #
对称差的性质
1. 交换律: A⊕B=B⊕A
2. 结合律: A⊕(B⊕C)=(A⊕B)⊕C
3. 分配律: A∩(B⊕C)=(A⊕B)∩(A⊕C)
4. A⊕∅=A, A⊕E=~A
5. A⊕A=∅, A⊕~A=E
对称差的性质(证明2)
• 结合律: A⊕(B⊕C)=(A⊕B)⊕C
• 证明思路：分解成 A
“基本单位”, 例如:
B C
1. A∩~B∩~C
2. A∩ B∩~C A⊕B⊕C
3. A∩ B∩ C 4 1
2 3
4. ~A∩~B∩~C
对称差的性质(证明2、续1)
• 结合律: A⊕(B⊕C)=(A⊕B)⊕C
• 证明: 首先,
A⊕B = (A-B)∪(B-A) (⊕定义)
= (A∩~B)∪(B∩~A) (补交转换律)
= (A∩~B)∪(~A∩B) (∩交换律) (*)
A B
A⊕B
其次, A⊕(B⊕C)
= (A∩~(B⊕C))∪(~A∩(B⊕C)) (*)
= (A∩~((B∩~C)∪(~B∩C)))∪
(~A∩((B∩~C)∪(~B∩C))) (*)
= (A∩(~(B∩~C)∩~(~B∩C)))∪
(~A∩((B∩~C)∪(~B∩C))) (德•摩根律)
= (A∩(~(B∩~C)∩~(~B∩C)))∪
(~A∩((B∩~C)∪(~B∩C)))
= (A∩(~B∪C)∩(B∪~C)))∪
(~A∩((B∩~C)∪(~B∩C))) (德•摩根律)
= (A∩B∩C)∪(A∩~B∩~C)
(~A∩B∩~C)∪(~A∩~B∩C) (分配律…)
同理, (A⊕B)⊕C
= (A⊕B)∩~C)∪(~(A⊕B)∩C) (*)
= (((A∩~B)∪(~A∩B))∩~C)∪
(~((A∩~B)∪(~A∩B))∩C) (*)
= (((A∩~B)∪(~A∩B))∩~C)∪
((~(A∩~B)∩~(~A∩B))∩C) (德•摩根律)
= (((A∩~B)∪(~A∩B))∩~C)∪
((~(A∩~B)∩~(~A∩B))∩C)
= (((A∩~B)∪(~A∩B))∩~C)∪
((~A∪B)∩(A∪~B))∩C) (德•摩根律)
= (A∩~B∩~C)∪(~A∩B∩~C)∪
(~A∩~B∩C)∪(A∩B∩C) (分配律…)
∴ A⊕(B⊕C)=(A⊕B)⊕C. #
对称差的性质(讨论)
• 有些作者用△表示对称差: A⊕B=A△B
• 消去律: A⊕B=A⊕C ⇔ B=C (习题一,23)
A=B⊕C ⇔ B=A⊕C⇔ C=A⊕B
• 对称差与补: ~(A⊕B) = ~A⊕B = A⊕~B
A⊕B = ~A⊕~B
• 问题: A⊕B⊕C=~A⊕~B⊕~C ?
对称差的性质(讨论、续)
• 如何把对称差推广到n个集合:
A1⊕A2⊕A3⊕…⊕An = ?
• ∀x, x∈A1⊕A2⊕A3⊕…⊕An
⇔ x恰好属于A1,A2,A3,…,An中的奇数个
• 特征函数表达: χA1⊕A2⊕…⊕An(x)
= χA1(x)+χA2(x)+…+χAn(x) (mod 2)
= χA1(x)⊕χA2(x)⊕…⊕χAn(x)
((mod 2),⊕,都表示模2加法,即相加除以2取余数)
特征函数与集合运算:
• χA∩B(x) = χA(x)•χB(x)
• χ~A(x) = 1-χA(x)
• χA-B(x) = χA∩~B(x)=χA(x)•(1-χB(x))
• χA∪B(x) = χ(A-B)∪B(x)
= χA(x)+χB(x)-χA(x)•χB(x) A B
• χA⊕B(x) = χA(x)+χB(x) (mod 2)

= χA(x)⊕χB(x)
对称差的性质(讨论、续)
• 问题: A⊕B⊕C = ~A⊕~B⊕~C ?
答案: A⊕B⊕C = ~(~A⊕~B⊕~C)
= ~(A⊕B⊕~C) = A⊕~B⊕~C
• A⊕B⊕C⊕D = ~A⊕~B⊕~C⊕~D
= A⊕~B⊕C⊕~D = ~(~A⊕~B⊕C⊕~D)
=…
• A = ~(~A)
对称差的性质(证明3)
• 分配律: A∩(B⊕C)=(A∩B)⊕(A∩C)
• 证明 A
B C
A∩(B⊕C) A∩(B⊕C)
= A∩((B∩~C)∪(~B∩C))
= (A∩B∩~C)∪ (A∩~B∩C)
对称差分配律(证明3、续)
(续) (A∩B)⊕(A∩C)
= ((A∩B)∩~(A∩C))∪(~(A∩B)∩(A∩C))
=((A∩B)∩(~A∪~C))∪((~A∪~B)∩(A∩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∪B)⊕(A∪C) ?
• A⊕(B∩C)=(A⊕B)∩(A⊕C) ?
• A⊕(B∪C)=(A⊕B)∪(A⊕C) ?
集族的性质
设A,B为集族, 则
• 1. A⊆B ⇒ ∪A ⊆∪B
• 2. A∈B ⇒ A ⊆∪B
• 3. A≠∅ ∧ A⊆B ⇒ ∩B ⊆ ∩A
• 4. A∈B ⇒ ∩B ⊆ A
• 5. A≠∅ ⇒ ∩A ⊆ ∪A
集族的性质(证明1)
• A⊆B ⇒ ∪A ⊆∪B
证明: ∀x,
x∈∪A
⇔ ∃A(A∈A ∧ x∈A) (∪A定义)
⇒ ∃A(A∈B ∧ x∈A) (A⊆B)
⇔ x∈∪B (∪B定义)
∴ ∪A ⊆∪B. #
• A∈B ⇒ A ⊆∪B
证明: ∀x,
x∈A
⇒ A∈B ∧ x∈A (A∈B, 合取)
⇒ ∃A(A∈B ∧ x∈A) (EG)
⇔ x∈∪B
∴ A ⊆∪B. #
• A≠∅ ∧ A⊆B ⇒ ∩B ⊆ ∩A
说明: 若约定∩∅=E, 则A≠∅的条件可去掉.
证明: ∀x,
x∈∩B ⇔ ∀y( y∈B → x∈y )
⇒ ∀y( y∈A → x∈y ) (A⊆B)
⇔ x∈∩A
∴ ∩B ⊆∩A . #
• A∈B ⇒ ∩B ⊆ A
证明: ∀x,
x∈∩B ⇔ ∀y( y∈B → x∈y )
⇒ A∈B → x∈ A (UI)
⇒ x∈A (A∈B)
∴ ∩B ⊆A . #
• A≠∅ ⇒ ∩A ⊆ ∪A
说明: A≠∅的条件不可去掉!
证明: A≠∅ ⇒ ∃y(y∈A), 设 A∈A.
∀x, x∈∩A ⇔ ∀y( y∈A → x∈y )
⇒ A∈A → x∈A ⇒ x∈A (A∈A)
⇒ A∈A ∧ x∈A ⇒ ∃y( y∈A ∧ x∈y)
⇔ x∈ ∪A
∴ ∩A ⊆ ∪A . #
幂集的性质
1. A⊆B ⇔ P(A)⊆P(B)
2. P(A)∪P(B) ⊆ P(A∪B)
3. P(A)∩P(B) = P(A∩B)
4. P(A-B) ⊆ (P(A)-P(B))∪{∅}
幂集的性质(证明1)
• A⊆B ⇔ P(A)⊆P(B)
证明: (⇒) ∀x,
x∈P(A)
⇔ x⊆A
⇒ x⊆B (A⊆B)
⇔ x∈P(B)
∴ P(A)⊆P(B)
幂集的性质(证明1、续)
• A⊆B ⇔ P(A)⊆P(B)
证明(续): (⇐) ∀x,
x∈A
⇔ {x}∈P(A)
⇒ {x}∈P(B) (P(A)⊆P(B))
⇔ x∈B
∴ A⊆B. #
• P(A)∪P(B) ⊆ P(A∪B)
证明: ∀x,
x∈P(A)∪P(B)
⇔ x∈P(A)∨x∈P(B)
⇔ x⊆A∨x⊆B
⇒ x⊆A∪B
⇔ x∈P(A∪B)
∴ P(A)∪P(B) ⊆ P(A∪B)
幂集的性质(证明2、续)
• P(A)∪P(B) ⊆ P(A∪B)
讨论: 给出反例, 说明等号不成立:
A={1}, B={2}, A∪B={1,2},
P(A)={∅,{1}}, P(B)={∅,{2}},
P(A∪B)= {∅,{1},{2},{1,2}}
P(A)∪P(B) ⊆ {∅,{1},{2}}
此时, P(A)∪P(B) ⊂ P(A∪B). #
• P(A)∩P(B) = P(A∩B)
证明: ∀x,
x∈P(A)∩P(B)
⇔ x∈P(A) ∧ x∈P(B)
⇔ x⊆A ∧ x⊆B
⇔ x⊆ A∩B
⇔ x∈P(A∩B)
∴ P(A)∩P(B) = P(A∩B). #
幂集的性质(证明4)A B
• P(A-B) ⊆ (P(A)-P(B))∪{∅}
证明: ∀x, 分两种情况, (1) x=∅, 这时
x∈P(A-B) 并且 x∈(P(A)-P(B))∪{∅}
(2) x≠∅, 这时
x∈P(A-B) ⇔ x⊆ A-B ⇒ x⊆A∧x⊄B
⇔ x∈P(A)∧x∉P(B) ⇔ x∈P(A)-P(B)
∴ P(A-B) ⊆ (P(A)-P(B))∪{∅}. #
集合运算的优先级
• 分三级: 第一级最高, 依次降低
• 第一级: 补~, 幂P()
• 第二级: 广义并∪, 广义交∩
• 第三级: 并∪, 交∩, 相对补-, 对称差⊕
• 同一级: 用括号表示先后顺序
集合列的极限
集合列的极限
• Infinite often( i.o.):
• Almost everywhere(a.e.)
集合列的极限
• 上极限:
lim A k = { x | x ∈ A k i.o .}
k→∞
• 下极限:
lim A k = { x | x ∈ A k a .e.}
k→∞
集合列的极限
• 性质:
∞ ∞
lim A k = IU A k
k→∞
n =1 k = n
∞ ∞
lim A k = UI A k
k→∞ n =1 k = n
集合论悖论
• 罗素悖论(Russell’s paradox)：
S = { x | x∉x }
S∈S ?
S∈S ⇒ S∉S
S∉S ⇒ S∈S
集合论公理
• 外延公理: 所含元素相同的两个集合是相
等的
• 空集存在公理: 空集合存在
• 无序对公理: 对任意的a,b, {a,b}存在
• 并集公理: 对任意的A, ∪A存在
• 幂集公理: 对任意的A, P(A)存在
• 联集公理:
集合论公理(续)
• 子集公理: { x∈A | P(x) }存在
• 正则公理: 若S≠∅,则
∃x(x∈S∧∀y(y∈S→x∉y))
• 无穷公理: 无穷集存在
• 替换公理: { f(a) | a∈A }存在
( f是定义域为A的函数)
集合论公理(续)
• 选择公理(Zorn引理, 良序原理): A是元素互
不相交的集合,则可以从A的每个元素中恰好
选择一个元素, 构成一个集合
总结
• 集合恒等式
• 集合恒等式的证明
• 集合论悖论
作业(#2)
• p27, 习题一, 11, 13, 14, 20
• 今天1班交作业(#1)
第5讲二元关系的基本概念
内容提要
• 1. 有序对与卡氏积
• 2. 二元关系
• 3. 二元关系的基本运算
有序对与卡氏积
• 有序对(有序二元组)
• 有序三元组, 有序n元组
• 卡氏积
• 卡氏积性质
有序对(ordered pair)
• 有序对:
<a,b> = { {a}, {a,b} }
其中, a是第一元素, b是第二元素.
• <a,b>也记作(a,b)
• 定理1: <a,b>=<c,d> ⇔ a=c∧b=d
• 推论: a≠b ⇒ <a,b>≠<b,a>
有序对(引理1)
• 引理1: {x,a}={x,b} ⇔ a=b
证明: (⇐) 显然.
(⇒) 分两种情况.
(1) x=a. {x,a}={x,b} ⇒ {a,a}={a,b}
⇒ {a}={a,b} ⇒ a=b.
(2) x≠a. a∈{x,a}={x,b} ⇒ a=b. #
有序对(引理2)
• 引理2: 若A=B ≠∅, 则
(1) ∪A=∪B
(2) ∩A=∩B
证明: (1) ∀x, x∈∪A ⇔ ∃z(z∈A ∧ x∈z)
⇔ ∃z(z∈B ∧ x∈z) ⇔ x∈∪B.
(2) ∀x, x∈∩A ⇔ ∀z( z∈A → x∈z )
⇔ ∀z( z∈B → x∈z ) ⇔ x∈∩B. #
有序对(定理1)
• 定理1: <a,b>=<c,d> ⇔ a=c∧b=d
证明: (⇐) 显然.
(⇒) 由引理2,
<a,b>=<c,d> ⇔ {{a},{a,b}}={{c},{c,d}}
⇒∪{{a},{a,b}}=∪{{c},{c,d}}⇒{a,b}={c,d}.
又 {{a},{a,b}}={{c},{c,d}}
⇒∩{{a},{a,b}}=∩{{c},{c,d}} ⇒ {a}={c} ⇔ a=c.
再由引理1, 得b=d. #
有序对(推论)
• 推论: a≠b ⇒ <a,b>≠<b,a>
证明: (反证) <a,b>=<b,a>⇔a=b,
与a≠b矛盾. #
有序三元组(ordered triple)
• 有序三元组:
<a,b,c>=<<a,b>,c>
• 有序n(≥2)元组:
<a1,a2,…,an>=<<a1,a2,…,an-1>,an>
• 定理2: <a1,a2,…,an>= <b1,b2,…,bn>
⇔ ai = bi, i =1,2,…,n. #
卡氏积(Cartesian product)
• 卡氏积:
A×B={<x,y>|x∈A∧y∈B}.
• 例: A={∅,a}, B={1,2,3}.
A×B={<∅,1>,<∅,2>,<∅,3>,<a,1>,<a,2>,<a,3>}.
B×A={<1,∅>,<1,a>,<2,∅>,<2,a>,<3,∅>,<3,a>}.
A×A={ <∅,∅>, <∅,a>, <a,∅>, <a,a>}.
B×B={ <1,1>,<1,2>,<1,3>,<2,1>,<2,2>,<2,3>,
<3,1>,<3,2>,<3,3> }. #
卡氏积的性质
• 非交换: 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=∅ ⇔ A=∅∨B=∅等
卡氏积非交换性
• 非交换: A×B ≠ B×A
(除非 A=B ∨ A=∅ ∨ B=∅)
• 反例: A={1}, B={2}.
A×B={<1,2>},
B×A={<2,1>}.
卡氏积非结合性
• 非结合: (A×B)×C ≠ A×(B×C)
(除非 A=∅ ∨ B=∅ ∨ C=∅)
• 反例: A=B=C={1}.
(A×B)×C={<<1,1>,1>},
A×(B×C)={<1,<1,1>>}.
卡氏积分配律
• 1. A×(B∪C) = (A×B)∪(A×C)
• 2. A×(B∩C) = (A×B)∩(A×C)
• 3. (B∪C)×A = (B×A)∪(C×A)
• 4. (B∩C)×A = (B×A)∩(C×A)
卡氏积分配律(证明1)
• A×(B∪C) = (A×B)∪(A×C).
证明: ∀<x,y>, <x,y>∈A×(B∪C)
⇔ x∈A∧y∈(B∪C) ⇔ x∈A∧(y∈B∨y∈C)
⇔ (x∈A∧y∈B)∨(x∈A∧y∈C)
⇔(<x,y>∈A×B)∨(<x,y>∈A×C)
⇔x∈(A×B)∪(A×C)
∴ A×(B∪C) = (A×B)∪(A×C). #
例题1
• 例题1: 设A,B,C,D是任意集合,
(1) A×B=∅ ⇔ A=∅ ∨ B=∅
(2) 若A≠∅, 则 A×B⊆A×C ⇔ B⊆C.
(3) A⊆C ∧ B⊆D ⇒ A×B⊆C×D,
并且当(A=B=∅)∨(A≠∅∧B≠∅)时,
A×B⊆C×D ⇒ A⊆C∧B⊆D.
卡氏积图示
A A C
B C B
A×(B∪C) = (A×B)∪(A×C) A⊆C∧B⊆D⇒A×B⊆C×D
例题1(证明(2))
(2) 若A≠∅, 则A×B⊆A×C ⇔ B⊆C.
证明: (⇒) 若 B=∅, 则 B⊆C.
设 B≠∅, 由A≠∅, 设x∈A.
∀y, y∈B⇒<x,y>∈A×B
⇒<x,y>∈A×C
⇔ x∈A∧y∈C ⇒y∈C.
∴B⊆C
例题1(证明(2),续)
(2) 若A≠∅, 则A×B⊆A×C⇔B⊆C.
证明(续): (⇐)若B=∅,则A×B=∅⊆A×C.
设 B≠∅.
∀<x,y>, <x,y>∈A×B ⇔ x∈A∧y∈B
⇒ x∈A∧y∈C ⇔ <x,y>∈A×C
∴ A×B⊆A×C. #
讨论: 在(⇐)中不需要条件 A≠∅.
n维卡氏积
• n维卡氏积:
A1×A2×…×An = { <x1,x2,…,xn> |
x1∈A1∧x2∈A2∧…∧xn∈An }
• An = A×A×…×A
• |Ai|=ni ,i =1,2,…,n ⇒
|A1×A2×…×An| = n1×n2×…×nn.
• n维卡氏积性质与2维卡氏积类似.
n维卡氏积(性质)
• 非交换: A×B×C≠B×C×A
(要求A,B,C均非空,且互不相等)
• 非结合: (非2元运算)
• 分配律: 例如
A×B×(C∪D)=(A×B×C)∪(A×B×D)
• 其他: 如 A×B×C=∅⇔A=∅∨B=∅∨C=∅.
二元关系
• n元关系
• 二元关系
• A到B的二元关系
• A上的二元关系
• 一些特殊关系
n元关系(n-ary relation)
• n元关系: 是集合, 其元素全是有序n元组.
• 例1: F1={<a,b,c,d>,<1,2,3,4>,
<物理,化学,生物,数学>},
F1是4元关系.
• 例2: F2={<a,b,c>,<α,β,γ>,
<大李,小李,老李>}
F2是3元关系. #
二元关系(binary relation)
• 2元关系(简称关系): 是集合,其元素全是有序对.
• 例3: R1={<1,2>,<α,β>,<a,b>}
R1是2元关系.
• 例4: R2={<1,2>,<3,4>,<白菜,小猫>}
R2是2元关系.
• 例5: A={<a,b>,<1,2,3>,a,α,1}
A不是关系. #
二元关系的记号
• 设F是二元关系, 则
<x,y>∈F ⇔ x与y具有F关系 ⇔ xFy
• 对比: xFy (中缀(infix)记号)
F(x,y) (前缀(prefix)记号)
<x,y>∈F (后缀(suffix)记号)
• 例如: 2<15 ⇔ <(2,15) ⇔ <2,15>∈<.
A到B的二元关系
• A到B的二元关系: 是A×B的任意子集.
R是A到B的二元关系
⇔ R⊆A×B ⇔ R∈P(A×B)
• 若|A|=m,|B|=n, 则|A×B|=mn, 故
|P(A×B)|=2mn
即A到B不同的二元关系共有2mn个
2
2m
A到B的二元关系(举例)
• 例: 设 A={a1,a2}, B={b},
则A到B的二元关系共有4个:
R1=∅, R2={<a1,b>},
R3={<a2,b>}, R4={<a1,b>,<a2,b>}.
B到A的二元关系也有4个:
R5=∅, R6={<b,a1>},
R7={<b,a2>}, R8={<b,a1>,<b,a2>}. #
2
2m
A上的二元关系
• A上的二元关系: 是A×A的任意子集
R是A上的二元关系
⇔ R⊆A×A ⇔ R∈P(A×A)
• 若|A|=m, 则|A×A|=m2, 故
2
|P(A×A)|= 2 m
2
即A上不同的二元关系共有个 2 m
2
2m
A上的二元关系(例1)
• 例1: 设 A={a1,a2},
则A上的二元关系共有16个:
R1 = ∅,
R2 = {<a1,a1>},
R3 = {<a1,a2>},
R4 = {<a2,a1>},
R5 = {<a2,a2>},
2m
2
A上的二元关系(例1,续1)
R6 = { <a1,a1>, <a1,a2> },
R7 = { <a1,a1>, <a2,a1> },
R8 = { <a1,a1>, <a2,a2> },
R9 = { <a1,a2>, <a2,a1> },
R10 = { <a1,a2>, <a2,a2> },
R11 = { <a2,a1>, <a2,a2> },
2
2m
A上的二元关系(例1,续2)
R12 = { <a1,a1>,<a1,a2>,<a2,a1> }
R13 = { <a1,a1>,<a1,a2>, <a2,a2> }
R14 = { <a1,a1>, <a2,a1>,<a2,a2> }
R15 = { <a2,a1>,<a2,a1>,<a2,a2> }
R16 = {<a1,a1>,<a1,a2>,<a2,a1>,<a2,a2>}. #
2
2m
A上的二元关系(例2)
• 例2: 设 B={b},
则B上的二元关系共有2个:
R1=∅, R2={<b,b>}. #
• 例3: 设 C={a,b,c},
则C上的2元关系共有29=512个! #
2
2m
一些特殊关系
• 空关系
• 恒等关系
• 全域关系
• 整除关系
• 小于等于关系,…
• 包含关系,
• 真包含关系
特殊关系
设A是任意集合, 则可以定义A上的:
• 空关系:
∅
• 恒等关系:
IA = { <x,x> | x∈A }
• 全域关系:
EA = A×A = { <x,y> | x∈A ∧ y∈A}
特殊关系(续)
设A⊆Z, 则可以定义A上的:
• 整除关系:
DA = { <x,y> | x∈A ∧ y∈A ∧ x|y }
• 例: A={1,2,3,4,5,6}, 则 DA=
{<1,1>,<1,2>,<1,3>,<1,4>,<1,5>,<1,6>,
<2,2>,<2,4>,<2,6>,<3,3>,<3,6>,<6,6>}. #
特殊关系(续)
设A⊆R, 则可以定义A上的:
• 小于等于(less than or equal to)关系:
LEA = { <x,y> | x∈A ∧ y∈A ∧ x≤y }
• 小于(less than)关系,
LA = { <x,y> | x∈A ∧ y∈A ∧ x<y }
• 大于等于(greater than or equal to)关系
• 大于(great than)关系,…
特殊关系(续)
设A为任意集合, 则可以定义P(A)上的:
• 包含关系:
⊆A = { <x,y> | x⊆A ∧ y⊆A ∧ x⊆y }
• 真包含关系:
⊂A = { <x,y> | x⊆A ∧ y⊆A ∧ x⊂y }
与二元关系有关的概念
• 定义域, 值域, 域
• 逆, 合成(复合)
• 限制, 象
• 单根, 单值
定义域,值域,域
对任意集合R, 可以定义:
• 定义域(domain) :
dom R = { x | ∃y(xRy) }
• 值域(range):
ran R = { y | ∃x(xRy) }
• 域(field):
fld R = dom R ∪ ran R
定义域,值域,域图示
dom R ran R
A B
定义域,值域,域(举例)
• 例: R1={a,b}, R2={a,b,<c,d>,<e,f>},
R3={<1,2>,<3,4>,<5,6>}.
当a,b不是有序对时, R1和R2不是关系.
dom R1=∅, ran R1=∅, fld R1=∅
dom R2={c,e}, ran R2={d,f}, fld R2={c,d,e,f}
dom R3={1,3,5}, ran R3={2,4,6},
fld R3={1,2,3,4,5,6}. #
逆, 合成(复合)
对任意集合F,G, 可以定义:
• 逆(inverse) :
F-1 = { <x,y> | yFx }
• 合成(复合)(composite):
F○G = { <x,y> | ∃z( xGz ∧ zFy ) }
x z F y
G
关于合成
• 顺序合成(右合成):
F○G = { <x,y> | ∃z( xFz ∧ zGy ) }
• 逆序合成(左合成):
F○G = { <x,y> | ∃z( xGz ∧ zFy ) }
限制,象
对任意集合F,A, 可以定义:
• 限制(restriction):
F↑A = { <x,y> | xFy ∧ x∈A }
• 象(image):
F[A] = ran(F↑A)
F[A] = { y | ∃x(x∈A ∧ xRy) }
单根,单值
对任意集合F, 可以定义:
• 单根(single rooted): F是单根的⇔
∀y( y∈ran F → ∃!x( x∈dom F ∧ xFy ) )
⇔ (∀y∈ran F)(∃!x∈dom F)(xFy)
• 单值(single valued): F是单值的⇔
∀x( x∈dom F → ∃!y( y∈ran F ∧ xFy ) )
⇔ (∀x∈dom F)(∃!x∈ran F)(xFy)
例题2
• 例1: 设 A={a,b,c,d}, B={a,b,<c,d>},
R={ <a,b>, <c,d> },
F={ <a,b>, <a,{a}>, <{a},{a,{a}}> },
G={ <b,e>,<d,c> }.
求: (1) A-1, B-1,R-1.
(2) B○R-1, G○B, G○R, R○G.
(3) F↑{a}, F↑{{a}}, F↑{a,{a}}, F-1↑{{a}}.
(4) F[{a}], F[{a,{a}}], F-1[{a}], F-1[{{a}}].
例题2(解(1))
• 已知: A={a,b,c,d}, B={a,b,<c,d>},
R={ <a,b>, <c,d> },
求: (1) A-1, B-1,R-1.
解: (1) A-1 = ∅,
B-1 = {<d,c>},
R-1 = {<b,a>,<d,c>}.
例题2(解(2))
• 已知: B={a,b,<c,d>}, R={ <a,b>, <c,d> },
G={ <b,e>,<d,c> }.
求: (2) B○R-1, G○B, G○R, R○G.
解: (2) B○R-1={d,d},
G○B={<c,c>},
G○R={<a,e>,<c,c>},
R○G={<d,d>}.
例题2(解(3))
• 已知: F={ <a,b>, <a,{a}>, <{a},{a,{a}}> },
求: (3) F↑{a}, F↑{{a}}, F↑{a,{a}}, F-1↑{{a}}.
解: (3) F↑{a} = { <a,b>, <a,{a}> },
F↑{{a}} = { <{a},{a,{a}}> },
F↑{a,{a}} = F,
F-1↑{{a}}={ <{a},a> }.
例题2(解(4))
• 已知: F={ <a,b>, <a,{a}>, <{a},{a,{a}}> },
求: (4) F[{a}], F[{a,{a}}], F-1[{a}], F-1[{{a}}].
解: (4) F[{a}] = { b, {a} },
F[{a,{a}}] = { b, {a}, {a,{a}} },
F-1[{a}] = ∅,
F-1[{{a}}] = { a }. #
例题3
• 设 R={ <x,y> | x,y∈Z ∧ y=|x| },
A={ 0, 1, 2}, B={ 0, -1, -2 }
求: (1) R[A∩B] 和 R[A]∩R[B];
(2) R[A]-R[B] 和 R[A-B].
解: (1) R[A∩B]=R[{0}]={0},
R[A]∩R[B]={0,1,2}∩{0,1,2}={0,1,2};
(2) R[A]-R[B]={0,1,2}-{0,1,2}= ∅,
R[A-B]=R[{0}]={0}. #
定理3
• 定理1: 设F,G是任意集合, 则
(1) dom(F∪G) = domF ∪ domG
(2) ran(F∪G) = ranF ∪ ranG
(3) dom(F∩G) ⊆ domF ∩ domG
(4) ran(F∩G) ⊆ ranF ∩ ranG
(5) domF-domG ⊆ dom(F-G)
(6) ran F-ranG ⊆ ran(F-G)
定理3(证明(1))
• (1) dom(F∪G) = domF ∪ domG
证明: (1) ∀x,
x∈dom(F∪G) ⇔ ∃y( x(F∪G)y )
⇔ ∃y(xFy ∨ xGy) ⇔ ∃y(xFy)∨∃y(xGy)
⇔ x∈domF ∨ x∈domG
⇔ x∈ domF ∪ domG
∴ dom(F∪G) = domF ∪ domG.
定理3(证明(4))
• (4) ran(F∩G) ⊆ ranF ∩ ranG
证明: (4) ∀x,
x∈ran(F∩G) ⇔ ∃y( y(F∩G)x )
⇔ ∃y(yFx ∧ yGx) ⇔ ∃y(yFx) ∧ ∃y(yGx)
⇒ x∈ranF ∧ x∈ranG
⇔ x∈ ranF ∩ ranG
∴ ran(F ∩ G) ⊆ ranF ∩ ranG.
定理3(证明(5))
• (5) domF-domG ⊆ dom(F-G)
证明: (5) ∀x,
x∈domF-domG ⇔ x∈domF ∧ x∉domG
⇔ ∃y(xFy)∧¬∃y(xGy) ⇔ ∃y(xFy)∧∀y(xGy)
⇒ ∃y( x(F-G)y ) ⇔ x∈ dom(F-G)
∴ domF-domG ⊆ dom(F-G). #
定理4
• 定理2: 设F是任意集合, 则
(1) domF-1 = ranF;
(2) ranF-1 = domF;
(3) (F-1)-1 ⊆ F, 当F是关系时, 等号成立.
定理4(证明(1))
• (1) domF-1 = ranF;
证明: (1) ∀x,
x∈domF-1⇔ ∃y(xF-1 y)
⇔ ∃y(yFx) ⇔ x∈ranF
∴ domF-1 = ranF.
• (2)可类似证明.
定理4(证明(3))
• (3) (F-1)-1 ⊆ F, 当F是关系时, 等号成立.
证明: (1) 设F是关系, 则 ∀<x,y>,
<x,y>∈(F-1)-1 ⇔ x(F-1)-1y ⇔ yF-1x ⇔ xFy.
这时 (F-1)-1 = F. 当F不是关系时,
(F-1)-1⊂F, 例如, 设 F={<a,b>,a}, 则
F-1={<b,a>}, (F-1)-1 ={<a,b>} ⊂ F
∴ (F-1)-1 ⊆ F. #
定理5
• 定理5: 设R1,R2,R3为集合, 则
(R1○R2)○R3 = R1○(R2○R3)
证明: ∀<x,y>, <x,y>∈(R1○R2)○R3
⇔ ∃z( xR3z ∧ z(R1○R2)y )
⇔ ∃z( xR3z ∧ ∃t( zR2t ∧ tR1y ) )
⇔ ∃z∃t( xR3z ∧ ( zR2t ∧ tR1y ) )
⇔ ∃t∃z( xR3z ∧ zR2t ∧ tR1y )
定理5(续)
证明(续): ⇔ ∃t∃z( xR3z ∧ zR2t ∧ tR1y )
⇔ ∃t( ∃z( xR3z ∧ zR2t) ∧ tR1y )
⇔ ∃t( x(R2○R3)t ∧ tR1y )
⇔ xR1○(R2○R3)t ⇔ <x,y>∈R1○(R2○R3)
∴ (R1○R2)○R3 = R1○(R2○R3). #
说明: 定理5说明合成运算具有结合律.
x R3 z R2 t R1 y
总结
• 1. 有序对与卡氏积:
<a,b>, A×B
• 2. 二元关系:
R⊆A×B, R⊆A×A; ∅, IA, EA; xRy
• 3. 二元关系的基本运算:
dom(R), ran(R), fld(R);
R↑A, R[A]; R-1, R○S
作业(#3)
• p80, 习题二, 6, 7, 11, 12
第6讲关系表示与关系性质
内容提要
• 关系矩阵
• 关系图
• 自反, 反自反,
• 对称, 反对称,
• 传递
关系基本运算的性质(续)
• 定理6: 设R1,R2,R3是集合,则
(1) R1○(R2∪R3) = (R1○R2)∪(R1○R3)
(2) (R1∪R2)○R3 = (R1○R3)∪(R2○R3)
(3) R1○(R2∩R3) ⊆ (R1○R2)∩(R1○R3)
(4) (R1∩R2)○R3 ⊆ (R1○R3)∩(R2○R3)
定理6(证明(1))
• (1) R1○(R2∪R3) = (R1○R2)∪(R1○R3)
• 证明: ∀<x,y>,
<x,y>∈R1○(R2∪R3)
⇔∃z(x(R2∪R3)z∧zR1y)⇔∃z((xR2z∨xR3z)∧zR1y)
⇔∃z((xR2z∧zR1y)∨(xR3z∧zR1y))
⇔∃z(xR2z∧zR1y)∨∃z(xR3z∧zR1y)
⇔x(R1○R2)y∨x(R1○R3)y⇔x((R1○R2)∪(R1○R3))y
⇔<x,y>∈(R1○R2)∪(R1○R3)
定理6(证明(3))
• (3) R1○(R2∩R3) ⊆ (R1○R2)∩(R1○R3)
• 证明: ∀<x,y>,
<x,y>∈R1○(R2∩R3)
⇔∃z(x(R2∩R3)z∧zR1y)⇔∃z((xR2z∧xR3z)∧zR1y)
⇔∃z((xR2z∧zR1y)∧(xR3z∧zR1y))
⇒∃z(xR2z∧zR1y)∧∃z(xR3z∧zR1y)
⇔x(R1○R2)y∧x(R1○R3)y⇔x((R1○R2)∩(R1○R3))y
⇔<x,y>∈(R1○R2)∩(R1○R3). #
定理6(讨论(3))
• (3) R1○(R2∩R3) ⊆ (R1○R2)∩(R1○R3)
• 反例(说明=不成立): b
设 R1={<b,d>,<c,d>}, a d
R2={<a,b>}, R3={<a,c>}. c
则R1○(R2∩R3) = R1○∅ = ∅,
R1○R2={<a,d>}, R1○R3={<a,d>},
(R1○R2)∩(R1○R3)={<a,d>}. #
定理7
• 定理7: 设F,G为二集合, 则
(F○G)-1 = G-1○F-1.
定理7(证明)
• (F○G)-1 = G-1○F-1
• 证明: ∀<x,y>,
-1 z
<x,y>∈(F○G)
⇔ <y,x>∈(F○G) y x
⇔ ∃z(yGz∧zFx)⇔∃z(zG-1y∧xF-1z)
⇔ ∃z((xF-1z∧zG-1y)
⇔ <x,y>∈G-1○F-1. #
定理8
• 定理8: 设R,S,A,B,A,为集合,A≠∅,则
(1) R↑(A∪B) = (R↑A)∪(R↑B);
(2) R↑∪A = ∪{ R↑A | A∈A};
(3) R↑(A∩B) = (R↑A)∩(R↑B);
(4) R↑∩A = ∩{ R↑A | A∈A};
(5) (R○S)↑A = R○(S↑A).
定理8(证明(2))
• (2) R↑∪A = ∪{ R↑A | A∈A};
• 证明: ∀<x,y>, x(R↑∪A)y ⇔ xRy∧x∈∪A
⇔ xRy ∧ ∃A( A∈A ∧ x∈A )
⇔ ∃A( xRy ∧x∈A ∧A∈A )
⇔ ∃A( x(R↑A)y ∧ A∈A )
⇔ x(∪{ R↑A | A∈A} )y.
∴ R↑∪A = ∪{ R↑A | A∈A}
定理8(证明(4))
• (4) R↑∩A = ∩{ R↑A | A∈A}; (A≠∅)
• 证明:∀<x,y>, x(R↑∩A)y ⇔ xRy∧x∈∩A
⇔(0∨xRy)∧x∈∩A ⇔(∀A(¬A∈A)∨xRy)∧x∈∩A
⇔∀A(¬A∈A∨xRy)∧∀A(A∈A→x∈A)
⇔∀A((¬A∈A∨xRy)∧(¬A∈A∨x∈A))
⇔∀A(¬A∈A∨(xRy)∧ x∈A))⇔∀A(¬A∈A)∨x(R↑A)y)
⇔∀A(A∈A→x(R↑A)y)⇔ x(∩{ R↑A | A∈A} )y.
∴ R↑∩A = ∩{ R↑A | A∈A}
定理8(证明(5))
• (5) (R○S)↑A = R○(S↑A)
• 证明: ∀<x,y>, x((R○S)↑A)y
⇔ x(R○S)y ∧ x∈A ⇔ ∃z(xSz∧zRy ) ∧ x∈A
⇔ ∃z(xSz∧zRy ∧ x∈A)
⇔ ∃z((xSz∧x∈A) ∧ zRy )
⇔ ∃z( x(S↑A)z ∧ zRy ) ⇔ x(R○(S↑A))y.
∴ R↑∪A = ∪{ R↑A | A∈A}. #
定理9
• 定理9: 设R,S,A,B,A,为集合,A≠∅,则
(1) R[A∪B] = R[A]∪R[B];
(2) R[∪A] = ∪{ R[A] | A∈A };
(3) R[A∩B] ⊆ R[A]∩R[B];
(4) R[∩A] ⊆ ∩{ R[A] | A∈A};
(5) R[A]-R[B] ⊆ R[A-B];
(6) (R○S)[A] = R[S[A]].
定理9(证明(2))
• (2) R[∪A] = ∪{ R[A] | A∈A };
• 证明: ∀y, y∈R[∪A] ⇔ ∃x(xRy∧x∈∪A)
⇔ ∃x( xRy ∧ ∃A( A∈A ∧ x∈A)
⇔ ∃A( A∈A ∧ ∃x( xRy ∧ x∈A ) )
⇔ ∃A(A∈A∧y∈R[A])
⇔ y∈∪{ R[A] | A∈A }.
∴ R↑∪A = ∪{ R↑A | A∈A}.
定理9(证明(4))
• (4) R[∩A] ⊆ ∩{ R[A] | A∈A};
• 证明: ∀y, y∈R[∩A] ⇔ ∃x(xRy∧x∈∩A)
⇔∃x(xRy∧∀A(A∈A→x∈A))
⇔∃x∀A(xRy∧(A∈A→x∈A))
⇒∀A∃x(xRy∧(A∈A→x∈A)) (*)
⇒∀A∃x(A∈A→(xRy∧x∈A)) (**)
⇔∀A(A∈A→∃x(xRy∧x∈A))⇔∀A(A∈A→x∈R[A])
⇔y∈∩{ R[A] | A∈A }.
∴ R[∩A] ⊆ ∩{ R[A] | A∈A}.
定理9(证明(4),续)
• (*) ∃x∀A(xRy∧(A∈A→x∈A))
⇒∀A∃x(xRy∧(A∈A→x∈A))
• (**) ∀A∃x(xRy∧(A∈A→x∈A))
⇒∀A∃x(A∈A→(xRy∧x∈A))
容易证明:
• (*) ∃x∀yB(x,y) ⇒ ∀y∃xB(x,y)
• (**) p∧(q→r) ⇒ q→(p∧r)
• (*) ∃x∀yB(x,y) ⇒ ∀y∃xB(x,y)
• 证明: 在任何解释下, 若左⇔1, 则右⇔1.
• (**) p∧(q→r) ⇒ q→(p∧r)
• 证明1: (p∧(q→r))→(q→(p∧r))是永真式
真值表, 等值演算
• 证明2: (反证) 设“左⇔1”且“右⇔0”
即p∧(q→r)⇔1且q→(p∧r)⇔0.
由p∧(q→r)⇔1得p=1, q→r=1;
由q→(p∧r)⇔0得q=1, p∧r=0;
所以r=0, q→r=0, 矛盾! #
定理9(证明(5))
• (5) R[A]-R[B] ⊆ R[A-B];
• 证明: ∀y, y∈R[A]-R[B] ⇔ y∈R[A]∧¬y∈R[B]
⇔ ∃x(xRy∧x∈A) ∧ ¬∃x(xRy∧x∈B)
⇔ ∃x(xRy∧x∈A) ∧ ∀x(¬xRy∨¬x∈B)
⇔ ∃x(xRy∧x∈A) ∧ ∀x(xRy→¬x∈B)
⇒ ∃x(xRy∧x∈A∧¬x∈B)
⇔ ∃x(xRy∧x∈A-B) ⇔ y∈R[A-B].
∴ R[A]-R[B] ⊆ R[A-B].
∃x(xRy∧x∈A) ∧ ∀x(xRy→¬x∈B)
⇒ ∃x(xRy∧x∈A∧¬x∈B)
前提: ∃x(xRy∧x∈A), ∀x(xRy→¬x∈B)
结论: ∃x(xRy∧x∈A∧¬x∈B)
证明: (1) ∃x(xRy∧x∈A), 前提引入
(2) cRy∧c∈A, (1)EI
(3) ∀x(xRy→¬x∈B), 前提引入
(4) cRy→¬c∈B, (3)UI
前提: ∃x(xRy∧x∈A), ∀x(xRy→¬x∈B)
结论: ∃x(xRy∧x∈A∧¬x∈B)
(2) cRy∧c∈A, (1)EI
(4) cRy→¬c∈B, (3)UI
(5) cRy, (2)化简
(6) ¬c∈B, (4)(5)假言推理
(2) cRy∧c∈A, (1)EI
(4) cRy→¬c∈B, (3)UI
(5) cRy, (2)化简
(6) ¬c∈B, (4)(5)假言推理
(7) cRy∧c∈A∧¬c∈B, (2)(6)合取
(8) ∃x(xRy∧x∈A∧¬x∈B) (7)EG. #
定理9(证明(6))
• (6) (R○S)[A] = R[S[A]].
• 证明:∀y, y∈(R○S)[A]
⇔ ∃x( x(R○S)y ∧ x∈A )
⇔ ∃x( ∃z( xSz ∧ zRy ) ∧ x∈A )
⇔ ∃z( zRy ∧ ∃x( xSz ∧ x∈A ) )
⇔ ∃z( zRy ∧ z∈S[A]) ⇔ y∈ R[S[A]].
∴ (R○S)[A] = R[S[A]]. #
定理9(讨论)
• 讨论: 当R为单根关系时, (3)(4)(5)中等号成
立.
(3) R[A∩B] ⊆ R[A]∩R[B];
(4) R[∩A] ⊆ ∩{ R[A] | A∈A};
(5) R[A]-R[B] ⊆ R[A-B];
关系表示法
关系的表示方法:
• 集合
• 关系矩阵
• 关系图
关系矩阵(matrix)
• 设 A={a1,a2,…,an}, R⊆A×A, 则R的关系
矩阵 M(R)=(rij)n×n, 其中  1, x i Rx j
rij = 
• 例如, A={a,b,c},  0 , 否则
R1={<a,a>,<a,b>,<b,a>,<b,c>},
R2={<a,b>,<a,c>,<b,c>}, 则
1 1 0 0 1 1 
M ( R1 ) = 1 0 1  , M ( R2 ) = 0 0 1.
#
 0 0 0  0 0 0
关系矩阵的性质
• R的集合表达式与R的关系矩阵可以唯一相
互确定
• M(R-1) = (M(R))T. (T表示矩阵转置)
• M(R1○R2) = M(R2)•M(R1). (•表示这样的
矩阵“乘法”, 其中加法使用逻辑∨, 乘法使用
逻辑∧. )
例题4
• 例题4: 设 A={a,b,c},
R1={<a,a>,<a,b>,<b,a>,<b,c>},
R2={<a,b>,<a,c>,<b,c>},
用M(R1), M(R2)确定M(R1-1), M(R2-2),
M(R1○R1), M(R1○R2), M(R2○R1),
从而求出它们的集合表达式.
例题4(解)
• R1={<a,a>,<a,b>,<b,a>,<b,c>},
R2={<a,b>,<a,c>,<b,c>},
1 1 0  0 1 1 
• 解: M ( R ) = 1 0 1  , M ( R ) = 0 0 1.
1   2  
 0 0 0  0 0 0 
1 1 0 0 0 0
M ( R1−1 ) = 1 0 0  , M ( R2−1 ) = 1 0 0.
 0 1 0  1 1 0
R1-1 = {<a,a>,<a,b>,<b,a>,<c,b>}
R2-1 = {<b,a>,<c,a>,<c,b>}
例题4(解,续)
• R1={<a,a>,<a,b>,<b,a>,<b,c>},
R2={<a,b>,<a,c>,<b,c>},
1 1 0  0 1 1
• 解(续):  
M ( R1 ) = 1 0 1  , M ( R 2 ) =  0 0 1  .
 0 0 0   0 0 0 
1 1 0  1 1 0 1 1 1
M ( R 1 o R 1 ) =  1 0 1  •  1 0 1  =  1 1 0  ,
 0 0 0   0 0 0   0 0 0 
R1○R1 = {<a,a>,<a,b>,<a,c>,<b,a>,<b,b>}.
例题4(解,续)
• R1={<a,a>,<a,b>,<b,a>,<b,c>},
R2={<a,b>,<a,c>,<b,c>},
1 1 0  0 1 1
• 解(续):  
M ( R1 ) = 1 0 1  , M ( R 2 ) =  0 0 1  .
 0 0 0   0 0 0 
0 1 1  1 1 0 1 0 1
M ( R 1 o R 2 ) =  0 0 1  •  1 0 1  =  0 0 0  ,
 0 0 0   0 0 0   0 0 0 
R1○R2 = {<a,a>,<a,c>}.
例题4(解,续)
• R1={<a,a>,<a,b>,<b,a>,<b,c>},
R2={<a,b>,<a,c>,<b,c>},
1 1 0  0 1 1
• 解(续):  
M ( R1 ) = 1 0 1, M ( R 2 ) =  0 0 1  .
 0 0 0   0 0 0 
1 1 0  0 1 1 0 1 1
M ( R 2 o R 1 ) =  1 0 1  •  0 0 1  =  0 1 1  ,
 0 0 0   0 0 0   0 0 0 
R2○R1 = {<a,b>,<a,c>,<b,b>,<b,c>}. #
关系图(graph)
• 设 A={a1,a2,…,an}, R⊆A×A, 则A中元素以
“○”表示(称为顶点), R中元素以“→”表示(称
为有向边); 若xiRxj, 则从顶点xi向顶点xj引有
向边<xi,xj>, 这样得到的图称为R的关系图
G(R). c
• 例如, A={a,b,c}, G(R1)
R1={<a,a>,<a,b>,<b,a>,<b,c>}, a b
c
R2={<a,b>,<a,c>,<b,c>}, 则
G(R2)
a b
关系图(举例)
R1-1 = {<a,a>,<a,b>,<b,a>,<c,b>}
R2-1 = {<b,a>,<c,a>,<c,b>}
c c
a b a b
G(R1-1) G(R2-1 )
关系图(举例,续)
R1○R1 = {<a,a>,<a,b>,<a,c>,<b,a>,<b,b>}.
R1○R2 = {<a,a>,<a,c>}.
R2○R1 = {<a,b>,<a,c>,<b,b>,<b,c>}.
c c
c
a b b a b
a
G(R1 ○R1) G(R1 ○ R2 ) G(R2 ○R1)
关系矩阵,关系图(讨论)
• 当A中元素标定次序后, R⊆A×A的关系图
G(R)与R的集合表达式可以唯一互相确定
• R的集合表达式,关系矩阵,关系图三者均可
以唯一互相确定
• 对于R⊆A×B, |A|=n,|B|=m,关系矩阵M(R)是
n×m阶的,关系图G(R)中的边都是从A中元
素指向B中元素的.
关系性质
• 自反性(reflexivity)
• 反自反性(irreflexivity)
• 对称性(symmetry)
• 反对称性(antisymmetry)
• 传递性(transitivity)
自反性(reflexivity)
• 设R⊆A×A, 说R是自反的(reflexive),如果
∀x( x∈A → xRx ).
• R是非自反的 ⇔ ∃x( x∈A ∧ ¬xRx)
• 定理10: R是自反的
⇔ IA⊆R
⇔ R-1是自反的
⇔ M( R )主对角线上的元素全为1
⇔ G( R )的每个顶点处均有环. #
自反性(举例)
反自反性(irreflexivity)
• 设R⊆A×A, 说R是反自反的(irreflexive), 如果
∀x(x∈A→ ¬xRx).
• R是非反自反的 ⇔ ∃x( x∈A ∧ xRx)
• 定理11: R是反自反的
⇔ IA∩R=∅
⇔ R-1是反自反的
⇔ M( R )主对角线上的元素全为0
⇔ G( R )的每个顶点处均无环. #
反自反性(举例)
自反,自反性(分类)
自反反自反非自反,
非反自反
自反,
反自反 ? ∅上的空关系
对称性(symmetry)
• 设R⊆A×A, 说R是对称的(symmetric),如果
∀x∀y(x∈A∧y∈A∧xRy→yRx).
• R非对称 ⇔ ∃x∃y(x∈A∧y∈A∧xRy∧¬yRx)
• 定理12: R是对称的
⇔ R-1=R
⇔ R-1是对称的
⇔ M( R )是对称的
⇔ G( R )的任何两个顶点之间若有边, 则必
有两条方向相反的有向边. #
对称性(举例)
反对称性(antisymmetry)
• 设R⊆A×A, 说R是反对称的(antisymmetric),若
∀x∀y(x∈A∧y∈A∧xRy∧yRx→x=y).
• R非反对称⇔∃x∃y(x∈A∧y∈A∧xRy∧yRx∧x≠y)
• 定理13: R是反对称的
⇔ R-1∩ R⊆IA
⇔ R-1是反对称的
⇔ 在M( R )中, ∀i∀j(i≠j∧rij=1→rji=0)
⇔ 在G( R )中, ∀xi∀xj(i≠j), 若有有向边
<xi,xj>, 则必没有<xj,xi>. #
反对称性(举例)
对称,反对称(分类)
对称反对称非对称,
非反对称
对称,
反对称 ?
传递性(transitivity)
• 设R⊆A×A, 说R是传递的(transitive), 如果
∀x∀y∀z(x∈A∧y∈A∧z∈A∧xRy∧yRz→xRz).
• R非传递⇔
∃x∃y∃z(x∈A∧y∈A∧z∈A∧xRy∧yRz∧¬xRz)
• 定理14: R是传递的
⇔ R○R⊆R ⇔ R-1是传递的
⇔ 在M(R○R)中, ∀i∀j, 若rij’=1,则M( R )中
相应的元素rij=1.
⇔ 在G( R )中, ∀xi∀xj∀xk, 若有有向边
<xi,xj>,<xj,xk>, 则必有有向边<xi,xk>. #
传递性(举例)
传递(分类)
传递
非传递
举例
• 在 N = {0,1,2,…} 上:
• ≤={<x,y>|x∈N∧y∈N∧x≤y}自反,反对称,传递
• ≥={<x,y>|x∈N∧y∈N∧x≥y}自反,反对称,传递
• <={<x,y>|x∈N∧y∈N∧x<y}反自反,反对称,传递
• >={<x,y>|x∈N∧y∈N∧x>y}反自反,反对称,传递
• |={<x,y>|x∈N∧y∈N∧x|y}反对称,传递(¬0|0)
• IN={<x,y>|x∈N∧y∈N∧x=y}自反,对称,反对称,传递
• EN={<x,y>|x∈N∧y∈N}=N×N自反,对称,传递. #
例5
• 例5: A={a,b,c}
R1={<a,a>,<a,b>,<b,c>,<a,c>},
R2={<a,a>,<a,b>,<b,c>,<c,a>},
R3={<a,a>,<b,b>,<a,b>,<b,a>,<c,c>},
R4={<a,a>,<a,b>,<b,a>,<c,c>},
R5={<a,a>,<a,b>,<b,b>,<c,c>},
R6={<a,b>,<b,a>,<b,c>,<a,a>},
例5(续)
R1={<a,a>,<a,b>,<b,c>,<a,c>}反对称,传递
R2={<a,a>,<a,b>,<b,c>,<c,a>}反对称
a a
b c b c
G(R1) G(R2)
例5(续)
R3={<a,a>,<b,b>,<a,b>,<b,a>,<c,c>}自反,对
称,传递
R4={<a,a>,<a,b>,<b,a>,<c,c>}对称
a a
b c b c
G(R3) G(R4)
例5(续)
R5={<a,a>,<a,b>,<b,b>,<c,c>}自反,反对称,
传递
R6={<a,b>,<b,a>,<b,c>,<a,a>}. #
a a
b c b c
G(R5) G(R6)
关系运算是否保持关系性质
• 定理15: 设R1,R2⊆A×A都具有某种性质.
自反反自反对称反对称传递
R1-1, R2-1 √ √ √ √(4) √
R1∪R2 √ √ √
R1∩R2 √ √(2) √ √ √(5)
R1○R2 , √(1)
R21○R
R -R2 ,1R2-R1 √ √(3) √
~R1,~R2 √(3‘)
定理15(证明(1))
• (1) R1,R2自反 ⇒ R1○R2自反.
• 证明:∀x,
x∈A
⇒ xR2x ∧ xR1x
⇒ xR1○R2x
∴ R1,R2自反 ⇒ R1○R2自反. #
定理15(证明(2))
• (2) R1,R2反自反 ⇒ R1∩R2反自反.
• 证明: (反证) 若R1○R2非反自反, 则
∃x∈A, x(R1∩R2)x
⇔ xR1x ∧ xR2x
与R1,R2反自反矛盾!
∴ R1,R2反自反 ⇒ R1∩R2反自反. #
定理15(证明(3))
• (3) R1,R2对称 ⇒ R1-R2对称.
• 证明:∀x,y∈A,
x(R1-R2)y
⇔ xR1y ∧ ¬xR2y
⇔ yR1x ∧ ¬yR2x
⇔ y(R1-R2)x
∴ R1,R2对称 ⇒ R1-R2对称. #
定理15(证明(3‘))
• (3‘) R1对称 ⇒ ~R1对称.
• 证明: ∀x,y∈A,
x(~R1)y ⇔ x(EA-R1)y
⇔ xEAy ∧ ¬xR1y
⇔ yEAx ∧ ¬yR1x
⇔ y(EA-R1)x ⇔ y(~R1)x
∴ R1对称 ⇒ ~R1对称. #
定理15(证明(4))
• (4) R1反对称 ⇒ R1-1反对称.
• 证明: (反证) 若R1-1非反对称, 则
∃x,y∈A,
xR1-1y ∧ yR1-1x ∧ x≠y
⇔ yR1x ∧ xR1y ∧ x≠y
与R1反对称矛盾!
∴ R1反对称 ⇒ R1-1反对称. #
定理15(证明(5))
• (5) R1,R2传递 ⇒ R1∩R2传递.
• 证明:∀x,y,z∈A,
x(R1∩R2)y ∧ y(R1∩R2)z
⇔ xR1y ∧ xR2y ∧ yR1z ∧ yR2z
⇔ xR1y ∧ yR1z ∧ xR2y ∧ yR2z
⇒ xR1z ∧ xR2z ⇔ x(R1∩R2)z
∴ R1,R2传递 ⇒ R1∩R2传递. #
总结
• 关系矩阵, 关系图
• 自反, 反自反, 对称, 反对称, 传递
作业(#4)
• p81, 习题二, 15, 16, 17, 22, 23
• 今天2班交作业(#2,#3)
作业讲解(#1)
• p25, 习题一, 3, 7, 10, 16
• 3. TF,FT,TT,FT,TFF
• 7. A A A
B C B C B C
• 10. TT,FT,TF A
• 16. {3,4,{3,4}}, ∅, {∅,{∅}}
B C
第7讲关系幂运算与关系闭包
内容提要
• 关系幂(power)运算
• 关系闭包(closure)
关系的幂运算
• n次幂的定义
• 指数律
• 幂指数的化简
关系的n次幂
• 关系的n次幂(nth power): 设R⊆A×A, n∈N,
则
(1) R0 = IA;
(2) Rn+1 = Rn○R, (n≥1).
• R = R o R oLo R
n
142
4 43
4
n个 R
• Rn表示的关系, 是R的关系图中长度为n的有
向路径的起点与终点的关系.
1 2 n-1 n
关系幂运算(举例)
• 例: 设A={a,b,c}, R⊆A×A,
R={<a,b>,<b,a>,<a,c}, 求R的各次幂.
• 解: b b
c a c
a
G( R ) G( R0 )
关系幂运算(举例,续)
• 解(续): R0 = IA,
R1 = R0○R = R = {<a,b>,<b,a>,<a,c},
R2 = R1○R = {<a,a>,<b,b>,<b,c},
b b
c a c
a
G( R ) G( R2 )
关系幂运算(举例,续2)
• 解(续): R0 = IA,
R1 = R0○R = R = {<a,b>,<b,a>,<a,c},
R2 = R1○R = {<a,a>,<b,b>,<b,c},
R3 = R2○R = {<a,b>,<a,b>,<b,a} = R1,
b b
c a c
a
G( R ) G( R3 )
关系幂运算(举例,续3)
• 解(续): R4 = R3○R = R1○R = R2,
R5 = R4○R = R2○R = R3 = R1,
一般地, R2k+1=R1=R, k=0,1,2,…,
R2k=R2, k=1,2,…,. #
b b b
a c a c a c
G( R )
G( R4 ) G( R5 )
关系幂运算是否有指数律?
• 指数律:
(1) Rm○Rn = Rm+n ;
(2) (Rm)n = Rmn.
• 说明: 对实数来说, m,n∈N,Z,Q,R.
对关系来说, m,n∈N,Z, 可以定义
R-n = (R-1)n = (Rn)-1
定理17
• 定理17: 设 R⊆A×A, m,n∈N, 则
(1) Rm○Rn = Rm+n ;
(2) (Rm)n = Rmn.
• 说明: 可以让 m,n∈Z, 这只需定义
R-n = (R-1)n = (Rn)-1
• 回忆: (F○G)-1=G-1○F-1
(R2)-1=(R○R)-1=R-1○R-1=(R-1)2
定理17(证明(1))
• (1) Rm○Rn = Rm+n ;
• 证明: (1) 给定m, 对n归纳. n=0时,
Rm○Rn = Rm○R0 = Rm○IA = Rm = Rm+0.
假设 Rm○Rn = Rm+n, 则 Rm○Rn+1
= Rm○(Rn ○R1) = (Rm○Rn)○R1 = Rm+n○R
=
R(m+n)+1 = Rm+(n+1).
• (2) 同样对n归纳. #
R0,R1,R2,R3,…是否互不相等?
R0 R1 R2 R3 R4 R5 R6 R7 R8
R0 R1 R2 R3 R4 R5=R19=R33=R47=…
R6=R20=R34=R48=…
R7=R21=R35=R49=…
R17 R8=R22=R36 =…
R16
R9
R15
R10
R14 R11
定理16
• 定理16: 设 |A|=n, R⊆A×A, 则 ∃s,t∈N, 并
n2
且 0 ≤ s < t ≤ 2 , 使得 Rs = Rt.
• 证明: P(A×A)对幂运算是封闭的, 即
∀R, R∈P(A×A) ⇒ Rk∈P(A×A), (k∈N).
2
n2 n
|P(A×A)| = 2 , 在R0,R1,R2,…, R 2 这
n2
2 + 1个集合中, 必有两个是相同的.
n2
所以 ∃s,t∈N, 并且 0 ≤ s < t ≤ 2 ,
使得 Rs = Rt. #
鸽巢原理(pigeonhole principle)
• 鸽巢原理(pigeonhole principle): 若把n+1
只鸽子装进n只鸽巢, 则至少有一只鸽巢
装2只以上的鸽子.
• 又名抽屉原则(Dirichlet drawer principle),
(Peter Gustav Lejeune Dirichlet,1805~1859)
• 推广形式: 若把m件物品装进k只抽屉, 则
m 
至少有一只抽屉装  k 只以上的物品.
• 1.8=2, 1.8=1, -1.8=-1, -1.8=-2.
定理18
• 定理18: 设 R⊆A×A, 若 ∃s,t∈N (s<t),使得Rs
= R t, 则
(1) Rs+k = Rt+k ;
(2) Rs+kp+i = Rs+i, 其中k,i∈N, p=t-s;
(3) 令S={R0,R1,…,Rt-1}, 则∀q∈N, Rq∈S.
定理18(说明)
s
i
泵(pumping):
Rs+kp+i = Rs+i
p
定理18 (证明(1)(3))
• (1) Rs+k = Rt+k ;
(3) 令S={R0,R1,…,Rt-1}, 则∀q∈N, Rq∈S.
• 证明: (1) Rs+k = Rs○Rk = Rt○Rk = Rt+k;
(3) 若 q>t-1≥s, 则令 q=s+kp+i,
其中 k,i∈N, p=t-s, s+i<t;
于是 Rq = Rs+kp+i = Rs+i∈S.
定理18(证明(2))
• (2) Rs+kp+i = Rs+i, 其中k,i∈N, p=t-s;
• 证明: (2) k=0时,显然;
k=1时,即(1);
设 k≥2. 则
Rs+kp+i = Rs+k(t-s)+i = Rs+t-s+(k-1)(t-s)+i
= Rt+(k-1)(t-s)+i = Rs+(k-1)(t-s)+i = …
= Rs+(t-s)+i = Rt+i = Rs+i . #
幂指数的化简
• 方法: 利用定理16, 定理18.
• 例6: 设 R⊆A×A, 化简R100的指数. 已知
(1) R7 = R15; (2) R3 = R5; (3) R1 = R3.
• 解:
(1) R100=R7+11×8+5=R7+5=R12∈{R0,R1,…,R14};
(2) R100=R3+48×2+1=R3+1=R4∈{R0,R1,…,R5};
(3) R100=R1+49×2+1=R1+1=R2∈{R0,R1,R2}. #
关系的闭包
• 自反闭包r( R )
• 对称闭包s( R )
• 传递闭包t( R )
• 闭包的性质, 求法, 相互关系
什么是闭包
• 闭包(closure): 包含一些给定对象, 具有指
定性质的最小集合
• “最小”: 任何包含同样对象, 具有同样性质
的集合, 都包含这个闭包集合
• 例: (平面上点的凸包)
自反闭包(reflexive closure)
• 自反闭包: 包含给定关系R的最小自反关系,
称为R的自反闭包, 记作r( R ).
(1) R ⊆ r( R );
(2) r( R )是自反的;
(3) ∀S( (R⊆S ∧ S自反) → t( R )⊆S ).
G( R )
G(t( R ))
对称闭包(symmetric closure)
• 对称闭包: 包含给定关系R的最小对称关系,
称为R的对称闭包, 记作s( R ).
(1) R ⊆ s( R );
(2) s( R )是对称的;
(3) ∀S( (R⊆S ∧ S对称) → s( R )⊆S ).
G( R )
G(s( R ))
传递闭包(transitive closure)
• 传递闭包: 包含给定关系R的最小传递关系,
称为R的传递闭包, 记作t( R ).
(1) R ⊆ t( R );
(2) t( R )是传递的;
(3) ∀S( (R⊆S ∧ S传递) → t( R )⊆S ).
G( R ) G(t( R ))
定理19
• 定理19: 设R⊆A×A且A≠∅,则
(1) R自反 ⇔ r( R ) = R;
(2) R对称 ⇔ s( R ) = R;
(3) R传递 ⇔ t( R ) = R;
证明: (1) R⊆R ∧ R自反 ⇒ r( R )⊆R
又 R ⊆ r( R ), ∴ r( R ) = R.
(2)(3) 完全类似. #
定理20
• 定理20: 设 R1⊆R2⊆A×A 且 A≠∅, 则
(1) r( R1 ) ⊆ r( R2 );
(2) s( R1 ) ⊆ s( R2 );
(3) t( R1 ) ⊆ t( R2 );
证明: (1) R1⊆R2 ⊆ r( R2 )自反,
∴ r( R1 ) ⊆ r( R2 )
(2)(3) 类似可证. #
定理21
• 定理21: 设 R1,R2⊆A×A 且 A≠∅, 则
(1) r(R1∪R2) = r( R1 )∪r( R2 );
(2) s(R1∪R2) = s( R1 )∪s( R2 );
(3) t(R1∪R2) ⊇ t( R1 )∪t( R2 ).
证明: (1) 利用定理20, r(R1∪R2)⊇r(R1)∪r(R2).
r(R1)∪r(R2)自反且包含R1∪R2,所以
r(R1∪R2)⊆r(R1)∪r(R2).
∴ r( R1∪R2) = r( R1 )∪r( R2 )
定理21(证明(2))
• (2) s( R1∪R2) = s( R1 )∪s( R2 );
• 证明(2): 利用定理20,
s(R1∪R2)⊇s(R1)∪s(R2).
s(R1)∪s(R2)对称且包含R1∪R2,所以
s(R1∪R2)⊆s(R1)∪s(R2).
∴ s( R1∪R2) = s( R1 )∪s( R2 )
定理21(证明(3))
• (3) t( R1∪R2) ⊇ t( R1 )∪t( R2 ).
• 证明(3): 利用定理20,
t(R1∪R2)⊇t(R1)∪t(R2).
反例: t(R1∪R2)⊃t(R1)∪t(R2) . #
a b
G(R1)= G(t(R1)) a b
a b
G(t(R1∪R2))
G(R2)= G(t(R2))
如何求闭包?
• 问题:
(1) r( R ) = R ∪ ?
(2) s( R ) = R ∪ ?
(3) t( R ) = R ∪ ?
定理22~24
• 定理22~24: 设 R⊆A×A 且 A≠∅, 则
(1) r( R ) = R∪IA;
(2) s( R ) = R∪R-1;
(3) t( R ) = R∪R2∪R3∪….
• 对比: R自反 ⇔ IA⊆R
R对称 ⇔ R=R-1
R传递 ⇔ R2⊆R
定理22
• 定理22: 设 R⊆A×A 且 A≠∅, 则
r( R ) = R∪IA;
• 证明: (1) R ⊆ R∪IA;
(2) IA⊆R∪IA ⇔ R∪IA自反 ⇒ r( R )⊆R∪IA;
(3) R⊆r( R ) ∧ r( R )自反
⇒ R⊆r( R ) ∧ IA⊆ r( R ) ⇒ R∪IA ⊆r( R )
∴ r( R ) = R∪IA.
定理23
• 定理23: 设 R⊆A×A 且 A≠∅, 则
s( R ) = R∪R-1;
• 证明: (1) R ⊆ R∪R-1;
(2) (R∪R-1)-1=R∪R-1 ⇔ R∪R-1对称
⇒ s( R )⊆R∪R-1;
(3) R⊆s( R ) ∧ s( R )对称
⇒ R⊆s( R ) ∧ R-1⊆s( R ) ⇒ R∪R-1⊆s( R )
∴ s( R ) = R∪R-1.
定理24
• 定理24: 设 R⊆A×A 且 A≠∅, 则
t( R ) = R∪R2∪R3∪…;
• 证明: (1) R ⊆ R∪R2∪R3∪…;
(2) (R∪R2∪R3∪…)2 = R2∪R3∪… ⊆
R∪R2∪R3∪…
⇔ R∪R2∪R3∪…传递 ⇒ t( R )⊆R∪R2∪R3∪…;
(3) R⊆t( R ) ∧ t( R )传递
⇒ R⊆t( R )∧R2⊆t( R )∧R3⊆t( R )∧…
⇒ R∪R2∪R3∪… ⊆ t( R )
∴ t( R ) = R∪R2∪R3∪….
定理24的推论
• 推论: 设 R⊆A×A 且 0<|A|<∞, 则∃l ∈N, 使
得 t( R ) = R∪R2∪R3∪…∪Rl ;
• 证明: 由定理16知 ∃s,t∈N, 使得 Rs = Rt.
由定理18知 R,R2,R3,…∈{ R0,R1,…,Rt-1 }.
取l =t-1, 由定理24知
t( R ) = R∪R2∪R3∪….
= R ∪R2 ∪R3 ∪… ∪Rl
∴ t( R ) = R∪R2∪R3∪…∪Rl . #
例8
• 例8: 设 A = { a,b,c,d },
R = { <a,b>,<b,a>,<b,c>,<c,d> }.
求 r( R ), s( R ), t( R ).
0 1 0 0 
• 解: b c   1 0 1 0
M (R) =  .
0 0 0 1
 
a d 0 0 0 0
1 1 0 0 0 1 0 0
1 1 1 0  1 0 1 0 
M ( r ( R )) =  . M ( s ( R )) =  .
0 0 1 1 0 1 0 1
   
0 0 0 1 0 0 1 0
例8(续)
0 1 0 0
• 解(续): b c 1 0 1 0 
M (R) =  .
0 0 0 1
a d  
0 0 0 0
1 1 0 0
b c 1 1 1 0 
M ( r ( R )) =  .
0 0 1 1
 
a d 0 0 0 1
b c 0 1 0 0
1 0 1 0 
M ( s ( R )) =  .
0 1 0 1
a d  
0 0 1 0
例8(续2)
b c 0 1 0 0
• 解(续2): 1 0 1 0 
M (R) =  .
0 0 0 1
a d  
0 0 0 0
0 1 0 0  0 1 0 0  1 0 1 0
1 0 1 0   1 0 1 0   0 1 0 1 
M (R 2 ) =  • = .
0 0 0 1  0 0 0 1  0 0 0 0
     
0 0 0 0  0 0 0 0  0 0 0 0
0 1 0 0  1 0 1 0  0 1 0 1
1 0 1 0   0 1 0 1   1 0 1 0 
M (R ) = 
3
• = .
0 0 0 1  0 0 0 0  0 0 0 0
     
0 0 0 0  0 0 0 0  0 0 0 0
例8(续3)
0 1 0 0
b c 1 0 1 0 
• 解(续3): M (R) =  .
0 0 0 1
 
a d 0 0 0 0
1 0 1 0  0 1 0 1 
0 1 0 1  1 0 1 0 
M (R 2 ) =  . M (R 3 ) =  .
0 0 0 0  0 0 0 0 
   
 0 0 0 0   0 0 0 0 
0 1 0 0  0 1 0 1  1 0 1 0
1 0 1 0   1 0 1 0   0 1 0 1 
M (R 4 ) =  • = = M ( R 2 ).
0 0 0 1  0 0 0 0  0 0 0 0
     
0 0 0 0  0 0 0 0  0 0 0 0
例8(续4)
b c
• 解(续4):
a d
1 1 1 1
1 1 1 1 
M (t ( R )) = M ( R ) ∨ M ( R 2 ) ∨ M ( R 3 ) =  . #
0 0 0 1
 
0 0 0 0
b c
a d
闭包运算是否保持关系性质?
• 问题:
(1) R自反 ⇒ s( R ), t( R )自反 ?
(2) R对称 ⇒ r( R ), t( R )对称 ?
(3) R传递 ⇒ s( R ), r( R )传递 ?
定理25
• 定理25: 设R⊆A×A且A≠∅,则
(1) R自反 ⇒ s( R )和t( R )自反;
(2) R对称 ⇒ r( R )和t( R )对称;
(3) R传递 ⇒ r( R )传递;
证明: (1) IA ⊆ R∪R-1 = s( R )
∴ s( R )自反.
IA ⊆ R∪R2∪R3∪… = t( R ) ∴ t( R )自反.
定理25(证明(2))
• (2) R对称 ⇒ r( R )和t( R )对称;
• 证明: (2) r( R )-1 =(IA∪R)-1 =IA-1∪R-1
=IA∪R-1 =IA∪R= r( R ) ∴ r( R )对称.
t( R )-1 = (R∪R2∪R3∪…)-1
= R-1∪(R2)-1∪(R3)-1∪…
= R-1∪(R-1)2∪(R-1)3∪… ( (F○G)-1=G-
1○F-1 )
= R∪R2∪R3∪…=t( R ), ∴ t( R )对称.
定理25(证明(3))
• (2) R传递 ⇒ r( R )传递;
• 证明: (2) r( R )○r( R ) = (IA∪R)○(IA∪R)
= (IA○IA)∪(IA○R)∪(R○IA)∪(R○R)
⊆ IA∪R∪R∪R =IA∪R= r( R )
∴ r( R )传递. #
定理25(反例)
• 反例: R传递, 但是s( R )非传递.
G( R ) G(s( R ))
小结: 闭包运算保持下列关系性质.
自反性对称性传递性
r( R ) √ (定义) √(定理25(2)) √(定理25(3))
s( R ) √(定理25(1)) √(定义) ×(反例)
t( R ) √(定理25(1)) √(定理25(2)) √(定义)
闭包运算是否可以交换顺序?
• 问题:
(1) rs( R ) = sr( R ) ?
(2) rt( R ) = tr( R ) ?
(3) st( R ) = ts( R ) ?
• 说明: rs( R ) = r(s( R ))
定理26
• 定理26: 设 R⊆A×A 且 A≠∅, 则
(1) rs( R ) = sr( R );
(2) rt( R ) = tr( R );
(3) st( R ) ⊆ ts( R );
定理26(证明(1))
• (1) rs( R ) = sr( R );
证明: (1) rs( R ) = r(s( R )) = r(R∪R-1)
= IA∪(R∪R-1) = (IA∪R)∪(IA-1∪R-1)
= (IA∪R)∪(IA∪R)-1 = r( R )∪r( R )-1
= s(r( R )) = sr( R ).
∴ rs( R ) = sr( R ).
定理26(证明(2))
• (2) rt( R ) = tr( R );
证明:(2) rt( R ) = r(t( R )) = r(R∪R2 ∪R3 ∪…)
= IA∪(R∪R2 ∪R3 ∪…)
= (IA∪R)∪(IA∪R∪R2)∪(IA∪R∪R2∪R3)∪…
= (IA∪R)∪(IA∪R)2 ∪(IA∪R)3∪…
= r( R )∪r( R )2 ∪r( R )3 ∪…=t(r( R )).
∴ rt( R ) = tr( R ).
定理26(证明(3))
• (3) st( R ) ⊆ ts( R );
证明:(3) st( R ) ⊆ st(s( R ))
= sts( R ) = s(ts( R )) = ts( R )
( ts( R )对称, 定理25(2) )
∴ st( R ) ⊆ ts( R ). #
定理26((3)反例)
• (3) st( R ) = ts( R ) ?
反例: st( R ) ⊂ ts( R )
G( R ) G(t( R )) G(s(t( R )))
G(s( R )) G(t(s( R )))

总结
• 关系幂运算
• 关系闭包
作业(#5)
• p83, 习题二, 27, 28, 29
第8讲等价关系与序关系
内容提要
• 等价关系,等价类,商集
• 划分, 第二类Stirling数
• 偏序,线序,拟序,良序
• 哈斯图
• 特殊元素: 最?元,极?元,?界,?确界
• (反)链
等价(equivalence)关系
• 定义
• 同余关系
• 等价类
• 商集
• 划分
• 划分的加细
• Stirling子集数
等价(equivalence)关系定义
• 等价关系: 设 R⊆A×A 且 A≠∅, 若R是自
反的, 对称的, 传递的,则称R为等价关系
• 例9: 判断是否等价关系(A是某班学生):
R1={<x,y>|x,y∈A∧x与y同年生}
R2={<x,y>|x,y∈A∧x与y同姓}
R3={<x,y>|x,y∈A∧x的年龄不比y小}
R4={<x,y>|x,y∈A∧x与y选修同门课程}
R5={<x,y>|x,y∈A∧x的体重比y重}
例9(续)
定义自反对称传递等价关系
R1 x与y同年生 √ √ √ √
R2 x与y同姓 √ √ √ √
R3 x的年龄不比 √ × √ ×
y小
R4 x与y选修同 √ √ × ×
门课程
R5 x的体重比y × × √ ×
重
例10
• 例10: 设 R⊆A×A 且 A≠∅, 对R依次求三
种闭包共有6种不同顺序, 其中哪些顺序
一定导致等价关系?
rst( R ), rts( R ), str( R ), srt( R ), trs( R ),
tsr( R )=t(s(r( R )))
• 解: st( R )⊆ts( R ), sr( R )=rs( R ),…
tsr( R )=trs( R )=rts( R )
str( R )=srt( R )=rst( R )
例10(续)
tsr(R)=trs(R) str(R)=srt(R)
=rts( R ) =rst( R )
自反 √ √
对称 √ √
传递 √ ×
等价关系 √(等价闭包) ×
等价类(equivalence class)
• 等价类: 设R是A≠∅上等价关系,∀x∈A,令
[x]R={ y | y∈A ∧ xRy },
称[x]R为x关于R的等价类, 简称x的等价类,
简记为[x].
• 等价类性质: [x]R≠∅ ;
xRy ⇒ [x]R=[y]R ;
¬xRy ⇒ [x]R∩[y]R=∅ ;
U{ [x]R | x∈A } =A.
定理27
• 定理27:设R是A≠∅上等价关系,∀x,y∈A,
(1) [x]R≠∅
(2) xRy ⇒ [x]R=[y]R ;
(3) ¬xRy ⇒ [x]R∩[y]R=∅ ;
(4) U{ [x]R | x∈A } =A.
• 证明: (1) R自反⇒xRx⇒x∈[x]R⇒[x]R≠∅.
x
定理27(证明(2))
• (2) xRy ⇒ [x]R=[y]R ;
• 证明: (2) 只需证明[x]R⊆[y]R和[x]R⊇[y]R.
(⊆) ∀z, z∈[x]R∧xRy ⇒ zRx∧xRy
⇒ zRy ⇒ z∈[y]R . ∴ [x]R⊆[y]R.
(⊇) 同理可证. z
x y
定理27(证明(3))
• (3) ¬xRy ⇒ [x]R∩[y]R=∅ ;
• 证明: (3) (反证) 假设∃z, z∈[x]R∩[y]R, 则
z∈[x]R∩[y]R ⇒ zRx∧zRy ⇒ xRz∧zRy
⇒ xRy, 这与¬xRy矛盾! ∴ [x]R∩[y]R=∅.
x y
定理27(证明(4))
• (4) U{ [x]R | x∈A } = A.
• 证明: (4) A=U{ {x} | x∈A }
⊆ U{ [x]R | x∈A } ⊆ U{ A | x∈A }=A.
∴ U{ [x]R | x∈A } = A. #
x y
同余(congruence)关系
• 同余关系: 设n∈{2,3,4,…}, x,y∈Z,则
x与y模n同余(be congruent modulo n)
⇔ x≡y(mod n) ⇔ n|(x-y) ⇔ x-y=kn (k∈Z)
• 同余关系是等价关系
11 0 1
• [0] ={ kn|k∈Z}, 10 2
[1] ={ 1+kn|k∈Z}, 9 3
[2] ={ 2+kn|k∈Z},…, 8 4
7 6 5
[n-1]={(n-1)+kn|k∈Z}.
例11
• 例11: 设 A={1,2,3,4,5,8}, 求
R3 = { <x,y> | x,y∈A ∧ x≡y(mod 3) }
的等价类, 画出R3的关系图.
• 解: [1]=[4]={1,4}, [2]=[5]=[8]={2,5,8},
[3]={3}. #
4 8
1 2 5 3
商集(quotient set)
• 商集: 设R是A≠∅上等价关系,
A/R = { [x]R | x∈A }
称为A关于R的商集, 简称A的商集.
• 显然 U A/R = A.
• 例11(续): A/R3 ={ {1,4}, {2,5,8}, {3} }.
例12(1)
• 例12(1): 设A={a1,a2,…,an}, IA, EA,
Rij=IA∪{<ai,aj>,<aj,ai>}
都是A上等价关系, 求对应的商集, 其中
ai,aj∈A, i≠j. ∅是A上等价关系吗?
解: A/IA={ {a1}, {a2},…, {an } }
A/EA={ {a1,a2,…,an } }
A/Rij= A/IA∪{{ai,aj}} - {{ai},{aj}}.
∅不是A上等价关系(非自反). #
划分(partition)
• 划分: 设A≠∅, A⊆P(A),若A满足
(1) ∅∉A ;
(2) ∀x,y( x,y∈A ∧ x≠y ⇒ x∩y=∅ )
(3) UA = A
则称A为A的一个划分, A中元素称为划分块
(block).
划分(举例)
• 设 ∅≠A1,A2,…,An⊂E, 则以下都是划分:
Ai = {Ai,~Ai}, ( i=1,2,…,n )
Aij = {Ai∩Aj,~Ai∩Aj, Ai∩~Aj, ~Ai∩~Aj}-{∅}
( i,j =1,2,…,n ∧ i≠j ) ……
A12…n = {~A1∩~A2∩… ∩~An,…,
~A1∩~A2∩… ∩~An-1∩An,…
A1∩A2∩… ∩An}-{∅}. #
划分(举例,续)
~Ai
Ai
等价关系与划分是一一对应的
• 定理28: 设A≠∅, 则
(1) R是A上等价关系 ⇒ A/R是A的划分
(2) A是A的划分 ⇒ RA是A上等价关系,其中
xRAy ⇔ ∃z(z∈A ∧ x∈z ∧ y∈z)
RA称为由划分A 所定义的等价关系(同块关系). #
例12(2)
• 例12(2): A={a,b,c}, 求A上全体等价关系.
• 解: A上不同划分共有5种:
a a a a a
b c b c b c b c b c
R1= EA,
R2=IA∪{<b,c><c,b>},
R3=IA∪{<a,c><c,a>},
R4=IA∪{<a,b><b,a>}, R5=IA. #
Bell数(Bell number)
• 问题: 给n个对象分类, 共有多少种分法?
n
n n n n
• 答案: Bell数 Bn= ∑  k   1   2 
k =1
= + + L +  .
n
(Eric Temple Bell, 1883~1960)
n
• Stirling子集数(Stirling subset number)  k :
把n个对象分成k个非空子集的分法个数.
n  n  n  n −1  n  2 n 
• 0  = 0, 1  = 1,  2  = 2 − 1, n − 1 = C n , n  = 1.
         
• 递推公式:  n  = k  n − 1  +  n − 1  .
k   k   k − 1
Stirling子集数
n  n − 1  n − 1
• 递推公式:  
 
k
= k 
 k


+ 
 k − 1
.

剔除一个
其余分k类加入一类
其余分k-1类自成一类
第一、二类Stirling数
• 第一类Stirling数(Stirling number of the first
kind): s(n,k)
n
∑ s
k =0
( n, k )x k
= x( x − 1)( x − 2) L( x − k + 1) = x k
.
• 第二类Stirling数(Stirling number of the

second kind): S(n,k)= n
 
n k  n
x = ∑S(n, k)x(x −1)(x − 2)L(x − k +1) = ∑S(n, k)x .
n k
k =0 k =0
Bell数表
n Bn n Bn
1 1 8 4,140
2 2 9 21,147
3 5 10 115,975
4 15 11 678,570
5 52 12 4,213,597
6 203 13 27,644,437
7 877 14 190,899,322
第二类Stirling数表
n\k 0 1 2 3 4 5 6 7 8 9
0 1
1 0 1
2 0 1 1
3 0 1 3 1
4 0 1 7 6 1
5 0 1 15 25 10 1
6 0 1 31 90 65 15 1
7 0 1 63 301 350 140 21 1
8 0 1 127 966 1,170 1,050 266 28 1
9 0 1 255 3,035 7,770 6,951 2,646 462 36 1
10 0 1 511 9,330 34,501 42,525 22,827 5,880 750 45
例13
• 例13: 问A={a,b,c,d}上有多少种等价关系?
• 解:
4 4 4 4
B4 =  +  +  +   =1+(2 −1) +C4 +1=1+7 +6+1=15.
3 2
1 2 3 4 #

划分的加细(refinement)
• 划分的加细: 设A和B都是集合A的划分, 若A
的每个划分块都包含于B的某个划分块中,
则称A为B的加细.
• A为B的加细 ⇔ RA⊆RB
例14
• 例14: 考虑A={a,b,c}上的划分之间的加细.
• 解: a
加细 b c 加细
a 加细 a 加细 a
b c b c b c
加细 a 加细
b c
#
序关系
• 哈斯图
• 特殊元素: 最?元, 极?元, ?界, ?确界
• (反)链
偏序(partial order)关系
• 偏序关系: 设 R⊆A×A 且 A≠∅, 若R是自反
的, 反对称的, 传递的, 则称R为偏序关系
• 通常用≼表示偏序关系,读作“小于等于”
<x,y>∈R ⇔ xRy ⇔ x≼y
• “严格小于”: x≺y ⇔ x≼y ∧ x≠y
• 偏序集(poset): <A,≼>, ≼是A上偏序关系
• 例子: <A,≤>, <A,|>, <A,⊆>, <π,≼ 加细>
偏序集<A,≤>, <A,≥>, <A,|>
• ∅≠A⊆R
≤ = { <x,y> | x,y∈A ∧ x≤y },
≥ = { <x,y> | x,y∈A ∧ x≥y },
• ∅≠A⊆Z+={ x | x∈Z ∧ x>0 }
| = { <x,y> | x,y∈A ∧ x|y }
偏序集<A,⊆>
• A⊆P(A), ⊆ = { <x,y> | x,y∈A ∧ x⊆y }
• 设A={a,b}, A1={∅,{a},{b}}, A2={{a},{a,b}},
A3=P(A)={∅,{a},{b},{a,b}},则
⊆1 = IA1 ∪ { <∅,{a}>,<∅,{b}> }
⊆2 = IA2 ∪ { <{a},{a,b}> }
⊆3 = IA3 ∪ { <∅,{a}>,<∅,{b}>, <∅,{a,b}>,
<{a},{a,b}>, <{b},{a,b}> }
偏序集<π,≼ 加细>
• A≠∅, π是由A的一些划分组成的集合
≼ 加细 = { <x,y> | x,y∈π ∧ x是y的加细 }
• 设A={a,b,c}, A1={{a,b,c}},A2={{a},{b,c}},
A3={{b},{a,c}},A4={{c},{a,b}},A5={{a},{b},{c}}
取π1={A1,A2},π2={A2,A3},π3={A1,A2,A3,A4,A5}
≼ 1 = Iπ1 ∪ { <A2,A1> }, ≼ 2 = Iπ2,
≼ 3 = Iπ3 ∪ { <A2,A1>,<A3,A1>, <A4,A1>,
<A5,A1>,<A5,A2>,<A5,A3>,<A5,A4>}. #
哈斯图(Hasse diagram)
• 设<A,≼>是偏序集, x,y∈A
• 可比(comparable):
x与y可比 ⇔ x≼y ∨ y≼x
• 覆盖(cover):
y覆盖x ⇔ x≺y ∧ ¬∃z( z∈A ∧ x≺z≺y )
• 哈斯图: 当且仅当y覆盖x时,在x与y之间画无
向边, 并且x画在y下方
例16(1)(2)
• 例16: 画出下列偏序关系的哈斯图.
(1) <A,|>, A={1,2,3,4,5,6,9,10,15}
(2) <A,⊆>, A={a,b,c}, A⊆P(A),
A={∅,{a},{b},{c},{a,b},{b,c},{a,c}}
• 解:
9 {a,b} {a,c} {b,c}
4 6 15 10
2 3 {a} {b} {c}

5
1 ∅
例16(3)
• 例16: 画出下列偏序关系的哈斯图.
(3) <π,≼加细>, π={A1,A2,A3,A4,A5,A6}, A={a,b,c,d}
A1 = { {a}, {b}, {c}, {d} }, A2 = { {a,b}, {c,d} },
A3 = { {a,c}, {b,d} }, A4 = { {a}, {b,c,d} },
A5 = { {a}, {b}, {c,d} }, A6 = { {a,b,c,d} }
• 解: A6
A2
A3 A4
A5
#
A1
偏序关系中的特殊元素
• 最大元, 最小元
• 极大元, 极小元
• 上界, 下界
• 最小上界(上确界), 最大下界(下确界)
最大元, 最小元
• 设<A,≼>为偏序集, B⊆A, y∈B
• 最大元(maximum/greatest element):
y是B的最大元 ⇔
∀x( x∈B → x≼y )
• 最小元(minimum/least element):
y是B的最小元 ⇔
∀x( x∈B → y≼x )
最大元, 最小元举例(例16(1))
• 例16(1): <A,|>, A={1,2,3,4,5,6,9,10,15}
B1={1,2,3}, B2={3,5,15}, B3=A.
B1的最大元是{}, B1的最小元是{1}
B2的最大元是{15}, B2的最小元是{}
B3的最大元是{}, B3的最小元是{1}
9 9
4 6 15 10 4 6 15 10
2 3 2 3
5 5
1 1
极大元,极小元
• 设<A,≼>为偏序集, B⊆A, y∈B
• 极大元(maximal element):
y是B的极大元 ⇔
∀x( x∈B ∧ y≼x → x=y )
• 极小元(minimal element):
y是B的极小元 ⇔
∀x( x∈B ∧ x≼y → x=y )
极大元,极小元举例(例16(1))
• 例16(1): <A,|>, A={1,2,3,4,5,6,9,10,15}
B1={1,2,3}, B2={3,5,15}, B3=A.
B1的极大元是{2,3}, B1的极小元是{1}
B2的极大元是{15}, B2的极小元是{3,5}
B3的极大元是{4,6,9,15,10}, B3的极小元是{1}
9 9
4 6 15 10 4 6 15 10
2 3 2 3
5 5
1 1
上界, 下界
• 设<A,≼>为偏序集, B⊆A, y∈A
• 上界(upper bound):
y是B的上界 ⇔
∀x( x∈B → x≼y )
• 下界(lower bound):
y是B的下界 ⇔
∀x( x∈B → y≼x )
上界, 下界举例(例16(1))
• 例16(1): <A,|>, A={1,2,3,4,5,6,9,10,15}
B1={1,2,3}, B2={3,5,15}, B3=A.
B1的上界是{6}, B1的下界是{1}
B2的上界是{15}, B2的下界是{1}
B3的上界是{}, B3的下界是{1}
9 9
4 6 15 10 4 6 15 10
2 3 2 3
5 5
1 1
最小上界, 最大下界
• 设<A,≼>为偏序集, B⊆A
• 最小上界(least upper bound):
设 C = { y | y是B的上界 }, C的最小元称为B
的最小上界, 或上确界.
• 最大下界(greatest lower bound):
设 C = { y | y是B的下界 }, C的最大元称为B
的最大下界, 或下确界.
最小上界,最大下界举例(例16(1))
• 例16(1): <A,|>, A={1,2,3,4,5,6,9,10,15}
B1={1,2,3}, B2={3,5,15}, B3=A.
B1的最小上界是{6}, B1的最大下界是{1}
B2的最小上界是{15}, B2的最大下界是{1}
B3的最小上界是{}, B3的最大下界是{1}
9 9
4 6 15 10 4 6 15 10
2 3 2 3
5 5
1 1
特殊元素比较
存在(B非空有穷) 存在(B无穷) 唯一 ∈B
最大元 ×(表示不一定) × √ √
最小元 × × √ √
极大元 √ (表示一定) ×<Z,≤>,B=Z × √
极小元 √ × × √
上界 × × × ×
下界 × × × ×
上确界 × × √ ×
下确界 × × √ ×
链(chain), 反链(antichain)
• 设<A,≼>为偏序集, B⊆A,
• 链(chain): B是A中的链 ⇔
∀x∀y( x∈B∧y∈B → x与y可比 )
|B|称为链的长度
• 反链(antichain): B是A中的反链 ⇔
∀x∀y( x∈B∧y∈B∧x≠y → x与y不可比 )
|B|称为反链的长度
链, 反链(举例)
• 设偏序集<A,≼>如图所示, A={a,b,…,k}.
B1={a,c,d,e}是长为4的链
g h 上界{e,f,g,h}, 上确界{e}
f k 下界{a}, 下确界{a}
B2={a,e,h}是长为3的链
e
j B3={b,g}是长为2的链
d B4={g,h,k}是长为3的反链
c i 上界,下界,上确界,下确界: 无
a b B5={a}是长为1的链和反链
B6={a,b,g,h}既非链,亦非反链
定理31
• 定理31: 设<A,≼>为偏序集, A中最长链的
长度为n, 则
(1) A中存在极大元
(2) A存在n个划分块的划分, 每个划分块
都是反链(即A划分成n个互不相交的反链)
• 推论: 设<A,≼>为偏序集, 若|A|=mn+1,则
A中要么存在长度为m+1的反链, 要么存
在长度为n+1的链.
定理31(举例)
最长链长度为6, 如
g h B1={a,c,d,e,f,h}, B2={a,c,d,e,f,g},
f k A={a,b,…,k}可以划分为
e A 1= { {a,b,i}, {c,j}, {d}, {e}, {f}, {g,h,k} },
j
d A 2= { {a,b}, {c,i}, {d,j}, {e,k}, {f}, {g,h} }
c i |A|=11=2×5+1,
a b A中既有长度为2+1=3的反链,
也有长度为5+1=6的链
定理31(证明(1))
• 定理31: 设<A,≼>为偏序集, A中最长链的长
度为n, 则 (1) A中存在极大元
• 证明: (1) 设B是A中长度为n的最长链, B有
极大元(也是最大元)y, 则y也是A的极大元,
否则A中还有比y“大”的元素z, B就不是最长
链.
定理31(证明(2))
• 定理31: 设<A,≼>为偏序集, A中最长链的
长度为n, 则 (2) A存在n个划分块的划分,
每个划分块都是反链(即A划分成n个互不
相交的反链)
• 证明: (2) A1 = { x | x是A中的极大元 },
A2 = { x | x是(A-A1)中的极大元 },…
An = { x | x是(A-A1-…-An-1)中的极大元 },
则 A = { A1, A2,…, An }是满足要求的划分.
定理31(证明(2):举例)
最长链长度为6,
g h A1 = { g, h, k },
f k A2 = { f, j },
e A3 = { e, i },
j
d A4 = { d },
c i A5 = { c },
a b A6 = { a, b },
A = { {a,b}, {c}, {d}, {e,i}, {f,j}, {g,h,k} }
定理31(证明(2)续)
• 证明(续): [1] A1 = { x | x是A中的极大元 }, 极大
元互相之间不可比, 所以A1是反链, 同理
A2,…,An都是反链.
[2] 显然A1,A2,…,An互不相交.
[3] 最长链上的元素分属A1,A2,…,An, 所以
A1,A2,…,An都非空.
[4] 假设z∈A-A1-…-An,则最长链上的元素加上z
就是长度为n+1的链, 矛盾! 所以
A=A1∪A2∪…∪An.
综上所述, A={ A1,A2,…,An }确是所求划分. #
全序(total order)关系
• 全序关系: 若偏序集<A,≼>满足
∀x∀y( x∈A∧y∈A → x与y可比)
则称≼为全序关系, 称<A,≼>为全序集
• 全序关系亦称线序(linear order)关系
• 例: <A,≤>, <A,≥>
拟序关系
• 拟序关系: 设 R⊆A×A 且 A≠∅, 若R是反
自反的, 传递的, 则称R为拟序关系
• 通常用≺表示拟序关系(对比:“严格小于”)
• 反自反性与传递性蕴涵反对称性
• 拟序集: <A,≺>, ≺是A上拟序关系
• 例子: 设∅≠A⊆R, ∅≠B⊆Z+
<A,<>,<A,>>,<B,|’>,<A,⊂>
|’ = { <x,y> | x,y∈B ∧ x|y ∧ x≠y}
定理29
• 定理29:设≼是非空集合A上偏序关系,≺是A
上拟序关系,则
(1) ≺是反对称的;
(2) ≼-IA是A上拟序关系;
(3) ≺ ∪IA是A上偏序关系.
• 证明: (1) x≺y ∧ y≺x ⇒ x≺x , 矛盾!
(2)(3) 显然.
定理30
• 定理30:设≺是非空集合A上拟序关系,则
(1) x≺y,x=y,y≺x中至多有一式成立;
(2) (x≺y ∨ x=y) ∧ (y≺x ∨ x=y) ⇒ x=y.
• 证明: (1) 两式以上成立导致 x≺x , 矛盾!
(2) x≠y ⇒ (x≺y ) ∧ (y≺x ), (由已知条件)
与(1)矛盾! #
三歧性(trichotomy)
• 三歧性: 设≺是非空集合A上拟序关系, 若
x≺y,x=y,y≺x中有且仅有一式成立,则称≺具
有三歧性.
• 拟全序关系:设≺是非空集合A上拟序关系,
若≺具有三歧性, 则称≺为拟全序关系, 或拟
线序关系,称<A,≺>为拟线序集.
良序(well-order)
• 良序关系: 设<A,≺>为拟全序集, 若A的任
何非空子集B均有最小元, 则称≺为良序关
系, <A,≺>为良序集
• 例: <N,<>是良序集, <Z,<>不是良序集
• 良序原理(well-ordering principle): 每一
个集合都可以良序化(建立良序关系)
• 良序原理等价于选择公理
• 良序集可做超限(transfinite)归纳证明
总结
• 等价关系,
• 等价类,商集,
• 划分
• 哈斯图,
• 特殊元素,
• (反)链
习题讲解(#2,#3)
• 习题一
• 11. A-B=A⇔A∩B=∅
证一: 利用 A=(A-B)∪(A∩B),
(A-B)∩(A∩B)=∅
证二: A⊆~B ⇔∀x(x∈A→x∉B)
⇔¬∃x(x∈A∧x∈B) ⇔ A∩B=∅
习题讲解(#2,#3)
• 13.(1) 证一: 直接证.
证二: 利用X∩Y=Y⇔ X⊆Y
(2) A∩C=∅ (利用文氏图)
• 14. 20. ----------- OK
• 习题二
• 6.(1)(2) 7.(1)(2) ----------- OK
习题讲解(#2,#3)
• 11.(1) R1∪R2={<a,b>,<b,d>,<c,c>,<c,d>,
<a,c>,<d,b>,<d,d>}
R1∩R2={<b,d>}
R1⊕R2={<a,b>, <c,c>,<c,d>,
<a,c>,<d,b>,<d,d>}
(2) domR1={a,b,c}
domR2={a,b,d}
dom(R1∪R2)={a,b,c,d}
习题讲解(#2,#3)
• 11. (3) ranR1={b,c,d}
ranR2={b,c,d}
ranR1∩ranR2 ={b,c,d}
(4) R1↑A={<a,b>,<c,c>,<c,d>}
R1↑{c}={<c,c>,<c,d>}
(R1∪R2)↑A={<a,b>,<c,c>,<c,d>,<a,c>}
R2↑A={<a,c>}
习题讲解(#2,#3)
• 11.(5) R1[A]={b,c,d}
R2[A]={c}
(R1∩R2)[A]=∅
(6) R1○R2={<a,c>,<a,d>,<d,d>}
R2○R1={<a,d>,<b,b>,<b,d>,<c,d>,<c,b>}
R1○R1={<a,d>,<c,c>,<c,d>}. #
习题讲解(#2,#3)
• 12.
(1) R-1={<{∅,{∅}},∅>,<∅,{∅}>,<∅,∅>}
(2) R○R={<{∅},{∅,{∅}}>, <{∅},∅>,
<∅,{∅,{∅}}>,<∅,∅>}
(3) R↑[∅]=∅
R↑{∅}={<∅,{∅,{∅}}>,<∅,∅>}
R↑{{∅}}={<{∅},∅>}
R↑{∅,{∅}}={<∅,{∅,{∅}}>,<∅,∅>,
<{∅},∅>}
习题讲解(#2,#3)
• 12. (4) R[∅]=∅
R[{∅}]={ {∅,{∅}}, ∅ }
R[{{∅}}]={∅}
R[{∅,{∅}}]={ {∅,{∅}}, ∅ }
(5) domR={ ∅, {∅} }
ranR={ {∅,{∅}}, ∅ }
fldR= { {∅,{∅}}, {∅}, ∅ } #
作业(#6)
• p84, 习题二, 35,39,45,46,47,50,52
• 今天3班交作业(#4,#5)
第9讲函数
内容提要
• 函数,偏函数,全函数,真偏函数
• 单射,满射,双射,计数问题
• 象,原象
• 常数函数,恒等函数,特征函数,单调函数,
自然映射
• 合成(复合),反函数,单边逆(左逆,右逆)
• 构造双射(有穷集,无穷集)
函数(function)
• 函数: F是函数 ⇔ F是单值的二元关系
• F单值: ∀x∈domF, ∀y,z∈ranF,
xFy ∧ xFz → y=z
• 函数亦称映射(mapping) 单值
• F(x)=y ⇔ <x,y>∈F ⇔ xFy
y
• ∅是函数,称为空函数 x z
• 常用F,G,H,…,f,g,h,…表示函数.
非单值
偏函数(partial function)
• 偏函数: domF⊆A
• A到B的偏函数: domF⊆A且ranF⊆B
• 偏函数记作 F:A→B, 称A为F的前域,
• A到B的全体偏函数记为A→B
A→B = { F | F:A→B }
例1
• 例1: 设 A={a,b}, B={1,2}, 求A→B.
• 解: |A|=2,|B|=2,|A×B|=4,|P(A×B)|=24=16.
f0=∅, f1={<a,1>}, f2={<a,2>},
f3={<b,1>}, f4={<b,2>},
f5={<a,1>,<b,1>}, f6={<a,1>,<b,2>},
f7={<a,2>,<b,1>},f8={<a,2>,<b,2>}.
A→B = {f0 ,f1 ,f2 ,f3 ,f4 ,f 5,f6 ,f7 ,f8}. #
• 非函数: {<a,1>,<a,2>}, {<b,1>,<b,2>},
{<a,1>,<a,2>,<b,1>},…
全函数(total function)
• 全函数: domF=A
• 全函数记作 F:A→B
• A到B的全体全函数记为BA或A→B
BA = A→B = { F | F:A→B }
关于BA的说明
• BA={ F | F:A→B }={ F | F是A到B全函数 }
• |BA| = |B||A|.
• 当A=∅时, BA={∅}
• 当A≠∅且B=∅时, BA=A→B=∅,
但A→B={∅}.
真偏函数(proper partial function)
• 真偏函数: domF⊂A,
• 真偏函数记作F:A→B,
• A到B的全体真偏函数记为A→B
A→B = { F | F:A→B }
例1(续)
• 例1(续): 设 A={a,b}, B={1,2}, 求A→B.
• 解: f0=∅, f1={<a,1>}, f2={<a,2>},
f3={<b,1>}, f4={<b,2>},
f5={<a,1>,<b,1>}, f6={<a,1>,<b,2>},
f7={<a,2>,<b,1>},f8={<a,2>,<b,2>}.
A→B={f0 , f1 , f2 , f3 , f4}. #
• 说明: F∈A→B ⇒ F∈domF→B
F∈A→B ⇒ F∈domF→B
三者关系
• A→B = A→B ∪ A→B
偏函数A→B
domF⊆A
全函数A→B 真偏函数A→B
domF=A domF⊂A
全函数性质
• 设 F:A→B,
• 单射(injection): F是单根的
• 满射(surjection): ranF=B
• 双射(bijection): F既是单射又是满射, 亦称
为一一对应(one-to-one mapping).
非单射非满射
例2
• 例2: 设A1={a,b}, B1={1,2,3},
A2={a,b,c}, B2={1,2},
A3={a,b,c}, B3={1,2,3},
求A1→B1,A2→B2,A3→B3中的单射,满射,双
射.
例2(解(1))
• 例2: (1) A1={a,b}, B1={1,2,3},
• 解: (1) A1→B1中无满射,无双射,单射6个:
f1={<a,1>,<b,2>}, f2={<a,1>,<b,3>},
f3={<a,2>,<b,1>}, f4={<a,2>,<b,3>},
f5={<a,3>,<b,1>}, f6={<a,3>,<b,2>}.
例2(解(2))
• 例2: (2) A2={a,b,c}, B2={1,2},
• 解: (2) A2→B2中无单射,无双射,满射6个:
f1={<a,1>,<b,1>,<c,2>},
f2={<a,1>,<b,2>,<c,1>},
f3={<a,2>,<b,1>,<c,1>},
f4={<a,1>,<b,2>,<c,2>},
f5={<a,2>,<b,1>,<c,2>},
f6={<a,2>,<b,2>,<c,1>}.
例2(解(3))
• 例2: (3) A3={a,b,c}, B3={1,2,3},
• 解: (3) A2→B2中双射6个:
f1={<a,1>,<b,2>,<c,3>},
f2={<a,1>,<b,3>,<c,2>},
f3={<a,2>,<b,1>,<c,3>},
f4={<a,2>,<b,3>,<c,1>},
f5={<a,3>,<b,1>,<c,2>},
f6={<a,3>,<b,2>,<c,1>}. #
计数(counting)问题
• 设|A|=n, |B|=m, 问A→B中有多少单射,满射,
双射?
• n<m时, A→B中无满射,双射, 单射个数为
m(m-1)…(m-n+1)
• n=m时, A→B中双射个数为 n!
• n>m时, A→B中无单射,双射, 满射个数为
n
m !  .
m 
象(image), 原象(preimage)
• 设 f:A→B, A’⊆A, B’⊆B
• 象: A’的象是
f(A’) = { y | ∃x( x∈A’ ∧ f(x)=y ) } ⊆ B
• f(A)=ranf
• 原象: B’的原象是
f -1(A’) = { x | ∃y( y∈B’ ∧ f(x)=y ) } ⊆ A
A’ f(A’) f -1(B’) B’
象,原象(举例)
• 例: f:N→N, f(x)=2x.
A’=N偶={0,2,4,6,…}={2k|k∈N},
f(A’)={0,4,8,12,…}={4k|k∈N}
B’={2+4k|k∈N}={2,6,10,14,…},
f -1(B’)={1+2k|k∈N} ={1,3,5,7,…}=N奇
#
特殊函数
• 常数函数: ∀x∈A, f(x)=b∈B
• 恒等函数: IA:A→A, IA(x)=x
• 特征函数: χA:E→{0,1}, χA(x)=1⇔x∈A
• 单调函数: f:A→B, <A,≤A>,<B,≤B>偏序集,
∀x,y∈A, x≤Ay ⇒ f(x)≤Bf(y)
• 单调增, 单调减, 严格单调
• 自然映射: R为A上等价关系,
f:A→A/R, f(x)=[x]R.
自然映射(举例)
• 例: A={a,b,c,d,e,f}, A/R={{a,b},{c,d,e},{f}},
[a]=[b]={a,b}, [c]=[d]=[e]={c,d,e}, [f]={f},
F:A→A/R, F(x)=[x].
F(a)={a,b}, F(b)={a,b}, F( c )={c,d,e},
F(d)={c,d,e}, F(e)={c,d,e}, F(f)={f}. #
a c f
b
d e
函数运算
• 合成(复合): 性质, 左(右)单位元, 单调性
• 反函数: 存在条件
• 单边逆: 左逆, 右逆, 存在条件
函数合成(composite)
• 定理3: 设 g:A→B, f:B→C, 则
f○g: A→C, f○g(x)=f(g(x)).
• 证明: (1) f○g是函数
(2) dom f○g = A
(3) ran f○g ⊆ C. #
合成的性质
• 定理4: 设 g:A→B, f:B→C, f○g:A→C,则
(1) f,g均为满射, 则 f○g也是满射.
(2) f,g均为单射, 则 f○g也是单射.
(3) f,g均为双射, 则 f○g也是双射. #
合成的性质(续)
• 定理5: 设 g:A→B, f:B→C, 则
(1) 若f○g为满射, 则f是满射.
(2) 若f○g为单射, 则g是单射.
(3) 若f○g为双射, 则g是单射,f是满射. #
f g
g
合成的左(右)单位元
• 定理6: 设 f:A→B, 则 f=f○IA =IB○f. #
IA f IB
A A B B
合成的单调性
• 定理7: 设 f:R→R, g:R→R, 且f,g按≤是单
调增的, 则f○g也是单调增的.
• 证明: x≤y ⇒ g(x)≤g(y) ⇒f(g(x))≤f(g(y)).
#
反函数(inverse function)
• 定理8: 设A为集合,则
A-1为函数 ⇔ A为单根的. #
• 推论: 设R为二元关系,则
R为函数 ⇔ R-1为单根的. #
• 定理9: 设 f:A→B, 且为双射,则
f -1 :B→A, 且也为双射. #
• 反函数: 若f:A→B为双射, 则f -1 :B→A称
为f的反函数.
单边逆
• 设f:A→B, g:B→A
• 左逆: g是f的左逆 ⇔ g○f=IA,
• 右逆: g是f的右逆 ⇔ f○g=IB,
f
IA A IB
g B
单边逆(举例)
g f
f○g=IB
B A B
f g
g○f=IA
A B A
单边逆的存在条件
• 定理10: 设 f:A→B, 且A≠∅,则
(1) f 存在左逆 ⇔ f 是单射;
(2) f 存在右逆 ⇔ f 是满射;
(3) f 存在左逆,右逆 ⇔ f 是双射. #
g○ f○
f g
构造双射及求反函数
• |A|=m, |B|=n,
A→B存在双射 ⇔ n=m
• |A|=∞, |B|=∞, B⊂A, A→B存在双射, 如
f: N→N-{0,1,2}, f(n)=n+3
0 1 2 3 4 5 6 7 8
0 1 2 3 4 5 6 7 8
• [0,1]→(0,1) ? R→(0,1) ?
• N× N → N ?
N×N→N 双射 ?
方法1: 用自然数性质
• ∀n∈N∧n≠0, ∃α,β∈N, β为奇数, 使得
n=2αβ
• 例: 1= 20×1, 2= 21×1, 3= 20×3,…,
6=21×3,…,100=22×25,…
• 令n=2αβ-1,可以去掉n≠0的条件
• 令β=2j+1, β为奇数
• ∀n∈N, n=2i(2j+1)-1, i,j∈N, 此表示唯一.
方法1: f:N×N→N
• f:N×N→N, f -1:N→N×N, ∀<i,j>∈N×N,
f(<i,j>)=2i(2j+1)-1,
f -1(n)=f -1(2i(2j+1)-1)=<i,j>.
• 例: f(<0,0>)=0, f(<0,1>)=2, f(<1,0>)=1,…
f -1(5)=<1,1>, f -1(101)=<1,25>,
f -1(200)=<0,100>,…
方法2:Cantor编码—对角线法
1+2+3+…+(m+n)+(m+1)
<m,n> =(m+n)(m+n+1)/2+(m+1)
对应的自然数为
(m+n)(m+n+1)/2+m
<m,0> <m+n,0>
方法2: f:N×N→N
• f:N×N→N, f -1:N→N×N, ∀<m,n>∈N×N,
f(<m,n>)=(m+n)(m+n+1)/2+m,
• 求 f -1(r)=<?,?>=<m,n>.
r=(m+n)(m+n+1)/2+m=t(t+1)/2+m, t=m+n,
0≤m≤t, 求最大t, 使得r≥t(t+1)/2.
t2+t-2r≤0, 1 
t =  ( 1 + 8r ,−m=r-t(t+1)/2,
1) n=t-m.
2 
• 例: f (0)=<0,0>, f (1)=<0,1>,
-1 -1
f -1(2)=<1,0>, f -1(3)=<0,2>, …
总结
• 概念: 函数,偏函数,全函数,真偏函数
• 性质: 单射, 满射, 双射, 计数问题
• 术语: 象, 原象
• 特殊函数: 常数,恒等,特征,单调,自然映射
• 运算: 合成(复合), 反函数, 单边逆
• 技巧: 构造双射
习题讲解(#4,#5)
• 15. R: 反自反, 反对称, 传递
S: 对称 T: 对称
(严格说, 应按|A|分情形讨论)
• 16. |R|=11, 对称
|S|=5, 反对称
习题讲解(#4,#5)
• 17. 自反, 对称
0 3 1 1 1 1
1 1 1 0

1 1 1 0
1 2  
1 0 0 1
习题讲解(#4,#5)
• 22.利用 R传递 ⇔ R○R⊆R
R自反 ⇔ IA⊆R.
反例: ∅,
(R○R=R⇒R传递, 反例只能破坏自反性 )
• 23. 利用 (R○S)-1= S-1○R-1,

R对称 ⇔ R-1=R.
习题讲解(#4,#5)
• 27. OK. 利用fldR1∩fldR2=∅ ⇒
R1○R2=∅, R2○R1=∅,
R1i○R2j=∅, R2i○R1j=∅, i,j∈N+.
习题讲解(#4,#5)
• 28. (“m≤n”应改为“m<n”, 否则m=n=0)
m=0,n=15.
(许多人m=1,n=16, 忘记了R0=IA)
利用27题, 周期15 = lcm(3,5)
a d
e h
b c
f g
习题讲解(#4,#5)
• 29. r( R )=R∪{<d,d>,<c,c>}
s( R )=R∪{<b,a>,<d,c>}
t( R )=R
a d
a d
a d
b c
b c
b c
s( R )
r( R )C
t( R )=R
作业(#7)
• p104, 习题三, 11,15,16,19,20,
• 做作业之前, 先阅读课本正文!
第10讲自然数
内容提要
• 1. Peano系统
• 2. 后继, 归纳集, 自然数, 自然数集
• 3. 数学归纳法原理
• 4. 传递集
• 5. 自然数的运算
• 6. 自然数上的序关系
封闭
• 封闭: 设f是函数, A⊆domf, 若
∀x( x∈A → f(x)∈A )
则称A在f下是封闭的(closed)
• 等价条件: f(A)⊆A
• 例: f:N→N, f(x)=x+1,
A={0,2,4,6,…}在f下不是封闭的
B={2,3,4,…}在f下是封闭的
Peano系统
• Peano系统: <M,F,e>, F:M→M
(1) e∈M
(2) M在F下封闭
(3) e∉ranF e F(e) F2(e) F3(e)
(4) F是单射的
(5) (极小性公理)
A⊆M ∧ e∈A ∧ A在F下封闭 ⇒ A=M
为何如此定义?
如何实现?
• 问: 如何利用集合来构造Peano系统?
• 答: 借助于下面两个概念
• 后继
• 归纳集
后继(successor)
• 后继(successor): 设A是集合,
A+ = A∪{A}
称为A的后继.
• 特征: A⊆A+ ∧ A∈A+
• 在公理集合论中, 无序对公理({a,b})和并集
公理(UA)保证了后继的存在
后继(举例)
• A=∅
A+ = ∅+ = ∅∪{∅} = {∅}
A++ = {∅}+ = {∅}∪{{∅}} = {∅,{∅}}
A+++ ={∅,{∅}}+ ={∅,{∅}}∪{{∅,{∅}}}
= {∅,{∅},{∅,{∅}}}
• A={a,b}
A+ = {a,b}∪{A} = {a,b,A} = {a,b,{a,b}}
归纳集
• 归纳集: 若A满足
(1) ∅∈A
(2) ∀x( x∈A → x+∈A )
则称A为归纳集.
• A是归纳集 ⇔ A含有∅且对后继封闭
• 在公理集合论中, 无穷公理(无穷集存在)
保证了归纳集的存在
归纳集(举例)
• A={∅,∅+,∅++,∅+++,…}
• A={∅,∅+,∅++,∅+++,…,a,a+,a++,a+++,…}
• A={∅+,∅++,∅+++}, 少∅
• A={∅,∅+,∅++,∅+++,…,a}, 少a+,a++,a+++,…
自然数
• 自然数: 自然数是属于每个归纳集的集合
• 例: ∅,
∅+ = {∅},
∅++ ={ ∅,{∅} },
∅+++ = { ∅,{∅},{∅,{∅}} },
∅++++ = { ∅,{∅},{∅,{∅}},{∅,{∅},{∅,{∅}}} },
……
0,1, 2, …,n,…
• 0=∅
• 1 = ∅+ = {∅} = {0}
• 2 = ∅++ = {∅,{∅}} = { 0,1}
• 3 = ∅+++ ={ 0,1,2 }
• ……
• n = { 0,1,2,…,n-1 }
0,1,2,…作为集合
• 2∩3=2=min(2,3), 2∪3=3=max(2,3)
• 3-2={2},2-3=0 (-是集合运算)
• Un = U{ 0,1,2,…,n-1 } = n-1
=max(0,1,…,n-1),
• ∩n = ∩{ 0,1,2,…,n-1 } = 0
=min(0,1,…,n-1),
• 0∈1∈2∈3∈… ∧ 0⊆1⊆2⊆3⊆…
自然数集
• 自然数集N: 设D = { v | v是归纳集 },
N=∩D
• D 不是集合, 否则导致悖论!
• 在公理集合论中, 由无穷公理保证 N 存在
(即保证 N 是集合).
定理1
• 定理1: N是归纳集.
• 证明: N =∩D=∩{ v | v是归纳集 }
= { x | ∀v( v是归纳集→x∈v) }.
(1) ∅∈N:
∀v, v是归纳集 ⇒ ∅∈v.
定理1(续):
• 证明(续):
(2) ∀n( n∈N → n+∈N ).
利用 x∈N ⇔ ∀v( v是归纳集→x∈v)以及
∀v( v是归纳集 → ∀n( n∈v → n+∈v ) ):
∀n, n∈N ⇒ ∀v( v是归纳集→n∈v)
⇒ ∀v( v是归纳集→n+∈v ) ⇒ n+∈N.
#
N=?
• N是最小的归纳集
∀v( v是归纳集 ) ⇒ N⊆v
• N = { 0, 1, 2, 3, … }
• 对比:
– 自然数是属于每个归纳集的集合
– 自然数集是包含于每个归纳集的归纳集
后继函数
• 后继函数σ: σ:N→N, ∀n∈N, σ(n)=n+
• 例: σ(0) = 0+ = 1,
σ(1) = 1+ = 2 = 0++,
σ(2) = 2+ = 3 = 1++ = 0+++,
…… #
N是否Peano系统?
• 定理2: <N,σ,0>是Peano系统.
• 证明: (1) ∅∈N: 定理1.
(2)∀n(n∈N→n+∈N): 定理1.
(3) ∅∉ranσ: σ(n)=n+=n∪{n}≠∅
(4) σ是单射的: 下面定理3
(5) S⊆N∧∅∈S∧∀n∈S(n+∈S) ⇒ S=N :
∅∈S∧∀n∈S(n+∈S)⇒S是归纳集⇒N⊆S.#
• 称(5)为数学归纳法原理.
• 证(5)时没有利用(4), 故可用(5)证(4).
数学归纳法原理
• 数学归纳法分两个步骤:
1. 令 S = { n | n∈N ∧ P(n) }
2. 证明
(1) ∅∈S;
(2) ∀n( n∈S → n+∈S ).
定理3
• 定理3: 任何自然数的元素均为它的子集.
• 证明: 1.令S={ n | n∈N ∧ ∀x(x∈n→x⊆n) }.
2. (1) ∅∈S: ∅∈N ∧ ∀x(x∈∅→x⊆∅)
(2) 设n∈S, 要证n+∈S, 即要证
n+∈N ∧ ∀x( x∈n+ → x⊆n+ ).
∀x, 设x∈n+=n∪{n}, 分两种情况:
(a) x=n ⇒ x=n⊆n+, (n+=n∪{n})
(b) x∈n ⇒ x⊆n⊆n+, (归纳假设)
∴ S=N. #
定理4
• 定理4: ∀m,n∈N, m+∈n+ ⇔ m∈n.
• 证明: (⇒) 定理3
(⇐) 归纳法. #
定理5:
• 定理5: 任何自然数都不是自己的元素.
• 证明: S={ n | n∈N ∧ n∉n }. #
定理6
• 定理6: ∅属于除0外的任何自然数.
• 证明: S={0}∪S’,
S’={ n | n∈N ∧ n≠0 ∧ ∅∈n }.
(1) ∅∈S,
(2) n∈S ⇒ n+∈S. #
定理7(三歧性)
• 定理7(三歧性): ∀m,n∈N, 下面三式成立且
仅成立一式.
m∈n, m=n, n∈m
• 证明: (1). 至多成立一式: 定理5.
(2). 至少成立一式:
S={n|n∈N∧∀m(m∈N→m∈n∨m=n∨n∈m)}.
#
传递集
• 传递集: A为传递集 ⇔
∀x∀y( x∈y ∧ y∈A → x∈A)
• 定理10: A为传递集
⇔ UA⊆A
⇔ ∀x( x∈A → x⊆A )
⇔ A ⊆ P(A). #
• 自然数及自然数集都是传递集.
自然数的运算
• 加法: +:N×N→N, +(<2,3>)=5, 2+3=5
• 乘法: •:N×N→N, •(<2,3>)=6, 2•3=6
N上的递归定理
• N上的递归定理: 设A为集合, a∈A, F:A→A,
则存在唯一函数h:N→A, 使得h(0)=a, 且
∀n∈N, h(n+)=F(h(n)). #
0 a=h(0)
1 F(a)=F(h(0))=h(1)=h(0+)
2 F2(a)=F(F(a))=F(h(1))=h(2)=h(1+)
3 F3(a)=F(F2(a))=F(h(2))=h(3)=h(2+)
4 F4(a)=F(F3(a))=F(h(3))=h(4) =h(3+)
一元函数加法: “加m”
• “加m”: m固定, Am:N→N,
Am(0)=m,
Am(n+)=(Am(n))+.
• 例: A2(3)=A2(2+)=A2(2)+ =A2(1+)+
=A2(1)++ =A2(0+)++ =A2(0)+++ =2+++
=3++ =4+ =5.
• Am = σ1o42
σ o
4 43 L o
4 σ = σ m
m个σ
二元函数加法
• 加法: +:N×N→N, m+n=Am(n)
• 例: 3+3 = A3(3)
= A3(2+) = A3(2)+
= A3(1+)+ = A3(1)++
= A3(0+)++ = A3(0)+++
= 3+++ = 4++ =5+ = 6. #
• 递归定理保证如此定义是有意义的
加法单位元0
• ∀m∈N, 0+m=m, m+0=m
• 证明: (1) 0+m = A0(m) (+定义)
= σ0(m) (Am定义)
= IN(m), (R0定义)
=m
(2) m+0=Am(0)=m. #
∀m,n∈N, m+n+ = (m+n)+
• ∀m,n∈N, m+n+ = (m+n)+
• 证明: m+n+ = Am(n+) (+定义)
= (Am(n))+ (Am定义)
= (m+n)+ (+定义) . #
∀m,n∈N, m++n = (m+n)+
• 证明: (数学归纳法). 对任意m∈N,
令 S = { n | n∈N ∧ m++n=(m+n)+ }.
(1) 0∈S: m++0=m+=(m+0)+.
(2) ∀n(n∈S→n+∈S): 设n∈S,下证n+∈S.
m++n+ = Am+(n+) = Am+(n)+ (+与Am定义)
=(m++n)+ = (m+n)++ (归纳假设)
=(m+n+)+ (定理: m+n+ = (m+n)+ )
∴ S = N. #
加法交换律
• 加法交换律: ∀m,n∈N, m+n=n+m.
• 证明: 对任意m∈N,
令S={ n | n∈N ∧ m+n=n+m }.
(1) 0∈S: m+0=m=0+m. (0是加法单位元)
(2) ∀n(n∈S→n+∈S): 设n∈S,下证n+∈S.
m+n+=Am(n+)=Am(n)+=(m+n)+
=(n+m)+ (归纳假设)
= n++m (性质: m++n = (m+n)+)
∴ S = N. #
加法性质
• 加法单位元0: 0+n=n+0=n
• 交换律: n+m = m+n
• 结合律: (m+n)+k = m+(n+k)
乘法
• “乘m”: m固定, Mm:N→N,
Mm(0) = 0,
Mm(n+) = Mm(n)+m.
• 例: M2(3)=M2(2+)=M2(2)+2=M2(1+)+2
= M2(1)+2+2=M2(0)+2+2+2=0+2+2+2=6.
• 乘法: •:N×N→N, m•n=Mm(n)
• 例: 3•2=M3(2)=M3(1)+3=M3(0)+3+3
=0+3+3=3+++=6. #
乘法性质
• 1是乘法单位元: 1•n=n•1=n
• 交换律: n•m = m•n
• 结合律: (m•n)•k = m•(n•k)
• 分配律: m•(n+k) = (m•n)+(m•k)
自然数的序
• “属于等于”: m∈n ⇔ m∈n ∨ m=n
• “小于等于”: m≤n ⇔ m<n ∨ m=n
• m<n ⇔ m∈n
• m>n ⇔ n∈m
• m ≤ n ⇔ m∈ n
• m≥n ⇔ n∈m
总结
• 1. Peano系统
• 2. 后继, 归纳集, 自然数, 自然数集
• 3. 数学归纳法原理
• 4. 传递集
• 5. 自然数的运算
• 6. 自然数上的序关系
作业(#8)
• p125, 习题四, 3, 7

集合与图论

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

集合与图论

Uploaded by

Copyright:

Available Formats

《集合论与图论》

p q ¬p p∧q p∨q p→q p↔q

p q ¬(p∧q) ¬p∨¬q ¬(p∧q)↔(¬p∨¬q)

p q p∨q ¬p (p∨q )∧¬p (p∨q )∧¬p→q

A∩B A∪B A-B

4-X 4-X B={x∈E|x会说日语}, |B|=5

• χA⊕B(x) = χA(x)+χB(x) (mod 2)

G( R ) G(t( R )) G(s(t( R )))

G(s( R )) G(t(s( R )))

• 第二类Stirling数(Stirling number of the

1 2 3 4 #

2 3 {a} {b} {c}

• 23. 利用 (R○S)-1= S-1○R-1,

You might also like