离散数学 (12)

合集下载

离散数学12

离散数学12
YX
单射
双射
满射
既非单射又非满射
图 4.1.4
【例5】 对于给定的 f 和集合A,请判断 f的性质(类型); 并求A在 f 下的像f(A)。 (1) f : R→R,f(x)=x,A={8} (2) f : N→N×N,f(x)=〈x, x+1〉,A={2,5} (3) f : Z→N,f(x)=|x|,A={-1,2}
【例1】 设A={a,b},B={1,2,3},判断下列集合是否是A到 B的函数。 F1={〈a,1〉,〈b,2〉}, F2={〈a,1〉,〈b,1〉}, F3={〈a,1〉,〈a,2〉}, F4={〈a,3〉} 解 F1,F2是函数,F3,F4不是函数,但若不强调是A到B的 函数,则F4是函数,其定义域为{a}。
a
1
b
2 3
c 4 d
5
图 4.1.3
由于函数归结为关系,因而函数的 表示及运算可归结为集合的表示及运算, 函数的相等的概念、包含概念,也便归结 为关系相等的概念及包含概念。
定义4.1.2 设 f : A→B,g : C→D,如果A=C,B=D, 且对每一x∈A,有f(x)=g(x),称函数 f 等于g,记为 f =g。如果A C,B=D,且对每一x∈A,有 f(x)=g(x),称函数 f 包含于g,记为 f g。 事实上,当不强调函数是定义在哪个集合上的时 候 ,由于函数是序偶的集合(特殊的关系),所以f=g 的充分必要条件是f g且g f。
图 4.1.1 几个关系的示图
定义4.1.1 设X,Y为集合,如果f为X到Y的关系 (fX×Y),且对每一x∈X,都有唯一的 y∈Y, 使〈x,y〉∈f,称 f 为X到Y的函数(functions),记 为 f:X→Y。当X=X1×X2×…×Xn时,称f为n 元函数。函数也称映射(mapping)。 换言之,函数是特殊的关系,它满足 (1)函数的定义域是X,而不能是X的某个真子集

离散数学(第二版)最全课后习题答案详解

离散数学(第二版)最全课后习题答案详解

27.设 A、B 都是含命题变量项 p1,p2,…,pn的公式,证明: 重言式.
是重言式当且仅当 A 和 B 都是
解:
A
B
0
0
0
1
1
0
1
1
由真值表可得,当且仅当 A 和 B 都是重言式时,
0 0 0 1 是重言式。
28. 设 A、B 都是含命题变量项 p1,p2,…,pn的公式,已知
,该式为重言式,所以论述为真。
18.在什么情况下,下面一段论述是真的:“说小王不会唱歌或小李不会跳舞是正确的,而说如 果小王会唱歌,小李就会跳舞是不正确的.” 解:p:小王会唱歌。q:小李会跳舞。
真值为 1.
真值为 0.可得,p 真值为 1,q 真值为 0.
所以,小王会唱歌,小李不会跳舞。
19.用真值表判断下列公式的类型:
(2)p: 是无理数.
(7)p:刘红与魏新是同学. (10)p:圆的面积等于半径的平方乘以 π. (13)p:2008 年元旦下大雪.
3.写出下列各命题的否定式,并将原命题及其否定式都符号化,最后指出各否定式的真值.
(1)5 是有理数.
答:否定式:5 是无理数. p:5 是有理数.q:5 是无理数.其否定式 q 的真值
5.将下列命题符号化,并指出真值. (1)2 或 3 是偶数. (2)2 或 4 是偶数. (3)3 或 5 是偶数. (4)3 不是偶数或 4 不是偶数. (5)3 不是素数或 4 不是偶数.
答: p:2 是偶数,q:3 是偶数,r:3 是素数,s:4 是偶数, t:5 是偶数 (1)符号化: p q∨ ,其真值为 1. (2)符号化:p r∨ ,其真值为 1. (3)符号化:r t∨ ,其真值为 0. (4)符号化:¬ ∨¬q s,其真值为 1. (5)符号化:¬ ∨¬r s,其真值为 0.

湘潭大学 刘任任版 离散数学课后习题答案 习题12

湘潭大学 刘任任版 离散数学课后习题答案 习题12

习 题 十 二1.一个简单图G 有多少不同的定向图?分析:由于简单图的每条边有两种不同的方向可供选择,因此具有q 条边的无向简单图G 共有2q 个不同的定向图。

