第四週連結.pptVIP

? The McGraw-Hill Companies, Inc., 2009 ? The McGraw-Hill Companies, Inc., 2009 2.3 函數（functions） 定義：令A與B為非空集合。由A到B的函數是將指定恰巧一個B中的元素給每個A的元素。寫成f(a) = b，若b是集合B中那個唯一指定給a(屬於A)的元素。若f是個由A到B的函數，記為f : A ? B。 定義：若f是個由A到B的函數。我們稱A為函數f的定義域，而B為函數f的對應域。若f(a) = b，則稱b為a的映像，而a為b的前像。f的值域是所有A之元素的映像所成之集合。若f為由A到B的函數，我們也稱f將A映射到B。 例：指定所有修習離散數學的學生一個分數集合{A, B, C, D, F}中的元素。若將A指定給亞當，將C指定給趙，B指派給古德弗瑞德，A指派給羅德瑞格茲，而F指派給史帝芬。在此描述之修離散數學之學生與其分數間的函數中，其定義域、對應域和值域分別為何？ 解：令G為所描述之函數，即G(亞當) = A。G的定義域為{亞當，趙，古德弗瑞德，羅德瑞格茲，史帝芬}；G的對應域為{A, B, C, D, F}；而G的值域為{A, B, C, F}。因為沒有人得到D的分數。 例：令函數為將長度大於或等於2的位元字串，指定成此字串之最後兩個位元。 例如，f(11010) = 10。則函數之定義域為所有長度大於等於2之位元字串所成集合。而對應域和值域都是{00, 01, 10, 11}。 例：令f : Z ? Z，將整數的平方指定給此整數。即，f(x) = x2。則函數的定義域為所有整數所成集合。對應域也可令為所有整數所成集合。而f的值域便為所有完全平方數所成集合，{0, 1, 4, 9, …} 例：函數的定義域與對應域也經常在程式語言中被明確指定。譬如，Java陳述 int floor(float real){…} 和Pascal陳述 function floor(x: real): integer 都說明了floor函數的定義域為實數集合，而對應域為整數集合。 定義：令f1與f2為由A到R的函數。則f1 + f2和f1f2也是 由A到R的函數，定義為 (f1 + f2)(x) = f1(x) + f2(x)， (f1 f2)(x) = f1(x) f2(x)。 定義：令函數f由集合A對應到集合B，而S為A之子集合。則S在函數f下的映像是B的一個子集合，包含所有S之元素的映像。將S在函數f下的映像記為f(S)，所以 f(S) = {t??s?S (t = f(s))}。 我們通常將此集合簡單記成f(S) = { f(s)?s?S}。 例：令f1與f2為由R到R的函數，使得f1(x) = x2且 f2(x) = x ? x2。則函數f1 + f2和f1f2為何？ 解：根據函數加法與乘法的定義， (f1 + f2)(x) = f1(x) + f2(x) = x2 + (x ? x2) = x 且 (f1f2)(x) = f1(x) f2(x) = x2(x ? x2) = x3 ? x4。 例：令A = {a, b, c, d, e}且B = {1, 2, 3, 4}，定義 f(a) = 2，f(b) = 1，f(c) = 4，f(d) = 1而f(e) = 1。 則集合S = {b, c, d}之映像f(S) = {1, 4}。 定義：一個函數稱為一對一(one-to-one)，或是嵌射的(injective)，若且唯若對所有定義域的元素a和b，若f(a) = f(b)能推論出a = b。 定義：由A對應到B的函數f稱為映成(onto)，或是蓋射(surjective)若且唯若每一個元素b ? B，都存在一個元素a ? A，使得f(a) = b。 定義：函數f稱為一對一對應關係(one-to-one correspondence)，或是雙射(bijection)，若它既是一對一，也是映成。 例：判斷由{a, b, c, d}對應到{1, 2, 3, 4, 5}，定義為f(a) = 4，f(b) = 5，f(c) = 1和f(d) = 3的函數f是否為一對一。 解：函數f為一對一，因為定義域中的四個元素分別對應到四個不同的元素。 例：判斷由整數集合對應到整數集合的函數 f(x) = x2是否為一對一。 解：函數不是一對一，因為f(1) = f(?1) = 1，但是 1 ? ?1。 例：令f為由{a, b, c, d}對應到{1, 2, 3}的函數，定義為f(a) = 3，f(b) = 2，f(c) = 1而f(d) = 3。f是否為映成函