第三章函數.PDFVIP

第三章 函數 3.1 定義域及值域 什麼是函數 （function ）？大家在數學學習程中或許都曾看過某種定義，但在此我們要以一個 新的方法定義函數一詞 以關係（relation ）的觀點來詮釋函數。 定義 R A B 設 A , B 為集合，一個從 A 到 B 的關係 （a relation from A to B ）， ，是 的一個子集合。 我們稱一個從 A 到 A 的關係為一個在 A 上的關係 （a relation on A ）。 例： (a) R1 {(x , y ) R 2 | x y }是一個在 R 上的關係。 (b) R2 {(x , y ) | x , y Z, y 0 } 是一個在 Z 上的關係。 (c) R3 {(x , y ) R 2 | x , y Z 且 x y 0 }是一個在 R 上的關係。 定義 設 A 、B 為集合，一個由 A 到 B 的函數 f ，是一個由集合A 到集合 B 的關係，且滿足下列敘 述： (i) 對所有 a A ，都存在 b B ，使得 (a, b) f 。 (ii) 對所有 a A 和所有 b, c B ，若 (a, b) f 且 (a, c) f ，則 b c 。 函數時常也被稱為映射 （map 或是 mapping ）。我們通常以 f : A B 來表示f 是一個由 A 到 B 的函數。 以上兩個條件定義出函數，若滿足以上兩點的關係 f ，我們稱f 為良好定義的(well-defined) 。 而不滿足以上所提的，就不是函數，我們也說 f 不是良好定義的。條件(i)是保證集合 A 中的 每個元素都與集合 B 中的某元素有關係，而條件(ii)則確保 A 中沒有元素與超過一個以上 B 中 的元素有關。要注意的是，B 中可能存在元素沒有 A 中的元素相對應，或者是有多個 A 中的 元素相對應的情形發生。 我們稱集合 A 為 f 的定義域 （domain ），記為dom(f ) ，而我們稱集合B 為f 的對應域 （codomain ），記為cod (f ) 。 因為每個在定義域裡的元素 x 都與對應域裡唯一的元素 y 有關係，我們通常將 (x , y ) f 以 f (x ) y 來表示。 1 國立交通大學理學院 應用數學系 白啟光老師 例：令 A = {1, 2, 3}, B = {2, 4, 6} ，下列關係何者是良好定義的函數？ (a) f 1 = { (1, 2), (2, 4), (3, 4) } (b) f 2 = { (1, 2), (1, 4), (2, 2), (3, 6) } (c) f 3 = { (1, 2), (3, 4) } (d) f 4 = { (2, 4), (1, 2), (3, 6) } 解： (a) 是函數，通常我們記之為 f 1(1) 2 , f 1(2) 4 , f 1(3) 4 。 (b) 不是函數，A 中的元素 1 同時與超過一個以上 B 中的元素( 2 和 4 )有關。 (c) 不是函數，A 中的元素 2 不與集合 B 中的任何元素有關係。 (d) 是函數，通常我們記之為 f 4 (1) 2 , f 4 (2) 4 , f 4 (3) 6 。 問題：下列關係何者為良好定義的函數？ (a) R1 {(x , y ) R 2 | x y } 。 (b) R2 {(x , y ) | x , y Z, y 0 } 。 (c) R