離散數(shù)學(xué)函數(shù)

關(guān)于離散數(shù)學(xué)函數(shù)第1頁，講稿共138頁，2023年5月2日，星期三第一節(jié)函數(shù)的基本概念一、函數(shù)的定義二、特種函數(shù)第2頁，講稿共138頁，2023年5月2日，星期三一、函數(shù)的定義1、函數(shù)2、函數(shù)的定義域3、函數(shù)的值域4、陪域5、函數(shù)相等6、函數(shù)的圖和矩陣表示7、縮小和擴(kuò)大(略)第3頁，講稿共138頁，2023年5月2日，星期三1、函數(shù)函數(shù)是滿足任意性和唯一性的二元關(guān)系。f:X→Y對(duì)任意的xX都存在唯一的yY<x，y>fy=f(x)，任意性唯一性函數(shù)映射原像像點(diǎn)第4頁，講稿共138頁，2023年5月2日，星期三函數(shù)舉例設(shè)X={x1,x2,x3,x4},Y={y1,y2,y3}判斷下列關(guān)系是否是函數(shù)？f1={<x1,y1>,<x2,y2>,<x2,y3>,<x3,y1>,<x4,y3>}f2={<x1,y1>,<x2,y1>,<x3,y1>,<x4,y2>}f3={<x1,y1>,<x3,y2>,<x4,y3>}第5頁，講稿共138頁，2023年5月2日，星期三解答f1={<x1,y1>,<x2,y2>,<x2,y3>,<x3,y1>,<x4,y3>}不是函數(shù)?！選2對(duì)應(yīng)兩個(gè)不同的像點(diǎn)y2和y3∴不滿足唯一性。第6頁，講稿共138頁，2023年5月2日，星期三解答f2={<x1,y1>,<x2,y1>,<x3,y1>,<x4,y2>}是函數(shù)滿足任意性和唯一性。第7頁，講稿共138頁，2023年5月2日，星期三解答f3={<x1,y1>,<x3,y2>,<x4,y3>}不是函數(shù)?！咴駒2沒有像點(diǎn)∴不滿足任意性。第8頁，講稿共138頁，2023年5月2日，星期三2、函數(shù)的定義域函數(shù)f:X→Y定義域Df第9頁，講稿共138頁，2023年5月2日，星期三3、函數(shù)的值域函數(shù)f:X→Yf(X)是f的值域由像點(diǎn)組成的集合Rf＝f(X)

Y第10頁，講稿共138頁，2023年5月2日，星期三4、陪域函數(shù)f:X→Y陪域第11頁，講稿共138頁，2023年5月2日，星期三定義域、值域及陪域舉例f:X→YX={x1,x2,x3,x4},Y={y1,y2,y3,y4,y5,y6}第12頁，講稿共138頁，2023年5月2日，星期三函數(shù)舉例判斷下列關(guān)系中哪個(gè)能構(gòu)成函數(shù)？(1)f1={<x1,x2>|x1,x2N,x1+x2<10}(2)f2={<x1,x2>|x1,x2R,x22=x1}(3)f3={<x1,x2>|x1N,x2為非負(fù)整數(shù),x2為小于等于x1的素?cái)?shù)的個(gè)數(shù)}第13頁，講稿共138頁，2023年5月2日，星期三解答(1)f1={<x1,x2>|x1,x2N,x1+x2<10}不能構(gòu)成函數(shù)。(1)不滿足任意性:Df={1,2,3,4,5,6,7,8}≠N(2)不滿足唯一性：f1(1)=1,f1(1)=2,…f1(1)=8第14頁，講稿共138頁，2023年5月2日，星期三解答(2)f2={<x1,x2>|x1,x2R,x22=x1}不能構(gòu)成函數(shù)。(1)不滿足任意性:Df=R+≠R(2)不滿足唯一性：一個(gè)x1對(duì)應(yīng)兩個(gè)不同的x2例如：22=4,(-2)2=4第15頁，講稿共138頁，2023年5月2日，星期三解答(3)f3={<x1,x2>|x1N,x2為非負(fù)整數(shù),x2為小于等于x1的素?cái)?shù)的個(gè)數(shù)}能構(gòu)成函數(shù)。滿足任意性和唯一性：對(duì)于任意的一個(gè)自然數(shù)x1，小于x1的素?cái)?shù)個(gè)數(shù)是唯一的。例如:f3(1)=0:小于1的素?cái)?shù)不存在；

f3(2)=1:小于2的素?cái)?shù)有1個(gè)：1

f3(3)=2:小于3的素?cái)?shù)有2個(gè)：1,2

