离散数学课后习题答案(第三章)
离散数学概论习题答案第3章

第二部分集合、矩阵、关系和函数集合论是处理集合,函数和关系的数学理论。
集合包括最基本的数学概念,例如集合,元素和成员关系。
在大多数现代数学公式中,集合论提供了一种描述数学对象的语言。
集合可用来表示数及其运算,还可表示和处理非数值计算,如数据间关系的描述等。
集合论,逻辑和一阶逻辑构成了数学公理化的基础。
同时,函数和关系是基于集合的映射,它们是满足某些属性的特殊集合。
接下来,我们将在两个单独的章节中介绍它们。
集和矩阵将在第3章中介绍,而关系和函数将在第4章中介绍。
第三章集合和矩阵3.1 集合3.1.1 集合概念集合没有确定的概念。
一般地,我们把研究的对象统称为元素;把一些元素组成的总体叫做集合,也简称集。
通常用大写英文字母表示集合。
例如,N代表是自然数集合,Z代表是整数集合,R代表是实数集合。
用小写英文字母表示集合内元素。
若元素a是集合A的一个元素,则表示为a A∈,读作元素a属于集合A;若元素a不是集合A的一个元素,则表示为a A∉,读作a不属于集合A。
集合分为有限集合和无限集合两种,下面给出定义。
表示集合方法有列举法和描述法两种方式,下面分别介绍。
1. 列举法当集合是有限集合时,可以列出集合的所有元素,用逗号隔开各元素,并用花括号把所有元素括起来。
这种表述方式为列举法。
例如:S1={a, b, c, d, e, f},S2={a, b, b, c, d, e, f},S3={ d, e, a, b, c, f}上述三个集合S1、S2和S3是相同集合,尽管有重复元素。
且集合元素之间没有次序关系。
一个集合可以作为另个集合的元素。
例如,S1={a, b,{ c, d, e, f }}集合S1包含元素a, b和{ c, d, e, f }。
因为{ c, d, e, f }是集合S1中的元素,故可记为:{}∈。
,,,c d e f A以上给出的集合实例都是有限集合。
当集合是无限集合时,无法列出集合的所有元素,可先列出一部分元素,若剩余元素与已给出元素存在一定规律,那剩余元素的一般形式很明显可用省略号表示。
离散数学第3版习题答案

离散数学第3版习题答案【篇一:华东师范大学离散数学章炯民课后习题第3章答案】xt>(1)2是正数吗?(2)x2+x+1=0。
(3)我要上学。
(4)明年2月1日下雨。
(5)如果股票涨了,那么我就赚钱。
解:(1) 不是(2) 不是(3) 不是(4) 是(5) 是2. 判断下列命题的真值:(1)若1+1=3,则2+2=4(2)若鸟会飞,则 1+1=3解:(1) 1(2) 011. 将下列两个命题符号化,并分别用真值表和等值演算的方法证明所得到的那两个命题公式是等值的。
(1)你不会休息所以就不会工作,你没有丰富的知识所以你就不会工作;(2)你会工作所以一定会休息并具有丰富的知识。
解:设p:你会休息,q:你会工作,r:你有丰富的知识。
原命题符号化为(1) (?p??q) ?(?r??q)(2) q?(p?r)12.(1)用等值演算的方法证明命题恒等式p?(q?p)=?p?(p??q)。
13. 构造一个只含命题变量p、q和r的命题公式a,满足:p、q和r的任意一个赋值是a的成真赋值当且仅当p、q和r中恰有两个为真。
解:(p?q??r)?( p??q?r)?(?p?q?r)14. 通过等值演算求p?(p?(q?p))的主析取范式和主合取范式。
解:主析取范式:(?p?q)?(?p??q)?(p??q)?(p?q )主合取范式不存在15. 一教师要从3名学生a、b和c中选派1~2人参加市级科技竞赛,需满足以下条件:(1)若a去,则c同去;(2)若b去,则c不能去;(3)若c不去,则a或b可以去。
问该如何选派?解:为此问题建立数学模型。
有三个方案:仅c去,仅b去,仅a和c去16. 证明{?,?}是功能完备集。
17. (1)证明p?(q?s),q,p??r?r?s。
证明:① p??r 前提引入② r 附加前提引入③ p ①②析取三段④ p?(q?s) 前提引入⑤ q?s ③④假言推理⑥ q 前提引入⑦ s ⑤⑥假言推理19. 构造下列推理的形式证明:“今天下午没有出太阳并且今天比昨天冷。
(完整版)离散数学课后习题答案(第三章)