解.设),(q p G 是简单图,则G 共有2q 个不同的定向图。

2.简单有向图的基础图一定是简单图吗?分析:有向图的基础图是将有向边变成无向边所得到的无向图,由于在有向图中(u,v )和(v,u) 是两条不同的边,能含有重边,从而不是简单图。

解:不一定,如右图。

3.设),(q p D 是简单有向图,证明:(1)若D 是强连通图,则)1(-≤≤p p q p (2)若D 是弱连通图,则)1(1-≤≤-p p q p分析:强连通图D 是指D 中任意两个顶点间存在双向的通路,因此D 的基础图G 必含H 回路,一条H 回路的边数至少有p 条边,因此p q ≤;另一方面,由于完全强连通图的边数等于)1(-p p ,因此简单有向图D 的边数)1(-≤p p q 。

弱连通图D 是指D 的基础图是连通图的有向图,根据习题5第16题(1)有具有q 个顶点的连通图的边至少有p-1条,因此q p ≤-1。

证明(1)因D 是强连通图,故D 中任意两个顶点v u ,之间既存在),(v u 通路,又存在有向),(u v 一通路,于是,D 的基础图G 必含H 回路.故p q ≤,又因D 是简单有向图.故D 中任何两个顶点之间最多有二条弧,从而)1(-≤p p q ,故)1(-≤≤p p q p .(2)因D 是弱连通图,故D 的基础图G 是连通的,若G 无回路,则1-=p q ,因此,)1(1-≤≤-p p q p4.设),(q p D 是有向图,证明:∑∑==-+==pi pi i D i Du d q u d11)()(分析:)(v d D +是指有向图D 中顶点v 的出度,即以顶点v 为尾的弧的条数;由于D 中的任一弧恰有一个头和一个尾,因此,每增加一条弧,对D 的所有顶点来说,肯定会增加一个出度,同时也会增加一个入度。

离散数学 第12章 树

离散数学 第12章 树

在图12.2.1所示图中,e1, e2 , e3 , e4 , e5 , e9 ,为T 的树枝,
设它们对应的基本割集分别为
(S1, S2 , S3 , S4 , S。5 , 以S6 )树
枝为集合中第一个元素的方式写出它们(当然集合中
的元素是不讲顺序的,这里为了区分树枝和弦)。
S1 {e1, e7 , e8}、S2 、 {e2 , e7 , e8 , e10 , e11} S3 {e3 , e10 , e11} 、S4 {e4 , e6}
的割集是不同的也是显然的。
27
12.2.1 生成树
• 定义12.2.4 设T 是n阶连通图G 的一棵生成树,e1,e2 , ,en1
为G T的对的应树生枝成,S树i 是TG由的树只枝含e树i生枝成e的i 的基割本集割,则称 S i 为
集,i 1,2, , n 1。并称 {S1, S2 , , Sn1} 为G 对应T 的基本 割集系统,称n-1为G 的割集秩,记作 (G)。.
• 例题12.2.1 求图12.2.2所示两个图中的最
小生成树。
1
1
2
2
3
1
53
1
4
5
7
3
2
6
1
4
30
12.2.2 最小代价生成树
• 解 用避圈法算法,求出的(a)中最小生成树
为图T1 12.2.3中(a)中实线边所示的生成 树,W(T1) 6 。(b)中的最小生成树(b)为图 12.2.3中实边所示的生成树T2 ,W (T2 ) 12 。
环(否则,可以将所有的环先删去),将m 条边按权从小到大
顺序排列,设为 e1, e2 ,。,em
中取的e边1在不T能中构,成然回后路依,次则检取查e

大学 离散数学 第一章12

大学 离散数学  第一章12
6
课程的特点是以离散量为研究对象,内容丰富, 涉及面较宽。因此概念多、定理多、推理多并且内容 较为抽象。但由于它是为后继专业知识的学习做必要 的数学准备,因此它研究的内容均比较基础,难度不 大。通过离散数学的学习,不但可以掌握处理离散结 构的描述工具和方法,为后续课程的学习创造条件, 而且可以提高抽象思维和严格的逻辑推理能力。
28
二、命题联结词和命题符号化
1. 简单命题符号化
(1)用小写英文字母 p,q,r,…,pi,qi,ri (i
≥1)表示简单命题 (2)用“1”表示真,用“0”表示假
例如,令
p: 2 是有理数,则 p 的真值为 0, q:2 + 5 = 7,则 q 的真值为 1
29
例1.2 先将下面各陈述句中出现的原子命题符号化, 并指出他们的真值,然后再写出这些陈述。
16
(2)方法性强: 《离散数学》的证明题多,不同的题型会需要不同的证明 方法,同一个题也可能有几种方法。但是《离散数学》证明 题的方法性是很强的,如果知道一道题用什么方法讲明,则 很容易可以证出来,否则就会事倍功半。因此在平时的学习 中,要勤于思考,对于同一个问题,尽可能多探讨几种证明 方法,从而学会熟练运用这些证明方法。同时要善于总结。
7
二、关于离散数学的一些应用
例1 在日常生活中我们常常遇到离散数学的问题。如
果你仔细留心一张世界地图,你会发现用一种颜色对 一个国家着色,那么一共只需要四种颜色就能保证每 两个相邻的国家的颜色不同。这样的着色效果能使每 一个国家都能清楚地显示出来。
8
例2 我国古代的河洛图上记载了三阶幻方,即把从
4
数据结构和算法分析与设计中含有大量离散 结构的内容。在形式证明、验证、密码学的研究 与学习中要有理解形式证明的能力。图论中的概 念被用于计算机网络、操作系统和编译系统等领 域。集合论的概念被用在软件工程和数据库中。

《离散数学》题库答案

《离散数学》题库答案

(1) 只有在生病时,我才不去学校 (2) 若我生病,则我不去学校
(3) 当且仅当我生病时,我才不去学校(4) 若我不生病,则我一定去学校
答:(1) Q P (2) P Q (3) P Q (4) P Q
8、设个体域为整数集,则下列公式的意义是( )。
(1) xy(x+y=0) (2) yx(x+y=0)
答:2 不是偶数且-3 不是负数。
12、永真式的否定是( )
(1) 永真式 (2) 永假式 (3) 可满足式 (4) (1)--(3)均有可能
答:(2)
13、公式( P Q) ( P Q)化简为(
),公式 Q (P (P Q))可化简为
( )。
答: P ,Q P
14、谓词公式x(P(x) yR(y)) Q(x)中量词x 的辖域是( )。
(5) 前进!
(6) 给我一杯水吧!
答:(1) 是,T (4) 是,T
(2) 是,F (5) 不是
(3) 不是 (6) 不是
6、命题“存在一些人是大学生”的否定是(
),而命题“所有的人都是要
死的”的否定是(
)。
答:所有人都不是大学生,有些人不会死
1
7、设 P:我生病,Q:我去学校,则下列命题可符号化为( )。
R (2) R-1 。
答:(1)R={<1,1>,<4,2>} (2) R 1 ={<1,1>,<2,4>}
29、举出集合 A 上的既是等价关系又是偏序关系的一个例子。( )
答:A 上的恒等关系
30、集合 A 上的等价关系的三个性质是什么?(
)
答:自反性、对称性和传递性
31、集合 A 上的偏序关系的三个性质是什么?(

离散数学第3章(12-13)(新教材)(1)

离散数学第3章(12-13)(新教材)(1)

例1.设集合B={a,b,c,d},则集合B的幂集(B)是一 个有16个元素的一个集合,取(B)的一个如下的 子集A A={{a},{d},{a,b},{b,c},{b,c,d}}, 作集合A上如下定义的关系R:<x,y>R当且仅当 x和y含有B中至少一个相同的元素. 如果我们将集合A中的元素简记为: x1={a}, x2={d}, x3={a,b}, x4={b,c}, x5={b,c,d}. 那么关系R可以用通常序偶的形式表示如下: R={<x1,x3>,<x3,x1>,<x2,x5>,<x5,x2>,<x3,x4>, <x4,x3>,<x3,x5>,<x5,x3>,<x4,x5>,<x5,x4>, <x1,x1>,<x2,x2>,<x3,x3>,<x4,x4>,<x5,x5>}.
例2.设给定集合A={a,b,c,d}上两个不同的完全覆盖 T1={{a,b},{a,c,d}},T2={{a,b},{a,c},{a,d},{c,d}}. 试计算它们所产生的两个相容关系. 解: (1){a,b}{a,b}={<a,a>,<b,b>,<a,b>,<b,a>}, {a,c,d}{a,c,d}={<a,a>,<c,c>,<d,d>,<a,c>, <c,a>,<a,d>,<d,a>,<c,d>,<d,c>}, 所以T1所产生的相容关系是 R1={<a,a>,<b,b>,<c,c>,<d,d>,<a,b>,<b,a>, <a,c>,<c,a>,<a,d>,<d,a>,<c,d>,<d,c>}.

离散数学综合练习题答案

离散数学综合练习题答案

离散数学综合练习题答案一、 判断下列命题是否正确(1)错误; (2)错误; (3)正确; (4)错误; (5)错误; (6)正确; (7)错误; (8)正确; (9)正确; (10)错误; (11)正确;(12)正确;(13)正确;(14)正确;(15)正确; (16)正确;(17)正确;(18)正确;(19)正确;(20)正确; (21)正确;(22)错误;(23)正确;(24)正确;(25)正确; (26)正确;(27)正确;(28)正确;(29)正确;(30)错误; (31)正确;(32)错误;(33)错误;(34)错误;(35)错误; (36)正确;(37)正确;(38)正确;(39)错误;(40)错误.二、 填空题(1)n2; (2)}}}{,{}},{{},{,{φφφφφ; (3)3; (4)40; (5)12~~ρρο (6) ρρρ⊆ο; (7)a 称c 为外祖父; (8)5,9;(9)[赵]= {赵茵,赵萍},[钱]= {钱小滨,钱浩,钱钰},[孙]={ 孙丽春}, [李]= {李靖华,李秀娟,李惠芝,李莉}. (10)},,},{,}{},{,},{,}{},{,,,}{,,}{,,,{><><><><><><><><><=A A A b b b A a a a A b a φφφφφρ(11) S ,φ; (12) 1和2;(13)>⊕<6},0{,>⊕<6},3,0{,>⊕<6},4,2,0{,>⊕<66,I ;(14) x -; (15) –2; (16) 1,1; (17) b x a =⋅,b a y =⋅; (18) c b =; (19) e ; (20) 0; (21) 5; (22) m-n +1; (23) 1; (24) 0; (25) 1; (26) 2)1(-n n ; (27) m 2; (28) 11; (29) 1-k ; (30) 偶数; (31) q p ∧; (32) q p →⌝; (33) q p ⌝→⌝; (34) 0; (35) 0; (36) n22; (37))()()(21n a F a F a F ∨∨∨Λ; (38) ))()(()()((x G x F x N x ∨→∀; (39) )()(a G a F ∧; (40) ))()()(())()()((x G x F x x F x G x ⌝∧∃∧→∀.三、 选择题(1) A ; (2) C ; (3) C ; (4) B ; (5) B ; (6) A ; (7) B ; (8) D ; (9) B ; (10)B ; (11)B ; (12)D ; (13)B ; (14)D ; (15)D ; (16)C ; (17)C ; (18)D ; (19)C ; (20)A ; (21)A ; (22)B ; (23)B ; (24)C ; (25)B ; (26)B ; (27)B ; (28)A ; (29)B ; (30)C ; (31)B ; (32)C ; (33)B ; (34)A ; (35)A ; (36)D ; (37)D ; (38)B ; (39)B ; (40)B.四、 解答题1. 解 (1)ρ的关系矩阵为⎪⎪⎪⎪⎪⎭⎫⎝⎛=1100110000110011ρM (2)从ρ的关系矩阵可知:ρ是自反的和对称的。

离散数学sec12 图的着色

离散数学sec12 图的着色
9作业来自• 第十二章 5,9, 146
地图的面着色
地图的面着色可转化成对偶图的点着色 定理12.13 地图G是k-面可着色的当且仅当它的对偶图
G*是k-点可着色的. 证明简单 定理12.15:每个平面图都是6可点(面)着色的。 定理12.16(Heawood):每个平面图都是5可点(面)着 色的。 四色定理:任何平面图都是4可着色的。
证明线索:对G的阶数n做归纳.
定理12.6:(Brooks)若连通无向图G不是Kn, (n3),也不是奇数阶的圈,则
(G) (G) 4 例:Petersen图的点色数为3.
地图着色与平面图的点着色
定义12.3 (1) 地图——连通无桥平面图(嵌入)与所有的面 (2) 国家——地图的面 (3) 两个国家相邻——它们的边界至少有一条公共边
第十二章 图的着色
▪点着色 ▪地图着色与平面图的点着色 ▪边着色
点着色
k可(点)着色:如果无环图G的每个顶点都可 用k种颜色之一着色,使得任意两个不同的相 邻顶点有不同颜色,则称G是k可(点)着色的。
点色数:如果G是k可点着色的,但不是k-1可 点着色的,则称G的点色数为k,记为
k可边(面)着色,边(面)色数
G1
G2
2
关于点着色的几个简单结果
① (G)=1当且仅当G为零图 ② (Kn)=n ③ 若G为奇圈或奇阶轮图,则(G)=3,若G为偶阶轮图,则
(G)=4. ④ 若G的边集非空,则(G)=2当且仅当G为二部图.
上述各图中,色数分别为2,3,4,5
色数的上界
定理12.5:对于任意无向图G,均有 (G) (G)+1
边着色
例12.7 某中学,星期一由m位教师给n个班上课: 1. 这一天至少要安排多少节课? 2. 在节数不增加的条件下至少需要几个教室? 3. 若m=4,n=5,设教员为t1,t2,t3,t4,班级

离散数学试卷与答案12

离散数学试卷与答案12

一、 填空 20% (每空 2分)1、 设集合A={1,2,3,4,5,6,7,8,9,10},定义A 上的二元关系“≤”为x ≤ y = x|y , 则y x ∨= 。

2、 设},2|{N n x x A n ∈==,定义A 上的二元运算为普通乘法、除法和加法,则代数系统<A,*>中运算*关于 运算具有封闭性。

3、 设集合S={α,β,γ,δ,δ},S 上的运算*定义为则代数系统<S ,*>中幺元是 ,β左逆元是 , 无左逆元的元素是 。

4、 在群坯、半群、独异点、群中 满足消去律。

5、 设<G ,*>是由元素G a ∈生成的循环群,且|G|=n ,则G = 。

6、 拉格朗日定理说明若<H , *>是群<G ,*>的子群,则可建立G 中的等价关系R= 。

若|G|=n, |H|=m 则m 和n 关系为 。

7、 设f 是由群<G ,☆>到群<G ',*>的同态映射,e '是G '中的幺元,则f 的同态核Ker(f )= 。

二、 选择 20% (每小题 2分)1、设f 是由群<G ,☆>到群<G ',*>的同态映射,则ker (f)是( )。

A 、G '的子群;B 、G 的子群 ;C 、包含G ';D 、包含G 。

2、设 <A ,+ ,·>是环,A b a ∈∀,,a ·b 的关于“+”的逆元是( )。

A 、(-a)·(-b);B 、(-a)·b ;C 、a ·(-b);D 、a ·b 。

3、设 <A ,+ ,·>是一代数系统且<A ,+ >是Abel 群,如果还满足( )<A ,+ ,·>是域。

A 、<A ,·>是独异点且·对+可分配;B 、<A-{θ} ,·>是独异点,无零因子且·对+可分配;C 、<A-{θ} ,·>是Abel 群且无零因子 ;D 、<A-{θ} ,·>是Abel 且·对+可分配。

离散数学-第12章 代数系统

离散数学-第12章 代数系统
2023/11/27
12.3.1 二元运算律
例12.3.1 设“+”是定义在自然数集合N上的普通 加法运算,试回忆N上的加法运算“+”满足哪些运 算性质? 分析 对 a, b, c∈N,有 (a + b) + c = a + (b + c),即结合律成立; a + b = b + a,即交换律成立;
(4)由于给出了运算表,因此可以根据运算表直 接观察可得。 解(1)<R, +>中的幺元是0; (2)<R+, +>中无幺元; (3)< P(A×A), >中的幺元是恒等关系IA; (4)<A, , , >中关于运算“”有左幺元a和 b,但无右幺元,因此无幺元,关于运算“”无左 幺元,但有右幺元b和c,因此无幺元;关于运算 “”有幺元a。
五角
表 五角 纯净水
一元 矿泉水
一元 矿泉水 橘子水
2023/11/27
例12.2.1(续)
分析 设集合A = {五角,一元},集合C = {纯净 水,矿泉水,橘子水},则表12.2.1实质上是 A×A→C的映射,也就是A×A到C的一个运算 “”。
解 (1)、(2)中定义的映射是二元运算。
2023/11/27
2023/11/27
1元代数运算表
当元素有限时,一元运算也可 以用运算表来说明。
设“”是A到A的一元运算,其 中 A = {a1, a2, …, an} , 则 一元运算“”可以用右表说明。
1元运算表
a
(a)
a1
(a1)
a2
(a2)


an
(an)
2023/11/27

离散数学课后答案

离散数学课后答案

离散数学课后答案习题一6.将下列命题符号化。

(1)小丽只能从框里那一个苹果或一个梨.(2)这学期,刘晓月只能选学英语或日语中的一门外语课.答:(1)(p Λ¬q )ν(¬pΛq)其中p:小丽拿一个苹果,q:小丽拿一个梨(2)(p Λ¬q )ν(¬pΛq)其中p:刘晓月选学英语,q:刘晓月选学日语14.将下列命题符号化.(1) 刘晓月跑得快, 跳得高.(2)老王是山东人或河北人.(3)因为天气冷, 所以我穿了羽绒服.(4)王欢与李乐组成一个小组.(5)李辛与李末是兄弟.(6)王强与刘威都学过法语.(7)他一面吃饭, 一面听音乐.(8)如果天下大雨, 他就乘班车上班.(9)只有天下大雨, 他才乘班车上班.(10)除非天下大雨, 他才乘班车上班.(11)下雪路滑, 他迟到了.(12)2与4都是素数, 这是不对的.(13)“2或4是素数, 这是不对的”是不对的.答:(1)p∧q, 其中, p: 刘晓月跑得快, q: 刘晓月跳得高.(2)p∨q, 其中, p: 老王是山东人, q: 老王是河北人.(3)p→q, 其中, p: 天气冷, q: 我穿了羽绒服.(4)p, 其中, p: 王欢与李乐组成一个小组, 是简单命题.(5)p, 其中, p: 李辛与李末是兄弟.(6)p∧q, 其中, p: 王强学过法语, q: 刘威学过法语.(7)p∧q, 其中, p: 他吃饭, q: 他听音乐.(8)p→q, 其中, p: 天下大雨, q: 他乘班车上班.(9)p→q, 其中, p: 他乘班车上班, q: 天下大雨.(10)p→q, 其中, p: 他乘班车上班, q: 天下大雨.(11)p→q, 其中, p: 下雪路滑, q: 他迟到了.(12) ¬ (p∧q)或¬p∨¬q, 其中, p: 2是素数, q: 4是素数.(13) ¬ ¬ (p∨q)或p∨q, 其中, p: 2是素数, q: 4是素数.16.19.用真值表判断下列公式的类型:(1)p→ (p∨q∨r) (2)(p→¬q) →¬q(3) ¬ (q→r) ∧r(4)(p→q) →(¬q→¬p)(5)(p∧r) ↔( ¬p∧¬q)(6)((p→q) ∧ (q→r)) → (p→r)(7)(p→q) ↔ (r↔s)答:(1), (4), (6)为重言式.(3)为矛盾式.(2), (5), (7)为可满足式习题二9.用真值表求下面公式的主析取范式.(1) (pνq)ν(¬pΛr)(2) (p→q) →(¬p↔q)答:(1)(2)p q (p → q) →(¬p ↔ q)0 0 1 0 0 10 1 1 1 1 01 0 0 1 1 11 1 1 0 0 0从真值表可见成真赋值为01, 10.于是(p → q) →(¬p ↔ q) ⇔ m1 ∨ m211.用真值表求下面公式的主析取范式和主合取范式;(1) (pνq)Λr(2) p→(pνqνr)(3) ¬(q→¬p)Λ¬p15.用主析取范式判断下列公式是否等值:(1) (p→q) →r与q→ (p→r)(2) ¬(pΛq)与(¬pνq)答:(1)(p→q) →r ⇔¬(¬p∨q) ∨ r ⇔¬(¬p∨q) ∨ r ⇔ p¬∧q ∨ r ⇔p¬∧q∧(r¬∨r) ∨(p¬∨p) ∧(q¬∨q)∧r ⇔p¬∧q∧r ∨p¬∧q∧¬r ∨ p ∧q∧r ∨ p∧¬q∧r ∨¬p∧q∧r ∨¬p∧¬q∧r = m101 ∨ m100 ∨ m111 ∨m101 ∨ m011 ∨ m001 ⇔m1 ∨ m3 ∨ m4 ∨ m5 ∨ m7 = ∑(1, 3, 4, 5, 7).而 q→(p→r) ⇔¬q ∨(¬p∨r) ⇔¬q ∨¬p ∨r ⇔(¬p∨p)¬∧q∧(¬r∨r) ∨¬p∧(¬q∨q)∧(¬r∨r) ∨(¬p∨p)∧(¬q∨q)∧r ⇔(¬p¬∧q∧¬r)∨(¬p¬∧q∧r)∨(p¬∧q∧¬r)∨(p¬∧q∧r) ∨(¬p∧¬q∧¬r)∨(¬p∧¬q∧r)∨(¬p ∧q∧¬r)∨(¬p∧q∧r) ∨(¬p∧¬q∧r)∨(¬p∧q∧r)∨(p∧¬q∧r)∨(p∧q∧r) = m0 ∨ m1 ∨ m4 ∨ m5 ∨ m0 ∨ m1 ∨ m2 ∨ m3 ∨ m1 ∨ m3 ∨ m5 ∨m7 ⇔ m0 ∨ m1 ∨ m2 ∨ m3 ∨ m4 ∨ m5 ∨ m7 ⇔∑(0, 1, 2, 3, 4, 5, 7). 两个公式的主吸取范式不同, 所以(p→q) →rk q→ (p→r).16. 用主析取范式判断下列公式是否等值:(1)(p→q) →r与q→ (p→r)(2) ¬ (p∧q)与¬ (p∨q)答:(1)(p→q) →r) ⇔m1∨m3∨m4∨m5∨m7q→ (p→r) ⇔m0∨m1∨m2∨m3∨m4∨m5∨m7所以(p→q) →r) k q→ (p→r)(2)¬ (p∧q) ⇔m0∨m1∨m2¬ (p∨q) ⇔m0所以¬ (p∧q) k ¬ (p∨q)习题三15.在自然推理系统P中用附加前提法证明下面各推理:(1)前提: p→ (q→r), s→p, q 结论: s→r(2)前提: (p∨q) → (r∧s), (s∨t) →u 结论: p→u答:(1)证明: ① s 附加前提引入② s→p 前提引入③ p ①②假言推理④ p→(q→r) 前提引入⑤ q→r ③④假言推理⑥ q 前提引入⑦ r ⑤⑥假言推理(2)证明: ① P 附加前提引入② p∨q ①附加③ (p∨q) → (r∧s) 前提引入④ r∧s ②③假言推理⑤④化简⑥ s∨t ⑤附加⑦ (s∨t) →u 前提引入⑧ u ⑥⑦假言推理16.在自然推理系统P中用归谬法证明下面推理:(1)前提: p→¬q, ¬r∨q, r∧¬s 结论: ¬p(2)前提: p∨q, p→r, q→s 结论: r∨s答:(1)证明: ① P 结论否定引入② p→¬q 前提引入③¬q ①②假言推理④¬r∨q 前提引入⑤¬r ③④析取三段论⑥ r∧¬s 前提引入⑦ r ⑥化简⑧¬r∧r ⑤⑦合取⑧ 为矛盾式, 由归谬法可知, 推理正确.(2)证明: ①¬ (r∨s) 结论否定引入② p∨q 前提引入③ p→r 前提引入④ q→s 前提引入⑤ r∨s ②③④构造性二难⑥¬ (r∨s) ∧ (r∨s) ①⑤合取⑥为矛盾式, 所以推理正确.18.在自然推理系统P中构造下面推理的证明.(1)如果今天是星期六, 我们就要到颐和园或圆明园去玩. 如果颐和园游人太多, 我们就不去颐和园玩. 今天是星期六. 颐和园游人太多. 所以我们去圆明园玩.(2)如果小王是理科学生, 他的数学成绩一定很好. 如果小王不是文科生, 他必是理科生. 小王的数学成绩不好. 所以小王是文科学生.(1)令 p: 今天是星期六;q: 我们要到颐和园玩;r: 我们要到圆明园玩;s:颐和园游人太多.前提: p→ (q∨r), s →¬q, p, s. 结论: r.证明① p 前提引入② p→q∨r前提引入③q∨r①②假言推理④s前提引入⑤ s →¬q前提引入⑥¬q ④⑤假言推理⑦ r ③⑥析取三段论r ¬q s →¬q sq∨r p→q∨r p(2)令p: 小王是理科生,q: 小王是文科生,r: 小王的数学成绩很好.前提: p→r, ¬q→p, ¬r 结论: q证明:① p→r 前提引入②¬r 前提引入③¬p ①②拒取式④¬q→p 前提引入⑤ q ③④拒取式习题四在一阶逻辑中将下列命题符号化:(1)没有不能表示成分数的有理数.(2)在北京卖菜的人不全是外地人.(3)乌鸦都是黑色的.(4)有的人天天锻炼身体. 没指定个体域, 因而使用全总个体域.答:(1) ¬∃x(F(x) ∧¬G(x))或∀x(F(x) →G(x)), 其中, F(x): x为有理数, G(x): x能表示成分数.(2) ¬∀x(F(x) →G(x))或∃x(F(x) ∧¬G(x)), 其中, F(x): x在北京卖菜,G(x): x是外地人.(3) ∀x(F(x) →G(x)), 其中, F(x): x是乌鸦, G(x): x是黑色的.(4) ∃x(F(x) ∧G(x)), 其中, F(x): x是人, G(x): x天天锻炼身体.5. 在一阶逻辑中将下列命题符号化:(1)火车都比轮船快.(2)有的火车比有的汽车快.(3)不存在比所有火车都快的汽车.(4)“凡是汽车就比火车慢”是不对的.答:因为没指明个体域, 因而使用全总个体域(1) ∀x∀y(F(x) ∧G(y) →H(x,y)), 其中, F(x): x是火车, G(y): y是轮船, H(x,y):x比y快.(2) ∃x∃y(F(x) ∧G(y) ∧H(x,y)), 其中, F(x): x是火车, G(y): y是汽车, H(x,y):x比y快.(3) ¬∃x(F(x) ∧∀y(G(y) →H(x,y))) 或∀x(F(x) →∃y(G(y) ∧¬H(x,y))), 其中, F(x): x是汽车, G(y): y是火车, H(x,y):x比y快.(4) ¬∀x∀y(F(x) ∧G(y) →H(x,y)) 或∃x∃y(F(x) ∧G(y) ∧¬H(x,y) ), 其中, F(x): x是汽车, G(y): y是火车, H(x,y):x比y慢.9.给定解释I如下:(a)个体域DI为实数集合\.(b)DI中特定元素⎯a =0.(c)特定函数⎯f (x,y)=x−y, x,y∈DI.(d)特定谓词⎯F(x,y): x=y,⎯G(x,y): x<y, x,y∈DI.说明下列公式在I下的含义, 并指出各公式的真值:(1) ∀x∀y(G(x,y) →¬F(x,y))(2) ∀x∀y(F(f(x,y),a) →G(x,y))(3) ∀x∀y(G(x,y) →¬F(f(x,y),a))(4) ∀x∀y(G(f(x,y),a) →F(x,y))答:(1) ∀x∀y(x<y→x≠y), 真值为1.(2) ∀x∀y((x−y=0) →x<y), 真值为0.(3) ∀x∀y((x<y) → (x−y≠0)), 真值为1.(4) ∀x∀y((x−y<0) → (x=y)), 真值为0.习题五5.给定解释I如下:(a) 个体域D={3,4}.(b)⎯f (x)为⎯f (3)=4,⎯f (4)=3.(c)⎯F(x,y)为⎯F(3,3)=⎯F(4,4)=0,⎯F(3,4)=⎯F(4,3)=1.试求下列公式在I下的真值:(1) ∀x∃yF(x,y)(2) ∃x∀yF(x,y)(3) ∀x∀y(F(x,y) →F(f(x),f(y)))答:(1) ∀x∃yF(x,y)⇔(F(3,3)∨F(3,4))∧(F(4,3)∨F(4,4))⇔(0∨1)∧(1∨0) ⇔1(2)∃x∀yF(x,y)⇔(F(3,3)∧F(3,4))∨(F(4,3)∧F(4,4))⇔(0∧1)∨(1∧0)⇔0(3)∀x∀y(F(x,y)→F(f(x),f(y)))⇔(F(3,3)→F(f(3),f(3)))∧(F(4,3)→F(f(4),f(3)))∧(F(3,4)→F(f(3),f(4)))∧(F(4,4)→F(f(4),f(4))) ⇔ (0→0)∧(1→1)∧(1→1)∧(0→0)⇔112.求下列各式的前束范式.(1) ∀xF(x) →∀yG(x, y);(3) ∀xF(x, y) ↔∃xG(x, y);答:前束范式不是唯一的.(1) ∀xF(x) →∀yG(x, y) ⇔∃x(F(x) →∀yG(x, y))⇔∃x∀y(F(x) → G(x, y)).(3) ∀xF(x, y) ↔∃xG(x, y) ⇔ (∀xF(x, y) →∃xG(x, y)) ∧ (∃xG(x, y) →∀xF(x, y)) ⇔ (∀x1F(x1, y) →∃x2G(x2, y)) ∧ (∃x3G(x3, y) →∀x4F(x4, y)) ⇔∃x1∃x2(F(x1, y) → G(x2, y)) ∧∀x3∀x4(G(x3, y) → F(x4, y)) ⇔∃x1∃x2∀x3∀x4((F(x1, y) → G(x2, y)) ∧ (G(x3, y) → F(x4, y))).13.将下列命题符号化, 要求符号化的公式全为前束范式:(1) 有的汽车比有的火车跑得快.(2) 有的火车比所有的汽车跑得快.(3) 说所有的火车比所有的汽车跑得快是不对的.(4) 说有的飞机比有的汽车慢是不对的.答:(1)令F(x):x是汽车,G(y):y是火车,H(x,y):x比y跑得快.∃x(F(x)∧∃y(G(y)∧H(x,y))⇔∃x∃y(F(x)∧G(y)∧H(x, y)).(2)令F(x):x是火车, G( y): y 是汽车,H(x,y):x比y跑得快.∃x(F(x)∧∀y(G(y)→ H(x,y)))⇔∃x∀y(F(x)∧(G y)→H(x,y))).;错误的答案:∃x∀y(F(x)∧G(y)→H(x,y)).(3)令F(x):x是火车,G(y):y是汽车,H(x,y):x比y跑得快.¬∀x(F(x)→∀y(G(y)→H(x,y)))⇔¬∀x∀y(F(x)→(G(y)→H(x,y)))⇔¬∀x∀y(F(x)∧G(y)→H(x,y))(不是前束范式)⇔∃x∃y(F(x)∧G(y)∧H(x,y)).(4)令F(x):x是飞机,G(y):y是汽车,H(x,y):x比y跑得慢.¬∃x(F(x)∧∃y(G(y)∧H(x,y)))⇔¬∃x∃y(F(x)∧G(y)∧H(x,y))(不是前束范式)⇔∀x∀y¬(F(x)∧G(y)∧H(x,y))⇔∀x∀y(F(x)∧G(y)→¬H(x,y)).21.24.在自然推理系统F中, 构造下面推理的证明:每个喜欢步行的人都不喜欢骑自行车. 每个人或者喜欢骑自行车或者喜欢乘汽车. 有的人不喜欢乘汽车, 所以有的人不喜欢步行. (个体域为人类集合) 答:令 F(x): x 喜欢步行, G( x): x喜欢骑自行车, H(x): x 喜欢乘汽车.前提:∀x(F(x)→¬G(x)), ∀x(G(x)∨H(y)),∃x¬H(x).结论:∃x¬F(x).② ∀x(G(x) ∨ H(y)) 前提引入② G(c) ∨ H(c) ①UI③∃x¬H(x) 前提引入④¬H(c) ③UI⑤ G(c) ②④析取三段⑥∀x(F(x) →¬G(x)) 前提引入⑦ F(c) →¬G(c) ⑥UI⑧¬F(c) ⑤⑦拒取⑨∃x¬F(x) ⑧EG习题七12.设A={0, 1, 2, 3}, R是A上的关系, 且R={〈0, 0〉, 〈0, 3〉, 〈2, 0〉, 〈2,1〉, 〈2, 3〉, 〈3, 2〉} 给出R的关系矩阵和关系图.16.设A={a,b,c,d}, R1,R2为A上的关系, 其中R1={〈a,a〉,〈a,b〉,〈b,d〉}R2={〈a,d〉,〈b,c〉,〈b,d〉,〈c,b〉} 求R1·R2, R2·R1,R1²,R2³. R1·R2={〈a,a〉,〈a,c〉,〈a,d〉},R2·R1={〈c,d〉}, R1²={〈a,a〉,〈a,b〉,〈a,d〉},R2³={〈b,c〉,〈b,d〉,〈c,b〉}20.设R1和R2为A上的关系,证明: (1)(R1∪R2) −1=R1−1∪R2−1(2)(R1∩R2) −1=R1−1∩R2−1答:(1)(R1∪R2)−1=R1−1∪R2−1任取〈x,y〉〈x,y〉(∈R1∪R2)−1⇔〈y,x〉(∈R1∪R2)⇔〈y,x〉∈R1∨ (y,x)∈R2)⇔〈x,y〉∈R1−1∨〈x,y〉∈R2−1⇔〈x,y〉∈R1−1∨R2−1所以(R1∪R2) −1=R1−1∪R2−1(2)(R1∩R2) −1=R1−1∩R2−1 任取〈x,y〉〈x,y〉(∈R1∩R2) −1⇔〈y,x〉(∈R1∩R2)⇔〈y,x〉∈R1∧ (y,x)∈R2)⇔〈x,y〉∈R1−1∧〈x,y〉∈R2−1⇔〈x,y〉∈R1−1∧R2−1所以(R1∪R2) −1=R1−1∩R2−126.33.43.16.47.。