f3(4)=3:小于3的素?cái)?shù)有3個(gè)：1,2,3第16頁，講稿共138頁，2023年5月2日，星期三5、函數(shù)相等函數(shù)f和函數(shù)g相等函數(shù)f:A→B，g:C→DA=CB=D對(duì)所有x∈A和x∈C都有f(x)=g(x)f=g第17頁，講稿共138頁，2023年5月2日，星期三函數(shù)相等舉例設(shè)f:A→B,g:C→D,h:E→FA=C=E={1,2,3},B=D={a,b,c},F={a,b,c,d}f(1)=a,f(2)=a,f(3)=ch(1)=a,h(2)=a,h(3)=cg(1)=a,g(2)=a,g(3)=cf=gf≠hB≠Fg≠hD≠F第18頁，講稿共138頁，2023年5月2日，星期三6、函數(shù)的圖和矩陣表示圖Gf：f(x)=y<x,y>∈f從x有一條到y(tǒng)的有向弧矩陣Mf：每一行有且僅有一個(gè)元素為“1”?；喌腗f：二列矩陣第一列：Df第二列：Rf第19頁，講稿共138頁，2023年5月2日，星期三函數(shù)的圖和矩陣表示舉例X={a,b,c,d,e}Y={α,β,γ,δ,ε}f={<a,α>,<b,γ>,<c,γ>,<d,ε>,<e,β>}求：Df、Rf、Gf、Mf、簡化的MfDf=X={a,b,c,d,e}Rf={α,β,γ,ε}Y第20頁，講稿共138頁，2023年5月2日，星期三解答X={a,b,c,d,e}Y={α,β,γ,δ,ε}f={<a,α>,<b,γ>,<c,γ>,<d,ε>,<e,β>}第21頁，講稿共138頁，2023年5月2日，星期三舉例X={a,b,c}Y={0,1}問：存在多少個(gè)從X到Y(jié)的二元關(guān)系？存在多少個(gè)從X到Y(jié)的函數(shù)？第22頁，講稿共138頁，2023年5月2日，星期三解答XY={<a,0>,<a,1>,<b,0>,<b,1>,<c,0>,<c,1>}|XY|=6關(guān)系是笛卡爾乘積的子集|ρ(XY)|=26結(jié)論：存在26個(gè)從X到Y(jié)的二元關(guān)系第23頁，講稿共138頁，2023年5月2日，星期三解答函數(shù)是滿足任意性和唯一性的二元關(guān)系結(jié)論：存在|Y||X|=23個(gè)從X到Y(jié)的函數(shù)。第24頁，講稿共138頁，2023年5月2日，星期三結(jié)論則: |BA|=|B||A|BA:從A到B的所有可能的函數(shù)的集合BA={f|f:A→B}第25頁，講稿共138頁，2023年5月2日，星期三7、縮小和擴(kuò)大(略)f:X→YAX(1)g:A→Yg=f∩(AY)稱g是函數(shù)f的縮小，并記作f/A(2)若g是f的縮小，則f是g的擴(kuò)大。由定義可知：Dg

Dfgf縮小即原有的對(duì)應(yīng)關(guān)系不變，但定義域縮小。第26頁，講稿共138頁，2023年5月2日，星期三縮小和擴(kuò)大舉例設(shè)A={-1，0，1}f:A2→B(1)寫出f的全部序偶；(2)求Rf;(3)寫出f/{0,1}2中的全部序偶。第27頁，講稿共138頁，2023年5月2日，星期三f的全部序偶和Rf(1)A2=AA={-1,0,1}{-1,0,1}={<-1,-1>,<-1,0>,<-1,1>,<0,-1>,<0,0>,<0,1>,<1,-1>,<1,0>,<1,1>}f(<-1,-1>)=0,f(<-1,0>)=-1,f(<-1,1>)=-2,f(<0,-1>)=1,f(<0,0>)=0,f(<0,1>)=-1f(<1,-1>)=2,f(<1,0>)=1,f(<1,1>)=0f={<<-1,-1>,0>,<<-1,0>,-1>,<<-1,1>,-2>,<<0,-1>,1>,<<0,0>,0>,<<0,1>,-1>,<<1,-1>,2>,<<1,0>,1>,<<1,1>,0>}(2)Rf={-2,-1,0,1,2}第28頁，講稿共138頁，2023年5月2日，星期三{0,1}2

Rf中的全部序偶f/{0,1}2=f∩({0,1}2

Rf

){0,1}2={0,1}{0,1}={<0,0>,<0,1>,<1,0>,<1,1>}Rf={-2,-1,0,1,2}{0,1}2

