离散数学的函数

 第八章：函数

一.函数的定义

        1.定义：对于一个二元关系，任意的x∈domF都有唯一的y∈ranF使得xFy成立，这个F就是函数。（二元关系指的是对于一个集合满足元素都是有序对||集合为空，则这个集合就是一个二元关系。dom指的是集合的<x,y>中x的全部，ran就是y的全部。）记作y=F(x)，y就是F在x的值。

        2.定义函数的相等=>domF=domG且对于任意一个x∈domF，有F（x）=G（x）。

        3.定义为所有从A到B的函数的集合。若B集合元素个数为m，A集合个数为n，则的个数为,读作“B上A”。

        4.定义“像”：前提：设f：AB,A1A，B1B。f(A1)={f(x)|x∈A1},f(A1)就是A1在f下的像，若A1=A，这个像就是函数。“完全原像”：(B1)={x∈Af(x)属于B1},(B1)就是完全原像。 

        5.定义“满射”:ranf=B,f:AB就是满射的。“单射”：任意一个y都对应唯一一个x。“双射”：既是满射又是单射。

        6.定义常函数：f(x)=c,c为常数。定义“恒等函数”：A上的恒等关系。“单调递增”：若x1<=x2,f(x1)<=f(x2),则函数为单调递增，若x1<x2,且f(x1)<f(x2),则f(x)严格单调递增。

        7.定义“特征函数”：：A{0,1}。若a∈A’，=1,若a∈(A-A’)，=0；定义“自然映射”：g：A A/R，g（a）=[a],。

二.函数的复合与反函数

        1.函数的复合：①dom（）={x|x∈domFF(x)∈domG}②对任意一个x∈dom（FG）都有FG(x)=G(F(x))。

        2.性质：

        ①设F,G,H为函数，则（FG)H和Fo（GH)都是函数，且(FG)H=F(GH)。

        ②设f：A→B，g：B→C，则fg：A→C，且Vx∈A都有fg（x）=g（f（x）)。

        ③设f：A→B，g：B→C。如果f：A→B，g：B→C都是满射的，则fg：A→C也是满射的。

        ④如果f：A→B，g：B→C都是单射的，则fg：A→C也是单射的。

        ⑤如果：A→B，g：B→C都是双射的，则f：A→C也是双射的。

        ⑥设f：A→B，则有f=f=f。

        ⑦设f：A→B是双射的，则：B→A也是双射的，也叫反函数是双射的。

        ⑧设f：A→B是双射的，则f=,f=。