離散數(shù)學(xué)函數(shù)_第1頁(yè)
離散數(shù)學(xué)函數(shù)_第2頁(yè)
離散數(shù)學(xué)函數(shù)_第3頁(yè)
離散數(shù)學(xué)函數(shù)_第4頁(yè)
離散數(shù)學(xué)函數(shù)_第5頁(yè)
已閱讀5頁(yè),還剩10頁(yè)未讀, 繼續(xù)免費(fèi)閱讀

下載本文檔

版權(quán)說(shuō)明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)

文檔簡(jiǎn)介

離散數(shù)學(xué)函數(shù)第一頁(yè),共十五頁(yè),編輯于2023年,星期一§5.1函數(shù)的定義和性質(zhì)高等數(shù)學(xué)課程中詳細(xì)研究了函數(shù)的概念和性質(zhì),但這些函數(shù)概念一般不好直接應(yīng)用地計(jì)算機(jī)科學(xué)。如數(shù)據(jù)結(jié)構(gòu),開關(guān)理論,自動(dòng)機(jī)等。計(jì)算機(jī)科學(xué)要求推廣以往的函數(shù)概念。第二頁(yè),共十五頁(yè),編輯于2023年,星期一函數(shù):設(shè)F為二元關(guān)系,如F1={<x1,y1>,<x2,y1>,<x3,y2>}是函數(shù)F2={<x1,y1>,<x1,y2>,<x2,y1>,<x3,y2>}不是函數(shù)若對(duì)任意的xdomF都存在唯一的yranF,使得xFy成立,則F為函數(shù),y是F在x的函數(shù)值。第三頁(yè),共十五頁(yè),編輯于2023年,星期一從A到B的函數(shù):設(shè)A、B是集合,如果函數(shù)f滿足以下條件(1)domf=A(2)ranf

B則稱f是從A到B的函數(shù),記作:f:AB集A'

f

下的象:設(shè)f:AB,A'A,則f[A']是A'在f下的象。則f(A')={f(x)|xA'}=

f[A'],第四頁(yè),共十五頁(yè),編輯于2023年,星期一設(shè)函數(shù)f:AB(1)若ranf=B,則說(shuō)f具有滿射性;(2)若對(duì)于任何x1,x2A,x1x2都有f(x1)f(x2),則說(shuō)f具有單射性;(3)若f既具有滿射性,又具有單射性,則說(shuō)f具有雙射性。函數(shù)的性質(zhì)第五頁(yè),共十五頁(yè),編輯于2023年,星期一例5.1判斷以下函數(shù)的單射、滿射和雙射性。(1)f:RRRR,R為實(shí)數(shù)集f(<x,y>)=<x+y,xy解:(1)先說(shuō)f是單射的。這要證明對(duì)任取<x,y>,<u,v>RR。反證,如果<x+y,xy>=<u+v,uv>,則,x+y

=u+v且xy=uv。<x,y><u,v>時(shí),<x+y,xy><u+v,uv>;第六頁(yè),共十五頁(yè),編輯于2023年,星期一解關(guān)于x,y的方程組知:x=u且y=v,故<x,y>=<u,v>與已知矛盾。再說(shuō)f是滿射的。這只要讓對(duì)任意的(u,v)RR,可以找到<x,y>RR,使得f(<x,y>)=<u,v>就可以了。由f的定義有x+y=u和xy=v綜上所述,f是雙射的。第七頁(yè),共十五頁(yè),編輯于2023年,星期一(2)f:NNN,N為自然數(shù)集(0N)f(<x,y>)=|x2y2|解:

f不是單射,因?yàn)閒(<2,2>)=f(<1,1>)=0;f不是滿射,因?yàn)檎也坏阶匀粩?shù)x和y滿足|x2y2|=2,所以2ranf

第八頁(yè),共十五頁(yè),編輯于2023年,星期一特征函數(shù):設(shè)A為集合,XA'(a)=1aA'0aAA'如A={a,b,c},A'={a},則XA'(a)=1,XA'(b)=XA'(c)=0對(duì)于任意的A'A,A'的特征函數(shù)XA':A{0,1}定義為:第九頁(yè),共十五頁(yè),編輯于2023年,星期一自然映射:設(shè)R是A上的等價(jià)關(guān)系,如:A={1,2,3},R={<1,2>,<2,1>}∪IA則有g(shù)(1)=g(2)={1,2},g(3)={3}稱g為從A到A/R的自然映射。定義一個(gè)從A到A/R的函數(shù)g:AA/R且g(a)=[a],它把A中的元素a映到a的等價(jià)類[a]。第十頁(yè),共十五頁(yè),編輯于2023年,星期一§5.2函數(shù)的運(yùn)算由定義可知:只有當(dāng)f:AB是雙射函數(shù)時(shí),它才有逆函數(shù).函數(shù)的逆:關(guān)系f是從A到B的一個(gè)函數(shù),如果f的逆關(guān)系f1也是一個(gè)函數(shù)(B到A的),這個(gè)函數(shù)稱之為f的逆函數(shù),記作f1:BA。第十一頁(yè),共十五頁(yè),編輯于2023年,星期一函數(shù)的合成:設(shè)f:

AB和g:BC都是函數(shù),則合成關(guān)系g

f={<a,c>|aAcCb(bB<a,b>f<b,c>g)}稱為f與g的合成函數(shù):g

f:AC第十二頁(yè),共十五頁(yè),編輯于2023年,星期一例5.2設(shè)函數(shù)f:RR,f(x)=3x+2,求f2,f3,f4解:∵

f2=f

f

∴f2(x)=f(f(x))=f(3x+2)∵f3=f

f2

∴f3(x)=f(f2(x))∵f4=f

f3

∴f4(x)=f(f3(x))=3(3x+2)+2=9x+8

=3f2(x)+2=3(9x+8)+2=27x+26

=3f3(x)+2=3(27x+26)+2=81x+80

第十三頁(yè),共十五頁(yè),編輯于2023年,星期一合成運(yùn)算的性質(zhì)(1)若f:AB,g:BC都是滿射,則g

f也是滿射;(2)若f:AB,g:

BC都是單射,則g

f也是單射;(3)若f:AB,g:BC

溫馨提示

  • 1. 本站所有資源如無(wú)特殊說(shuō)明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
  • 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ì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
  • 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
  • 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。

評(píng)論

0/150

提交評(píng)論