Rf={<<0,0>,-2>,<<0,0>,-1>,<<0,0>,0>,<<0,0>,1>,<<0,0>,2>,<<0,1>,-2>,<<0,1>,-1>,<<0,1>,0>,<<0,1>,1>,<<0,1>,2>,<<1,0>,-2>,<<1,0>,-1>,<<1,0>,0>,<<1,0>,1>,<<1,0>,2>,<<1,1>,-2>,<<1,1>,-1>,<<1,1>,0>,<<1,1>,1>,<<1,1>,2>}第29頁，講稿共138頁，2023年5月2日，星期三f/{0,1}2中的全部序偶f/{0,1}2=f∩({0,1}2

Rf

)={<<-1,-1>,0>,<<-1,0>,-1>,<<-1,1>,-2>,<<0,-1>,1>,

<<0,0>,0>,<<0,1>,-1>,<<1,-1>,2>,<<1,0>,1>,<<1,1>,0>}

∩{<<0,0>,-2>,<<0,0>,-1>,<<0,0>,0>,<<0,0>,1>,<<0,0>,2>,<<0,1>,-2>,<<0,1>,-1>,<<0,1>,0>,<<0,1>,1>,<<0,1>,2>,<<1,0>,-2>,<<1,0>,-1>,

<<1,0>,0>,<<1,0>,1>,<<1,0>,2>,<<1,1>,-2>,<<1,1>,-1>,<<1,1>,0>,<<1,1>,1>,<<1,1>,2>}={<<0,0>,0>,<<0,1>,-1>,<<1,0>,1>,<<1,1>,0>}第30頁，講稿共138頁，2023年5月2日，星期三縮小的舉例X={a1,a2,a3,x4,x5}Y={y1,y2,y3,y4,y5}A={a1,a2,a3}f={<a1,y1>,<a2,y2>,<a3,y5>,<x4,y4>,<x5,y3>}求：f/A第31頁，講稿共138頁，2023年5月2日，星期三解答f/A={<a1,y1>,<a2,y2>,<a3,y5>}第32頁，講稿共138頁，2023年5月2日，星期三二、特種關(guān)系1、滿射函數(shù)2、內(nèi)射函數(shù)3、單射函數(shù)4、雙射函數(shù)5、恒等函數(shù)第33頁，講稿共138頁，2023年5月2日，星期三1、滿射函數(shù)函數(shù)f:X→Y若f(X)=Rf=Y值域＝陪域f是滿射函數(shù)映滿的映射f是滿射函數(shù)對(duì)任意的yY，在X中必有原像x與之對(duì)應(yīng)f(x)=y像點(diǎn)的集合第34頁，講稿共138頁，2023年5月2日，星期三滿射舉例A={a,b,c,d}B={1,2,3}f:A→Bf(a)=f(b)=1,f(c)=3,f(d)=2∵Rf={1,2,3}=B∴f是滿射函數(shù)。第35頁，講稿共138頁，2023年5月2日，星期三2、內(nèi)射函數(shù)函數(shù)f:X→Y若RfYf是內(nèi)射函數(shù)映入的映射第36頁，講稿共138頁，2023年5月2日，星期三3、單射函數(shù)函數(shù)f:X→Y對(duì)任意x1，x2∈Xx1≠x2f(x1)≠f(x2)如果原像不同,則像點(diǎn)不同或f(x1)=f(x2)X1=x2如果像點(diǎn)相同,則原像相同則f是單射函數(shù)一對(duì)一的映射第37頁，講稿共138頁，2023年5月2日，星期三內(nèi)射、單射舉例A={a,b}B={2,4,6}f:A→Bf(a)=2,f(b)=4∵Rf={2,4}B∴f是內(nèi)射函數(shù)且f也是單射函數(shù)。第38頁，講稿共138頁，2023年5月2日，星期三4、雙射函數(shù)函數(shù)f:X→Yf是滿射的f是單射的f是雙射函數(shù)一對(duì)一映滿的映射第39頁，講稿共138頁，2023年5月2日，星期三5、恒等函數(shù)函數(shù)Ix:X→X對(duì)于所有的x∈X:Ix={<x,x>|x∈X}恒等函數(shù)雙射函數(shù)第40頁，講稿共138頁，2023年5月2日，星期三特種函數(shù)舉例(1)f1(x)=x2(2)f2(x)=2x(3)f3(x)=x3(4)f4(x)=x3-x2-5x+6問以上4個(gè)函數(shù)各是什么函數(shù)？第41頁，講稿共138頁，2023年5月2日，星期三解答(1)f1(x)=x2∴f1不是滿射函數(shù)；∵f1(x)=f1(–x)=x2∴f1不是單射函數(shù)；∵Rf1為正實(shí)數(shù)集合，不是實(shí)數(shù)集合第42頁，講稿共138頁，2023年5月2日，星期三解答(2)f2(x)=2x不是滿射函數(shù)。是單射函數(shù)第43頁，講稿共138頁，2023年5月2日，星期三解答(3)f3(x)=x3是單射函數(shù)是滿射函數(shù)是雙射函數(shù)第44頁，講稿共138頁，2023年5月2日，星期三解答(4)f4(x)=x3-x2-5x+6=(x-1)(x+2)(x-3)是滿射函數(shù)不是單射函數(shù)第45頁，講稿共138頁，2023年5月2日，星期三第二節(jié)函數(shù)的合成和合成函數(shù)的性質(zhì)一、合成函數(shù)的定義二、反函數(shù)第46頁，講稿共138頁，2023年5月2日，星期三一、合成函數(shù)的定義函數(shù)f:X→Y函數(shù)g:Y→Zg?f={<x,z>|x∈X∧z∈Z∧(y)(y∈Y∧y=f(x)∧z=g(y))}f和g的合成函數(shù)復(fù)合函數(shù)函數(shù)f和g合成的書寫格式:關(guān)系R和S合成的書寫格式:R?Sg?f從左到右從右到左<x,y>∈f<y,z>∈g第47頁，講稿共138頁，2023年5月2日，星期三定理函數(shù)f:X→Y函數(shù)g:Y→Zg?f:X→Z是函數(shù)(g?f)(x)=g(f(x))xX第48頁，講稿共138頁，2023年5月2日，星期三證明顯然g?f是從X到Z的關(guān)系(1)任意性：f是函數(shù):對(duì)任意的xX存在yY，使得<x,y>fg是函數(shù):對(duì)任意的yY存在zZ，使得<y,z>g<x,y>f<y,z>g<x,z>g?f由復(fù)合關(guān)系的定義：對(duì)于每一個(gè)xX，都存在Z中的某個(gè)像點(diǎn)z與之對(duì)應(yīng)Dg?f＝X第49頁，講稿共138頁，2023年5月2日，星期三證明（續(xù)）(2)唯一性：<x,z1>g?f<x,z2>g?f假設(shè)且z1