离散数学1. (12)

离散数学1. (12)
(3)推理形式结构为
(p→r)∧┐r→┐p
此形式结构为重言式,即
(p→r)∧┐r┐p
故推理正确。
(4)推理形式结构为
(p→q)∧┐p→┐q
此形式结构不是重言式,故推理不正确。
(5)推理形式结构为
p→(q∨r)
它不是重言式,故推理不正确。
(6)推理形式结构为
(p r)∧┐p→┐r
此形式结构为重言式,即
注意:有人说,前提中无s出现,结论却有s出现,所以推理不正确。此说法不对,
他忘了附加推理规则。(3)前提:┐p∨r,┐q源自s,p∧q;结论:r∧s证明:
①┐p∨r前提引入
②p∧q前提引入
③p②化简
④r①③析取三段论
⑤┐q∨s前提引入
⑥q②化简
⑦s⑤⑥析取三段论
⑧r∧s④⑦合取
(4)前提:p→(q→r),s→q,q;结论:s→r
结论:t→(r∨s)
答案2.
(1)证明:
①p→(q→r)前提引入
②p前提引入
③q→r①②假言推理
④q前提引入
⑤r③④假言推理
⑥r∨s⑤附加律
(2)证明:
①┐(q∧r)前提引入
②┐q∨┐r①置换
③r前提引入
④┐q②③析取三段论
⑤p→q前提引入
⑥┐p④⑤拒取式
(3)证明:
①p→q前提引入
②┐p∨q①置换
然后制作(*)的真值表,见下表
(*)的真值表
由于真值表的最后一列全为1,故(*)为重言式,因而推理正确。
方法二、等值演算法
(p→┐r)∧(q→r)→(q→┐r)
(┐p∨┐r)∧(┐q∨r)→(┐q∨┐p)(蕴涵等值式)
┐((┐p∨┐r)∧(┐q∨r))∨(┐q∨┐p)(蕴涵等值式)