a t a t i m e an dA l lt h i ng si nt h ei r be i ng ar eg oo df o r so me t hi n 3-5.1 列出所有从X={a,b,c}到Y={s}的关系。
解:Z 1={<a,s>}Z 2={<b,s>} Z 3={<c,s>}Z 4={<a,s>,<b,s>} Z 5={<a,s>,<c,s>} Z 6={<b,s>,<c,s>}Z 7={<a,s>,<b,s>,<c,s>}3-5.2 在一个有n 个元素的集合上,可以有多少种不同的关系。
解 因为在X 中的任何二元关系都是X ×X 的子集,而X ×X=X 2中共有n 2个元素,取0个到n 2个元素,共可组成22n 个子集,即22|)(|n X X =⨯℘。
3-5.3 设A ={6:00,6:30,7:30,…, 9:30,10:30}表示在晚上每隔半小时的九个时刻的集合,设B={3,12,15,17}表示本地四个电视频道的集合,设R 1和R 2是从A 到B 的两个二元关系,对于二无关系R 1,R 2,R 1∪R 2,R 1∩R 2,R 1⊕R 2和R 1-R 2可分别得出怎样的解释。
解:A ×B 表示在晚上九个时刻和四个电视频道所组成的电视节目表。
R 1和R 2分别是A ×B 的两个子集,例如R 1表示音乐节目播出的时间表,R 2是戏曲节日的播出时间表,则R 1∪R 2表示音乐或戏曲节目的播出时间表,R 1∩R 2表示音乐和戏曲一起播出的时间表,R 1⊕R 2表示音乐节目表以及戏曲节目表,但不是音乐和戏曲一起的节日表,R 1-R 2表示不是戏曲时间的音乐节目时间麦。
3-5.4 设L 表示关系“小于或等于”,D 表示‘整除”关系,L 和D 刀均定义于解:L={<1,2>,<1,3>,<1,6>,<2,3>,<2,6>, <3,6>,<1,1>,<2,2>,<3,3>,<6,6>}D={<1,2>,<1,3>,<1,6>,<2,6>,<3,6>,<1,1>,<2,2>,<3,3>,<6,6>} L ∩D={<1,2>,<1,3>,<1,6>,<2,6>,<3,6>,<1,1>,<2,2>,<3,3>,<6,6>}3-5.5对下列每一式,给出A 上的二元关系,试给出关系图:a){<x,y>|0≤x ∧y ≤3},这里A={1,2,3,4};b){<x,y>|2≤x,y ≤7且x 除尽y ,这里A ={n|n ∈N ∧n ≤10}c) {<x,y>|0≤x-y<3},这里A={0,1,2,3,4};d){<x,y>|x,y 是互质的},这里A={2,3,4,5,6}解:a) R={<0,0>,<0,1>,<0,2>,<0,3>, <1,0>,<1,1>,<1,2>,<1,3>, <2,0>,<2,1>,<2,2>,<2,3>, <3,0>,<3,1>,<3,2>,<3,3>,} 其关系图b) R={<2,0>,<2,2>,<2,4>,<2,6>,<3,0>,<3,3>,<3,6>, <4,0>,<4,4>, <5,0>,<5,5>,i m e an dA l lt h in gs in th ei r be i ng ar eg oo df o rsa)若R1和R2是自反的,则R1○R2也是自反的;b)若R1和R2是反自反的,则R1○R2也是反自反的;c)若R1和R2是对称的,则R1○R2也是对称的;d)若R1和R2是传递的,则R1○R2也是传递的。
离散数学第3章答案

