




版權(quán)說(shuō)明:本文檔由用戶(hù)提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
離散數(shù)學(xué)輔助教材
概念分析結(jié)構(gòu)思想與推理證明
第一部分
集合論
劉國(guó)榮
交大電信學(xué)院計(jì)算機(jī)系
離散數(shù)學(xué)習(xí)題解答
習(xí)題一(第一章集合)
1.列出下述集合的全部元素:
1)A={x\xEN/\x是偶數(shù)△x<\5]
2)B={x|x£NA4+x=3}
3)C={4r是十進(jìn)制的數(shù)字}
[解]1)A={2,4,6,8,10,12,14)
2)B=0
3)C={0,1,2,3,4,5,6,7,8,9}
2.用謂詞法表示下列集合:
1){奇整數(shù)集合}
2){小于7的非負(fù)整數(shù)集合}
3){3,5,7,11,13,17,19,23,29)
[解]1){n|nelA(3mGl)(n=2m+l)|;
2){nlnelAn>0An<7};
3)(plpeNAp>2Ap<3()A-1(3deN)(d/1AdwpA0keN)(p=k?d)))。
3.確定下列各命題的真假性:
1)000
2)0G0
3)0c(0}
4)0E{0}
5){a,b}c{a,b,c,{a,b,c))
6){a,b}£(a,b,c,{a,b,c})
7){a,b|c{a,b,{{a,b,}})
8){a,b}G{a,b,{{a,b,})}
[解]1)真。因?yàn)榭占侨我饧系淖蛹?/p>
2)假。因?yàn)榭占缓魏卧兀?/p>
3)真。因?yàn)榭占侨我饧系淖蛹?/p>
4)真。因?yàn)?是集合{0}的元素;
5)真。因?yàn)閧a,b}是集合{a,b,c,{a,b,c}}的子集;
6)假。因?yàn)閧a,b}不是集合{a,b,c,{a,b,c}}的元素;
7)真。因?yàn)閧a,b}是集合{a,b,{{a,b}}}的子集;
8)假。因?yàn)閧a,b}不是集合{a,b,{{a,b}}}的元素。
4.對(duì)任意集合A,B,C.確定下列命題的真假性:
1)如果A£B/\B£C,則A0C。
2)如果A&B/\B£C,則A&C。
3)如果AuB/XBWC,則A£C。
[解]1)假。例如A={a},B=(a,b),C={{a},),從而AWB/XBEC但AWC。
2)假。例如A={a},B={a,{a}},C={{a},{{a}}},從而AWBABRC,但、A
eCo
3)假。例如A={a},B={a,b),C={{a},a,b},從而ACB八B£C,但A)C。
5.對(duì)任意集合A,B,C,確定下列命題的真假性:
1)如果ACBABqC,則A£C。
2)如果A£R/\HuC貝IJAu「c
3)如果AqBABGC,則A£C。
3)如果AqB/\B£C,則AqC。
[解]1)真。因?yàn)锽qC=Wx(x£B=>x£C),1alitA6BnA£C。
2)假。例如A={a},B={{a),),C={{a},,{c}}從而ARBABqC,但
A^Co
3)假。例如A={a},B={{a,b}},C={{a,{a,b}},從而AcBABeC,但A任C。
4)假。例如A={a},B={{a,b)},C={(a,b),b},從而AqB/\B£C,但A任C。
6.求下列集合的鼎集:
1){a,b,c)
2){a,{b,c)}
3){0}
4){0,{0}}
5){{a,b),{a,a,b},{a,b,a,b)}
[解]1){0,{a},{bj,{c},{a,b},{a,c},{b,c},{a,b,c}}
2){,{a},{{b,c}),{a,{a,b})}
3){0,{0}}
4){0,{0),{{0)},{0,{0})}
5){0,{{a,b})}
7.給定自然數(shù)集合N的下列子集:
A={1,2,7,8)
B={.標(biāo)<50}
C={MY可以被3整除且()&W30}
D={4r=2K,K£IA0WKW6}
列出下面集合的元素:
1)AUBUCUD
2)ADBACnD
3)B\(AUC)
4)(A'DB)UD
[解]因?yàn)锽={1,2,3,4,5,6,7},C={3,6,9,12,15,18,21,24,27,30},
D={1,2,4,8,16,32,64,),故此
1)AUBUCUD={1,2,3,4,5,6,7,8,9,12,15,16,18,21,24,27,
30,32,64)
2)AABACnD=0
3)B\(AUC)={4,5)
4)(A'AB)UD={1,2,3,4,5,6,7,8,16,32,64}
8.設(shè)A、B、C是集合,證明:
1)(A\B)=A\(B\C)
2)(A\B)\C=(A\C)\(B\C)
3)(A\B)\C=(A\C)\B
[證明]1)方法一:(A\B)\C
=(ACIB')nc/(差集的定義)
=An(B‘nc')(交運(yùn)算的結(jié)合律)
=AA(BUC)'(deMorgan律)
=A\(BUC)(差集的定義)
方法二:對(duì)任一元素入e(A\B)\C,貝iJxeC,同時(shí),AEA\B,X《A,X足B,
所以,REA,xeBUC,即工£A\(BUC),由此可見(jiàn)(A\B)\CcA\(BUC)。
反之,對(duì)任一元素x£A\(BUC),則x£A,且xgBUC,也就是說(shuō)x任A,x任B,
x^Co所以(A\B)\C,由此可見(jiàn)A\(BUC)q(A\B)\Co
因此A\(B\C)o
2)方法一:(A\B)\C
=A\(BUC)(根據(jù)1))
=A\(CUB)(并運(yùn)算交換律)
=A\((CUB)AX)(0—1律)
=A\((CUB)A(CUCZ))(0—1律)
=A\(CU(Bnc/)(分配律)
=(A\C)\(Bncf)(根據(jù)I)
=(A\C)\(BCIC)(差集的定義)
方法二:對(duì)任一元素工&(A\B)\C,可知x/B,工/C,x£A\C。又由xeB,
x《B\C,xG(A\C)\(B\C)\(B\C)o所以(A\B)\Cq(A\C)\(B\C)。
反之,對(duì)任(A\C)\(B\C),可知x£A\C,x圮B\C。由x&A\C,可知x^A,
xcC。又因?yàn)閤£B\C及x成C,可知"B。所以,xe(A\B)\C。因此(A\B)\Cq
(A\B)\Co
由此可得(A\B)\(B\C)c(A\B)\Co
3)方法一:(AC)\C
=A\(BUC)(根據(jù)1))
=A\(CUB)(并運(yùn)算交換律)
=(A\C)\B(根據(jù)1))
方法二:對(duì)任一元素(A\B)\C,可知x£A,xeB,xeC。由為工£A,
x^C,所以,x£A\C。又由x成B,(A\C)\Bo所以,(A\B)\Cq(A\C)\B。
同理可證得(A\C)\Be(A\B)\C-
9.設(shè)A、B是X全集的子集,證明:
AqBoA'UB=X<=>APB,=0
[解](采用循環(huán)證法)
⑴先證AqB=A'UB=X:
方法一:A'UB=A'U(AUB)(因?yàn)闂l件AqB及定理4)
二(A'UA)UB(U的結(jié)合律)
=(AUAZ)UB(U的交換律)
=XUB(互補(bǔ)律)
=X(零壹律)
方法二:AcB=>AUB=B(定理4)
=>B=AUB(等號(hào)二的對(duì)稱(chēng)性)
nA'UB=A'U(AUB)(兩邊同時(shí)左并上A')
=>A/UB==(A,UA)UB(U的結(jié)合律)
nA'UB=(AUAZ)UB(U的交換律)
nA'UB=XUB(互補(bǔ)律)
=A'UB=X(零壹律)
方法三:因?yàn)锳'qX且BqX,所以根據(jù)定理2的3,)就有A'UBcX;
另一方面,由于B&A'UB及根據(jù)換質(zhì)位律可得B'三NqA'UB,因止匕,
由互補(bǔ)律及再次應(yīng)用定理2的丁),可得X=BUB'qA'UB,即XqA'UB;
所以,A'UB=XO
(2)次證A'UB=XnAnB'=0;
A'UB=Xn(A'UB)Z=X'(兩邊同時(shí)取補(bǔ)運(yùn)算')
n(A‘)'OB'=XZ(deMorgan律)
nAGB'=X'(反身律)
=AAB'=X'(零壹律)
⑶再證AAR'=0nAuR:
方法一:A=AAX(零壹律)
=AA(BUB,)(互補(bǔ)律)
二(AGB)U(AAB')(分配律)
=(AAB)U0(條件AGB'=0)
二AAB(零壹律)
qB(定理2的3”
方法二:AGB'=0=>B=BU0(零壹律)
=BU(AAB,)(條件ACB'=0)
=(BUA)n(BUB/)(分配律)
=(AUB)A(BUB,)(U的交換律)
=(AUB)nX(互補(bǔ)律)
=AUB(零壹律)
=>AcB(定理4的2))
10.對(duì)于任意集合A,B,C,下列各式是否成立,為什么?
1)AUB=AUCnB=C
2)APB=AnC=>B=C
[解]1)不一定。例如:A={a},B={a,b),C=o顯然有
AUB=AUC,ffiB^Co
2)不一定。例如:A={a[,B={a>b),C={b,c)o顯然有
ACB二AAC,但BWC。
II.設(shè)A,B為集合,給出下列等式成立的充分必要條件:
1)A\B=B
2)A\B=B\A
3)AAB=AUB
4)A十B=A
[解]1)A\B=AAB,,由假設(shè)可知A\B二B,即AGB'=B。由此可知B=AGB'印’,
故此B=BGB'=0o
由假設(shè)可知A=A\0=A\B=B=0o所以當(dāng)A\B=B時(shí)有A=B=00o
反之,當(dāng)A=B=0時(shí),顯然A\B=B。
因此A\B=B的充分必要條件是A=B=0o
2)設(shè)A\BW60,則有元素a£A\B,那么,a£A,而由假設(shè)A\B=B\A。所以a
eR\A,從而a/A,矛盾"所以A\R二,故Au—另一方面由R\A二A\R=00可得
BeAo因此當(dāng)A\B=B\A時(shí),有人=8。
反之,當(dāng)A=B時(shí),顯然A\B=B\A=0
因此,A\B=B\A的充要條件是A=B。
3)由于AUB=AHB,從而AqAUB=AGBqB,以及BqAUB:AGBqA故此A
UB=ACB,有A=Bo
5)根據(jù)定理6的1)有A十0=A,由已知條件A十B=A,可得A十B=A十0。
從而由對(duì)稱(chēng)差的消去律可得B=0o
反之,若B=0,則A十B=A十0=A。
所以A十B=A的充分必要條件為B=0o
12.對(duì)下列集合,畫(huà)出其文圖:
1)A'AB'
2)A\(BUC)'
3)AH(B'UC)
[解]
A'AB'尺(BUC)'AARUC)
13.用公式表示出下面圖中的陰影部分
[解1
(AUBUC)U(AABnC)'
14.試用成員表法證明
1)(Ae)B)十C=A(B十C)
2)(AUB)n(BLC)qAB'
[W]1)成員表如下
ABCAeB(A十B)十CB十CA十(B十C)
0000000
0010111
0101111
0111000
1001101
1011010
1100010
1110101
成員表中運(yùn)算結(jié)果十C及A十(B十C)的兩列狀態(tài)表明,全集中的每一個(gè)
體對(duì)它倆有相同的從屬關(guān)系,故
(A十B)十C=A8(B十C)
1)成員表如下:
ABcAUB(BUC)(BUC)'(AUB)n(BUQ,B,AAB'
000001010
001010010
010110000
011110000
100101111
101110011
110110000
111110000
成員表中運(yùn)算結(jié)果(AUB)n(BUC)'及AC1B'的兩列狀態(tài)表明,全
集中的每一個(gè)體,凡是從屬(AUB)D(BUC)'的,都從屬AAB,,故
(AUB)A(BUC)'cAAB
注:自然數(shù)集N取為{1,2,3,……,n,……}
習(xí)題二(第二章關(guān)系)
1.設(shè)A={1,2,3,},B={a,b}求
1)AXB2)BXA3)BXB4)2BXB
[解]1)AXB={(1,a),(1,b),(2,a),(2,a),(3,a),(3,b))
2)BXA={(a,1),(a,2),(a,3),(b,1),(b,2),(b,3)}
3)BXB={(a?a),(a,b),(b,a)(b.b)}
4)2B={0,{a},,{a,b}}
2BXB{(0,{a}),(0,b),({a},a),({a},b),((b),a),(,b),
({a,b},b)}
2.使AqAXA成立的集合A存在嗎?請(qǐng)闡明理由。
[解]一般地說(shuō),使AqAXA成立的集合A不存在,除非A=0。
否則AW0.則存在元素丫&AXA,故有yi,yaWA.使r=(yi,y?),從
而yi,yz^AXA,故此有yi,y2,y3,y4,使y尸(yi?ya)?ya=(y3,yQ,...。
這說(shuō)明A中每個(gè)元素x,其結(jié)構(gòu)為元組的無(wú)窮次嵌套構(gòu)成,這不可能。我們討論
的元素的結(jié)構(gòu)必須是由元組的有限次嵌套構(gòu)成。
3.證明AXBnBXAoA=0VB=0VA=B
[證]必要性:即證AXB=BXA=A=0VB=0VA=B
若AXB=0,貝JA=0或者B=0
若AXB產(chǎn)0,則AK0且BH0,因此對(duì)任何x£A及任何y?B就有(x,
y)£AXB,根據(jù)AXB二BXA,可得(x,y)EBXA,故此可得x《B,yEA,
因此而得AcB旦BeA,所以由q的反對(duì)稱(chēng)性A=B。
充分性:即證A=0VB=0VA=B=AXB=BXA這是顯然的。
4.證明(AGB)X(CAD)=(AXC)A(BXD)
[證]證法一:(元素法)對(duì)任一(x,y)E(APB)X(CAD)有x^AAB,y
eCAD,于是x£A,xEB,yEC,y£D。因而(x,y)eAXC,且(x,y)
eBXD,所以(x,y)£(AXC)n(BXD)。因而(AGB)X(CAD)c
(AXC)n(BXD)
另一方面,對(duì)任一(X,y)e(AXC)n(BXD),于是有(x,y)EAX
C且(x,y)EBXD,因而x£A,y£C,xeByEDo所以xSAAB,ye(C
AD)o所以(x,y)e(APB)X(CCD)。因而(AXC)A(BXD)c(A
AB)X(CnD)o
綜合這兩個(gè)方面有(AAB)X(CAD)=(AXC)A(BXD)。
證法二:(邏輯法)對(duì)任何x,y
(x,y)e(AAB)X(CnD)
=x£AClBAY£CCD
=>(xeAAXeB)A(ye0yeD)
z=>(xeAAyec)A(xeBAyeD)(人的結(jié)合律、交換律)
n(x,y)£AXCA(x,y)£BXD
n(x,y)£(AXC)A(BXD)
由x,y的任意性,可得:(AAB)X(CCD)=(AXC)n(BXD)。
5.下列各式中哪些成立,哪些不成立?對(duì)成立的式子給出證明,對(duì)不成立的式子給
出反例。
1)(AUB)X(CLD)=(AXC)U(BXD)
2)(A\R)X(CD)=(AXC)\(RXD)
3)(A十B)X(C?D)=(AXC)十(BXD)
4)(A\B)XC=(AXC)\(BXC)
5)(A十B)XC=(AXC)十(BXC)
[解]1)不成立。設(shè)人=⑶,B=,C={c),D={d),則(a,-d)€(AUB)X
(CUD),但(a,?d)任(AXC)U:BXD)。所以(AUB)X(CU
D)=(AXC)U(BXD)不成立。事實(shí)上有:(AXC)U(BXD)c
(AUB)X(C)c(AUB)X(CUD)o
2)不成立。設(shè)人=⑻,B={b),C=D={c),則(a,c)e(AXC)\(BXD)但
(a,c)《(A\B)X(C\D)o因而(A\b)X(C\D)=(AXC)\(BXD)
不成立。事實(shí)上有:(A\B)X(C\D)&(AXC)\(BXD)o因?yàn)锳\BqA,
C\Dc,故有(AXC)\(BXD)GAXC;又若(x,y)G(A\B)X(C\D)
故此x£A\B,從而x《B,y£C\D,從而y任D,故此(x,y)任BXD綜合這
兩方面,有(A\B)X(C\D)q(AXC)\(BXD)。
3)不成立。設(shè)A={a},B=,C={a),D=,則(a,b)e(A十B)X(C十D),
但(a,b)任(AXC)十(BXD)。所以(A十B)X(C十D)q(AXC)十(B
XD)不成立。又設(shè)A={a},B=,C={a},D={c)則(a,c)e(AXC)十
(BXD),但(a,c)生(A十B)X(C十D)。所以(AXC)十(BXD)q(A十B)
X(C十D)不成立。因此(A十B)X(C十D)與(AXC)十(BXD)無(wú)任何
包含關(guān)系??傊?A十B)X(COD)=(AXC)十(BXD)不成立。
4)成立。證明如下:對(duì)任一(x,y)W(A\B)XC.有x£A,x《B,y£C于是(x,
y)0AXC,且(x,y)e(A\B)XC,且(x,y)任BXC(否則x£B),所以
(x,y)e(AXC)\(BXC)o因而
(A\B)XCq(AXC)\(BXC)。
又對(duì)任一(x,y)£(AXC)\(BXC),有(x,y)eAXC,且(x,y)
任BXC從而x£A,y@C及x任B。即x£A\B,y£C,故止匕(x,y)e(A\B)
XCo所以(AXC)\(BXC)q(AXB)XC。
因而(A\B)XC=(AXC)\(BXC)o
另一種證明方法:
(AXB)XC
=(AABr)XC(差集的定義)
=(AXC)A(B'XC)(叉積對(duì)交運(yùn)算的分配律)
=(AXC)n(BXC)'
(因(BXC)'=(B’XC))n(BXC*)U(B'XC')
但(AXC)n(BXC)'=((AXC)n(B'XO)UO
=(AXC)n(B'XC))
=(AXC)n(B'XC)(差集的定義)
證法三:(邏輯法)對(duì)任何x,y
(x,y)E(AXC)\(BXC)
=>(x,y)GAXCA(x,y)eBXC
n(x£AAy£C)A(xgBvy/C)
=>(x£AAy£CAX^B)V(X6AAy£C/\y史C)(八對(duì)v的分配律)
=(x£AAX任BAy£C)v(x£AAy£C/\y任C)(△的結(jié)合律、交換律)
=>(xEAAXB)AyeC(八及v的零壹律、人的結(jié)合律)
=>x£A\BAyec
=>(x,y)£(A\B)XC
由x,y的任意性,可得:(A\B)XC=(AXC)\(BXC)。
5)成立。證明如下:對(duì)任一(x,y)W(A十B)XC,故此x《A十B,y£C于
是x£A且x史B,或者x^A且x£B。因此(x,y)£(AXC)十(BXC)。
所以(A十B)XCc(AXC)十(BXC)o
對(duì)任一(x,y)e(AXC)十(BXC)。則(x,y)WAXC且(x,y)
dBXC,或者(x,y)史AXC且(x,y)BXC。因此x£A,yC,x任B,或者x
£B,yec,x紀(jì)A。所以x£A\B,或x£B\A,并且yWC,故此x£A十B,ye
Co因此(x,y)e(A十B)XC,即(AXC)十(BXC)c(A十B)XC。
綜合兩方面、就有(A十B)XC=(AXC)十(BXC)
另一種證明方法:(A十B)XC
=((A\B)U(B\A))XC(對(duì)稱(chēng)差的定義)
=(((A\B)XC)((B\A)XC)(叉積對(duì)并運(yùn)算的分配律)
=((AXC)\(BXC)U(BXC)\(AXC))(根據(jù)4))
=(AXC)十(BXC)(對(duì)稱(chēng)差的定義)
6.設(shè)A=[1,2,3},B={a),求出所有由A到B的關(guān)系。
FI
[解]:R(0,R={(1,a)},R2={(2,a)),R3={(3,a)},
R4={(1,a),(2,a)},Rs=((1,a),(3,a)),R6={(2,a),(3,a)),
R7={(1,a),(2,a),(3,a)}
7.設(shè)A={l,2,3,4}.R1={(I,3),(2.2),(3.4)},R2={(1,4),(2?3),
II
(3,4)),求:RUR2,R1GR2,R\R2,R/,D(Ri),D(R2),次(R)
次(R2),D(R1UR2),求(R|AR2)
[解]:R1UR2={(1,3),(1,4),(2,2),(2,3),(3,4)}
RIAR2={(3,4)}
R)\R2={(1,3),(2,2)}
Ri'=(AXA)\R={(1,1),(1,2),(1,4),(2,1),(2,3),(2,4),(3,
1),(3,2),(3,3),(4,1),(4,2),(4,3),(4,4)}
(Ri)={1,2,3),(RI)={2,3,4),
(R2)={L2,3},次(R2)={3,4)
(R1UR2)={1,2,3},cR(RiPR:)={4}
8.對(duì)任意集合A及上的關(guān)系Ri和R2,證明
T)次(R|UR2)=次(RI)U/(R2)
I
2)次(RAR2)之雙(Ri)G次(R2)
[證]1)一方面,由于RIGRIUR?,R2^RIUR2,根據(jù)定理1,有次(Ri)三火(Ri
UR2),次(R2)之衣(R|UR2)故
次(RI)U/(R2)G次(RiUR2)
I
另一方面,若x£次(RUR2)那么存在著y£A,使(y,x)e(R)U
R2)因此(y,x)GRi,或者(y,x)£R2,從而x匕火(Ri)或者x£/(R2)
O
于是x£<^(R])U次(R2),所以次(R|UR2)匚次(Ri)U次(R2)
11.設(shè)A={1,2,3,4),定義A上的下列關(guān)系
Ri={(1,1),(1,2),(3,3),(3,4)},R2={(1,2),(2,1)}
R3={1),(1,2),(2,2),(2,1),(3,3),(3,4),(4,3),(4,4))
R4={(1,2),(2,4),(3,3),(4,1)}
R5={(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)}
R6=AXA,R?=0
請(qǐng)給出上述每一個(gè)關(guān)系的關(guān)系圖與關(guān)系矩陳,并指出它具有的性質(zhì)。
[解]:
10-------->02
1100
000
011
-1nn4
0000
X.
Ri是反對(duì)稱(chēng)的,傳遞的。
2)
0100
000
000
0000
R2是反自反的,對(duì)稱(chēng)的。
3)
1100、
100
011
0011
R3是自反的,對(duì)稱(chēng)的,傳遞的,因此是等價(jià)關(guān)系。循環(huán)的綜合這兩方面,就有
(RIUR2)二次(RI)(R2)o
2)由于R1GR2QR1,RIAR2CR2,根據(jù)定理1,有次(RiGR?)(Ri),次
(R1AR2)=Rz,所以次(R)nR2)口次(Ri)(R2)反方向的包含不
成立,反全由第7題可得,那里區(qū)(R|DR2)={4},(Ri)na(R2)={2,
3,4)0{3,4}={3,4}因此
隊(duì)(Ri)次(R2)$(RIAR2)
9.設(shè)A有n個(gè)元素的有限集合,請(qǐng)指出A上有多少個(gè)二元關(guān)系?并闡明理由。
[解]A上有2n2個(gè)元關(guān)系。因?yàn)椴娣eAXA有n2個(gè)元素,因而AXA有2n2個(gè)子
集,而每個(gè)子集都是A上的一個(gè)二元關(guān)系。
10.定義在整數(shù)集合I上的相等關(guān)系、關(guān)系、“V”關(guān)系,全域關(guān)系,空關(guān)系,
是否具有表中所指的性質(zhì),請(qǐng)用Y(有)或N(元)將結(jié)果填在表中。
性質(zhì)自反的反自反的對(duì)稱(chēng)的反對(duì)稱(chēng)的傳遞的
關(guān)系、\
相等關(guān)系YNYYY
〈關(guān)系YNNYY
〈關(guān)系NYNYY
全域關(guān)系YNYNY
空關(guān)系NYYYY
4)
0100
0001
R4=
0010
1000
R4是反對(duì)稱(chēng)的,循環(huán)的。
0111
0011
R5=
0001
1000
R5是反自反的,反對(duì)稱(chēng)的,傳遞的。
1o。21111
1111
R6=
1111
3。----4_1111
R6是自反的,對(duì)稱(chēng)的,傳遞的,循環(huán)的。從而是等價(jià)關(guān)系。
7)
1oO20000
R7是反三反的對(duì)稱(chēng)
0000
R7=的,傳遞的,循環(huán)
0000
的,反傳遞的,反
3。。40000
12.設(shè)A是A上的關(guān)系,證明
1)R是自反的當(dāng)且反當(dāng)IA^R
2)R是反自反的當(dāng)且僅當(dāng)IACR=0
3)R是對(duì)稱(chēng)的當(dāng)且反當(dāng)R二R
4)R是反對(duì)稱(chēng)的當(dāng)且僅當(dāng)RARML
5)R是傳遞的當(dāng)且僅當(dāng)RoRGR
[證]1)必要性
若R是自反的,則對(duì)任何x£A,都有(x,x)WR,但是IA={(x,x)|x
£A},所以IAUR。
充分性
若LUA則由L={(x,x)IxeA),可知對(duì)任何x£A,都有(x,x)£R,
所以R是自反的。
2)必要性
若R是反自反的,則對(duì)任何x£A,都是(x,x)/R,從而(x,x)ER',
由IA={(x,x)|x£A}可知IAMR'。于是IACRUR'CR=0,另外OGIA^R,
所以IAGR=0。
充分性
若IACR=0,則R是反自反的。否則,不是反自反的,那么應(yīng)存在某一xo
QA,使得(xo,xo)£R。但是(xo,xo)金L,從而(xo,x())0。這不可能,
矛盾。
3)必要性,
若R是對(duì)稱(chēng)的,則對(duì)任何(x,y)&R,就有(y,x)WR。于是根據(jù)逆
關(guān)系的定義,可得(X,y)£R,于是RUR;對(duì)任何(x,y)£R,由逆關(guān)
系的定義,可得(y,x)ERo再次利用R的對(duì)稱(chēng)性有(y,x)£R,于是Ri
R;綜合兩方面,有R二R。
充分性
若R=R,則對(duì)任何(x,y)WR,由R=R可得(x,y)WR。從而由
逆關(guān)系的定義,可知(y,x)WR這說(shuō)明R是對(duì)稱(chēng)的。
4)必要性
若R是反對(duì)稱(chēng)的,則對(duì)任何(x,y)eR,即有(x,y)£R及(x,y)
eR,從逆關(guān)系的定義,就有(x,y)eR及(y,x)eR,因此,利用R的
反對(duì)稱(chēng)性,可得x=y。于是就有(x,y)=(x,x)eiA,所以RAR
充分性
若RGRCJA,則對(duì)任何(x,y)eR及(y,x)eR,從逆R關(guān)系的定
義,可得(x,y)&R及(x,y)eR,也即(K,y)&RAR,利用RClR=IA
可得(x,y)eiA,于是x=y。所以R是反對(duì)稱(chēng)的。
5)必要性
若R是傳遞的,則對(duì)任何(x,y)RoR,由復(fù)合關(guān)系的定義可知,存在著
yWA,使(x,y)ER且(y,y)eR,從而利用R的傳遞性,可知(x,y)£
Ro所以
RORCRC
充分性
RoRo從而利用RoRGR可得(x,y)£R。所以R是傳遞的。
證法二:
l)n):對(duì)任何x,
x£A
=>(X,X)0IA(IA是幺關(guān)系,因此是自反關(guān)系)
=>(x,x)ER(R是自反關(guān)系)
所以L.R;
<=):對(duì)任何x£A,
x&A
=>(X,X)WIA(IA是幺關(guān)系,因此是自反關(guān)系)
n(x,x)£R(因IACR)
所以,R是自反關(guān)系;
2)n)首先0UACR;
其次,對(duì)任何x,y£A,若
(x,y)eiAnR
=>(x,y)eiAA(x,y)€R
^x=yA(x,y)eR(IA是幺關(guān)系,因此是自反關(guān)系)
=>(x,x)£R
則與R是反自反關(guān)系,(x,x)eR矛盾。故IACR=0;
因此,由包含關(guān)系q的反對(duì)稱(chēng)性,可得IAnR=0;
<=):對(duì)任何x《A,若
(x,x)£R
n(x,x)eIAA(X,X)£R(IA是幺關(guān)系,因此是自反關(guān)系)
=(X,X)6IACR
=>(x,x)e0(因IAnR=0)
則與空集不含任何元素,(x,x)任0矛盾。
故對(duì)任何x£A,(x,x)夕R:
所以,R是反自反關(guān)系;
3)=>)對(duì)任何x,y£A
(x,y)WR
o(y,x)£R(R是對(duì)稱(chēng)關(guān)系)
o(x,y)eR
所以,R=R;
<=):對(duì)任何x,yeA
(x,y)£R
n(x,y)@R(R=R)
n(y,x)£R
所以,R是對(duì)稱(chēng)的;
4)n)對(duì)任何x,yeA
(x,y)eRnR
n(x,y)£RA(x,y)£R
=>(x,y)eRA(y,x)eR
=>x=y(R是反對(duì)稱(chēng)關(guān)系)
=>(x,y)eiA(IA是自反關(guān)系)
所以,RnRCIA;
<=):對(duì)任何x,y£A
(x,y)£R
=>(x,y)eR(R=R)
=(y,x)£R
所以,R是對(duì)稱(chēng)的;
13.設(shè)A、B為有窮集合,R,SUAXB,MR=(xy)mxn,Ms=(yij)mxn
1)為了RGS,必須且只須VHj(Xij<
2)設(shè)MRus二(Zij)mXn,那么Zg=XijVyij,1=1,2....,m,j=l,2,....n.
3)設(shè)MR”=(tij)n】Xn,那么用二x『yij
i=l,2,....m;j=l,2,....,n.
[證]由于A、B是有窮集合,不妨設(shè)
A={aua2....,am},B={bi,b2,....,bn}
1)必要性
若RMS,則對(duì)任何i£{l,2,……,m},對(duì)任何j£{l,2,……n),若(出,
bj)£R,則R的關(guān)系矩陣MR=(Xij)mxn中第1行第j列元素Xij=l,根據(jù)RGS,
可得(%bj)£S,從而得S的關(guān)系矩陣Ms=(yij)mxn中第I行第j列元素yij=l,
由于是I故此XijWyij:若(%,bj)/R,則R的關(guān)系矩陣MR=(xq)mxn中
第i行第j列元素X產(chǎn)0,因此由S的關(guān)系矩陣MS=(yij)mxn中第j列元素均20,
可得XijWyij??傊校╒j)(Vj)(Xij^yij)o
2)充分性
若(V。(Vj)(xijWyij),則對(duì)任何(a,bj)eR,就有R的關(guān)系
矩陣MR=(xpmxn中第i行第j列元素xij=l,由于XijWyu,所以yij21,故
此yij'l這說(shuō)明S的關(guān)系矩陣Ms=(yij)中第i行第j列元素yij為1,因此必
有
(a,bj)es,所以RGS。
2)對(duì)任何i£{l,2,……,m},對(duì)任何j£{l,2,……,n}若Zij=l,貝J(ai,
bj)ERUS,故此(*,bj)£R或者(a”bj)ES,于是Xij=l或者yrl。從而
bj)空S,于是Xij=0且yij=O。從而XijVyij=0。因而Zg=Xij丫丫產(chǎn)0;
綜合上述兩種情況,就有Zji=XijVyij,i=l,2,....,m,j=l,2,....n,o
3)對(duì)任何i£{l,2,……m},對(duì)任何j£{l,2,……,n}。若看=1,則(為,
bj)ERAS,故此(出,bj)£S且(%,bj)WS,于是Xij=l,且丫產(chǎn)1從而XijA
yij=1o因而tij=Xij/\yij=l;若tij=O,則(編,bj)年ROS,故此(a,,bj)qS,于
是Xij=O或者yij=O,從而xq八yij=O0因而局=乂0丫產(chǎn)0。
綜合上述兩種情況,就有tij=Xij八丫中i=L2,...,m,j=1,2,....,n。
14.設(shè)A={1,2,3,4},Ri,R2為A上的關(guān)系,Rl={(I,1),(1,2),(2,4)),
R2={(1,4),(2,3),(2,4),(3,2)},求R0R2,R2ORI,RioR2。R】R;
-110o-0001
00010011
[解1MR、='MR=
000020100
00000000
1)
-
110o--o001--o011
000100110000
—
MR?=Mf_>oM0
/<2000001000000
000000000000
1O1o1O
2。2o
溫馨提示
- 1. 本站所有資源如無(wú)特殊說(shuō)明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶(hù)所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁(yè)內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒(méi)有圖紙預(yù)覽就沒(méi)有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫(kù)網(wǎng)僅提供信息存儲(chǔ)空間,僅對(duì)用戶(hù)上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶(hù)上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶(hù)因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 阿克蘇職業(yè)技術(shù)學(xué)院《婦產(chǎn)科護(hù)理學(xué)》2023-2024學(xué)年第一學(xué)期期末試卷
- 隴東學(xué)院《語(yǔ)文學(xué)科教學(xué)能力綜合訓(xùn)練》2023-2024學(xué)年第一學(xué)期期末試卷
- 8.3 金屬資源的利用和保護(hù)-2022-2023學(xué)年九年級(jí)化學(xué)下冊(cè)精講精練(人教版)(解析版)
- 陜西工商職業(yè)學(xué)院《足球理論與實(shí)踐Ⅲ》2023-2024學(xué)年第一學(xué)期期末試卷
- 陜西旅游烹飪職業(yè)學(xué)院《隨機(jī)微分方程》2023-2024學(xué)年第一學(xué)期期末試卷
- 陜西省合陽(yáng)城關(guān)中學(xué)2025屆初三下學(xué)期期中(第三次月考)考試物理試題含解析
- 陜西省工大、鐵一、交大2024-2025學(xué)年中考考前模擬考試物理試題理試題含解析
- 五年級(jí)上冊(cè)教學(xué)工作總結(jié)模版
- 醫(yī)學(xué)知識(shí) 病毒感染及其致病性 學(xué)習(xí)課件
- 陜西省西安市長(zhǎng)安區(qū)2024-2025學(xué)年數(shù)學(xué)四年級(jí)第二學(xué)期期末學(xué)業(yè)水平測(cè)試試題含解析
- 醫(yī)院清潔消毒與滅菌課件
- 消防安裝工程施工方案Word版
- 軟管管理規(guī)定3篇
- 關(guān)于對(duì)領(lǐng)導(dǎo)班子的意見(jiàn)和建議
- 【課件】學(xué)堂樂(lè)歌 課件-2022-2023學(xué)年高中音樂(lè)人音版(2019)必修音樂(lè)鑒賞
- 納布啡在胃腸鏡麻醉中的臨床觀察-課件
- 常用手術(shù)器械手工清洗
- 2022中西醫(yī)執(zhí)業(yè)醫(yī)師實(shí)踐技能疾病對(duì)照診斷內(nèi)科
- 土建、裝飾、維修改造等零星工程施工組織方案設(shè)計(jì)技術(shù)標(biāo)范文
- 芭蕾基訓(xùn)課程課時(shí)教案
- 數(shù)電課程設(shè)計(jì)報(bào)告--- 音樂(lè)彩燈控制器
評(píng)論
0/150
提交評(píng)論