≠z2<x,z1>g?f存在y1Y<x,y1>f<y1,z1>g<x,z2>g?f存在y2Y<x,y2>f<y2,z2>gy1

＝y(tǒng)2＝y(tǒng)z1

＝z2＝z第50頁，講稿共138頁，2023年5月2日，星期三合成函數(shù)舉例設(shè)X={1,2,3},Y={p,q},Z={a,b},f={<1,p>,<2,p>,<3,q>},g={<p,b>,<q,b>}求g?f。g?f={<1,b>,<2,b>,<3,b>}第51頁，講稿共138頁，2023年5月2日，星期三定理函數(shù)的合成運(yùn)算是可結(jié)合的，即：h?(g?f)=(h?g)?ff:X→Yg:Y→Zh:Z→W第52頁，講稿共138頁，2023年5月2日，星期三證明設(shè)：<x,y>f，<y,z>g，<z,w>h<x,y>f<y,z>g<x,z>g?f<z,w>h<x,w>h?(g?f)<y,z>g<z,w>h<y,w>h?g<x,y>f<x,w>(h?g)?f<x,w>是任意的h?(g?f)=(h?g)?f第53頁，講稿共138頁，2023年5月2日，星期三合成函數(shù)滿足結(jié)合律的圖解表示fghg?fh?gh?(g?f)(h?g)?f第54頁，講稿共138頁，2023年5月2日，星期三合成函數(shù)舉例設(shè)R為實(shí)數(shù)集合,對(duì)x∈R有：f(x)=x+2,g(x)=2x,h(x)=3x;求g?f，h?(g?f)，f?f，g?g，f?g，(h?g)?f第55頁，講稿共138頁，2023年5月2日，星期三解答合成函數(shù)不滿足交換律g?f(x)=g(f(x))=g(x+2)=2(x+2)h?(g?f)(x)=h(g?f(x))=h(2(x+2))=6(x+2)f?f(x)=f(f(x))=f(x+2)=(x+2)+2=x+4g?g(x)=g(g(x))=g(2x)=4xf?g(x)=f(g(x))=f(2x)=2x+2=2(x+1)(h?g)?f(x)=(h?g)(f(x))=(h?g)(x+2)=6(x+2)h?g(x)=h(g(x))=h(2x)=6x合成函數(shù)滿足結(jié)合律第56頁，講稿共138頁，2023年5月2日，星期三函數(shù)合成運(yùn)算結(jié)合律的推廣f1:X1→X2,f2:X2→X3,…,fn:Xn→Xn+1fn?fn-1?…?f2?f1:X1→Xn+1若：f1=f2=…=fn

X1=X2=…=Xn+1，則：fn=f?f?f?…?f:X→X第57頁，講稿共138頁，2023年5月2日，星期三等冪函數(shù)函數(shù)f:X→Xf2=ff?f等冪函數(shù)第58頁，講稿共138頁，2023年5月2日，星期三定理 設(shè)函數(shù)f:X→Y,g:Y→Z,g?f是一個(gè)復(fù)合函數(shù)，則：(1)若g和f是滿射的,則g?f是滿射的.(2)若g和f是單射的,則g?f是單射的.(3)若g和f是雙射的,則g?f是雙射的.第59頁，講稿共138頁，2023年5月2日，星期三證明（1）對(duì)于任意的z∈Z存在x∈X,使得：<x,z>∈g?f對(duì)于任意的z∈Zg是滿射的存在一個(gè)y∈Y，使得g(y)=zf是滿射的對(duì)于y∈Y，必有x∈X，使得f(x)=yz=g(y)=g(f(x))=g?f(x)<x,z>∈g?fg?f是滿射函數(shù)第60頁，講稿共138頁，2023年5月2日，星期三證明（2）x1≠x2