习题3.11.(1) {0,1,2,3,4,5,6,7,8,9}(2) {aa , ab , ba , bb }(3) {-1,1}(4) {11,13,17,19,23,29}(5) {1,2,3, (79)(6) {2}2. 用描述法表示下列集合:(1) 不超过200的自然数的集合;{|N 200}x x x ∈∧≤(2) 被5除余1的正整数的集合;+{|I (N 51)}x x y y x y ∈∧∃∈∧=+(3) 函数y =sin x 的值域;{|R 11}y y y ∈∧-≤≤(4) 72的质因子的集合;{|N |72(N 2|)}x x x y y y x y x ∈∧∧∀∈∧≤<→/(5) 不等式031>-x 的解集; {|R 3}x x x ∈∧>(6) 函数2312+-=x x y 的定义域集. {|R 12}x x x x ∈∧≠∧≠3. 用归纳定义法描述下列集合:(1) 允许有前0的十进制无符号整数的集合;① {0,1,2,3,4,5,6,7,8,9}A ⊆② 如果x A ∈,则{0,1,2,3,4,5,6,7,8,9,0,1,2,3,4,5,6,7,8,9}x x x x x x x x x x x x x x x x x x x x A ⊆(2) 不允许有前0的十进制无符号整数的集合;① {1,2,3,4,5,6,7,8,9}A ⊆② 如果x A ∈,则{0,1,2,3,4,5,6,7,8,9}x x x x x x x x x x A ⊆(3) 不允许有前0的二进制无符号偶数的集合;① 1A ∈② 如果x A ∈,则{0,1}x x A ⊆(4) 5的正整数倍的集合.① 5A ∈② 如果x A ∈,则5x A +∈4. 判断下列命题中,哪些是真的,哪些是假的(A 是任意集合):(1) ;A ∈∅(2) ;A ⊆∅ (3) };{A A ∈ (4) ;A A ⊆ (5) ;A A ∈ (6) };{A A = (7) }.{∅=∅答:(2),(3),(4)为真,(1),(5),(6),(7)为假。
离散数学答案(尹宝林版)第三章习题解答

第三章 公理系统1. 证明:(1) ))()(()(|C A C B B A →→→→→- (2) ))(())((|C A B C B A →→→→→- (3) A A →⌝⌝-| (4) A A ⌝⌝→-|(5) )()(|A B B A ⌝→⌝→→- (6) ))((|B A B A →⌝→⌝→- (7) B A A ∨→-| (8) A B A ∨→-| (9) A B A →∧-| (10) B B A →∧-| 解 (1) B A →,C B →,A A -|B A →,C B →,A B A →-| B A →,C B →,A B -| B A →,C B →,A C B →-|B A →,C B →,A C -|最后,使用3次演绎定理得到:))()(()(|C A C B B A →→→→→- (2) )(C B A →→,B ,A A -|)(C B A →→,B ,A )(|C B A →→- )(C B A →→,B ,A C B →-|)(C B A →→,B ,A B -|)(C B A →→,B ,A C -|最后,使用3次演绎定理得到:))(())((|C A B C B A →→→→→- (3) )(|A A A ⌝⌝→⌝⌝⌝⌝→⌝⌝- 公理一 A ⌝⌝ A A ⌝⌝→⌝⌝⌝⌝-|演绎定理 A ⌝⌝ )()(|A A A A ⌝⌝⌝→⌝→⌝⌝→⌝⌝⌝⌝- 公理三 A ⌝⌝ A A ⌝⌝⌝→⌝-|MP 规则 A ⌝⌝ )()(|A A A A →⌝⌝→⌝⌝⌝→⌝- 公理三 A ⌝⌝ A A →⌝⌝-| MP 规则A ⌝⌝A ⌝⌝-|A ⌝⌝ A -|MP 规则最后,由演绎定理得到:A A →⌝⌝-|(4) A A ⌝→⌝⌝⌝-|本题 (3) )()(|A A A A ⌝⌝→→⌝→⌝⌝⌝- 公理三 A A ⌝⌝→-|MP 规则(5) B A →-|A A →⌝⌝ 本题 (3) B A →, A ⌝⌝-| A 演绎定理B A →, A ⌝⌝-|B A → B A →, A ⌝⌝-| B MP 规则 B A →, A ⌝⌝-|B B ⌝⌝→ 本题 (4) B A →, A ⌝⌝-|B ⌝⌝ MP 规则 B A →-|B A ⌝⌝→⌝⌝演绎定理B A →-|)()(A B B A ⌝→⌝→⌝⌝→⌝⌝公理三B A →-|A B ⌝→⌝MP 规则 )()(|A B B A ⌝→⌝→→- 演绎定理(6) A ,B A →-| A A ,B A →-|B A → A ,B A →-|B MP 规则 A -|B B A →→)(演绎定理 A -|))(())((B A B B B A →⌝→⌝→→→ 本题 (5) A -|)(B A B →⌝→⌝ MP 规则 ))((|B A B A →⌝→⌝→-演绎定理 (7) )(|B A A →→⌝- 例3.4 B A A -⌝|, 演绎定理)(|B A A →⌝→-演绎定理即B A A ∨→-|(8) )(|A B A →⌝→-公理一即A B A ∨→-|(9) )(|B A A ⌝→→⌝- 例3.4 A ⌝B A ⌝→-|演绎定理 A ⌝)()(|B A B A ⌝→⌝⌝→⌝→- 本题 (4) A ⌝)(|B A ⌝→⌝⌝- MP 规则 )(|B A A ⌝→⌝⌝→⌝-演绎定理 ))(())((|A B A B A A →⌝→⌝→⌝→⌝⌝→⌝- 公理三A B A →⌝→⌝-)(|MP 规则即A B A →∧-|(10) )(|B A B ⌝→→⌝- 公理一 B A B ⌝→-⌝|演绎定理 )()(|B A B A B ⌝→⌝⌝→⌝→-⌝ 本题 (4) )(|B A B ⌝→⌝⌝-⌝ MP 规则 )(|B A B ⌝→⌝⌝→⌝-演绎定理 ))(())((|B B A B A B →⌝→⌝→⌝→⌝⌝→⌝- 公理三 B B A →⌝→⌝-)(|MP 规则即B B A →∧-|2. 以下结论对吗?若对,加以证明;若不对,举出反例。
自考 离散数学教材课后题第三章答案

3.1 习题参考答案1、写出下列集合的的表示式。
a)所有一元一次方程的解组成的集合。
A={x|x是所有一元一次方程的解组成的集合}晓津答案:A={x| ax+b=0∧a∈R∧b∈R}b) x2-1 在实数域中的因式集。
B={1,(x-1),(x+1)|x∈R}c)直角坐标系中,单位圆内(不包括单位圆周)的点集。
C={x,y| x2+y2<1 }晓津答案:C={a(x,y)|a为直角坐标系中一点且 x2+y2<1 }d)极坐标中,单位圆外(不包括单位圆周)的点集。
D={r,θ| r>1,0<=θ<=360}晓津答案:D={a(r,θ)|a为极坐标系中一点且 r>1,0<=θ<=2π }e)能被5整除的整数集E={ x| x mod 5=0}----------------------------------------------------------------2、判定下列各题的正确与错误。
a) {x}{x};正确b) {x}∈{x};正确晓津观点:本命题错误。
理由:{x}作为一个元素是一个集合,而右边集合中的元素并不是集合。
c) {x}∈{x,{x}};正确d) {x}{x,{x}};正确----------------------------------------------------------------3、设 A={1,2,4},B={1,3,{2}},指出下列各式是否成立。
a) {2}∈A; b) {2}∈B c) {2}Ad) {2}B; e) ∈A f) A解:jhju、晓津和wwbnb 的答案经过综合补充,本题的正确答案是:b、c、d、f成立,a,d、e不成立。
理由:a式中,{2}是一个集合,而在A中并无这样的元素。
因此不能说{2}属于A,当然如果说2∈A则是正确的。
对于e式也应作如此理解,空集是一个集合,在A中并无这个集合元素,如f 式则是正确的。
华东师范大学离散数学章炯民课后习题第3章答案