离散数学尚德

离散数学尚德

离散数学是数学的一个重要分支,它研究的是离散对象(例如,集合、图、树、逻辑等)的性质和结构。

离散数学在计算机科学、数学和工程领域中有着广泛的应用,因为这些领域中的许多问题都可以用离散数学的方法来解决。

离散数学的主要内容包括集合论、图论、逻辑、组合数学等。

这些内容可以单独学习,也可以综合起来学习。

离散数学的方法和技巧可以用来解决各种问题,例如计算机算法设计、数据结构、计算机图形学、人工智能、通信系统等。

在学习离散数学时,需要掌握基本的数学概念和方法,例如集合的表示、图形的绘制、逻辑推理等。

同时,也需要理解离散对象的性质和结构,例如集合的子集、图中的路径和连通性、逻辑的推理规则等。

通过学习和实践,可以培养出逻辑推理、问题解决和抽象思维的能力。

总之,离散数学是一门非常重要的学科,它可以为计算机科学、数学和工程领域的研究和实践提供基础和工具。

如果你对这些领域感兴趣,学习离散数学是非常有价值的。

离散数学12.小项、大项

离散数学12.小项、大项

教学设计课程名称《离散数学》教师姓名授课题目小项、大项授课章节§1.7对偶与范式授课对象数学与应用数学专业教学目标掌握小项(大项)的写法及性质教学方式启发式教学内容小项(大项)的概念及性质,会使用真值表法求命题公式的小项(大项)教学重点小项(大项)的写法及性质、求解教学难点小项的性质教学方法和策略采用多媒体课件辅助,分析小项的概念和真值情况、性质,分析利用真值表写出小项(大项)的方法;注意师生互动,以学生为教学主体,共同完成教学目标。