g?f(x1)≠g?f(x2)x1≠x2

f是單射的f(x1)≠f(x2)y1≠y2g是單射的g(y1)≠g(y2)g(f(x1))≠g(f(x2))g?f(x1)≠g?f(x2)g?f是單射的第61頁，講稿共138頁，2023年5月2日，星期三定理 設(shè)函數(shù)f:X→Y,g:Y→Z,g?f是一個(gè)復(fù)合函數(shù)，則：(1)若g?f是滿射的,則g是滿射的.(2)若g?f是單射的,則f是單射的.(3)若g?f是雙射的,則g是滿射的，f是單射的.第62頁，講稿共138頁，2023年5月2日，星期三證明（2）x1≠x2

f(x1)≠f(x2)x1≠x2

g?f是單射的g?f(x1)≠g?f(x2)g(f(x1))≠g(f(x2))g(y1)≠g(y2)函數(shù)的唯一性y1≠y2f(x1)≠f(x2)f是單射的第63頁，講稿共138頁，2023年5月2日，星期三定理設(shè)函數(shù)f:X→Y,IX是X上的恒等函數(shù)，IY是Y上的恒等函數(shù)，則

f=f?IX=IY?f第64頁，講稿共138頁，2023年5月2日，星期三證明設(shè):xXyYIX(x)=xIY(y)=yf?IX

(x)=f(IX

(x))=f(x)f?IX=fIY?f(x)=IY

(f(x))=f(x)IY?f=f第65頁，講稿共138頁，2023年5月2日，星期三定理函數(shù)f:X→Y

f-1:f的逆關(guān)系，則：f-1是從Y到X的函數(shù)f是雙射函數(shù)第66頁，講稿共138頁，2023年5月2日，星期三舉例:f不是滿射函數(shù)設(shè)函數(shù)f:X→YX={a,b,c}Y={1,2,3,4}f={<a,1>,<b,2>,<c,3>}f的逆關(guān)系f-1={<1,a>,<2,b>,<3,c>}，不滿足函數(shù)的任意性不是函數(shù)第67頁，講稿共138頁，2023年5月2日，星期三舉例:f不是單射函數(shù)設(shè)函數(shù)f:X→YX={a,b,c}Y={1,2}f={<a,1>,<b,1>,<c,2>}f的逆關(guān)系f-1={<1,a>,<1,b>,<2,c>}，不滿足唯一性不是函數(shù)第68頁，講稿共138頁，2023年5月2日，星期三2、反函數(shù) 設(shè)f:X→Y是雙射函數(shù)，則:f的逆關(guān)系稱f的反函數(shù)注意：只有雙射函數(shù)才有反函數(shù)。f-1第69頁，講稿共138頁，2023年5月2日，星期三證明(1)f:X→Y

則f-1:

Y→X假設(shè)f不是滿射函數(shù)，則:與函數(shù)的任意性相矛盾RfYRf=Df-1Df-1Y第70頁，講稿共138頁，2023年5月2日，星期三證明(2)假設(shè)f不是單射函數(shù)，則：x1≠x2f(x1)＝f(x2)＝y(tǒng)f(x1)＝y(tǒng)f(x2)＝y(tǒng)f-1(y)＝x1f-1(y)＝x2原像像點(diǎn)像點(diǎn)與函數(shù)的唯一性相矛盾第71頁，講稿共138頁，2023年5月2日，星期三定理設(shè)f:X→Y是一雙射函數(shù),則:f的反函數(shù)f-1:

Y→X也是一個(gè)雙射函數(shù)。第72頁，講稿共138頁，2023年5月2日，星期三證明(1)f-1是從

Y到X的函數(shù)；(2)f-1是滿射函數(shù)；(3)f-1是單射函數(shù)；第73頁，講稿共138頁，2023年5月2日，星期三證明：f-1是從

Y到X的函數(shù)f是雙射函數(shù)f是滿射函數(shù)對(duì)任意的yY必存在xX<x,y>f<y,x>f-1Df-1＝Y(jié)f-1是滿足任意性的f是雙射函數(shù)f是單射函數(shù)對(duì)任意的yY恰有一個(gè)的xX<x,y>f僅有一個(gè)xX<y,x>f-1f-1是滿足唯一性的第74頁，講稿共138頁，2023年5月2日，星期三證明：

f-1是滿射函數(shù)∵Rf-1=∴f-1是滿射函數(shù)Df=X第75頁，講稿共138頁，2023年5月2日，星期三證明：f-1是單射函數(shù)假設(shè)f-1不是單射函數(shù)，即：y1≠y2但是有

f-1(y1)＝f-1(y2)

f是函數(shù)f-1(y1)＝x1f-1(y2)＝x2x1

＝x2

f(x1)＝f(x2)y1＝y(tǒng)2與假設(shè)相矛盾∴f-1是單射函數(shù)第76頁，講稿共138頁，2023年5月2日，星期三定理若f:X→Y是雙射函數(shù),則(f-1)-1=f。證明：對(duì)任意的<x,y>(f-1)-1

<y,x>f-1<x,y>f∴(f-1)-1=f第77頁，講稿共138頁，2023年5月2日，星期三定理函數(shù)f:X→Y反函數(shù)f-1:Y→Xf-1?f=IXf?f-1=IY證明：設(shè)f(x)=yf-1(y)=xf-1?f(x)=f-1(f(x))=f-1(y)=x∴f-1?f=IXf?f-1

(y)=f(f-1

(y))=f(x)=y∴

f?f-1=IY第78頁，講稿共138頁，2023年5月2日，星期三舉例f:X→YX={0,1,2}Y={a,b,c}f={<0,c>,<1,a>,<2,b>}求：f-1?f，f?f-1第79頁，講稿共138頁，2023年5月2日，星期三解答f-1={<c,0>,<a,1>,<b,2>}(f-1?f)(0)=f-1(f(0))=f-1(c)=0(f-1?f)(1)=f-1(f(1))=f-1(a)=1(f-1?f)(2)=f-1(f(2))=f-1(b)=2∴

f-1?f={<0,0>,<1,1>,<2,2>}=IX

第80頁，講稿共138頁，2023年5月2日，星期三解答(f?f-1)(a)=f

(f-1(a))=f(1)=a(f?f-1)(b)=f

(f-1(b))=f(2)=b(f?f-1)(c)=f

(f-1(c))=f(0)=c∴

f?f-1={<a,a>,<b,b>,<c,c>}=IYf-1={<c,0>,<a,1>,<b,2>}第81頁，講稿共138頁，2023年5月2日，星期三定理f:X→Yg:Y→Z(g?f)-1=雙射函數(shù)?g-1f-1第82頁，講稿共138頁，2023年5月2日，星期三證明f:X→Yg:Y→Zg?f:X→Z(g?f)-1:Z→X對(duì)任意的<z,x>(g?f)-1<x,z>g?f(y)(yY∧<x,y>f∧<y,z>g)(y)(yY∧<y,x>f-1∧<z,y>g-1)(y)(yY∧<z,y>g-1∧<y,x>f-1)<z,x>f-1?g-1第83頁，講稿共138頁，2023年5月2日，星期三舉例X={1,2,3}FX:從X到X上的所有雙射函數(shù)組成的集合求：FX的所有函數(shù)及其反函數(shù)。第84頁，講稿共138頁，2023年5月2日，星期三解答f1={<1,1>,<2,2>,<3,3>}=IXf2={<1,1>,<2,3>,<3,2>}f3={<1,2>,<2,1>,<3,3>}f4={<1,3>,<2,2>,<3,1>}f5={<1,2>,<2,3>,<3,1>}f6={<1,3>,<2,1>,<3,2>}∴FX={f1,f2,f3,f4,f5,f6}f1-1={<1,1>,<2,2>,<3,3>}=f1f2-1={<1,1>,<2,3>,<3,2>}=f2f3-1={<1,2>,<2,1>,<3,3>}=f3f4-1={<1,3>,<2,2>,<3,1>}=f4f5-1={<2,1>,<3,2>,<1,3>}=f6f6-1={<3,1>,<1,2>,<2,3>}=f5第85頁，講稿共138頁，2023年5月2日，星期三解答(續(xù))?f1f2f3f4f5f6f1f1f2f3f4f5f6f2f2f1f6f5f4f3f3f3f5f1f6f2f4f4f4f6f5f1f3f2f5f5f3f4f2f6f1f6f6f4f2f3f1f5若|X|＝n,則X上雙射函數(shù)的個(gè)數(shù)為n!f3

?f2={<1,2>,<2,3>,<3,1>}=f5第86頁，講稿共138頁，2023年5月2日，星期三舉例|X|=m|Y|=n問：存在滿射函數(shù)、單射函數(shù)、雙射函數(shù)的必要條件是什么？m≥nm≤nm=n第87頁，講稿共138頁，2023年5月2日，星期三第三節(jié)二元運(yùn)算一、基本概念二、二元運(yùn)算的性質(zhì)三、二元運(yùn)算中的特異元素第88頁，講稿共138頁，2023年5月2日，星期三一、基本概念1、二元運(yùn)算2、n元運(yùn)算3、二元運(yùn)算的封閉性第89頁，講稿共138頁，2023年5月2日，星期三1、二元運(yùn)算X:集合f:X2→X的映射f為X中的二元運(yùn)算解釋：一個(gè)運(yùn)算符聯(lián)系著兩個(gè)運(yùn)算分量f(<x,y>)=z 運(yùn)算符運(yùn)算分量運(yùn)算分量運(yùn)算結(jié)果xfy=zx,y,z∈Xz∈X封閉性第90頁，講稿共138頁，2023年5月2日，星期三2、n元運(yùn)算X:集合f:Xn→X的映射f為X中的n元運(yùn)算運(yùn)算的階<x1,x2,…,xn>f=xx1,x2,…,xn,xX第91頁，講稿共138頁，2023年5月2日，星期三3、二元運(yùn)算的封閉性注意：任意一個(gè)二元運(yùn)算必須滿足封閉性A:集合f:A2→B的映射BA二元運(yùn)算是封閉的第92頁，講稿共138頁，2023年5月2日，星期三二元運(yùn)算舉例設(shè)A={x|x=2n,nN}問：乘法運(yùn)算是否封閉？對(duì)加法運(yùn)算呢？乘法運(yùn)算：對(duì)于任意的2r、2sA2r2s=2r+sA∴乘法運(yùn)算在A上封閉；加法運(yùn)算：21+22=6A∴加法運(yùn)算在A上不封閉；第93頁，講稿共138頁，2023年5月2日，星期三舉例判斷乘法運(yùn)算是否在下列各N的子集上封閉？(1)A1={0,1}(2)A2={1,2}(3)A3={x|x為素?cái)?shù)}(4)A4={x|x為偶數(shù)}(5)A5={x|x為奇數(shù)}√×√√×22=4A223=6A3第94頁，講稿共138頁，2023年5月2日，星期三定理*:X中的二元運(yùn)算S1XS2X*在S1和S2上是封閉的*在S1∩S2上也封閉第95頁，講稿共138頁，2023年5月2日，星期三證明對(duì)任意的兩個(gè)元素x,yS1∩S2x,yS1∧x,yS2*在S1和S2上封閉

x*yS1∧x*yS2

x*yS1∩S2

*在S1∩S2上也封閉第96頁，講稿共138頁，2023年5月2日，星期三二、二元運(yùn)算的性質(zhì)1、封閉性（通性）2、交換性3、可結(jié)合性4、可分配性5、吸收律第97頁，講稿共138頁，2023年5月2日，星期三1、封閉性（通性）*:X中的二元運(yùn)算對(duì)于任意的x,y∈Xx*y∈X在集合X上滿足封閉性第98頁，講稿共138頁，2023年5月2日，星期三2、交換性*:X中的二元運(yùn)算對(duì)于任意的x,y∈Xx*y=y*x*運(yùn)算是可交換的第99頁，講稿共138頁，2023年5月2日，星期三3、可結(jié)合性*:X中的二元運(yùn)算對(duì)于任意的x,y,z∈Xx*y*z=x*(y*z)=(x*y)*z*運(yùn)算是可結(jié)合的第100頁，講稿共138頁，2023年5月2日，星期三二元運(yùn)算性質(zhì)舉例 設(shè)Q是有理數(shù)集合，Q上的二元運(yùn)算定義為：

a*b=a+b-ab a,b∈Q問*是否可交換？可結(jié)合？第101頁，講稿共138頁，2023年5月2日，星期三解答(1)交換性：b*a=b+a-ba=a+b-ab=a*b∴*運(yùn)算滿足交換律第102頁，講稿共138頁，2023年5月2日，星期三(2)結(jié)合性：a*(b*c)=a*(b+c-bc)=a+(b+c-bc)-a(b+c-bc)=a+b+c-ab-ac-bc+abc(a*b)*c=(a+b-ab)*c=(a+b-ab)+c-(a+b-ab)c=a+b+c-ab-ac-bc+abc=a*(b*c)∴*運(yùn)算滿足結(jié)合律解答第103頁，講稿共138頁，2023年5月2日，星期三二元運(yùn)算性質(zhì)舉例 A是非空集合，*是A上的二元運(yùn)算，并定義為：a*b=b,證明*是可結(jié)合的。a*(b*c)*是可結(jié)合的(a*b)*c=c=a*c=b*c=c第104頁，講稿共138頁，2023年5月2日，星期三4、可分配性*,△

:X中的二元運(yùn)算對(duì)于任意的x,y,z∈Xx*(y△z)=(x*y)△(x*z)(y△z)*x=(y*x)△(z*x)*對(duì)△可分配第105頁，講稿共138頁，2023年5月2日，星期三5、吸收律*,△