华东师范大学离散数学章炯民课后习题第3章答案第一篇:华东师范大学离散数学章炯民课后习题第3章答案1.下列语句哪些是命题?(1)2是正数吗?(2)x2+x+1=0。
(3)我要上学。
(4)明年2月1日下雨。
(5)如果股票涨了,那么我就赚钱。
解:(1)不是(2)不是(3)不是(4)是(5)是2.判断下列命题的真值:(1)若1+1=3,则2+2=4(2)若鸟会飞,则 1+1=3 解:(1)1(2)011.将下列两个命题符号化,并分别用真值表和等值演算的方法证明所得到的那两个命题公式是等值的。
(1)你不会休息所以就不会工作,你没有丰富的知识所以你就不会工作;(2)你会工作所以一定会休息并具有丰富的知识。
解:设p:你会休息,q:你会工作,r:你有丰富的知识。
原命题符号化为(1)(⌝p→⌝q)∧(⌝r→⌝q)(2)q→(p∧r)12.(1)用等值演算的方法证明命题恒等式p→(q→p)=⌝p→(p→⌝q)。
13.构造一个只含命题变量p、q和r的命题公式A,满足:p、q 和r的任意一个赋值是A的成真赋值当且仅当p、q和r中恰有两个为真。
解:(p∧q∧⌝r)∨(p∧⌝q∧r)∨(⌝p∧q∧r)14.通过等值演算求p→(p∧(q→p))的主析取范式和主合取范式。
解:主析取范式:(⌝p∧q)∨(⌝p∧⌝q)∨(p∧⌝q)∨(p∧q)主合取范式不存在15.一教师要从3名学生A、B和C中选派1~2人参加市级科技竞赛,需满足以下条件:(1)若A去,则C同去;(2)若B去,则C不能去;(3)若C不去,则A或B可以去。
问该如何选派?解:为此问题建立数学模型。
有三个方案:仅C去,仅B去,仅A和C去16.证明{⌝,→}是功能完备集。
17.(1)证明p→(q→s),q,p∨⌝r⇒r→s。
证明:① p∨⌝r前提引入② r附加前提引入③ p①②析取三段④ p→(q→s)前提引入⑤ q→s③④假言推理⑥ q前提引入⑦ s⑤⑥假言推理19.构造下列推理的形式证明:“今天下午没有出太阳并且今天比昨天冷。
离散数学第三章习题详细答案