学情分析学生已经掌握了析取范式、合取范式的求解,思考如何寻找范式的“标准”形式。

教学评价师生互动,启发式教学引导学生思考并进而解决问题;深入分析,用例题加深学生对知识点的理解。

课程资源参考书目,网上教学视频,网络微课。

JINING UNIVERSITY教学过程:一、小项1、定义1-7.4 n个命题变元的合取式,称作布尔合取或小项,其中每个变元与它的否定不能同时存在,但两者必须出现且仅出现一次。

例如,两个命题变元P,Q的小项为:P∧Q,P∧¬Q,¬P∧Q, ¬P∧¬Q;注:1)有n个变元,则有2n个小项。

2)每一组指派有且只有一个小项为T。

没有两个小项是等价的。

2、小项的编码m00=m0=⌝P∧⌝Q,m01=m1= ⌝P∧Q,m10=m2= P∧⌝Q,m11=m3=P∧Q 为了记忆方便,可将各组指派对应的为T的小项分别记作m0, m1, m2,…, m2n-1三个命题变元P,Q,R的小项为:P∧Q∧R,P∧Q∧¬R,P∧¬Q∧R, P∧¬Q∧¬R, ¬P∧Q∧R, ¬P∧Q∧¬R, ¬P∧¬Q∧R,¬P∧¬Q∧¬R.m000= m0= ⌝P∧⌝Q∧⌝R , m001= m1= ⌝P∧⌝Q ∧Rm010= m2= ⌝P∧Q ∧⌝R, m011`= m3= ⌝P∧Q ∧Rm100= m4= P∧⌝Q ∧⌝R , m101= m5= P∧⌝Q ∧Rm110= m6= P∧Q ∧⌝R , m111= m7= P∧Q ∧R3、小项的性质性质1 :每个小项当其真值指派与编码相同的时,其真值为T,在其余2n -1种指派情况下均为F。

离散数学第5版答案

离散数学第5版答案

(10)p:小李在宿舍里. p 的真值则具体情况而定,是确定的。 (12) p ∨ q ,其中, p : 4 是偶数,q : 4 是奇数。由于 q 是假命题,所以,q 为假命题, p ∨ q 为真命题。 (13)p ∨ q ,其中,p : 4 是偶数,q : 4 是奇数,由于 q 是假命题,所以,p ∨ q 为假命题。 (14) p:李明与王华是同学,真值由具体情况而定(是确定的)。 (15) p:蓝色和黄色可以调配成绿色。这是真命题。 分析 命题的真值是唯一确定的,有些命题的真值我们立即可知,有些则不 能马上知道,但它们的真值不会变化,是客观存在的。 1.3 令 p : 2 + 2 = 4, q : 3 + 3 = 6, 则以下命题分别符号化为 (1) p → q (2) p → ¬q (3) ¬p → q (4) ¬p → ¬q (5) p ↔ q (6) p ↔ ¬q (7) ¬p → q (8) ¬p ↔ ¬q 以上命题中,(1),(3),(4),(5),(8)为真命题,其余均为假命题。 分析 本题要求读者记住 p → q 及 p ↔ q 的真值情况。p → q 为假当且仅当 p 为真,q 为假,而 p ↔ q 为真当且仅当 p 与 q 真值相同.由于 p 与 q 都是真命题, 在 4 个蕴含式中,只有(2) p → r ,其中,p 同(1),r:明天为 3 号。 在这里,当 p 为真时,r 一定为假, p → r 为假,当 p 为假时,无论 r 为真 还是为假, p → r 为真。
(蕴含等值式)
⇔ (( p → q) ∧ (q → p))
⇔ ¬((¬p ∨ q) ∨ (¬p ∨ q))
⇔ ¬((¬p ∧ q) ∨ (¬p∧) ∨ (q ∧ ¬q) ∨ ( p ∧ q))

《离散数学》ch(12)

《离散数学》ch(12)
The sequence {an} with an=rn is a solution if and only if r is the solution of the last equation (characteristic equation, 特征方程).
The solutions of this equation are called the characteristic roots (特征根) of the recurrence relation.
if and only if
整理课件
an = (α1,0 + α1,1n +…+ α1,m1-1nm1-1)r1n + (α2,0 + α2,1n +…+ α2,m2-1nm2-1)r2n +… + (αt,0 + αt,1n +…+ αt,mt-1nmt-1)rtn
For n=0,1 ,2, …, where αi,j are constants for 1≤i≤t and 0≤j≤mi-1
an=6an-1-11an-2+6an-3
with the initial conditions a0=2, a1=5, and a2=15. 解:这个递推关系的特征方程是:
r3-6r2+11r-6=0 因为r3-6r2+11r-6=(r-1)(r-2)(r-3)=0,所以特征方程
的根是r=1, r=2和r=3。因此递推关系的解是:
an=1 - 2n + 2∙3n
整理课件
(9) Theorem 4 (page 418)
Let c1, c2, …, ck be real numbers. Suppose that the characteristic equation

离散数学 (12)

离散数学 (12)
反证 , 若 p(x) 可约 , 则存在 h(x), g(x)F(x), 且 0<degh(x),degg(x)<degp(x), 使得p(x)=h(x)*g(x) 因此h(x),g(x)(p(x)),即 (p(x))+h(x) 和 (p(x))+g(x) 都不是 F[x]/(p(x)) 的 零元.但 ((p(x))+h(x))((p(x))+g(x))=(p(x))+h(x)g(x) =(p(x))+p(x)=(p(x))为F[x]/(p(x))的零元 而F[x]/(p(x))是域,无零因子.
例:讨论商环Z3[x]/(x4+1)是否为域。
x4+1=(x2+2x+2)(x2+x+2),
所以Z3[x]/(x4+1)不是域
Z3[x]/(x2+1)
x2+1在Z3上不可约,
Z3[x]/(x2+1)为域 Z3[x]/(x2+1)
={ax+b|a,bZ3} 共有9个元素 省略了(x2+1)。 常以这种简化的方式写商域中的元素 各非零元素的逆。 多项式关于某个不可约多项式模的逆的 计算
F[x]/(p(x))= {(p(x))
n 1 i 1
i | a F, i 1, n#43;,*]是Z2上的多项式环。取p(x)=
x2+x+1,则:Z2[x]/(p(x))={(p(x)), (p(x))+1, (p(x))+x,(p(x))+(x+1)},简化为{0,1,x,x+1}
0 1 x x+1 0 1 x x+1 0 0 1 x x+1 0 0 0 0 0 1 1 0 x+1 x 1 0 1 x x+1 x x x+1 0 1 x 0 x x+1 1 x+1 x+1 x 1 0 x+1 0 x+1 1 x
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
(4) a,b∈L 有 a∨(a∧b)=a 和 a∧(a∨b)=a
17
证明
只证 (1) 和 (2). 根据对偶原理,只证其中一个等式即可. (1) a∨b是{a, b}的最小上界,b∨a是{b, a}的最小上界. 由于 {a, b}={b, a}, 所以 a∨b=b∨a. (1) 由最小上界定义有下述不等式: (a∨b)∨c≽a∨b≽a ① (a∨b)∨c≽a∨b≽b ② (a∨b)∨c≽c ③ 由式 ②和③ (a∨b)∨c≽b∨c ④ 由式①和④有 (a∨b)∨c≽a∨(b∨c). 同理可证 (a∨b)∨c≼a∨(b∨c). 根据偏序的反对称性得 (a∨b)∨c=a∨(b∨c).
14
实例(续)
例8 判断下列偏序集是否构成格,并说明理由. (1) <P(B), >,其中P(B)是集合B的幂集. (2) <Z, ≤>,其中Z是整数集,≤为小于或等于关系. (3) 偏序集的哈斯图分别给下图
解: (1),(2)是格,(3)中的都不是格.
15
格的性质——对偶原理
定义14.30 设 f 是含有格中元素以及符号=,≼ ,≽ ,∨和∧的 命题.令f*是将 f 中的≼替换成≽、≽替换成≼、∨替换成∧、 ∧替换成∨所得到的命题. 称 f* 为 f 的对偶命题. 例如在格中令 f 是 (a∨b)∧c≼c, f*是 (a∧b)∨c≽c . 那么 f 与 f* 互为对偶命题. 格的对偶原理 设 f 是含有格中元素以及符号=、≼、≽、 ∨ 和∧等的命题,若 f 对一切格为真, 则 f 的对偶命题 f*也对 一切格为真. 例如, 对一切格L命题“a,b∈L, a∧b≼a”都成立. 根据对 偶 16 原理,对一切格L,命题 “a,b∈L, a∨b≽a”也为真.
10
实例
例6 判断下列集合和给定运算是否构成环、整环和域. 如果不构成, 说明理由. (1) A= {a+bi | a,b∈Q}, 其中i2= 1, 运算为复数加法和 乘法. (2) A={2z+1 | z∈Z}, 运算为实数加法和乘法. (3) A={2z | z∈ Z}, 运算为实数加法和乘法. (4) A={x | x≥0 ∧ x∈Z}, 运算为实数加法和乘法. (5) A { a b 4 5 | a , b Q } 解 (1) 是环, 是整环, 也是域. (2) 不是环, 关于加法不封闭. (3) 是环, 不是整环和域, 乘法没有单位元. (4) 不是环, A关于加法不构成群. (5) 不是环, 关于乘法不封闭. 11
小上界和最大下界看成 x与y 的二元运算∨和∧,即 x∨y 和 x∧y 分别表示x与y的最小上界和最大下界. 注意:这里出现的∨和∧符号只代表格中的运算,而不 再有其他的含义.
13
实例
例7 设n是正整数,Sn是n的正因子的集合. D为整除关系, 则偏序集<Sn,D>构成格. x,y∈Sn,x∨y是 lcm(x,y),即x与 y的最小公倍数;x∧y是 gcd(x,y),即 x与y 的最大公约数. 实例:
23
实例
例9 指出下图中哪些格是分配格?
解 L1和L2是分配格, L3和L4不是分配格. 在L3中有 b∧(c∨d)=b∧e=b,(b∧c)∨(b∧d)=a∨a=a 在L4中有 c∨(b∧d)=c∨a=c,(c∨b)∧(c∨d)=e∧d=d 称L3为钻石格, L4为五角格. 这两个5元格在分配格的 判别中有着重要的意义.
6
环同态
定义14.26 设R1和R2是环. f :R1→R2,若对于任意的 x, y ∈R1有 f(x+y)= f(x)+f(y), f(xy)= f(x) f(y) 成立,则称 f 是环R1到 R2 的同态映射,简称环同态.
例4 设R1=<Z,+,· >是整数环,R2=<Zn,,>是模n的整 数环. 令f :Z→Zn, f(x)= x modn,则x, y∈Z有 f(x+y)=(x+y)mod n= xmod n ymod n = f(x)f(y) f(xy)=(xy)mod n=xmod n ymod n = f(x)f(y) f 是R1到R2的同态,是满同态.
定义14.33 设 f:L1L2,若x,yL1,有 f(xy) = f(x)f(y),f(xy) = f(x)f(y) 则称 f 为L1到 L2 的同态.
21
特殊的格
• 分配格 • 有补格 4.34 设L为格,若a, b, cL有 a(bc) = (ab)(ac) a(bc) = (ab)(ac) 则 L 为分配格. 注:在任何格中两个分配不等式是等价的. 例如 a(bc)=(ab)(ac) a(bc)=(ab)(ac) 证 (ab)(ac) = ((ab)a)((ab)c) 对的分配律 = a((ac)(bc)) 吸收律、对的分配律 = (a(ac))(bc) 结合律 = a(bc) 吸收律
5
实例
例3
(1) 整数环<Z,+,· >,对于任意给定的自然数n,
nZ = { nz | z∈Z } 是 Z 的非空子集,根据判定定理,容易验证nZ是整数环 的子环. (2) 考虑模 6 整数环<Z6,,>,{ 0 }, { 0,3 }, { 0,2,4 }, Z6是 它的子环. 其中 { 0 } 和Z6是平凡的,其余的都是非平凡的 真子环.
8
实例
例5 (1) 整数环Z、有理数环Q、实数环R、复数环C都是 交换环、含幺环、无零因子环和整环. (2) 令2Z={2z|z∈Z},则<2Z,+,· >构成交换环和无零因子 环. 但不是含幺环和整环. (3) 设nZ, n2, 则n阶实矩阵的集合Mn(R)关于矩阵加法 和乘法构成环,它是含幺环,但不是交换环和无零因子 环,也不是整环. (4)<Z6,,>构成环,它是交换环、含幺环,但不是无零 因子环和整环. 可以证明对于一般的n, Zn是整环当且仅当 n是素数.
格的性质——算律
定理14.13 设<L,≼>是格, 则运算∨和∧适合交换律、结 合律、幂等律和吸收律,即 (1) a,b∈L 有 a∨b=b∨a 和 a∧b=b∧a (2) a,b,c∈L 有 (a∨b)∨c=a∨(b∨c) 和 (a∧b)∧c=a∧(b∧c)
(3) a∈L 有 a∨a=a 和 a∧a=a
18
定理
定理14.14 设<S,*,∘>是具有两个二元运算的代数系统, 若 * 和∘运算满足交换、结合、吸收律,则可以适当定 义 S 上偏序 ≼,使得 <S,≼> 构成格,且<S,≼>导出的代 数系统就是<S,*, ∘ >. 证明思路 (1) 利用运算 ∘ 或 * 定义 S 上的二元关系 R 证明 R 为 S 上的偏序,证明<S,R>构成格 (4) 证明对于格中任意两个元素x,y xy = x∘ y, xy = x*y
9

定义14.28 设R是整环,且R中至少含有两个元素. 若a∈R* , 其中 R*=R{0},都有a1∈R,则称R是域.
例如有理数集Q、实数集R、复数集C关于普通的加法和
乘法都构成域,分别称为有理数域、实数域和复数域. 整数环Z是整环,而不是域.
对于模n的整数环Zn,若n是素数,那么Zn是域.
4
子环
定义14.25 设R是环,S是R的非空子集. 若S关于环R的加法 和乘法也构成一个环,则称S为R的子环. 若S是R的子环, 且SR,则称S是R的真子环.
例如整数环Z,有理数环Q都是实数环R的真子环. {0}和R也 是实数环R的子环,称为平凡子环. 定理14.12 (子环判定定理) 设R是环, S是R的非空子集, 若 (1) a,b∈S,ab∈S (2) a,b∈S,ab∈S 则 S 是 R 的子环.
7
特殊的环
定义14.27 设<R,+,· >是环, (1) 若环中乘法· 适合交换律,则称R是交换环. (2) 若环中乘法· 存在单位元,则称R是含幺环. (3) 若a, b∈R,ab=0 a=0∨b=0,则称R是无零因子环. (4) 若R既是交换环、含幺环,也是无零因子环,则称R是 整环. 零因子的实例:在模6整数环中,有32=0,而3和2都不是 乘法的零元. 这时称3为左零因子,2为右零因子. 这种含有 左零因子和右零因子的环就不是无零因子环.
格与布尔代数
• • • • • • • 格的定义 格的性质 格的等价定义 子格与格的同态 特殊的格 布尔代数的性质 布尔代数的同态与同构
12
格的定义
定义14.29 设<S,≼>是偏序集,如果x, yS,{x,y}都有
最小上界和最大下界,则称S关于偏序≼作成一个格.
由于最小上界和最大下界的惟一性,可以把求{x,y}的最
19
格的等价定义
定义14.31 设<L,,>是具有两个二元运算的代数系统, 如果,满足交换、结合、吸收律,则称<L, ,>是格. 实例:<Sn, gcd, lcm> x, y, z Sn, gcd(x,y)=gcd(y,x), lcm(x,y)=lcm(y,x) gcd(x,gcd(y,z)) = gcd(gcd(x,y),z) lcm(x,lcm(y,z))=lcm(lcm(x,y),z) gcd(x,lcm(x,y))=x, lcm(x,gcd(x,y))=x 定义 x|y lcm(x,y)=y <Sn,|>与<Sn, gcd, lcm>是同一个格
为了叙述的方便,通常称+运算为环中的加法,· 运算为环 中的乘法. 环中加法单位元记作0,乘法单位元(如果存在) 记作1. 对任何元素x,称x的加法逆元为负元,记作x. 若 x存在乘法逆元的话,则称之为逆元,记作x1. 因此在环 中写xy意味着x+(y).
相关文档
最新文档