:X中的可交換的二元運(yùn)算對(duì)于任意的x,y∈Xx*(x△y)=x△(x*y)=xx*和△滿足吸收律第106頁，講稿共138頁，2023年5月2日，星期三二元運(yùn)算性質(zhì)舉例 在N上定義兩個(gè)二元運(yùn)算*和△，對(duì)任意的x,y∈N，有：

x*y=max(x,y)x△y=min(x,y)驗(yàn)證：*和△滿足吸收律。第107頁，講稿共138頁，2023年5月2日，星期三解答x*(x△y)=x*(min(x,y))=max(x,min(x,y))=x>yx=yx<ymax(x,y)=max(x,x)=max(x,x)=xxxx△(x*y)=x△(max(x,y))=min(x,max(x,y))=x>yx=yx<ymin(x,x)=xmin(x,x)=xmin(x,y)=x*和△滿足吸收律第108頁，講稿共138頁，2023年5月2日，星期三三、二元運(yùn)算中的特異元素1、幺元e（左幺元el、右幺元er）2、零元θ（左零元θl、右零元θr）3、逆元（左逆元xl、右逆元xr）4、等冪元5、可約的（可消去的）6、由運(yùn)算表求特異元素第109頁，講稿共138頁，2023年5月2日，星期三1、幺元e（左幺元el、右幺元er）*

:X中的二元運(yùn)算(x)(→)x∈X(el

)(∧)el∈Xel*x=x左幺元(x)(→)x∈X(er

)(∧)er∈Xx*er=x右幺元第110頁，講稿共138頁，2023年5月2日，星期三定理*

:X中的二元運(yùn)算如果X對(duì)運(yùn)算*同時(shí)存在el和erel=er=e(x)(→)x∈X(e)(∧)e∈Xx*e=xe*x=幺元單位元素e若存在則必唯一第111頁，講稿共138頁，2023年5月2日，星期三證明(1)el=er=ex*e=e*x=xel*er

el是*的左幺元=erer是*的右幺元=el=ex*e=e*x=xx第112頁，講稿共138頁，2023年5月2日，星期三∴e是*唯一的幺元(2)幺元是唯一的證明(續(xù))假設(shè)e′是*的另一個(gè)幺元e≠e′e*e′=ee*e′=e′e′是幺元e是幺元e=e′第113頁，講稿共138頁，2023年5月2日，星期三幺元舉例 問實(shí)數(shù)集合R上的加法運(yùn)算和乘法運(yùn)算的幺元各是什么？實(shí)數(shù)集合R上的加法運(yùn)算：幺元是0實(shí)數(shù)集合R上的乘法運(yùn)算：幺元是1第114頁，講稿共138頁，2023年5月2日，星期三2、零元θ（左零元θl、右零元θr）*

:X中的二元運(yùn)算(x)(→)x∈X(θl

)(∧)θl∈Xθl*x=θl左零元(x)(→)x∈X(θr

)(∧)θr∈Xx*θr=θr右零元第115頁，講稿共138頁，2023年5月2日，星期三定理*

:X中的二元運(yùn)算如果X對(duì)運(yùn)算*同時(shí)存在θl和θrθl=θr=θ(x)(→)x∈X(θ)(∧)θ∈Xx*θ=θθ*x=零元θ若存在則必唯一第116頁，講稿共138頁，2023年5月2日，星期三零元舉例 問實(shí)數(shù)集合R上的加法運(yùn)算和乘法運(yùn)算的零元各是什么？實(shí)數(shù)集合R上的加法運(yùn)算：實(shí)數(shù)集合R上的乘法運(yùn)算：無零元零元是0第117頁，講稿共138頁，2023年5月2日，星期三3、逆元（左逆元xl、右逆元xr）*

:X中的二元運(yùn)算*運(yùn)算存在幺元ex∈X(xl)(∧)xl

∈Xexl

*x=x的左逆元左可逆的(xr)(∧)xr

∈Xex*xr

=x的右逆元右可逆的x是左可逆的x是右可逆的x是可逆的第118頁，講稿共138頁，2023年5月2日，星期三定理*

:X中的二元運(yùn)算*運(yùn)算存在幺元e*運(yùn)算可結(jié)合元素x∈X是可逆的xl=xr=x-1x的逆元x-1若存在則必唯一第119頁，講稿共138頁，2023年5月2日，星期三證明(1)左逆元等于右逆元xl*x*xr*是可結(jié)合的=(xl*x)*xrxl*x=e=e*xr=xrxl*x*xr*是可結(jié)合的=xl*(x*xr)x*xr=e

=xl*e=xlxl=xr第120頁，講稿共138頁，2023年5月2日，星期三證明(2)xl=xr=x-1唯一幺元e的逆元是其本身，零元不可逆假設(shè)x1-1和x2-1是x的兩個(gè)逆元x1-1