3.9解:符号化:p:a是奇数. q:a是偶数. r:a能被2整除前提:(p→¬r),(q→r)结论:(q→¬p)证明:确。
方法2(等值演算法)(p→¬r)∧(q→r) →(q→¬p)⇔(¬p∨¬r)∧(¬q∨r) →(¬q∨¬p)⇔(p∧r) ∨(q∧¬r) ∨¬q∨¬p⇔((p∧r) ∨¬p)∨((q∧¬r) ∨¬q)⇔(r∨¬p) ∨(¬r∨¬q)⇔¬p∨(r∨¬r) ∨¬q⇔1即证得该式为重言式,则原结论正确。
方法3(主析取范式法)(p→¬r)∧(q→r) →(q→¬p)⇔(¬p∨¬r)∧(¬q∨r) →(¬q∨¬p)⇔(p∧r) ∨(q∧¬r) ∨¬q∨¬p⇔m0+ m1+ m2+ m3+ m4+ m5+ m6+ m7可知该式为重言式,则结论推理正确。
3.10. 解:符号化:p:a是负数. q:b是负数. r:a、b之积为负前提: r→(p∧¬q) ∨(¬p∧q)结论:¬r→(¬p∧¬q)方法1(真值法)证明:不正确。
方法2(主析取范式法)证明:(r→(p∧¬q) ∨(¬p∧q)) →(¬r→(¬p∧¬q))⇔¬ (¬r∨(p∧¬q) ∨(¬p∧q)) ∨(r∨(¬p∧¬q))⇔r∨(¬p∧¬q)⇔m0+m2+m4+m6+m7只含5个极小项,课件原始不是重言式,因此推理不正确3.11.填充下面推理证明中没有写出的推理规则。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
b)R1-R2;
c)R12;
d) r(R1-R2)(即R1-R2的自反闭包)。
解a)(A×A)-R1不是A上等价关系。例如:
A={a,b},R1={<a,a>,<b,b>}
A×A={<a,a>,<a,b>,<b,a>,<b,b>}
(A×A)-R1={<a,b>,<b,a>}
所以(A×A)-R1不是A上等价关系。
设S=[a]R,则SS
这就证明了Π细分Π。
3-10.10设Rj是表示I上的模j等价关系,Rk是表示I上的模k等价关系,证明I/Rk细分I/Rj当且仅当k是j的整数倍。
证明:由题设Rj={<x,y>|x≡y(modj)}
Rk={<x,y>|x≡y(modk)}
故<x,y>∈Rjx-y=cj (对某个c∈I)
<x,y>∈Rkx-y=dk (对某个d∈I)
a)假设I/Rk细分I/Rj,则RkRj
因此<k,0>∈Rk<k,0>∈Rj
故k-0=1k=cj (对某个c∈I)
于是k是j的整数倍。
b)若对于某个r∈I,有k=rj则:
<x,y>∈Rkx-y=ck (对某个c∈I)
x-y=crj (对某个c,r∈I)
<x,y>∈Rj
证明:若Π细分Π。由假设aRb,则在Π中有某个块S,使得a,b∈S,因Π细分Π,故在Π中,必有某个块S,使SS,即a,b∈S,于是有aRb,即RR。
反之,若RR,令S为H的一个分块,且a∈S,则S=[a]R={x|xRa}
但对每一个x,若xRa,因RR,故xRa,因此{x|xRa}{x|xRa}即[a]R[a]R
若c<0,则a<0u<0au>0
所以(a+bi)R(u+vi),即R在C*上是传递的。
关系R的等价类,就是复数平面上第一、四象限上的点,或第二、三象限上的点,因为在这两种情况下,任意两个点(a,b),(c,d),其横坐标乘积ac>0。
3-10.9设Π和Π是非空集合A上的划分,并设R和R分别为由Π和Π诱导的等价关系,那么Π细分Π的充要条件是RR。
b)设A={a,b,c}
R1={<a,b>,<b,a>,<b,c>,<c,b>,<a,c>,<c,a>,<a,a>,<b,b>,<c,c>}
R2={<a,a>,<b,b>,<c,c>,<b,c>,<c,b>}
R1-R2={<a,b>,<b,a>,<a,c>,<c,a>}
所以R1和R2是A上等价关系,但R1-R2不是A上等价关系。
证明:设A上定义的二元关系R为:
<<x,y>,<u,v>>∈R=
1对任意<x,y>∈A,因为=,所以
<<x,y>,<x,y>>∈R
即R是自反的。
2设<x,y>∈A,<u,v>∈A,若
<<x,y>,<u,v>>∈R==<<u,v>,<x,y>>∈R
即R是对称的。
3设任意<x,y>∈A,<u,v>∈A,<w,s>∈A,对
<a,b>∈R1○R1∧<b, c>∈R1○R1
(e1)(<a, e1>∈R1∧<e1, b>∈R1)∧(e2)(<b, e2>∈R1∧<e2, c>∈R1)
<a,b>∈R1∧<b, c>∈R1(∵R1传递)
<a,c>∈R12
即R12是传递的。
故R12是A上的等价关。
d)如b)所设,R1和R2是A上的等价关系,但
r(R1-R2)=(R1-R2)∪IA
={<a,b>,<b,a>,<a,c>,<c,a>,<a,a>,<b,b>,<c,c>}
不是A上的等价关系。
3-10.8设C*是实数部分非零的全体复数组成的集合,C*上的关系R定义为:(a+bi)R(c+di)ac>0,证明R是等价关系,并给出关系R的等价类的几何说明。
证明:(1)对任意非零实数a,有a2>0(a+bi)R(a+bi)
故R在C*上是自反的。
(2)对任意(a+bi)R(c+di)ac>0,
因ca=ac>0(c+di)R(a+bi),
所以R在C*上是对称的。
(3)设(a+bi)R(c+di),(c+di)R(u+vi),则有ac>0cu>0
若c>0,则a>0u>0au>0
因为R是传递的和对称的,故有:
<a,b>∈R∧<b, c>∈R<a, c>∈R<c,a>∈R
由<a,c>∈R∧<c, a>∈R<a,a>∈R
所以R在A上是自反的,即R是A上的等价关系。
3-10.7设R1和R2是非空集合A上的等价关系,试确定下述各式,哪些是A上的等价关系,对不是的式子,提供反例证明。
c)若R1是A上等价关系,则
<a,a>∈R1<a,a>∈R1○R1
所以R12是A上自反的。
若<a,b>∈R12则存在c,使得<a, c>∈R1∧<c,b>∈R1。因R1对称,故有
<b, c>∈R1∧<c,a>∈R1<b, a>∈R12
即R12是对称的。
若<a,b>∈R12∧<b, c>∈R12,则有
<<x,y>,<u,v>>∈R∧<<u,v>,<w,s>>∈R
(=)∧(=)=
<<x,y>,<w,s>>∈R
故R是传递的,于是R是A上的等价关系。
3-10.6设R是集合A上的对称和传递关系,证明如果对于A中的每一个元素a,在A中同时也存在b,使<a,b>在R之中,则R是一个等价关系。
证明:对任意a∈A,必存在一个b∈A,使得<a,b>∈R.
因此,RkRj,于是I/Rk细分I/Rj
fjasasdhgaowirghaoghaa;owghfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfja